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

This commit is contained in:
Potassco Bot 2018-02-02 02:34:47 +01:00
parent 32a2447f09
commit 6a8c2e91ef
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 431 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-91.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: 91
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': 91}
# 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-91.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.10 MEM 6843200 MAXMEM 6843200 STALE 0 MAXMEM_RSS 3235236
<time name="ALL">900130</time>

View File

@ -0,0 +1,385 @@
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-91.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-45-0
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 21 3.09 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.93 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 167 MB)
Horizon 0: 2161 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 33666 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 65171 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 96676 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 128181 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 159686 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 191191 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 867 MB)
Horizon 35: 222696 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 254201 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 285706 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1178 MB)
Horizon 50: 317211 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 348716 variables
55 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1406 MB)
Horizon 60: 380221 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 411726 variables
65 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1641 MB)
Horizon 70: 443231 variables
70 UNSAT (0 decisions 0 conflicts)
Horizon 75: 474736 variables
Allocated 32 MB (total 1778 MB)
75 UNSAT (3 decisions 3 conflicts)
Allocated 32 MB permanent (total 1916 MB)
Horizon 80: 506241 variables
80 UNSAT (41 decisions 39 conflicts)
Allocated 32 MB permanent (total 2056 MB)
Horizon 85: 537746 variables
Horizon 90: 569251 variables
85 UNSAT (110 decisions 98 conflicts)
Allocated 32 MB permanent (total 2310 MB)
Horizon 95: 600756 variables
Allocated 32 MB permanent (total 2456 MB)
Horizon 100: 632261 variables
90 UNSAT (194 decisions 142 conflicts)
Allocated 32 MB permanent (total 2603 MB)
Horizon 105: 663766 variables
Allocated 32 MB permanent (total 2753 MB)
Horizon 110: 695271 variables
95 UNSAT (272 decisions 205 conflicts)
Allocated 32 MB permanent (total 2904 MB)
Horizon 115: 726776 variables
100 UNSAT (521 decisions 237 conflicts)
Allocated 32 MB permanent (total 3057 MB)
Horizon 120: 758281 variables
Allocated 32 MB permanent (total 3212 MB)
Horizon 125: 789786 variables
Allocated 32 MB permanent (total 3369 MB)
Horizon 130: 821291 variables
Allocated 32 MB permanent (total 3528 MB)
Horizon 135: 852796 variables
Allocated 32 MB permanent (total 3689 MB)
Horizon 140: 884301 variables
Allocated 32 MB permanent (total 3851 MB)
Horizon 145: 915806 variables
Allocated 32 MB permanent (total 4016 MB)
Horizon 150: 947311 variables
Allocated 32 MB permanent (total 4182 MB)
Allocated 32 MB permanent (total 4214 MB)
Horizon 155: 978816 variables
Allocated 32 MB permanent (total 4382 MB)
Horizon 160: 1010321 variables
Allocated 32 MB permanent (total 4552 MB)
Horizon 165: 1041826 variables
Allocated 32 MB permanent (total 4724 MB)
Allocated 32 MB permanent (total 4756 MB)
Horizon 170: 1073331 variables
Allocated 32 MB permanent (total 4929 MB)
Horizon 175: 1104836 variables
Allocated 32 MB permanent (total 5105 MB)
Allocated 32 MB permanent (total 5137 MB)
Horizon 180: 1136341 variables
Allocated 32 MB permanent (total 5314 MB)
Horizon 185: 1167846 variables
Allocated 32 MB permanent (total 5493 MB)
Allocated 32 MB permanent (total 5525 MB)
Horizon 190: 1199351 variables
Allocated 32 MB permanent (total 5707 MB)
Horizon 195: 1230856 variables
Allocated 32 MB (total 5739 MB)
Allocated 32 MB permanent (total 5922 MB)
Allocated 32 MB permanent (total 5954 MB)
Horizon 200: 1262361 variables
Allocated 32 MB (total 5986 MB)
GC: 344.48 MB
Allocated 32 MB (total 6018 MB)
Allocated 32 MB (total 6050 MB)
Allocated 32 MB (total 6082 MB)
GC: 164.13 MB
Allocated 32 MB (total 6114 MB)
Allocated 32 MB (total 6146 MB)
Allocated 32 MB (total 6178 MB)
Allocated 32 MB (total 6210 MB)
Allocated 32 MB (total 6242 MB)
GC: 277.53 MB
105 UNSAT (16338 decisions 7475 conflicts)
Horizon 205: 1293866 variables
GC: 265.60 MB
GC: 171.26 MB
GC: 191.28 MB
GC: 202.54 MB
GC: 216.98 MB
GC: 224.81 MB
GC: 234.55 MB
GC: 235.04 MB
Allocated 32 MB (total 6426 MB)
GC: 266.45 MB
GC: 284.71 MB
Allocated 32 MB (total 6458 MB)
Allocated 32 MB (total 6490 MB)
GC: 310.86 MB
GC: 312.44 MB
GC: 280.91 MB
GC: 306.64 MB
Allocated 32 MB (total 6522 MB)
GC: 312.02 MB
Allocated 32 MB (total 6554 MB)
GC: 353.42 MB
Allocated 32 MB (total 6586 MB)
GC: 356.48 MB
GC: 367.42 MB
Allocated 32 MB (total 6618 MB)
Allocated 32 MB (total 6650 MB)
GC: 401.64 MB
GC: 403.11 MB
# statistics in YAML format
---
runtime:
total: 899.18 # [s]
preprocessing: 5.14 # [s]
maxLearnedClauseLength: 62908
groundActions:
afterParsing: 4140
afterPreprocessing: 4140
stateVariables:
afterParsing: 2161
afterPreprocessing: 2161
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 2161
- horizon: 5
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 33666
- horizon: 10
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 65171
- horizon: 15
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 96676
- horizon: 20
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 128181
- horizon: 25
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 159686
- horizon: 30
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 191191
- horizon: 35
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 222696
- horizon: 40
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 254201
- horizon: 45
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 285706
- horizon: 50
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 317211
- horizon: 55
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 348716
- horizon: 60
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 380221
- horizon: 65
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 411726
- horizon: 70
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 443231
- horizon: 75
result: unsatisfiable
conflicts: 3
decisions: 3
variables: 474736
- horizon: 80
result: unsatisfiable
conflicts: 39
decisions: 41
variables: 506241
- horizon: 85
result: unsatisfiable
conflicts: 98
decisions: 110
variables: 537746
- horizon: 90
result: unsatisfiable
conflicts: 142
decisions: 194
variables: 569251
- horizon: 95
result: unsatisfiable
conflicts: 205
decisions: 272
variables: 600756
- horizon: 100
result: unsatisfiable
conflicts: 237
decisions: 521
variables: 632261
- horizon: 105
result: unsatisfiable
conflicts: 7475
decisions: 16338
variables: 663766
- horizon: 110
result: unknown
conflicts: 67192
decisions: 151147
variables: 695271
- horizon: 115
result: unknown
conflicts: 60521
decisions: 134902
variables: 726776
- horizon: 120
result: unknown
conflicts: 54381
decisions: 115507
variables: 758281
- horizon: 125
result: unknown
conflicts: 48967
decisions: 96270
variables: 789786
- horizon: 130
result: unknown
conflicts: 44103
decisions: 90188
variables: 821291
- horizon: 135
result: unknown
conflicts: 39685
decisions: 86712
variables: 852796
- horizon: 140
result: unknown
conflicts: 35711
decisions: 80486
variables: 884301
- horizon: 145
result: unknown
conflicts: 32128
decisions: 73734
variables: 915806
- horizon: 150
result: unknown
conflicts: 28919
decisions: 70215
variables: 947311
- horizon: 155
result: unknown
conflicts: 26023
decisions: 64807
variables: 978816
- horizon: 160
result: unknown
conflicts: 23383
decisions: 63869
variables: 1010321
- horizon: 165
result: unknown
conflicts: 21050
decisions: 58375
variables: 1041826
- horizon: 170
result: unknown
conflicts: 18939
decisions: 54226
variables: 1073331
- horizon: 175
result: unknown
conflicts: 17072
decisions: 49475
variables: 1104836
- horizon: 180
result: unknown
conflicts: 15378
decisions: 44500
variables: 1136341
- horizon: 185
result: unknown
conflicts: 13821
decisions: 40673
variables: 1167846
- horizon: 190
result: unknown
conflicts: 12428
decisions: 36404
variables: 1199351
- horizon: 195
result: unknown
conflicts: 11222
decisions: 32220
variables: 1230856
- horizon: 200
result: unknown
conflicts: 10084
decisions: 29197
variables: 1262361
- horizon: 205
result: unknown
conflicts: 9060
decisions: 25077
variables: 1293866
...