Madagascar 0.99999 25/02/2015 09:45:59 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2002/domains/driverlog-strips-automatic/instances/instance-12.pddlignoring --stats ignoring --verbose Domain: driverlog Problem: dlog-2-3-6 Parser: 1812 ground actions and 461 state variables Invariants: 0 1 2 3 4 5 6 0.01 secs Goal: conjunctive Simplified: 948 ground actions and 173 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.00 secs (max SCC size 8) Plan type: E-step Allocated 32 MB permanent (total 126 MB) Horizon 5: 6708 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 7: 9322 variables Allocated 32 MB (total 312 MB) 7 UNSAT (33 decisions 23 conflicts) Horizon 10: 13243 variables Horizon 14: 18471 variables Horizon 20: 26313 variables Horizon 28: 36769 variables Horizon 40: 52453 variables Horizon 56: 73365 variables Horizon 80: 104733 variables Horizon 113: 147864 variables SAT (789 decisions 165 conflicts) PLAN FOUND: 56 steps STEP 0: load-truck(package4,truck1,s7) walk(driver1,s1,p1-7) walk(driver2,s3,p3-9) STEP 1: walk(driver1,p1-7,s7) walk(driver2,p3-9,s9) STEP 2: board-truck(driver2,truck2,s9) walk(driver1,s7,p7-4) STEP 3: drive-truck(truck2,s9,s4,driver2) walk(driver1,p7-4,s4) STEP 4: drive-truck(truck2,s4,s5,driver2) walk(driver1,s4,p7-4) STEP 5: disembark-truck(driver2,truck2,s5) walk(driver1,p7-4,s7) STEP 6: walk(driver1,s7,p2-7) walk(driver2,s5,p5-9) STEP 7: walk(driver1,p2-7,s2) walk(driver2,p5-9,s9) STEP 8: board-truck(driver1,truck3,s2) walk(driver2,s9,p7-9) STEP 9: drive-truck(truck3,s2,s0,driver1) walk(driver2,p7-9,s7) STEP 10: board-truck(driver2,truck1,s7) drive-truck(truck3,s0,s4,driver1) STEP 11: disembark-truck(driver1,truck3,s4) drive-truck(truck1,s7,s0,driver2) load-truck(package5,truck3,s4) STEP 12: board-truck(driver1,truck3,s4) drive-truck(truck1,s0,s7,driver2) STEP 13: drive-truck(truck1,s7,s9,driver2) drive-truck(truck3,s4,s0,driver1) STEP 14.0: disembark-truck(driver2,truck1,s9) unload-truck(package5,truck3,s0) STEP 14.1: drive-truck(truck3,s0,s4,driver1) STEP 15: board-truck(driver2,truck1,s9) disembark-truck(driver1,truck3,s4) STEP 16: board-truck(driver1,truck3,s4) drive-truck(truck1,s9,s4,driver2) STEP 17.0: drive-truck(truck3,s4,s0,driver1) load-truck(package2,truck1,s4) STEP 17.1: drive-truck(truck1,s4,s1,driver2) STEP 18.0: drive-truck(truck3,s0,s4,driver1) load-truck(package6,truck1,s1) unload-truck(package4,truck1,s1) STEP 18.1: drive-truck(truck1,s1,s7,driver2) STEP 19: disembark-truck(driver1,truck3,s4) drive-truck(truck1,s7,s9,driver2) STEP 20: board-truck(driver1,truck3,s4) disembark-truck(driver2,truck1,s9) STEP 21: board-truck(driver2,truck1,s9) drive-truck(truck3,s4,s0,driver1) STEP 22: drive-truck(truck1,s9,s3,driver2) drive-truck(truck3,s0,s4,driver1) STEP 23.0: disembark-truck(driver1,truck3,s4) load-truck(package1,truck1,s3) STEP 23.1: drive-truck(truck1,s3,s9,driver2) STEP 24: board-truck(driver1,truck3,s4) disembark-truck(driver2,truck1,s9) STEP 25: board-truck(driver2,truck1,s9) disembark-truck(driver1,truck3,s4) STEP 26: board-truck(driver1,truck3,s4) drive-truck(truck1,s9,s2,driver2) STEP 27.0: disembark-truck(driver1,truck3,s4) unload-truck(package1,truck1,s2) unload-truck(package2,truck1,s2) unload-truck(package6,truck1,s2) STEP 27.1: drive-truck(truck1,s2,s9,driver2) STEP 28: board-truck(driver1,truck3,s4) disembark-truck(driver2,truck1,s9) STEP 29: board-truck(driver2,truck1,s9) disembark-truck(driver1,truck3,s4) STEP 30: board-truck(driver1,truck3,s4) drive-truck(truck1,s9,s8,driver2) STEP 31: drive-truck(truck1,s8,s0,driver2) drive-truck(truck3,s4,s0,driver1) STEP 32: disembark-truck(driver2,truck1,s0) drive-truck(truck3,s0,s4,driver1) STEP 33: board-truck(driver2,truck1,s0) disembark-truck(driver1,truck3,s4) STEP 34: board-truck(driver1,truck3,s4) disembark-truck(driver2,truck1,s0) STEP 35: board-truck(driver2,truck1,s0) drive-truck(truck3,s4,s0,driver1) STEP 36: drive-truck(truck1,s0,s7,driver2) drive-truck(truck3,s0,s4,driver1) STEP 37: disembark-truck(driver1,truck3,s4) drive-truck(truck1,s7,s0,driver2) STEP 38: board-truck(driver1,truck3,s4) disembark-truck(driver2,truck1,s0) STEP 39: board-truck(driver2,truck1,s0) disembark-truck(driver1,truck3,s4) STEP 40: board-truck(driver1,truck3,s4) drive-truck(truck1,s0,s7,driver2) STEP 41: disembark-truck(driver1,truck3,s4) drive-truck(truck1,s7,s9,driver2) STEP 42: board-truck(driver1,truck3,s4) disembark-truck(driver2,truck1,s9) STEP 43: board-truck(driver2,truck1,s9) disembark-truck(driver1,truck3,s4) STEP 44: board-truck(driver1,truck3,s4) drive-truck(truck1,s9,s8,driver2) STEP 45: disembark-truck(driver1,truck3,s4) drive-truck(truck1,s8,s0,driver2) STEP 46: board-truck(driver1,truck3,s4) disembark-truck(driver2,truck1,s0) STEP 47: board-truck(driver2,truck1,s0) drive-truck(truck3,s4,s0,driver1) STEP 48: disembark-truck(driver2,truck1,s0) drive-truck(truck3,s0,s4,driver1) STEP 49: disembark-truck(driver1,truck3,s4) walk(driver2,s0,p0-8) STEP 50: board-truck(driver1,truck3,s4) walk(driver2,p0-8,s8) STEP 51: drive-truck(truck3,s4,s0,driver1) walk(driver2,s8,p8-7) STEP 52: disembark-truck(driver1,truck3,s0) walk(driver2,p8-7,s7) STEP 53: board-truck(driver1,truck1,s0) walk(driver2,s7,p7-9) STEP 54: drive-truck(truck1,s0,s4,driver1) walk(driver2,p7-9,s9) STEP 55: disembark-truck(driver1,truck1,s4) 121 actions in the plan. total time 0.25 preprocess 0.01 total size 1.005 GB max. learned clause length 1151 t val conflicts decisions 5 0 0 0 7 0 23 33 10 -1 482 574 14 -1 420 624 20 -1 360 597 28 -1 300 738 40 -1 240 755 56 1 165 789