1
0
Fork 0

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

This commit is contained in:
Potassco Bot 2018-02-16 17:46:01 +01:00
parent 7711ce44f7
commit 1d3207d429
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 125 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-86.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
- -F 160
- -T 160
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: 86
ipc: ipc-2000
planLength: 160
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': 86, 'planLength': 160}
# 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-86.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp', '-F 160', '-T 160']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.06 MEM 1153076 MAXMEM 1153076 STALE 0 MAXMEM_RSS 858916
<time name="ALL">900080</time>

View File

@ -0,0 +1,75 @@
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-86.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192 -F 160 -T 160
Domain: blocks
Problem: blocks-42-1
Parser: 3612 ground actions and 1891 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 22 23 24 2.08 secs
Goal: conjunctive
Simplified: 3612 ground actions and 1891 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.35 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 160 MB)
Allocated 32 MB permanent (total 322 MB)
Horizon 160: 882371 variables
Allocated 32 MB (total 355 MB)
Allocated 32 MB (total 387 MB)
Allocated 32 MB (total 419 MB)
Allocated 32 MB (total 451 MB)
Allocated 32 MB (total 483 MB)
GC: 115.35 MB
Allocated 32 MB (total 515 MB)
Allocated 32 MB (total 547 MB)
Allocated 32 MB (total 579 MB)
Allocated 32 MB (total 611 MB)
GC: 224.17 MB
Allocated 32 MB (total 643 MB)
Allocated 32 MB (total 675 MB)
GC: 310.93 MB
GC: 288.78 MB
Allocated 32 MB (total 707 MB)
Allocated 32 MB (total 739 MB)
GC: 346.96 MB
Allocated 32 MB (total 771 MB)
GC: 414.32 MB
GC: 350.22 MB
Allocated 32 MB (total 803 MB)
GC: 415.84 MB
GC: 408.46 MB
GC: 425.49 MB
Allocated 32 MB (total 835 MB)
GC: 441.40 MB
Allocated 32 MB (total 867 MB)
GC: 474.52 MB
Allocated 32 MB (total 899 MB)
GC: 502.28 MB
GC: 512.11 MB
Allocated 32 MB (total 931 MB)
GC: 524.78 MB
Allocated 32 MB (total 963 MB)
GC: 597.29 MB
GC: 493.13 MB
# statistics in YAML format
---
runtime:
total: 899.64 # [s]
preprocessing: 3.53 # [s]
maxLearnedClauseLength: 34124
groundActions:
afterParsing: 3612
afterPreprocessing: 3612
stateVariables:
afterParsing: 1891
afterPreprocessing: 1891
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
...