0.000 0.000 Hello from L i l o t a n e version rls-2020-12-01T13:04:06+00:00-glucose4 0.000 by Dominik Schreiber 2020 0.000 using SAT solver glucose4 0.000 0.007 2 methods, 2 abstract tasks, 0 primitive tasks 0.010 Sorts extracted. 0.010 Mined 0 new reduction preconditions (+inf%). 0.010 1 operators and 2 methods created. 0.010 Iteration 0. 0.010 Creating initial layer of size 2 0.010 Attempting to solve formula with 5 clauses (5 literals) and 1 assumptions 0.010 Unsolvable at layer 0 -- expanding. 0.010 Iteration 1. 0.010 New layer size: 2 0.011 Attempting to solve formula with 11 clauses (15 literals) and 0 assumptions c last restart ## conflicts : 0 2 0.011 Found a solution at layer 1. ==> root 5 5 task1 -> donothing <== 0.011 End of solution plan. 0.011 Total amount of clauses encoded: 11 0.011 - atleastoneelement : 4 cls 0.011 - predecessors : 2 cls 0.011 Exiting happily.