Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 99]

This commit is contained in:
Potassco Bot 2018-02-01 06:38:03 +01:00
parent 93d90cd1f6
commit 27b26e6343
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 196 additions and 0 deletions

View File

@ -0,0 +1,38 @@
command:
- timeout
- -m=9216000
- -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-99.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 99
ipc: ipc-2000
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: 398fcb36ad9c5a23a8c35820fb4b021802dbc349 (2017-11-30 17:03:27 +0100)
plasp: 3.1.1
python: 3.6.3
workingDirectory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner

View File

@ -0,0 +1,8 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 99}
# command: ['timeout', '-m=9216000', '-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-99.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.11 MEM 6943600 MAXMEM 6943600 STALE 0 MAXMEM_RSS 3484164
<time name="ALL">900130</time>

View File

@ -0,0 +1,150 @@
Madagascar 0.99999 31/01/2018 20:14:07 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-99.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-49-0
Parser: 4900 ground actions and 2549 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 5.77 secs
Goal: conjunctive
Simplified: 4900 ground actions and 2549 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.86 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 178 MB)
Horizon 0: 2549 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 39794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 77039 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 114284 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 151529 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 188774 variables
25 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 796 MB)
Horizon 30: 226019 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 263264 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 300509 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1111 MB)
Horizon 45: 337754 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 374999 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1342 MB)
Horizon 55: 412244 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 449489 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1582 MB)
Horizon 65: 486734 variables
65 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1721 MB)
Horizon 70: 523979 variables
Allocated 32 MB (total 1753 MB)
70 UNSAT (19 decisions 18 conflicts)
Horizon 75: 561224 variables
Allocated 32 MB permanent (total 2007 MB)
Horizon 80: 598469 variables
75 UNSAT (83 decisions 63 conflicts)
Allocated 32 MB permanent (total 2153 MB)
Horizon 85: 635714 variables
Allocated 32 MB permanent (total 2301 MB)
Horizon 90: 672959 variables
80 UNSAT (180 decisions 162 conflicts)
Allocated 32 MB permanent (total 2451 MB)
Horizon 95: 710204 variables
Allocated 32 MB permanent (total 2604 MB)
Horizon 100: 747449 variables
Allocated 32 MB permanent (total 2758 MB)
Horizon 105: 784694 variables
Allocated 32 MB permanent (total 2915 MB)
Horizon 110: 821939 variables
Allocated 32 MB permanent (total 3074 MB)
Horizon 115: 859184 variables
Allocated 32 MB permanent (total 3236 MB)
Horizon 120: 896429 variables
Allocated 32 MB permanent (total 3399 MB)
Horizon 125: 933674 variables
85 UNSAT (741 decisions 536 conflicts)
Allocated 32 MB permanent (total 3565 MB)
Horizon 130: 970919 variables
Allocated 32 MB permanent (total 3733 MB)
Allocated 32 MB permanent (total 3765 MB)
Horizon 135: 1008164 variables
Allocated 32 MB permanent (total 3935 MB)
Horizon 140: 1045409 variables
Allocated 32 MB permanent (total 4108 MB)
Horizon 145: 1082654 variables
Allocated 32 MB permanent (total 4282 MB)
Allocated 32 MB permanent (total 4314 MB)
Horizon 150: 1119899 variables
Allocated 32 MB permanent (total 4491 MB)
Horizon 155: 1157144 variables
Allocated 32 MB permanent (total 4670 MB)
Allocated 32 MB permanent (total 4702 MB)
Horizon 160: 1194389 variables
Allocated 32 MB (total 4734 MB)
Allocated 32 MB permanent (total 4915 MB)
Horizon 165: 1231634 variables
Allocated 32 MB permanent (total 5098 MB)
Allocated 32 MB permanent (total 5130 MB)
Horizon 170: 1268879 variables
Allocated 32 MB permanent (total 5316 MB)
Allocated 32 MB permanent (total 5348 MB)
Horizon 175: 1306124 variables
Allocated 32 MB permanent (total 5536 MB)
Horizon 180: 1343369 variables
Allocated 32 MB permanent (total 5726 MB)
Allocated 32 MB permanent (total 5758 MB)
Horizon 185: 1380614 variables
Allocated 32 MB (total 5790 MB)
90 UNSAT (2442 decisions 1674 conflicts)
Allocated 32 MB permanent (total 5982 MB)
Allocated 32 MB permanent (total 6014 MB)
Horizon 190: 1417859 variables
Allocated 32 MB (total 6046 MB)
GC: 347.10 MB
Allocated 32 MB (total 6078 MB)
Allocated 32 MB (total 6110 MB)
Allocated 32 MB (total 6142 MB)
Allocated 32 MB (total 6174 MB)
Allocated 32 MB (total 6206 MB)
GC: 195.89 MB
Allocated 32 MB (total 6238 MB)
Allocated 32 MB (total 6270 MB)
Allocated 32 MB (total 6302 MB)
GC: 241.44 MB
Allocated 32 MB (total 6334 MB)
Allocated 32 MB (total 6366 MB)
Allocated 32 MB (total 6398 MB)
Allocated 32 MB (total 6430 MB)
GC: 295.54 MB
Allocated 32 MB (total 6462 MB)
Allocated 32 MB (total 6494 MB)
95 UNSAT (16356 decisions 10838 conflicts)
Horizon 195: 1455104 variables
Allocated 32 MB (total 6688 MB)
Allocated 32 MB (total 6720 MB)
GC: 504.19 MB
GC: 350.36 MB
GC: 509.51 MB
GC: 405.56 MB
GC: 381.85 MB
GC: 318.29 MB
GC: 480.88 MB
GC: 358.04 MB
GC: 343.55 MB
GC: 387.26 MB
GC: 390.74 MB
GC: 382.43 MB
GC: 393.18 MB
GC: 442.14 MB
GC: 387.62 MB