371 lines
9.5 KiB
Plaintext
371 lines
9.5 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-99.pddlignoring --stats
|
||
|
ignoring --stats-iter
|
||
|
ignoring --verbose
|
||
|
-m 8192
|
||
|
Domain: blocks
|
||
|
Problem: blocks-49-0
|
||
|
Parser: 4900 ground actions and 2549 state variables
|
||
|
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 5.51 secs
|
||
|
Goal: conjunctive
|
||
|
Simplified: 4900 ground actions and 2549 state variables
|
||
|
Actions: STRIPS
|
||
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.93 secs (max SCC size 1)
|
||
|
Plan type: E-step
|
||
|
Allocated 32 MB permanent (total 178 MB)
|
||
|
Horizon 0: 2549 variables
|
||
|
0 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 5: 39794 variables
|
||
|
5 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 10: 77039 variables
|
||
|
10 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 15: 114284 variables
|
||
|
15 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 20: 151529 variables
|
||
|
20 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 25: 188774 variables
|
||
|
25 UNSAT (0 decisions 0 conflicts)
|
||
|
Allocated 32 MB permanent (total 796 MB)
|
||
|
Horizon 30: 226019 variables
|
||
|
30 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 35: 263264 variables
|
||
|
35 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 40: 300509 variables
|
||
|
40 UNSAT (0 decisions 0 conflicts)
|
||
|
Allocated 32 MB permanent (total 1111 MB)
|
||
|
Horizon 45: 337754 variables
|
||
|
45 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 50: 374999 variables
|
||
|
50 UNSAT (0 decisions 0 conflicts)
|
||
|
Allocated 32 MB permanent (total 1342 MB)
|
||
|
Horizon 55: 412244 variables
|
||
|
55 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 60: 449489 variables
|
||
|
60 UNSAT (0 decisions 0 conflicts)
|
||
|
Allocated 32 MB permanent (total 1582 MB)
|
||
|
Horizon 65: 486734 variables
|
||
|
65 UNSAT (0 decisions 0 conflicts)
|
||
|
Allocated 32 MB permanent (total 1721 MB)
|
||
|
Horizon 70: 523979 variables
|
||
|
Allocated 32 MB (total 1753 MB)
|
||
|
70 UNSAT (19 decisions 18 conflicts)
|
||
|
Horizon 75: 561224 variables
|
||
|
Allocated 32 MB permanent (total 2007 MB)
|
||
|
Horizon 80: 598469 variables
|
||
|
75 UNSAT (83 decisions 63 conflicts)
|
||
|
Allocated 32 MB permanent (total 2153 MB)
|
||
|
Horizon 85: 635714 variables
|
||
|
Allocated 32 MB permanent (total 2301 MB)
|
||
|
Horizon 90: 672959 variables
|
||
|
80 UNSAT (180 decisions 162 conflicts)
|
||
|
Allocated 32 MB permanent (total 2451 MB)
|
||
|
Horizon 95: 710204 variables
|
||
|
Allocated 32 MB permanent (total 2604 MB)
|
||
|
Horizon 100: 747449 variables
|
||
|
Allocated 32 MB permanent (total 2758 MB)
|
||
|
Horizon 105: 784694 variables
|
||
|
Allocated 32 MB permanent (total 2915 MB)
|
||
|
Horizon 110: 821939 variables
|
||
|
Allocated 32 MB permanent (total 3074 MB)
|
||
|
Horizon 115: 859184 variables
|
||
|
Allocated 32 MB permanent (total 3236 MB)
|
||
|
Horizon 120: 896429 variables
|
||
|
Allocated 32 MB permanent (total 3399 MB)
|
||
|
Horizon 125: 933674 variables
|
||
|
85 UNSAT (741 decisions 536 conflicts)
|
||
|
Allocated 32 MB permanent (total 3565 MB)
|
||
|
Horizon 130: 970919 variables
|
||
|
Allocated 32 MB permanent (total 3733 MB)
|
||
|
Allocated 32 MB permanent (total 3765 MB)
|
||
|
Horizon 135: 1008164 variables
|
||
|
Allocated 32 MB permanent (total 3935 MB)
|
||
|
Horizon 140: 1045409 variables
|
||
|
Allocated 32 MB permanent (total 4108 MB)
|
||
|
Horizon 145: 1082654 variables
|
||
|
Allocated 32 MB permanent (total 4282 MB)
|
||
|
Allocated 32 MB permanent (total 4314 MB)
|
||
|
Horizon 150: 1119899 variables
|
||
|
Allocated 32 MB permanent (total 4491 MB)
|
||
|
Horizon 155: 1157144 variables
|
||
|
Allocated 32 MB permanent (total 4670 MB)
|
||
|
Allocated 32 MB permanent (total 4702 MB)
|
||
|
Horizon 160: 1194389 variables
|
||
|
Allocated 32 MB (total 4734 MB)
|
||
|
Allocated 32 MB permanent (total 4915 MB)
|
||
|
Horizon 165: 1231634 variables
|
||
|
Allocated 32 MB permanent (total 5098 MB)
|
||
|
Allocated 32 MB permanent (total 5130 MB)
|
||
|
Horizon 170: 1268879 variables
|
||
|
Allocated 32 MB permanent (total 5316 MB)
|
||
|
Allocated 32 MB permanent (total 5348 MB)
|
||
|
Horizon 175: 1306124 variables
|
||
|
Allocated 32 MB permanent (total 5536 MB)
|
||
|
Horizon 180: 1343369 variables
|
||
|
Allocated 32 MB permanent (total 5726 MB)
|
||
|
Allocated 32 MB permanent (total 5758 MB)
|
||
|
Horizon 185: 1380614 variables
|
||
|
Allocated 32 MB (total 5790 MB)
|
||
|
90 UNSAT (2442 decisions 1674 conflicts)
|
||
|
Allocated 32 MB permanent (total 5982 MB)
|
||
|
Allocated 32 MB permanent (total 6014 MB)
|
||
|
Horizon 190: 1417859 variables
|
||
|
Allocated 32 MB (total 6046 MB)
|
||
|
GC: 347.10 MB
|
||
|
Allocated 32 MB (total 6078 MB)
|
||
|
Allocated 32 MB (total 6110 MB)
|
||
|
Allocated 32 MB (total 6142 MB)
|
||
|
Allocated 32 MB (total 6174 MB)
|
||
|
Allocated 32 MB (total 6206 MB)
|
||
|
GC: 195.89 MB
|
||
|
Allocated 32 MB (total 6238 MB)
|
||
|
Allocated 32 MB (total 6270 MB)
|
||
|
Allocated 32 MB (total 6302 MB)
|
||
|
GC: 241.44 MB
|
||
|
Allocated 32 MB (total 6334 MB)
|
||
|
Allocated 32 MB (total 6366 MB)
|
||
|
Allocated 32 MB (total 6398 MB)
|
||
|
Allocated 32 MB (total 6430 MB)
|
||
|
GC: 295.54 MB
|
||
|
Allocated 32 MB (total 6462 MB)
|
||
|
Allocated 32 MB (total 6494 MB)
|
||
|
95 UNSAT (16356 decisions 10838 conflicts)
|
||
|
Horizon 195: 1455104 variables
|
||
|
Allocated 32 MB (total 6688 MB)
|
||
|
Allocated 32 MB (total 6720 MB)
|
||
|
GC: 504.19 MB
|
||
|
GC: 350.36 MB
|
||
|
GC: 509.51 MB
|
||
|
GC: 405.56 MB
|
||
|
GC: 381.85 MB
|
||
|
GC: 318.29 MB
|
||
|
GC: 480.88 MB
|
||
|
GC: 358.04 MB
|
||
|
GC: 343.55 MB
|
||
|
GC: 387.26 MB
|
||
|
GC: 390.74 MB
|
||
|
GC: 382.43 MB
|
||
|
GC: 393.18 MB
|
||
|
GC: 442.14 MB
|
||
|
GC: 387.62 MB
|
||
|
|
||
|
|
||
|
# statistics in YAML format
|
||
|
---
|
||
|
runtime:
|
||
|
total: 899.13 # [s]
|
||
|
preprocessing: 8.60 # [s]
|
||
|
maxLearnedClauseLength: 81500
|
||
|
groundActions:
|
||
|
afterParsing: 4900
|
||
|
afterPreprocessing: 4900
|
||
|
stateVariables:
|
||
|
afterParsing: 2549
|
||
|
afterPreprocessing: 2549
|
||
|
stronglyConnectedComponents:
|
||
|
maxSize: 1
|
||
|
plan:
|
||
|
found: false
|
||
|
iterations:
|
||
|
- horizon: 0
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 2549
|
||
|
- horizon: 5
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 39794
|
||
|
- horizon: 10
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 77039
|
||
|
- horizon: 15
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 114284
|
||
|
- horizon: 20
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 151529
|
||
|
- horizon: 25
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 188774
|
||
|
- horizon: 30
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 226019
|
||
|
- horizon: 35
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 263264
|
||
|
- horizon: 40
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 300509
|
||
|
- horizon: 45
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 337754
|
||
|
- horizon: 50
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 374999
|
||
|
- horizon: 55
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 412244
|
||
|
- horizon: 60
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 449489
|
||
|
- horizon: 65
|
||
|
result: unsatisfiable
|
||
|
conflicts: 0
|
||
|
decisions: 0
|
||
|
variables: 486734
|
||
|
- horizon: 70
|
||
|
result: unsatisfiable
|
||
|
conflicts: 18
|
||
|
decisions: 19
|
||
|
variables: 523979
|
||
|
- horizon: 75
|
||
|
result: unsatisfiable
|
||
|
conflicts: 63
|
||
|
decisions: 83
|
||
|
variables: 561224
|
||
|
- horizon: 80
|
||
|
result: unsatisfiable
|
||
|
conflicts: 162
|
||
|
decisions: 180
|
||
|
variables: 598469
|
||
|
- horizon: 85
|
||
|
result: unsatisfiable
|
||
|
conflicts: 536
|
||
|
decisions: 741
|
||
|
variables: 635714
|
||
|
- horizon: 90
|
||
|
result: unsatisfiable
|
||
|
conflicts: 1674
|
||
|
decisions: 2442
|
||
|
variables: 672959
|
||
|
- horizon: 95
|
||
|
result: unsatisfiable
|
||
|
conflicts: 10838
|
||
|
decisions: 16356
|
||
|
variables: 710204
|
||
|
- horizon: 100
|
||
|
result: unknown
|
||
|
conflicts: 53306
|
||
|
decisions: 87439
|
||
|
variables: 747449
|
||
|
- horizon: 105
|
||
|
result: unknown
|
||
|
conflicts: 48033
|
||
|
decisions: 85899
|
||
|
variables: 784694
|
||
|
- horizon: 110
|
||
|
result: unknown
|
||
|
conflicts: 43255
|
||
|
decisions: 81018
|
||
|
variables: 821939
|
||
|
- horizon: 115
|
||
|
result: unknown
|
||
|
conflicts: 38952
|
||
|
decisions: 77637
|
||
|
variables: 859184
|
||
|
- horizon: 120
|
||
|
result: unknown
|
||
|
conflicts: 35124
|
||
|
decisions: 99018
|
||
|
variables: 896429
|
||
|
- horizon: 125
|
||
|
result: unknown
|
||
|
conflicts: 31600
|
||
|
decisions: 86642
|
||
|
variables: 933674
|
||
|
- horizon: 130
|
||
|
result: unknown
|
||
|
conflicts: 28423
|
||
|
decisions: 75218
|
||
|
variables: 970919
|
||
|
- horizon: 135
|
||
|
result: unknown
|
||
|
conflicts: 25534
|
||
|
decisions: 63509
|
||
|
variables: 1008164
|
||
|
- horizon: 140
|
||
|
result: unknown
|
||
|
conflicts: 23024
|
||
|
decisions: 57346
|
||
|
variables: 1045409
|
||
|
- horizon: 145
|
||
|
result: unknown
|
||
|
conflicts: 20722
|
||
|
decisions: 51191
|
||
|
variables: 1082654
|
||
|
- horizon: 150
|
||
|
result: unknown
|
||
|
conflicts: 18651
|
||
|
decisions: 48620
|
||
|
variables: 1119899
|
||
|
- horizon: 155
|
||
|
result: unknown
|
||
|
conflicts: 16789
|
||
|
decisions: 44513
|
||
|
variables: 1157144
|
||
|
- horizon: 160
|
||
|
result: unknown
|
||
|
conflicts: 15092
|
||
|
decisions: 41377
|
||
|
variables: 1194389
|
||
|
- horizon: 165
|
||
|
result: unknown
|
||
|
conflicts: 13574
|
||
|
decisions: 36534
|
||
|
variables: 1231634
|
||
|
- horizon: 170
|
||
|
result: unknown
|
||
|
conflicts: 12190
|
||
|
decisions: 34214
|
||
|
variables: 1268879
|
||
|
- horizon: 175
|
||
|
result: unknown
|
||
|
conflicts: 10986
|
||
|
decisions: 30126
|
||
|
variables: 1306124
|
||
|
- horizon: 180
|
||
|
result: unknown
|
||
|
conflicts: 9906
|
||
|
decisions: 27396
|
||
|
variables: 1343369
|
||
|
- horizon: 185
|
||
|
result: unknown
|
||
|
conflicts: 8899
|
||
|
decisions: 24192
|
||
|
variables: 1380614
|
||
|
- horizon: 190
|
||
|
result: unknown
|
||
|
conflicts: 8043
|
||
|
decisions: 21915
|
||
|
variables: 1417859
|
||
|
- horizon: 195
|
||
|
result: unknown
|
||
|
conflicts: 7202
|
||
|
decisions: 20400
|
||
|
variables: 1455104
|
||
|
...
|
||
|
|