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

This commit is contained in:
Potassco Bot 2018-02-02 05:45:15 +01:00
parent 81470a6c23
commit fec02dea1a
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 427 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-98.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: 98
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': 98}
# 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-98.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 7227092 MAXMEM 7227092 STALE 0 MAXMEM_RSS 3771676
<time name="ALL">900120</time>

View File

@ -0,0 +1,381 @@
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-98.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-48-1
Parser: 4704 ground actions and 2449 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 4.50 secs
Goal: conjunctive
Simplified: 4704 ground actions and 2449 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.66 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 175 MB)
Horizon 0: 2449 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 38214 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 73979 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 109744 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 145509 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 181274 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 217039 variables
30 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 883 MB)
Horizon 35: 252804 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 288569 variables
40 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1104 MB)
Horizon 45: 324334 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 360099 variables
50 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1333 MB)
Horizon 55: 395864 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 431629 variables
60 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1571 MB)
Horizon 65: 467394 variables
65 UNSAT (0 decisions 0 conflicts)
Horizon 70: 503159 variables
Allocated 32 MB (total 1709 MB)
70 UNSAT (11 decisions 11 conflicts)
Allocated 32 MB permanent (total 1849 MB)
Horizon 75: 538924 variables
75 UNSAT (56 decisions 54 conflicts)
Allocated 32 MB permanent (total 1992 MB)
Horizon 80: 574689 variables
Allocated 32 MB permanent (total 2136 MB)
Horizon 85: 610454 variables
80 UNSAT (100 decisions 93 conflicts)
Horizon 90: 646219 variables
Allocated 32 MB permanent (total 2399 MB)
Horizon 95: 681984 variables
Allocated 32 MB permanent (total 2550 MB)
Horizon 100: 717749 variables
85 UNSAT (246 decisions 191 conflicts)
Allocated 32 MB permanent (total 2703 MB)
Horizon 105: 753514 variables
Allocated 32 MB permanent (total 2858 MB)
Horizon 110: 789279 variables
Allocated 32 MB permanent (total 3015 MB)
Horizon 115: 825044 variables
90 UNSAT (478 decisions 360 conflicts)
Allocated 32 MB permanent (total 3174 MB)
Horizon 120: 860809 variables
Allocated 32 MB permanent (total 3336 MB)
Horizon 125: 896574 variables
Allocated 32 MB permanent (total 3499 MB)
Allocated 32 MB permanent (total 3531 MB)
Horizon 130: 932339 variables
Allocated 32 MB permanent (total 3697 MB)
Horizon 135: 968104 variables
Allocated 32 MB permanent (total 3864 MB)
Horizon 140: 1003869 variables
Allocated 32 MB permanent (total 4034 MB)
Allocated 32 MB permanent (total 4066 MB)
Horizon 145: 1039634 variables
Allocated 32 MB permanent (total 4238 MB)
Horizon 150: 1075399 variables
Allocated 32 MB permanent (total 4412 MB)
Horizon 155: 1111164 variables
Allocated 32 MB (total 4444 MB)
Allocated 32 MB permanent (total 4620 MB)
Allocated 32 MB permanent (total 4652 MB)
Horizon 160: 1146929 variables
Allocated 32 MB permanent (total 4831 MB)
Horizon 165: 1182694 variables
Allocated 32 MB permanent (total 5011 MB)
Allocated 32 MB permanent (total 5043 MB)
Horizon 170: 1218459 variables
Allocated 32 MB permanent (total 5225 MB)
Horizon 175: 1254224 variables
Allocated 32 MB permanent (total 5410 MB)
Allocated 32 MB permanent (total 5442 MB)
Horizon 180: 1289989 variables
Allocated 32 MB (total 5474 MB)
Allocated 32 MB permanent (total 5661 MB)
Allocated 32 MB permanent (total 5693 MB)
Horizon 185: 1325754 variables
Allocated 32 MB permanent (total 5882 MB)
Allocated 32 MB permanent (total 5914 MB)
Horizon 190: 1361519 variables
Allocated 32 MB (total 5946 MB)
Allocated 32 MB (total 5978 MB)
GC: 375.33 MB
Allocated 32 MB (total 6010 MB)
Allocated 32 MB (total 6042 MB)
Allocated 32 MB (total 6074 MB)
Allocated 32 MB (total 6106 MB)
Allocated 32 MB (total 6138 MB)
Allocated 32 MB (total 6170 MB)
Allocated 32 MB (total 6202 MB)
Allocated 32 MB (total 6234 MB)
GC: 330.86 MB
Allocated 32 MB (total 6266 MB)
Allocated 32 MB (total 6298 MB)
Allocated 32 MB (total 6330 MB)
Allocated 32 MB (total 6362 MB)
Allocated 32 MB (total 6394 MB)
Allocated 32 MB (total 6426 MB)
Allocated 32 MB (total 6458 MB)
Allocated 32 MB (total 6490 MB)
GC: 497.44 MB
Allocated 32 MB (total 6522 MB)
Allocated 32 MB (total 6554 MB)
Allocated 32 MB (total 6586 MB)
95 UNSAT (14013 decisions 8905 conflicts)
Allocated 32 MB (total 6618 MB)
Horizon 195: 1397284 variables
Allocated 32 MB (total 6809 MB)
GC: 788.35 MB
GC: 346.18 MB
GC: 523.81 MB
GC: 578.31 MB
GC: 467.33 MB
GC: 468.94 MB
GC: 565.13 MB
GC: 502.89 MB
GC: 518.37 MB
GC: 571.95 MB
GC: 575.83 MB
GC: 539.07 MB
GC: 583.15 MB
Allocated 32 MB (total 6841 MB)
Allocated 32 MB (total 6873 MB)
Allocated 32 MB (total 6905 MB)
Allocated 32 MB (total 6937 MB)
GC: 682.53 MB
Allocated 32 MB (total 6969 MB)
Allocated 32 MB (total 7001 MB)
GC: 738.47 MB
GC: 673.34 MB
# statistics in YAML format
---
runtime:
total: 899.02 # [s]
preprocessing: 7.30 # [s]
maxLearnedClauseLength: 80849
groundActions:
afterParsing: 4704
afterPreprocessing: 4704
stateVariables:
afterParsing: 2449
afterPreprocessing: 2449
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 2449
- horizon: 5
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 38214
- horizon: 10
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 73979
- horizon: 15
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 109744
- horizon: 20
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 145509
- horizon: 25
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 181274
- horizon: 30
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 217039
- horizon: 35
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 252804
- horizon: 40
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 288569
- horizon: 45
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 324334
- horizon: 50
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 360099
- horizon: 55
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 395864
- horizon: 60
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 431629
- horizon: 65
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 467394
- horizon: 70
result: unsatisfiable
conflicts: 11
decisions: 11
variables: 503159
- horizon: 75
result: unsatisfiable
conflicts: 54
decisions: 56
variables: 538924
- horizon: 80
result: unsatisfiable
conflicts: 93
decisions: 100
variables: 574689
- horizon: 85
result: unsatisfiable
conflicts: 191
decisions: 246
variables: 610454
- horizon: 90
result: unsatisfiable
conflicts: 360
decisions: 478
variables: 646219
- horizon: 95
result: unsatisfiable
conflicts: 8905
decisions: 14013
variables: 681984
- horizon: 100
result: unknown
conflicts: 52313
decisions: 88664
variables: 717749
- horizon: 105
result: unknown
conflicts: 47072
decisions: 96178
variables: 753514
- horizon: 110
result: unknown
conflicts: 42346
decisions: 85687
variables: 789279
- horizon: 115
result: unknown
conflicts: 38004
decisions: 66480
variables: 825044
- horizon: 120
result: unknown
conflicts: 34232
decisions: 62071
variables: 860809
- horizon: 125
result: unknown
conflicts: 30856
decisions: 66185
variables: 896574
- horizon: 130
result: unknown
conflicts: 27867
decisions: 62079
variables: 932339
- horizon: 135
result: unknown
conflicts: 24975
decisions: 60318
variables: 968104
- horizon: 140
result: unknown
conflicts: 22485
decisions: 52136
variables: 1003869
- horizon: 145
result: unknown
conflicts: 20268
decisions: 49166
variables: 1039634
- horizon: 150
result: unknown
conflicts: 18211
decisions: 46183
variables: 1075399
- horizon: 155
result: unknown
conflicts: 16402
decisions: 42545
variables: 1111164
- horizon: 160
result: unknown
conflicts: 14775
decisions: 40555
variables: 1146929
- horizon: 165
result: unknown
conflicts: 13269
decisions: 37326
variables: 1182694
- horizon: 170
result: unknown
conflicts: 11944
decisions: 33156
variables: 1218459
- horizon: 175
result: unknown
conflicts: 10746
decisions: 31257
variables: 1254224
- horizon: 180
result: unknown
conflicts: 9663
decisions: 28594
variables: 1289989
- horizon: 185
result: unknown
conflicts: 8700
decisions: 25532
variables: 1325754
- horizon: 190
result: unknown
conflicts: 7860
decisions: 23511
variables: 1361519
- horizon: 195
result: unknown
conflicts: 7082
decisions: 21126
variables: 1397284
...