Madagascar 0.99999 31/01/2018 20:14:07 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-31.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: blocks Problem: blocks-15-0 Parser: 480 ground actions and 271 state variables Invariants: 0 1 2 3 4 5 0.04 secs Goal: conjunctive Simplified: 480 ground actions and 271 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.02 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 125 MB) Horizon 0: 271 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 4026 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 7781 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 11536 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 15291 variables Allocated 32 MB (total 541 MB) 20 UNSAT (3 decisions 3 conflicts) Horizon 25: 19046 variables 25 UNSAT (67 decisions 45 conflicts) Horizon 30: 22801 variables Horizon 35: 26556 variables Horizon 40: 30311 variables Horizon 45: 34066 variables Horizon 50: 37821 variables Horizon 55: 41576 variables Horizon 60: 45331 variables Horizon 65: 49086 variables Horizon 70: 52841 variables Horizon 75: 56596 variables Horizon 80: 60351 variables Horizon 85: 64106 variables Horizon 90: 67861 variables Horizon 95: 71616 variables Allocated 32 MB permanent (total 1839 MB) Horizon 100: 75371 variables Horizon 105: 79126 variables Horizon 110: 82881 variables Horizon 115: 86636 variables Horizon 120: 90391 variables Horizon 125: 94146 variables 30 UNSAT (2698 decisions 1792 conflicts) Horizon 130: 97901 variables GC: 19.00 MB Allocated 32 MB (total 2360 MB) GC: 22.19 MB SAT (26 ID 1840 decisions 787 conflicts 97901 variables) PLAN FOUND: 130 steps STEP 0: unstack(e,j) STEP 1: stack(e,b) STEP 2: unstack(j,d) STEP 3: stack(j,m) STEP 4: unstack(d,l) STEP 5: put-down(d) STEP 6: unstack(l,c) STEP 7: stack(l,j) STEP 8: unstack(i,h) STEP 9: stack(i,c) STEP 10: unstack(i,c) STEP 11: stack(i,e) STEP 12: unstack(c,g) STEP 13: put-down(c) STEP 14: unstack(i,e) STEP 15: stack(i,c) STEP 16: unstack(f,k) STEP 17: stack(f,d) STEP 18: pick-up(k) STEP 19: stack(k,h) STEP 20: unstack(e,b) STEP 21: stack(e,b) STEP 22: unstack(f,d) STEP 23: stack(f,e) STEP 24: unstack(l,j) STEP 25: stack(l,g) STEP 26: unstack(j,m) STEP 27: stack(j,d) STEP 28: unstack(m,n) STEP 29: stack(m,j) STEP 30: pick-up(n) STEP 31: stack(n,i) STEP 32: unstack(l,g) STEP 33: stack(l,g) STEP 34: unstack(m,j) STEP 35: stack(m,l) STEP 36: unstack(j,d) STEP 37: stack(j,m) STEP 38: pick-up(d) STEP 39: stack(d,n) STEP 40: unstack(j,m) STEP 41: stack(j,d) STEP 42: unstack(m,l) STEP 43: put-down(m) STEP 44: unstack(l,g) STEP 45: stack(l,j) STEP 46: unstack(f,e) STEP 47: stack(f,k) STEP 48: unstack(e,b) STEP 49: stack(e,g) STEP 50: unstack(b,a) STEP 51: stack(b,l) STEP 52: unstack(a,o) STEP 53: stack(a,b) STEP 54: unstack(e,g) STEP 55: stack(e,a) STEP 56: unstack(f,k) STEP 57: stack(f,e) STEP 58: pick-up(m) STEP 59: stack(m,f) STEP 60: unstack(k,h) STEP 61: stack(k,m) STEP 62: pick-up(h) STEP 63: stack(h,k) STEP 64: pick-up(o) STEP 65: stack(o,h) STEP 66: pick-up(g) STEP 67: stack(g,o) 68 actions in the plan. # statistics in YAML format --- runtime: total: 7.51 # [s] preprocessing: 0.06 # [s] maxLearnedClauseLength: 4132 groundActions: afterParsing: 480 afterPreprocessing: 480 stateVariables: afterParsing: 271 afterPreprocessing: 271 stronglyConnectedComponents: maxSize: 1 plan: found: true length: 130 actions: 68 iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 271 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 4026 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 7781 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 11536 - horizon: 20 result: unsatisfiable conflicts: 3 decisions: 3 variables: 15291 - horizon: 25 result: unsatisfiable conflicts: 45 decisions: 67 variables: 19046 - horizon: 30 result: unsatisfiable conflicts: 1792 decisions: 2698 variables: 22801 - horizon: 35 result: unknown conflicts: 5608 decisions: 9000 variables: 26556 - horizon: 40 result: unknown conflicts: 5126 decisions: 8494 variables: 30311 - horizon: 45 result: unknown conflicts: 4577 decisions: 7737 variables: 34066 - horizon: 50 result: unknown conflicts: 4154 decisions: 7399 variables: 37821 - horizon: 55 result: unknown conflicts: 3725 decisions: 6706 variables: 41576 - horizon: 60 result: unknown conflicts: 3364 decisions: 6354 variables: 45331 - horizon: 65 result: unknown conflicts: 3003 decisions: 5912 variables: 49086 - horizon: 70 result: unknown conflicts: 2702 decisions: 5351 variables: 52841 - horizon: 75 result: unknown conflicts: 2463 decisions: 5092 variables: 56596 - horizon: 80 result: unknown conflicts: 2221 decisions: 4615 variables: 60351 - horizon: 85 result: unknown conflicts: 1980 decisions: 4038 variables: 64106 - horizon: 90 result: unknown conflicts: 1801 decisions: 3984 variables: 67861 - horizon: 95 result: unknown conflicts: 1623 decisions: 3694 variables: 71616 - horizon: 100 result: unknown conflicts: 1500 decisions: 3393 variables: 75371 - horizon: 105 result: unknown conflicts: 1320 decisions: 2882 variables: 79126 - horizon: 110 result: unknown conflicts: 1200 decisions: 2647 variables: 82881 - horizon: 115 result: unknown conflicts: 1080 decisions: 2486 variables: 86636 - horizon: 120 result: unknown conflicts: 1021 decisions: 2225 variables: 90391 - horizon: 125 result: unknown conflicts: 900 decisions: 2179 variables: 94146 - horizon: 130 result: satisfiable conflicts: 787 decisions: 1840 variables: 97901 ...