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

This commit is contained in:
Potassco Bot 2017-11-28 11:38:22 +01:00
parent 87b742d7ec
commit 6099770b51
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 174 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-91.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: 91
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-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': 91}
# 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-91.pddl', '--stats', '--verbose', '--print-call', '--madagascar-MpC']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.02 MEM 7806820 MAXMEM 7806820 STALE 0 MAXMEM_RSS 5215844
<time name="ALL">900040</time>

View File

@ -0,0 +1,129 @@
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-91.pddlignoring --stats
ignoring --verbose
Domain: blocks
Problem: blocks-45-0
Parser: 4140 ground actions and 2161 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 3.06 secs
Goal: conjunctive
Simplified: 4140 ground actions and 2161 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.88 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 167 MB)
Horizon 5: 33666 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 46268 variables
7 UNSAT (0 decisions 0 conflicts)
Horizon 10: 65171 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 14: 90375 variables
14 UNSAT (0 decisions 0 conflicts)
Horizon 20: 128181 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 28: 178589 variables
28 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 784 MB)
Horizon 40: 254201 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 56: 355017 variables
56 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1020 MB)
Horizon 80: 506241 variables
Allocated 32 MB (total 1052 MB)
80 UNSAT (38 decisions 33 conflicts)
Allocated 32 MB permanent (total 1202 MB)
Horizon 113: 714174 variables
Allocated 32 MB permanent (total 1371 MB)
Horizon 160: 1010321 variables
Allocated 32 MB permanent (total 1563 MB)
Allocated 32 MB permanent (total 1595 MB)
Horizon 226: 1426187 variables
Allocated 32 MB permanent (total 1823 MB)
Allocated 32 MB permanent (total 1855 MB)
Horizon 320: 2018481 variables
Allocated 32 MB permanent (total 2132 MB)
Allocated 32 MB permanent (total 2164 MB)
Allocated 32 MB permanent (total 2196 MB)
Allocated 32 MB permanent (total 2228 MB)
Horizon 452: 2850213 variables
Allocated 32 MB permanent (total 2575 MB)
Allocated 32 MB permanent (total 2607 MB)
Allocated 32 MB permanent (total 2639 MB)
Allocated 32 MB permanent (total 2671 MB)
Allocated 32 MB permanent (total 2703 MB)
Horizon 640: 4034801 variables
Allocated 32 MB permanent (total 3148 MB)
Allocated 32 MB permanent (total 3180 MB)
Allocated 32 MB permanent (total 3212 MB)
Allocated 32 MB permanent (total 3244 MB)
Allocated 32 MB permanent (total 3276 MB)
Allocated 32 MB permanent (total 3308 MB)
Allocated 32 MB permanent (total 3340 MB)
Horizon 905: 5704566 variables
Allocated 32 MB permanent (total 3926 MB)
Allocated 32 MB permanent (total 3958 MB)
Allocated 32 MB permanent (total 3990 MB)
Allocated 32 MB permanent (total 4022 MB)
Allocated 32 MB permanent (total 4054 MB)
Allocated 32 MB permanent (total 4086 MB)
Allocated 32 MB permanent (total 4118 MB)
Allocated 32 MB permanent (total 4150 MB)
Allocated 32 MB permanent (total 4182 MB)
Allocated 32 MB permanent (total 4214 MB)
Allocated 32 MB permanent (total 4246 MB)
Horizon 1280: 8067441 variables
Allocated 32 MB permanent (total 5029 MB)
Allocated 32 MB permanent (total 5061 MB)
Allocated 32 MB permanent (total 5093 MB)
Allocated 32 MB permanent (total 5125 MB)
Allocated 32 MB permanent (total 5157 MB)
Allocated 32 MB permanent (total 5189 MB)
Allocated 32 MB permanent (total 5221 MB)
Allocated 32 MB permanent (total 5253 MB)
Allocated 32 MB permanent (total 5285 MB)
Allocated 32 MB permanent (total 5317 MB)
Allocated 32 MB permanent (total 5349 MB)
Allocated 32 MB permanent (total 5381 MB)
Allocated 32 MB permanent (total 5413 MB)
Allocated 32 MB permanent (total 5445 MB)
Allocated 32 MB permanent (total 5477 MB)
Horizon 1810: 11406971 variables
Allocated 32 MB permanent (total 6539 MB)
Allocated 32 MB permanent (total 6571 MB)
Allocated 32 MB permanent (total 6603 MB)
Allocated 32 MB permanent (total 6635 MB)
Allocated 32 MB permanent (total 6667 MB)
Allocated 32 MB permanent (total 6699 MB)
Allocated 32 MB permanent (total 6731 MB)
Allocated 32 MB permanent (total 6763 MB)
Allocated 32 MB permanent (total 6795 MB)
Allocated 32 MB permanent (total 6827 MB)
Allocated 32 MB permanent (total 6859 MB)
Allocated 32 MB permanent (total 6891 MB)
Allocated 32 MB permanent (total 6923 MB)
Allocated 32 MB permanent (total 6955 MB)
Allocated 32 MB permanent (total 6987 MB)
Allocated 32 MB permanent (total 7019 MB)
Allocated 32 MB permanent (total 7051 MB)
Allocated 32 MB permanent (total 7083 MB)
Allocated 32 MB permanent (total 7115 MB)
Allocated 32 MB permanent (total 7147 MB)
Horizon 2560: 16132721 variables
Allocated 32 MB (total 7179 MB)
GC: 88.45 MB
Allocated 32 MB (total 7211 MB)
GC: 40.41 MB
GC: 62.81 MB
Allocated 32 MB (total 7243 MB)
GC: 62.78 MB
GC: 60.06 MB
Allocated 32 MB (total 7275 MB)
GC: 83.36 MB
Allocated 32 MB (total 7307 MB)
GC: 121.59 MB
GC: 84.76 MB
GC: 87.20 MB
GC: 82.41 MB