patrick/tplp-planning-benchmark
1
0
Fork 0
Code Issues Releases Activity

Add benchmark result [m-mpc | ipc-2000 | blocks-strips-typed | 67]

Browse Source
This commit is contained in:
Potassco Bot 2017-11-28 06:12:07 +01:00
parent f6408c523c
commit 6e482c21be
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 340 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
m-mpc/ipc-2000_blocks-strips-typed_67.env Normal file
View File

@ -0,0 +1,37 @@
command:
- timeout
- -m=8000000
- -t=900
- python3
- /home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py
- --domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-67.pddl
- --stats
- --verbose
- --print-call
- --madagascar-MpC
configuration:
id: m-mpc
instanceSets:
- lpnmr-easy-instances
- lpnmr-hard-instances
- lpnmr-first-plan-not-serializable
- rintanen-aij-2012
options:
- --stats
- --verbose
- --print-call
- --madagascar-MpC
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 67
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 61750c0521c6104870e5b881c8b0c237e2af4a96 (2017-11-27 07:44:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

9
m-mpc/ipc-2000_blocks-strips-typed_67.err Normal file
View File

@ -0,0 +1,9 @@
# configuration: {'id': 'm-mpc', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-MpC'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 67}
# command: ['timeout', '-m=8000000', '-t=900', 'python3', '/home/pluehne/Documents/ASP/plasp-javier/encodings/planner/runplanner.py', '--domain=/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-67.pddl', '--stats', '--verbose', '--print-call', '--madagascar-MpC']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
# planner call: MpC /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-67.pddl --stats --verbose
FINISHED CPU 29.70 MEM 0 MAXMEM 4955768 STALE 0 MAXMEM_RSS 2856372
<time name="ALL">29620</time>

294
m-mpc/ipc-2000_blocks-strips-typed_67.out Normal file
View File

@ -0,0 +1,294 @@
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-67.pddlignoring --stats
ignoring --verbose
Domain: blocks
Problem: blocks-33-0
Parser: 2244 ground actions and 1189 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 0.71 secs
Goal: conjunctive
Simplified: 2244 ground actions and 1189 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.41 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 143 MB)
Horizon 5: 18354 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 25220 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 35519 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 49251 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 69849 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 97313 variables
28 UNSAT (0 decisions 0 conflicts)
Horizon 40: 138509 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 56: 193437 variables
Allocated 32 MB (total 824 MB)
Allocated 32 MB permanent (total 949 MB)
Horizon 80: 275829 variables
Horizon 113: 389118 variables
Allocated 32 MB permanent (total 1189 MB)
Horizon 160: 550469 variables
Allocated 32 MB permanent (total 1343 MB)
Horizon 226: 777047 variables
Allocated 32 MB permanent (total 1517 MB)
Horizon 320: 1099749 variables
Allocated 32 MB permanent (total 1717 MB)
Allocated 32 MB permanent (total 1749 MB)
Horizon 452: 1552905 variables
Allocated 32 MB permanent (total 1987 MB)
Allocated 32 MB permanent (total 2019 MB)
Allocated 32 MB permanent (total 2051 MB)
Horizon 640: 2198309 variables
Allocated 32 MB permanent (total 2343 MB)
Allocated 32 MB permanent (total 2375 MB)
Allocated 32 MB permanent (total 2407 MB)
Allocated 32 MB permanent (total 2439 MB)
Horizon 905: 3108054 variables
Allocated 32 MB permanent (total 2807 MB)
Allocated 32 MB permanent (total 2839 MB)
Allocated 32 MB permanent (total 2871 MB)
Allocated 32 MB permanent (total 2903 MB)
Allocated 32 MB permanent (total 2935 MB)
Allocated 32 MB permanent (total 2967 MB)
Horizon 1280: 4395429 variables
Allocated 32 MB permanent (total 3443 MB)
Allocated 32 MB permanent (total 3475 MB)
Allocated 32 MB permanent (total 3507 MB)
Allocated 32 MB permanent (total 3539 MB)
Allocated 32 MB permanent (total 3571 MB)
Allocated 32 MB permanent (total 3603 MB)
Allocated 32 MB permanent (total 3635 MB)
Allocated 32 MB permanent (total 3667 MB)
Horizon 1810: 6214919 variables
Allocated 32 MB permanent (total 4295 MB)
Allocated 32 MB permanent (total 4327 MB)
Allocated 32 MB permanent (total 4359 MB)
Allocated 32 MB permanent (total 4391 MB)
Allocated 32 MB permanent (total 4423 MB)
Allocated 32 MB permanent (total 4455 MB)
Allocated 32 MB permanent (total 4487 MB)
Allocated 32 MB permanent (total 4519 MB)
Allocated 32 MB permanent (total 4551 MB)
Allocated 32 MB permanent (total 4583 MB)
Allocated 32 MB permanent (total 4615 MB)
Horizon 2560: 8789669 variables
SAT (4185 decisions 643 conflicts)
PLAN FOUND: 2560 steps
STEP 0: unstack(u,l)
STEP 1: stack(u,a1)
STEP 2: unstack(l,r)
STEP 3: stack(l,r)
STEP 4: unstack(u,a1)
STEP 5: put-down(u)
STEP 6: unstack(a1,i)
STEP 7: stack(a1,u)
STEP 8: unstack(l,r)
STEP 9: stack(l,i)
STEP 10: unstack(y,c)
STEP 11: put-down(y)
STEP 12: unstack(c,d1)
STEP 13: put-down(c)
STEP 14: unstack(d1,s)
STEP 15: stack(d1,a1)
STEP 16: unstack(s,g1)
STEP 17: stack(s,k)
STEP 18: unstack(g1,v)
STEP 19: stack(g1,c)
STEP 20: unstack(v,j)
STEP 21: stack(v,l)
STEP 22: unstack(j,x)
STEP 23: stack(j,y)
STEP 24: unstack(x,q)
STEP 25: stack(x,r)
STEP 26: unstack(q,n)
STEP 27: stack(q,x)
STEP 28: unstack(n,e)
STEP 29: put-down(n)
STEP 30: unstack(e,c1)
STEP 31: put-down(e)
STEP 32: pick-up(c1)
STEP 33: stack(c1,s)
STEP 34: unstack(v,l)
STEP 35: put-down(v)
STEP 36: unstack(c1,s)
STEP 37: stack(c1,l)
STEP 38: unstack(s,k)
STEP 39: stack(s,j)
STEP 40: unstack(k,f)
STEP 41: stack(k,d1)
STEP 42: unstack(f,f1)
STEP 43: stack(f,s)
STEP 44: unstack(f1,m)
STEP 45: stack(f1,k)
STEP 46: unstack(m,p)
STEP 47: stack(m,e)
STEP 48: unstack(p,b1)
STEP 49: put-down(p)
STEP 50: unstack(b1,d)
STEP 51: stack(b1,p)
STEP 52: unstack(d,a)
STEP 53: stack(d,q)
STEP 54: unstack(a,z)
STEP 55: stack(a,d)
STEP 56: unstack(z,g)
STEP 57: stack(z,b1)
STEP 58: unstack(g,o)
STEP 59: stack(g,z)
STEP 60: unstack(o,h)
STEP 61: stack(o,n)
STEP 62: unstack(h,w)
STEP 63: stack(h,c1)
STEP 64: unstack(w,b)
STEP 65: stack(w,h)
STEP 66: unstack(o,n)
STEP 67: stack(o,b)
STEP 68: pick-up(n)
STEP 69: stack(n,w)
STEP 70: unstack(a,d)
STEP 71: stack(a,d)
STEP 72: unstack(f,s)
STEP 73: stack(f,g1)
STEP 74: unstack(s,j)
STEP 75: stack(s,n)
STEP 76: unstack(a,d)
STEP 77: stack(a,s)
STEP 78: unstack(j,y)
STEP 79: stack(j,a)
STEP 80: unstack(m,e)
STEP 81: stack(m,j)
STEP 82: pick-up(e)
STEP 83: stack(e,f)
STEP 84: unstack(f1,k)
STEP 85: stack(f1,k)
STEP 86: unstack(o,b)
STEP 87: stack(o,y)
STEP 88: unstack(b,t)
STEP 89: stack(b,v)
STEP 90: unstack(o,y)
STEP 91: stack(o,b)
STEP 92: unstack(t,e1)
STEP 93: stack(t,e)
STEP 94: pick-up(e1)
STEP 95: stack(e1,m)
STEP 96: unstack(o,b)
STEP 97: stack(o,e1)
STEP 98: unstack(g,z)
STEP 99: stack(g,y)
STEP 100: unstack(z,b1)
STEP 101: stack(z,o)
STEP 102: unstack(g,y)
STEP 103: stack(g,t)
STEP 104: unstack(d,q)
STEP 105: stack(d,b1)
STEP 106: unstack(q,x)
STEP 107: stack(q,f1)
STEP 108: unstack(x,r)
STEP 109: stack(x,y)
STEP 110: pick-up(r)
STEP 111: stack(r,z)
STEP 112: unstack(x,y)
STEP 113: put-down(x)
STEP 114: pick-up(y)
STEP 115: stack(y,r)
STEP 116: unstack(g,t)
STEP 117: put-down(g)
STEP 118: unstack(t,e)
STEP 119: stack(t,y)
STEP 120: pick-up(g)
STEP 121: stack(g,t)
STEP 122: pick-up(x)
STEP 123: put-down(x)
STEP 124: unstack(e,f)
STEP 125: stack(e,b)
STEP 126: unstack(q,f1)
STEP 127: stack(q,d)
STEP 128: unstack(f1,k)
STEP 129: stack(f1,q)
STEP 130: unstack(k,d1)
STEP 131: put-down(k)
STEP 132: unstack(f1,q)
STEP 133: stack(f1,k)
STEP 134: unstack(d1,a1)
STEP 135: stack(d1,f1)
STEP 136: unstack(a1,u)
STEP 137: stack(a1,g)
STEP 138: unstack(e,b)
STEP 139: stack(e,x)
STEP 140: unstack(d1,f1)
STEP 141: put-down(d1)
STEP 142: unstack(f1,k)
STEP 143: stack(f1,a1)
STEP 144: pick-up(u)
STEP 145: stack(u,e)
STEP 146: unstack(q,d)
STEP 147: stack(q,d)
STEP 148: unstack(u,e)
STEP 149: stack(u,f1)
STEP 150: unstack(e,x)
STEP 151: stack(e,b)
STEP 152: unstack(u,f1)
STEP 153: stack(u,q)
STEP 154: pick-up(x)
STEP 155: stack(x,f1)
STEP 156: unstack(e,b)
STEP 157: stack(e,x)
STEP 158: unstack(u,q)
STEP 159: stack(u,e)
STEP 160: unstack(q,d)
STEP 161: stack(q,k)
STEP 162: unstack(d,b1)
STEP 163: stack(d,q)
STEP 164: unstack(b1,p)
STEP 165: stack(b1,u)
STEP 166: unstack(d,q)
STEP 167: stack(d,b)
STEP 168: unstack(q,k)
STEP 169: stack(q,b1)
STEP 170: unstack(d,b)
STEP 171: stack(d,q)
STEP 172: pick-up(p)
STEP 173: stack(p,d)
STEP 174: unstack(f,g1)
STEP 175: stack(f,p)
STEP 176: pick-up(k)
STEP 177: stack(k,f)
STEP 178: pick-up(d1)
STEP 179: stack(d1,k)
STEP 180: unstack(g1,c)
STEP 181: stack(g1,d1)
STEP 182: unstack(b,v)
STEP 183: stack(b,g1)
STEP 184: pick-up(c)
STEP 185: stack(c,b)
STEP 186: pick-up(v)
STEP 187: stack(v,c)
188 actions in the plan.
total time 28.78 preprocess 1.16
total size 4.689 GB
max. learned clause length 17301
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 -1 1325 1785
80 -1 1261 2736
113 -1 1202 3710
160 -1 1140 3628
226 -1 1080 3615
320 -1 1020 3072
452 -1 960 2984
640 -1 900 2945
905 -1 840 2711
1280 -1 780 2184
1810 -1 720 2311
2560 1 643 4185