Madagascar 0.99999 25/02/2015 09:46:27 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/no-mystery-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/no-mystery-sequential-satisficing/instances/instance-5.pddlignoring --stats ignoring --verbose -m 8192 Domain: transport-strips Problem: transport-l10-t1-p10---int100n150-m25---int100c150---s1---e0 Parser: 6602 ground actions and 26057 state variables Invariants: 0 1 2 3 4 5 6 7 0.78 secs Goal: conjunctive Simplified: 6394 ground actions and 345 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.54 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 199 MB) Horizon 0: 345 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 34040 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 67735 variables Allocated 32 MB (total 472 MB) Horizon 15: 101430 variables Horizon 20: 135125 variables Horizon 25: 168820 variables Horizon 30: 202515 variables Horizon 35: 236210 variables 10 UNSAT (435 decisions 353 conflicts) Horizon 40: 269905 variables Horizon 45: 303600 variables Allocated 32 MB permanent (total 1218 MB) Horizon 50: 337295 variables Horizon 55: 370990 variables Horizon 60: 404685 variables Allocated 32 MB (total 1449 MB) Horizon 65: 438380 variables Allocated 32 MB permanent (total 1687 MB) Horizon 70: 472075 variables Allocated 32 MB (total 1719 MB) Horizon 75: 505770 variables Horizon 80: 539465 variables Allocated 32 MB (total 1966 MB) Horizon 85: 573160 variables Allocated 32 MB (total 2108 MB) Allocated 32 MB permanent (total 2252 MB) Horizon 90: 606855 variables Allocated 32 MB (total 2284 MB) Horizon 95: 640550 variables Allocated 32 MB permanent (total 2547 MB) Horizon 100: 674245 variables Allocated 32 MB (total 2579 MB) Horizon 105: 707940 variables Allocated 32 MB (total 2729 MB) Horizon 110: 741635 variables Allocated 32 MB (total 2881 MB) Allocated 32 MB (total 2913 MB) Allocated 32 MB (total 2945 MB) Allocated 32 MB (total 2977 MB) Allocated 32 MB (total 3009 MB) Allocated 32 MB (total 3041 MB) Allocated 32 MB (total 3073 MB) GC: 368.69 MB SAT (4793 decisions 3281 conflicts) PLAN FOUND: 15 steps STEP 0: drive(t0,l9,l3,level215,level10,level225) STEP 1.0: load(p0,t0,l3) load(p8,t0,l3) STEP 1.1: drive(t0,l3,l0,level213,level2,level215) STEP 2.0: load(p5,t0,l0) STEP 2.1: drive(t0,l0,l2,level200,level13,level213) STEP 3.0: load(p2,t0,l2) STEP 3.1: drive(t0,l2,l8,level180,level20,level200) STEP 4.0: load(p6,t0,l8) load(p7,t0,l8) STEP 4.1: drive(t0,l8,l2,level160,level20,level180) STEP 5: drive(t0,l2,l3,level139,level21,level160) STEP 6: drive(t0,l3,l7,level128,level11,level139) STEP 7.0: unload(p0,t0,l7) unload(p5,t0,l7) STEP 7.1: drive(t0,l7,l4,level112,level16,level128) STEP 8.0: load(p1,t0,l4) load(p3,t0,l4) load(p4,t0,l4) load(p9,t0,l4) unload(p7,t0,l4) STEP 8.1: drive(t0,l4,l5,level109,level3,level112) STEP 9.0: unload(p1,t0,l5) unload(p2,t0,l5) STEP 9.1: drive(t0,l5,l6,level87,level22,level109) STEP 10.0: unload(p6,t0,l6) STEP 10.1: drive(t0,l6,l1,level81,level6,level87) STEP 11.0: unload(p8,t0,l1) STEP 11.1: drive(t0,l1,l7,level63,level18,level81) STEP 12.0: unload(p3,t0,l7) STEP 12.1: drive(t0,l7,l3,level52,level11,level63) STEP 13.0: unload(p4,t0,l3) STEP 13.1: drive(t0,l3,l9,level42,level10,level52) STEP 14: unload(p9,t0,l9) 34 actions in the plan. Cost of the plan is 34. total time 239.85 preprocess 206.28 total size 3.173 GB max. learned clause length 338960 t val conflicts decisions 0 0 0 0 5 0 0 0 10 0 353 435 15 1 3281 4793