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-76.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-37-1 Parser: 2812 ground actions and 1481 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1.16 secs Goal: conjunctive Simplified: 2812 ground actions and 1481 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.72 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 149 MB) Horizon 0: 1481 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 22946 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 44411 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 65876 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 87341 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 108806 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 130271 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 151736 variables 35 UNSAT (0 decisions 0 conflicts) Horizon 40: 173201 variables 40 UNSAT (0 decisions 0 conflicts) Allocated 32 MB permanent (total 1005 MB) Horizon 45: 194666 variables 45 UNSAT (0 decisions 0 conflicts) Horizon 50: 216131 variables 50 UNSAT (0 decisions 0 conflicts) Horizon 55: 237596 variables Allocated 32 MB (total 1217 MB) 55 UNSAT (10 decisions 10 conflicts) Allocated 32 MB permanent (total 1340 MB) Horizon 60: 259061 variables 60 UNSAT (44 decisions 43 conflicts) Horizon 65: 280526 variables Horizon 70: 301991 variables Allocated 32 MB permanent (total 1655 MB) Horizon 75: 323456 variables 65 UNSAT (230 decisions 160 conflicts) Horizon 80: 344921 variables Allocated 32 MB permanent (total 1882 MB) Horizon 85: 366386 variables Horizon 90: 387851 variables Allocated 32 MB permanent (total 2113 MB) Horizon 95: 409316 variables 70 UNSAT (475 decisions 331 conflicts) Horizon 100: 430781 variables Allocated 32 MB permanent (total 2350 MB) Horizon 105: 452246 variables Allocated 32 MB permanent (total 2487 MB) Horizon 110: 473711 variables Horizon 115: 495176 variables Allocated 32 MB permanent (total 2731 MB) Horizon 120: 516641 variables Allocated 32 MB permanent (total 2871 MB) Horizon 125: 538106 variables Horizon 130: 559571 variables Allocated 32 MB permanent (total 3123 MB) Horizon 135: 581036 variables Allocated 32 MB permanent (total 3267 MB) Horizon 140: 602501 variables Allocated 32 MB permanent (total 3413 MB) Horizon 145: 623966 variables Horizon 150: 645431 variables Allocated 32 MB permanent (total 3675 MB) Horizon 155: 666896 variables Allocated 32 MB (total 3707 MB) Allocated 32 MB permanent (total 3856 MB) Horizon 160: 688361 variables Allocated 32 MB permanent (total 4006 MB) Horizon 165: 709826 variables Allocated 32 MB permanent (total 4158 MB) Horizon 170: 731291 variables Allocated 32 MB (total 4190 MB) GC: 160.36 MB Allocated 32 MB (total 4222 MB) Allocated 32 MB (total 4254 MB) Allocated 32 MB (total 4286 MB) Allocated 32 MB (total 4318 MB) GC: 139.95 MB Allocated 32 MB (total 4350 MB) Allocated 32 MB (total 4382 MB) Allocated 32 MB (total 4414 MB) GC: 233.53 MB 75 UNSAT (12173 decisions 8395 conflicts) Horizon 175: 752756 variables GC: 257.42 MB GC: 162.71 MB GC: 200.05 MB GC: 191.60 MB GC: 199.10 MB Allocated 32 MB (total 4567 MB) GC: 216.77 MB Allocated 32 MB (total 4599 MB) GC: 225.26 MB GC: 244.85 MB Allocated 32 MB (total 4631 MB) GC: 242.35 MB Allocated 32 MB (total 4663 MB) GC: 383.26 MB GC: 189.79 MB GC: 262.36 MB GC: 248.44 MB GC: 254.23 MB GC: 295.96 MB GC: 240.08 MB GC: 215.28 MB GC: 248.50 MB GC: 266.28 MB GC: 345.54 MB GC: 283.96 MB GC: 293.30 MB GC: 251.84 MB GC: 304.08 MB GC: 365.23 MB GC: 307.00 MB GC: 319.76 MB GC: 303.55 MB GC: 333.11 MB GC: 312.76 MB GC: 358.00 MB