/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: 52231128
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.307 Prop: 13.162 PropClause: 13.063 Set: 1.29 Check: 0.0 Back: 0.0
INFO - Atoms: 366/8879 Clauses: 232 Axioms: 36221
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.344 Prop: 14.788 PropClause: 14.155 Set: 3.305 Check: 0.0 Back: 0.019
INFO - Atoms: 3123/8879 Clauses: 232 Axioms: 36221
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.369 Prop: 16.447 PropClause: 15.335 Set: 4.241 Check: 0.0 Back: 0.09
INFO - Atoms: 3096/8879 Clauses: 232 Axioms: 36221
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.4 Prop: 17.86 PropClause: 16.651 Set: 7.004 Check: 0.0 Back: 0.16
INFO - Atoms: 3178/8879 Clauses: 232 Axioms: 36221
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.436 Prop: 18.987 PropClause: 17.681 Set: 8.026 Check: 0.0 Back: 0.232
INFO - Atoms: 3139/8879 Clauses: 232 Axioms: 36221
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.466 Prop: 20.246 PropClause: 18.83 Set: 9.055 Check: 0.0 Back: 0.304
INFO - Atoms: 3153/8879 Clauses: 232 Axioms: 36221
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.496 Prop: 21.453 PropClause: 19.938 Set: 10.1 Check: 0.0 Back: 0.376
INFO - Atoms: 3226/8879 Clauses: 232 Axioms: 36221
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.528 Prop: 24.069 PropClause: 21.178 Set: 11.488 Check: 0.0 Back: 0.45
INFO - Atoms: 3214/8879 Clauses: 232 Axioms: 36221
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.564 Prop: 25.338 PropClause: 22.319 Set: 12.903 Check: 0.0 Back: 0.522
INFO - Atoms: 3209/8879 Clauses: 232 Axioms: 36221
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.598 Prop: 26.658 PropClause: 23.513 Set: 13.998 Check: 0.0 Back: 0.595
INFO - Atoms: 3222/8879 Clauses: 232 Axioms: 36221
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.627 Prop: 27.824 PropClause: 24.57 Set: 14.935 Check: 0.0 Back: 0.668
INFO - Atoms: 3255/8879 Clauses: 232 Axioms: 36221
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.659 Prop: 29.296 PropClause: 25.933 Set: 15.887 Check: 0.0 Back: 0.742
INFO - Atoms: 3271/8879 Clauses: 232 Axioms: 36221
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.699 Prop: 30.637 PropClause: 27.159 Set: 16.777 Check: 0.0 Back: 0.816
INFO - Atoms: 3287/8879 Clauses: 232 Axioms: 36221
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.729 Prop: 32.727 PropClause: 29.143 Set: 17.667 Check: 0.0 Back: 0.898
INFO - Atoms: 3271/8879 Clauses: 232 Axioms: 36221
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.757 Prop: 33.67 PropClause: 29.981 Set: 18.517 Check: 0.0 Back: 0.972
INFO - Atoms: 3202/8879 Clauses: 232 Axioms: 36221
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.786 Prop: 34.682 PropClause: 30.878 Set: 19.406 Check: 0.0 Back: 1.045
INFO - Atoms: 3234/8879 Clauses: 232 Axioms: 36221
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.815 Prop: 35.74 PropClause: 31.805 Set: 20.323 Check: 0.0 Back: 1.118
INFO - Atoms: 3233/8879 Clauses: 232 Axioms: 36221
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.844 Prop: 36.8 PropClause: 32.735 Set: 21.204 Check: 0.0 Back: 1.191
INFO - Atoms: 3232/8879 Clauses: 232 Axioms: 36221
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.879 Prop: 37.996 PropClause: 33.799 Set: 22.068 Check: 0.0 Back: 1.265
INFO - Atoms: 3232/8879 Clauses: 232 Axioms: 36221
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.911 Prop: 38.882 PropClause: 34.555 Set: 22.964 Check: 0.0 Back: 1.338
INFO - Atoms: 3231/8879 Clauses: 232 Axioms: 36221
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.942 Prop: 39.822 PropClause: 35.371 Set: 23.458 Check: 0.0 Back: 1.415
INFO - Atoms: 3223/8879 Clauses: 232 Axioms: 36221
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.972 Prop: 40.78 PropClause: 36.202 Set: 23.907 Check: 0.0 Back: 1.488
INFO - Atoms: 3230/8879 Clauses: 232 Axioms: 36221
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.013 Prop: 41.604 PropClause: 36.888 Set: 24.348 Check: 0.0 Back: 1.563
INFO - Atoms: 3239/8879 Clauses: 232 Axioms: 36221
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.043 Prop: 42.467 PropClause: 37.625 Set: 24.792 Check: 0.0 Back: 1.636
INFO - Atoms: 3246/8879 Clauses: 232 Axioms: 36221
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.078 Prop: 43.271 PropClause: 38.302 Set: 25.545 Check: 0.0 Back: 1.71
INFO - Atoms: 3235/8879 Clauses: 232 Axioms: 36221
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.112 Prop: 44.154 PropClause: 39.063 Set: 26.303 Check: 0.0 Back: 1.784
INFO - Atoms: 3235/8879 Clauses: 232 Axioms: 36221
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.142 Prop: 45.083 PropClause: 39.866 Set: 27.07 Check: 0.0 Back: 1.857
INFO - Atoms: 3201/8879 Clauses: 232 Axioms: 36221
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.177 Prop: 46.011 PropClause: 40.68 Set: 27.825 Check: 0.0 Back: 1.931
INFO - Atoms: 3203/8879 Clauses: 232 Axioms: 36221
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.214 Prop: 46.891 PropClause: 41.394 Set: 28.583 Check: 0.0 Back: 2.004
INFO - Atoms: 3216/8879 Clauses: 232 Axioms: 36221
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.244 Prop: 47.741 PropClause: 42.14 Set: 29.039 Check: 0.0 Back: 2.076
INFO - Atoms: 3275/8879 Clauses: 232 Axioms: 36221
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.277 Prop: 48.579 PropClause: 42.876 Set: 29.52 Check: 0.0 Back: 2.151
INFO - Atoms: 3380/8879 Clauses: 232 Axioms: 36221
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.308 Prop: 49.418 PropClause: 43.608 Set: 30.013 Check: 0.0 Back: 2.227
INFO - Atoms: 3386/8879 Clauses: 232 Axioms: 36221
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.341 Prop: 50.213 PropClause: 44.299 Set: 30.51 Check: 0.0 Back: 2.304
INFO - Atoms: 3384/8879 Clauses: 232 Axioms: 36221
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.371 Prop: 51.038 PropClause: 45.019 Set: 31.0 Check: 0.0 Back: 2.382
INFO - Atoms: 3287/8879 Clauses: 232 Axioms: 36221
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.4 Prop: 51.746 PropClause: 45.631 Set: 31.443 Check: 0.0 Back: 2.458
INFO - Atoms: 3147/8879 Clauses: 232 Axioms: 36221
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.433 Prop: 52.514 PropClause: 46.298 Set: 31.932 Check: 0.0 Back: 2.53
INFO - Atoms: 3327/8879 Clauses: 232 Axioms: 36221
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.463 Prop: 53.208 PropClause: 46.895 Set: 32.348 Check: 0.0 Back: 2.607
INFO - Atoms: 3064/8879 Clauses: 232 Axioms: 36221
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.494 Prop: 53.931 PropClause: 47.524 Set: 32.767 Check: 0.0 Back: 2.676
INFO - Atoms: 3065/8879 Clauses: 232 Axioms: 36221
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.524 Prop: 54.659 PropClause: 48.149 Set: 33.232 Check: 0.0 Back: 2.746
INFO - Atoms: 3251/8879 Clauses: 232 Axioms: 36221
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.56 Prop: 55.479 PropClause: 48.87 Set: 33.684 Check: 0.0 Back: 2.82
INFO - Atoms: 3198/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 129737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.596 Prop: 56.503 PropClause: 49.783 Set: 34.251 Check: 0.0 Back: 2.894
INFO - Atoms: 3571/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 133314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.655 Prop: 57.579 PropClause: 50.732 Set: 34.815 Check: 0.0 Back: 2.975
INFO - Atoms: 3577/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 136500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.69 Prop: 58.585 PropClause: 51.64 Set: 35.267 Check: 0.0 Back: 3.056
INFO - Atoms: 3186/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 139686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.72 Prop: 59.332 PropClause: 52.286 Set: 35.738 Check: 0.0 Back: 3.129
INFO - Atoms: 3186/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 142872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.753 Prop: 60.067 PropClause: 52.925 Set: 36.196 Check: 0.0 Back: 3.201
INFO - Atoms: 3186/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 146463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.784 Prop: 60.94 PropClause: 53.684 Set: 36.77 Check: 0.0 Back: 3.274
INFO - Atoms: 3591/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 150459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.832 Prop: 62.524 PropClause: 55.146 Set: 37.468 Check: 0.0 Back: 3.357
INFO - Atoms: 3996/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 154444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.865 Prop: 63.766 PropClause: 56.228 Set: 38.165 Check: 0.0 Back: 3.449
INFO - Atoms: 3985/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 158483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.898 Prop: 65.071 PropClause: 57.409 Set: 38.893 Check: 0.0 Back: 3.543
INFO - Atoms: 4039/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 161454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.01 Prop: 66.333 PropClause: 58.581 Set: 39.325 Check: 0.0 Back: 3.638
INFO - Atoms: 2971/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 164403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.026 Prop: 67.187 PropClause: 59.142 Set: 39.763 Check: 0.0 Back: 3.708
INFO - Atoms: 2949/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 168205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.043 Prop: 68.38 PropClause: 60.209 Set: 40.404 Check: 0.0 Back: 3.777
INFO - Atoms: 3802/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 172131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.054 Prop: 69.768 PropClause: 61.466 Set: 41.071 Check: 0.0 Back: 3.863
INFO - Atoms: 3926/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 176077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.069 Prop: 71.266 PropClause: 62.853 Set: 41.76 Check: 0.0 Back: 3.951
INFO - Atoms: 3946/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 180203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.082 Prop: 72.862 PropClause: 64.319 Set: 42.485 Check: 0.0 Back: 4.04
INFO - Atoms: 4126/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 184276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.108 Prop: 74.485 PropClause: 65.826 Set: 43.205 Check: 0.0 Back: 4.132
INFO - Atoms: 4073/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 187181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.118 Prop: 75.506 PropClause: 66.765 Set: 43.643 Check: 0.0 Back: 4.225
INFO - Atoms: 2905/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 189857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.13 Prop: 76.058 PropClause: 67.241 Set: 44.018 Check: 0.0 Back: 4.292
INFO - Atoms: 2676/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 192564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.14 Prop: 76.557 PropClause: 67.666 Set: 44.401 Check: 0.0 Back: 4.352
INFO - Atoms: 2707/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 195288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.153 Prop: 77.079 PropClause: 68.109 Set: 44.801 Check: 0.0 Back: 4.413
INFO - Atoms: 2724/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 199902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.166 Prop: 78.428 PropClause: 69.326 Set: 45.695 Check: 0.0 Back: 4.475
INFO - Atoms: 4614/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 204689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.178 Prop: 80.123 PropClause: 70.877 Set: 46.697 Check: 0.0 Back: 4.579
INFO - Atoms: 4787/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 209584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.192 Prop: 81.99 PropClause: 72.607 Set: 47.638 Check: 0.0 Back: 4.688
INFO - Atoms: 4895/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 214569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.207 Prop: 83.942 PropClause: 74.419 Set: 48.604 Check: 0.0 Back: 4.799
INFO - Atoms: 4985/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 217414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.23 Prop: 85.537 PropClause: 75.935 Set: 49.088 Check: 0.0 Back: 4.912
INFO - Atoms: 2845/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 222208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.245 Prop: 86.93 PropClause: 77.194 Set: 50.369 Check: 0.0 Back: 4.976
INFO - Atoms: 4794/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 227336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.258 Prop: 88.897 PropClause: 79.016 Set: 51.68 Check: 0.0 Back: 5.084
INFO - Atoms: 5128/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 232568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.272 Prop: 91.111 PropClause: 81.083 Set: 53.026 Check: 0.0 Back: 5.201
INFO - Atoms: 5232/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 237903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.284 Prop: 93.087 PropClause: 82.91 Set: 54.388 Check: 0.0 Back: 5.32
INFO - Atoms: 5335/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 240436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.296 Prop: 94.204 PropClause: 83.956 Set: 54.979 Check: 0.0 Back: 5.441
INFO - Atoms: 2533/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 243019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.31 Prop: 94.773 PropClause: 84.453 Set: 55.566 Check: 0.0 Back: 5.499
INFO - Atoms: 2583/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 245539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.325 Prop: 95.473 PropClause: 85.081 Set: 56.138 Check: 0.0 Back: 5.558
INFO - Atoms: 2520/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 251057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.34 Prop: 97.39 PropClause: 86.845 Set: 57.521 Check: 0.0 Back: 5.615
INFO - Atoms: 5518/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 256638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.357 Prop: 100.255 PropClause: 89.555 Set: 58.94 Check: 0.0 Back: 5.741
INFO - Atoms: 5581/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 262338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.372 Prop: 103.162 PropClause: 92.302 Set: 60.382 Check: 0.0 Back: 5.868
INFO - Atoms: 5700/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 268129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.386 Prop: 105.945 PropClause: 94.924 Set: 61.843 Check: 0.0 Back: 5.997
INFO - Atoms: 5791/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 274008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.4 Prop: 108.922 PropClause: 97.737 Set: 63.355 Check: 0.0 Back: 6.127
INFO - Atoms: 5879/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 279937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.416 Prop: 111.712 PropClause: 100.362 Set: 64.884 Check: 0.0 Back: 6.266
INFO - Atoms: 5929/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 285968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.431 Prop: 114.899 PropClause: 103.382 Set: 66.419 Check: 0.0 Back: 6.399
INFO - Atoms: 6031/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 292045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.447 Prop: 118.39 PropClause: 106.703 Set: 68.019 Check: 0.0 Back: 6.535
INFO - Atoms: 6077/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 298222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.463 Prop: 123.122 PropClause: 111.262 Set: 69.823 Check: 0.0 Back: 6.673
INFO - Atoms: 6177/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 304483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.487 Prop: 126.18 PropClause: 114.141 Set: 71.439 Check: 0.0 Back: 6.813
INFO - Atoms: 6261/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 310823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 131.501 PropClause: 119.286 Set: 81.948 Check: 0.0 Back: 6.954
INFO - Atoms: 6340/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 317212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.584 Prop: 133.798 PropClause: 121.408 Set: 83.119 Check: 0.0 Back: 7.107
INFO - Atoms: 6389/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 323697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.66 Prop: 136.316 PropClause: 123.748 Set: 84.434 Check: 0.0 Back: 7.261
INFO - Atoms: 6485/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 330237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.7 Prop: 138.837 PropClause: 126.091 Set: 85.636 Check: 0.0 Back: 7.428
INFO - Atoms: 6540/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 336872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.71 Prop: 141.768 PropClause: 128.843 Set: 86.862 Check: 0.0 Back: 7.585
INFO - Atoms: 6635/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 343590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.719 Prop: 144.666 PropClause: 131.559 Set: 88.107 Check: 0.0 Back: 7.746
INFO - Atoms: 6718/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 350301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.77 Prop: 148.161 PropClause: 134.872 Set: 89.353 Check: 0.0 Back: 7.909
INFO - Atoms: 6711/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 358156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.823 Prop: 151.58 PropClause: 138.078 Set: 90.841 Check: 0.0 Back: 8.071
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 360260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.834 Prop: 153.968 PropClause: 140.408 Set: 91.135 Check: 0.0 Back: 8.257
INFO - Atoms: 2104/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 362460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.842 Prop: 154.445 PropClause: 140.825 Set: 91.447 Check: 0.0 Back: 8.304
INFO - Atoms: 2200/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 364564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.849 Prop: 154.869 PropClause: 141.191 Set: 91.743 Check: 0.0 Back: 8.354
INFO - Atoms: 2104/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 366668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.858 Prop: 155.343 PropClause: 141.607 Set: 92.033 Check: 0.0 Back: 8.401
INFO - Atoms: 2104/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 368772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.867 Prop: 155.825 PropClause: 142.031 Set: 92.343 Check: 0.0 Back: 8.449
INFO - Atoms: 2104/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 370875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.891 Prop: 156.255 PropClause: 142.404 Set: 92.637 Check: 0.0 Back: 8.496
INFO - Atoms: 2103/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 373962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.922 Prop: 157.002 PropClause: 143.066 Set: 93.172 Check: 0.0 Back: 8.544
INFO - Atoms: 3087/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 377049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.98 Prop: 157.906 PropClause: 143.885 Set: 93.704 Check: 0.0 Back: 8.624
INFO - Atoms: 3087/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 379151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.987 Prop: 158.572 PropClause: 144.493 Set: 94.001 Check: 0.0 Back: 8.694
INFO - Atoms: 2102/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 382236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.997 Prop: 159.295 PropClause: 145.133 Set: 94.525 Check: 0.0 Back: 8.741
INFO - Atoms: 3085/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 384338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.005 Prop: 159.896 PropClause: 145.677 Set: 94.809 Check: 0.0 Back: 8.811
INFO - Atoms: 2102/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 386396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.023 Prop: 160.352 PropClause: 146.075 Set: 95.082 Check: 0.0 Back: 8.858
INFO - Atoms: 2058/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 388406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.062 Prop: 160.788 PropClause: 146.454 Set: 95.368 Check: 0.0 Back: 8.904
INFO - Atoms: 2010/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 391247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.07 Prop: 161.525 PropClause: 147.112 Set: 95.838 Check: 0.0 Back: 8.951
INFO - Atoms: 2841/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 394088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.08 Prop: 162.467 PropClause: 147.976 Set: 96.319 Check: 0.0 Back: 9.015
INFO - Atoms: 2841/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 396098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.091 Prop: 163.194 PropClause: 148.646 Set: 96.598 Check: 0.0 Back: 9.081
INFO - Atoms: 2010/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 398117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.102 Prop: 163.631 PropClause: 149.029 Set: 96.87 Check: 0.0 Back: 9.127
INFO - Atoms: 2019/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 401225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.111 Prop: 164.401 PropClause: 149.711 Set: 97.392 Check: 0.0 Back: 9.176
INFO - Atoms: 3108/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 404107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.12 Prop: 165.342 PropClause: 150.573 Set: 97.877 Check: 0.0 Back: 9.246
INFO - Atoms: 2882/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 407155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.129 Prop: 166.214 PropClause: 151.361 Set: 98.412 Check: 0.0 Back: 9.311
INFO - Atoms: 3048/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 410918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.138 Prop: 167.338 PropClause: 152.382 Set: 99.098 Check: 0.0 Back: 9.381
INFO - Atoms: 3763/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 414087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 168.626 PropClause: 153.584 Set: 99.636 Check: 0.0 Back: 9.465
INFO - Atoms: 3169/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 417349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.215 Prop: 169.782 PropClause: 154.65 Set: 100.188 Check: 0.0 Back: 9.537
INFO - Atoms: 3262/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 420448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.224 Prop: 170.939 PropClause: 155.72 Set: 100.73 Check: 0.0 Back: 9.61
INFO - Atoms: 3099/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 423385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.233 Prop: 171.778 PropClause: 156.477 Set: 101.231 Check: 0.0 Back: 9.68
INFO - Atoms: 2937/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 425503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.241 Prop: 172.402 PropClause: 157.041 Set: 101.536 Check: 0.0 Back: 9.747
INFO - Atoms: 2118/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 427619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.248 Prop: 172.821 PropClause: 157.402 Set: 101.828 Check: 0.0 Back: 9.795
INFO - Atoms: 2116/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 430620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.26 Prop: 173.548 PropClause: 158.049 Set: 102.326 Check: 0.0 Back: 9.843
INFO - Atoms: 3001/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 433438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.267 Prop: 174.384 PropClause: 158.807 Set: 102.777 Check: 0.0 Back: 9.909
INFO - Atoms: 2818/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 436451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.274 Prop: 175.119 PropClause: 159.458 Set: 103.283 Check: 0.0 Back: 9.973
INFO - Atoms: 3013/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 439373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.282 Prop: 175.983 PropClause: 160.243 Set: 103.775 Check: 0.0 Back: 10.043
INFO - Atoms: 2922/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 442352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.289 Prop: 176.851 PropClause: 161.023 Set: 104.284 Check: 0.0 Back: 10.108
INFO - Atoms: 2979/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 445348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.297 Prop: 177.714 PropClause: 161.802 Set: 104.79 Check: 0.0 Back: 10.176
INFO - Atoms: 2996/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 449682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.311 Prop: 179.067 PropClause: 163.034 Set: 105.588 Check: 0.0 Back: 10.246
INFO - Atoms: 4334/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 453079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.318 Prop: 180.276 PropClause: 164.147 Set: 106.188 Check: 0.0 Back: 10.345
INFO - Atoms: 3397/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 460934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.333 Prop: 183.126 PropClause: 166.779 Set: 107.699 Check: 0.0 Back: 10.423
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 464182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.341 Prop: 185.73 PropClause: 169.292 Set: 108.274 Check: 0.0 Back: 10.609
INFO - Atoms: 3248/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 467403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.349 Prop: 186.677 PropClause: 170.151 Set: 108.833 Check: 0.0 Back: 10.683
INFO - Atoms: 3221/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 470821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.356 Prop: 187.745 PropClause: 171.125 Set: 109.452 Check: 0.0 Back: 10.756
INFO - Atoms: 3418/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 474241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.363 Prop: 188.913 PropClause: 172.198 Set: 110.039 Check: 0.0 Back: 10.832
INFO - Atoms: 3420/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 477646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.372 Prop: 190.136 PropClause: 173.326 Set: 110.634 Check: 0.0 Back: 10.909
INFO - Atoms: 3405/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 480955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.377 Prop: 191.145 PropClause: 174.245 Set: 111.2 Check: 0.0 Back: 10.987
INFO - Atoms: 3309/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 484263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.384 Prop: 192.168 PropClause: 175.175 Set: 111.791 Check: 0.0 Back: 11.061
INFO - Atoms: 3308/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 487594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.39 Prop: 193.204 PropClause: 176.119 Set: 112.362 Check: 0.0 Back: 11.135
INFO - Atoms: 3331/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 490729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.397 Prop: 194.207 PropClause: 177.037 Set: 112.898 Check: 0.0 Back: 11.21
INFO - Atoms: 3135/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 493702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.405 Prop: 195.056 PropClause: 177.802 Set: 113.384 Check: 0.0 Back: 11.281
INFO - Atoms: 2973/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 497353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.411 Prop: 196.123 PropClause: 178.769 Set: 114.054 Check: 0.0 Back: 11.351
INFO - Atoms: 3651/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 500956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 197.253 PropClause: 179.801 Set: 114.687 Check: 0.0 Back: 11.434
INFO - Atoms: 3603/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 504502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.423 Prop: 198.587 PropClause: 181.039 Set: 115.293 Check: 0.0 Back: 11.516
INFO - Atoms: 3546/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 507432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.43 Prop: 199.518 PropClause: 181.89 Set: 115.764 Check: 0.0 Back: 11.595
INFO - Atoms: 2930/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 511246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 200.595 PropClause: 182.862 Set: 116.431 Check: 0.0 Back: 11.661
INFO - Atoms: 3814/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 515087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.451 Prop: 201.788 PropClause: 183.95 Set: 117.096 Check: 0.0 Back: 11.748
INFO - Atoms: 3841/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 518449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.457 Prop: 202.832 PropClause: 184.9 Set: 117.657 Check: 0.0 Back: 11.834
INFO - Atoms: 3362/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 522566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.464 Prop: 204.154 PropClause: 186.106 Set: 118.37 Check: 0.0 Back: 11.913
INFO - Atoms: 4117/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 529089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.47 Prop: 206.525 PropClause: 188.296 Set: 119.556 Check: 0.0 Back: 12.005
INFO - Atoms: 6523/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 536944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.484 Prop: 209.607 PropClause: 191.161 Set: 121.016 Check: 0.0 Back: 12.158
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 540356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.492 Prop: 212.691 PropClause: 194.15 Set: 121.59 Check: 0.0 Back: 12.342
INFO - Atoms: 3412/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 543339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.5 Prop: 213.852 PropClause: 195.228 Set: 122.091 Check: 0.0 Back: 12.419
INFO - Atoms: 2983/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 547194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.507 Prop: 215.037 PropClause: 196.306 Set: 122.763 Check: 0.0 Back: 12.486
INFO - Atoms: 3855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 551050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.514 Prop: 216.269 PropClause: 197.43 Set: 123.424 Check: 0.0 Back: 12.573
INFO - Atoms: 3856/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 555101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.528 Prop: 217.711 PropClause: 198.759 Set: 124.128 Check: 0.0 Back: 12.66
INFO - Atoms: 4051/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 562956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.542 Prop: 220.703 PropClause: 201.531 Set: 125.575 Check: 0.0 Back: 12.752
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 566348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.55 Prop: 222.84 PropClause: 203.573 Set: 126.121 Check: 0.0 Back: 12.942
INFO - Atoms: 3392/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 570304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.557 Prop: 224.037 PropClause: 204.661 Set: 126.817 Check: 0.0 Back: 13.019
INFO - Atoms: 3956/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 573932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.563 Prop: 225.219 PropClause: 205.743 Set: 127.438 Check: 0.0 Back: 13.108
INFO - Atoms: 3628/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 581787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.579 Prop: 228.099 PropClause: 208.405 Set: 128.916 Check: 0.0 Back: 13.189
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 585892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.586 Prop: 231.489 PropClause: 211.683 Set: 129.638 Check: 0.0 Back: 13.373
INFO - Atoms: 4105/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 590167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.592 Prop: 232.805 PropClause: 212.883 Set: 130.397 Check: 0.0 Back: 13.467
INFO - Atoms: 4275/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 592262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 233.817 PropClause: 213.836 Set: 130.707 Check: 0.0 Back: 13.564
INFO - Atoms: 2095/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 594322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.604 Prop: 234.256 PropClause: 214.219 Set: 130.981 Check: 0.0 Back: 13.611
INFO - Atoms: 2060/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 596392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.611 Prop: 234.702 PropClause: 214.607 Set: 131.261 Check: 0.0 Back: 13.657
INFO - Atoms: 2070/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 599286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.619 Prop: 235.424 PropClause: 215.251 Set: 131.739 Check: 0.0 Back: 13.704
INFO - Atoms: 2894/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 602133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.626 Prop: 236.192 PropClause: 215.941 Set: 132.193 Check: 0.0 Back: 13.769
INFO - Atoms: 2847/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 604985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.636 Prop: 237.129 PropClause: 216.797 Set: 132.665 Check: 0.0 Back: 13.832
INFO - Atoms: 2852/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 607072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.644 Prop: 237.743 PropClause: 217.352 Set: 132.954 Check: 0.0 Back: 13.898
INFO - Atoms: 2087/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 610431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.652 Prop: 238.728 PropClause: 218.23 Set: 133.519 Check: 0.0 Back: 13.946
INFO - Atoms: 3359/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 615106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.711 Prop: 240.42 PropClause: 219.79 Set: 134.391 Check: 0.0 Back: 14.023
INFO - Atoms: 4675/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 622961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.731 Prop: 243.383 PropClause: 222.535 Set: 135.899 Check: 0.0 Back: 14.132
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 625757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.738 Prop: 245.377 PropClause: 224.45 Set: 136.339 Check: 0.0 Back: 14.321
INFO - Atoms: 2796/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 629905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 246.584 PropClause: 225.543 Set: 137.085 Check: 0.0 Back: 14.385
INFO - Atoms: 4148/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 633849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.757 Prop: 247.856 PropClause: 226.698 Set: 137.808 Check: 0.0 Back: 14.479
INFO - Atoms: 3944/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 637850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 248.999 PropClause: 227.726 Set: 138.518 Check: 0.0 Back: 14.57
INFO - Atoms: 4001/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 643849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 252.239 PropClause: 230.763 Set: 140.081 Check: 0.0 Back: 14.661
INFO - Atoms: 5999/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 651704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.786 Prop: 255.671 PropClause: 233.976 Set: 141.563 Check: 0.0 Back: 14.821
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 655705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.795 Prop: 259.505 PropClause: 237.697 Set: 142.292 Check: 0.0 Back: 15.009
INFO - Atoms: 4001/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 659806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.843 Prop: 260.899 PropClause: 238.975 Set: 143.04 Check: 0.0 Back: 15.1
INFO - Atoms: 4101/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 664259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.887 Prop: 263.003 PropClause: 240.954 Set: 143.854 Check: 0.0 Back: 15.194
INFO - Atoms: 4453/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 668850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.931 Prop: 264.609 PropClause: 242.431 Set: 144.677 Check: 0.0 Back: 15.295
INFO - Atoms: 4591/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 672247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.967 Prop: 266.065 PropClause: 243.791 Set: 145.282 Check: 0.0 Back: 15.401
INFO - Atoms: 3397/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 680102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.99 Prop: 269.06 PropClause: 246.566 Set: 146.795 Check: 0.0 Back: 15.478
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 684367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.997 Prop: 271.615 PropClause: 249.006 Set: 147.779 Check: 0.0 Back: 15.667
INFO - Atoms: 4265/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 687809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.004 Prop: 273.04 PropClause: 250.336 Set: 148.345 Check: 0.0 Back: 15.765
INFO - Atoms: 3442/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 695655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.016 Prop: 276.597 PropClause: 253.681 Set: 150.275 Check: 0.0 Back: 15.844
INFO - Atoms: 7846/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 699374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.026 Prop: 278.996 PropClause: 255.978 Set: 151.126 Check: 0.0 Back: 16.027
INFO - Atoms: 3719/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 703115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.032 Prop: 280.256 PropClause: 257.136 Set: 151.982 Check: 0.0 Back: 16.113
INFO - Atoms: 3741/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 710962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.042 Prop: 283.273 PropClause: 259.94 Set: 153.922 Check: 0.0 Back: 16.199
INFO - Atoms: 7847/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 715050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.049 Prop: 285.869 PropClause: 262.423 Set: 154.848 Check: 0.0 Back: 16.384
INFO - Atoms: 4088/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 719312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.056 Prop: 287.305 PropClause: 263.743 Set: 155.83 Check: 0.0 Back: 16.478
INFO - Atoms: 4262/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 727165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.068 Prop: 290.704 PropClause: 266.928 Set: 157.742 Check: 0.0 Back: 16.575
INFO - Atoms: 7853/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 730991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.075 Prop: 293.124 PropClause: 269.245 Set: 158.61 Check: 0.0 Back: 16.758
INFO - Atoms: 3826/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 735603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.088 Prop: 294.904 PropClause: 270.899 Set: 159.691 Check: 0.0 Back: 16.846
INFO - Atoms: 4612/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 738290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.095 Prop: 296.235 PropClause: 272.156 Set: 160.275 Check: 0.0 Back: 16.952
INFO - Atoms: 2687/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 741071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.103 Prop: 297.237 PropClause: 273.081 Set: 160.896 Check: 0.0 Back: 17.013
INFO - Atoms: 2781/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 743416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.111 Prop: 298.055 PropClause: 273.835 Set: 161.403 Check: 0.0 Back: 17.075
INFO - Atoms: 2345/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 746355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.117 Prop: 298.827 PropClause: 274.527 Set: 162.051 Check: 0.0 Back: 17.128
INFO - Atoms: 2939/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 750028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.124 Prop: 300.138 PropClause: 275.736 Set: 162.861 Check: 0.0 Back: 17.194
INFO - Atoms: 3673/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 754191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.133 Prop: 302.014 PropClause: 277.498 Set: 163.822 Check: 0.0 Back: 17.279
INFO - Atoms: 4163/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 758849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.14 Prop: 303.879 PropClause: 279.226 Set: 164.893 Check: 0.0 Back: 17.375
INFO - Atoms: 4658/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 764847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.147 Prop: 306.296 PropClause: 281.481 Set: 166.311 Check: 0.0 Back: 17.48
INFO - Atoms: 5998/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 772694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.158 Prop: 309.973 PropClause: 284.943 Set: 168.227 Check: 0.0 Back: 17.628
INFO - Atoms: 7847/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 776615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.166 Prop: 312.764 PropClause: 287.628 Set: 169.11 Check: 0.0 Back: 17.815
INFO - Atoms: 3921/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 779531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.172 Prop: 313.84 PropClause: 288.623 Set: 169.762 Check: 0.0 Back: 17.905
INFO - Atoms: 2916/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 781618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.18 Prop: 314.562 PropClause: 289.285 Set: 170.248 Check: 0.0 Back: 17.973
INFO - Atoms: 2087/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 784472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 315.412 PropClause: 290.054 Set: 170.92 Check: 0.0 Back: 18.023
INFO - Atoms: 2854/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 787444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.195 Prop: 316.459 PropClause: 291.019 Set: 171.597 Check: 0.0 Back: 18.09
INFO - Atoms: 2972/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 790509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.203 Prop: 317.477 PropClause: 291.953 Set: 172.271 Check: 0.0 Back: 18.157
INFO - Atoms: 3065/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 794015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.21 Prop: 318.686 PropClause: 293.066 Set: 173.068 Check: 0.0 Back: 18.228
INFO - Atoms: 3506/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 798438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 320.346 PropClause: 294.605 Set: 174.082 Check: 0.0 Back: 18.309
INFO - Atoms: 4423/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 801442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.359 Prop: 321.664 PropClause: 295.841 Set: 174.736 Check: 0.0 Back: 18.41
INFO - Atoms: 3004/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 805788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.37 Prop: 323.138 PropClause: 297.196 Set: 175.741 Check: 0.0 Back: 18.479
INFO - Atoms: 4346/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 810229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.381 Prop: 324.788 PropClause: 298.725 Set: 176.775 Check: 0.0 Back: 18.579
INFO - Atoms: 4441/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 813740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.392 Prop: 326.125 PropClause: 299.966 Set: 177.569 Check: 0.0 Back: 18.681
INFO - Atoms: 3511/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 821590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.415 Prop: 329.352 PropClause: 302.979 Set: 179.492 Check: 0.0 Back: 18.762
INFO - Atoms: 7850/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 829437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 333.148 PropClause: 306.563 Set: 181.394 Check: 0.0 Back: 18.947
INFO - Atoms: 7847/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 832067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.442 Prop: 335.783 PropClause: 309.126 Set: 181.973 Check: 0.0 Back: 19.132
INFO - Atoms: 2630/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 834119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.452 Prop: 336.378 PropClause: 309.664 Set: 182.394 Check: 0.0 Back: 19.191
INFO - Atoms: 2052/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 836749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.464 Prop: 337.045 PropClause: 310.251 Set: 182.974 Check: 0.0 Back: 19.237
INFO - Atoms: 2630/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 840668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.475 Prop: 338.283 PropClause: 311.382 Set: 183.841 Check: 0.0 Back: 19.296
INFO - Atoms: 3919/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 844821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.485 Prop: 339.831 PropClause: 312.817 Set: 184.79 Check: 0.0 Back: 19.384
INFO - Atoms: 4153/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 852667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.502 Prop: 343.336 PropClause: 316.109 Set: 186.738 Check: 0.0 Back: 19.48
INFO - Atoms: 7846/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 854566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.513 Prop: 345.786 PropClause: 318.507 Set: 187.134 Check: 0.0 Back: 19.664
INFO - Atoms: 1899/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 857227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.525 Prop: 346.473 PropClause: 319.121 Set: 187.711 Check: 0.0 Back: 19.707
INFO - Atoms: 2661/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 860209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.536 Prop: 347.351 PropClause: 319.919 Set: 188.363 Check: 0.0 Back: 19.767
INFO - Atoms: 2982/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 863583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.546 Prop: 348.465 PropClause: 320.941 Set: 188.95 Check: 0.0 Back: 19.833
INFO - Atoms: 3374/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 867284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.558 Prop: 349.732 PropClause: 322.107 Set: 189.612 Check: 0.0 Back: 19.91
INFO - Atoms: 3701/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 869401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.568 Prop: 350.622 PropClause: 322.938 Set: 189.903 Check: 0.0 Back: 19.993
INFO - Atoms: 2117/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 872942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.578 Prop: 351.717 PropClause: 323.936 Set: 190.52 Check: 0.0 Back: 20.041
INFO - Atoms: 3541/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 876161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 352.923 PropClause: 325.054 Set: 191.055 Check: 0.0 Back: 20.121
INFO - Atoms: 3219/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 879812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.599 Prop: 354.051 PropClause: 326.083 Set: 191.69 Check: 0.0 Back: 20.195
INFO - Atoms: 3651/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 884021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.61 Prop: 355.656 PropClause: 327.572 Set: 192.426 Check: 0.0 Back: 20.277
INFO - Atoms: 4209/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 889054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.674 Prop: 357.81 PropClause: 329.587 Set: 193.349 Check: 0.0 Back: 20.373
INFO - Atoms: 5033/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 892391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.732 Prop: 359.493 PropClause: 331.177 Set: 193.939 Check: 0.0 Back: 20.488
INFO - Atoms: 3337/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 900238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 363.601 PropClause: 335.068 Set: 195.488 Check: 0.0 Back: 20.565
INFO - Atoms: 7847/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 902743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.76 Prop: 366.589 PropClause: 337.986 Set: 195.877 Check: 0.0 Back: 20.753
INFO - Atoms: 2505/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 905532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.771 Prop: 367.376 PropClause: 338.696 Set: 196.327 Check: 0.0 Back: 20.809
INFO - Atoms: 2789/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 908726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.79 Prop: 368.306 PropClause: 339.537 Set: 196.858 Check: 0.0 Back: 20.871
INFO - Atoms: 3194/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 910837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 369.058 PropClause: 340.23 Set: 197.154 Check: 0.0 Back: 20.944
INFO - Atoms: 2111/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 913644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.81 Prop: 369.81 PropClause: 340.904 Set: 197.601 Check: 0.0 Back: 20.991
INFO - Atoms: 2807/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 916555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.827 Prop: 370.642 PropClause: 341.653 Set: 198.07 Check: 0.0 Back: 21.054
INFO - Atoms: 2911/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 919461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.836 Prop: 371.383 PropClause: 342.314 Set: 198.523 Check: 0.0 Back: 21.12
INFO - Atoms: 2906/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 923541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.848 Prop: 372.631 PropClause: 343.448 Set: 199.235 Check: 0.0 Back: 21.195
INFO - Atoms: 4080/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 928356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.858 Prop: 374.206 PropClause: 344.891 Set: 200.09 Check: 0.0 Back: 21.286
INFO - Atoms: 4815/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 936203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.876 Prop: 377.215 PropClause: 347.683 Set: 201.589 Check: 0.0 Back: 21.394
INFO - Atoms: 7847/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 938387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.886 Prop: 378.825 PropClause: 349.232 Set: 201.88 Check: 0.0 Back: 21.583
INFO - Atoms: 2184/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 941767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.895 Prop: 379.678 PropClause: 349.99 Set: 202.432 Check: 0.0 Back: 21.632
INFO - Atoms: 3380/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 945276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.904 Prop: 380.592 PropClause: 350.807 Set: 203.013 Check: 0.0 Back: 21.709
INFO - Atoms: 3509/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 949217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.914 Prop: 381.645 PropClause: 351.752 Set: 203.674 Check: 0.0 Back: 21.787
INFO - Atoms: 3941/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 951460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.924 Prop: 382.473 PropClause: 352.517 Set: 203.974 Check: 0.0 Back: 21.875
INFO - Atoms: 2243/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 954259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.934 Prop: 383.353 PropClause: 353.316 Set: 204.446 Check: 0.0 Back: 21.926
INFO - Atoms: 2799/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 956437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.944 Prop: 383.94 PropClause: 353.842 Set: 204.728 Check: 0.0 Back: 21.99
INFO - Atoms: 2178/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 960680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.96 Prop: 385.192 PropClause: 354.977 Set: 205.463 Check: 0.0 Back: 22.039
INFO - Atoms: 4243/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 965107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.979 Prop: 386.848 PropClause: 356.509 Set: 206.261 Check: 0.0 Back: 22.138
INFO - Atoms: 4427/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 968080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.991 Prop: 388.73 PropClause: 358.304 Set: 206.789 Check: 0.0 Back: 22.24
INFO - Atoms: 2973/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 972202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.011 Prop: 390.461 PropClause: 359.918 Set: 207.529 Check: 0.0 Back: 22.315
INFO - Atoms: 4122/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 974933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.021 Prop: 392.3 PropClause: 361.679 Set: 207.972 Check: 0.0 Back: 22.409
INFO - Atoms: 2731/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 979405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.039 Prop: 393.603 PropClause: 362.856 Set: 208.768 Check: 0.0 Back: 22.471
INFO - Atoms: 4472/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 982319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.05 Prop: 394.718 PropClause: 363.89 Set: 209.229 Check: 0.0 Back: 22.575
INFO - Atoms: 2914/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 986935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.06 Prop: 396.054 PropClause: 365.085 Set: 210.047 Check: 0.0 Back: 22.642
INFO - Atoms: 4616/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 990045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.069 Prop: 397.198 PropClause: 366.142 Set: 210.522 Check: 0.0 Back: 22.747
INFO - Atoms: 3110/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 995695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 398.912 PropClause: 367.703 Set: 211.536 Check: 0.0 Back: 22.817
INFO - Atoms: 5650/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 1003540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.106 Prop: 402.175 PropClause: 370.752 Set: 213.081 Check: 0.0 Back: 22.948
INFO - Atoms: 7845/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 1005669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.117 Prop: 404.26 PropClause: 372.777 Set: 213.371 Check: 0.0 Back: 23.141
INFO - Atoms: 2129/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 1009473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.127 Prop: 405.342 PropClause: 373.75 Set: 214.064 Check: 0.0 Back: 23.191
INFO - Atoms: 3804/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 1013527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.138 Prop: 406.853 PropClause: 375.145 Set: 214.818 Check: 0.0 Back: 23.278
INFO - Atoms: 4054/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 1021372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.156 Prop: 409.77 PropClause: 377.845 Set: 216.381 Check: 0.0 Back: 23.371
INFO - Atoms: 7845/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 1029219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.178 Prop: 413.784 PropClause: 381.643 Set: 217.945 Check: 0.0 Back: 23.56
INFO - Atoms: 7847/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 1032167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.19 Prop: 417.234 PropClause: 385.009 Set: 218.46 Check: 0.0 Back: 23.746
INFO - Atoms: 2948/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 1034606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.2 Prop: 418.115 PropClause: 385.82 Set: 218.805 Check: 0.0 Back: 23.812
INFO - Atoms: 2439/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 1037838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.211 Prop: 418.966 PropClause: 386.582 Set: 219.337 Check: 0.0 Back: 23.868
INFO - Atoms: 3232/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 1040094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.221 Prop: 419.831 PropClause: 387.385 Set: 219.634 Check: 0.0 Back: 23.942
INFO - Atoms: 2256/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 1043883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 420.864 PropClause: 388.313 Set: 220.276 Check: 0.0 Back: 23.992
INFO - Atoms: 3789/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 1048086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.241 Prop: 422.313 PropClause: 389.647 Set: 221.016 Check: 0.0 Back: 24.078
INFO - Atoms: 4203/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 1053213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.254 Prop: 424.159 PropClause: 391.354 Set: 221.951 Check: 0.0 Back: 24.173
INFO - Atoms: 5127/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 1061059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.27 Prop: 427.781 PropClause: 394.754 Set: 223.587 Check: 0.0 Back: 24.292
INFO - Atoms: 7846/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 1064379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.281 Prop: 430.512 PropClause: 397.392 Set: 224.156 Check: 0.0 Back: 24.482
INFO - Atoms: 3320/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 1068346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.292 Prop: 431.821 PropClause: 398.59 Set: 224.888 Check: 0.0 Back: 24.559
INFO - Atoms: 3967/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 1073162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 433.76 PropClause: 400.394 Set: 225.775 Check: 0.0 Back: 24.65
INFO - Atoms: 4816/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 1078151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.313 Prop: 435.626 PropClause: 402.121 Set: 226.682 Check: 0.0 Back: 24.762
INFO - Atoms: 4989/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 1083286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.324 Prop: 437.983 PropClause: 404.335 Set: 227.667 Check: 0.0 Back: 24.88
INFO - Atoms: 5135/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 1088566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 440.494 PropClause: 406.698 Set: 228.688 Check: 0.0 Back: 25.0
INFO - Atoms: 5280/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 1096409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.355 Prop: 444.907 PropClause: 410.89 Set: 230.384 Check: 0.0 Back: 25.126
INFO - Atoms: 7843/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 1098678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 446.86 PropClause: 412.778 Set: 230.71 Check: 0.0 Back: 25.316
INFO - Atoms: 2269/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 1100932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.373 Prop: 447.357 PropClause: 413.211 Set: 231.028 Check: 0.0 Back: 25.369
INFO - Atoms: 2254/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 1103365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.382 Prop: 447.926 PropClause: 413.711 Set: 231.388 Check: 0.0 Back: 25.42
INFO - Atoms: 2433/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 1105425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.392 Prop: 448.407 PropClause: 414.136 Set: 231.665 Check: 0.0 Back: 25.475
INFO - Atoms: 2060/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 1109130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.4 Prop: 449.369 PropClause: 414.996 Set: 232.339 Check: 0.0 Back: 25.521
INFO - Atoms: 3705/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 1112341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 450.498 PropClause: 416.037 Set: 232.916 Check: 0.0 Back: 25.604
INFO - Atoms: 3211/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 1114450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.422 Prop: 451.269 PropClause: 416.75 Set: 233.211 Check: 0.0 Back: 25.676
INFO - Atoms: 2109/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 1117512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.433 Prop: 452.009 PropClause: 417.406 Set: 233.723 Check: 0.0 Back: 25.724
INFO - Atoms: 3062/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 1121183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 453.122 PropClause: 418.418 Set: 234.389 Check: 0.0 Back: 25.794
INFO - Atoms: 3671/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 1124749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.453 Prop: 454.334 PropClause: 419.531 Set: 235.031 Check: 0.0 Back: 25.886
INFO - Atoms: 3566/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 1132595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 457.284 PropClause: 422.268 Set: 236.548 Check: 0.0 Back: 25.966
INFO - Atoms: 7846/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 1134493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 459.313 PropClause: 424.244 Set: 236.792 Check: 0.0 Back: 26.151
INFO - Atoms: 1898/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 1138498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.492 Prop: 460.418 PropClause: 425.238 Set: 237.491 Check: 0.0 Back: 26.193
INFO - Atoms: 4005/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 1142697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.502 Prop: 461.922 PropClause: 426.625 Set: 238.266 Check: 0.0 Back: 26.293
INFO - Atoms: 4199/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 1145731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.511 Prop: 463.12 PropClause: 427.736 Set: 238.754 Check: 0.0 Back: 26.388
INFO - Atoms: 3034/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 1150290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.526 Prop: 464.615 PropClause: 429.104 Set: 239.604 Check: 0.0 Back: 26.457
INFO - Atoms: 4559/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 1154749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.536 Prop: 466.306 PropClause: 430.67 Set: 240.424 Check: 0.0 Back: 26.561
INFO - Atoms: 4459/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 1159071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.546 Prop: 467.862 PropClause: 432.105 Set: 241.205 Check: 0.0 Back: 26.663
INFO - Atoms: 4322/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 1161145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.556 Prop: 469.332 PropClause: 433.515 Set: 241.488 Check: 0.0 Back: 26.772
INFO - Atoms: 2074/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 1164473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.569 Prop: 470.397 PropClause: 434.487 Set: 242.066 Check: 0.0 Back: 26.818
INFO - Atoms: 3328/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 1168412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.58 Prop: 473.016 PropClause: 436.989 Set: 242.954 Check: 0.0 Back: 26.894
INFO - Atoms: 3939/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 1172584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.592 Prop: 474.614 PropClause: 438.473 Set: 243.726 Check: 0.0 Back: 26.988
INFO - Atoms: 4172/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 1180431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.61 Prop: 477.973 PropClause: 441.617 Set: 245.294 Check: 0.0 Back: 27.084
INFO - Atoms: 7847/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 1182505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.62 Prop: 480.359 PropClause: 443.945 Set: 245.573 Check: 0.0 Back: 27.27
INFO - Atoms: 2074/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 1185221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.63 Prop: 481.084 PropClause: 444.595 Set: 246.007 Check: 0.0 Back: 27.317
INFO - Atoms: 2716/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 1187365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 481.779 PropClause: 445.231 Set: 246.3 Check: 0.0 Back: 27.378
INFO - Atoms: 2144/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 1191035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.654 Prop: 482.882 PropClause: 446.233 Set: 246.969 Check: 0.0 Back: 27.427
INFO - Atoms: 3670/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 1193150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.664 Prop: 483.828 PropClause: 447.121 Set: 247.264 Check: 0.0 Back: 27.51
INFO - Atoms: 2115/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 1196819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.676 Prop: 485.077 PropClause: 448.268 Set: 247.937 Check: 0.0 Back: 27.558
INFO - Atoms: 3669/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 1200152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.687 Prop: 486.513 PropClause: 449.609 Set: 248.523 Check: 0.0 Back: 27.643
INFO - Atoms: 3333/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 1203855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.698 Prop: 488.014 PropClause: 451.006 Set: 249.224 Check: 0.0 Back: 27.719
INFO - Atoms: 3703/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 1208138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.709 Prop: 489.917 PropClause: 452.789 Set: 250.019 Check: 0.0 Back: 27.805
INFO - Atoms: 4283/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 1213624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.73 Prop: 492.439 PropClause: 455.157 Set: 251.082 Check: 0.0 Back: 27.903
INFO - Atoms: 5486/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 1221464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.747 Prop: 495.651 PropClause: 458.151 Set: 252.67 Check: 0.0 Back: 28.03
INFO - Atoms: 7840/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 1223326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.756 Prop: 497.477 PropClause: 459.925 Set: 252.906 Check: 0.0 Back: 28.22
INFO - Atoms: 1862/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 1225413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.767 Prop: 497.897 PropClause: 460.286 Set: 253.19 Check: 0.0 Back: 28.262
INFO - Atoms: 2087/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 1228133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.778 Prop: 498.626 PropClause: 460.941 Set: 253.625 Check: 0.0 Back: 28.309
INFO - Atoms: 2720/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 1230145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.787 Prop: 499.412 PropClause: 461.67 Set: 253.892 Check: 0.0 Back: 28.371
INFO - Atoms: 2012/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 1232865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.799 Prop: 500.158 PropClause: 462.339 Set: 254.327 Check: 0.0 Back: 28.416
INFO - Atoms: 2720/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 1234797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.81 Prop: 501.007 PropClause: 463.133 Set: 254.599 Check: 0.0 Back: 28.479
INFO - Atoms: 1932/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 1238889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.821 Prop: 502.336 PropClause: 464.347 Set: 255.343 Check: 0.0 Back: 28.526
INFO - Atoms: 4092/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 1244009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.832 Prop: 504.673 PropClause: 466.539 Set: 256.334 Check: 0.0 Back: 28.619
INFO - Atoms: 5120/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 1251864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.844 Prop: 509.472 PropClause: 471.118 Set: 258.014 Check: 0.0 Back: 28.739
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 1255023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.855 Prop: 513.046 PropClause: 474.605 Set: 258.557 Check: 0.0 Back: 28.928
INFO - Atoms: 3159/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 1258700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.865 Prop: 514.728 PropClause: 476.186 Set: 259.207 Check: 0.0 Back: 29.0
INFO - Atoms: 3677/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 1260675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.876 Prop: 516.033 PropClause: 477.435 Set: 259.481 Check: 0.0 Back: 29.084
INFO - Atoms: 1975/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 1263741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.93 Prop: 516.845 PropClause: 478.162 Set: 259.99 Check: 0.0 Back: 29.128
INFO - Atoms: 3066/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 1266845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.953 Prop: 517.763 PropClause: 478.991 Set: 260.507 Check: 0.0 Back: 29.198
INFO - Atoms: 3104/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 1271596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.963 Prop: 519.555 PropClause: 480.648 Set: 261.403 Check: 0.0 Back: 29.27
INFO - Atoms: 4751/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 1274249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.966 Prop: 521.064 PropClause: 482.082 Set: 261.814 Check: 0.0 Back: 29.391
INFO - Atoms: 2653/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 1278734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.975 Prop: 522.651 PropClause: 483.543 Set: 262.626 Check: 0.0 Back: 29.452
INFO - Atoms: 4485/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 1281340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.979 Prop: 524.125 PropClause: 484.946 Set: 263.021 Check: 0.0 Back: 29.556
INFO - Atoms: 2606/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 1286076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.986 Prop: 525.762 PropClause: 486.455 Set: 263.891 Check: 0.0 Back: 29.615
INFO - Atoms: 4736/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 1288994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 527.285 PropClause: 487.899 Set: 264.354 Check: 0.0 Back: 29.725
INFO - Atoms: 2918/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 1293385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.993 Prop: 528.845 PropClause: 489.34 Set: 265.132 Check: 0.0 Back: 29.79
INFO - Atoms: 4391/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 1297911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.998 Prop: 530.843 PropClause: 491.215 Set: 265.965 Check: 0.0 Back: 29.891
INFO - Atoms: 4526/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 1301212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 532.556 PropClause: 492.836 Set: 266.534 Check: 0.0 Back: 30.002
INFO - Atoms: 3301/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 1309042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.009 Prop: 535.578 PropClause: 495.639 Set: 268.109 Check: 0.0 Back: 30.079
INFO - Atoms: 7830/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 1316896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.017 Prop: 540.079 PropClause: 499.919 Set: 269.681 Check: 0.0 Back: 30.267
INFO - Atoms: 7854/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 1319381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.02 Prop: 542.27 PropClause: 502.041 Set: 270.033 Check: 0.0 Back: 30.455
INFO - Atoms: 2485/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 1321945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.025 Prop: 542.905 PropClause: 502.604 Set: 270.386 Check: 0.0 Back: 30.512
INFO - Atoms: 2564/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 1325178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.028 Prop: 543.726 PropClause: 503.334 Set: 270.901 Check: 0.0 Back: 30.572
INFO - Atoms: 3233/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 1327097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.032 Prop: 544.337 PropClause: 503.891 Set: 271.149 Check: 0.0 Back: 30.646
INFO - Atoms: 1919/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 1329431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.036 Prop: 544.919 PropClause: 504.407 Set: 271.51 Check: 0.0 Back: 30.69
INFO - Atoms: 2334/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 1333195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.041 Prop: 546.033 PropClause: 505.416 Set: 272.205 Check: 0.0 Back: 30.743
INFO - Atoms: 3764/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 1339968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.045 Prop: 548.542 PropClause: 507.735 Set: 273.503 Check: 0.0 Back: 30.828
INFO - Atoms: 6773/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 1346795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.048 Prop: 551.105 PropClause: 510.112 Set: 274.764 Check: 0.0 Back: 30.995
INFO - Atoms: 6827/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 1354649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.057 Prop: 554.294 PropClause: 513.086 Set: 276.253 Check: 0.0 Back: 31.158
INFO - Atoms: 7854/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 1358343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 556.548 PropClause: 515.239 Set: 276.921 Check: 0.0 Back: 31.346
INFO - Atoms: 3694/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 1360579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 557.396 PropClause: 516.025 Set: 277.238 Check: 0.0 Back: 31.43
INFO - Atoms: 2236/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 1364453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.068 Prop: 558.456 PropClause: 516.979 Set: 277.933 Check: 0.0 Back: 31.481
INFO - Atoms: 3874/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 1367920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 559.643 PropClause: 518.072 Set: 278.546 Check: 0.0 Back: 31.569
INFO - Atoms: 3467/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 1371732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.076 Prop: 561.003 PropClause: 519.328 Set: 279.252 Check: 0.0 Back: 31.647
INFO - Atoms: 3812/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 1375774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.083 Prop: 562.492 PropClause: 520.708 Set: 279.988 Check: 0.0 Back: 31.736
INFO - Atoms: 4042/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 1377981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.086 Prop: 563.625 PropClause: 521.779 Set: 280.295 Check: 0.0 Back: 31.827
INFO - Atoms: 2207/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 1385834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.094 Prop: 566.394 PropClause: 524.335 Set: 281.745 Check: 0.0 Back: 31.877
INFO - Atoms: 7853/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 1387802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.098 Prop: 568.615 PropClause: 526.503 Set: 282.002 Check: 0.0 Back: 32.065
INFO - Atoms: 1968/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 1390331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.102 Prop: 569.174 PropClause: 526.99 Set: 282.38 Check: 0.0 Back: 32.109
INFO - Atoms: 2529/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 1397284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.107 Prop: 571.643 PropClause: 529.265 Set: 283.642 Check: 0.0 Back: 32.167
INFO - Atoms: 6953/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 1405139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.115 Prop: 574.798 PropClause: 532.201 Set: 285.078 Check: 0.0 Back: 32.334
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 1407209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.12 Prop: 576.752 PropClause: 534.095 Set: 285.341 Check: 0.0 Back: 32.522
INFO - Atoms: 2070/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 1409284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.123 Prop: 577.176 PropClause: 534.461 Set: 285.605 Check: 0.0 Back: 32.569
INFO - Atoms: 2075/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 1411571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.185 Prop: 577.728 PropClause: 534.95 Set: 285.907 Check: 0.0 Back: 32.616
INFO - Atoms: 2287/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 1413931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.299 Prop: 578.205 PropClause: 535.362 Set: 286.221 Check: 0.0 Back: 32.667
INFO - Atoms: 2360/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 1418184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.31 Prop: 579.433 PropClause: 536.475 Set: 286.966 Check: 0.0 Back: 32.719
INFO - Atoms: 4253/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 1422550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.319 Prop: 580.842 PropClause: 537.765 Set: 287.727 Check: 0.0 Back: 32.815
INFO - Atoms: 4366/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 1426753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.327 Prop: 582.233 PropClause: 539.042 Set: 288.49 Check: 0.0 Back: 32.913
INFO - Atoms: 4203/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 1434608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.343 Prop: 585.413 PropClause: 542.011 Set: 290.088 Check: 0.0 Back: 33.006
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 1438306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.352 Prop: 587.985 PropClause: 544.482 Set: 290.986 Check: 0.0 Back: 33.19
INFO - Atoms: 3698/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 1442565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.361 Prop: 589.49 PropClause: 545.872 Set: 291.911 Check: 0.0 Back: 33.272
INFO - Atoms: 4259/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 1448235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.372 Prop: 592.117 PropClause: 548.346 Set: 293.367 Check: 0.0 Back: 33.368
INFO - Atoms: 5670/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 1454063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.383 Prop: 594.824 PropClause: 550.895 Set: 294.852 Check: 0.0 Back: 33.511
INFO - Atoms: 5828/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 1457245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.392 Prop: 596.547 PropClause: 552.53 Set: 295.611 Check: 0.0 Back: 33.644
INFO - Atoms: 3182/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 1465073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.416 Prop: 599.95 PropClause: 555.719 Set: 297.758 Check: 0.0 Back: 33.716
INFO - Atoms: 7828/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 1472928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.43 Prop: 604.071 PropClause: 559.627 Set: 299.791 Check: 0.0 Back: 33.901
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 1474899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.439 Prop: 605.969 PropClause: 561.471 Set: 300.238 Check: 0.0 Back: 34.085
INFO - Atoms: 1971/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 1479355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.452 Prop: 607.409 PropClause: 562.789 Set: 301.369 Check: 0.0 Back: 34.132
INFO - Atoms: 4456/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 1484970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.463 Prop: 609.628 PropClause: 564.854 Set: 302.806 Check: 0.0 Back: 34.234
INFO - Atoms: 5615/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 1492825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.473 Prop: 613.134 PropClause: 568.147 Set: 304.895 Check: 0.0 Back: 34.362
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 16804 Tprops: 10654 Decides: 9128 RSplits: 0
INFO - Times: Expl: 88.592 Prop: 3891.624 PropClause: 11.384 Set: 2988.999 Check: 27.269 Back: 26.628
INFO - Atoms: 7/232 Clauses: 500 Axioms: 194
INFO - CCTimes: iE 103843 eq 9722768 cc 13419087 setRep 17164384
INFO - Merges: 32566, cc:56947
INFO - BVTimes: BB 52218043 BB_DPLL 3115500186 Graph 236742
INFO - BitBlastingClauses: 124001 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 1494807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.481 Prop: 615.183 PropClause: 570.142 Set: 305.344 Check: 0.0 Back: 34.547
INFO - Atoms: 1982/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 1496586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.491 Prop: 615.6 PropClause: 570.509 Set: 305.736 Check: 0.0 Back: 34.591
INFO - Atoms: 1779/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 1500623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.498 Prop: 617.188 PropClause: 571.975 Set: 308.731 Check: 0.0 Back: 34.631
INFO - Atoms: 4037/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 1502556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.525 Prop: 618.176 PropClause: 572.904 Set: 309.869 Check: 0.0 Back: 34.727
INFO - Atoms: 1933/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 1506313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.536 Prop: 619.605 PropClause: 574.22 Set: 312.043 Check: 0.0 Back: 34.77
INFO - Atoms: 3757/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 1510765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.546 Prop: 621.503 PropClause: 575.993 Set: 313.219 Check: 0.0 Back: 34.857
INFO - Atoms: 4452/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 1516857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.585 Prop: 625.059 PropClause: 579.378 Set: 319.058 Check: 0.0 Back: 34.959
INFO - Atoms: 6092/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 1523487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.602 Prop: 627.779 PropClause: 581.913 Set: 320.414 Check: 0.0 Back: 35.1
INFO - Atoms: 6630/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 1529333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.611 Prop: 629.89 PropClause: 583.86 Set: 321.565 Check: 0.0 Back: 35.251
INFO - Atoms: 5846/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 1532767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.618 Prop: 631.205 PropClause: 585.079 Set: 322.159 Check: 0.0 Back: 35.384
INFO - Atoms: 3434/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 1540622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.631 Prop: 634.324 PropClause: 587.978 Set: 323.783 Check: 0.0 Back: 35.462
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 1542632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.641 Prop: 636.214 PropClause: 589.812 Set: 324.051 Check: 0.0 Back: 35.648
INFO - Atoms: 2010/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 1544628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.649 Prop: 636.602 PropClause: 590.144 Set: 324.308 Check: 0.0 Back: 35.694
INFO - Atoms: 1996/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 1546607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.658 Prop: 637.06 PropClause: 590.546 Set: 324.568 Check: 0.0 Back: 35.739
INFO - Atoms: 1979/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 1548573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.667 Prop: 637.467 PropClause: 590.898 Set: 324.836 Check: 0.0 Back: 35.784
INFO - Atoms: 1966/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 1551204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.677 Prop: 638.086 PropClause: 591.443 Set: 325.245 Check: 0.0 Back: 35.829
INFO - Atoms: 2631/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 1553835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.685 Prop: 638.768 PropClause: 592.051 Set: 325.655 Check: 0.0 Back: 35.889
INFO - Atoms: 2631/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 1556466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.694 Prop: 639.466 PropClause: 592.675 Set: 326.055 Check: 0.0 Back: 35.949
INFO - Atoms: 2631/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 1559097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.703 Prop: 640.174 PropClause: 593.309 Set: 326.47 Check: 0.0 Back: 36.008
INFO - Atoms: 2631/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 1562399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.713 Prop: 641.142 PropClause: 594.184 Set: 327.038 Check: 0.0 Back: 36.068
INFO - Atoms: 3302/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 1565697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.721 Prop: 642.141 PropClause: 595.091 Set: 327.591 Check: 0.0 Back: 36.142
INFO - Atoms: 3298/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 1569016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.732 Prop: 643.254 PropClause: 596.111 Set: 328.154 Check: 0.0 Back: 36.219
INFO - Atoms: 3319/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 1572317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.74 Prop: 644.21 PropClause: 596.975 Set: 328.707 Check: 0.0 Back: 36.296
INFO - Atoms: 3301/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 1574698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.749 Prop: 645.016 PropClause: 597.714 Set: 329.027 Check: 0.0 Back: 36.37
INFO - Atoms: 2381/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 1578242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.758 Prop: 645.931 PropClause: 598.529 Set: 329.636 Check: 0.0 Back: 36.424
INFO - Atoms: 3544/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 1581682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.767 Prop: 646.927 PropClause: 599.427 Set: 330.231 Check: 0.0 Back: 36.504
INFO - Atoms: 3440/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 1585234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.775 Prop: 648.072 PropClause: 600.473 Set: 330.852 Check: 0.0 Back: 36.582
INFO - Atoms: 3552/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 1589391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.784 Prop: 649.375 PropClause: 601.659 Set: 331.615 Check: 0.0 Back: 36.663
INFO - Atoms: 4157/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 1593538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.795 Prop: 651.176 PropClause: 603.344 Set: 332.375 Check: 0.0 Back: 36.757
INFO - Atoms: 4147/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 1601393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.805 Prop: 654.315 PropClause: 606.264 Set: 333.996 Check: 0.0 Back: 36.853
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 1606319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.814 Prop: 657.407 PropClause: 609.218 Set: 334.949 Check: 0.0 Back: 37.045
INFO - Atoms: 4926/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 1608299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.824 Prop: 658.426 PropClause: 610.181 Set: 335.205 Check: 0.0 Back: 37.159
INFO - Atoms: 1980/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 1610939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.832 Prop: 659.075 PropClause: 610.756 Set: 335.616 Check: 0.0 Back: 37.203
INFO - Atoms: 2640/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 1612978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.84 Prop: 659.681 PropClause: 611.305 Set: 335.893 Check: 0.0 Back: 37.263
INFO - Atoms: 2039/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 1615938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.849 Prop: 660.427 PropClause: 611.968 Set: 336.378 Check: 0.0 Back: 37.31
INFO - Atoms: 2960/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 1621059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.858 Prop: 662.233 PropClause: 613.63 Set: 337.398 Check: 0.0 Back: 37.377
INFO - Atoms: 5121/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 1627335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.866 Prop: 664.62 PropClause: 615.842 Set: 338.699 Check: 0.0 Back: 37.494
INFO - Atoms: 6276/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 1635018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.875 Prop: 667.798 PropClause: 618.806 Set: 340.357 Check: 0.0 Back: 37.638
INFO - Atoms: 7683/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 1642710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.884 Prop: 671.286 PropClause: 622.078 Set: 341.955 Check: 0.0 Back: 37.817
INFO - Atoms: 7692/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 1646644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.893 Prop: 673.508 PropClause: 624.189 Set: 342.706 Check: 0.0 Back: 37.994
INFO - Atoms: 3934/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 1654499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.91 Prop: 676.46 PropClause: 626.915 Set: 344.408 Check: 0.0 Back: 38.083
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 1662354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.919 Prop: 679.964 PropClause: 630.2 Set: 346.057 Check: 0.0 Back: 38.268
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 1667019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.929 Prop: 682.9 PropClause: 633.005 Set: 346.967 Check: 0.0 Back: 38.455
INFO - Atoms: 4665/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 1670883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.938 Prop: 684.318 PropClause: 634.314 Set: 347.679 Check: 0.0 Back: 38.562
INFO - Atoms: 3864/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 1673012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.948 Prop: 685.269 PropClause: 635.204 Set: 347.973 Check: 0.0 Back: 38.65
INFO - Atoms: 2129/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 1676837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.958 Prop: 686.32 PropClause: 636.147 Set: 348.657 Check: 0.0 Back: 38.698
INFO - Atoms: 3825/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 1680639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.968 Prop: 687.622 PropClause: 637.342 Set: 349.344 Check: 0.0 Back: 38.784
INFO - Atoms: 3802/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 1685176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.977 Prop: 689.169 PropClause: 638.762 Set: 350.228 Check: 0.0 Back: 38.87
INFO - Atoms: 4537/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 1690298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.987 Prop: 690.939 PropClause: 640.39 Set: 351.26 Check: 0.0 Back: 38.975
INFO - Atoms: 5122/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 1695896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.996 Prop: 693.134 PropClause: 642.428 Set: 352.366 Check: 0.0 Back: 39.09
INFO - Atoms: 5598/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 1703194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.006 Prop: 696.202 PropClause: 645.291 Set: 353.919 Check: 0.0 Back: 39.217
INFO - Atoms: 7298/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 1711049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.02 Prop: 699.791 PropClause: 648.66 Set: 355.58 Check: 0.0 Back: 39.385
INFO - Atoms: 7855/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 1713008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.031 Prop: 701.976 PropClause: 650.789 Set: 355.841 Check: 0.0 Back: 39.573
INFO - Atoms: 1959/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 1718035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.04 Prop: 703.62 PropClause: 652.292 Set: 356.858 Check: 0.0 Back: 39.617
INFO - Atoms: 5027/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 1720739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.05 Prop: 704.977 PropClause: 653.573 Set: 357.291 Check: 0.0 Back: 39.733
INFO - Atoms: 2704/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 1723405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.067 Prop: 705.766 PropClause: 654.287 Set: 357.709 Check: 0.0 Back: 39.795
INFO - Atoms: 2666/8879 Clauses: 232 Axioms: 36221
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 596 Props: 20886 Tprops: 13734 Decides: 10768 RSplits: 0
INFO - Times: Expl: 98.438 Prop: 4398.367 PropClause: 14.054 Set: 3409.964 Check: 28.699 Back: 31.149
INFO - Atoms: 105/232 Clauses: 596 Axioms: 194
INFO - CCTimes: iE 108199 eq 10627550 cc 14526963 setRep 17809274
INFO - Merges: 39530, cc:63335
INFO - BVTimes: BB 52218043 BB_DPLL 3551455076 Graph 275457
INFO - BitBlastingClauses: 136937 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat