1
0
Fork 0

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

This commit is contained in:
Potassco Bot 2018-02-01 20:59:23 +01:00
parent f4276c2042
commit 094db5e54e
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 380 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-84.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: 84
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': 84}
# 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-84.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.11 MEM 5637544 MAXMEM 5637544 STALE 0 MAXMEM_RSS 2723892
<time name="ALL">900140</time>

View File

@ -0,0 +1,334 @@
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-84.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-41-1
Parser: 3444 ground actions and 1805 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 2.27 secs
Goal: conjunctive
Simplified: 3444 ground actions and 1805 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.23 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 158 MB)
Horizon 0: 1805 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 28050 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 54295 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 80540 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 106785 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 133030 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 159275 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 185520 variables
35 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 936 MB)
Horizon 40: 211765 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 238010 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 264255 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1244 MB)
Horizon 55: 290500 variables
Allocated 32 MB (total 1276 MB)
Horizon 60: 316745 variables
55 UNSAT (77 decisions 66 conflicts)
Allocated 32 MB permanent (total 1500 MB)
Horizon 65: 342990 variables
Horizon 70: 369235 variables
Allocated 32 MB permanent (total 1730 MB)
Horizon 75: 395480 variables
Horizon 80: 421725 variables
Allocated 32 MB permanent (total 1966 MB)
Horizon 85: 447970 variables
Horizon 90: 474215 variables
Allocated 32 MB permanent (total 2208 MB)
Horizon 95: 500460 variables
Allocated 32 MB permanent (total 2348 MB)
Horizon 100: 526705 variables
60 UNSAT (671 decisions 515 conflicts)
Horizon 105: 552950 variables
Allocated 32 MB permanent (total 2599 MB)
Horizon 110: 579195 variables
Allocated 32 MB (total 2631 MB)
Allocated 32 MB permanent (total 2776 MB)
Horizon 115: 605440 variables
Allocated 32 MB permanent (total 2921 MB)
Horizon 120: 631685 variables
Horizon 125: 657930 variables
Allocated 32 MB permanent (total 3185 MB)
Horizon 130: 684175 variables
Allocated 32 MB permanent (total 3336 MB)
Horizon 135: 710420 variables
Allocated 32 MB permanent (total 3487 MB)
Horizon 140: 736665 variables
Allocated 32 MB (total 3519 MB)
Allocated 32 MB permanent (total 3673 MB)
Horizon 145: 762910 variables
Allocated 32 MB permanent (total 3828 MB)
Horizon 150: 789155 variables
Allocated 32 MB permanent (total 3985 MB)
Horizon 155: 815400 variables
Allocated 32 MB permanent (total 4143 MB)
Horizon 160: 841645 variables
Allocated 32 MB (total 4175 MB)
Allocated 32 MB (total 4207 MB)
Allocated 32 MB (total 4239 MB)
GC: 192.30 MB
Allocated 32 MB (total 4271 MB)
Allocated 32 MB (total 4303 MB)
Allocated 32 MB (total 4335 MB)
Allocated 32 MB (total 4367 MB)
Allocated 32 MB (total 4399 MB)
Allocated 32 MB (total 4431 MB)
65 UNSAT (5759 decisions 4277 conflicts)
Horizon 165: 867890 variables
GC: 320.32 MB
GC: 236.88 MB
Allocated 32 MB (total 4590 MB)
Allocated 32 MB (total 4622 MB)
Allocated 32 MB (total 4654 MB)
Allocated 32 MB (total 4686 MB)
Allocated 32 MB (total 4718 MB)
Allocated 32 MB (total 4750 MB)
GC: 427.56 MB
GC: 402.50 MB
Allocated 32 MB (total 4782 MB)
Allocated 32 MB (total 4814 MB)
GC: 403.24 MB
Allocated 32 MB (total 4846 MB)
Allocated 32 MB (total 4878 MB)
Allocated 32 MB (total 4910 MB)
GC: 471.04 MB
Allocated 32 MB (total 4942 MB)
Allocated 32 MB (total 4974 MB)
Allocated 32 MB (total 5006 MB)
GC: 517.33 MB
Allocated 32 MB (total 5038 MB)
Allocated 32 MB (total 5070 MB)
GC: 754.96 MB
GC: 532.87 MB
GC: 581.98 MB
GC: 521.28 MB
GC: 548.60 MB
GC: 581.82 MB
GC: 646.85 MB
GC: 578.31 MB
GC: 676.45 MB
Allocated 32 MB (total 5102 MB)
GC: 692.28 MB
Allocated 32 MB (total 5134 MB)
GC: 718.14 MB
GC: 678.88 MB
Allocated 32 MB (total 5166 MB)
GC: 686.75 MB
Allocated 32 MB (total 5198 MB)
Allocated 32 MB (total 5230 MB)
GC: 733.96 MB
Allocated 32 MB (total 5262 MB)
GC: 741.69 MB
GC: 721.41 MB
Allocated 32 MB (total 5294 MB)
Allocated 32 MB (total 5326 MB)
Allocated 32 MB (total 5358 MB)
Allocated 32 MB (total 5390 MB)
GC: 834.73 MB
# statistics in YAML format
---
runtime:
total: 899.18 # [s]
preprocessing: 3.59 # [s]
maxLearnedClauseLength: 67915
groundActions:
afterParsing: 3444
afterPreprocessing: 3444
stateVariables:
afterParsing: 1805
afterPreprocessing: 1805
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 1805
- horizon: 5
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 28050
- horizon: 10
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 54295
- horizon: 15
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 80540
- horizon: 20
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 106785
- horizon: 25
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 133030
- horizon: 30
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 159275
- horizon: 35
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 185520
- horizon: 40
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 211765
- horizon: 45
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 238010
- horizon: 50
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 264255
- horizon: 55
result: unsatisfiable
conflicts: 66
decisions: 77
variables: 290500
- horizon: 60
result: unsatisfiable
conflicts: 515
decisions: 671
variables: 316745
- horizon: 65
result: unsatisfiable
conflicts: 4277
decisions: 5759
variables: 342990
- horizon: 70
result: unknown
conflicts: 74364
decisions: 109612
variables: 369235
- horizon: 75
result: unknown
conflicts: 66984
decisions: 109909
variables: 395480
- horizon: 80
result: unknown
conflicts: 60301
decisions: 98527
variables: 421725
- horizon: 85
result: unknown
conflicts: 54174
decisions: 84085
variables: 447970
- horizon: 90
result: unknown
conflicts: 48773
decisions: 77674
variables: 474215
- horizon: 95
result: unknown
conflicts: 43913
decisions: 77625
variables: 500460
- horizon: 100
result: unknown
conflicts: 39499
decisions: 72621
variables: 526705
- horizon: 105
result: unknown
conflicts: 35585
decisions: 70131
variables: 552950
- horizon: 110
result: unknown
conflicts: 32031
decisions: 65081
variables: 579195
- horizon: 115
result: unknown
conflicts: 28832
decisions: 61693
variables: 605440
- horizon: 120
result: unknown
conflicts: 25936
decisions: 58214
variables: 631685
- horizon: 125
result: unknown
conflicts: 23324
decisions: 55254
variables: 657930
- horizon: 130
result: unknown
conflicts: 20965
decisions: 52718
variables: 684175
- horizon: 135
result: unknown
conflicts: 18858
decisions: 47730
variables: 710420
- horizon: 140
result: unknown
conflicts: 16987
decisions: 44258
variables: 736665
- horizon: 145
result: unknown
conflicts: 15306
decisions: 39819
variables: 762910
- horizon: 150
result: unknown
conflicts: 13744
decisions: 36800
variables: 789155
- horizon: 155
result: unknown
conflicts: 12403
decisions: 33667
variables: 815400
- horizon: 160
result: unknown
conflicts: 11166
decisions: 31158
variables: 841645
- horizon: 165
result: unknown
conflicts: 10021
decisions: 28075
variables: 867890
...