342 lines
8.6 KiB
Plaintext
342 lines
8.6 KiB
Plaintext
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
|
|
...
|
|
|