104 lines
3.8 KiB
Plaintext
104 lines
3.8 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-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-72.pddlignoring --stats
|
|
ignoring --verbose
|
|
|
|
Domain: blocks
|
|
Problem: blocks-35-1
|
|
Parser: 2520 ground actions and 1331 state variables
|
|
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 0.87 secs
|
|
Goal: conjunctive
|
|
Simplified: 2520 ground actions and 1331 state variables
|
|
Actions: STRIPS
|
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.55 secs (max SCC size 1)
|
|
Plan type: E-step
|
|
Allocated 32 MB permanent (total 146 MB)
|
|
Horizon 5: 20586 variables
|
|
5 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 7: 28288 variables
|
|
7 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 10: 39841 variables
|
|
10 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 14: 55245 variables
|
|
14 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 20: 78351 variables
|
|
20 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 28: 109159 variables
|
|
28 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 40: 155371 variables
|
|
40 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 56: 216987 variables
|
|
56 UNSAT (0 decisions 0 conflicts)
|
|
Allocated 32 MB permanent (total 927 MB)
|
|
Horizon 80: 309411 variables
|
|
Allocated 32 MB (total 959 MB)
|
|
Horizon 113: 436494 variables
|
|
Allocated 32 MB permanent (total 1206 MB)
|
|
Horizon 160: 617491 variables
|
|
Allocated 32 MB permanent (total 1366 MB)
|
|
Horizon 226: 871657 variables
|
|
Allocated 32 MB permanent (total 1547 MB)
|
|
Allocated 32 MB permanent (total 1579 MB)
|
|
Horizon 320: 1233651 variables
|
|
80 UNSAT (388 decisions 263 conflicts)
|
|
Allocated 32 MB permanent (total 1790 MB)
|
|
Allocated 32 MB permanent (total 1822 MB)
|
|
Horizon 452: 1741983 variables
|
|
Allocated 32 MB permanent (total 2076 MB)
|
|
Allocated 32 MB permanent (total 2108 MB)
|
|
Allocated 32 MB permanent (total 2140 MB)
|
|
Horizon 640: 2465971 variables
|
|
Allocated 32 MB permanent (total 2455 MB)
|
|
Allocated 32 MB permanent (total 2487 MB)
|
|
Allocated 32 MB permanent (total 2519 MB)
|
|
Allocated 32 MB permanent (total 2551 MB)
|
|
Allocated 32 MB permanent (total 2583 MB)
|
|
Horizon 905: 3486486 variables
|
|
Allocated 32 MB permanent (total 2983 MB)
|
|
Allocated 32 MB permanent (total 3015 MB)
|
|
Allocated 32 MB permanent (total 3047 MB)
|
|
Allocated 32 MB permanent (total 3079 MB)
|
|
Allocated 32 MB permanent (total 3111 MB)
|
|
Allocated 32 MB permanent (total 3143 MB)
|
|
Horizon 1280: 4930611 variables
|
|
Allocated 32 MB permanent (total 3663 MB)
|
|
Allocated 32 MB permanent (total 3695 MB)
|
|
Allocated 32 MB permanent (total 3727 MB)
|
|
Allocated 32 MB permanent (total 3759 MB)
|
|
Allocated 32 MB permanent (total 3791 MB)
|
|
Allocated 32 MB permanent (total 3823 MB)
|
|
Allocated 32 MB permanent (total 3855 MB)
|
|
Allocated 32 MB permanent (total 3887 MB)
|
|
Allocated 32 MB permanent (total 3919 MB)
|
|
Horizon 1810: 6971641 variables
|
|
Allocated 32 MB permanent (total 4611 MB)
|
|
Allocated 32 MB permanent (total 4643 MB)
|
|
Allocated 32 MB permanent (total 4675 MB)
|
|
Allocated 32 MB permanent (total 4707 MB)
|
|
Allocated 32 MB permanent (total 4739 MB)
|
|
Allocated 32 MB permanent (total 4771 MB)
|
|
Allocated 32 MB permanent (total 4803 MB)
|
|
Allocated 32 MB permanent (total 4835 MB)
|
|
Allocated 32 MB permanent (total 4867 MB)
|
|
Allocated 32 MB permanent (total 4899 MB)
|
|
Allocated 32 MB permanent (total 4931 MB)
|
|
Allocated 32 MB permanent (total 4963 MB)
|
|
Allocated 32 MB permanent (total 4995 MB)
|
|
Horizon 2560: 9859891 variables
|
|
GC: 47.72 MB
|
|
GC: 15.04 MB
|
|
Allocated 32 MB (total 5027 MB)
|
|
GC: 17.21 MB
|
|
GC: 23.34 MB
|
|
GC: 25.81 MB
|
|
GC: 27.09 MB
|
|
Allocated 32 MB (total 5059 MB)
|
|
GC: 30.57 MB
|
|
GC: 47.95 MB
|
|
GC: 28.78 MB
|
|
GC: 32.70 MB
|
|
GC: 31.87 MB
|
|
GC: 32.52 MB
|
|
GC: 34.38 MB
|
|
GC: 37.54 MB
|
|
|