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, 1 primitive tasks 0.007 Sorts extracted. 0.007 Mined 1 new reduction preconditions (+inf%). 0.007 3 operators and 2 methods created. 0.007 Iteration 0. 0.007 Creating initial layer of size 2 0.007 Attempting to solve formula with 5 clauses (5 literals) and 1 assumptions 0.007 Unsolvable at layer 0 -- expanding. 0.007 Iteration 1. 0.007 New layer size: 2 0.007 Attempting to solve formula with 13 clauses (18 literals) and 0 assumptions c last restart ## conflicts : 0 2 0.007 Found a solution at layer 1. ==> 5 noop a root 4 4 task1 -> donothing 5 <== 0.008 End of solution plan. 0.008 Total amount of clauses encoded: 13 0.008 - atleastoneelement : 4 cls 0.008 - predecessors : 2 cls 0.008 - truefacts : 1 cls 0.008 Exiting happily.