82 lines
2.6 KiB
Plaintext
82 lines
2.6 KiB
Plaintext
Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS)
|
|
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-12.pddlignoring --stats
|
|
ignoring --verbose
|
|
|
|
Domain: mystery-strips
|
|
Problem: strips-mysty-x-12
|
|
Parser: 864 ground actions and 189 state variables
|
|
Invariants: 0 1 2 3 4 0.01 secs
|
|
Goal: conjunctive
|
|
Simplified: 459 ground actions and 97 state variables
|
|
Actions: STRIPS
|
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.00 secs (max SCC size 12)
|
|
Plan type: E-step
|
|
Allocated 32 MB permanent (total 124 MB)
|
|
Horizon 5: 3407 variables
|
|
Allocated 32 MB (total 233 MB)
|
|
Horizon 7: 4731 variables
|
|
5 UNSAT (84 decisions 70 conflicts)
|
|
Horizon 10: 6717 variables
|
|
Horizon 14: 9365 variables
|
|
Horizon 20: 13337 variables
|
|
7 UNSAT (317 decisions 204 conflicts)
|
|
Horizon 28: 18633 variables
|
|
Horizon 40: 26577 variables
|
|
Horizon 56: 37169 variables
|
|
Horizon 80: 53057 variables
|
|
Horizon 113: 74903 variables
|
|
Horizon 160: 106017 variables
|
|
Horizon 226: 149709 variables
|
|
Horizon 320: 211937 variables
|
|
Horizon 452: 299321 variables
|
|
Horizon 640: 423777 variables
|
|
Allocated 32 MB permanent (total 1530 MB)
|
|
Horizon 905: 599207 variables
|
|
Horizon 1280: 847457 variables
|
|
Allocated 32 MB permanent (total 1835 MB)
|
|
Horizon 1810: 1198317 variables
|
|
Allocated 32 MB (total 1867 MB)
|
|
Allocated 32 MB permanent (total 2076 MB)
|
|
Horizon 2560: 1694817 variables
|
|
10 UNSAT (1558 decisions 1083 conflicts)
|
|
Allocated 32 MB (total 2108 MB)
|
|
Allocated 32 MB (total 2140 MB)
|
|
Allocated 32 MB (total 2172 MB)
|
|
Allocated 32 MB (total 2204 MB)
|
|
GC: 108.86 MB
|
|
Allocated 32 MB (total 2236 MB)
|
|
Allocated 32 MB (total 2268 MB)
|
|
Allocated 32 MB (total 2300 MB)
|
|
GC: 159.25 MB
|
|
Allocated 32 MB (total 2332 MB)
|
|
GC: 198.79 MB
|
|
14 UNSAT (6165 decisions 4313 conflicts)
|
|
20 UNSAT (6862 decisions 5095 conflicts)
|
|
Allocated 32 MB (total 2364 MB)
|
|
Allocated 32 MB (total 2396 MB)
|
|
Allocated 32 MB (total 2428 MB)
|
|
GC: 364.63 MB
|
|
GC: 263.11 MB
|
|
GC: 270.24 MB
|
|
28 UNSAT (14199 decisions 10290 conflicts)
|
|
GC: 281.65 MB
|
|
GC: 241.92 MB
|
|
GC: 263.45 MB
|
|
GC: 289.48 MB
|
|
GC: 306.96 MB
|
|
GC: 273.77 MB
|
|
GC: 311.20 MB
|
|
GC: 311.20 MB
|
|
GC: 254.28 MB
|
|
40 UNSAT (35721 decisions 26506 conflicts)
|
|
GC: 323.07 MB
|
|
Allocated 32 MB (total 2460 MB)
|
|
GC: 371.42 MB
|
|
GC: 356.96 MB
|
|
56 UNSAT (46956 decisions 34767 conflicts)
|
|
Allocated 32 MB (total 2492 MB)
|
|
GC: 387.11 MB
|
|
GC: 387.72 MB
|
|
GC: 380.95 MB
|
|
|