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

This commit is contained in:
Potassco Bot 2018-02-02 00:45:43 +01:00
parent d29d9637fd
commit d41ae5bd98
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 405 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-87.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: 87
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': 87}
# 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-87.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.09 MEM 6160984 MAXMEM 6160984 STALE 0 MAXMEM_RSS 2904972
<time name="ALL">900120</time>

View File

@ -0,0 +1,359 @@
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-87.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-43-0
Parser: 3784 ground actions and 1979 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 3.02 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.55 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 162 MB)
Horizon 0: 1979 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 30794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 59609 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 88424 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 117239 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 146054 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 174869 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 857 MB)
Horizon 35: 203684 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 232499 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 261314 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1164 MB)
Horizon 50: 290129 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 318944 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 347759 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1487 MB)
Horizon 65: 376574 variables
Allocated 32 MB (total 1519 MB)
65 UNSAT (17 decisions 17 conflicts)
Horizon 70: 405389 variables
Allocated 32 MB permanent (total 1753 MB)
Horizon 75: 434204 variables
70 UNSAT (78 decisions 72 conflicts)
Allocated 32 MB permanent (total 1889 MB)
Horizon 80: 463019 variables
Horizon 85: 491834 variables
Allocated 32 MB permanent (total 2133 MB)
Horizon 90: 520649 variables
75 UNSAT (231 decisions 192 conflicts)
Allocated 32 MB permanent (total 2274 MB)
Horizon 95: 549464 variables
80 UNSAT (342 decisions 237 conflicts)
Horizon 100: 578279 variables
Allocated 32 MB permanent (total 2529 MB)
Horizon 105: 607094 variables
Allocated 32 MB permanent (total 2675 MB)
Horizon 110: 635909 variables
Allocated 32 MB permanent (total 2823 MB)
Horizon 115: 664724 variables
Allocated 32 MB permanent (total 2972 MB)
Horizon 120: 693539 variables
Allocated 32 MB permanent (total 3123 MB)
Horizon 125: 722354 variables
Allocated 32 MB permanent (total 3276 MB)
Horizon 130: 751169 variables
Allocated 32 MB permanent (total 3430 MB)
Horizon 135: 779984 variables
Allocated 32 MB permanent (total 3586 MB)
Horizon 140: 808799 variables
Allocated 32 MB permanent (total 3744 MB)
Horizon 145: 837614 variables
Allocated 32 MB permanent (total 3904 MB)
Horizon 150: 866429 variables
Allocated 32 MB permanent (total 4065 MB)
Horizon 155: 895244 variables
Allocated 32 MB permanent (total 4228 MB)
Horizon 160: 924059 variables
Allocated 32 MB permanent (total 4393 MB)
Horizon 165: 952874 variables
Allocated 32 MB permanent (total 4559 MB)
Allocated 32 MB permanent (total 4591 MB)
Horizon 170: 981689 variables
Allocated 32 MB permanent (total 4759 MB)
Horizon 175: 1010504 variables
Allocated 32 MB permanent (total 4929 MB)
Horizon 180: 1039319 variables
Allocated 32 MB (total 4961 MB)
Allocated 32 MB (total 4993 MB)
GC: 238.39 MB
Allocated 32 MB (total 5025 MB)
Allocated 32 MB (total 5057 MB)
Allocated 32 MB (total 5089 MB)
Allocated 32 MB (total 5121 MB)
Allocated 32 MB (total 5153 MB)
GC: 192.31 MB
Allocated 32 MB (total 5185 MB)
Allocated 32 MB (total 5217 MB)
GC: 243.90 MB
Allocated 32 MB (total 5249 MB)
Allocated 32 MB (total 5281 MB)
Allocated 32 MB (total 5313 MB)
GC: 289.71 MB
Allocated 32 MB (total 5345 MB)
Allocated 32 MB (total 5377 MB)
GC: 315.79 MB
Allocated 32 MB (total 5409 MB)
Allocated 32 MB (total 5441 MB)
Allocated 32 MB (total 5473 MB)
GC: 350.16 MB
Allocated 32 MB (total 5505 MB)
Allocated 32 MB (total 5537 MB)
Allocated 32 MB (total 5569 MB)
GC: 405.27 MB
Allocated 32 MB (total 5601 MB)
Allocated 32 MB (total 5633 MB)
GC: 558.25 MB
GC: 349.41 MB
GC: 397.88 MB
Allocated 32 MB (total 5665 MB)
Allocated 32 MB (total 5697 MB)
GC: 603.36 MB
GC: 474.51 MB
GC: 515.43 MB
Allocated 32 MB (total 5729 MB)
Allocated 32 MB (total 5761 MB)
Allocated 32 MB (total 5793 MB)
GC: 659.40 MB
85 UNSAT (60260 decisions 38942 conflicts)
Horizon 185: 1068134 variables
GC: 808.82 MB
GC: 302.31 MB
GC: 322.83 MB
GC: 332.85 MB
GC: 364.22 MB
GC: 379.02 MB
GC: 387.67 MB
GC: 403.38 MB
GC: 409.54 MB
GC: 430.06 MB
GC: 450.91 MB
# statistics in YAML format
---
runtime:
total: 899.16 # [s]
preprocessing: 4.67 # [s]
maxLearnedClauseLength: 69635
groundActions:
afterParsing: 3784
afterPreprocessing: 3784
stateVariables:
afterParsing: 1979
afterPreprocessing: 1979
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 1979
- horizon: 5
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 30794
- horizon: 10
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 59609
- horizon: 15
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 88424
- horizon: 20
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 117239
- horizon: 25
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 146054
- horizon: 30
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 174869
- horizon: 35
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 203684
- horizon: 40
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 232499
- horizon: 45
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 261314
- horizon: 50
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 290129
- horizon: 55
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 318944
- horizon: 60
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 347759
- horizon: 65
result: unsatisfiable
conflicts: 17
decisions: 17
variables: 376574
- horizon: 70
result: unsatisfiable
conflicts: 72
decisions: 78
variables: 405389
- horizon: 75
result: unsatisfiable
conflicts: 192
decisions: 231
variables: 434204
- horizon: 80
result: unsatisfiable
conflicts: 237
decisions: 342
variables: 463019
- horizon: 85
result: unsatisfiable
conflicts: 38942
decisions: 60260
variables: 491834
- horizon: 90
result: unknown
conflicts: 69190
decisions: 168538
variables: 520649
- horizon: 95
result: unknown
conflicts: 62237
decisions: 125941
variables: 549464
- horizon: 100
result: unknown
conflicts: 56138
decisions: 108859
variables: 578279
- horizon: 105
result: unknown
conflicts: 50430
decisions: 102446
variables: 607094
- horizon: 110
result: unknown
conflicts: 45448
decisions: 93154
variables: 635909
- horizon: 115
result: unknown
conflicts: 40840
decisions: 87056
variables: 664724
- horizon: 120
result: unknown
conflicts: 36793
decisions: 79866
variables: 693539
- horizon: 125
result: unknown
conflicts: 33126
decisions: 76560
variables: 722354
- horizon: 130
result: unknown
conflicts: 29837
decisions: 74273
variables: 751169
- horizon: 135
result: unknown
conflicts: 26809
decisions: 71636
variables: 779984
- horizon: 140
result: unknown
conflicts: 24157
decisions: 68287
variables: 808799
- horizon: 145
result: unknown
conflicts: 21739
decisions: 63436
variables: 837614
- horizon: 150
result: unknown
conflicts: 19558
decisions: 58775
variables: 866429
- horizon: 155
result: unknown
conflicts: 17621
decisions: 54051
variables: 895244
- horizon: 160
result: unknown
conflicts: 15812
decisions: 48269
variables: 924059
- horizon: 165
result: unknown
conflicts: 14235
decisions: 44552
variables: 952874
- horizon: 170
result: unknown
conflicts: 12847
decisions: 39629
variables: 981689
- horizon: 175
result: unknown
conflicts: 11528
decisions: 36787
variables: 1010504
- horizon: 180
result: unknown
conflicts: 10391
decisions: 33452
variables: 1039319
- horizon: 185
result: unknown
conflicts: 9368
decisions: 30992
variables: 1068134
...