345 lines
9.1 KiB
Plaintext
345 lines
9.1 KiB
Plaintext
|
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-78.pddlignoring --stats
|
||
|
ignoring --verbose
|
||
|
|
||
|
Domain: blocks
|
||
|
Problem: blocks-38-1
|
||
|
Parser: 2964 ground actions and 1559 state variables
|
||
|
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 1.37 secs
|
||
|
Goal: conjunctive
|
||
|
Simplified: 2964 ground actions and 1559 state variables
|
||
|
Actions: STRIPS
|
||
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.82 secs (max SCC size 1)
|
||
|
Plan type: E-step
|
||
|
Allocated 32 MB permanent (total 151 MB)
|
||
|
Horizon 5: 24174 variables
|
||
|
5 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 7: 33220 variables
|
||
|
7 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 10: 46789 variables
|
||
|
10 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 14: 64881 variables
|
||
|
14 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 20: 92019 variables
|
||
|
20 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 28: 128203 variables
|
||
|
28 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 40: 182479 variables
|
||
|
40 UNSAT (0 decisions 0 conflicts)
|
||
|
Allocated 32 MB permanent (total 845 MB)
|
||
|
Horizon 56: 254847 variables
|
||
|
Allocated 32 MB (total 877 MB)
|
||
|
56 UNSAT (3 decisions 3 conflicts)
|
||
|
Horizon 80: 363399 variables
|
||
|
Allocated 32 MB permanent (total 1114 MB)
|
||
|
Horizon 113: 512658 variables
|
||
|
Allocated 32 MB permanent (total 1265 MB)
|
||
|
Horizon 160: 725239 variables
|
||
|
Allocated 32 MB permanent (total 1434 MB)
|
||
|
Horizon 226: 1023757 variables
|
||
|
Allocated 32 MB permanent (total 1628 MB)
|
||
|
Allocated 32 MB permanent (total 1660 MB)
|
||
|
Horizon 320: 1448919 variables
|
||
|
Allocated 32 MB permanent (total 1889 MB)
|
||
|
Allocated 32 MB permanent (total 1921 MB)
|
||
|
Horizon 452: 2045955 variables
|
||
|
Allocated 32 MB permanent (total 2201 MB)
|
||
|
Allocated 32 MB permanent (total 2233 MB)
|
||
|
Allocated 32 MB permanent (total 2265 MB)
|
||
|
Allocated 32 MB permanent (total 2297 MB)
|
||
|
Horizon 640: 2896279 variables
|
||
|
Allocated 32 MB permanent (total 2647 MB)
|
||
|
Allocated 32 MB permanent (total 2679 MB)
|
||
|
Allocated 32 MB permanent (total 2711 MB)
|
||
|
Allocated 32 MB permanent (total 2743 MB)
|
||
|
Allocated 32 MB permanent (total 2775 MB)
|
||
|
Horizon 905: 4094874 variables
|
||
|
Allocated 32 MB permanent (total 3226 MB)
|
||
|
Allocated 32 MB permanent (total 3258 MB)
|
||
|
Allocated 32 MB permanent (total 3290 MB)
|
||
|
Allocated 32 MB permanent (total 3322 MB)
|
||
|
Allocated 32 MB permanent (total 3354 MB)
|
||
|
Allocated 32 MB permanent (total 3386 MB)
|
||
|
Allocated 32 MB permanent (total 3418 MB)
|
||
|
Allocated 32 MB permanent (total 3450 MB)
|
||
|
Horizon 1280: 5790999 variables
|
||
|
Allocated 32 MB permanent (total 4043 MB)
|
||
|
Allocated 32 MB permanent (total 4075 MB)
|
||
|
Allocated 32 MB permanent (total 4107 MB)
|
||
|
Allocated 32 MB permanent (total 4139 MB)
|
||
|
Allocated 32 MB permanent (total 4171 MB)
|
||
|
Allocated 32 MB permanent (total 4203 MB)
|
||
|
Allocated 32 MB permanent (total 4235 MB)
|
||
|
Allocated 32 MB permanent (total 4267 MB)
|
||
|
Allocated 32 MB permanent (total 4299 MB)
|
||
|
Allocated 32 MB permanent (total 4331 MB)
|
||
|
Horizon 1810: 8188189 variables
|
||
|
Allocated 32 MB permanent (total 5124 MB)
|
||
|
Allocated 32 MB permanent (total 5156 MB)
|
||
|
Allocated 32 MB permanent (total 5188 MB)
|
||
|
Allocated 32 MB permanent (total 5220 MB)
|
||
|
Allocated 32 MB permanent (total 5252 MB)
|
||
|
Allocated 32 MB permanent (total 5284 MB)
|
||
|
Allocated 32 MB permanent (total 5316 MB)
|
||
|
Allocated 32 MB permanent (total 5348 MB)
|
||
|
Allocated 32 MB permanent (total 5380 MB)
|
||
|
Allocated 32 MB permanent (total 5412 MB)
|
||
|
Allocated 32 MB permanent (total 5444 MB)
|
||
|
Allocated 32 MB permanent (total 5476 MB)
|
||
|
Allocated 32 MB permanent (total 5508 MB)
|
||
|
Allocated 32 MB permanent (total 5540 MB)
|
||
|
Allocated 32 MB permanent (total 5572 MB)
|
||
|
Horizon 2560: 11580439 variables
|
||
|
SAT (2957 decisions 828 conflicts)
|
||
|
PLAN FOUND: 452 steps
|
||
|
STEP 0: unstack(t,c)
|
||
|
STEP 1: stack(t,i)
|
||
|
STEP 2: unstack(c,g1)
|
||
|
STEP 3: stack(c,j)
|
||
|
STEP 4: unstack(g1,a)
|
||
|
STEP 5: stack(g1,b)
|
||
|
STEP 6: unstack(a,i1)
|
||
|
STEP 7: stack(a,c)
|
||
|
STEP 8: unstack(i1,f)
|
||
|
STEP 9: put-down(i1)
|
||
|
STEP 10: unstack(f,d1)
|
||
|
STEP 11: put-down(f)
|
||
|
STEP 12: unstack(d1,h)
|
||
|
STEP 13: stack(d1,t)
|
||
|
STEP 14: unstack(h,s)
|
||
|
STEP 15: put-down(h)
|
||
|
STEP 16: unstack(s,l)
|
||
|
STEP 17: stack(s,d1)
|
||
|
STEP 18: unstack(l,v)
|
||
|
STEP 19: put-down(l)
|
||
|
STEP 20: unstack(v,l1)
|
||
|
STEP 21: stack(v,r)
|
||
|
STEP 22: unstack(l1,w)
|
||
|
STEP 23: stack(l1,h)
|
||
|
STEP 24: unstack(w,k)
|
||
|
STEP 25: put-down(w)
|
||
|
STEP 26: unstack(k,u)
|
||
|
STEP 27: stack(k,w)
|
||
|
STEP 28: unstack(u,q)
|
||
|
STEP 29: stack(u,k)
|
||
|
STEP 30: unstack(q,h1)
|
||
|
STEP 31: stack(q,f)
|
||
|
STEP 32: unstack(h1,f1)
|
||
|
STEP 33: put-down(h1)
|
||
|
STEP 34: pick-up(f1)
|
||
|
STEP 35: stack(f1,i1)
|
||
|
STEP 36: unstack(u,k)
|
||
|
STEP 37: stack(u,l)
|
||
|
STEP 38: unstack(f1,i1)
|
||
|
STEP 39: stack(f1,k)
|
||
|
STEP 40: unstack(v,r)
|
||
|
STEP 41: stack(v,l1)
|
||
|
STEP 42: unstack(r,c1)
|
||
|
STEP 43: put-down(r)
|
||
|
STEP 44: unstack(c1,k1)
|
||
|
STEP 45: put-down(c1)
|
||
|
STEP 46: unstack(k1,o)
|
||
|
STEP 47: stack(k1,f1)
|
||
|
STEP 48: unstack(a,c)
|
||
|
STEP 49: stack(a,r)
|
||
|
STEP 50: unstack(c,j)
|
||
|
STEP 51: stack(c,g1)
|
||
|
STEP 52: unstack(j,x)
|
||
|
STEP 53: stack(j,s)
|
||
|
STEP 54: unstack(x,p)
|
||
|
STEP 55: stack(x,a)
|
||
|
STEP 56: unstack(p,j1)
|
||
|
STEP 57: stack(p,q)
|
||
|
STEP 58: unstack(j1,d)
|
||
|
STEP 59: stack(j1,i1)
|
||
|
STEP 60: unstack(d,e)
|
||
|
STEP 61: stack(d,u)
|
||
|
STEP 62: unstack(e,z)
|
||
|
STEP 63: put-down(e)
|
||
|
STEP 64: unstack(z,n)
|
||
|
STEP 65: stack(z,h1)
|
||
|
STEP 66: unstack(n,e1)
|
||
|
STEP 67: stack(n,x)
|
||
|
STEP 68: unstack(e1,a1)
|
||
|
STEP 69: stack(e1,j)
|
||
|
STEP 70: unstack(a1,y)
|
||
|
STEP 71: stack(a1,k1)
|
||
|
STEP 72: unstack(n,x)
|
||
|
STEP 73: stack(n,e1)
|
||
|
STEP 74: unstack(d,u)
|
||
|
STEP 75: stack(d,c1)
|
||
|
STEP 76: unstack(u,l)
|
||
|
STEP 77: stack(u,a1)
|
||
|
STEP 78: unstack(n,e1)
|
||
|
STEP 79: stack(n,u)
|
||
|
STEP 80: unstack(x,a)
|
||
|
STEP 81: stack(x,l)
|
||
|
STEP 82: unstack(c,g1)
|
||
|
STEP 83: stack(c,e)
|
||
|
STEP 84: unstack(z,h1)
|
||
|
STEP 85: stack(z,p)
|
||
|
STEP 86: pick-up(h1)
|
||
|
STEP 87: stack(h1,g1)
|
||
|
STEP 88: unstack(y,g)
|
||
|
STEP 89: stack(y,v)
|
||
|
STEP 90: unstack(j1,i1)
|
||
|
STEP 91: stack(j1,i1)
|
||
|
STEP 92: unstack(g,b1)
|
||
|
STEP 93: stack(g,x)
|
||
|
STEP 94: pick-up(o)
|
||
|
STEP 95: put-down(o)
|
||
|
STEP 96: unstack(e1,j)
|
||
|
STEP 97: stack(e1,y)
|
||
|
STEP 98: unstack(j,s)
|
||
|
STEP 99: stack(j,h1)
|
||
|
STEP 100: unstack(s,d1)
|
||
|
STEP 101: stack(s,j)
|
||
|
STEP 102: unstack(d1,t)
|
||
|
STEP 103: stack(d1,n)
|
||
|
STEP 104: unstack(g,x)
|
||
|
STEP 105: stack(g,d1)
|
||
|
STEP 106: unstack(a,r)
|
||
|
STEP 107: stack(a,c)
|
||
|
STEP 108: pick-up(r)
|
||
|
STEP 109: stack(r,g)
|
||
|
STEP 110: pick-up(o)
|
||
|
STEP 111: stack(o,r)
|
||
|
STEP 112: unstack(j1,i1)
|
||
|
STEP 113: stack(j1,o)
|
||
|
STEP 114: pick-up(i1)
|
||
|
STEP 115: put-down(i1)
|
||
|
STEP 116: pick-up(b1)
|
||
|
STEP 117: put-down(b1)
|
||
|
STEP 118: unstack(s,j)
|
||
|
STEP 119: stack(s,b1)
|
||
|
STEP 120: unstack(j1,o)
|
||
|
STEP 121: stack(j1,i1)
|
||
|
STEP 122: unstack(j,h1)
|
||
|
STEP 123: stack(j,s)
|
||
|
STEP 124: unstack(h1,g1)
|
||
|
STEP 125: put-down(h1)
|
||
|
STEP 126: unstack(g1,b)
|
||
|
STEP 127: stack(g1,o)
|
||
|
STEP 128: pick-up(h1)
|
||
|
STEP 129: stack(h1,g1)
|
||
|
STEP 130: unstack(j1,i1)
|
||
|
STEP 131: stack(j1,i1)
|
||
|
STEP 132: unstack(e1,y)
|
||
|
STEP 133: stack(e1,j)
|
||
|
STEP 134: unstack(y,v)
|
||
|
STEP 135: stack(y,d)
|
||
|
STEP 136: unstack(v,l1)
|
||
|
STEP 137: stack(v,h1)
|
||
|
STEP 138: unstack(y,d)
|
||
|
STEP 139: stack(y,v)
|
||
|
STEP 140: unstack(j1,i1)
|
||
|
STEP 141: stack(j1,y)
|
||
|
STEP 142: pick-up(i1)
|
||
|
STEP 143: stack(i1,j1)
|
||
|
STEP 144: unstack(e1,j)
|
||
|
STEP 145: stack(e1,t)
|
||
|
STEP 146: unstack(j,s)
|
||
|
STEP 147: stack(j,i1)
|
||
|
STEP 148: unstack(l1,h)
|
||
|
STEP 149: stack(l1,h)
|
||
|
STEP 150: unstack(s,b1)
|
||
|
STEP 151: stack(s,l1)
|
||
|
STEP 152: pick-up(b1)
|
||
|
STEP 153: stack(b1,j)
|
||
|
STEP 154: unstack(s,l1)
|
||
|
STEP 155: put-down(s)
|
||
|
STEP 156: unstack(l1,h)
|
||
|
STEP 157: stack(l1,b1)
|
||
|
STEP 158: pick-up(s)
|
||
|
STEP 159: stack(s,l1)
|
||
|
STEP 160: unstack(d,c1)
|
||
|
STEP 161: stack(d,h)
|
||
|
STEP 162: pick-up(c1)
|
||
|
STEP 163: stack(c1,a)
|
||
|
STEP 164: unstack(z,p)
|
||
|
STEP 165: put-down(z)
|
||
|
STEP 166: unstack(d,h)
|
||
|
STEP 167: stack(d,b)
|
||
|
STEP 168: unstack(p,q)
|
||
|
STEP 169: stack(p,d)
|
||
|
STEP 170: unstack(x,l)
|
||
|
STEP 171: stack(x,p)
|
||
|
STEP 172: pick-up(h)
|
||
|
STEP 173: stack(h,q)
|
||
|
STEP 174: unstack(e1,t)
|
||
|
STEP 175: stack(e1,c1)
|
||
|
STEP 176: pick-up(z)
|
||
|
STEP 177: stack(z,t)
|
||
|
STEP 178: unstack(e1,c1)
|
||
|
STEP 179: put-down(e1)
|
||
|
STEP 180: unstack(c1,a)
|
||
|
STEP 181: put-down(c1)
|
||
|
STEP 182: unstack(a,c)
|
||
|
STEP 183: stack(a,e1)
|
||
|
STEP 184: unstack(c,e)
|
||
|
STEP 185: put-down(c)
|
||
|
STEP 186: pick-up(e)
|
||
|
STEP 187: stack(e,s)
|
||
|
STEP 188: pick-up(c)
|
||
|
STEP 189: stack(c,e)
|
||
|
STEP 190: pick-up(l)
|
||
|
STEP 191: stack(l,c)
|
||
|
STEP 192: unstack(x,p)
|
||
|
STEP 193: stack(x,l)
|
||
|
STEP 194: unstack(h,q)
|
||
|
STEP 195: stack(h,x)
|
||
|
STEP 196: unstack(z,t)
|
||
|
STEP 197: stack(z,p)
|
||
|
STEP 198: unstack(z,p)
|
||
|
STEP 199: stack(z,p)
|
||
|
STEP 200: unstack(z,p)
|
||
|
STEP 201: stack(z,q)
|
||
|
STEP 202: unstack(p,d)
|
||
|
STEP 203: stack(p,t)
|
||
|
STEP 204: unstack(d,b)
|
||
|
STEP 205: stack(d,h)
|
||
|
STEP 206: unstack(p,t)
|
||
|
STEP 207: stack(p,d)
|
||
|
STEP 208: unstack(z,q)
|
||
|
STEP 209: stack(z,p)
|
||
|
STEP 210: pick-up(b)
|
||
|
STEP 211: stack(b,z)
|
||
|
STEP 212: unstack(t,i)
|
||
|
STEP 213: stack(t,b)
|
||
|
STEP 214: unstack(a,e1)
|
||
|
STEP 215: stack(a,t)
|
||
|
STEP 216: pick-up(c1)
|
||
|
STEP 217: stack(c1,a)
|
||
|
STEP 218: pick-up(e1)
|
||
|
STEP 219: stack(e1,c1)
|
||
|
STEP 220: unstack(i,m)
|
||
|
STEP 221: stack(i,e1)
|
||
|
STEP 222: pick-up(m)
|
||
|
STEP 223: stack(m,i)
|
||
|
STEP 224: unstack(q,f)
|
||
|
STEP 225: put-down(q)
|
||
|
STEP 226: pick-up(f)
|
||
|
STEP 227: stack(f,m)
|
||
|
STEP 228: pick-up(q)
|
||
|
STEP 229: stack(q,f)
|
||
|
230 actions in the plan.
|
||
|
total time 34.69 preprocess 2.25
|
||
|
total size 5.658 GB
|
||
|
max. learned clause length 11348
|
||
|
t val conflicts decisions
|
||
|
5 0 0 0
|
||
|
7 0 0 0
|
||
|
10 0 0 0
|
||
|
14 0 0 0
|
||
|
20 0 0 0
|
||
|
28 0 0 0
|
||
|
40 0 0 0
|
||
|
56 0 3 3
|
||
|
80 -1 1145 2198
|
||
|
113 -1 1083 3232
|
||
|
160 -1 1022 2898
|
||
|
226 -1 961 2957
|
||
|
320 -1 900 2847
|
||
|
452 1 828 2957
|
||
|
|