Madagascar 0.99999 25/02/2015 09:46:27 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-91.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-45-0 Parser: 4140 ground actions and 2161 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 3.03 secs Goal: conjunctive Simplified: 4140 ground actions and 2161 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.89 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 167 MB) Horizon 0: 2161 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 33666 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 65171 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 96676 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 128181 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 159686 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 191191 variables 30 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 867 MB) Horizon 35: 222696 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 254201 variables 40 UNSAT (0 decisions 0 conflicts) Horizon 45: 285706 variables 45 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1178 MB) Horizon 50: 317211 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 348716 variables 55 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1406 MB) Horizon 60: 380221 variables 60 UNSAT (0 decisions 0 conflicts) Horizon 65: 411726 variables 65 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1641 MB) Horizon 70: 443231 variables 70 UNSAT (0 decisions 0 conflicts) Horizon 75: 474736 variables Allocated 32 MB (total 1778 MB) 75 UNSAT (3 decisions 3 conflicts) Allocated 32 MB permanent (total 1916 MB) Horizon 80: 506241 variables 80 UNSAT (41 decisions 39 conflicts) Allocated 32 MB permanent (total 2056 MB) Horizon 85: 537746 variables Horizon 90: 569251 variables 85 UNSAT (110 decisions 98 conflicts) Allocated 32 MB permanent (total 2310 MB) Horizon 95: 600756 variables Allocated 32 MB permanent (total 2456 MB) Horizon 100: 632261 variables 90 UNSAT (194 decisions 142 conflicts) Allocated 32 MB permanent (total 2603 MB) Horizon 105: 663766 variables Allocated 32 MB permanent (total 2753 MB) Horizon 110: 695271 variables 95 UNSAT (272 decisions 205 conflicts) Allocated 32 MB permanent (total 2904 MB) Horizon 115: 726776 variables 100 UNSAT (521 decisions 237 conflicts) Allocated 32 MB permanent (total 3057 MB) Horizon 120: 758281 variables Allocated 32 MB permanent (total 3212 MB) Horizon 125: 789786 variables Allocated 32 MB permanent (total 3369 MB) Horizon 130: 821291 variables Allocated 32 MB permanent (total 3528 MB) Horizon 135: 852796 variables Allocated 32 MB permanent (total 3689 MB) Horizon 140: 884301 variables Allocated 32 MB permanent (total 3851 MB) Horizon 145: 915806 variables Allocated 32 MB permanent (total 4016 MB) Horizon 150: 947311 variables Allocated 32 MB permanent (total 4182 MB) Allocated 32 MB permanent (total 4214 MB) Horizon 155: 978816 variables Allocated 32 MB permanent (total 4382 MB) Horizon 160: 1010321 variables Allocated 32 MB permanent (total 4552 MB) Horizon 165: 1041826 variables Allocated 32 MB permanent (total 4724 MB) Allocated 32 MB permanent (total 4756 MB) Horizon 170: 1073331 variables Allocated 32 MB permanent (total 4929 MB) Horizon 175: 1104836 variables Allocated 32 MB permanent (total 5105 MB) Allocated 32 MB permanent (total 5137 MB) Horizon 180: 1136341 variables Allocated 32 MB permanent (total 5314 MB) Horizon 185: 1167846 variables Allocated 32 MB permanent (total 5493 MB) Allocated 32 MB permanent (total 5525 MB) Horizon 190: 1199351 variables Allocated 32 MB permanent (total 5707 MB) Horizon 195: 1230856 variables Allocated 32 MB (total 5739 MB) Allocated 32 MB permanent (total 5922 MB) Allocated 32 MB permanent (total 5954 MB) Horizon 200: 1262361 variables Allocated 32 MB (total 5986 MB) GC: 344.48 MB Allocated 32 MB (total 6018 MB) Allocated 32 MB (total 6050 MB) Allocated 32 MB (total 6082 MB) GC: 164.13 MB Allocated 32 MB (total 6114 MB) Allocated 32 MB (total 6146 MB) Allocated 32 MB (total 6178 MB) Allocated 32 MB (total 6210 MB) Allocated 32 MB (total 6242 MB) GC: 277.53 MB 105 UNSAT (16338 decisions 7475 conflicts) Horizon 205: 1293866 variables GC: 265.60 MB GC: 171.26 MB GC: 191.28 MB GC: 202.54 MB GC: 216.98 MB GC: 224.81 MB GC: 234.55 MB GC: 235.04 MB Allocated 32 MB (total 6426 MB) GC: 266.45 MB GC: 284.71 MB Allocated 32 MB (total 6458 MB) Allocated 32 MB (total 6490 MB) GC: 310.86 MB GC: 312.44 MB GC: 280.91 MB GC: 306.64 MB Allocated 32 MB (total 6522 MB) GC: 312.02 MB Allocated 32 MB (total 6554 MB) GC: 353.42 MB Allocated 32 MB (total 6586 MB) GC: 356.48 MB GC: 367.42 MB Allocated 32 MB (total 6618 MB) Allocated 32 MB (total 6650 MB) GC: 401.64 MB GC: 403.11 MB