1
0
tplp-planning-benchmark/m-mp/ipc-2011_no-mystery-sequential-satisficing_19.out

121 lines
4.5 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-2011/domains/no-mystery-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/no-mystery-sequential-satisficing/instances/instance-19.pddlignoring --stats
ignoring --verbose
-m 8192
Domain: transport-strips
Problem: transport-l14-t1-p14---int100n150-m25---int100c110---s1---e0
Parser: 9350 ground actions and 25958 state variables
Invariants: 0 1 2 3 4 5 6 7 8 1.30 secs
Goal: conjunctive
Simplified: 9119 ground actions and 449 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 232 MB)
Horizon 0: 449 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 48289 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 96129 variables
Allocated 32 MB (total 508 MB)
Horizon 15: 143969 variables
Horizon 20: 191809 variables
Horizon 25: 239649 variables
Horizon 30: 287489 variables
Horizon 35: 335329 variables
Horizon 40: 383169 variables
Allocated 32 MB permanent (total 1194 MB)
Horizon 45: 431009 variables
10 UNSAT (518 decisions 460 conflicts)
Horizon 50: 478849 variables
Horizon 55: 526689 variables
Allocated 32 MB permanent (total 1548 MB)
Horizon 60: 574529 variables
Allocated 32 MB (total 1580 MB)
Horizon 65: 622369 variables
Horizon 70: 670209 variables
Allocated 32 MB (total 1841 MB)
Allocated 32 MB permanent (total 1992 MB)
Horizon 75: 718049 variables
Horizon 80: 765889 variables
Allocated 32 MB (total 2146 MB)
Allocated 32 MB permanent (total 2302 MB)
Horizon 85: 813729 variables
Allocated 32 MB (total 2334 MB)
Horizon 90: 861569 variables
Allocated 32 MB permanent (total 2624 MB)
Horizon 95: 909409 variables
Allocated 32 MB (total 2656 MB)
Horizon 100: 957249 variables
Allocated 32 MB (total 2820 MB)
Allocated 32 MB permanent (total 2988 MB)
Horizon 105: 1005089 variables
Allocated 32 MB (total 3020 MB)
Horizon 110: 1052929 variables
Allocated 32 MB (total 3191 MB)
Allocated 32 MB (total 3223 MB)
Allocated 32 MB (total 3255 MB)
Allocated 32 MB (total 3287 MB)
Allocated 32 MB (total 3319 MB)
Allocated 32 MB (total 3351 MB)
Allocated 32 MB (total 3383 MB)
Allocated 32 MB (total 3415 MB)
15 UNSAT (2924 decisions 2090 conflicts)
Allocated 32 MB permanent (total 3588 MB)
Horizon 115: 1100769 variables
GC: 428.76 MB
Allocated 32 MB (total 3620 MB)
Allocated 32 MB (total 3652 MB)
Allocated 32 MB (total 3684 MB)
Allocated 32 MB (total 3716 MB)
Allocated 32 MB (total 3748 MB)
Allocated 32 MB (total 3780 MB)
GC: 504.93 MB
SAT (8169 decisions 5855 conflicts)
PLAN FOUND: 20 steps
STEP 0.0: load(p7,t0,l1)
STEP 0.1: drive(t0,l1,l2,level221,level3,level224)
STEP 1: drive(t0,l2,l12,level208,level13,level221)
STEP 2.0: load(p0,t0,l12) load(p1,t0,l12)
STEP 2.1: drive(t0,l12,l11,level194,level14,level208)
STEP 3.0: load(p11,t0,l11) load(p5,t0,l11)
STEP 3.1: drive(t0,l11,l0,level172,level22,level194)
STEP 4.0: unload(p1,t0,l0) unload(p5,t0,l0)
STEP 4.1: drive(t0,l0,l4,level162,level10,level172)
STEP 5.0: load(p3,t0,l4) load(p4,t0,l4) unload(p0,t0,l4)
STEP 5.1: drive(t0,l4,l0,level152,level10,level162)
STEP 6: drive(t0,l0,l10,level143,level9,level152)
STEP 7.0: load(p6,t0,l10)
STEP 7.1: drive(t0,l10,l7,level141,level2,level143)
STEP 8.0: load(p13,t0,l7) load(p2,t0,l7) load(p8,t0,l7) unload(p4,t0,l7)
STEP 8.1: drive(t0,l7,l10,level139,level2,level141)
STEP 9: drive(t0,l10,l5,level133,level6,level139)
STEP 10.0: unload(p7,t0,l5)
STEP 10.1: drive(t0,l5,l1,level128,level5,level133)
STEP 11: drive(t0,l1,l3,level116,level12,level128)
STEP 12.0: load(p9,t0,l3)
STEP 12.1: drive(t0,l3,l6,level91,level25,level116)
STEP 13.0: load(p10,t0,l6) load(p12,t0,l6) unload(p3,t0,l6) unload(p8,t0,l6)
STEP 13.1: drive(t0,l6,l3,level66,level25,level91)
STEP 14: drive(t0,l3,l2,level45,level21,level66)
STEP 15.0: unload(p11,t0,l2)
STEP 15.1: drive(t0,l2,l0,level27,level18,level45)
STEP 16.0: unload(p6,t0,l0) unload(p9,t0,l0)
STEP 16.1: drive(t0,l0,l9,level26,level1,level27)
STEP 17: drive(t0,l9,l8,level12,level14,level26)
STEP 18.0: unload(p10,t0,l8) unload(p2,t0,l8)
STEP 18.1: drive(t0,l8,l13,level2,level10,level12)
STEP 19: unload(p12,t0,l13) unload(p13,t0,l13)
47 actions in the plan.
Cost of the plan is 47.
total time 375.97 preprocess 289.44
total size 3.891 GB
max. learned clause length 637407
t val conflicts decisions
0 0 0 0
5 0 0 0
10 0 460 518
15 0 2090 2924
20 1 5855 8169