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

This commit is contained in:
Potassco Bot 2018-02-15 18:49:53 +01:00
parent a5ea45690d
commit 895363bac4
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 130 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-70.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: 70
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': 70, '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-70.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.09 MEM 1151572 MAXMEM 1151572 STALE 0 MAXMEM_RSS 856024
<time name="ALL">900110</time>

View File

@ -0,0 +1,80 @@
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-70.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192 -F 130 -T 130
Domain: blocks
Problem: blocks-34-1
Parser: 2380 ground actions and 1259 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 0.93 secs
Goal: conjunctive
Simplified: 2380 ground actions and 1259 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.49 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 144 MB)
Horizon 130: 474329 variables
Allocated 32 MB (total 282 MB)
Allocated 32 MB (total 314 MB)
Allocated 32 MB (total 346 MB)
Allocated 32 MB (total 378 MB)
Allocated 32 MB (total 410 MB)
GC: 103.20 MB
Allocated 32 MB (total 442 MB)
Allocated 32 MB (total 474 MB)
Allocated 32 MB (total 506 MB)
Allocated 32 MB (total 538 MB)
GC: 213.50 MB
Allocated 32 MB (total 570 MB)
GC: 278.34 MB
Allocated 32 MB (total 602 MB)
GC: 269.41 MB
Allocated 32 MB (total 634 MB)
Allocated 32 MB (total 666 MB)
GC: 335.79 MB
GC: 322.88 MB
Allocated 32 MB (total 698 MB)
Allocated 32 MB (total 730 MB)
GC: 371.65 MB
GC: 435.37 MB
GC: 363.03 MB
Allocated 32 MB (total 762 MB)
GC: 425.41 MB
GC: 419.65 MB
Allocated 32 MB (total 794 MB)
GC: 438.10 MB
Allocated 32 MB (total 826 MB)
GC: 505.78 MB
GC: 419.44 MB
GC: 504.93 MB
GC: 500.33 MB
Allocated 32 MB (total 858 MB)
Allocated 32 MB (total 890 MB)
GC: 553.33 MB
GC: 546.25 MB
Allocated 32 MB (total 922 MB)
Allocated 32 MB (total 954 MB)
GC: 619.67 MB
GC: 606.25 MB
Allocated 32 MB (total 986 MB)
# statistics in YAML format
---
runtime:
total: 899.57 # [s]
preprocessing: 1.47 # [s]
maxLearnedClauseLength: 23529
groundActions:
afterParsing: 2380
afterPreprocessing: 2380
stateVariables:
afterParsing: 1259
afterPreprocessing: 1259
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
...