Madagascar 0.99999 25/02/2015 09:03:18 amd64 1-core Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-13.pddlignoring --stats ignoring --verbose Domain: mystery-strips Problem: strips-mysty-x-13 Parser: 43554 ground actions and 1743 state variables Invariants: 0 1 2 3 4 5 6 7 0.61 secs Goal: conjunctive Simplified: 17295 ground actions and 1427 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.12 secs (max SCC size 46) Plan type: E-step Heuristic: VSIDS Allocated 32 MB permanent (total 301 MB) Horizon 0: 1427 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 179017 variables Allocated 32 MB (total 512 MB) 5 UNSAT (60 decisions 26 conflicts) Horizon 10: 356607 variables Horizon 15: 534197 variables Horizon 20: 711787 variables Horizon 25: 889377 variables Allocated 32 MB permanent (total 1180 MB) Horizon 30: 1066967 variables Horizon 35: 1244557 variables Allocated 32 MB permanent (total 1556 MB) Horizon 40: 1422147 variables Horizon 45: 1599737 variables Allocated 32 MB (total 1778 MB) Allocated 32 MB permanent (total 2014 MB) Horizon 50: 1777327 variables Horizon 55: 1954917 variables Allocated 32 MB (total 2262 MB) Allocated 32 MB permanent (total 2523 MB) Horizon 60: 2132507 variables Allocated 32 MB permanent (total 2797 MB) Horizon 65: 2310097 variables Allocated 32 MB (total 2829 MB) Allocated 32 MB permanent (total 3115 MB) Horizon 70: 2487687 variables Allocated 32 MB permanent (total 3414 MB) Horizon 75: 2665277 variables Allocated 32 MB (total 3446 MB) Allocated 32 MB permanent (total 3757 MB) Horizon 80: 2842867 variables Allocated 32 MB (total 3789 MB) Allocated 32 MB permanent (total 4114 MB) Horizon 85: 3020457 variables Allocated 32 MB permanent (total 4451 MB) Horizon 90: 3198047 variables Allocated 32 MB (total 4483 MB) Allocated 32 MB (total 4515 MB) Allocated 32 MB (total 4547 MB) Allocated 32 MB (total 4579 MB) Allocated 32 MB permanent (total 4929 MB) Horizon 95: 3375637 variables SAT (141758 decisions 1157 conflicts) PLAN FOUND: 10 steps STEP 0.0: feast(love,baguette,lemon,alsace,bavaria) overcome(anger-6,achievement,turkey,vulcan,venus) overcome(anxiety,intoxication,yogurt,neptune,vulcan) overcome(jealousy-22,aesthetics,hamburger,mars,neptune) overcome(loneliness-11,curiosity,ham,neptune,vulcan) STEP 0.1: feast(aesthetics,hamburger,scallion,alsace,bavaria) feast(intoxication,yogurt,scallop,oregon,alsace) STEP 1.0: feast(aesthetics,scallion,flounder,oregon,alsace) overcome(dread,satisfaction,rice,mars,neptune) overcome(hangover-15,achievement,turkey,neptune,vulcan) overcome(laceration-20,love,lemon,vulcan,venus) succumb(anxiety,intoxication,scallop,neptune,vulcan) succumb(loneliness-11,curiosity,ham,neptune,vulcan) STEP 1.1: feast(love,lemon,onion,bavaria,quebec) STEP 2.0: feast(aesthetics,flounder,lemon,bavaria,quebec) feast(satisfaction,rice,lettuce,bavaria,quebec) overcome(anger,entertainment,mutton,vulcan,venus) overcome(angina-14,achievement,turkey,mars,neptune) overcome(loneliness,intoxication,scallop,neptune,vulcan) succumb(laceration-20,love,onion,vulcan,venus) STEP 2.1: feast(achievement,turkey,onion,alsace,bavaria) STEP 3: overcome(abrasion-12,curiosity,ham,neptune,vulcan) succumb(hangover-15,achievement,onion,mars,neptune) succumb(jealousy-22,aesthetics,lemon,mars,neptune) succumb(loneliness,intoxication,scallop,neptune,vulcan) STEP 4.0: overcome(hangover-15,love,onion,vulcan,venus) overcome(laceration-20,achievement,onion,mars,neptune) overcome(prostatitis-18,aesthetics,lemon,mars,neptune) succumb(dread,satisfaction,lettuce,mars,neptune) STEP 4.1: feast(achievement,onion,turkey,oregon,alsace) feast(aesthetics,lemon,baguette,alsace,bavaria) feast(satisfaction,lettuce,chocolate,oregon,alsace) STEP 5.0: feast(satisfaction,chocolate,yogurt,alsace,bavaria) overcome(anxiety,intoxication,scallop,neptune,vulcan) overcome(prostatitis-13,curiosity,ham,mars,neptune) succumb(anger-6,achievement,turkey,mars,neptune) succumb(hangover-15,love,onion,vulcan,venus) succumb(prostatitis-18,aesthetics,baguette,mars,neptune) STEP 5.1: feast(achievement,turkey,potato,oregon,alsace) STEP 6: feast(entertainment,mutton,scallop,bavaria,quebec) overcome(boils,satisfaction,yogurt,mars,neptune) succumb(angina-14,achievement,potato,neptune,vulcan) STEP 7.0: feast(achievement,potato,muffin,oregon,alsace) overcome(abrasion,entertainment,scallop,neptune,vulcan) overcome(hangover-15,love,onion,vulcan,venus) overcome(prostatitis-18,aesthetics,baguette,mars,neptune) STEP 7.1: feast(aesthetics,baguette,lobster,oregon,alsace) STEP 8: feast(achievement,muffin,ham,alsace,bavaria) succumb(hangover-15,love,onion,vulcan,venus) STEP 9: succumb(laceration-20,achievement,ham,vulcan,venus) succumb(prostatitis-13,curiosity,ham,mars,neptune) succumb(prostatitis-18,aesthetics,lobster,mars,neptune) 52 actions in the plan. total time 40.62 preprocess 3.17 total size 5.035 GB max. learned clause length 65279 t val conflicts decisions 0 0 0 0 5 0 26 60 10 1 1157 141758