Madagascar 0.99999 18/05/2018 12:27:54 amd64 1-core (no VSIDS) Options: file:domain.pddl file:problem.pddl -b /tmp/2.output Domain: sokoban-sequential Problem: p014-microban-sequential Parser: 88 ground actions and 152 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 0.00 secs Goal: conjunctive Simplified: 78 ground actions and 62 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.00 secs (max SCC size 1) Plan type: E-step Separated DIMACS output Writing /tmp/2.output.cnf total time 0.01 preprocess 0.00 total size 55.000 MB max. learned clause length 0 Madagascar 0.99999 18/05/2018 12:27:54 amd64 1-core (no VSIDS) Options: file:domain.pddl file:problem.pddl -s /tmp/2.solution.txt -T 51 -o sas_plan Domain: sokoban-sequential Problem: p014-microban-sequential Parser: 88 ground actions and 152 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 0.00 secs Goal: conjunctive Simplified: 78 ground actions and 62 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.00 secs (max SCC size 1) Plan type: E-step 51 actions in the plan. Plan is VALID Cost of the plan is 10. total time 0.00 preprocess 0.00 total size 132.000 MB max. learned clause length 0 Checking plan: /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp6Vzjlx/sas_plan Plan executed successfully - checking goal Plan valid Final value: 10 Successful plans: Value: 10 /home/linuxbuildslave/buildslaves/ailinux/ipc-build-singularity-linux/build/tmp6Vzjlx/sas_plan 10