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