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

122 lines
4.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-2006/domains/trucks-propositional-strips/domains/domain-26.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-26.pddlignoring --stats
ignoring --verbose
-m 8192
Domain: grounded-trucks
Problem: grounded-truck-26
Parser: 28098 ground actions and 2708 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 13.27 secs
Goal: conjunctive
Simplified: 28062 ground actions and 2707 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.91 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 405 MB)
Horizon 0: 2707 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 156552 variables
Allocated 32 MB (total 613 MB)
Horizon 10: 310397 variables
5 UNSAT (102 decisions 92 conflicts)
Horizon 15: 464242 variables
Horizon 20: 618087 variables
Allocated 32 MB permanent (total 1079 MB)
Horizon 25: 771932 variables
Horizon 30: 925777 variables
Horizon 35: 1079622 variables
Allocated 32 MB permanent (total 1531 MB)
Horizon 40: 1233467 variables
Allocated 32 MB permanent (total 1722 MB)
Horizon 45: 1387312 variables
Horizon 50: 1541157 variables
Allocated 32 MB permanent (total 2098 MB)
Horizon 55: 1695002 variables
Allocated 32 MB permanent (total 2315 MB)
Horizon 60: 1848847 variables
Allocated 32 MB (total 2347 MB)
Allocated 32 MB permanent (total 2574 MB)
Horizon 65: 2002692 variables
Allocated 32 MB permanent (total 2810 MB)
Horizon 70: 2156537 variables
Allocated 32 MB (total 2842 MB)
Allocated 32 MB permanent (total 3087 MB)
Horizon 75: 2310382 variables
Allocated 32 MB permanent (total 3341 MB)
Horizon 80: 2464227 variables
Allocated 32 MB (total 3373 MB)
Allocated 32 MB permanent (total 3636 MB)
Horizon 85: 2618072 variables
Allocated 32 MB permanent (total 3908 MB)
Horizon 90: 2771917 variables
Allocated 32 MB (total 3940 MB)
Allocated 32 MB permanent (total 4222 MB)
Allocated 32 MB permanent (total 4254 MB)
Horizon 95: 2925762 variables
Allocated 32 MB (total 4286 MB)
Allocated 32 MB permanent (total 4576 MB)
Horizon 100: 3079607 variables
Allocated 32 MB permanent (total 4876 MB)
Allocated 32 MB permanent (total 4908 MB)
Horizon 105: 3233452 variables
Allocated 32 MB (total 4940 MB)
Allocated 32 MB (total 4972 MB)
Allocated 32 MB (total 5004 MB)
Allocated 32 MB (total 5036 MB)
Allocated 32 MB (total 5068 MB)
Allocated 32 MB (total 5100 MB)
GC: 166.44 MB
Allocated 32 MB (total 5132 MB)
Allocated 32 MB (total 5164 MB)
Allocated 32 MB (total 5196 MB)
Allocated 32 MB (total 5228 MB)
Allocated 32 MB (total 5260 MB)
Allocated 32 MB (total 5292 MB)
Allocated 32 MB (total 5324 MB)
GC: 226.07 MB
Allocated 32 MB (total 5356 MB)
Allocated 32 MB (total 5388 MB)
Allocated 32 MB (total 5420 MB)
Allocated 32 MB (total 5452 MB)
Allocated 32 MB (total 5484 MB)
GC: 235.05 MB
Allocated 32 MB (total 5516 MB)
Allocated 32 MB (total 5548 MB)
Allocated 32 MB (total 5580 MB)
Allocated 32 MB (total 5612 MB)
Allocated 32 MB (total 5644 MB)
Allocated 32 MB (total 5676 MB)
GC: 713.63 MB
GC: 391.06 MB
GC: 408.70 MB
GC: 415.93 MB
Allocated 32 MB (total 5708 MB)
Allocated 32 MB (total 5740 MB)
GC: 440.18 MB
Allocated 32 MB (total 5772 MB)
Allocated 32 MB (total 5804 MB)
Allocated 32 MB (total 5836 MB)
GC: 480.43 MB
Allocated 32 MB (total 5868 MB)
Allocated 32 MB (total 5900 MB)
Allocated 32 MB (total 5932 MB)
Allocated 32 MB (total 5964 MB)
Allocated 32 MB (total 5996 MB)
GC: 1031.11 MB
GC: 593.94 MB
GC: 578.22 MB
GC: 580.85 MB
GC: 586.53 MB
GC: 932.27 MB
GC: 618.43 MB
GC: 623.59 MB
GC: 624.74 MB
GC: 658.00 MB
GC: 646.75 MB
GC: 668.48 MB
GC: 675.32 MB
GC: 747.11 MB
GC: 635.58 MB
GC: 644.44 MB
GC: 710.27 MB