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

This commit is contained in:
Potassco Bot 2018-02-02 04:16:11 +01:00
parent e0a34a7ce2
commit b95067b678
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 424 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-95.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: 95
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': 95}
# 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-95.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 7078032 MAXMEM 7078032 STALE 0 MAXMEM_RSS 3713780
<time name="ALL">900110</time>

View File

@ -0,0 +1,378 @@
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-95.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-47-0
Parser: 4512 ground actions and 2351 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 4.23 secs
Goal: conjunctive
Simplified: 4512 ground actions and 2351 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.37 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 173 MB)
Horizon 0: 2351 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 36666 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 70981 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 105296 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 139611 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 173926 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 208241 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 877 MB)
Horizon 35: 242556 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 276871 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 311186 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1194 MB)
Horizon 50: 345501 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 379816 variables
55 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1425 MB)
Horizon 60: 414131 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1560 MB)
Horizon 65: 448446 variables
65 UNSAT (0 decisions 0 conflicts)
Horizon 70: 482761 variables
Allocated 32 MB (total 1697 MB)
70 UNSAT (19 decisions 17 conflicts)
Allocated 32 MB permanent (total 1836 MB)
Horizon 75: 517076 variables
Allocated 32 MB permanent (total 1977 MB)
Horizon 80: 551391 variables
75 UNSAT (93 decisions 86 conflicts)
Horizon 85: 585706 variables
Allocated 32 MB permanent (total 2233 MB)
Horizon 90: 620021 variables
80 UNSAT (251 decisions 172 conflicts)
Allocated 32 MB permanent (total 2380 MB)
Horizon 95: 654336 variables
Allocated 32 MB permanent (total 2529 MB)
Horizon 100: 688651 variables
Allocated 32 MB permanent (total 2680 MB)
Horizon 105: 722966 variables
Allocated 32 MB permanent (total 2833 MB)
Horizon 110: 757281 variables
Allocated 32 MB permanent (total 2988 MB)
Horizon 115: 791596 variables
Allocated 32 MB permanent (total 3145 MB)
Horizon 120: 825911 variables
Allocated 32 MB permanent (total 3305 MB)
Horizon 125: 860226 variables
Allocated 32 MB permanent (total 3466 MB)
Horizon 130: 894541 variables
Allocated 32 MB permanent (total 3629 MB)
Horizon 135: 928856 variables
Allocated 32 MB permanent (total 3794 MB)
Horizon 140: 963171 variables
Allocated 32 MB permanent (total 3962 MB)
Allocated 32 MB permanent (total 3994 MB)
Horizon 145: 997486 variables
Allocated 32 MB (total 4026 MB)
Allocated 32 MB permanent (total 4195 MB)
Horizon 150: 1031801 variables
Allocated 32 MB permanent (total 4366 MB)
Horizon 155: 1066116 variables
Allocated 32 MB permanent (total 4540 MB)
Allocated 32 MB permanent (total 4572 MB)
Horizon 160: 1100431 variables
Allocated 32 MB permanent (total 4747 MB)
Horizon 165: 1134746 variables
Allocated 32 MB permanent (total 4925 MB)
Allocated 32 MB permanent (total 4957 MB)
Horizon 170: 1169061 variables
Allocated 32 MB permanent (total 5136 MB)
Horizon 175: 1203376 variables
Allocated 32 MB (total 5168 MB)
Allocated 32 MB permanent (total 5350 MB)
Allocated 32 MB permanent (total 5382 MB)
Horizon 180: 1237691 variables
85 UNSAT (1883 decisions 1223 conflicts)
Allocated 32 MB permanent (total 5565 MB)
Allocated 32 MB permanent (total 5597 MB)
Horizon 185: 1272006 variables
Allocated 32 MB (total 5629 MB)
Allocated 32 MB (total 5661 MB)
GC: 319.84 MB
Allocated 32 MB (total 5693 MB)
Allocated 32 MB (total 5725 MB)
Allocated 32 MB (total 5757 MB)
Allocated 32 MB (total 5789 MB)
Allocated 32 MB (total 5821 MB)
90 UNSAT (6051 decisions 3846 conflicts)
Allocated 32 MB (total 5853 MB)
Horizon 190: 1306321 variables
Allocated 32 MB (total 6039 MB)
GC: 310.71 MB
GC: 179.30 MB
Allocated 32 MB (total 6071 MB)
GC: 317.03 MB
GC: 271.07 MB
GC: 284.32 MB
Allocated 32 MB (total 6103 MB)
Allocated 32 MB (total 6135 MB)
GC: 329.75 MB
Allocated 32 MB (total 6167 MB)
Allocated 32 MB (total 6199 MB)
GC: 380.53 MB
Allocated 32 MB (total 6231 MB)
Allocated 32 MB (total 6263 MB)
GC: 414.85 MB
Allocated 32 MB (total 6295 MB)
Allocated 32 MB (total 6327 MB)
Allocated 32 MB (total 6359 MB)
Allocated 32 MB (total 6391 MB)
Allocated 32 MB (total 6423 MB)
GC: 538.11 MB
GC: 518.02 MB
GC: 504.33 MB
GC: 443.85 MB
Allocated 32 MB (total 6455 MB)
Allocated 32 MB (total 6487 MB)
Allocated 32 MB (total 6519 MB)
Allocated 32 MB (total 6551 MB)
Allocated 32 MB (total 6583 MB)
GC: 599.40 MB
Allocated 32 MB (total 6615 MB)
Allocated 32 MB (total 6647 MB)
Allocated 32 MB (total 6679 MB)
GC: 687.47 MB
GC: 672.64 MB
Allocated 32 MB (total 6711 MB)
GC: 689.89 MB
GC: 665.13 MB
Allocated 32 MB (total 6743 MB)
Allocated 32 MB (total 6775 MB)
Allocated 32 MB (total 6807 MB)
Allocated 32 MB (total 6839 MB)
GC: 1075.26 MB
GC: 628.51 MB
GC: 454.83 MB
# statistics in YAML format
---
runtime:
total: 898.50 # [s]
preprocessing: 6.74 # [s]
maxLearnedClauseLength: 96949
groundActions:
afterParsing: 4512
afterPreprocessing: 4512
stateVariables:
afterParsing: 2351
afterPreprocessing: 2351
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 2351
- horizon: 5
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 36666
- horizon: 10
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 70981
- horizon: 15
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 105296
- horizon: 20
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 139611
- horizon: 25
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 173926
- horizon: 30
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 208241
- horizon: 35
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 242556
- horizon: 40
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 276871
- horizon: 45
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 311186
- horizon: 50
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 345501
- horizon: 55
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 379816
- horizon: 60
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 414131
- horizon: 65
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 448446
- horizon: 70
result: unsatisfiable
conflicts: 17
decisions: 19
variables: 482761
- horizon: 75
result: unsatisfiable
conflicts: 86
decisions: 93
variables: 517076
- horizon: 80
result: unsatisfiable
conflicts: 172
decisions: 251
variables: 551391
- horizon: 85
result: unsatisfiable
conflicts: 1223
decisions: 1883
variables: 585706
- horizon: 90
result: unsatisfiable
conflicts: 3846
decisions: 6051
variables: 620021
- horizon: 95
result: unknown
conflicts: 61305
decisions: 96800
variables: 654336
- horizon: 100
result: unknown
conflicts: 55205
decisions: 94111
variables: 688651
- horizon: 105
result: unknown
conflicts: 49734
decisions: 99890
variables: 722966
- horizon: 110
result: unknown
conflicts: 44808
decisions: 111201
variables: 757281
- horizon: 115
result: unknown
conflicts: 40282
decisions: 94792
variables: 791596
- horizon: 120
result: unknown
conflicts: 36235
decisions: 84529
variables: 825911
- horizon: 125
result: unknown
conflicts: 32645
decisions: 75430
variables: 860226
- horizon: 130
result: unknown
conflicts: 29338
decisions: 67541
variables: 894541
- horizon: 135
result: unknown
conflicts: 26342
decisions: 60004
variables: 928856
- horizon: 140
result: unknown
conflicts: 23768
decisions: 55904
variables: 963171
- horizon: 145
result: unknown
conflicts: 21340
decisions: 52620
variables: 997486
- horizon: 150
result: unknown
conflicts: 19224
decisions: 49180
variables: 1031801
- horizon: 155
result: unknown
conflicts: 17299
decisions: 44357
variables: 1066116
- horizon: 160
result: unknown
conflicts: 15550
decisions: 41075
variables: 1100431
- horizon: 165
result: unknown
conflicts: 13989
decisions: 35713
variables: 1134746
- horizon: 170
result: unknown
conflicts: 12609
decisions: 32989
variables: 1169061
- horizon: 175
result: unknown
conflicts: 11342
decisions: 29254
variables: 1203376
- horizon: 180
result: unknown
conflicts: 10202
decisions: 27856
variables: 1237691
- horizon: 185
result: unknown
conflicts: 9181
decisions: 24696
variables: 1272006
- horizon: 190
result: unknown
conflicts: 8281
decisions: 23171
variables: 1306321
...