116 lines
3.1 KiB
Plaintext
116 lines
3.1 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-2004/domains/pipesworld-tankage-nontemporal-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/pipesworld-tankage-nontemporal-strips/instances/instance-14.pddlignoring --stats
|
||
|
ignoring --verbose
|
||
|
-m 8192
|
||
|
Domain: pipesworld_strips
|
||
|
Problem: p14-net2-b12-g5_rt0_instance
|
||
|
Parser: 2682 ground actions and 319 state variables
|
||
|
Invariants: 0 1 2 3 4 0.05 secs
|
||
|
Goal: conjunctive
|
||
|
Simplified: 2532 ground actions and 254 state variables
|
||
|
Actions: STRIPS
|
||
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.03 secs (max SCC size 1734)
|
||
|
Plan type: E-step
|
||
|
Allocated 32 MB permanent (total 150 MB)
|
||
|
Horizon 0: 254 variables
|
||
|
0 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 5: 50529 variables
|
||
|
5 UNSAT (0 decisions 0 conflicts)
|
||
|
Horizon 10: 100804 variables
|
||
|
Allocated 32 MB (total 423 MB)
|
||
|
Horizon 15: 151079 variables
|
||
|
Horizon 20: 201354 variables
|
||
|
Horizon 25: 251629 variables
|
||
|
Horizon 30: 301904 variables
|
||
|
Horizon 35: 352179 variables
|
||
|
Horizon 40: 402454 variables
|
||
|
Horizon 45: 452729 variables
|
||
|
Horizon 50: 503004 variables
|
||
|
Horizon 55: 553279 variables
|
||
|
Allocated 32 MB permanent (total 1442 MB)
|
||
|
Horizon 60: 603554 variables
|
||
|
Horizon 65: 653829 variables
|
||
|
Horizon 70: 704104 variables
|
||
|
Horizon 75: 754379 variables
|
||
|
Horizon 80: 804654 variables
|
||
|
Allocated 32 MB permanent (total 2078 MB)
|
||
|
Horizon 85: 854929 variables
|
||
|
Horizon 90: 905204 variables
|
||
|
Horizon 95: 955479 variables
|
||
|
Horizon 100: 1005754 variables
|
||
|
Allocated 32 MB permanent (total 2648 MB)
|
||
|
Horizon 105: 1056029 variables
|
||
|
10 UNSAT (1544 decisions 1272 conflicts)
|
||
|
Horizon 110: 1106304 variables
|
||
|
GC: 18.04 MB
|
||
|
Allocated 32 MB (total 2821 MB)
|
||
|
GC: 21.82 MB
|
||
|
GC: 39.87 MB
|
||
|
GC: 37.25 MB
|
||
|
GC: 34.67 MB
|
||
|
GC: 44.10 MB
|
||
|
GC: 42.98 MB
|
||
|
GC: 44.19 MB
|
||
|
GC: 46.74 MB
|
||
|
Allocated 32 MB (total 2853 MB)
|
||
|
GC: 52.41 MB
|
||
|
GC: 51.61 MB
|
||
|
GC: 57.38 MB
|
||
|
GC: 53.97 MB
|
||
|
GC: 59.42 MB
|
||
|
GC: 62.99 MB
|
||
|
GC: 65.67 MB
|
||
|
GC: 65.60 MB
|
||
|
Allocated 32 MB (total 2885 MB)
|
||
|
GC: 72.16 MB
|
||
|
GC: 74.24 MB
|
||
|
GC: 74.73 MB
|
||
|
GC: 74.71 MB
|
||
|
GC: 79.92 MB
|
||
|
GC: 85.52 MB
|
||
|
GC: 84.59 MB
|
||
|
GC: 79.64 MB
|
||
|
GC: 86.64 MB
|
||
|
GC: 87.81 MB
|
||
|
Allocated 32 MB (total 2917 MB)
|
||
|
GC: 100.61 MB
|
||
|
GC: 91.64 MB
|
||
|
GC: 94.38 MB
|
||
|
GC: 102.93 MB
|
||
|
GC: 101.13 MB
|
||
|
GC: 98.26 MB
|
||
|
GC: 102.59 MB
|
||
|
GC: 108.73 MB
|
||
|
GC: 102.22 MB
|
||
|
GC: 103.32 MB
|
||
|
GC: 114.89 MB
|
||
|
GC: 118.90 MB
|
||
|
Allocated 32 MB (total 2949 MB)
|
||
|
GC: 128.92 MB
|
||
|
GC: 116.31 MB
|
||
|
GC: 118.68 MB
|
||
|
GC: 118.86 MB
|
||
|
GC: 126.29 MB
|
||
|
GC: 129.56 MB
|
||
|
GC: 123.93 MB
|
||
|
GC: 134.64 MB
|
||
|
GC: 127.87 MB
|
||
|
GC: 126.39 MB
|
||
|
GC: 136.32 MB
|
||
|
GC: 140.12 MB
|
||
|
GC: 137.97 MB
|
||
|
GC: 135.10 MB
|
||
|
GC: 129.93 MB
|
||
|
GC: 137.51 MB
|
||
|
GC: 138.50 MB
|
||
|
GC: 128.81 MB
|
||
|
Allocated 32 MB (total 2981 MB)
|
||
|
GC: 152.51 MB
|
||
|
GC: 149.90 MB
|
||
|
GC: 148.55 MB
|
||
|
GC: 156.34 MB
|
||
|
GC: 159.16 MB
|
||
|
GC: 159.80 MB
|
||
|
GC: 169.24 MB
|
||
|
|