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

This commit is contained in:
Potassco Bot 2018-02-16 23:21:22 +01:00
parent 80997933ce
commit 72ea7e9eb7
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 122 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-92.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
- -F 170
- -T 170
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: 92
ipc: ipc-2000
planLength: 170
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': 92, 'planLength': 170}
# 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-92.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp', '-F 170', '-T 170']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.09 MEM 1216896 MAXMEM 1216896 STALE 0 MAXMEM_RSS 929976
<time name="ALL">900110</time>

View File

@ -0,0 +1,72 @@
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-92.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192 -F 170 -T 170
Domain: blocks
Problem: blocks-45-1
Parser: 4140 ground actions and 2161 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2.67 secs
Goal: conjunctive
Simplified: 4140 ground actions and 2161 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.91 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 167 MB)
Allocated 32 MB permanent (total 341 MB)
Horizon 170: 1073331 variables
Allocated 32 MB (total 375 MB)
Allocated 32 MB (total 407 MB)
Allocated 32 MB (total 439 MB)
Allocated 32 MB (total 471 MB)
Allocated 32 MB (total 503 MB)
Allocated 32 MB (total 535 MB)
GC: 139.04 MB
Allocated 32 MB (total 567 MB)
Allocated 32 MB (total 599 MB)
Allocated 32 MB (total 631 MB)
Allocated 32 MB (total 663 MB)
GC: 249.28 MB
Allocated 32 MB (total 695 MB)
Allocated 32 MB (total 727 MB)
Allocated 32 MB (total 759 MB)
GC: 336.09 MB
Allocated 32 MB (total 791 MB)
Allocated 32 MB (total 823 MB)
GC: 427.96 MB
GC: 375.65 MB
Allocated 32 MB (total 855 MB)
Allocated 32 MB (total 887 MB)
GC: 446.51 MB
GC: 452.23 MB
Allocated 32 MB (total 919 MB)
GC: 464.13 MB
Allocated 32 MB (total 951 MB)
GC: 566.98 MB
GC: 470.81 MB
Allocated 32 MB (total 983 MB)
GC: 562.46 MB
GC: 562.47 MB
Allocated 32 MB (total 1015 MB)
GC: 569.20 MB
# statistics in YAML format
---
runtime:
total: 899.56 # [s]
preprocessing: 4.69 # [s]
maxLearnedClauseLength: 52472
groundActions:
afterParsing: 4140
afterPreprocessing: 4140
stateVariables:
afterParsing: 2161
afterPreprocessing: 2161
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
...