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-49.pddlignoring --stats ignoring --verbose Domain: blocks Problem: blocks-24-0 Parser: 1200 ground actions and 649 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 0.24 secs Goal: conjunctive Simplified: 1200 ground actions and 649 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.09 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 131 MB) Horizon 5: 9894 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 7: 13592 variables 7 UNSAT (0 decisions 0 conflicts) Horizon 10: 19139 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 14: 26535 variables 14 UNSAT (0 decisions 0 conflicts) Horizon 20: 37629 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 28: 52421 variables 28 UNSAT (0 decisions 0 conflicts) Horizon 40: 74609 variables Allocated 32 MB (total 712 MB) Horizon 56: 104193 variables Horizon 80: 148569 variables Horizon 113: 209586 variables 40 UNSAT (321 decisions 227 conflicts) Allocated 32 MB permanent (total 1094 MB) Horizon 160: 296489 variables Horizon 226: 418523 variables Allocated 32 MB permanent (total 1339 MB) Horizon 320: 592329 variables Allocated 32 MB permanent (total 1497 MB) Horizon 452: 836397 variables Allocated 32 MB permanent (total 1675 MB) Allocated 32 MB permanent (total 1707 MB) Horizon 640: 1184009 variables Allocated 32 MB permanent (total 1914 MB) Allocated 32 MB permanent (total 1946 MB) Horizon 905: 1673994 variables Allocated 32 MB permanent (total 2195 MB) Allocated 32 MB permanent (total 2227 MB) Allocated 32 MB permanent (total 2259 MB) Horizon 1280: 2367369 variables Allocated 32 MB permanent (total 2565 MB) Allocated 32 MB permanent (total 2597 MB) Allocated 32 MB permanent (total 2629 MB) Allocated 32 MB permanent (total 2661 MB) Horizon 1810: 3347339 variables Allocated 32 MB permanent (total 3049 MB) Allocated 32 MB permanent (total 3081 MB) Allocated 32 MB permanent (total 3113 MB) Allocated 32 MB permanent (total 3145 MB) Allocated 32 MB permanent (total 3177 MB) Allocated 32 MB permanent (total 3209 MB) Horizon 2560: 4734089 variables SAT (1570 decisions 408 conflicts) PLAN FOUND: 640 steps STEP 0: unstack(v,w) STEP 1: put-down(v) STEP 2: unstack(b,o) STEP 3: stack(b,w) STEP 4: unstack(o,c) STEP 5: stack(o,m) STEP 6: unstack(c,l) STEP 7: stack(c,v) STEP 8: unstack(l,k) STEP 9: put-down(l) STEP 10: unstack(k,i) STEP 11: stack(k,g) STEP 12: unstack(i,s) STEP 13: stack(i,l) STEP 14: unstack(s,d) STEP 15: stack(s,b) STEP 16: unstack(i,l) STEP 17: stack(i,l) STEP 18: unstack(s,b) STEP 19: stack(s,k) STEP 20: unstack(b,w) STEP 21: stack(b,d) STEP 22: unstack(w,e) STEP 23: put-down(w) STEP 24: unstack(b,d) STEP 25: stack(b,w) STEP 26: unstack(s,k) STEP 27: stack(s,b) STEP 28: unstack(k,g) STEP 29: stack(k,o) STEP 30: unstack(g,p) STEP 31: stack(g,e) STEP 32: unstack(p,a) STEP 33: stack(p,d) STEP 34: unstack(a,j) STEP 35: stack(a,s) STEP 36: unstack(j,n) STEP 37: stack(j,k) STEP 38: unstack(n,x) STEP 39: stack(n,i) STEP 40: unstack(x,q) STEP 41: stack(x,g) STEP 42: pick-up(q) STEP 43: stack(q,p) STEP 44: unstack(a,s) STEP 45: stack(a,j) STEP 46: unstack(q,p) STEP 47: stack(q,s) STEP 48: unstack(x,g) STEP 49: stack(x,r) STEP 50: unstack(g,e) STEP 51: stack(g,q) STEP 52: unstack(c,v) STEP 53: stack(c,g) STEP 54: unstack(x,r) STEP 55: stack(x,e) STEP 56: pick-up(r) STEP 57: stack(r,c) STEP 58: unstack(a,j) STEP 59: stack(a,j) STEP 60: unstack(p,d) STEP 61: stack(p,v) STEP 62: unstack(d,t) STEP 63: stack(d,n) STEP 64: pick-up(t) STEP 65: stack(t,r) STEP 66: unstack(a,j) STEP 67: stack(a,t) STEP 68: unstack(d,n) STEP 69: stack(d,n) STEP 70: unstack(d,n) STEP 71: stack(d,n) STEP 72: unstack(x,e) STEP 73: stack(x,j) STEP 74: unstack(e,u) STEP 75: stack(e,p) STEP 76: unstack(u,f) STEP 77: stack(u,a) STEP 78: unstack(d,n) STEP 79: stack(d,u) STEP 80: unstack(x,j) STEP 81: stack(x,e) STEP 82: unstack(n,i) STEP 83: stack(n,i) STEP 84: unstack(n,i) STEP 85: stack(n,f) STEP 86: unstack(j,k) STEP 87: stack(j,n) STEP 88: unstack(i,l) STEP 89: put-down(i) STEP 90: pick-up(l) STEP 91: stack(l,d) STEP 92: unstack(k,o) STEP 93: stack(k,l) STEP 94: unstack(o,m) STEP 95: stack(o,i) STEP 96: unstack(m,h) STEP 97: put-down(m) STEP 98: pick-up(h) STEP 99: stack(h,k) STEP 100: pick-up(m) STEP 101: stack(m,h) STEP 102: unstack(x,e) STEP 103: stack(x,j) STEP 104: unstack(e,p) STEP 105: put-down(e) STEP 106: unstack(p,v) STEP 107: stack(p,m) STEP 108: pick-up(v) STEP 109: stack(v,p) STEP 110: unstack(x,j) STEP 111: stack(x,j) STEP 112: unstack(o,i) STEP 113: stack(o,e) STEP 114: unstack(x,j) STEP 115: stack(x,i) STEP 116: unstack(j,n) STEP 117: stack(j,n) STEP 118: unstack(o,e) STEP 119: put-down(o) STEP 120: unstack(x,i) STEP 121: stack(x,i) STEP 122: pick-up(o) STEP 123: stack(o,x) STEP 124: unstack(j,n) STEP 125: stack(j,n) STEP 126: unstack(o,x) STEP 127: stack(o,e) STEP 128: unstack(x,i) STEP 129: stack(x,j) STEP 130: unstack(x,j) STEP 131: stack(x,j) STEP 132: unstack(o,e) STEP 133: stack(o,i) STEP 134: unstack(x,j) STEP 135: stack(x,e) STEP 136: unstack(j,n) STEP 137: stack(j,x) STEP 138: unstack(n,f) STEP 139: stack(n,v) STEP 140: unstack(j,x) STEP 141: stack(j,n) STEP 142: unstack(x,e) STEP 143: stack(x,j) STEP 144: unstack(o,i) STEP 145: stack(o,x) STEP 146: pick-up(f) STEP 147: stack(f,o) STEP 148: pick-up(e) STEP 149: stack(e,f) STEP 150: pick-up(i) STEP 151: stack(i,e) 152 actions in the plan. total time 9.30 preprocess 0.34 total size 3.264 GB max. learned clause length 3934 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 227 321 56 -1 842 1886 80 -1 780 1793 113 -1 720 1750 160 -1 660 1741 226 -1 600 1696 320 -1 540 1316 452 -1 480 1240 640 1 408 1570