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

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

Browse Source
This commit is contained in:
Potassco Bot 2017-11-28 05:23:02 +01:00
parent d12e002d4b
commit 83056d4cbc
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 250 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_45.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-45.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: 45
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_45.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': 45}
# 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-45.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-45.pddl --stats --verbose
FINISHED CPU 7.47 MEM 33472 MAXMEM 3198656 STALE 1 MAXMEM_RSS 1219936
<time name="ALL">7450</time>

204
m-mpc/ipc-2000_blocks-strips-typed_45.out Normal file
View File

@ -0,0 +1,204 @@
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-45.pddlignoring --stats
ignoring --verbose
Domain: blocks
Problem: blocks-22-0
Parser: 1012 ground actions and 551 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 0.16 secs
Goal: conjunctive
Simplified: 1012 ground actions and 551 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.06 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 129 MB)
Horizon 5: 8366 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 11492 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 16181 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 22433 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 31811 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 44315 variables
28 UNSAT (0 decisions 0 conflicts)
Horizon 40: 63071 variables
Allocated 32 MB (total 708 MB)
Horizon 56: 88079 variables
Horizon 80: 125591 variables
Horizon 113: 177170 variables
Allocated 32 MB permanent (total 1083 MB)
Horizon 160: 250631 variables
Horizon 226: 353789 variables
Allocated 32 MB permanent (total 1318 MB)
Horizon 320: 500711 variables
Allocated 32 MB permanent (total 1469 MB)
Horizon 452: 707027 variables
Allocated 32 MB permanent (total 1636 MB)
Horizon 640: 1000871 variables
40 UNSAT (836 decisions 513 conflicts)
Allocated 32 MB permanent (total 1828 MB)
Allocated 32 MB permanent (total 1860 MB)
Horizon 905: 1415066 variables
Allocated 32 MB permanent (total 2087 MB)
Allocated 32 MB permanent (total 2119 MB)
Horizon 1280: 2001191 variables
Allocated 32 MB permanent (total 2394 MB)
Allocated 32 MB permanent (total 2426 MB)
Allocated 32 MB permanent (total 2458 MB)
Allocated 32 MB permanent (total 2490 MB)
Horizon 1810: 2829581 variables
Allocated 32 MB permanent (total 2835 MB)
Allocated 32 MB permanent (total 2867 MB)
Allocated 32 MB permanent (total 2899 MB)
Allocated 32 MB permanent (total 2931 MB)
Allocated 32 MB permanent (total 2963 MB)
Horizon 2560: 4001831 variables
SAT (1566 decisions 342 conflicts)
PLAN FOUND: 905 steps
STEP 0: unstack(v,m)
STEP 1: put-down(v)
STEP 2: unstack(m,s)
STEP 3: stack(m,u)
STEP 4: unstack(s,d)
STEP 5: stack(s,m)
STEP 6: unstack(d,b)
STEP 7: put-down(d)
STEP 8: unstack(b,j)
STEP 9: stack(b,s)
STEP 10: pick-up(v)
STEP 11: stack(v,j)
STEP 12: unstack(b,s)
STEP 13: stack(b,n)
STEP 14: unstack(s,m)
STEP 15: stack(s,b)
STEP 16: unstack(m,u)
STEP 17: stack(m,d)
STEP 18: unstack(u,i)
STEP 19: stack(u,p)
STEP 20: unstack(i,a)
STEP 21: stack(i,m)
STEP 22: unstack(a,t)
STEP 23: stack(a,i)
STEP 24: unstack(t,k)
STEP 25: stack(t,v)
STEP 26: unstack(t,v)
STEP 27: stack(t,s)
STEP 28: unstack(v,j)
STEP 29: put-down(v)
STEP 30: unstack(j,l)
STEP 31: put-down(j)
STEP 32: pick-up(v)
STEP 33: stack(v,j)
STEP 34: unstack(t,s)
STEP 35: stack(t,v)
STEP 36: unstack(s,b)
STEP 37: put-down(s)
STEP 38: unstack(l,g)
STEP 39: stack(l,t)
STEP 40: pick-up(s)
STEP 41: stack(s,u)
STEP 42: unstack(g,c)
STEP 43: stack(g,b)
STEP 44: unstack(a,i)
STEP 45: stack(a,l)
STEP 46: unstack(c,q)
STEP 47: stack(c,g)
STEP 48: unstack(q,r)
STEP 49: put-down(q)
STEP 50: pick-up(r)
STEP 51: stack(r,k)
STEP 52: unstack(r,k)
STEP 53: stack(r,k)
STEP 54: unstack(a,l)
STEP 55: put-down(a)
STEP 56: unstack(l,t)
STEP 57: stack(l,r)
STEP 58: unstack(l,r)
STEP 59: stack(l,s)
STEP 60: unstack(r,k)
STEP 61: stack(r,t)
STEP 62: unstack(l,s)
STEP 63: stack(l,r)
STEP 64: pick-up(a)
STEP 65: stack(a,l)
STEP 66: unstack(k,o)
STEP 67: stack(k,a)
STEP 68: unstack(c,g)
STEP 69: stack(c,k)
STEP 70: unstack(o,f)
STEP 71: put-down(o)
STEP 72: unstack(f,e)
STEP 73: stack(f,s)
STEP 74: pick-up(e)
STEP 75: stack(e,c)
STEP 76: unstack(f,s)
STEP 77: stack(f,e)
STEP 78: unstack(s,u)
STEP 79: stack(s,o)
STEP 80: unstack(g,b)
STEP 81: stack(g,s)
STEP 82: unstack(b,n)
STEP 83: stack(b,u)
STEP 84: unstack(i,m)
STEP 85: stack(i,b)
STEP 86: unstack(m,d)
STEP 87: stack(m,q)
STEP 88: pick-up(d)
STEP 89: stack(d,f)
STEP 90: unstack(i,b)
STEP 91: stack(i,m)
STEP 92: unstack(b,u)
STEP 93: stack(b,d)
STEP 94: unstack(u,p)
STEP 95: stack(u,b)
STEP 96: pick-up(p)
STEP 97: stack(p,u)
STEP 98: unstack(n,h)
STEP 99: stack(n,p)
STEP 100: unstack(i,m)
STEP 101: stack(i,n)
STEP 102: unstack(g,s)
STEP 103: stack(g,m)
STEP 104: unstack(s,o)
STEP 105: stack(s,i)
STEP 106: unstack(g,m)
STEP 107: stack(g,s)
STEP 108: pick-up(h)
STEP 109: stack(h,o)
STEP 110: unstack(m,q)
STEP 111: stack(m,h)
STEP 112: pick-up(q)
STEP 113: stack(q,g)
STEP 114: unstack(m,h)
STEP 115: stack(m,q)
STEP 116: unstack(h,o)
STEP 117: put-down(h)
STEP 118: pick-up(o)
STEP 119: stack(o,m)
STEP 120: pick-up(h)
STEP 121: stack(h,o)
122 actions in the plan.
total time 6.88 preprocess 0.23
total size 3.014 GB
max. learned clause length 3648
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 513 836
56 -1 844 1853
80 -1 780 1905
113 -1 721 1595
160 -1 660 1715
226 -1 600 1362
320 -1 540 1265
452 -1 480 1224
640 -1 420 960
905 1 342 1566