Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-94.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-46-1 Parser: 4324 ground actions and 2255 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 2.98 secs Goal: conjunctive Simplified: 4324 ground actions and 2255 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.10 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 170 MB) Horizon 5: 35150 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 7: 48308 variables 7 UNSAT (0 decisions 0 conflicts) Horizon 10: 68045 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 14: 94361 variables 14 UNSAT (0 decisions 0 conflicts) Horizon 20: 133835 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 28: 186467 variables 28 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 789 MB) Horizon 40: 265415 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 56: 370679 variables 56 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1027 MB) Horizon 80: 528575 variables 80 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1180 MB) Horizon 113: 745682 variables Allocated 32 MB (total 1212 MB) Allocated 32 MB permanent (total 1382 MB) Horizon 160: 1054895 variables Allocated 32 MB permanent (total 1579 MB) Allocated 32 MB permanent (total 1611 MB) Horizon 226: 1489109 variables Allocated 32 MB permanent (total 1844 MB) Allocated 32 MB permanent (total 1876 MB) Allocated 32 MB permanent (total 1908 MB) Horizon 320: 2107535 variables 113 UNSAT (490 decisions 239 conflicts) Allocated 32 MB permanent (total 2192 MB) Allocated 32 MB permanent (total 2224 MB) Allocated 32 MB permanent (total 2256 MB) Horizon 452: 2975963 variables Allocated 32 MB permanent (total 2613 MB) Allocated 32 MB permanent (total 2645 MB) Allocated 32 MB permanent (total 2677 MB) Allocated 32 MB permanent (total 2709 MB) Allocated 32 MB permanent (total 2741 MB) Allocated 32 MB permanent (total 2773 MB) Horizon 640: 4212815 variables Allocated 32 MB permanent (total 3234 MB) Allocated 32 MB permanent (total 3266 MB) Allocated 32 MB permanent (total 3298 MB) Allocated 32 MB permanent (total 3330 MB) Allocated 32 MB permanent (total 3362 MB) Allocated 32 MB permanent (total 3394 MB) Allocated 32 MB permanent (total 3426 MB) Allocated 32 MB permanent (total 3458 MB) Horizon 905: 5956250 variables Allocated 32 MB permanent (total 4064 MB) Allocated 32 MB permanent (total 4096 MB) Allocated 32 MB permanent (total 4128 MB) Allocated 32 MB permanent (total 4160 MB) Allocated 32 MB permanent (total 4192 MB) Allocated 32 MB permanent (total 4224 MB) Allocated 32 MB permanent (total 4256 MB) Allocated 32 MB permanent (total 4288 MB) Allocated 32 MB permanent (total 4320 MB) Allocated 32 MB permanent (total 4352 MB) Horizon 1280: 8423375 variables Allocated 32 MB permanent (total 5165 MB) Allocated 32 MB permanent (total 5197 MB) Allocated 32 MB permanent (total 5229 MB) Allocated 32 MB permanent (total 5261 MB) Allocated 32 MB permanent (total 5293 MB) Allocated 32 MB permanent (total 5325 MB) Allocated 32 MB permanent (total 5357 MB) Allocated 32 MB permanent (total 5389 MB) Allocated 32 MB permanent (total 5421 MB) Allocated 32 MB permanent (total 5453 MB) Allocated 32 MB permanent (total 5485 MB) Allocated 32 MB permanent (total 5517 MB) Allocated 32 MB permanent (total 5549 MB) Allocated 32 MB permanent (total 5581 MB) Allocated 32 MB permanent (total 5613 MB) Allocated 32 MB permanent (total 5645 MB) Horizon 1810: 11910245 variables Allocated 32 MB permanent (total 6749 MB) Allocated 32 MB permanent (total 6781 MB) Allocated 32 MB permanent (total 6813 MB) Allocated 32 MB permanent (total 6845 MB) Allocated 32 MB permanent (total 6877 MB) Allocated 32 MB permanent (total 6909 MB) Allocated 32 MB permanent (total 6941 MB) Allocated 32 MB permanent (total 6973 MB) Allocated 32 MB permanent (total 7005 MB) Allocated 32 MB permanent (total 7037 MB) Allocated 32 MB permanent (total 7069 MB) Allocated 32 MB permanent (total 7101 MB) Allocated 32 MB permanent (total 7133 MB) Allocated 32 MB permanent (total 7165 MB) Allocated 32 MB permanent (total 7197 MB) Allocated 32 MB permanent (total 7229 MB) Allocated 32 MB permanent (total 7261 MB) Allocated 32 MB permanent (total 7293 MB) Allocated 32 MB permanent (total 7325 MB) Allocated 32 MB permanent (total 7357 MB) Allocated 32 MB permanent (total 7389 MB) Horizon 2560: 16844495 variables GC: 108.64 MB Allocated 32 MB (total 7421 MB) GC: 15.42 MB GC: 27.00 MB GC: 22.68 MB GC: 25.37 MB GC: 25.61 MB GC: 28.89 MB