359 lines
9.2 KiB
Plaintext
359 lines
9.2 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-100.pddlignoring --stats
|
||
|
ignoring --stats-iter
|
||
|
ignoring --verbose
|
||
|
-m 8192
|
||
|
Domain: blocks
|
||
|
Problem: blocks-49-1
|
||
|
Parser: 4900 ground actions and 2549 state variables
|
||
|
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 4.06 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.94 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
|
||
|
Allocated 32 MB (total 1614 MB)
|
||
|
65 UNSAT (1 decisions 1 conflicts)
|
||
|
Allocated 32 MB permanent (total 1753 MB)
|
||
|
Horizon 70: 523979 variables
|
||
|
70 UNSAT (44 decisions 37 conflicts)
|
||
|
Horizon 75: 561224 variables
|
||
|
Allocated 32 MB permanent (total 2007 MB)
|
||
|
Horizon 80: 598469 variables
|
||
|
Allocated 32 MB permanent (total 2153 MB)
|
||
|
Horizon 85: 635714 variables
|
||
|
Allocated 32 MB permanent (total 2301 MB)
|
||
|
Horizon 90: 672959 variables
|
||
|
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
|
||
|
75 UNSAT (585 decisions 412 conflicts)
|
||
|
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
|
||
|
Allocated 32 MB permanent (total 3565 MB)
|
||
|
Horizon 130: 970919 variables
|
||
|
Allocated 32 MB (total 3597 MB)
|
||
|
Allocated 32 MB permanent (total 3765 MB)
|
||
|
Allocated 32 MB permanent (total 3797 MB)
|
||
|
Horizon 135: 1008164 variables
|
||
|
Allocated 32 MB permanent (total 3967 MB)
|
||
|
Horizon 140: 1045409 variables
|
||
|
Allocated 32 MB permanent (total 4140 MB)
|
||
|
Horizon 145: 1082654 variables
|
||
|
Allocated 32 MB permanent (total 4314 MB)
|
||
|
Allocated 32 MB permanent (total 4346 MB)
|
||
|
Horizon 150: 1119899 variables
|
||
|
Allocated 32 MB permanent (total 4523 MB)
|
||
|
Horizon 155: 1157144 variables
|
||
|
Allocated 32 MB permanent (total 4702 MB)
|
||
|
Allocated 32 MB permanent (total 4734 MB)
|
||
|
Horizon 160: 1194389 variables
|
||
|
Allocated 32 MB (total 4766 MB)
|
||
|
Allocated 32 MB permanent (total 4947 MB)
|
||
|
Horizon 165: 1231634 variables
|
||
|
Allocated 32 MB permanent (total 5130 MB)
|
||
|
Allocated 32 MB permanent (total 5162 MB)
|
||
|
Horizon 170: 1268879 variables
|
||
|
Allocated 32 MB permanent (total 5348 MB)
|
||
|
Allocated 32 MB permanent (total 5380 MB)
|
||
|
Horizon 175: 1306124 variables
|
||
|
Allocated 32 MB (total 5412 MB)
|
||
|
Allocated 32 MB (total 5444 MB)
|
||
|
Allocated 32 MB (total 5476 MB)
|
||
|
80 UNSAT (3037 decisions 2041 conflicts)
|
||
|
Allocated 32 MB permanent (total 5664 MB)
|
||
|
Horizon 180: 1343369 variables
|
||
|
GC: 354.35 MB
|
||
|
Allocated 32 MB (total 5696 MB)
|
||
|
Allocated 32 MB (total 5728 MB)
|
||
|
Allocated 32 MB (total 5760 MB)
|
||
|
Allocated 32 MB (total 5792 MB)
|
||
|
GC: 212.73 MB
|
||
|
Allocated 32 MB (total 5824 MB)
|
||
|
Allocated 32 MB (total 5856 MB)
|
||
|
GC: 230.21 MB
|
||
|
Allocated 32 MB (total 5888 MB)
|
||
|
Allocated 32 MB (total 5920 MB)
|
||
|
Allocated 32 MB (total 5952 MB)
|
||
|
Allocated 32 MB (total 5984 MB)
|
||
|
GC: 363.88 MB
|
||
|
GC: 304.37 MB
|
||
|
Allocated 32 MB (total 6016 MB)
|
||
|
Allocated 32 MB (total 6048 MB)
|
||
|
Allocated 32 MB (total 6080 MB)
|
||
|
GC: 361.37 MB
|
||
|
Allocated 32 MB (total 6112 MB)
|
||
|
Allocated 32 MB (total 6144 MB)
|
||
|
Allocated 32 MB (total 6176 MB)
|
||
|
GC: 399.56 MB
|
||
|
Allocated 32 MB (total 6208 MB)
|
||
|
Allocated 32 MB (total 6240 MB)
|
||
|
Allocated 32 MB (total 6272 MB)
|
||
|
GC: 647.72 MB
|
||
|
GC: 431.42 MB
|
||
|
85 UNSAT (31710 decisions 21903 conflicts)
|
||
|
Horizon 185: 1380614 variables
|
||
|
GC: 446.05 MB
|
||
|
GC: 350.45 MB
|
||
|
GC: 408.22 MB
|
||
|
GC: 415.02 MB
|
||
|
GC: 507.53 MB
|
||
|
GC: 593.10 MB
|
||
|
GC: 474.46 MB
|
||
|
GC: 461.28 MB
|
||
|
GC: 483.05 MB
|
||
|
GC: 457.09 MB
|
||
|
GC: 511.12 MB
|
||
|
|
||
|
|
||
|
# statistics in YAML format
|
||
|
---
|
||
|
runtime:
|
||
|
total: 899.12 # [s]
|
||
|
preprocessing: 7.17 # [s]
|
||
|
maxLearnedClauseLength: 66896
|
||
|
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: 1
|
||
|
decisions: 1
|
||
|
variables: 486734
|
||
|
- horizon: 70
|
||
|
result: unsatisfiable
|
||
|
conflicts: 37
|
||
|
decisions: 44
|
||
|
variables: 523979
|
||
|
- horizon: 75
|
||
|
result: unsatisfiable
|
||
|
conflicts: 412
|
||
|
decisions: 585
|
||
|
variables: 561224
|
||
|
- horizon: 80
|
||
|
result: unsatisfiable
|
||
|
conflicts: 2041
|
||
|
decisions: 3037
|
||
|
variables: 598469
|
||
|
- horizon: 85
|
||
|
result: unsatisfiable
|
||
|
conflicts: 21903
|
||
|
decisions: 31710
|
||
|
variables: 635714
|
||
|
- horizon: 90
|
||
|
result: unknown
|
||
|
conflicts: 55867
|
||
|
decisions: 89431
|
||
|
variables: 672959
|
||
|
- horizon: 95
|
||
|
result: unknown
|
||
|
conflicts: 50364
|
||
|
decisions: 90860
|
||
|
variables: 710204
|
||
|
- horizon: 100
|
||
|
result: unknown
|
||
|
conflicts: 45269
|
||
|
decisions: 90407
|
||
|
variables: 747449
|
||
|
- horizon: 105
|
||
|
result: unknown
|
||
|
conflicts: 40887
|
||
|
decisions: 74395
|
||
|
variables: 784694
|
||
|
- horizon: 110
|
||
|
result: unknown
|
||
|
conflicts: 36684
|
||
|
decisions: 73857
|
||
|
variables: 821939
|
||
|
- horizon: 115
|
||
|
result: unknown
|
||
|
conflicts: 32993
|
||
|
decisions: 68947
|
||
|
variables: 859184
|
||
|
- horizon: 120
|
||
|
result: unknown
|
||
|
conflicts: 29729
|
||
|
decisions: 71761
|
||
|
variables: 896429
|
||
|
- horizon: 125
|
||
|
result: unknown
|
||
|
conflicts: 26690
|
||
|
decisions: 62380
|
||
|
variables: 933674
|
||
|
- horizon: 130
|
||
|
result: unknown
|
||
|
conflicts: 24057
|
||
|
decisions: 57102
|
||
|
variables: 970919
|
||
|
- horizon: 135
|
||
|
result: unknown
|
||
|
conflicts: 21634
|
||
|
decisions: 52043
|
||
|
variables: 1008164
|
||
|
- horizon: 140
|
||
|
result: unknown
|
||
|
conflicts: 19448
|
||
|
decisions: 45810
|
||
|
variables: 1045409
|
||
|
- horizon: 145
|
||
|
result: unknown
|
||
|
conflicts: 17529
|
||
|
decisions: 43430
|
||
|
variables: 1082654
|
||
|
- horizon: 150
|
||
|
result: unknown
|
||
|
conflicts: 15781
|
||
|
decisions: 39479
|
||
|
variables: 1119899
|
||
|
- horizon: 155
|
||
|
result: unknown
|
||
|
conflicts: 14221
|
||
|
decisions: 36037
|
||
|
variables: 1157144
|
||
|
- horizon: 160
|
||
|
result: unknown
|
||
|
conflicts: 12783
|
||
|
decisions: 34095
|
||
|
variables: 1194389
|
||
|
- horizon: 165
|
||
|
result: unknown
|
||
|
conflicts: 11523
|
||
|
decisions: 30840
|
||
|
variables: 1231634
|
||
|
- horizon: 170
|
||
|
result: unknown
|
||
|
conflicts: 10382
|
||
|
decisions: 28457
|
||
|
variables: 1268879
|
||
|
- horizon: 175
|
||
|
result: unknown
|
||
|
conflicts: 9361
|
||
|
decisions: 26376
|
||
|
variables: 1306124
|
||
|
- horizon: 180
|
||
|
result: unknown
|
||
|
conflicts: 8400
|
||
|
decisions: 24027
|
||
|
variables: 1343369
|
||
|
- horizon: 185
|
||
|
result: unknown
|
||
|
conflicts: 7562
|
||
|
decisions: 21430
|
||
|
variables: 1380614
|
||
|
...
|
||
|
|