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

This commit is contained in:
Potassco Bot 2018-02-02 02:04:22 +01:00
parent 67d8b36997
commit ebb6679a5c
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 391 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-90.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: 90
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': 90}
# 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-90.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.02 MEM 5951324 MAXMEM 5951324 STALE 0 MAXMEM_RSS 2770588
<time name="ALL">900040</time>

View File

@ -0,0 +1,345 @@
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-90.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-44-1
Parser: 3960 ground actions and 2069 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 2.68 secs
Goal: conjunctive
Simplified: 3960 ground actions and 2069 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.72 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 165 MB)
Horizon 0: 2069 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 32214 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 62359 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 92504 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 122649 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 152794 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 182939 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 862 MB)
Horizon 35: 213084 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 243229 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 273374 variables
45 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1171 MB)
Horizon 50: 303519 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 333664 variables
55 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1397 MB)
Horizon 60: 363809 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 393954 variables
Allocated 32 MB (total 1529 MB)
65 UNSAT (9 decisions 9 conflicts)
Allocated 32 MB permanent (total 1662 MB)
Horizon 70: 424099 variables
70 UNSAT (37 decisions 24 conflicts)
Horizon 75: 454244 variables
Allocated 32 MB permanent (total 1902 MB)
Horizon 80: 484389 variables
75 UNSAT (198 decisions 71 conflicts)
Horizon 85: 514534 variables
Allocated 32 MB permanent (total 2150 MB)
Horizon 90: 544679 variables
Allocated 32 MB permanent (total 2292 MB)
Horizon 95: 574824 variables
Allocated 32 MB permanent (total 2436 MB)
Horizon 100: 604969 variables
Horizon 105: 635114 variables
Allocated 32 MB permanent (total 2698 MB)
Horizon 110: 665259 variables
Allocated 32 MB permanent (total 2847 MB)
Horizon 115: 695404 variables
Allocated 32 MB permanent (total 2998 MB)
Horizon 120: 725549 variables
Allocated 32 MB permanent (total 3151 MB)
Horizon 125: 755694 variables
Allocated 32 MB permanent (total 3306 MB)
Horizon 130: 785839 variables
Allocated 32 MB permanent (total 3463 MB)
Horizon 135: 815984 variables
Allocated 32 MB (total 3495 MB)
Allocated 32 MB permanent (total 3653 MB)
Horizon 140: 846129 variables
Allocated 32 MB permanent (total 3813 MB)
Horizon 145: 876274 variables
Allocated 32 MB permanent (total 3975 MB)
Allocated 32 MB permanent (total 4007 MB)
Horizon 150: 906419 variables
Allocated 32 MB permanent (total 4171 MB)
Horizon 155: 936564 variables
Allocated 32 MB permanent (total 4336 MB)
Horizon 160: 966709 variables
Allocated 32 MB permanent (total 4504 MB)
Horizon 165: 996854 variables
Allocated 32 MB (total 4536 MB)
Allocated 32 MB permanent (total 4705 MB)
Allocated 32 MB permanent (total 4737 MB)
Horizon 170: 1026999 variables
Allocated 32 MB permanent (total 4908 MB)
Horizon 175: 1057144 variables
Allocated 32 MB (total 4940 MB)
Allocated 32 MB (total 4972 MB)
Allocated 32 MB (total 5004 MB)
GC: 284.29 MB
Allocated 32 MB (total 5036 MB)
Allocated 32 MB (total 5068 MB)
Allocated 32 MB (total 5100 MB)
Allocated 32 MB (total 5132 MB)
Allocated 32 MB (total 5164 MB)
GC: 289.08 MB
Allocated 32 MB (total 5196 MB)
Allocated 32 MB (total 5228 MB)
GC: 330.77 MB
Allocated 32 MB (total 5260 MB)
Allocated 32 MB (total 5292 MB)
Allocated 32 MB (total 5324 MB)
GC: 385.48 MB
Allocated 32 MB (total 5356 MB)
Allocated 32 MB (total 5388 MB)
Allocated 32 MB (total 5420 MB)
Allocated 32 MB (total 5452 MB)
GC: 567.89 MB
GC: 448.19 MB
GC: 482.52 MB
Allocated 32 MB (total 5484 MB)
Allocated 32 MB (total 5516 MB)
GC: 507.46 MB
80 UNSAT (33350 decisions 19794 conflicts)
Horizon 180: 1087289 variables
GC: 561.06 MB
GC: 509.48 MB
GC: 534.19 MB
GC: 619.75 MB
GC: 476.49 MB
GC: 530.89 MB
GC: 529.08 MB
GC: 582.38 MB
GC: 546.33 MB
GC: 581.13 MB
GC: 580.66 MB
GC: 618.11 MB
Allocated 32 MB (total 5688 MB)
Allocated 32 MB (total 5720 MB)
GC: 668.78 MB
GC: 649.96 MB
# statistics in YAML format
---
runtime:
total: 899.15 # [s]
preprocessing: 4.52 # [s]
maxLearnedClauseLength: 50968
groundActions:
afterParsing: 3960
afterPreprocessing: 3960
stateVariables:
afterParsing: 2069
afterPreprocessing: 2069
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 2069
- horizon: 5
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 32214
- horizon: 10
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 62359
- horizon: 15
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 92504
- horizon: 20
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 122649
- horizon: 25
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 152794
- horizon: 30
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 182939
- horizon: 35
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 213084
- horizon: 40
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 243229
- horizon: 45
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 273374
- horizon: 50
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 303519
- horizon: 55
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 333664
- horizon: 60
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 363809
- horizon: 65
result: unsatisfiable
conflicts: 9
decisions: 9
variables: 393954
- horizon: 70
result: unsatisfiable
conflicts: 24
decisions: 37
variables: 424099
- horizon: 75
result: unsatisfiable
conflicts: 71
decisions: 198
variables: 454244
- horizon: 80
result: unsatisfiable
conflicts: 19794
decisions: 33350
variables: 484389
- horizon: 85
result: unknown
conflicts: 62955
decisions: 108062
variables: 514534
- horizon: 90
result: unknown
conflicts: 56611
decisions: 97514
variables: 544679
- horizon: 95
result: unknown
conflicts: 50945
decisions: 88591
variables: 574824
- horizon: 100
result: unknown
conflicts: 45759
decisions: 78784
variables: 604969
- horizon: 105
result: unknown
conflicts: 41140
decisions: 73163
variables: 635114
- horizon: 110
result: unknown
conflicts: 37078
decisions: 69131
variables: 665259
- horizon: 115
result: unknown
conflicts: 33335
decisions: 70366
variables: 695404
- horizon: 120
result: unknown
conflicts: 30022
decisions: 64831
variables: 725549
- horizon: 125
result: unknown
conflicts: 27013
decisions: 57927
variables: 755694
- horizon: 130
result: unknown
conflicts: 24282
decisions: 52793
variables: 785839
- horizon: 135
result: unknown
conflicts: 21889
decisions: 49872
variables: 815984
- horizon: 140
result: unknown
conflicts: 19701
decisions: 48290
variables: 846129
- horizon: 145
result: unknown
conflicts: 17725
decisions: 46507
variables: 876274
- horizon: 150
result: unknown
conflicts: 15985
decisions: 40284
variables: 906419
- horizon: 155
result: unknown
conflicts: 14351
decisions: 37589
variables: 936564
- horizon: 160
result: unknown
conflicts: 12904
decisions: 33658
variables: 966709
- horizon: 165
result: unknown
conflicts: 11648
decisions: 30753
variables: 996854
- horizon: 170
result: unknown
conflicts: 10507
decisions: 28510
variables: 1026999
- horizon: 175
result: unknown
conflicts: 9421
decisions: 26690
variables: 1057144
- horizon: 180
result: unknown
conflicts: 8521
decisions: 24638
variables: 1087289
...