Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 99]

This commit is contained in:
Potassco Bot 2018-02-02 06:15:40 +01:00
parent ee98849013
commit dea7f1c033
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 416 additions and 0 deletions

View File

@ -0,0 +1,38 @@
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-99.pddl
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
configuration:
id: m-mp
instanceSets:
- rintanen-aij-2012-interesting
options:
- --stats
- --stats-iter
- --verbose
- --print-call
- -m 8192
- --madagascar-Mp
exitCode: 0
instance:
domain: blocks-strips-typed
instance: 99
ipc: ipc-2000
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', 'options': ['--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp'], 'instanceSets': ['rintanen-aij-2012-interesting']}
# instance: {'ipc': 'ipc-2000', 'domain': 'blocks-strips-typed', 'instance': 99}
# 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-99.pddl', '--stats', '--stats-iter', '--verbose', '--print-call', '-m 8192', '--madagascar-Mp']
# working directory: /home/pluehne/Documents/ASP/plasp-javier/encodings/planner
# exit code: 0
TIMEOUT CPU 900.04 MEM 6943600 MAXMEM 6943600 STALE 0 MAXMEM_RSS 3484296
<time name="ALL">900060</time>

View File

@ -0,0 +1,370 @@
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-99.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-49-0
Parser: 4900 ground actions and 2549 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 5.51 secs
Goal: conjunctive
Simplified: 4900 ground actions and 2549 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.93 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 178 MB)
Horizon 0: 2549 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 39794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 77039 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 114284 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 151529 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 188774 variables
25 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 796 MB)
Horizon 30: 226019 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 263264 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 300509 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1111 MB)
Horizon 45: 337754 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 374999 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1342 MB)
Horizon 55: 412244 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 449489 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1582 MB)
Horizon 65: 486734 variables
65 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1721 MB)
Horizon 70: 523979 variables
Allocated 32 MB (total 1753 MB)
70 UNSAT (19 decisions 18 conflicts)
Horizon 75: 561224 variables
Allocated 32 MB permanent (total 2007 MB)
Horizon 80: 598469 variables
75 UNSAT (83 decisions 63 conflicts)
Allocated 32 MB permanent (total 2153 MB)
Horizon 85: 635714 variables
Allocated 32 MB permanent (total 2301 MB)
Horizon 90: 672959 variables
80 UNSAT (180 decisions 162 conflicts)
Allocated 32 MB permanent (total 2451 MB)
Horizon 95: 710204 variables
Allocated 32 MB permanent (total 2604 MB)
Horizon 100: 747449 variables
Allocated 32 MB permanent (total 2758 MB)
Horizon 105: 784694 variables
Allocated 32 MB permanent (total 2915 MB)
Horizon 110: 821939 variables
Allocated 32 MB permanent (total 3074 MB)
Horizon 115: 859184 variables
Allocated 32 MB permanent (total 3236 MB)
Horizon 120: 896429 variables
Allocated 32 MB permanent (total 3399 MB)
Horizon 125: 933674 variables
85 UNSAT (741 decisions 536 conflicts)
Allocated 32 MB permanent (total 3565 MB)
Horizon 130: 970919 variables
Allocated 32 MB permanent (total 3733 MB)
Allocated 32 MB permanent (total 3765 MB)
Horizon 135: 1008164 variables
Allocated 32 MB permanent (total 3935 MB)
Horizon 140: 1045409 variables
Allocated 32 MB permanent (total 4108 MB)
Horizon 145: 1082654 variables
Allocated 32 MB permanent (total 4282 MB)
Allocated 32 MB permanent (total 4314 MB)
Horizon 150: 1119899 variables
Allocated 32 MB permanent (total 4491 MB)
Horizon 155: 1157144 variables
Allocated 32 MB permanent (total 4670 MB)
Allocated 32 MB permanent (total 4702 MB)
Horizon 160: 1194389 variables
Allocated 32 MB (total 4734 MB)
Allocated 32 MB permanent (total 4915 MB)
Horizon 165: 1231634 variables
Allocated 32 MB permanent (total 5098 MB)
Allocated 32 MB permanent (total 5130 MB)
Horizon 170: 1268879 variables
Allocated 32 MB permanent (total 5316 MB)
Allocated 32 MB permanent (total 5348 MB)
Horizon 175: 1306124 variables
Allocated 32 MB permanent (total 5536 MB)
Horizon 180: 1343369 variables
Allocated 32 MB permanent (total 5726 MB)
Allocated 32 MB permanent (total 5758 MB)
Horizon 185: 1380614 variables
Allocated 32 MB (total 5790 MB)
90 UNSAT (2442 decisions 1674 conflicts)
Allocated 32 MB permanent (total 5982 MB)
Allocated 32 MB permanent (total 6014 MB)
Horizon 190: 1417859 variables
Allocated 32 MB (total 6046 MB)
GC: 347.10 MB
Allocated 32 MB (total 6078 MB)
Allocated 32 MB (total 6110 MB)
Allocated 32 MB (total 6142 MB)
Allocated 32 MB (total 6174 MB)
Allocated 32 MB (total 6206 MB)
GC: 195.89 MB
Allocated 32 MB (total 6238 MB)
Allocated 32 MB (total 6270 MB)
Allocated 32 MB (total 6302 MB)
GC: 241.44 MB
Allocated 32 MB (total 6334 MB)
Allocated 32 MB (total 6366 MB)
Allocated 32 MB (total 6398 MB)
Allocated 32 MB (total 6430 MB)
GC: 295.54 MB
Allocated 32 MB (total 6462 MB)
Allocated 32 MB (total 6494 MB)
95 UNSAT (16356 decisions 10838 conflicts)
Horizon 195: 1455104 variables
Allocated 32 MB (total 6688 MB)
Allocated 32 MB (total 6720 MB)
GC: 504.19 MB
GC: 350.36 MB
GC: 509.51 MB
GC: 405.56 MB
GC: 381.85 MB
GC: 318.29 MB
GC: 480.88 MB
GC: 358.04 MB
GC: 343.55 MB
GC: 387.26 MB
GC: 390.74 MB
GC: 382.43 MB
GC: 393.18 MB
GC: 442.14 MB
GC: 387.62 MB
# statistics in YAML format
---
runtime:
total: 899.13 # [s]
preprocessing: 8.60 # [s]
maxLearnedClauseLength: 81500
groundActions:
afterParsing: 4900
afterPreprocessing: 4900
stateVariables:
afterParsing: 2549
afterPreprocessing: 2549
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 2549
- horizon: 5
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 39794
- horizon: 10
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 77039
- horizon: 15
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 114284
- horizon: 20
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 151529
- horizon: 25
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 188774
- horizon: 30
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 226019
- horizon: 35
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 263264
- horizon: 40
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 300509
- horizon: 45
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 337754
- horizon: 50
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 374999
- horizon: 55
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 412244
- horizon: 60
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 449489
- horizon: 65
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 486734
- horizon: 70
result: unsatisfiable
conflicts: 18
decisions: 19
variables: 523979
- horizon: 75
result: unsatisfiable
conflicts: 63
decisions: 83
variables: 561224
- horizon: 80
result: unsatisfiable
conflicts: 162
decisions: 180
variables: 598469
- horizon: 85
result: unsatisfiable
conflicts: 536
decisions: 741
variables: 635714
- horizon: 90
result: unsatisfiable
conflicts: 1674
decisions: 2442
variables: 672959
- horizon: 95
result: unsatisfiable
conflicts: 10838
decisions: 16356
variables: 710204
- horizon: 100
result: unknown
conflicts: 53306
decisions: 87439
variables: 747449
- horizon: 105
result: unknown
conflicts: 48033
decisions: 85899
variables: 784694
- horizon: 110
result: unknown
conflicts: 43255
decisions: 81018
variables: 821939
- horizon: 115
result: unknown
conflicts: 38952
decisions: 77637
variables: 859184
- horizon: 120
result: unknown
conflicts: 35124
decisions: 99018
variables: 896429
- horizon: 125
result: unknown
conflicts: 31600
decisions: 86642
variables: 933674
- horizon: 130
result: unknown
conflicts: 28423
decisions: 75218
variables: 970919
- horizon: 135
result: unknown
conflicts: 25534
decisions: 63509
variables: 1008164
- horizon: 140
result: unknown
conflicts: 23024
decisions: 57346
variables: 1045409
- horizon: 145
result: unknown
conflicts: 20722
decisions: 51191
variables: 1082654
- horizon: 150
result: unknown
conflicts: 18651
decisions: 48620
variables: 1119899
- horizon: 155
result: unknown
conflicts: 16789
decisions: 44513
variables: 1157144
- horizon: 160
result: unknown
conflicts: 15092
decisions: 41377
variables: 1194389
- horizon: 165
result: unknown
conflicts: 13574
decisions: 36534
variables: 1231634
- horizon: 170
result: unknown
conflicts: 12190
decisions: 34214
variables: 1268879
- horizon: 175
result: unknown
conflicts: 10986
decisions: 30126
variables: 1306124
- horizon: 180
result: unknown
conflicts: 9906
decisions: 27396
variables: 1343369
- horizon: 185
result: unknown
conflicts: 8899
decisions: 24192
variables: 1380614
- horizon: 190
result: unknown
conflicts: 8043
decisions: 21915
variables: 1417859
- horizon: 195
result: unknown
conflicts: 7202
decisions: 20400
variables: 1455104
...