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

This commit is contained in:
Potassco Bot 2018-02-02 07:16:32 +01:00
parent e7acb40d93
commit 8506cbfd05
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-101.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: 101
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': 101}
# 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-101.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.07 MEM 6990312 MAXMEM 6990312 STALE 0 MAXMEM_RSS 3866776
<time name="ALL">900100</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-101.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-50-0
Parser: 5100 ground actions and 2651 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 5.90 secs
Goal: conjunctive
Simplified: 5100 ground actions and 2651 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.19 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 181 MB)
Horizon 0: 2651 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 41406 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 80161 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 118916 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 157671 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 196426 variables
25 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 802 MB)
Horizon 30: 235181 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 273936 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 312691 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1118 MB)
Horizon 45: 351446 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 390201 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1351 MB)
Horizon 55: 428956 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 467711 variables
Allocated 32 MB (total 1487 MB)
60 UNSAT (2 decisions 2 conflicts)
Allocated 32 MB permanent (total 1626 MB)
Horizon 65: 506466 variables
65 UNSAT (73 decisions 58 conflicts)
Allocated 32 MB permanent (total 1766 MB)
Horizon 70: 545221 variables
Horizon 75: 583976 variables
Allocated 32 MB permanent (total 2022 MB)
Horizon 80: 622731 variables
Allocated 32 MB permanent (total 2170 MB)
Horizon 85: 661486 variables
70 UNSAT (283 decisions 239 conflicts)
Allocated 32 MB permanent (total 2319 MB)
Horizon 90: 700241 variables
Allocated 32 MB permanent (total 2471 MB)
Horizon 95: 738996 variables
Allocated 32 MB permanent (total 2626 MB)
Horizon 100: 777751 variables
Allocated 32 MB permanent (total 2782 MB)
Horizon 105: 816506 variables
Allocated 32 MB permanent (total 2941 MB)
Horizon 110: 855261 variables
Allocated 32 MB permanent (total 3102 MB)
Horizon 115: 894016 variables
Allocated 32 MB permanent (total 3266 MB)
Horizon 120: 932771 variables
Allocated 32 MB (total 3298 MB)
Allocated 32 MB permanent (total 3464 MB)
Allocated 32 MB permanent (total 3496 MB)
Horizon 125: 971526 variables
Allocated 32 MB permanent (total 3664 MB)
Horizon 130: 1010281 variables
Allocated 32 MB permanent (total 3834 MB)
Horizon 135: 1049036 variables
Allocated 32 MB permanent (total 4007 MB)
Allocated 32 MB permanent (total 4039 MB)
Horizon 140: 1087791 variables
Allocated 32 MB (total 4071 MB)
Allocated 32 MB permanent (total 4246 MB)
Horizon 145: 1126546 variables
Allocated 32 MB permanent (total 4423 MB)
Allocated 32 MB permanent (total 4455 MB)
Horizon 150: 1165301 variables
Allocated 32 MB permanent (total 4635 MB)
Horizon 155: 1204056 variables
Allocated 32 MB permanent (total 4816 MB)
Allocated 32 MB permanent (total 4848 MB)
Horizon 160: 1242811 variables
Allocated 32 MB (total 4880 MB)
Allocated 32 MB permanent (total 5065 MB)
Horizon 165: 1281566 variables
Allocated 32 MB permanent (total 5251 MB)
Allocated 32 MB permanent (total 5283 MB)
Horizon 170: 1320321 variables
Allocated 32 MB (total 5315 MB)
Allocated 32 MB (total 5347 MB)
Allocated 32 MB (total 5379 MB)
Allocated 32 MB (total 5411 MB)
Allocated 32 MB (total 5443 MB)
GC: 322.16 MB
Allocated 32 MB (total 5475 MB)
Allocated 32 MB (total 5507 MB)
Allocated 32 MB (total 5539 MB)
Allocated 32 MB (total 5571 MB)
Allocated 32 MB (total 5603 MB)
75 UNSAT (4390 decisions 3366 conflicts)
Horizon 175: 1359076 variables
Allocated 32 MB (total 5792 MB)
Allocated 32 MB (total 5824 MB)
Allocated 32 MB (total 5856 MB)
Allocated 32 MB (total 5888 MB)
Allocated 32 MB (total 5920 MB)
GC: 549.65 MB
GC: 429.99 MB
Allocated 32 MB (total 5952 MB)
Allocated 32 MB (total 5984 MB)
Allocated 32 MB (total 6016 MB)
Allocated 32 MB (total 6048 MB)
Allocated 32 MB (total 6080 MB)
Allocated 32 MB (total 6112 MB)
Allocated 32 MB (total 6144 MB)
GC: 561.67 MB
GC: 612.63 MB
Allocated 32 MB (total 6176 MB)
GC: 608.11 MB
Allocated 32 MB (total 6208 MB)
Allocated 32 MB (total 6240 MB)
GC: 612.78 MB
Allocated 32 MB (total 6272 MB)
Allocated 32 MB (total 6304 MB)
Allocated 32 MB (total 6336 MB)
Allocated 32 MB (total 6368 MB)
GC: 699.36 MB
Allocated 32 MB (total 6400 MB)
Allocated 32 MB (total 6432 MB)
Allocated 32 MB (total 6464 MB)
GC: 698.90 MB
Allocated 32 MB (total 6496 MB)
Allocated 32 MB (total 6528 MB)
Allocated 32 MB (total 6560 MB)
Allocated 32 MB (total 6592 MB)
Allocated 32 MB (total 6624 MB)
Allocated 32 MB (total 6656 MB)
GC: 827.24 MB
Allocated 32 MB (total 6688 MB)
GC: 1123.44 MB
GC: 862.67 MB
GC: 982.02 MB
GC: 833.04 MB
GC: 805.72 MB
GC: 844.90 MB
Allocated 32 MB (total 6720 MB)
GC: 967.70 MB
GC: 952.12 MB
# statistics in YAML format
---
runtime:
total: 899.02 # [s]
preprocessing: 9.25 # [s]
maxLearnedClauseLength: 92615
groundActions:
afterParsing: 5100
afterPreprocessing: 5100
stateVariables:
afterParsing: 2651
afterPreprocessing: 2651
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 2651
- horizon: 5
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 41406
- horizon: 10
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 80161
- horizon: 15
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 118916
- horizon: 20
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 157671
- horizon: 25
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 196426
- horizon: 30
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 235181
- horizon: 35
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 273936
- horizon: 40
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 312691
- horizon: 45
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 351446
- horizon: 50
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 390201
- horizon: 55
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 428956
- horizon: 60
result: unsatisfiable
conflicts: 2
decisions: 2
variables: 467711
- horizon: 65
result: unsatisfiable
conflicts: 58
decisions: 73
variables: 506466
- horizon: 70
result: unsatisfiable
conflicts: 239
decisions: 283
variables: 545221
- horizon: 75
result: unsatisfiable
conflicts: 3366
decisions: 4390
variables: 583976
- horizon: 80
result: unknown
conflicts: 49220
decisions: 69946
variables: 622731
- horizon: 85
result: unknown
conflicts: 44379
decisions: 73881
variables: 661486
- horizon: 90
result: unknown
conflicts: 39906
decisions: 72894
variables: 700241
- horizon: 95
result: unknown
conflicts: 35884
decisions: 60634
variables: 738996
- horizon: 100
result: unknown
conflicts: 32271
decisions: 57148
variables: 777751
- horizon: 105
result: unknown
conflicts: 29116
decisions: 55794
variables: 816506
- horizon: 110
result: unknown
conflicts: 26194
decisions: 52674
variables: 855261
- horizon: 115
result: unknown
conflicts: 23535
decisions: 52456
variables: 894016
- horizon: 120
result: unknown
conflicts: 21170
decisions: 48687
variables: 932771
- horizon: 125
result: unknown
conflicts: 19080
decisions: 44365
variables: 971526
- horizon: 130
result: unknown
conflicts: 17207
decisions: 42331
variables: 1010281
- horizon: 135
result: unknown
conflicts: 15440
decisions: 38623
variables: 1049036
- horizon: 140
result: unknown
conflicts: 13869
decisions: 35642
variables: 1087791
- horizon: 145
result: unknown
conflicts: 12489
decisions: 31241
variables: 1126546
- horizon: 150
result: unknown
conflicts: 11283
decisions: 30022
variables: 1165301
- horizon: 155
result: unknown
conflicts: 10153
decisions: 27554
variables: 1204056
- horizon: 160
result: unknown
conflicts: 9124
decisions: 24248
variables: 1242811
- horizon: 165
result: unknown
conflicts: 8223
decisions: 22384
variables: 1281566
- horizon: 170
result: unknown
conflicts: 7381
decisions: 19594
variables: 1320321
- horizon: 175
result: unknown
conflicts: 6661
decisions: 18234
variables: 1359076
...