Madagascar 0.99999 01/02/2018 14:46:04 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-48.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 Domain: blocks Problem: blocks-23-1 Parser: 1104 ground actions and 599 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 0.17 secs Goal: conjunctive Simplified: 1104 ground actions and 599 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.08 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 130 MB) Horizon 0: 599 variables 0 UNSAT (0 decisions 0 conflicts) Horizon 5: 9114 variables 5 UNSAT (0 decisions 0 conflicts) Horizon 10: 17629 variables 10 UNSAT (0 decisions 0 conflicts) Horizon 15: 26144 variables 15 UNSAT (0 decisions 0 conflicts) Horizon 20: 34659 variables 20 UNSAT (0 decisions 0 conflicts) Horizon 25: 43174 variables 25 UNSAT (0 decisions 0 conflicts) Horizon 30: 51689 variables 30 UNSAT (0 decisions 0 conflicts) Horizon 35: 60204 variables Allocated 32 MB (total 788 MB) 35 UNSAT (7 decisions 7 conflicts) Horizon 40: 68719 variables 40 UNSAT (59 decisions 53 conflicts) Horizon 45: 77234 variables Horizon 50: 85749 variables Horizon 55: 94264 variables Horizon 60: 102779 variables Allocated 32 MB permanent (total 1310 MB) Horizon 65: 111294 variables Horizon 70: 119809 variables Horizon 75: 128324 variables Horizon 80: 136839 variables Horizon 85: 145354 variables 45 UNSAT (708 decisions 523 conflicts) Horizon 90: 153869 variables Allocated 32 MB permanent (total 1850 MB) Horizon 95: 162384 variables Horizon 100: 170899 variables Horizon 105: 179414 variables Horizon 110: 187929 variables Allocated 32 MB permanent (total 2231 MB) Horizon 115: 196444 variables Horizon 120: 204959 variables Horizon 125: 213474 variables Horizon 130: 221989 variables Allocated 32 MB permanent (total 2620 MB) Horizon 135: 230504 variables Horizon 140: 239019 variables Horizon 145: 247534 variables GC: 30.86 MB Allocated 32 MB (total 2833 MB) GC: 29.68 MB Allocated 32 MB (total 2865 MB) GC: 69.45 MB GC: 64.93 MB Allocated 32 MB (total 2897 MB) 50 UNSAT (16381 decisions 11232 conflicts) Horizon 150: 256049 variables GC: 92.50 MB GC: 47.20 MB GC: 50.55 MB GC: 56.37 MB GC: 59.93 MB GC: 64.96 MB GC: 65.94 MB GC: 69.99 MB GC: 80.23 MB GC: 71.63 MB GC: 111.25 MB GC: 63.50 MB GC: 61.55 MB GC: 61.59 MB GC: 59.41 MB GC: 57.87 MB GC: 62.81 MB GC: 69.88 MB GC: 70.66 MB GC: 92.51 MB GC: 73.73 MB GC: 75.39 MB GC: 77.80 MB GC: 83.97 MB GC: 81.28 MB GC: 89.05 MB GC: 89.87 MB GC: 99.20 MB GC: 99.95 MB GC: 100.59 MB GC: 109.31 MB GC: 107.55 MB GC: 106.90 MB Allocated 32 MB (total 3021 MB) GC: 111.09 MB GC: 105.89 MB GC: 110.47 MB GC: 127.27 MB GC: 108.74 MB GC: 112.81 MB GC: 116.52 MB GC: 118.47 MB GC: 112.05 MB GC: 124.38 MB GC: 123.77 MB GC: 120.91 MB GC: 128.90 MB GC: 123.72 MB GC: 137.11 MB GC: 138.07 MB GC: 135.65 MB GC: 140.50 MB Allocated 32 MB (total 3053 MB) GC: 144.56 MB GC: 138.88 MB GC: 157.08 MB GC: 153.74 MB GC: 147.10 MB GC: 158.63 MB GC: 144.70 MB GC: 162.11 MB GC: 152.71 MB GC: 150.10 MB GC: 151.47 MB GC: 153.30 MB GC: 165.93 MB GC: 171.17 MB GC: 162.31 MB # statistics in YAML format --- runtime: total: 899.78 # [s] preprocessing: 0.26 # [s] maxLearnedClauseLength: 17490 groundActions: afterParsing: 1104 afterPreprocessing: 1104 stateVariables: afterParsing: 599 afterPreprocessing: 599 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: - horizon: 0 result: unsatisfiable conflicts: 0 decisions: 0 variables: 599 - horizon: 5 result: unsatisfiable conflicts: 0 decisions: 0 variables: 9114 - horizon: 10 result: unsatisfiable conflicts: 0 decisions: 0 variables: 17629 - horizon: 15 result: unsatisfiable conflicts: 0 decisions: 0 variables: 26144 - horizon: 20 result: unsatisfiable conflicts: 0 decisions: 0 variables: 34659 - horizon: 25 result: unsatisfiable conflicts: 0 decisions: 0 variables: 43174 - horizon: 30 result: unsatisfiable conflicts: 0 decisions: 0 variables: 51689 - horizon: 35 result: unsatisfiable conflicts: 7 decisions: 7 variables: 60204 - horizon: 40 result: unsatisfiable conflicts: 53 decisions: 59 variables: 68719 - horizon: 45 result: unsatisfiable conflicts: 523 decisions: 708 variables: 77234 - horizon: 50 result: unsatisfiable conflicts: 11232 decisions: 16381 variables: 85749 - horizon: 55 result: unknown conflicts: 300144 decisions: 552622 variables: 94264 - horizon: 60 result: unknown conflicts: 270179 decisions: 496479 variables: 102779 - horizon: 65 result: unknown conflicts: 242865 decisions: 456789 variables: 111294 - horizon: 70 result: unknown conflicts: 218474 decisions: 414750 variables: 119809 - horizon: 75 result: unknown conflicts: 196448 decisions: 348334 variables: 128324 - horizon: 80 result: unknown conflicts: 176777 decisions: 330566 variables: 136839 - horizon: 85 result: unknown conflicts: 159127 decisions: 316191 variables: 145354 - horizon: 90 result: unknown conflicts: 143136 decisions: 301283 variables: 153869 - horizon: 95 result: unknown conflicts: 128759 decisions: 266301 variables: 162384 - horizon: 100 result: unknown conflicts: 115857 decisions: 235904 variables: 170899 - horizon: 105 result: unknown conflicts: 104244 decisions: 213499 variables: 179414 - horizon: 110 result: unknown conflicts: 93743 decisions: 199612 variables: 187929 - horizon: 115 result: unknown conflicts: 84336 decisions: 182955 variables: 196444 - horizon: 120 result: unknown conflicts: 75907 decisions: 169008 variables: 204959 - horizon: 125 result: unknown conflicts: 68333 decisions: 154895 variables: 213474 - horizon: 130 result: unknown conflicts: 61493 decisions: 143286 variables: 221989 - horizon: 135 result: unknown conflicts: 55356 decisions: 131049 variables: 230504 - horizon: 140 result: unknown conflicts: 49833 decisions: 122596 variables: 239019 - horizon: 145 result: unknown conflicts: 44849 decisions: 111836 variables: 247534 - horizon: 150 result: unknown conflicts: 40364 decisions: 103431 variables: 256049 ...