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

This commit is contained in:
Potassco Bot 2018-02-15 14:34:46 +01:00
parent 91daa3ee0f
commit 11c2d4ed4f
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 133 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-65.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
- -F 100
- -T 100
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: 65
ipc: ipc-2000
planLength: 100
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': 65, 'planLength': 100}
# 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-65.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp', '-F 100', '-T 100']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.08 MEM 1003572 MAXMEM 1003572 STALE 0 MAXMEM_RSS 720952
<time name="ALL">900100</time>

View File

@ -0,0 +1,83 @@
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-65.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192 -F 100 -T 100
Domain: blocks
Problem: blocks-32-0
Parser: 2112 ground actions and 1121 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 0.60 secs
Goal: conjunctive
Simplified: 2112 ground actions and 1121 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.36 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 141 MB)
Horizon 100: 324421 variables
Allocated 32 MB (total 270 MB)
Allocated 32 MB (total 302 MB)
Allocated 32 MB (total 334 MB)
Allocated 32 MB (total 366 MB)
Allocated 32 MB (total 398 MB)
GC: 107.18 MB
Allocated 32 MB (total 430 MB)
Allocated 32 MB (total 462 MB)
Allocated 32 MB (total 494 MB)
GC: 213.44 MB
Allocated 32 MB (total 526 MB)
Allocated 32 MB (total 558 MB)
GC: 253.47 MB
Allocated 32 MB (total 590 MB)
GC: 293.26 MB
GC: 267.10 MB
GC: 265.90 MB
GC: 290.99 MB
Allocated 32 MB (total 622 MB)
GC: 315.70 MB
Allocated 32 MB (total 654 MB)
GC: 381.76 MB
GC: 295.45 MB
GC: 340.96 MB
GC: 360.67 MB
Allocated 32 MB (total 686 MB)
GC: 373.69 MB
Allocated 32 MB (total 718 MB)
GC: 436.62 MB
GC: 377.80 MB
GC: 397.03 MB
Allocated 32 MB (total 750 MB)
GC: 444.40 MB
Allocated 32 MB (total 782 MB)
GC: 497.68 MB
GC: 442.29 MB
GC: 452.90 MB
GC: 476.77 MB
Allocated 32 MB (total 814 MB)
Allocated 32 MB (total 846 MB)
GC: 547.41 MB
GC: 515.43 MB
GC: 539.77 MB
GC: 498.05 MB
GC: 558.12 MB
GC: 540.17 MB
# statistics in YAML format
---
runtime:
total: 899.65 # [s]
preprocessing: 0.99 # [s]
maxLearnedClauseLength: 28024
groundActions:
afterParsing: 2112
afterPreprocessing: 2112
stateVariables:
afterParsing: 1121
afterPreprocessing: 1121
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
...