Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/sokoban-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/sokoban-sequential-satisficing/instances/instance-9.pddlignoring --stats ignoring --verbose -m 8192 Domain: sokoban-sequential Problem: p154-microban-sequential Parser: 882 ground actions and 1647 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 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 2.09 secs Goal: conjunctive Simplified: 463 ground actions and 453 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 Allocated 32 MB permanent (total 128 MB) Horizon 0: 453 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 5033 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 9613 variables Allocated 32 MB (total 394 MB) 10 UNSAT (12 decisions 10 conflicts) Horizon 15: 14193 variables 15 UNSAT (42 decisions 32 conflicts) Horizon 20: 18773 variables Horizon 25: 23353 variables Horizon 30: 27933 variables 20 UNSAT (169 decisions 132 conflicts) Horizon 35: 32513 variables 25 UNSAT (259 decisions 175 conflicts) Horizon 40: 37093 variables Horizon 45: 41673 variables Horizon 50: 46253 variables 30 UNSAT (427 decisions 300 conflicts) Horizon 55: 50833 variables 35 UNSAT (423 decisions 299 conflicts) Horizon 60: 55413 variables 40 UNSAT (407 decisions 292 conflicts) Horizon 65: 59993 variables Horizon 70: 64573 variables Horizon 75: 69153 variables Horizon 80: 73733 variables 50 UNSAT (564 decisions 400 conflicts) 45 must be UNSAT (695 decisions 480 conflicts) Horizon 85: 78313 variables Horizon 90: 82893 variables Horizon 95: 87473 variables Horizon 100: 92053 variables 55 UNSAT (814 decisions 595 conflicts) Horizon 105: 96633 variables Allocated 32 MB permanent (total 2020 MB) Horizon 110: 101213 variables 60 UNSAT (896 decisions 611 conflicts) Horizon 115: 105793 variables Horizon 120: 110373 variables Horizon 125: 114953 variables Horizon 130: 119533 variables Horizon 135: 124113 variables Horizon 140: 128693 variables 80 UNSAT (1059 decisions 758 conflicts) 65 must be UNSAT (1322 decisions 960 conflicts) 70 must be UNSAT (1325 decisions 900 conflicts) 75 must be UNSAT (1253 decisions 841 conflicts) Horizon 145: 133273 variables Horizon 150: 137853 variables Horizon 155: 142433 variables Allocated 32 MB permanent (total 2891 MB) Horizon 160: 147013 variables 85 UNSAT (1357 decisions 983 conflicts) Horizon 165: 151593 variables 95 UNSAT (1629 decisions 1085 conflicts) 90 must be UNSAT (1856 decisions 1202 conflicts) Horizon 170: 156173 variables GC: 26.79 MB 105 UNSAT (1547 decisions 1083 conflicts) 100 must be UNSAT (1807 decisions 1200 conflicts) Horizon 175: 160753 variables 110 UNSAT (1738 decisions 1184 conflicts) Horizon 180: 165333 variables 115 UNSAT (1874 decisions 1299 conflicts) Horizon 185: 169913 variables 135 UNSAT (2015 decisions 1431 conflicts) 120 must be UNSAT (2902 decisions 1861 conflicts) 125 must be UNSAT (2509 decisions 1742 conflicts) 130 must be UNSAT (2308 decisions 1561 conflicts) Horizon 190: 174493 variables 145 UNSAT (3027 decisions 1949 conflicts) 140 must be UNSAT (3278 decisions 2161 conflicts) Horizon 195: 179073 variables 165 UNSAT (2235 decisions 1631 conflicts) 150 must be UNSAT (3426 decisions 2220 conflicts) 155 must be UNSAT (2924 decisions 2040 conflicts) 160 must be UNSAT (2774 decisions 1860 conflicts) Horizon 200: 183653 variables GC: 55.78 MB 170 UNSAT (2810 decisions 1988 conflicts) Horizon 205: 188233 variables 175 UNSAT (3772 decisions 2606 conflicts) Horizon 210: 192813 variables 180 UNSAT (4554 decisions 3009 conflicts) Horizon 215: 197393 variables 195 UNSAT (3397 decisions 2296 conflicts) 185 must be UNSAT (4247 decisions 2882 conflicts) 190 must be UNSAT (3898 decisions 2584 conflicts) Horizon 220: 201973 variables 200 UNSAT (4261 decisions 2868 conflicts) Horizon 225: 206553 variables GC: 43.02 MB 205 UNSAT (5492 decisions 3499 conflicts) Horizon 230: 211133 variables 210 UNSAT (4719 decisions 3173 conflicts) 215 UNSAT (3684 decisions 2532 conflicts) Horizon 235: 215713 variables Horizon 240: 220293 variables 220 UNSAT (4962 decisions 3426 conflicts) Horizon 245: 224873 variables 225 UNSAT (5627 decisions 3816 conflicts) Horizon 250: 229453 variables GC: 39.04 MB 230 UNSAT (7332 decisions 4505 conflicts) Horizon 255: 234033 variables 235 UNSAT (9785 decisions 6011 conflicts) Horizon 260: 238613 variables GC: 28.49 MB Allocated 32 MB (total 4680 MB) 240 UNSAT (17391 decisions 10844 conflicts) Horizon 265: 243193 variables GC: 48.55 MB Allocated 32 MB (total 4803 MB) GC: 54.06 MB GC: 70.93 MB Allocated 32 MB (total 4835 MB) GC: 78.19 MB 245 UNSAT (39317 decisions 28945 conflicts) Horizon 270: 247773 variables GC: 82.74 MB GC: 35.73 MB GC: 51.57 MB GC: 44.73 MB GC: 62.99 MB GC: 65.42 MB GC: 81.26 MB GC: 92.46 MB Allocated 32 MB (total 4958 MB) GC: 111.60 MB GC: 116.70 MB Allocated 32 MB (total 4990 MB) GC: 150.15 MB Allocated 32 MB (total 5022 MB) GC: 173.51 MB Allocated 32 MB (total 5054 MB) GC: 202.25 MB GC: 209.01 MB GC: 155.82 MB GC: 160.18 MB Allocated 32 MB (total 5086 MB) GC: 222.79 MB GC: 244.44 MB GC: 215.22 MB GC: 197.00 MB GC: 200.38 MB GC: 219.98 MB GC: 210.23 MB GC: 211.60 MB Allocated 32 MB (total 5118 MB) GC: 254.75 MB GC: 239.73 MB GC: 247.43 MB GC: 242.21 MB