Add benchmark result [m-mp-single-shot | ipc-2000 | blocks-strips-typed | 71]

This commit is contained in:
Potassco Bot 2018-02-15 19:54:55 +01:00
parent a565513314
commit f1b4595c0a
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 132 additions and 0 deletions

View File

@ -0,0 +1,42 @@
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-71.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
- -F 130
- -T 130
configuration:
fixedHorizon: true
id: m-mp-single-shot
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 71
ipc: ipc-2000
planLength: 130
versions:
clingo: 5.2.2
fastDownward: 10997:847cdf0069cab0c8841a9958e783d1a7340fe2e9 (2017-11-02 15:10 +0100)
planner: f090434475c02dbccc3811039498f2a63a357ddc (2018-02-01 18:15:39 +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-single-shot', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting'], 'fixedHorizon': True}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 71, 'planLength': 130}
# 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-71.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp', '-F 130', '-T 130']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.01 MEM 1124296 MAXMEM 1124296 STALE 0 MAXMEM_RSS 848708
<time name="ALL">900030</time>

View File

@ -0,0 +1,82 @@
Madagascar 0.99999 01/02/2018 14:46:04 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-71.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192 -F 130 -T 130
Domain: blocks
Problem: blocks-35-0
Parser: 2520 ground actions and 1331 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 0.87 secs
Goal: conjunctive
Simplified: 2520 ground actions and 1331 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.55 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 146 MB)
Horizon 130: 501961 variables
Allocated 32 MB (total 286 MB)
Allocated 32 MB (total 318 MB)
Allocated 32 MB (total 350 MB)
Allocated 32 MB (total 382 MB)
Allocated 32 MB (total 414 MB)
GC: 111.39 MB
Allocated 32 MB (total 446 MB)
Allocated 32 MB (total 478 MB)
Allocated 32 MB (total 510 MB)
Allocated 32 MB (total 542 MB)
Allocated 32 MB (total 574 MB)
GC: 239.92 MB
Allocated 32 MB (total 606 MB)
GC: 251.73 MB
Allocated 32 MB (total 638 MB)
GC: 333.19 MB
GC: 282.84 MB
Allocated 32 MB (total 670 MB)
GC: 358.58 MB
GC: 349.48 MB
Allocated 32 MB (total 702 MB)
GC: 367.20 MB
GC: 373.99 MB
Allocated 32 MB (total 734 MB)
GC: 381.54 MB
Allocated 32 MB (total 766 MB)
GC: 428.31 MB
Allocated 32 MB (total 798 MB)
GC: 438.17 MB
GC: 447.22 MB
GC: 451.48 MB
GC: 455.37 MB
Allocated 32 MB (total 830 MB)
Allocated 32 MB (total 862 MB)
GC: 489.25 MB
GC: 504.09 MB
Allocated 32 MB (total 894 MB)
GC: 522.94 MB
GC: 588.99 MB
GC: 480.88 MB
GC: 500.80 MB
Allocated 32 MB (total 926 MB)
Allocated 32 MB (total 958 MB)
GC: 619.54 MB
GC: 552.52 MB
# statistics in YAML format
---
runtime:
total: 899.58 # [s]
preprocessing: 1.48 # [s]
maxLearnedClauseLength: 24504
groundActions:
afterParsing: 2520
afterPreprocessing: 2520
stateVariables:
afterParsing: 1331
afterPreprocessing: 1331
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
...