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

This commit is contained in:
Potassco Bot 2018-02-02 06:46:07 +01:00
parent ef09e99aca
commit 0a1b1b68ae
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 404 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-100.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: 100
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': 100}
# 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-100.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.12 MEM 6668952 MAXMEM 6668952 STALE 0 MAXMEM_RSS 3377236
<time name="ALL">900150</time>

View File

@ -0,0 +1,358 @@
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-100.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-49-1
Parser: 4900 ground actions and 2549 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 4.06 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.94 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
Allocated 32 MB (total 1614 MB)
65 UNSAT (1 decisions 1 conflicts)
Allocated 32 MB permanent (total 1753 MB)
Horizon 70: 523979 variables
70 UNSAT (44 decisions 37 conflicts)
Horizon 75: 561224 variables
Allocated 32 MB permanent (total 2007 MB)
Horizon 80: 598469 variables
Allocated 32 MB permanent (total 2153 MB)
Horizon 85: 635714 variables
Allocated 32 MB permanent (total 2301 MB)
Horizon 90: 672959 variables
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
75 UNSAT (585 decisions 412 conflicts)
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
Allocated 32 MB permanent (total 3565 MB)
Horizon 130: 970919 variables
Allocated 32 MB (total 3597 MB)
Allocated 32 MB permanent (total 3765 MB)
Allocated 32 MB permanent (total 3797 MB)
Horizon 135: 1008164 variables
Allocated 32 MB permanent (total 3967 MB)
Horizon 140: 1045409 variables
Allocated 32 MB permanent (total 4140 MB)
Horizon 145: 1082654 variables
Allocated 32 MB permanent (total 4314 MB)
Allocated 32 MB permanent (total 4346 MB)
Horizon 150: 1119899 variables
Allocated 32 MB permanent (total 4523 MB)
Horizon 155: 1157144 variables
Allocated 32 MB permanent (total 4702 MB)
Allocated 32 MB permanent (total 4734 MB)
Horizon 160: 1194389 variables
Allocated 32 MB (total 4766 MB)
Allocated 32 MB permanent (total 4947 MB)
Horizon 165: 1231634 variables
Allocated 32 MB permanent (total 5130 MB)
Allocated 32 MB permanent (total 5162 MB)
Horizon 170: 1268879 variables
Allocated 32 MB permanent (total 5348 MB)
Allocated 32 MB permanent (total 5380 MB)
Horizon 175: 1306124 variables
Allocated 32 MB (total 5412 MB)
Allocated 32 MB (total 5444 MB)
Allocated 32 MB (total 5476 MB)
80 UNSAT (3037 decisions 2041 conflicts)
Allocated 32 MB permanent (total 5664 MB)
Horizon 180: 1343369 variables
GC: 354.35 MB
Allocated 32 MB (total 5696 MB)
Allocated 32 MB (total 5728 MB)
Allocated 32 MB (total 5760 MB)
Allocated 32 MB (total 5792 MB)
GC: 212.73 MB
Allocated 32 MB (total 5824 MB)
Allocated 32 MB (total 5856 MB)
GC: 230.21 MB
Allocated 32 MB (total 5888 MB)
Allocated 32 MB (total 5920 MB)
Allocated 32 MB (total 5952 MB)
Allocated 32 MB (total 5984 MB)
GC: 363.88 MB
GC: 304.37 MB
Allocated 32 MB (total 6016 MB)
Allocated 32 MB (total 6048 MB)
Allocated 32 MB (total 6080 MB)
GC: 361.37 MB
Allocated 32 MB (total 6112 MB)
Allocated 32 MB (total 6144 MB)
Allocated 32 MB (total 6176 MB)
GC: 399.56 MB
Allocated 32 MB (total 6208 MB)
Allocated 32 MB (total 6240 MB)
Allocated 32 MB (total 6272 MB)
GC: 647.72 MB
GC: 431.42 MB
85 UNSAT (31710 decisions 21903 conflicts)
Horizon 185: 1380614 variables
GC: 446.05 MB
GC: 350.45 MB
GC: 408.22 MB
GC: 415.02 MB
GC: 507.53 MB
GC: 593.10 MB
GC: 474.46 MB
GC: 461.28 MB
GC: 483.05 MB
GC: 457.09 MB
GC: 511.12 MB
# statistics in YAML format
---
runtime:
total: 899.12 # [s]
preprocessing: 7.17 # [s]
maxLearnedClauseLength: 66896
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: 1
decisions: 1
variables: 486734
- horizon: 70
result: unsatisfiable
conflicts: 37
decisions: 44
variables: 523979
- horizon: 75
result: unsatisfiable
conflicts: 412
decisions: 585
variables: 561224
- horizon: 80
result: unsatisfiable
conflicts: 2041
decisions: 3037
variables: 598469
- horizon: 85
result: unsatisfiable
conflicts: 21903
decisions: 31710
variables: 635714
- horizon: 90
result: unknown
conflicts: 55867
decisions: 89431
variables: 672959
- horizon: 95
result: unknown
conflicts: 50364
decisions: 90860
variables: 710204
- horizon: 100
result: unknown
conflicts: 45269
decisions: 90407
variables: 747449
- horizon: 105
result: unknown
conflicts: 40887
decisions: 74395
variables: 784694
- horizon: 110
result: unknown
conflicts: 36684
decisions: 73857
variables: 821939
- horizon: 115
result: unknown
conflicts: 32993
decisions: 68947
variables: 859184
- horizon: 120
result: unknown
conflicts: 29729
decisions: 71761
variables: 896429
- horizon: 125
result: unknown
conflicts: 26690
decisions: 62380
variables: 933674
- horizon: 130
result: unknown
conflicts: 24057
decisions: 57102
variables: 970919
- horizon: 135
result: unknown
conflicts: 21634
decisions: 52043
variables: 1008164
- horizon: 140
result: unknown
conflicts: 19448
decisions: 45810
variables: 1045409
- horizon: 145
result: unknown
conflicts: 17529
decisions: 43430
variables: 1082654
- horizon: 150
result: unknown
conflicts: 15781
decisions: 39479
variables: 1119899
- horizon: 155
result: unknown
conflicts: 14221
decisions: 36037
variables: 1157144
- horizon: 160
result: unknown
conflicts: 12783
decisions: 34095
variables: 1194389
- horizon: 165
result: unknown
conflicts: 11523
decisions: 30840
variables: 1231634
- horizon: 170
result: unknown
conflicts: 10382
decisions: 28457
variables: 1268879
- horizon: 175
result: unknown
conflicts: 9361
decisions: 26376
variables: 1306124
- horizon: 180
result: unknown
conflicts: 8400
decisions: 24027
variables: 1343369
- horizon: 185
result: unknown
conflicts: 7562
decisions: 21430
variables: 1380614
...