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

This commit is contained in:
Potassco Bot 2018-02-16 18:52:02 +01:00
parent f2ba63be28
commit 76d462dc3d
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 124 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-88.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: 88
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': 88, '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-88.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.03 MEM 1193868 MAXMEM 1193868 STALE 0 MAXMEM_RSS 901144
<time name="ALL">900050</time>

View File

@ -0,0 +1,74 @@
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-88.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192 -F 160 -T 160
Domain: blocks
Problem: blocks-43-1
Parser: 3784 ground actions and 1979 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 25 26 2.00 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.52 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 162 MB)
Allocated 32 MB permanent (total 327 MB)
Horizon 160: 924059 variables
Allocated 32 MB (total 360 MB)
Allocated 32 MB (total 392 MB)
Allocated 32 MB (total 424 MB)
Allocated 32 MB (total 456 MB)
Allocated 32 MB (total 488 MB)
GC: 124.99 MB
Allocated 32 MB (total 520 MB)
Allocated 32 MB (total 552 MB)
Allocated 32 MB (total 584 MB)
Allocated 32 MB (total 616 MB)
GC: 244.42 MB
Allocated 32 MB (total 648 MB)
GC: 263.35 MB
Allocated 32 MB (total 680 MB)
Allocated 32 MB (total 712 MB)
GC: 322.79 MB
Allocated 32 MB (total 744 MB)
Allocated 32 MB (total 776 MB)
GC: 416.92 MB
GC: 396.03 MB
Allocated 32 MB (total 808 MB)
GC: 416.07 MB
Allocated 32 MB (total 840 MB)
GC: 442.08 MB
Allocated 32 MB (total 872 MB)
GC: 479.13 MB
Allocated 32 MB (total 904 MB)
GC: 497.36 MB
GC: 504.18 MB
Allocated 32 MB (total 936 MB)
Allocated 32 MB (total 968 MB)
GC: 539.40 MB
Allocated 32 MB (total 1000 MB)
GC: 563.39 MB
GC: 634.38 MB
GC: 510.32 MB
# statistics in YAML format
---
runtime:
total: 899.44 # [s]
preprocessing: 3.62 # [s]
maxLearnedClauseLength: 30072
groundActions:
afterParsing: 3784
afterPreprocessing: 3784
stateVariables:
afterParsing: 1979
afterPreprocessing: 1979
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
...