/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/brummayerbiere/nlzbsdown032.smt2


--------------------------------------------------------------------------------


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 80652481
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.388 Prop: 13.837 PropClause: 13.733 Set: 1.202 Check: 0.0 Back: 0.0
INFO - Atoms: 366/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 3489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.416 Prop: 15.813 PropClause: 14.792 Set: 3.661 Check: 0.0 Back: 0.019
INFO - Atoms: 3123/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 6585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.442 Prop: 17.576 PropClause: 16.042 Set: 4.769 Check: 0.0 Back: 0.092
INFO - Atoms: 3096/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 9763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.474 Prop: 19.131 PropClause: 17.501 Set: 5.908 Check: 0.0 Back: 0.164
INFO - Atoms: 3178/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 12902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.498 Prop: 20.182 PropClause: 18.458 Set: 7.003 Check: 0.0 Back: 0.238
INFO - Atoms: 3139/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 16055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.532 Prop: 21.873 PropClause: 20.055 Set: 8.144 Check: 0.0 Back: 0.311
INFO - Atoms: 3153/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 19281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.559 Prop: 22.998 PropClause: 21.083 Set: 9.185 Check: 0.0 Back: 0.385
INFO - Atoms: 3226/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 22495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.582 Prop: 25.047 PropClause: 22.369 Set: 10.473 Check: 0.0 Back: 0.46
INFO - Atoms: 3214/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 25704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.614 Prop: 26.425 PropClause: 23.617 Set: 11.69 Check: 0.0 Back: 0.535
INFO - Atoms: 3209/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 28926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.649 Prop: 27.963 PropClause: 25.023 Set: 12.591 Check: 0.0 Back: 0.609
INFO - Atoms: 3222/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 32181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.675 Prop: 29.256 PropClause: 26.206 Set: 13.501 Check: 0.0 Back: 0.684
INFO - Atoms: 3255/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 35452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.706 Prop: 30.283 PropClause: 27.12 Set: 14.405 Check: 0.0 Back: 0.759
INFO - Atoms: 3271/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 38739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.737 Prop: 31.772 PropClause: 28.499 Set: 15.33 Check: 0.0 Back: 0.836
INFO - Atoms: 3287/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 42010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.766 Prop: 32.877 PropClause: 29.495 Set: 15.836 Check: 0.0 Back: 0.912
INFO - Atoms: 3271/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 45212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.803 Prop: 33.751 PropClause: 30.261 Set: 16.284 Check: 0.0 Back: 0.988
INFO - Atoms: 3202/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 48446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.83 Prop: 34.435 PropClause: 30.839 Set: 16.712 Check: 0.0 Back: 1.063
INFO - Atoms: 3234/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 51679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.862 Prop: 35.312 PropClause: 31.584 Set: 17.153 Check: 0.0 Back: 1.136
INFO - Atoms: 3233/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 54911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.882 Prop: 36.051 PropClause: 32.191 Set: 17.587 Check: 0.0 Back: 1.209
INFO - Atoms: 3232/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 58143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.907 Prop: 36.768 PropClause: 32.739 Set: 18.027 Check: 0.0 Back: 1.282
INFO - Atoms: 3232/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 61374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.933 Prop: 37.501 PropClause: 33.323 Set: 18.467 Check: 0.0 Back: 1.353
INFO - Atoms: 3231/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 64597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.962 Prop: 38.194 PropClause: 33.914 Set: 18.901 Check: 0.0 Back: 1.426
INFO - Atoms: 3223/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 67827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.988 Prop: 38.875 PropClause: 34.492 Set: 19.34 Check: 0.0 Back: 1.499
INFO - Atoms: 3230/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 71066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.015 Prop: 39.549 PropClause: 35.063 Set: 20.078 Check: 0.0 Back: 1.572
INFO - Atoms: 3239/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 74312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.042 Prop: 40.259 PropClause: 35.675 Set: 20.827 Check: 0.0 Back: 1.645
INFO - Atoms: 3246/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 77547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.077 Prop: 41.159 PropClause: 36.416 Set: 21.586 Check: 0.0 Back: 1.717
INFO - Atoms: 3235/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 80782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.108 Prop: 41.868 PropClause: 37.018 Set: 22.35 Check: 0.0 Back: 1.79
INFO - Atoms: 3235/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 83983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.141 Prop: 42.73 PropClause: 37.776 Set: 23.096 Check: 0.0 Back: 1.863
INFO - Atoms: 3201/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 87186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.173 Prop: 43.347 PropClause: 38.289 Set: 23.53 Check: 0.0 Back: 1.935
INFO - Atoms: 3203/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 90402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.203 Prop: 44.323 PropClause: 39.166 Set: 23.969 Check: 0.0 Back: 2.007
INFO - Atoms: 3216/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 93677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.225 Prop: 44.945 PropClause: 39.685 Set: 24.424 Check: 0.0 Back: 2.08
INFO - Atoms: 3275/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 97057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.247 Prop: 45.593 PropClause: 40.23 Set: 24.903 Check: 0.0 Back: 2.16
INFO - Atoms: 3380/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 100443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.277 Prop: 46.361 PropClause: 40.89 Set: 25.378 Check: 0.0 Back: 2.238
INFO - Atoms: 3386/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 103827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.304 Prop: 47.132 PropClause: 41.556 Set: 25.857 Check: 0.0 Back: 2.325
INFO - Atoms: 3384/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 107114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.33 Prop: 47.791 PropClause: 42.11 Set: 26.324 Check: 0.0 Back: 2.402
INFO - Atoms: 3287/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 110261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.352 Prop: 48.385 PropClause: 42.608 Set: 26.754 Check: 0.0 Back: 2.476
INFO - Atoms: 3147/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 113588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.384 Prop: 49.159 PropClause: 43.28 Set: 27.236 Check: 0.0 Back: 2.546
INFO - Atoms: 3327/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 116652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.402 Prop: 49.698 PropClause: 43.722 Set: 27.649 Check: 0.0 Back: 2.62
INFO - Atoms: 3064/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 119717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.425 Prop: 50.248 PropClause: 44.178 Set: 28.061 Check: 0.0 Back: 2.69
INFO - Atoms: 3065/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 122968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.46 Prop: 51.127 PropClause: 44.948 Set: 28.521 Check: 0.0 Back: 2.759
INFO - Atoms: 3251/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 126166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.487 Prop: 51.844 PropClause: 45.568 Set: 28.965 Check: 0.0 Back: 2.832
INFO - Atoms: 3198/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 129902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.511 Prop: 52.593 PropClause: 46.203 Set: 29.55 Check: 0.0 Back: 2.904
INFO - Atoms: 3736/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 133479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.567 Prop: 53.584 PropClause: 47.078 Set: 30.093 Check: 0.0 Back: 2.988
INFO - Atoms: 3577/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 136665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.597 Prop: 54.418 PropClause: 47.813 Set: 30.544 Check: 0.0 Back: 3.071
INFO - Atoms: 3186/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 139851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.631 Prop: 55.277 PropClause: 48.568 Set: 30.996 Check: 0.0 Back: 3.143
INFO - Atoms: 3186/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 143037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.658 Prop: 55.911 PropClause: 49.105 Set: 31.449 Check: 0.0 Back: 3.215
INFO - Atoms: 3186/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 146628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.691 Prop: 56.693 PropClause: 49.773 Set: 32.005 Check: 0.0 Back: 3.287
INFO - Atoms: 3591/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 150719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.725 Prop: 57.997 PropClause: 50.953 Set: 32.683 Check: 0.0 Back: 3.367
INFO - Atoms: 4091/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 154778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.755 Prop: 59.409 PropClause: 52.233 Set: 33.349 Check: 0.0 Back: 3.459
INFO - Atoms: 4059/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 157781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.784 Prop: 60.397 PropClause: 53.129 Set: 33.758 Check: 0.0 Back: 3.55
INFO - Atoms: 3003/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 160762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.913 Prop: 61.191 PropClause: 53.832 Set: 34.162 Check: 0.0 Back: 3.618
INFO - Atoms: 2981/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 164595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.923 Prop: 62.047 PropClause: 54.565 Set: 34.765 Check: 0.0 Back: 3.685
INFO - Atoms: 3833/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 168502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.937 Prop: 63.434 PropClause: 55.832 Set: 35.405 Check: 0.0 Back: 3.773
INFO - Atoms: 3907/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 172424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.952 Prop: 64.847 PropClause: 57.118 Set: 36.043 Check: 0.0 Back: 3.862
INFO - Atoms: 3922/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 176583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.964 Prop: 66.067 PropClause: 58.21 Set: 36.721 Check: 0.0 Back: 3.95
INFO - Atoms: 4159/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 180718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.99 Prop: 67.981 PropClause: 59.991 Set: 37.407 Check: 0.0 Back: 4.043
INFO - Atoms: 4135/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 183632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.003 Prop: 69.296 PropClause: 61.217 Set: 37.814 Check: 0.0 Back: 4.136
INFO - Atoms: 2914/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 186426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.017 Prop: 70.111 PropClause: 61.938 Set: 38.195 Check: 0.0 Back: 4.202
INFO - Atoms: 2794/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 189372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.026 Prop: 70.686 PropClause: 62.425 Set: 38.605 Check: 0.0 Back: 4.265
INFO - Atoms: 2946/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 192315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.039 Prop: 71.491 PropClause: 63.134 Set: 39.009 Check: 0.0 Back: 4.331
INFO - Atoms: 2943/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 195239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.051 Prop: 72.11 PropClause: 63.681 Set: 39.413 Check: 0.0 Back: 4.398
INFO - Atoms: 2924/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 198035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.072 Prop: 72.914 PropClause: 64.414 Set: 39.841 Check: 0.0 Back: 4.464
INFO - Atoms: 2796/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 200849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.091 Prop: 73.69 PropClause: 65.119 Set: 40.514 Check: 0.0 Back: 4.527
INFO - Atoms: 2814/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 203662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.125 Prop: 74.364 PropClause: 65.721 Set: 41.146 Check: 0.0 Back: 4.593
INFO - Atoms: 2813/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 206469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.141 Prop: 75.128 PropClause: 66.414 Set: 41.794 Check: 0.0 Back: 4.656
INFO - Atoms: 2807/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 209294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.155 Prop: 75.696 PropClause: 66.911 Set: 42.429 Check: 0.0 Back: 4.721
INFO - Atoms: 2825/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 212124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.168 Prop: 76.437 PropClause: 67.581 Set: 43.08 Check: 0.0 Back: 4.785
INFO - Atoms: 2830/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 216460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.183 Prop: 77.58 PropClause: 68.616 Set: 44.112 Check: 0.0 Back: 4.849
INFO - Atoms: 4336/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 221029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 79.488 PropClause: 70.408 Set: 45.249 Check: 0.0 Back: 4.947
INFO - Atoms: 4569/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 225886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.218 Prop: 81.547 PropClause: 72.345 Set: 46.431 Check: 0.0 Back: 5.052
INFO - Atoms: 4857/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 230866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.23 Prop: 83.113 PropClause: 73.786 Set: 47.635 Check: 0.0 Back: 5.162
INFO - Atoms: 4980/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 235739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.259 Prop: 85.372 PropClause: 75.922 Set: 48.874 Check: 0.0 Back: 5.276
INFO - Atoms: 4873/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 240750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.274 Prop: 87.18 PropClause: 77.606 Set: 50.103 Check: 0.0 Back: 5.388
INFO - Atoms: 5011/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 245938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.29 Prop: 89.26 PropClause: 79.554 Set: 51.403 Check: 0.0 Back: 5.502
INFO - Atoms: 5188/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 251245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.321 Prop: 91.766 PropClause: 81.928 Set: 52.75 Check: 0.0 Back: 5.623
INFO - Atoms: 5307/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 256665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.337 Prop: 93.996 PropClause: 84.022 Set: 54.124 Check: 0.0 Back: 5.747
INFO - Atoms: 5420/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 262153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.384 Prop: 96.444 PropClause: 86.331 Set: 55.507 Check: 0.0 Back: 5.871
INFO - Atoms: 5488/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 267779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.436 Prop: 98.818 PropClause: 88.565 Set: 56.915 Check: 0.0 Back: 6.002
INFO - Atoms: 5626/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 273476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.453 Prop: 101.259 PropClause: 90.862 Set: 58.362 Check: 0.0 Back: 6.131
INFO - Atoms: 5697/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 279304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.469 Prop: 104.018 PropClause: 93.474 Set: 59.835 Check: 0.0 Back: 6.264
INFO - Atoms: 5828/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 285230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.504 Prop: 106.925 PropClause: 96.232 Set: 60.943 Check: 0.0 Back: 6.4
INFO - Atoms: 5926/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 291249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.548 Prop: 109.524 PropClause: 98.679 Set: 62.09 Check: 0.0 Back: 6.539
INFO - Atoms: 6019/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 297321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.563 Prop: 112.361 PropClause: 101.362 Set: 63.241 Check: 0.0 Back: 6.674
INFO - Atoms: 6072/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 303502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.629 Prop: 115.602 PropClause: 104.447 Set: 64.402 Check: 0.0 Back: 6.819
INFO - Atoms: 6181/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 309735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.665 Prop: 118.089 PropClause: 106.777 Set: 65.571 Check: 0.0 Back: 6.965
INFO - Atoms: 6233/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 316070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.693 Prop: 120.307 PropClause: 108.836 Set: 66.747 Check: 0.0 Back: 7.11
INFO - Atoms: 6335/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 322490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.712 Prop: 123.736 PropClause: 112.104 Set: 67.966 Check: 0.0 Back: 7.262
INFO - Atoms: 6420/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 328990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.751 Prop: 126.439 PropClause: 114.644 Set: 69.203 Check: 0.0 Back: 7.414
INFO - Atoms: 6500/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 335540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.795 Prop: 128.661 PropClause: 116.702 Set: 70.457 Check: 0.0 Back: 7.563
INFO - Atoms: 6550/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 342186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.807 Prop: 132.593 PropClause: 120.467 Set: 71.723 Check: 0.0 Back: 7.719
INFO - Atoms: 6646/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 348886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.816 Prop: 135.178 PropClause: 122.883 Set: 72.999 Check: 0.0 Back: 7.877
INFO - Atoms: 6700/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 355681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.831 Prop: 139.653 PropClause: 127.188 Set: 74.327 Check: 0.0 Back: 8.038
INFO - Atoms: 6795/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 362560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 143.107 PropClause: 130.468 Set: 75.647 Check: 0.0 Back: 8.199
INFO - Atoms: 6879/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 369430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.859 Prop: 148.055 PropClause: 135.244 Set: 77.046 Check: 0.0 Back: 8.356
INFO - Atoms: 6870/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 377445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.877 Prop: 151.994 PropClause: 138.982 Set: 78.621 Check: 0.0 Back: 8.522
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 381242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.887 Prop: 154.098 PropClause: 140.99 Set: 79.333 Check: 0.0 Back: 8.708
INFO - Atoms: 3797/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 384345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.9 Prop: 155.875 PropClause: 142.689 Set: 79.897 Check: 0.0 Back: 8.794
INFO - Atoms: 3103/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 386454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.908 Prop: 156.502 PropClause: 143.262 Set: 80.205 Check: 0.0 Back: 8.865
INFO - Atoms: 2109/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 388563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.914 Prop: 156.898 PropClause: 143.606 Set: 80.512 Check: 0.0 Back: 8.912
INFO - Atoms: 2109/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 391664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.921 Prop: 157.648 PropClause: 144.277 Set: 81.063 Check: 0.0 Back: 8.96
INFO - Atoms: 3101/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 393771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.932 Prop: 158.569 PropClause: 145.144 Set: 81.367 Check: 0.0 Back: 9.029
INFO - Atoms: 2107/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 396872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.946 Prop: 159.679 PropClause: 146.177 Set: 81.92 Check: 0.0 Back: 9.076
INFO - Atoms: 3101/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 399073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.958 Prop: 160.809 PropClause: 147.25 Set: 82.246 Check: 0.0 Back: 9.147
INFO - Atoms: 2201/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 401275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.969 Prop: 161.41 PropClause: 147.794 Set: 82.566 Check: 0.0 Back: 9.196
INFO - Atoms: 2202/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 403381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.981 Prop: 162.064 PropClause: 148.393 Set: 82.879 Check: 0.0 Back: 9.247
INFO - Atoms: 2106/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 406480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.992 Prop: 163.208 PropClause: 149.445 Set: 83.438 Check: 0.0 Back: 9.295
INFO - Atoms: 3099/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 408588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.002 Prop: 163.912 PropClause: 150.095 Set: 83.742 Check: 0.0 Back: 9.366
INFO - Atoms: 2108/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 410696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.011 Prop: 164.339 PropClause: 150.47 Set: 84.045 Check: 0.0 Back: 9.414
INFO - Atoms: 2108/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 413650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.021 Prop: 165.361 PropClause: 151.417 Set: 84.551 Check: 0.0 Back: 9.461
INFO - Atoms: 2954/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 416754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.035 Prop: 166.55 PropClause: 152.529 Set: 85.088 Check: 0.0 Back: 9.527
INFO - Atoms: 3104/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 424769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.055 Prop: 170.361 PropClause: 156.137 Set: 86.671 Check: 0.0 Back: 9.595
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 428567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.066 Prop: 173.125 PropClause: 158.806 Set: 87.386 Check: 0.0 Back: 9.778
INFO - Atoms: 3798/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 432519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.078 Prop: 175.072 PropClause: 160.654 Set: 88.115 Check: 0.0 Back: 9.865
INFO - Atoms: 3952/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 435311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.129 Prop: 176.152 PropClause: 161.663 Set: 88.574 Check: 0.0 Back: 9.954
INFO - Atoms: 2792/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 438001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.177 Prop: 176.993 PropClause: 162.436 Set: 89.019 Check: 0.0 Back: 10.017
INFO - Atoms: 2690/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 440760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.185 Prop: 177.843 PropClause: 163.216 Set: 89.478 Check: 0.0 Back: 10.077
INFO - Atoms: 2759/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 442792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.194 Prop: 178.677 PropClause: 163.999 Set: 89.776 Check: 0.0 Back: 10.139
INFO - Atoms: 2032/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 444824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.203 Prop: 179.157 PropClause: 164.427 Set: 90.058 Check: 0.0 Back: 10.185
INFO - Atoms: 2032/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 447591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.213 Prop: 179.972 PropClause: 165.171 Set: 90.545 Check: 0.0 Back: 10.231
INFO - Atoms: 2767/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 450921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.222 Prop: 181.043 PropClause: 166.158 Set: 91.14 Check: 0.0 Back: 10.294
INFO - Atoms: 3330/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 454429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.23 Prop: 182.056 PropClause: 167.083 Set: 91.764 Check: 0.0 Back: 10.37
INFO - Atoms: 3508/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 456568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.24 Prop: 182.748 PropClause: 167.721 Set: 92.065 Check: 0.0 Back: 10.449
INFO - Atoms: 2139/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 458668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.248 Prop: 183.237 PropClause: 168.157 Set: 92.335 Check: 0.0 Back: 10.499
INFO - Atoms: 2100/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 461482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.257 Prop: 184.085 PropClause: 168.934 Set: 92.813 Check: 0.0 Back: 10.548
INFO - Atoms: 2814/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 463596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.267 Prop: 184.787 PropClause: 169.581 Set: 93.106 Check: 0.0 Back: 10.613
INFO - Atoms: 2114/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 465799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.272 Prop: 185.217 PropClause: 169.957 Set: 93.413 Check: 0.0 Back: 10.661
INFO - Atoms: 2203/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 468670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.286 Prop: 185.973 PropClause: 170.641 Set: 93.892 Check: 0.0 Back: 10.71
INFO - Atoms: 2871/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 470868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.294 Prop: 186.747 PropClause: 171.359 Set: 94.2 Check: 0.0 Back: 10.775
INFO - Atoms: 2198/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 473144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.301 Prop: 187.211 PropClause: 171.765 Set: 94.51 Check: 0.0 Back: 10.825
INFO - Atoms: 2276/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 476059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.306 Prop: 187.786 PropClause: 172.268 Set: 94.975 Check: 0.0 Back: 10.875
INFO - Atoms: 2915/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 478319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.313 Prop: 188.627 PropClause: 173.052 Set: 95.28 Check: 0.0 Back: 10.94
INFO - Atoms: 2260/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 481266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.321 Prop: 189.477 PropClause: 173.827 Set: 95.769 Check: 0.0 Back: 11.002
INFO - Atoms: 2947/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 483518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.327 Prop: 190.16 PropClause: 174.453 Set: 96.072 Check: 0.0 Back: 11.068
INFO - Atoms: 2252/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 486465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.336 Prop: 191.044 PropClause: 175.263 Set: 96.553 Check: 0.0 Back: 11.118
INFO - Atoms: 2947/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 488708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.344 Prop: 191.774 PropClause: 175.937 Set: 96.852 Check: 0.0 Back: 11.184
INFO - Atoms: 2243/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 490961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.352 Prop: 192.194 PropClause: 176.3 Set: 97.159 Check: 0.0 Back: 11.234
INFO - Atoms: 2253/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 493210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.36 Prop: 192.807 PropClause: 176.856 Set: 97.473 Check: 0.0 Back: 11.284
INFO - Atoms: 2249/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 495486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.368 Prop: 193.344 PropClause: 177.334 Set: 97.784 Check: 0.0 Back: 11.335
INFO - Atoms: 2276/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 497453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.511 Prop: 194.06 PropClause: 177.999 Set: 98.066 Check: 0.0 Back: 11.386
INFO - Atoms: 1967/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 499737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.528 Prop: 194.727 PropClause: 178.607 Set: 98.411 Check: 0.0 Back: 11.431
INFO - Atoms: 2284/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 502396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.544 Prop: 195.536 PropClause: 179.349 Set: 98.855 Check: 0.0 Back: 11.483
INFO - Atoms: 2659/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 504435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.557 Prop: 196.458 PropClause: 180.218 Set: 99.124 Check: 0.0 Back: 11.544
INFO - Atoms: 2039/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 506543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.594 Prop: 196.863 PropClause: 180.57 Set: 99.405 Check: 0.0 Back: 11.591
INFO - Atoms: 2108/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 508617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.626 Prop: 197.243 PropClause: 180.896 Set: 99.676 Check: 0.0 Back: 11.638
INFO - Atoms: 2074/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 510661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 197.756 PropClause: 181.357 Set: 99.941 Check: 0.0 Back: 11.685
INFO - Atoms: 2044/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 512612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.648 Prop: 198.214 PropClause: 181.764 Set: 100.211 Check: 0.0 Back: 11.732
INFO - Atoms: 1951/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 515937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.658 Prop: 199.256 PropClause: 182.723 Set: 100.795 Check: 0.0 Back: 11.776
INFO - Atoms: 3325/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 519516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.682 Prop: 200.782 PropClause: 184.156 Set: 101.426 Check: 0.0 Back: 11.852
INFO - Atoms: 3579/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 521920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.694 Prop: 202.244 PropClause: 185.557 Set: 101.815 Check: 0.0 Back: 11.935
INFO - Atoms: 2404/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 525910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 204.113 PropClause: 187.324 Set: 102.556 Check: 0.0 Back: 11.99
INFO - Atoms: 3990/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 528551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.729 Prop: 205.236 PropClause: 188.379 Set: 102.992 Check: 0.0 Back: 12.085
INFO - Atoms: 2641/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 532529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 206.862 PropClause: 189.904 Set: 103.754 Check: 0.0 Back: 12.145
INFO - Atoms: 3978/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 536765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.759 Prop: 209.401 PropClause: 192.333 Set: 104.571 Check: 0.0 Back: 12.237
INFO - Atoms: 4236/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 539600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.77 Prop: 211.17 PropClause: 194.029 Set: 105.059 Check: 0.0 Back: 12.336
INFO - Atoms: 2835/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 547615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.787 Prop: 215.886 PropClause: 198.54 Set: 106.782 Check: 0.0 Back: 12.4
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 550665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.795 Prop: 217.908 PropClause: 200.485 Set: 107.331 Check: 0.0 Back: 12.594
INFO - Atoms: 3050/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 554522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.805 Prop: 219.171 PropClause: 201.65 Set: 108.047 Check: 0.0 Back: 12.664
INFO - Atoms: 3857/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 556750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.817 Prop: 220.308 PropClause: 202.73 Set: 108.568 Check: 0.0 Back: 12.751
INFO - Atoms: 2228/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 560419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.827 Prop: 221.747 PropClause: 204.075 Set: 109.24 Check: 0.0 Back: 12.802
INFO - Atoms: 3669/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 564089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.836 Prop: 223.011 PropClause: 205.247 Set: 110.144 Check: 0.0 Back: 12.887
INFO - Atoms: 3670/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 567697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.847 Prop: 224.735 PropClause: 206.879 Set: 111.042 Check: 0.0 Back: 12.971
INFO - Atoms: 3608/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 571315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.858 Prop: 226.325 PropClause: 208.376 Set: 111.94 Check: 0.0 Back: 13.056
INFO - Atoms: 3618/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 574925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.868 Prop: 227.541 PropClause: 209.499 Set: 112.829 Check: 0.0 Back: 13.14
INFO - Atoms: 3610/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 578541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.88 Prop: 229.219 PropClause: 211.085 Set: 113.775 Check: 0.0 Back: 13.223
INFO - Atoms: 3616/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 583119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.89 Prop: 231.381 PropClause: 213.13 Set: 114.948 Check: 0.0 Back: 13.306
INFO - Atoms: 4578/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 587873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.901 Prop: 233.056 PropClause: 214.685 Set: 116.156 Check: 0.0 Back: 13.412
INFO - Atoms: 4754/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 591113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.912 Prop: 234.69 PropClause: 216.237 Set: 116.969 Check: 0.0 Back: 13.521
INFO - Atoms: 3240/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 599119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.927 Prop: 237.605 PropClause: 218.95 Set: 119.132 Check: 0.0 Back: 13.594
INFO - Atoms: 8006/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 603163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.938 Prop: 241.881 PropClause: 223.123 Set: 120.17 Check: 0.0 Back: 13.795
INFO - Atoms: 4044/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 607736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.948 Prop: 244.34 PropClause: 225.466 Set: 121.351 Check: 0.0 Back: 13.89
INFO - Atoms: 4573/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 615739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.983 Prop: 247.801 PropClause: 228.724 Set: 123.503 Check: 0.0 Back: 13.995
INFO - Atoms: 8003/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 619435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.025 Prop: 251.595 PropClause: 232.423 Set: 124.458 Check: 0.0 Back: 14.186
INFO - Atoms: 3696/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 623124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.036 Prop: 253.033 PropClause: 233.767 Set: 125.372 Check: 0.0 Back: 14.271
INFO - Atoms: 3689/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 628690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.049 Prop: 255.058 PropClause: 235.651 Set: 126.796 Check: 0.0 Back: 14.355
INFO - Atoms: 5566/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 636705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.059 Prop: 259.751 PropClause: 240.14 Set: 129.078 Check: 0.0 Back: 14.482
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 640182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 262.026 PropClause: 242.325 Set: 129.959 Check: 0.0 Back: 14.671
INFO - Atoms: 3477/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 644367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.082 Prop: 263.869 PropClause: 244.061 Set: 131.028 Check: 0.0 Back: 14.754
INFO - Atoms: 4185/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 652359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.107 Prop: 267.246 PropClause: 247.236 Set: 133.213 Check: 0.0 Back: 14.85
INFO - Atoms: 7992/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 656618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.119 Prop: 270.178 PropClause: 250.06 Set: 134.28 Check: 0.0 Back: 15.037
INFO - Atoms: 4259/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 659774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.13 Prop: 271.982 PropClause: 251.783 Set: 135.005 Check: 0.0 Back: 15.133
INFO - Atoms: 3156/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 667788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.155 Prop: 276.305 PropClause: 255.904 Set: 137.197 Check: 0.0 Back: 15.205
INFO - Atoms: 8014/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 671788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.165 Prop: 279.704 PropClause: 259.201 Set: 138.165 Check: 0.0 Back: 15.394
INFO - Atoms: 4000/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 675732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.176 Prop: 281.033 PropClause: 260.431 Set: 139.095 Check: 0.0 Back: 15.485
INFO - Atoms: 3944/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 679676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.188 Prop: 282.822 PropClause: 262.12 Set: 140.051 Check: 0.0 Back: 15.574
INFO - Atoms: 3944/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 682824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.2 Prop: 285.616 PropClause: 264.834 Set: 140.789 Check: 0.0 Back: 15.664
INFO - Atoms: 3148/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 687078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.212 Prop: 287.568 PropClause: 266.678 Set: 141.803 Check: 0.0 Back: 15.736
INFO - Atoms: 4254/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 695093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.227 Prop: 291.392 PropClause: 270.3 Set: 143.845 Check: 0.0 Back: 15.835
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 699550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.239 Prop: 295.545 PropClause: 274.329 Set: 144.931 Check: 0.0 Back: 16.024
INFO - Atoms: 4457/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 704111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.25 Prop: 297.655 PropClause: 276.324 Set: 146.019 Check: 0.0 Back: 16.127
INFO - Atoms: 4561/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 708675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.262 Prop: 300.074 PropClause: 278.627 Set: 147.117 Check: 0.0 Back: 16.231
INFO - Atoms: 4564/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 710765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.273 Prop: 301.569 PropClause: 280.068 Set: 147.609 Check: 0.0 Back: 16.336
INFO - Atoms: 2090/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 713238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 302.204 PropClause: 280.64 Set: 148.152 Check: 0.0 Back: 16.384
INFO - Atoms: 2473/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 715706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.294 Prop: 303.025 PropClause: 281.397 Set: 148.686 Check: 0.0 Back: 16.441
INFO - Atoms: 2468/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 718517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.306 Prop: 303.741 PropClause: 282.042 Set: 149.31 Check: 0.0 Back: 16.497
INFO - Atoms: 2811/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 720987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.315 Prop: 304.554 PropClause: 282.792 Set: 149.848 Check: 0.0 Back: 16.561
INFO - Atoms: 2470/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 723799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.327 Prop: 305.279 PropClause: 283.446 Set: 150.473 Check: 0.0 Back: 16.617
INFO - Atoms: 2812/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 726271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.355 Prop: 306.121 PropClause: 284.225 Set: 151.024 Check: 0.0 Back: 16.682
INFO - Atoms: 2472/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 729084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.367 Prop: 307.035 PropClause: 285.067 Set: 151.66 Check: 0.0 Back: 16.738
INFO - Atoms: 2813/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 731437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.377 Prop: 307.848 PropClause: 285.819 Set: 151.987 Check: 0.0 Back: 16.802
INFO - Atoms: 2353/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 733785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.386 Prop: 308.343 PropClause: 286.254 Set: 152.311 Check: 0.0 Back: 16.855
INFO - Atoms: 2348/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 736138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.397 Prop: 308.997 PropClause: 286.848 Set: 152.636 Check: 0.0 Back: 16.908
INFO - Atoms: 2353/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 738486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.407 Prop: 309.583 PropClause: 287.36 Set: 152.965 Check: 0.0 Back: 16.961
INFO - Atoms: 2348/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 743664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 311.904 PropClause: 289.548 Set: 153.968 Check: 0.0 Back: 17.015
INFO - Atoms: 5178/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 751659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 316.921 PropClause: 294.362 Set: 155.631 Check: 0.0 Back: 17.138
INFO - Atoms: 7995/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 756028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.445 Prop: 321.721 PropClause: 299.05 Set: 156.457 Check: 0.0 Back: 17.331
INFO - Atoms: 4369/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 764026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.467 Prop: 327.006 PropClause: 304.13 Set: 158.148 Check: 0.0 Back: 17.431
INFO - Atoms: 7998/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 767774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.486 Prop: 331.474 PropClause: 308.503 Set: 158.862 Check: 0.0 Back: 17.617
INFO - Atoms: 3748/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 771074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.496 Prop: 333.178 PropClause: 310.122 Set: 159.467 Check: 0.0 Back: 17.703
INFO - Atoms: 3300/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 774478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.507 Prop: 334.534 PropClause: 311.391 Set: 160.102 Check: 0.0 Back: 17.779
INFO - Atoms: 3404/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 777888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.517 Prop: 335.655 PropClause: 312.424 Set: 160.726 Check: 0.0 Back: 17.856
INFO - Atoms: 3410/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 781268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.527 Prop: 337.046 PropClause: 313.716 Set: 161.317 Check: 0.0 Back: 17.933
INFO - Atoms: 3380/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 784734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.537 Prop: 338.3 PropClause: 314.881 Set: 161.934 Check: 0.0 Back: 18.01
INFO - Atoms: 3466/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 787867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.549 Prop: 339.663 PropClause: 316.164 Set: 162.484 Check: 0.0 Back: 18.089
INFO - Atoms: 3133/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 790987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.56 Prop: 340.791 PropClause: 317.213 Set: 163.058 Check: 0.0 Back: 18.161
INFO - Atoms: 3120/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 794094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.571 Prop: 358.359 PropClause: 334.7 Set: 163.635 Check: 0.0 Back: 18.234
INFO - Atoms: 3107/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 797486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.58 Prop: 359.923 PropClause: 336.177 Set: 164.255 Check: 0.0 Back: 18.306
INFO - Atoms: 3392/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 800856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.59 Prop: 361.069 PropClause: 337.237 Set: 164.849 Check: 0.0 Back: 18.384
INFO - Atoms: 3370/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 804250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.603 Prop: 362.096 PropClause: 338.178 Set: 165.473 Check: 0.0 Back: 18.46
INFO - Atoms: 3394/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 807682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.614 Prop: 363.547 PropClause: 339.541 Set: 166.102 Check: 0.0 Back: 18.549
INFO - Atoms: 3432/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 811110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.624 Prop: 365.105 PropClause: 341.011 Set: 166.718 Check: 0.0 Back: 18.627
INFO - Atoms: 3428/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 814534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.635 Prop: 366.332 PropClause: 342.15 Set: 167.335 Check: 0.0 Back: 18.705
INFO - Atoms: 3424/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 817938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.645 Prop: 367.685 PropClause: 343.417 Set: 167.97 Check: 0.0 Back: 18.782
INFO - Atoms: 3404/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 821336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.657 Prop: 368.939 PropClause: 344.586 Set: 168.569 Check: 0.0 Back: 18.86
INFO - Atoms: 3398/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 824737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.667 Prop: 370.015 PropClause: 345.575 Set: 169.178 Check: 0.0 Back: 18.937
INFO - Atoms: 3401/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 827849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 371.305 PropClause: 346.786 Set: 169.716 Check: 0.0 Back: 19.015
INFO - Atoms: 3112/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 830960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.686 Prop: 372.397 PropClause: 347.799 Set: 170.244 Check: 0.0 Back: 19.086
INFO - Atoms: 3111/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 834041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.696 Prop: 373.545 PropClause: 348.868 Set: 170.771 Check: 0.0 Back: 19.156
INFO - Atoms: 3081/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 837121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.706 Prop: 374.637 PropClause: 349.882 Set: 171.294 Check: 0.0 Back: 19.226
INFO - Atoms: 3080/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 840056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.718 Prop: 375.929 PropClause: 351.1 Set: 171.836 Check: 0.0 Back: 19.295
INFO - Atoms: 2935/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 842991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.73 Prop: 376.966 PropClause: 352.063 Set: 172.323 Check: 0.0 Back: 19.361
INFO - Atoms: 2935/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 846861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 378.401 PropClause: 353.401 Set: 173.013 Check: 0.0 Back: 19.426
INFO - Atoms: 3870/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 850214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.76 Prop: 379.826 PropClause: 354.743 Set: 173.589 Check: 0.0 Back: 19.514
INFO - Atoms: 3353/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 854119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.771 Prop: 381.386 PropClause: 356.204 Set: 174.336 Check: 0.0 Back: 19.589
INFO - Atoms: 3905/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 862119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.789 Prop: 385.524 PropClause: 360.141 Set: 175.978 Check: 0.0 Back: 19.677
INFO - Atoms: 8000/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 865476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 389.891 PropClause: 364.423 Set: 176.547 Check: 0.0 Back: 19.872
INFO - Atoms: 3357/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 870356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.809 Prop: 392.788 PropClause: 367.193 Set: 177.586 Check: 0.0 Back: 19.947
INFO - Atoms: 4880/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 875478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.831 Prop: 395.93 PropClause: 370.208 Set: 178.57 Check: 0.0 Back: 20.061
INFO - Atoms: 5122/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 878562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.84 Prop: 398.05 PropClause: 372.249 Set: 179.102 Check: 0.0 Back: 20.194
INFO - Atoms: 3084/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 881645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.851 Prop: 399.578 PropClause: 373.701 Set: 179.612 Check: 0.0 Back: 20.263
INFO - Atoms: 3083/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 885161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.862 Prop: 400.96 PropClause: 374.993 Set: 180.216 Check: 0.0 Back: 20.333
INFO - Atoms: 3516/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 893176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.88 Prop: 404.222 PropClause: 378.056 Set: 181.808 Check: 0.0 Back: 20.412
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 897258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.891 Prop: 406.684 PropClause: 380.416 Set: 182.548 Check: 0.0 Back: 20.598
INFO - Atoms: 4082/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 901127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.9 Prop: 408.398 PropClause: 382.032 Set: 183.261 Check: 0.0 Back: 20.691
INFO - Atoms: 3869/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 905065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.909 Prop: 410.167 PropClause: 383.702 Set: 183.98 Check: 0.0 Back: 20.779
INFO - Atoms: 3938/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 908546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.919 Prop: 411.33 PropClause: 384.777 Set: 184.57 Check: 0.0 Back: 20.868
INFO - Atoms: 3481/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 916547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.939 Prop: 414.812 PropClause: 388.06 Set: 186.154 Check: 0.0 Back: 20.946
INFO - Atoms: 8001/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 920805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.947 Prop: 417.884 PropClause: 391.025 Set: 186.918 Check: 0.0 Back: 21.13
INFO - Atoms: 4258/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 925301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.965 Prop: 419.964 PropClause: 392.992 Set: 187.741 Check: 0.0 Back: 21.225
INFO - Atoms: 4496/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 928633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.975 Prop: 421.755 PropClause: 394.699 Set: 188.334 Check: 0.0 Back: 21.326
INFO - Atoms: 3332/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 931965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.987 Prop: 423.051 PropClause: 395.912 Set: 188.91 Check: 0.0 Back: 21.401
INFO - Atoms: 3332/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 935181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.001 Prop: 425.16 PropClause: 397.94 Set: 189.47 Check: 0.0 Back: 21.476
INFO - Atoms: 3216/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 939586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.012 Prop: 427.11 PropClause: 399.779 Set: 190.296 Check: 0.0 Back: 21.548
INFO - Atoms: 4405/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 947601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.031 Prop: 431.54 PropClause: 404.009 Set: 191.929 Check: 0.0 Back: 21.648
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 949668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.041 Prop: 434.022 PropClause: 406.438 Set: 192.222 Check: 0.0 Back: 21.833
INFO - Atoms: 2067/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 953675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.05 Prop: 435.34 PropClause: 407.655 Set: 192.968 Check: 0.0 Back: 21.879
INFO - Atoms: 4007/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 956857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.06 Prop: 436.566 PropClause: 408.802 Set: 193.539 Check: 0.0 Back: 21.971
INFO - Atoms: 3182/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 960071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 437.866 PropClause: 410.021 Set: 194.115 Check: 0.0 Back: 22.043
INFO - Atoms: 3214/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 963036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 439.144 PropClause: 411.224 Set: 194.61 Check: 0.0 Back: 22.116
INFO - Atoms: 2965/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 967164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.099 Prop: 440.987 PropClause: 412.963 Set: 195.374 Check: 0.0 Back: 22.184
INFO - Atoms: 4128/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 970498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.122 Prop: 442.75 PropClause: 414.641 Set: 195.961 Check: 0.0 Back: 22.278
INFO - Atoms: 3334/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 974359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.132 Prop: 444.541 PropClause: 416.334 Set: 196.689 Check: 0.0 Back: 22.352
INFO - Atoms: 3861/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 982362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.161 Prop: 448.771 PropClause: 420.363 Set: 198.319 Check: 0.0 Back: 22.441
INFO - Atoms: 8003/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 986090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.174 Prop: 453.623 PropClause: 425.121 Set: 199.017 Check: 0.0 Back: 22.629
INFO - Atoms: 3728/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 990041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.184 Prop: 455.245 PropClause: 426.644 Set: 199.758 Check: 0.0 Back: 22.715
INFO - Atoms: 3951/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 998056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.205 Prop: 459.627 PropClause: 430.824 Set: 201.386 Check: 0.0 Back: 22.818
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 1002565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.214 Prop: 465.024 PropClause: 436.108 Set: 202.245 Check: 0.0 Back: 23.003
INFO - Atoms: 4509/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 1007233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 467.285 PropClause: 438.251 Set: 203.132 Check: 0.0 Back: 23.107
INFO - Atoms: 4668/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 1010608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 470.135 PropClause: 441.016 Set: 203.724 Check: 0.0 Back: 23.212
INFO - Atoms: 3375/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 1014864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 472.935 PropClause: 443.708 Set: 204.509 Check: 0.0 Back: 23.291
INFO - Atoms: 4256/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 1022869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.282 Prop: 477.795 PropClause: 448.366 Set: 206.101 Check: 0.0 Back: 23.389
INFO - Atoms: 8005/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 1026439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.306 Prop: 483.314 PropClause: 453.795 Set: 206.766 Check: 0.0 Back: 23.574
INFO - Atoms: 3570/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 1030164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.329 Prop: 485.164 PropClause: 455.551 Set: 207.457 Check: 0.0 Back: 23.655
INFO - Atoms: 3725/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 1033707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.334 Prop: 486.821 PropClause: 457.118 Set: 208.109 Check: 0.0 Back: 23.741
INFO - Atoms: 3543/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 1037727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.339 Prop: 488.731 PropClause: 458.925 Set: 208.871 Check: 0.0 Back: 23.822
INFO - Atoms: 4020/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 1041881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.347 Prop: 490.279 PropClause: 460.367 Set: 209.638 Check: 0.0 Back: 23.913
INFO - Atoms: 4154/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 1046037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.354 Prop: 492.331 PropClause: 462.314 Set: 210.4 Check: 0.0 Back: 24.007
INFO - Atoms: 4156/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 1050165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.359 Prop: 493.995 PropClause: 463.875 Set: 211.162 Check: 0.0 Back: 24.102
INFO - Atoms: 4128/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 1054471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.363 Prop: 495.528 PropClause: 465.291 Set: 211.954 Check: 0.0 Back: 24.195
INFO - Atoms: 4306/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 1062486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.372 Prop: 499.104 PropClause: 468.665 Set: 213.566 Check: 0.0 Back: 24.292
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 1065382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.379 Prop: 502.71 PropClause: 472.178 Set: 214.074 Check: 0.0 Back: 24.483
INFO - Atoms: 2896/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 1069510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.388 Prop: 504.089 PropClause: 473.453 Set: 214.824 Check: 0.0 Back: 24.548
INFO - Atoms: 4128/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 1072051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.394 Prop: 506.148 PropClause: 475.447 Set: 215.226 Check: 0.0 Back: 24.641
INFO - Atoms: 2541/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 1074621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 506.998 PropClause: 476.232 Set: 215.639 Check: 0.0 Back: 24.7
INFO - Atoms: 2570/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 1077191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 507.59 PropClause: 476.76 Set: 216.031 Check: 0.0 Back: 24.757
INFO - Atoms: 2570/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 1079825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 508.211 PropClause: 477.314 Set: 216.428 Check: 0.0 Back: 24.815
INFO - Atoms: 2634/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 1082459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.413 Prop: 508.822 PropClause: 477.859 Set: 216.825 Check: 0.0 Back: 24.873
INFO - Atoms: 2634/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 1086136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.417 Prop: 509.936 PropClause: 478.879 Set: 217.481 Check: 0.0 Back: 24.933
INFO - Atoms: 3677/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 1093099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.422 Prop: 512.517 PropClause: 481.284 Set: 218.805 Check: 0.0 Back: 25.017
INFO - Atoms: 6963/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 1100123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 514.941 PropClause: 483.531 Set: 220.16 Check: 0.0 Back: 25.183
INFO - Atoms: 7024/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 1107243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 519.689 PropClause: 488.098 Set: 221.54 Check: 0.0 Back: 25.343
INFO - Atoms: 7120/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 1115257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.436 Prop: 523.931 PropClause: 492.139 Set: 223.098 Check: 0.0 Back: 25.511
INFO - Atoms: 8014/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 1117554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.441 Prop: 526.06 PropClause: 494.21 Set: 223.449 Check: 0.0 Back: 25.701
INFO - Atoms: 2297/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 1125569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.45 Prop: 529.651 PropClause: 497.6 Set: 225.089 Check: 0.0 Back: 25.753
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 1127861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 531.983 PropClause: 499.872 Set: 225.425 Check: 0.0 Back: 25.942
INFO - Atoms: 2292/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 1131956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.463 Prop: 533.09 PropClause: 500.876 Set: 226.209 Check: 0.0 Back: 25.993
INFO - Atoms: 4095/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 1134184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.466 Prop: 534.084 PropClause: 501.813 Set: 226.547 Check: 0.0 Back: 26.086
INFO - Atoms: 2228/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 1136410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 534.687 PropClause: 502.359 Set: 226.88 Check: 0.0 Back: 26.137
INFO - Atoms: 2226/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 1139829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.476 Prop: 535.674 PropClause: 503.26 Set: 227.524 Check: 0.0 Back: 26.188
INFO - Atoms: 3419/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 1143244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 536.696 PropClause: 504.195 Set: 228.136 Check: 0.0 Back: 26.265
INFO - Atoms: 3415/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 1146566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.484 Prop: 537.633 PropClause: 505.048 Set: 228.753 Check: 0.0 Back: 26.345
INFO - Atoms: 3322/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 1149882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.487 Prop: 538.594 PropClause: 505.926 Set: 229.355 Check: 0.0 Back: 26.419
INFO - Atoms: 3316/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 1153205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.491 Prop: 539.874 PropClause: 507.121 Set: 229.973 Check: 0.0 Back: 26.494
INFO - Atoms: 3323/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 1156633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.497 Prop: 541.085 PropClause: 508.246 Set: 230.615 Check: 0.0 Back: 26.57
INFO - Atoms: 3428/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 1164646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 543.555 PropClause: 510.516 Set: 232.189 Check: 0.0 Back: 26.648
INFO - Atoms: 8013/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 1168364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.511 Prop: 548.714 PropClause: 515.578 Set: 232.964 Check: 0.0 Back: 26.84
INFO - Atoms: 3718/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 1171971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.515 Prop: 549.961 PropClause: 516.735 Set: 233.636 Check: 0.0 Back: 26.927
INFO - Atoms: 3607/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 1175842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.524 Prop: 551.549 PropClause: 518.224 Set: 234.394 Check: 0.0 Back: 27.009
INFO - Atoms: 3871/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 1182605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.529 Prop: 553.994 PropClause: 520.498 Set: 235.725 Check: 0.0 Back: 27.098
INFO - Atoms: 6763/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 1190620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.537 Prop: 557.16 PropClause: 523.463 Set: 237.286 Check: 0.0 Back: 27.257
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 1193852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.542 Prop: 560.194 PropClause: 526.416 Set: 237.855 Check: 0.0 Back: 27.448
INFO - Atoms: 3232/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 1198192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.547 Prop: 561.835 PropClause: 527.946 Set: 238.673 Check: 0.0 Back: 27.52
INFO - Atoms: 4340/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 1201906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.552 Prop: 563.435 PropClause: 529.451 Set: 239.377 Check: 0.0 Back: 27.619
INFO - Atoms: 3714/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 1205685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.556 Prop: 564.768 PropClause: 530.688 Set: 240.062 Check: 0.0 Back: 27.703
INFO - Atoms: 3779/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 1213694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.566 Prop: 567.573 PropClause: 533.291 Set: 241.677 Check: 0.0 Back: 27.788
INFO - Atoms: 8009/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 1221709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 572.009 PropClause: 537.524 Set: 243.269 Check: 0.0 Back: 27.979
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 1224783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.58 Prop: 575.617 PropClause: 541.053 Set: 243.8 Check: 0.0 Back: 28.166
INFO - Atoms: 3074/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 1228673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 577.385 PropClause: 542.723 Set: 244.523 Check: 0.0 Back: 28.236
INFO - Atoms: 3890/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 1232795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.596 Prop: 579.089 PropClause: 544.324 Set: 245.292 Check: 0.0 Back: 28.324
INFO - Atoms: 4122/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 1237571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.605 Prop: 581.002 PropClause: 546.116 Set: 246.183 Check: 0.0 Back: 28.417
INFO - Atoms: 4776/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 1245579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.613 Prop: 584.563 PropClause: 549.474 Set: 247.794 Check: 0.0 Back: 28.526
INFO - Atoms: 8008/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 1253594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 589.178 PropClause: 553.887 Set: 249.36 Check: 0.0 Back: 28.712
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 1257795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.628 Prop: 591.596 PropClause: 556.2 Set: 250.159 Check: 0.0 Back: 28.904
INFO - Atoms: 4201/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 1262231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.635 Prop: 592.912 PropClause: 557.405 Set: 250.979 Check: 0.0 Back: 29.0
INFO - Atoms: 4436/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 1270243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 595.259 PropClause: 559.552 Set: 252.546 Check: 0.0 Back: 29.1
INFO - Atoms: 8012/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 1274165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.647 Prop: 598.808 PropClause: 563.002 Set: 253.283 Check: 0.0 Back: 29.29
INFO - Atoms: 3922/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 1276608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 600.21 PropClause: 564.342 Set: 253.627 Check: 0.0 Back: 29.378
INFO - Atoms: 2443/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 1280277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 601.262 PropClause: 565.302 Set: 254.256 Check: 0.0 Back: 29.433
INFO - Atoms: 3669/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 1284000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.662 Prop: 602.267 PropClause: 566.214 Set: 254.871 Check: 0.0 Back: 29.517
INFO - Atoms: 3723/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 1288590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.667 Prop: 604.391 PropClause: 568.222 Set: 255.707 Check: 0.0 Back: 29.602
INFO - Atoms: 4590/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 1292761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.673 Prop: 606.053 PropClause: 569.778 Set: 256.481 Check: 0.0 Back: 29.705
INFO - Atoms: 4171/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 1297174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.678 Prop: 607.619 PropClause: 571.234 Set: 257.308 Check: 0.0 Back: 29.801
INFO - Atoms: 4413/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 1300493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.682 Prop: 608.784 PropClause: 572.317 Set: 257.889 Check: 0.0 Back: 29.902
INFO - Atoms: 3319/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 1304950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.692 Prop: 610.421 PropClause: 573.842 Set: 258.721 Check: 0.0 Back: 29.976
INFO - Atoms: 4457/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 1307708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.696 Prop: 611.889 PropClause: 575.24 Set: 259.166 Check: 0.0 Back: 30.08
INFO - Atoms: 2758/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 1312564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 614.041 PropClause: 577.269 Set: 260.095 Check: 0.0 Back: 30.142
INFO - Atoms: 4856/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 1315679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.709 Prop: 615.461 PropClause: 578.609 Set: 260.621 Check: 0.0 Back: 30.255
INFO - Atoms: 3115/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 1320159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 617.499 PropClause: 580.534 Set: 261.466 Check: 0.0 Back: 30.326
INFO - Atoms: 4480/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 1324547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.718 Prop: 619.3 PropClause: 582.225 Set: 262.28 Check: 0.0 Back: 30.428
INFO - Atoms: 4388/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 1328019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 621.099 PropClause: 583.936 Set: 262.903 Check: 0.0 Back: 30.544
INFO - Atoms: 3472/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 1336009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.729 Prop: 625.08 PropClause: 587.715 Set: 264.661 Check: 0.0 Back: 30.623
INFO - Atoms: 7990/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 1338363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.867 Prop: 628.364 PropClause: 590.939 Set: 264.989 Check: 0.0 Back: 30.807
INFO - Atoms: 2354/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 1342587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.905 Prop: 629.833 PropClause: 592.301 Set: 265.758 Check: 0.0 Back: 30.862
INFO - Atoms: 4224/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 1344942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.914 Prop: 631.012 PropClause: 593.419 Set: 266.096 Check: 0.0 Back: 30.96
INFO - Atoms: 2355/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 1348045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.925 Prop: 631.799 PropClause: 594.128 Set: 266.603 Check: 0.0 Back: 31.013
INFO - Atoms: 3103/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 1350501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.934 Prop: 632.541 PropClause: 594.808 Set: 266.955 Check: 0.0 Back: 31.083
INFO - Atoms: 2456/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 1354122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.944 Prop: 633.452 PropClause: 595.628 Set: 267.597 Check: 0.0 Back: 31.138
INFO - Atoms: 3621/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 1356749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.955 Prop: 634.671 PropClause: 596.78 Set: 267.968 Check: 0.0 Back: 31.219
INFO - Atoms: 2627/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 1360588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.964 Prop: 635.945 PropClause: 597.956 Set: 268.628 Check: 0.0 Back: 31.278
INFO - Atoms: 3839/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 1364451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 638.027 PropClause: 599.941 Set: 269.284 Check: 0.0 Back: 31.365
INFO - Atoms: 3863/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 1368352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 639.295 PropClause: 601.109 Set: 269.935 Check: 0.0 Back: 31.468
INFO - Atoms: 3901/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 1370857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.997 Prop: 640.392 PropClause: 602.142 Set: 270.275 Check: 0.0 Back: 31.556
INFO - Atoms: 2505/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 1374125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 641.068 PropClause: 602.736 Set: 270.794 Check: 0.0 Back: 31.614
INFO - Atoms: 3268/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 16116 Tprops: 8837 Decides: 8776 RSplits: 0
INFO - Times: Expl: 115.192 Prop: 3741.309 PropClause: 9.599 Set: 2735.966 Check: 71.272 Back: 24.887
INFO - Atoms: 6/232 Clauses: 500 Axioms: 194
INFO - CCTimes: iE 103038 eq 8731802 cc 16742394 setRep 14134062
INFO - Merges: 28889, cc:47700
INFO - BVTimes: BB 80634056 BB_DPLL 2922295559 Graph 55086486
INFO - BitBlastingClauses: 117622 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 1382140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.027 Prop: 644.339 PropClause: 605.804 Set: 272.517 Check: 0.0 Back: 31.689
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 1385739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.034 Prop: 646.471 PropClause: 607.846 Set: 273.179 Check: 0.0 Back: 31.882
INFO - Atoms: 3599/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 1391520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.045 Prop: 649.165 PropClause: 610.38 Set: 274.394 Check: 0.0 Back: 31.965
INFO - Atoms: 5781/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 1393331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 651.42 PropClause: 612.588 Set: 274.63 Check: 0.0 Back: 32.101
INFO - Atoms: 1811/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 1396666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 652.588 PropClause: 613.672 Set: 275.231 Check: 0.0 Back: 32.142
INFO - Atoms: 3335/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 1399530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.075 Prop: 653.619 PropClause: 614.631 Set: 275.721 Check: 0.0 Back: 32.22
INFO - Atoms: 2864/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 1401620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.085 Prop: 654.46 PropClause: 615.418 Set: 276.02 Check: 0.0 Back: 32.284
INFO - Atoms: 2090/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 1404698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.094 Prop: 655.479 PropClause: 616.359 Set: 276.551 Check: 0.0 Back: 32.332
INFO - Atoms: 3078/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 1408234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.104 Prop: 656.879 PropClause: 617.67 Set: 277.195 Check: 0.0 Back: 32.401
INFO - Atoms: 3536/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 1412360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.113 Prop: 658.533 PropClause: 619.219 Set: 277.979 Check: 0.0 Back: 32.482
INFO - Atoms: 4126/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 1415557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.123 Prop: 660.133 PropClause: 620.739 Set: 278.507 Check: 0.0 Back: 32.576
INFO - Atoms: 3197/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 1420101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.131 Prop: 662.122 PropClause: 622.612 Set: 279.397 Check: 0.0 Back: 32.648
INFO - Atoms: 4544/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 1426269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.18 Prop: 665.713 PropClause: 626.045 Set: 280.699 Check: 0.0 Back: 32.752
INFO - Atoms: 6168/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 1433007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.266 Prop: 669.866 PropClause: 630.027 Set: 282.154 Check: 0.0 Back: 32.899
INFO - Atoms: 6738/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 1435896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.32 Prop: 671.946 PropClause: 632.035 Set: 282.628 Check: 0.0 Back: 33.057
INFO - Atoms: 2889/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 1438201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.33 Prop: 672.649 PropClause: 632.679 Set: 282.973 Check: 0.0 Back: 33.123
INFO - Atoms: 2305/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 1440655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.339 Prop: 673.349 PropClause: 633.317 Set: 283.355 Check: 0.0 Back: 33.175
INFO - Atoms: 2454/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 1446564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.348 Prop: 675.937 PropClause: 635.758 Set: 284.594 Check: 0.0 Back: 33.23
INFO - Atoms: 5909/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 1452298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.357 Prop: 678.473 PropClause: 638.149 Set: 285.742 Check: 0.0 Back: 33.364
INFO - Atoms: 5734/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 1455990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.364 Prop: 679.872 PropClause: 639.455 Set: 286.405 Check: 0.0 Back: 33.497
INFO - Atoms: 3692/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 1464005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.379 Prop: 683.472 PropClause: 642.853 Set: 288.134 Check: 0.0 Back: 33.58
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 1467963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.388 Prop: 687.062 PropClause: 646.342 Set: 289.127 Check: 0.0 Back: 33.77
INFO - Atoms: 3958/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 1472205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.398 Prop: 688.955 PropClause: 648.129 Set: 290.192 Check: 0.0 Back: 33.859
INFO - Atoms: 4242/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 1480220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.406 Prop: 692.776 PropClause: 651.749 Set: 292.311 Check: 0.0 Back: 33.956
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 1482157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.416 Prop: 695.397 PropClause: 654.32 Set: 292.754 Check: 0.0 Back: 34.146
INFO - Atoms: 1937/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 1485883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.426 Prop: 696.541 PropClause: 655.371 Set: 293.643 Check: 0.0 Back: 34.19
INFO - Atoms: 3726/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 1490389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.436 Prop: 698.387 PropClause: 657.104 Set: 294.727 Check: 0.0 Back: 34.274
INFO - Atoms: 4506/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 1498404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.45 Prop: 701.958 PropClause: 660.473 Set: 296.745 Check: 0.0 Back: 34.377
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 1500354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.46 Prop: 706.107 PropClause: 664.572 Set: 297.183 Check: 0.0 Back: 34.566
INFO - Atoms: 1950/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 1504816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.47 Prop: 707.733 PropClause: 666.085 Set: 298.243 Check: 0.0 Back: 34.61
INFO - Atoms: 4462/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 1508109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.48 Prop: 709.255 PropClause: 667.524 Set: 298.984 Check: 0.0 Back: 34.714
INFO - Atoms: 3293/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 1511052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.491 Prop: 710.243 PropClause: 668.437 Set: 299.64 Check: 0.0 Back: 34.788
INFO - Atoms: 2943/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 1513585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.502 Prop: 711.41 PropClause: 669.539 Set: 300.204 Check: 0.0 Back: 34.855
INFO - Atoms: 2533/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 1516923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.514 Prop: 712.515 PropClause: 670.558 Set: 301.016 Check: 0.0 Back: 34.913
INFO - Atoms: 3338/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 1519069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.524 Prop: 713.22 PropClause: 671.209 Set: 301.479 Check: 0.0 Back: 34.989
INFO - Atoms: 2146/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 1522148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.535 Prop: 714.072 PropClause: 671.983 Set: 302.194 Check: 0.0 Back: 35.037
INFO - Atoms: 3079/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 1525222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.546 Prop: 715.544 PropClause: 673.376 Set: 302.952 Check: 0.0 Back: 35.107
INFO - Atoms: 3074/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 1528292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.556 Prop: 716.735 PropClause: 674.489 Set: 303.696 Check: 0.0 Back: 35.176
INFO - Atoms: 3070/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 1532031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.566 Prop: 718.389 PropClause: 676.049 Set: 304.592 Check: 0.0 Back: 35.246
INFO - Atoms: 3739/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 1535643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.577 Prop: 719.733 PropClause: 677.302 Set: 305.431 Check: 0.0 Back: 35.332
INFO - Atoms: 3612/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 1540204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.586 Prop: 721.376 PropClause: 678.829 Set: 306.498 Check: 0.0 Back: 35.414
INFO - Atoms: 4561/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 1545085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.596 Prop: 723.355 PropClause: 680.687 Set: 307.655 Check: 0.0 Back: 35.517
INFO - Atoms: 4881/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 1552344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.605 Prop: 726.118 PropClause: 683.267 Set: 309.441 Check: 0.0 Back: 35.628
INFO - Atoms: 7259/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 1560359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.617 Prop: 731.838 PropClause: 688.785 Set: 311.613 Check: 0.0 Back: 35.799
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 1565261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.627 Prop: 735.53 PropClause: 692.354 Set: 312.798 Check: 0.0 Back: 35.991
INFO - Atoms: 4902/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 1570111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.635 Prop: 737.211 PropClause: 693.914 Set: 313.948 Check: 0.0 Back: 36.104
INFO - Atoms: 4850/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 1575626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.679 Prop: 740.641 PropClause: 697.204 Set: 315.345 Check: 0.0 Back: 36.214
INFO - Atoms: 5515/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 1583641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.722 Prop: 744.966 PropClause: 701.328 Set: 317.388 Check: 0.0 Back: 36.342
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 1591224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.734 Prop: 749.549 PropClause: 705.719 Set: 319.07 Check: 0.0 Back: 36.53
INFO - Atoms: 7583/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 1598804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.743 Prop: 754.813 PropClause: 710.791 Set: 320.731 Check: 0.0 Back: 36.705
INFO - Atoms: 7580/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 1603726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.752 Prop: 757.826 PropClause: 713.68 Set: 321.761 Check: 0.0 Back: 36.88
INFO - Atoms: 4922/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 1608037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.761 Prop: 759.87 PropClause: 715.615 Set: 322.639 Check: 0.0 Back: 36.992
INFO - Atoms: 4311/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 1612098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.771 Prop: 761.435 PropClause: 717.075 Set: 323.42 Check: 0.0 Back: 37.092
INFO - Atoms: 4061/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 1616248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.781 Prop: 763.541 PropClause: 719.075 Set: 324.207 Check: 0.0 Back: 37.185
INFO - Atoms: 4150/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 1624263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.789 Prop: 767.412 PropClause: 722.744 Set: 325.987 Check: 0.0 Back: 37.28
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 1629101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.798 Prop: 771.714 PropClause: 726.922 Set: 327.009 Check: 0.0 Back: 37.472
INFO - Atoms: 4838/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 1635526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.807 Prop: 774.109 PropClause: 729.155 Set: 328.378 Check: 0.0 Back: 37.582
INFO - Atoms: 6425/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 1642404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.826 Prop: 778.766 PropClause: 733.635 Set: 330.008 Check: 0.0 Back: 37.729
INFO - Atoms: 6878/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 1645462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.836 Prop: 782.115 PropClause: 736.907 Set: 330.537 Check: 0.0 Back: 37.891
INFO - Atoms: 3058/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 1653477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.852 Prop: 786.068 PropClause: 740.657 Set: 332.33 Check: 0.0 Back: 37.961
INFO - Atoms: 8015/9039 Clauses: 232 Axioms: 36541
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 586 Props: 19656 Tprops: 11232 Decides: 10535 RSplits: 0
INFO - Times: Expl: 125.49 Prop: 4387.223 PropClause: 12.223 Set: 3070.329 Check: 77.268 Back: 29.543
INFO - Atoms: 150/232 Clauses: 586 Axioms: 194
INFO - CCTimes: iE 108305 eq 9638994 cc 17990094 setRep 14788417
INFO - Merges: 35875, cc:54373
INFO - BVTimes: BB 80634056 BB_DPLL 3452523187 Graph 59509698
INFO - BitBlastingClauses: 131482 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat