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

This commit is contained in:
Potassco Bot 2017-11-29 02:01:05 +01:00
parent 54dffa66cd
commit 7285f0abce
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 193 additions and 0 deletions

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-87.pddl
- --stats
- --verbose
- --print-call
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- lpnmr-easy-instances
- lpnmr-hard-instances
- lpnmr-first-plan-not-serializable
- rintanen-aij-2012
options:
- --stats
- --verbose
- --print-call
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 87
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

View File

@ -0,0 +1,8 @@
# configuration: {'id': 'm-mp', 'options': ['--stats', '--verbose', '--print-call', '--madagascar-Mp'], 'instanceSets': ['lpnmr-easy-instances', 'lpnmr-hard-instances', 'lpnmr-first-plan-not-serializable', 'rintanen-aij-2012']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 87}
# 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-87.pddl', '--stats', '--verbose', '--print-call', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.04 MEM 6161052 MAXMEM 6161052 STALE 0 MAXMEM_RSS 2904896
<time name="ALL">900060</time>

View File

@ -0,0 +1,148 @@
Madagascar 0.99999 25/02/2015 09:46:27 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-87.pddlignoring --stats
ignoring --verbose
Domain: blocks
Problem: blocks-43-0
Parser: 3784 ground actions and 1979 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 2.94 secs
Goal: conjunctive
Simplified: 3784 ground actions and 1979 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.50 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 162 MB)
Horizon 0: 1979 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 30794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 59609 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 88424 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 117239 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 146054 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 174869 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 857 MB)
Horizon 35: 203684 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 232499 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 261314 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1164 MB)
Horizon 50: 290129 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 318944 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 347759 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1487 MB)
Horizon 65: 376574 variables
Allocated 32 MB (total 1519 MB)
65 UNSAT (17 decisions 17 conflicts)
Horizon 70: 405389 variables
Allocated 32 MB permanent (total 1753 MB)
Horizon 75: 434204 variables
70 UNSAT (78 decisions 72 conflicts)
Allocated 32 MB permanent (total 1889 MB)
Horizon 80: 463019 variables
Horizon 85: 491834 variables
Allocated 32 MB permanent (total 2133 MB)
Horizon 90: 520649 variables
75 UNSAT (231 decisions 192 conflicts)
Allocated 32 MB permanent (total 2274 MB)
Horizon 95: 549464 variables
80 UNSAT (342 decisions 237 conflicts)
Horizon 100: 578279 variables
Allocated 32 MB permanent (total 2529 MB)
Horizon 105: 607094 variables
Allocated 32 MB permanent (total 2675 MB)
Horizon 110: 635909 variables
Allocated 32 MB permanent (total 2823 MB)
Horizon 115: 664724 variables
Allocated 32 MB permanent (total 2972 MB)
Horizon 120: 693539 variables
Allocated 32 MB permanent (total 3123 MB)
Horizon 125: 722354 variables
Allocated 32 MB permanent (total 3276 MB)
Horizon 130: 751169 variables
Allocated 32 MB permanent (total 3430 MB)
Horizon 135: 779984 variables
Allocated 32 MB permanent (total 3586 MB)
Horizon 140: 808799 variables
Allocated 32 MB permanent (total 3744 MB)
Horizon 145: 837614 variables
Allocated 32 MB permanent (total 3904 MB)
Horizon 150: 866429 variables
Allocated 32 MB permanent (total 4065 MB)
Horizon 155: 895244 variables
Allocated 32 MB permanent (total 4228 MB)
Horizon 160: 924059 variables
Allocated 32 MB permanent (total 4393 MB)
Horizon 165: 952874 variables
Allocated 32 MB permanent (total 4559 MB)
Allocated 32 MB permanent (total 4591 MB)
Horizon 170: 981689 variables
Allocated 32 MB permanent (total 4759 MB)
Horizon 175: 1010504 variables
Allocated 32 MB permanent (total 4929 MB)
Horizon 180: 1039319 variables
Allocated 32 MB (total 4961 MB)
Allocated 32 MB (total 4993 MB)
GC: 238.39 MB
Allocated 32 MB (total 5025 MB)
Allocated 32 MB (total 5057 MB)
Allocated 32 MB (total 5089 MB)
Allocated 32 MB (total 5121 MB)
Allocated 32 MB (total 5153 MB)
GC: 192.31 MB
Allocated 32 MB (total 5185 MB)
Allocated 32 MB (total 5217 MB)
GC: 243.90 MB
Allocated 32 MB (total 5249 MB)
Allocated 32 MB (total 5281 MB)
Allocated 32 MB (total 5313 MB)
GC: 289.71 MB
Allocated 32 MB (total 5345 MB)
Allocated 32 MB (total 5377 MB)
GC: 315.79 MB
Allocated 32 MB (total 5409 MB)
Allocated 32 MB (total 5441 MB)
Allocated 32 MB (total 5473 MB)
GC: 350.16 MB
Allocated 32 MB (total 5505 MB)
Allocated 32 MB (total 5537 MB)
Allocated 32 MB (total 5569 MB)
GC: 405.27 MB
Allocated 32 MB (total 5601 MB)
Allocated 32 MB (total 5633 MB)
GC: 558.25 MB
GC: 349.41 MB
GC: 397.88 MB
Allocated 32 MB (total 5665 MB)
Allocated 32 MB (total 5697 MB)
GC: 603.36 MB
GC: 474.51 MB
GC: 515.43 MB
Allocated 32 MB (total 5729 MB)
Allocated 32 MB (total 5761 MB)
Allocated 32 MB (total 5793 MB)
GC: 659.40 MB
85 UNSAT (60260 decisions 38942 conflicts)
Horizon 185: 1068134 variables
GC: 808.82 MB
GC: 302.31 MB
GC: 322.83 MB
GC: 332.85 MB
GC: 364.22 MB
GC: 379.02 MB
GC: 387.67 MB
GC: 403.38 MB
GC: 409.54 MB
GC: 430.06 MB
GC: 450.91 MB