Add benchmark result [m-m | ipc-2000 | freecell-strips-typed | 19]

This commit is contained in:
Potassco Bot 2017-11-26 07:06:09 +01:00
parent 98ba0a088d
commit 1e6fcbf052
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 156 additions and 0 deletions

View File

@ -0,0 +1,35 @@
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/freecell-strips-typed/domain.pddl
- /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-19.pddl
- --stats
- --verbose
- --print-call
- --madagascar-M
configuration:
id: m-m
instanceSets:
- lpnmr-easy-instances
- lpnmr-hard-instances
options:
- --stats
- --verbose
- --print-call
- --madagascar-M
exitCode: 0
instance:
domain: freecell-strips-typed
instance: 19
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 517f2c0422a36582df17ecebb08e879b170cdfe2 (2017-11-21 02:23:06 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -0,0 +1,9 @@
# configuration: {'id': 'm-m', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-M'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances']}
# instance: {'ipc': 'ipc-2000', 'domain': 'freecell-strips-typed', 'instance': 19}
# 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/freecell-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-19.pddl', '--stats', '--verbose', '--print-call', '--madagascar-M']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
# planner call: M /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-19.pddl --stats --verbose
FINISHED CPU 86.76 MEM 30288 MAXMEM 6645844 STALE 0 MAXMEM_RSS 4259800
<time name="ALL">86730</time>

View File

@ -0,0 +1,112 @@
Madagascar 0.99999 25/02/2015 09:03:18 amd64 1-core
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/freecell-strips-typed/instances/instance-19.pddlignoring --stats
ignoring --verbose
Domain: freecell
Problem: freecell-5-4
Parser: 25688 ground actions and 793 state variables
Invariants: 0 1 2 0.04 secs
Goal: conjunctive
Simplified: 9350 ground actions and 156 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.50 secs (max SCC size 9286)
Plan type: E-step
Heuristic: VSIDS
Allocated 32 MB permanent (total 241 MB)
Horizon 0: 156 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 193256 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 386356 variables
Allocated 32 MB (total 557 MB)
Horizon 15: 579456 variables
Horizon 20: 772556 variables
Horizon 25: 965656 variables
Horizon 30: 1158756 variables
Allocated 32 MB permanent (total 1316 MB)
Horizon 35: 1351856 variables
Allocated 32 MB (total 1348 MB)
Horizon 40: 1544956 variables
Horizon 45: 1738056 variables
Allocated 32 MB (total 1767 MB)
Allocated 32 MB permanent (total 2014 MB)
Horizon 50: 1931156 variables
Allocated 32 MB (total 2046 MB)
Horizon 55: 2124256 variables
Allocated 32 MB permanent (total 2548 MB)
Horizon 60: 2317356 variables
Allocated 32 MB (total 2580 MB)
Horizon 65: 2510456 variables
Allocated 32 MB (total 2868 MB)
Allocated 32 MB permanent (total 3170 MB)
Horizon 70: 2703556 variables
Allocated 32 MB (total 3202 MB)
Allocated 32 MB (total 3234 MB)
Horizon 75: 2896656 variables
Allocated 32 MB (total 3549 MB)
Allocated 32 MB (total 3581 MB)
Allocated 32 MB permanent (total 3911 MB)
Horizon 80: 3089756 variables
Allocated 32 MB (total 3943 MB)
Horizon 85: 3282856 variables
Allocated 32 MB (total 4286 MB)
Allocated 32 MB permanent (total 4643 MB)
Horizon 90: 3475956 variables
Allocated 32 MB (total 4675 MB)
Allocated 32 MB (total 4707 MB)
Allocated 32 MB permanent (total 5078 MB)
Horizon 95: 3669056 variables
Allocated 32 MB (total 5110 MB)
Allocated 32 MB permanent (total 5494 MB)
Horizon 100: 3862156 variables
Allocated 32 MB (total 5526 MB)
Horizon 105: 4055256 variables
Allocated 32 MB (total 5924 MB)
Allocated 32 MB (total 5956 MB)
Allocated 32 MB (total 5988 MB)
Allocated 32 MB (total 6020 MB)
Allocated 32 MB (total 6052 MB)
Allocated 32 MB (total 6084 MB)
Allocated 32 MB (total 6116 MB)
Allocated 32 MB (total 6148 MB)
Allocated 32 MB (total 6180 MB)
Allocated 32 MB (total 6212 MB)
Allocated 32 MB (total 6244 MB)
Allocated 32 MB (total 6276 MB)
Allocated 32 MB (total 6308 MB)
GC: 714.86 MB
GC: 633.50 MB
SAT (499020 decisions 4793 conflicts)
PLAN FOUND: 20 steps
STEP 0: sendtofree(s5,ca,n4,n3) sendtohome(da,d2,d,n1,d0,n0)
STEP 1: sendtofree(h4,ha,n3,n2) sendtohome-b(ca,c,n1,c0,n0,n0,n1)
STEP 2: sendtohome(ha,d5,h,n1,h0,n0) sendtohome-b(c2,c,n2,ca,n1,n1,n2)
STEP 3: sendtofree-b(h5,n2,n1,n2,n3) sendtohome(c3,c5,c,n3,c2,n2) sendtohome(h2,c4,h,n2,ha,n1)
STEP 4: sendtofree-b(d5,n1,n0,n3,n4) sendtohome(c4,s2,c,n4,c3,n3)
STEP 5: newcolfromfreecell(s5,n4,n3,n0,n1) sendtohome(c5,s3,c,n5,c4,n4)
STEP 6: sendtofree(d2,h3,n1,n0) sendtonewcol(s4,sa,n3,n2)
STEP 7.0: colfromfreecell(h4,s5,n0,n1) move(h3,d4,s4)
STEP 7.1: move-b(s2,h3,n2,n3)
STEP 8: move-b(s3,h4,n3,n4) sendtofree(sa,d3,n1,n0)
STEP 9: homefromfreecell(d2,d,n2,da,n1,n0,n1) move(s3,h4,d4)
STEP 10: sendtofree(h4,s5,n1,n0) sendtonewcol(s3,d4,n4,n3)
STEP 11: newcolfromfreecell(h4,n3,n2,n0,n1)
STEP 12: sendtohome-b(d3,d,n3,d2,n2,n2,n3)
STEP 13: sendtofree(s2,h3,n1,n0) sendtohome-b(d4,d,n4,d3,n3,n3,n4)
STEP 14: sendtonewcol(h3,s4,n4,n3)
STEP 15: homefromfreecell(sa,s,n1,s0,n0,n0,n1) move-b(h3,s4,n3,n4)
STEP 16: homefromfreecell(s2,s,n2,sa,n1,n1,n2) move-b(h4,s5,n4,n5) sendtohome(h3,s4,h,n3,h2,n2)
STEP 17: sendtohome(h4,s5,h,n4,h3,n3) sendtohome-b(s3,s,n3,s2,n2,n5,n6)
STEP 18: homefromfreecell(h5,h,n5,h4,n4,n2,n3) sendtohome-b(s4,s,n4,s3,n3,n6,n7)
STEP 19: homefromfreecell(d5,d,n5,d4,n4,n3,n4) sendtohome-b(s5,s,n5,s4,n4,n7,n8)
40 actions in the plan.
total time 85.58 preprocess 0.75
total size 6.305 GB
max. learned clause length 425762
t val conflicts decisions
0 0 0 0
5 0 0 0
10 -1 6521 133893
15 -1 7327 287474
20 1 4793 499020