141 lines
4.7 KiB
Plaintext
141 lines
4.7 KiB
Plaintext
Madagascar 0.99999 25/02/2015 09:46:27 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 --verbose
|
|
|
|
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.29 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.32 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
|
|
|