1
0
tplp-planning-benchmark/m-mp/ipc-2006_trucks-propositional-strips_20.out

132 lines
4.2 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-2006/domains/trucks-propositional-strips/domains/domain-20.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-20.pddlignoring --stats
ignoring --verbose
-m 8192
Domain: grounded-trucks
Problem: grounded-truck-20
Parser: 14658 ground actions and 1656 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 4.60 secs
Goal: conjunctive
Simplified: 14633 ground actions and 1655 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.28 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 247 MB)
Horizon 0: 1655 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 83095 variables
Allocated 32 MB (total 444 MB)
5 UNSAT (36 decisions 36 conflicts)
Horizon 10: 164535 variables
Horizon 15: 245975 variables
Horizon 20: 327415 variables
Horizon 25: 408855 variables
Horizon 30: 490295 variables
Allocated 32 MB permanent (total 1065 MB)
Horizon 35: 571735 variables
Horizon 40: 653175 variables
Horizon 45: 734615 variables
Allocated 32 MB permanent (total 1456 MB)
Horizon 50: 816055 variables
Horizon 55: 897495 variables
Horizon 60: 978935 variables
Allocated 32 MB (total 1752 MB)
Allocated 32 MB permanent (total 1923 MB)
Horizon 65: 1060375 variables
Allocated 32 MB permanent (total 2099 MB)
Horizon 70: 1141815 variables
Horizon 75: 1223255 variables
Allocated 32 MB (total 2279 MB)
Allocated 32 MB permanent (total 2465 MB)
Horizon 80: 1304695 variables
Horizon 85: 1386135 variables
Allocated 32 MB (total 2655 MB)
Allocated 32 MB permanent (total 2850 MB)
Horizon 90: 1467575 variables
Allocated 32 MB permanent (total 3050 MB)
Horizon 95: 1549015 variables
Allocated 32 MB (total 3082 MB)
Allocated 32 MB permanent (total 3287 MB)
Horizon 100: 1630455 variables
Allocated 32 MB (total 3319 MB)
Horizon 105: 1711895 variables
Allocated 32 MB (total 3528 MB)
Allocated 32 MB (total 3560 MB)
Allocated 32 MB (total 3592 MB)
Allocated 32 MB (total 3624 MB)
Allocated 32 MB (total 3656 MB)
GC: 97.56 MB
Allocated 32 MB (total 3688 MB)
Allocated 32 MB (total 3720 MB)
Allocated 32 MB (total 3752 MB)
Allocated 32 MB (total 3784 MB)
Allocated 32 MB (total 3816 MB)
Allocated 32 MB (total 3848 MB)
Allocated 32 MB (total 3880 MB)
Allocated 32 MB (total 3912 MB)
Allocated 32 MB (total 3944 MB)
GC: 148.62 MB
Allocated 32 MB (total 3976 MB)
Allocated 32 MB (total 4008 MB)
Allocated 32 MB (total 4040 MB)
Allocated 32 MB (total 4072 MB)
Allocated 32 MB (total 4104 MB)
Allocated 32 MB (total 4136 MB)
Allocated 32 MB (total 4168 MB)
Allocated 32 MB (total 4200 MB)
Allocated 32 MB (total 4232 MB)
Allocated 32 MB (total 4264 MB)
GC: 584.31 MB
GC: 387.92 MB
GC: 340.45 MB
Allocated 32 MB (total 4296 MB)
Allocated 32 MB (total 4328 MB)
Allocated 32 MB (total 4360 MB)
Allocated 32 MB (total 4392 MB)
GC: 381.08 MB
Allocated 32 MB (total 4424 MB)
Allocated 32 MB (total 4456 MB)
Allocated 32 MB (total 4488 MB)
Allocated 32 MB (total 4520 MB)
GC: 408.40 MB
Allocated 32 MB (total 4552 MB)
Allocated 32 MB (total 4584 MB)
Allocated 32 MB (total 4616 MB)
Allocated 32 MB (total 4648 MB)
GC: 417.27 MB
Allocated 32 MB (total 4680 MB)
Allocated 32 MB (total 4712 MB)
Allocated 32 MB (total 4744 MB)
Allocated 32 MB (total 4776 MB)
GC: 451.95 MB
Allocated 32 MB (total 4808 MB)
Allocated 32 MB (total 4840 MB)
Allocated 32 MB (total 4872 MB)
Allocated 32 MB (total 4904 MB)
GC: 1225.79 MB
GC: 472.92 MB
GC: 511.29 MB
GC: 521.94 MB
GC: 557.38 MB
GC: 1014.99 MB
GC: 559.63 MB
GC: 553.42 MB
GC: 568.70 MB
GC: 563.59 MB
GC: 546.81 MB
GC: 606.18 MB
GC: 597.06 MB
GC: 625.59 MB
GC: 583.96 MB
GC: 584.15 MB
GC: 668.81 MB
GC: 662.70 MB
GC: 863.01 MB
GC: 611.68 MB
GC: 611.54 MB
GC: 684.16 MB
GC: 772.24 MB
GC: 917.38 MB
GC: 709.82 MB