tplp-planning-benchmark/m-mp/ipc-2011_sokoban-sequential-satisficing_9.out

170 lines
5.8 KiB
Plaintext

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