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

This commit is contained in:
Potassco Bot 2018-02-02 04:46:36 +01:00
parent 50c8f98699
commit 57166bf664
Signed by: potassco-bot
GPG Key ID: 1F54208CE70DDF73
3 changed files with 387 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-96.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: 96
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': 96}
# 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-96.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 6090344 MAXMEM 6090344 STALE 0 MAXMEM_RSS 2984092
<time name="ALL">900130</time>

View File

@ -0,0 +1,341 @@
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-96.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: blocks
Problem: blocks-47-1
Parser: 4512 ground actions and 2351 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 4.40 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.38 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
Allocated 32 MB (total 1457 MB)
Allocated 32 MB permanent (total 1592 MB)
Horizon 65: 448446 variables
60 UNSAT (80 decisions 78 conflicts)
Horizon 70: 482761 variables
Allocated 32 MB permanent (total 1836 MB)
Horizon 75: 517076 variables
Allocated 32 MB permanent (total 1977 MB)
Horizon 80: 551391 variables
Horizon 85: 585706 variables
Allocated 32 MB permanent (total 2233 MB)
Horizon 90: 620021 variables
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 (total 3020 MB)
Allocated 32 MB permanent (total 3177 MB)
Horizon 120: 825911 variables
Allocated 32 MB permanent (total 3337 MB)
Horizon 125: 860226 variables
Allocated 32 MB permanent (total 3498 MB)
Horizon 130: 894541 variables
Allocated 32 MB permanent (total 3661 MB)
Horizon 135: 928856 variables
Allocated 32 MB (total 3693 MB)
Allocated 32 MB permanent (total 3858 MB)
Horizon 140: 963171 variables
Allocated 32 MB permanent (total 4026 MB)
Allocated 32 MB permanent (total 4058 MB)
Horizon 145: 997486 variables
Allocated 32 MB permanent (total 4227 MB)
Horizon 150: 1031801 variables
Allocated 32 MB permanent (total 4398 MB)
Horizon 155: 1066116 variables
Allocated 32 MB permanent (total 4572 MB)
Allocated 32 MB permanent (total 4604 MB)
Horizon 160: 1100431 variables
Allocated 32 MB (total 4636 MB)
Allocated 32 MB (total 4668 MB)
65 UNSAT (1975 decisions 1648 conflicts)
Allocated 32 MB permanent (total 4843 MB)
Horizon 165: 1134746 variables
Allocated 32 MB (total 4875 MB)
Allocated 32 MB (total 4907 MB)
GC: 270.12 MB
Allocated 32 MB (total 4939 MB)
Allocated 32 MB (total 4971 MB)
Allocated 32 MB (total 5003 MB)
Allocated 32 MB (total 5035 MB)
GC: 193.96 MB
Allocated 32 MB (total 5067 MB)
Allocated 32 MB (total 5099 MB)
Allocated 32 MB (total 5131 MB)
Allocated 32 MB (total 5163 MB)
Allocated 32 MB (total 5195 MB)
Allocated 32 MB (total 5227 MB)
GC: 374.46 MB
GC: 281.17 MB
70 UNSAT (12318 decisions 9358 conflicts)
Horizon 170: 1169061 variables
Allocated 32 MB (total 5405 MB)
GC: 437.06 MB
GC: 289.17 MB
GC: 299.37 MB
Allocated 32 MB (total 5437 MB)
Allocated 32 MB (total 5469 MB)
Allocated 32 MB (total 5501 MB)
GC: 348.74 MB
Allocated 32 MB (total 5533 MB)
Allocated 32 MB (total 5565 MB)
GC: 345.05 MB
Allocated 32 MB (total 5597 MB)
Allocated 32 MB (total 5629 MB)
Allocated 32 MB (total 5661 MB)
Allocated 32 MB (total 5693 MB)
GC: 694.98 MB
GC: 413.13 MB
GC: 410.28 MB
GC: 402.80 MB
75 UNSAT (45974 decisions 34154 conflicts)
Horizon 175: 1203376 variables
GC: 615.90 MB
GC: 354.69 MB
GC: 349.78 MB
GC: 377.26 MB
GC: 420.34 MB
GC: 433.62 MB
GC: 430.99 MB
GC: 458.59 MB
GC: 478.55 MB
# statistics in YAML format
---
runtime:
total: 899.25 # [s]
preprocessing: 6.91 # [s]
maxLearnedClauseLength: 72676
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: 78
decisions: 80
variables: 414131
- horizon: 65
result: unsatisfiable
conflicts: 1648
decisions: 1975
variables: 448446
- horizon: 70
result: unsatisfiable
conflicts: 9358
decisions: 12318
variables: 482761
- horizon: 75
result: unsatisfiable
conflicts: 34154
decisions: 45974
variables: 517076
- horizon: 80
result: unknown
conflicts: 59682
decisions: 83925
variables: 551391
- horizon: 85
result: unknown
conflicts: 53831
decisions: 80148
variables: 585706
- horizon: 90
result: unknown
conflicts: 48467
decisions: 82602
variables: 620021
- horizon: 95
result: unknown
conflicts: 43591
decisions: 83738
variables: 654336
- horizon: 100
result: unknown
conflicts: 39205
decisions: 80987
variables: 688651
- horizon: 105
result: unknown
conflicts: 35235
decisions: 75602
variables: 722966
- horizon: 110
result: unknown
conflicts: 31772
decisions: 66823
variables: 757281
- horizon: 115
result: unknown
conflicts: 28562
decisions: 57786
variables: 791596
- horizon: 120
result: unknown
conflicts: 25681
decisions: 53452
variables: 825911
- horizon: 125
result: unknown
conflicts: 23127
decisions: 51987
variables: 860226
- horizon: 130
result: unknown
conflicts: 20779
decisions: 48500
variables: 894541
- horizon: 135
result: unknown
conflicts: 18738
decisions: 43886
variables: 928856
- horizon: 140
result: unknown
conflicts: 16877
decisions: 41409
variables: 963171
- horizon: 145
result: unknown
conflicts: 15191
decisions: 37140
variables: 997486
- horizon: 150
result: unknown
conflicts: 13630
decisions: 34047
variables: 1031801
- horizon: 155
result: unknown
conflicts: 12307
decisions: 31324
variables: 1066116
- horizon: 160
result: unknown
conflicts: 11044
decisions: 27992
variables: 1100431
- horizon: 165
result: unknown
conflicts: 9962
decisions: 25216
variables: 1134746
- horizon: 170
result: unknown
conflicts: 9003
decisions: 23264
variables: 1169061
- horizon: 175
result: unknown
conflicts: 8102
decisions: 22276
variables: 1203376
...