tplp-planning-benchmark/m-mpc/ipc-1998_mystery-prime-round-1-strips_18.out

91 lines
8.9 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-1998/domains/mystery-prime-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-prime-round-1-strips/instances/instance-18.pddlignoring --stats
ignoring --verbose
Domain: mystery-prime-strips
Problem: strips-mprime-x-18
Parser: 115962 ground actions and 957 state variables
Invariants: 0 1 2 3 4 5 6 0.18 secs
Goal: conjunctive
Simplified: 30366 ground actions and 619 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.24 secs (max SCC size 21672)
Plan type: E-step
Allocated 32 MB permanent (total 371 MB)
Horizon 5: 398784 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 7: 558050 variables
Allocated 32 MB (total 638 MB)
7 UNSAT (87 decisions 44 conflicts)
Horizon 10: 796949 variables
Horizon 14: 1115481 variables
Horizon 20: 1593279 variables
Allocated 32 MB permanent (total 1315 MB)
Horizon 28: 2230343 variables
Horizon 40: 3185939 variables
Allocated 32 MB permanent (total 1952 MB)
Horizon 56: 4460067 variables
Allocated 32 MB permanent (total 2437 MB)
Allocated 32 MB permanent (total 2469 MB)
Horizon 80: 6371259 variables
Allocated 32 MB permanent (total 3109 MB)
Allocated 32 MB permanent (total 3141 MB)
Horizon 113: 8999148 variables
Allocated 32 MB permanent (total 4003 MB)
Allocated 32 MB permanent (total 4035 MB)
Horizon 160: 12741899 variables
Allocated 32 MB permanent (total 5207 MB)
Allocated 32 MB permanent (total 5239 MB)
Allocated 32 MB permanent (total 5271 MB)
Allocated 32 MB permanent (total 5303 MB)
Horizon 226: 17997677 variables
Allocated 32 MB permanent (total 6918 MB)
Allocated 32 MB permanent (total 6950 MB)
Allocated 32 MB permanent (total 6982 MB)
Allocated 32 MB permanent (total 7014 MB)
Allocated 32 MB permanent (total 7046 MB)
Horizon 320: 25483179 variables
Allocated 32 MB (total 7078 MB)
GC: 33.46 MB
10 UNSAT (4891 decisions 2624 conflicts)
GC: 43.44 MB
GC: 35.56 MB
SAT (31116 decisions 6713 conflicts)
PLAN FOUND: 80 steps
STEP 0.0: drink(cantelope,pepper,oregon,bosnia,alsace,oregon,moravia) drink(chocolate,scallop,surrey,manitoba,guanabara,guanabara,manitoba) drink(cucumber,chicken,arizona,moravia,oregon,manitoba,surrey) drink(guava,rice,bosnia,alsace,surrey,moravia,arizona) drink(haroset,endive,alsace,surrey,manitoba,guanabara,manitoba) drink(lemon,bacon,bosnia,alsace,surrey,guanabara,manitoba) drink(marzipan,orange,oregon,bosnia,alsace,guanabara,manitoba) drink(pea,hotdog,surrey,manitoba,guanabara,guanabara,manitoba) drink(wurst,tofu,arizona,moravia,oregon,moravia,arizona) feast(expectation,potato,turkey,guanabara,manitoba) overcome(sciatica,satisfaction,turkey,vulcan,pluto)
STEP 0.1: feast(satisfaction,turkey,orange,manitoba,surrey)
STEP 1: drink(cucumber,hotdog,moravia,oregon,bosnia,manitoba,surrey) drink(haroset,cantelope,surrey,manitoba,guanabara,bosnia,oregon) drink(lemon,broccoli,alsace,surrey,manitoba,surrey,alsace) drink(marzipan,wonderbread,bosnia,alsace,surrey,alsace,bosnia) drink(pepper,chocolate,moravia,oregon,bosnia,manitoba,surrey) drink(rice,guava,arizona,moravia,oregon,alsace,bosnia) drink(tofu,pea,arizona,moravia,oregon,manitoba,surrey) drink(wurst,potato,moravia,oregon,bosnia,guanabara,manitoba) feast(expectation,turkey,orange,guanabara,manitoba) feast(rest,scallop,chicken,guanabara,manitoba) feast(satisfaction,orange,marzipan,guanabara,manitoba) feast(triumph,bacon,broccoli,guanabara,manitoba)
STEP 2.0: drink(cantelope,wonderbread,oregon,bosnia,alsace,bosnia,oregon) drink(chocolate,scallop,surrey,manitoba,guanabara,guanabara,manitoba) drink(guava,tofu,bosnia,alsace,surrey,moravia,arizona) drink(hotdog,pepper,surrey,manitoba,guanabara,oregon,moravia) drink(lemon,orange,surrey,manitoba,guanabara,guanabara,manitoba) drink(pea,chicken,surrey,manitoba,guanabara,surrey,alsace) drink(rice,cucumber,moravia,oregon,bosnia,oregon,moravia) drink(wurst,turkey,oregon,bosnia,alsace,guanabara,manitoba) feast(triumph,broccoli,turkey,surrey,alsace) overcome(angina,satisfaction,marzipan,neptune,vulcan)
STEP 2.1: feast(satisfaction,marzipan,orange,surrey,alsace)
STEP 3: drink(cucumber,broccoli,moravia,oregon,bosnia,surrey,alsace) drink(guava,hotdog,alsace,surrey,manitoba,manitoba,surrey) drink(marzipan,lemon,surrey,manitoba,guanabara,manitoba,surrey) drink(pepper,rice,moravia,oregon,bosnia,oregon,moravia) drink(tofu,scallop,arizona,moravia,oregon,manitoba,surrey) drink(wonderbread,orange,oregon,bosnia,alsace,manitoba,surrey) drink(wurst,pea,bosnia,alsace,surrey,manitoba,surrey) feast(curiosity,cantelope,pepper,alsace,bosnia) feast(entertainment,chocolate,tofu,guanabara,manitoba) feast(rest,chicken,rice,surrey,alsace) feast(triumph,turkey,orange,guanabara,manitoba) succumb(angina,satisfaction,orange,neptune,vulcan)
STEP 4.0: drink(cantelope,potato,alsace,surrey,manitoba,manitoba,surrey) drink(chicken,hotdog,surrey,manitoba,guanabara,surrey,alsace) drink(cucumber,broccoli,oregon,bosnia,alsace,alsace,bosnia) drink(guava,wurst,surrey,manitoba,guanabara,alsace,bosnia) drink(lemon,turkey,surrey,manitoba,guanabara,guanabara,manitoba) drink(pea,haroset,surrey,manitoba,guanabara,manitoba,surrey) drink(scallop,wonderbread,surrey,manitoba,guanabara,bosnia,oregon) feast(curiosity,pepper,guava,bosnia,oregon) feast(entertainment,tofu,wonderbread,oregon,moravia) feast(rest,rice,chicken,oregon,moravia) overcome(angina,triumph,orange,pluto,jupiter)
STEP 4.1: feast(triumph,orange,turkey,manitoba,surrey)
STEP 5.0: drink(cantelope,orange,surrey,manitoba,guanabara,manitoba,surrey) drink(cucumber,hotdog,bosnia,alsace,surrey,alsace,bosnia) drink(haroset,pea,surrey,manitoba,guanabara,manitoba,surrey) drink(rice,broccoli,oregon,bosnia,alsace,bosnia,oregon) drink(tofu,marzipan,oregon,bosnia,alsace,manitoba,surrey) drink(wurst,scallop,bosnia,alsace,surrey,manitoba,surrey) feast(curiosity,guava,wonderbread,guanabara,manitoba) feast(learning,pepper,guava,alsace,bosnia) feast(rest,chicken,scallop,guanabara,manitoba) feast(triumph,turkey,potato,guanabara,manitoba) overcome(jealousy,entertainment,wonderbread,pluto,jupiter)
STEP 5.1: feast(entertainment,wonderbread,pea,bosnia,oregon)
STEP 6: drink(hotdog,rice,bosnia,alsace,surrey,bosnia,oregon) drink(marzipan,chicken,surrey,manitoba,guanabara,guanabara,manitoba) drink(orange,guava,surrey,manitoba,guanabara,guanabara,manitoba) drink(tofu,pepper,bosnia,alsace,surrey,alsace,bosnia) drink(wurst,cucumber,alsace,surrey,manitoba,alsace,bosnia) feast(curiosity,wonderbread,pea,alsace,bosnia) feast(entertainment,pea,rice,manitoba,surrey) feast(rest,scallop,potato,manitoba,surrey) feast(triumph,potato,scallop,manitoba,surrey)
STEP 7: drink(broccoli,pepper,oregon,bosnia,alsace,bosnia,oregon) drink(hotdog,cucumber,alsace,surrey,manitoba,bosnia,oregon) drink(tofu,potato,alsace,surrey,manitoba,manitoba,surrey) drink(wurst,wonderbread,surrey,manitoba,guanabara,alsace,bosnia) feast(curiosity,pea,rice,guanabara,manitoba) feast(entertainment,rice,chicken,bosnia,oregon) feast(learning,guava,wonderbread,guanabara,manitoba) feast(triumph,scallop,chicken,guanabara,manitoba)
STEP 8: drink(broccoli,lemon,bosnia,alsace,surrey,manitoba,surrey) drink(hotdog,orange,surrey,manitoba,guanabara,manitoba,surrey) drink(pepper,cucumber,oregon,bosnia,alsace,oregon,moravia) drink(potato,pea,surrey,manitoba,guanabara,guanabara,manitoba) drink(tofu,cantelope,surrey,manitoba,guanabara,manitoba,surrey) feast(curiosity,rice,chicken,alsace,bosnia) feast(learning,wonderbread,pea,alsace,bosnia) succumb(angina,triumph,chicken,pluto,jupiter)
STEP 9.0: drink(broccoli,tofu,alsace,surrey,manitoba,manitoba,surrey) drink(cantelope,wonderbread,surrey,manitoba,guanabara,alsace,bosnia) drink(cucumber,rice,moravia,oregon,bosnia,alsace,bosnia) drink(orange,potato,surrey,manitoba,guanabara,manitoba,surrey) drink(pepper,marzipan,bosnia,alsace,surrey,manitoba,surrey) feast(learning,pea,cucumber,guanabara,manitoba) overcome(angina,entertainment,chicken,vulcan,pluto)
STEP 9.1: feast(entertainment,chicken,rice,guanabara,manitoba)
STEP 10.0: drink(lemon,orange,surrey,manitoba,guanabara,manitoba,surrey) drink(marzipan,tofu,surrey,manitoba,guanabara,surrey,alsace) drink(pepper,wonderbread,alsace,surrey,manitoba,bosnia,oregon) drink(potato,pea,surrey,manitoba,guanabara,guanabara,manitoba) succumb(jealousy,entertainment,rice,vulcan,pluto)
STEP 10.1: feast(entertainment,rice,pea,alsace,bosnia)
STEP 11: drink(orange,wonderbread,surrey,manitoba,guanabara,oregon,moravia) feast(entertainment,pea,wonderbread,guanabara,manitoba)
STEP 12: feast(entertainment,wonderbread,tofu,oregon,moravia)
STEP 13: feast(entertainment,tofu,chocolate,surrey,alsace)
STEP 14: succumb(angina,entertainment,chocolate,pluto,jupiter)
115 actions in the plan.
total time 213.06 preprocess 2.03
total size 7.352 GB
max. learned clause length 10243
t val conflicts decisions
5 0 0 0
7 0 44 87
10 0 2624 4891
14 -1 7039 28531
20 -1 6987 30501
28 -1 6919 31289
40 -1 6868 28508
56 -1 6803 30426
80 1 6713 31116