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-round-1-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-1998/domains/mystery-round-1-strips/instances/instance-14.pddlignoring --stats ignoring --verbose Domain: mystery-strips Problem: strips-mysty-x-14 Parser: 52506 ground actions and 1821 state variables Invariants: 0 1 2 3 4 5 6 0.35 secs Goal: conjunctive Simplified: 45872 ground actions and 1601 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.19 secs (max SCC size 44) Plan type: E-step Allocated 32 MB permanent (total 470 MB) Horizon 5: 462971 variables Allocated 32 MB (total 635 MB) 5 UNSAT (11 decisions 7 conflicts) Horizon 7: 647519 variables Horizon 10: 924341 variables Horizon 14: 1293437 variables Allocated 32 MB permanent (total 1253 MB) Horizon 20: 1847081 variables Allocated 32 MB permanent (total 1514 MB) Horizon 28: 2585273 variables Allocated 32 MB permanent (total 1841 MB) Horizon 40: 3692561 variables Allocated 32 MB permanent (total 2255 MB) Horizon 56: 5168945 variables 7 UNSAT (635 decisions 366 conflicts) Allocated 32 MB permanent (total 2800 MB) Allocated 32 MB permanent (total 2832 MB) Horizon 80: 7383521 variables Allocated 32 MB permanent (total 3557 MB) Allocated 32 MB permanent (total 3589 MB) Allocated 32 MB permanent (total 3621 MB) Horizon 113: 10428563 variables Allocated 32 MB permanent (total 4602 MB) Allocated 32 MB permanent (total 4634 MB) Allocated 32 MB permanent (total 4666 MB) Allocated 32 MB permanent (total 4698 MB) Horizon 160: 14765441 variables Allocated 32 MB permanent (total 6039 MB) Allocated 32 MB permanent (total 6071 MB) Allocated 32 MB permanent (total 6103 MB) Allocated 32 MB permanent (total 6135 MB) Allocated 32 MB permanent (total 6167 MB) Allocated 32 MB permanent (total 6199 MB) Horizon 226: 20855525 variables Allocated 32 MB (total 6231 MB) Allocated 32 MB (total 6263 MB) Allocated 32 MB (total 6295 MB) Allocated 32 MB (total 6327 MB) Allocated 32 MB (total 6359 MB) Allocated 32 MB (total 6391 MB) Allocated 32 MB (total 6423 MB) Allocated 32 MB (total 6455 MB) Allocated 32 MB (total 6487 MB) Allocated 32 MB (total 6519 MB) GC: 306.91 MB SAT (8365 decisions 2949 conflicts) PLAN FOUND: 80 steps STEP 0.0: feast(aesthetics,cucumber,lemon,arizona,pennsylvania) feast(intoxication,ham,cucumber,quebec,bavaria) feast(learning,yogurt,shrimp,pennsylvania,surrey) feast(rest,scallop,lettuce,quebec,bavaria) feast(triumph,pea,hotdog,surrey,quebec) overcome(angina,achievement,potato,vulcan,jupiter) overcome(dread,excitement,lobster,jupiter,neptune) overcome(hangover,curiosity,chocolate,vulcan,jupiter) STEP 0.1: feast(curiosity,chocolate,wurst,arizona,pennsylvania) feast(excitement,lobster,baguette,quebec,bavaria) STEP 1.0: feast(achievement,potato,shrimp,arizona,pennsylvania) feast(aesthetics,lemon,scallop,arizona,pennsylvania) feast(learning,shrimp,scallion,pennsylvania,surrey) feast(rest,lettuce,pistachio,arizona,pennsylvania) feast(triumph,hotdog,lobster,quebec,bavaria) overcome(abrasion-21,intoxication,cucumber,jupiter,neptune) overcome(depression,curiosity,wurst,mars,vulcan) succumb(dread,excitement,baguette,jupiter,neptune) STEP 1.1: feast(curiosity,wurst,potato,alsace,arizona) feast(excitement,baguette,chocolate,quebec,bavaria) feast(intoxication,cucumber,mutton,alsace,arizona) STEP 2.0: feast(achievement,shrimp,scallion,arizona,pennsylvania) feast(aesthetics,scallop,scallion,surrey,quebec) feast(curiosity,potato,shrimp,alsace,arizona) feast(triumph,lobster,baguette,surrey,quebec) overcome(grief,excitement,chocolate,jupiter,neptune) overcome(prostatitis-23,rest,pistachio,vulcan,jupiter) succumb(abrasion-21,intoxication,mutton,jupiter,neptune) STEP 2.1: feast(excitement,chocolate,baguette,alsace,arizona) STEP 3.0: feast(aesthetics,scallion,shrimp,pennsylvania,surrey) feast(curiosity,shrimp,scallion,alsace,arizona) feast(triumph,baguette,scallop,surrey,quebec) overcome(anxiety-25,rest,pistachio,mars,vulcan) overcome(dread,excitement,baguette,vulcan,jupiter) STEP 3.1: feast(rest,pistachio,lettuce,alsace,arizona) STEP 4: feast(excitement,baguette,lobster,pennsylvania,surrey) feast(learning,scallion,scallop,arizona,pennsylvania) feast(rest,lettuce,scallop,alsace,arizona) feast(triumph,scallop,lettuce,pennsylvania,surrey) STEP 5: feast(excitement,lobster,baguette,pennsylvania,surrey) feast(learning,scallop,lettuce,arizona,pennsylvania) succumb(prostatitis-23,rest,scallop,mars,vulcan) STEP 6.0: feast(excitement,baguette,lobster,arizona,pennsylvania) overcome(prostatitis-23,rest,scallop,mars,vulcan) STEP 6.1: feast(rest,scallop,baguette,alsace,arizona) STEP 7: feast(excitement,lobster,hotdog,arizona,pennsylvania) feast(rest,baguette,lobster,alsace,arizona) STEP 8: feast(excitement,hotdog,pea,surrey,quebec) feast(rest,lobster,hotdog,alsace,arizona) STEP 9: feast(excitement,pea,potato,pennsylvania,surrey) feast(rest,hotdog,pea,pennsylvania,surrey) STEP 10: feast(rest,pea,potato,arizona,pennsylvania) STEP 11: succumb(prostatitis-23,rest,potato,mars,vulcan) STEP 12: succumb(anxiety-25,rest,potato,vulcan,jupiter) 54 actions in the plan. total time 357.65 preprocess 4.32 total size 6.734 GB max. learned clause length 150235 t val conflicts decisions 5 0 7 11 7 0 366 635 10 -1 3361 5609 14 -1 3305 6732 20 -1 3242 7116 28 -1 3182 7001 40 -1 3120 6701 56 -1 3065 6547 80 1 2949 8365