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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 62883472
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 6590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.5 Prop: 9.328 PropClause: 6.401 Set: 8.971 Check: 0.0 Back: 0.0
INFO - Atoms: 6590/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 13181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.55 Prop: 12.589 PropClause: 9.384 Set: 12.067 Check: 0.0 Back: 0.159
INFO - Atoms: 6591/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 19772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.58 Prop: 17.794 PropClause: 14.314 Set: 14.911 Check: 0.0 Back: 0.312
INFO - Atoms: 6591/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 26236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.602 Prop: 20.104 PropClause: 16.352 Set: 17.044 Check: 0.0 Back: 0.465
INFO - Atoms: 6464/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 32700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.634 Prop: 22.353 PropClause: 18.32 Set: 18.376 Check: 0.0 Back: 0.615
INFO - Atoms: 6464/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 39163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.658 Prop: 24.071 PropClause: 19.76 Set: 19.557 Check: 0.0 Back: 0.766
INFO - Atoms: 6463/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 45627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.686 Prop: 26.56 PropClause: 21.407 Set: 20.903 Check: 0.0 Back: 0.916
INFO - Atoms: 6464/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 52087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.721 Prop: 29.292 PropClause: 23.315 Set: 29.338 Check: 0.0 Back: 1.062
INFO - Atoms: 6460/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 58483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.755 Prop: 30.877 PropClause: 24.692 Set: 30.479 Check: 0.0 Back: 1.207
INFO - Atoms: 6396/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 64811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.778 Prop: 32.473 PropClause: 26.093 Set: 31.626 Check: 0.0 Back: 1.351
INFO - Atoms: 6328/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 71073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.799 Prop: 34.058 PropClause: 27.486 Set: 32.758 Check: 0.0 Back: 1.495
INFO - Atoms: 6262/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 77267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.823 Prop: 35.734 PropClause: 28.974 Set: 33.879 Check: 0.0 Back: 1.636
INFO - Atoms: 6194/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 83395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.851 Prop: 37.205 PropClause: 30.245 Set: 34.978 Check: 0.0 Back: 1.777
INFO - Atoms: 6128/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 89456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.882 Prop: 38.897 PropClause: 31.748 Set: 36.529 Check: 0.0 Back: 1.915
INFO - Atoms: 6061/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 95450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.912 Prop: 40.396 PropClause: 33.061 Set: 38.058 Check: 0.0 Back: 2.056
INFO - Atoms: 5994/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 101376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.943 Prop: 41.957 PropClause: 34.438 Set: 39.569 Check: 0.0 Back: 2.191
INFO - Atoms: 5926/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 107236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.971 Prop: 43.446 PropClause: 35.749 Set: 41.054 Check: 0.0 Back: 2.324
INFO - Atoms: 5860/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 113028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.997 Prop: 44.776 PropClause: 36.899 Set: 42.108 Check: 0.0 Back: 2.46
INFO - Atoms: 5792/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 118754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.018 Prop: 46.015 PropClause: 37.961 Set: 43.127 Check: 0.0 Back: 2.59
INFO - Atoms: 5726/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 124412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.044 Prop: 47.344 PropClause: 39.119 Set: 44.144 Check: 0.0 Back: 2.721
INFO - Atoms: 5658/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 130004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.066 Prop: 48.588 PropClause: 40.189 Set: 45.134 Check: 0.0 Back: 2.849
INFO - Atoms: 5592/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 135528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.092 Prop: 49.887 PropClause: 41.318 Set: 46.119 Check: 0.0 Back: 2.974
INFO - Atoms: 5524/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 140986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.115 Prop: 51.124 PropClause: 42.387 Set: 47.081 Check: 0.0 Back: 3.098
INFO - Atoms: 5458/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 146376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.135 Prop: 52.315 PropClause: 43.414 Set: 48.047 Check: 0.0 Back: 3.22
INFO - Atoms: 5390/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 151700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.157 Prop: 53.471 PropClause: 44.406 Set: 48.98 Check: 0.0 Back: 3.342
INFO - Atoms: 5324/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 156957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.172 Prop: 54.572 PropClause: 45.347 Set: 49.91 Check: 0.0 Back: 3.463
INFO - Atoms: 5257/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 162147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.449 Prop: 55.671 PropClause: 46.288 Set: 50.816 Check: 0.0 Back: 3.581
INFO - Atoms: 5190/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 167269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.47 Prop: 56.854 PropClause: 47.311 Set: 51.698 Check: 0.0 Back: 3.698
INFO - Atoms: 5122/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 172325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.494 Prop: 57.974 PropClause: 48.275 Set: 52.581 Check: 0.0 Back: 3.812
INFO - Atoms: 5056/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 177315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.513 Prop: 59.124 PropClause: 49.272 Set: 53.455 Check: 0.0 Back: 3.928
INFO - Atoms: 4990/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 182237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.526 Prop: 60.179 PropClause: 50.176 Set: 54.31 Check: 0.0 Back: 4.041
INFO - Atoms: 4922/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 187091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.539 Prop: 61.198 PropClause: 51.048 Set: 55.154 Check: 0.0 Back: 4.153
INFO - Atoms: 4854/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 191879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.559 Prop: 62.294 PropClause: 51.996 Set: 55.992 Check: 0.0 Back: 4.264
INFO - Atoms: 4788/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 196600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.579 Prop: 63.35 PropClause: 52.903 Set: 56.809 Check: 0.0 Back: 4.372
INFO - Atoms: 4721/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 201254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.591 Prop: 64.333 PropClause: 53.745 Set: 57.604 Check: 0.0 Back: 4.478
INFO - Atoms: 4654/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 205840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.614 Prop: 65.387 PropClause: 54.645 Set: 58.393 Check: 0.0 Back: 4.582
INFO - Atoms: 4586/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 210359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.634 Prop: 66.395 PropClause: 55.515 Set: 59.165 Check: 0.0 Back: 4.685
INFO - Atoms: 4519/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 215254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.664 Prop: 67.591 PropClause: 56.561 Set: 60.064 Check: 0.0 Back: 4.787
INFO - Atoms: 4895/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 220159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.688 Prop: 68.711 PropClause: 57.527 Set: 60.945 Check: 0.0 Back: 4.897
INFO - Atoms: 4905/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 224872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.703 Prop: 69.713 PropClause: 58.386 Set: 61.774 Check: 0.0 Back: 5.007
INFO - Atoms: 4713/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 229774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 70.84 PropClause: 59.361 Set: 62.672 Check: 0.0 Back: 5.115
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 234672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.758 Prop: 71.893 PropClause: 60.265 Set: 63.547 Check: 0.0 Back: 5.225
INFO - Atoms: 4898/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 239632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.774 Prop: 73.002 PropClause: 61.193 Set: 64.449 Check: 0.0 Back: 5.335
INFO - Atoms: 4960/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 244583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.79 Prop: 74.147 PropClause: 62.186 Set: 65.35 Check: 0.0 Back: 5.448
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 249485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.808 Prop: 75.214 PropClause: 63.105 Set: 66.23 Check: 0.0 Back: 5.56
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 254200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.825 Prop: 76.412 PropClause: 63.991 Set: 67.138 Check: 0.0 Back: 5.67
INFO - Atoms: 4715/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 259104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.852 Prop: 77.562 PropClause: 64.991 Set: 68.389 Check: 0.0 Back: 5.778
INFO - Atoms: 4904/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 264055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.878 Prop: 78.696 PropClause: 65.991 Set: 69.643 Check: 0.0 Back: 5.888
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 269017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.9 Prop: 79.807 PropClause: 66.966 Set: 70.885 Check: 0.0 Back: 6.0
INFO - Atoms: 4962/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 273968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.925 Prop: 80.914 PropClause: 67.951 Set: 72.116 Check: 0.0 Back: 6.111
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 278870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.945 Prop: 81.961 PropClause: 68.877 Set: 73.338 Check: 0.0 Back: 6.223
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 283587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.967 Prop: 82.982 PropClause: 69.781 Set: 74.503 Check: 0.0 Back: 6.333
INFO - Atoms: 4717/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 288491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.996 Prop: 84.136 PropClause: 70.814 Set: 75.721 Check: 0.0 Back: 6.439
INFO - Atoms: 4904/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 293442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.095 Prop: 85.276 PropClause: 71.832 Set: 76.979 Check: 0.0 Back: 6.551
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 298402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.105 Prop: 86.394 PropClause: 72.828 Set: 78.224 Check: 0.0 Back: 6.662
INFO - Atoms: 4960/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 303353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.116 Prop: 87.502 PropClause: 73.813 Set: 79.479 Check: 0.0 Back: 6.774
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 308255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.122 Prop: 88.542 PropClause: 74.733 Set: 80.706 Check: 0.0 Back: 6.885
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 312970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.13 Prop: 89.605 PropClause: 75.674 Set: 81.863 Check: 0.0 Back: 6.994
INFO - Atoms: 4715/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 317874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.14 Prop: 90.66 PropClause: 76.607 Set: 83.087 Check: 0.0 Back: 7.1
INFO - Atoms: 4904/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 322825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.149 Prop: 91.69 PropClause: 77.513 Set: 83.965 Check: 0.0 Back: 7.212
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 327787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.155 Prop: 92.683 PropClause: 78.377 Set: 84.837 Check: 0.0 Back: 7.322
INFO - Atoms: 4962/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 332738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.162 Prop: 93.726 PropClause: 79.299 Set: 85.713 Check: 0.0 Back: 7.434
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 337640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.167 Prop: 94.71 PropClause: 80.163 Set: 86.571 Check: 0.0 Back: 7.546
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 342355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.17 Prop: 95.646 PropClause: 80.982 Set: 87.386 Check: 0.0 Back: 7.656
INFO - Atoms: 4715/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 347259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.181 Prop: 96.718 PropClause: 81.934 Set: 88.282 Check: 0.0 Back: 7.761
INFO - Atoms: 4904/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 352210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.185 Prop: 97.721 PropClause: 82.814 Set: 89.162 Check: 0.0 Back: 7.873
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 357172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.192 Prop: 98.761 PropClause: 83.732 Set: 90.036 Check: 0.0 Back: 7.986
INFO - Atoms: 4962/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 362123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.199 Prop: 99.823 PropClause: 84.672 Set: 90.911 Check: 0.0 Back: 8.099
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 367025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.205 Prop: 100.847 PropClause: 85.574 Set: 91.777 Check: 0.0 Back: 8.216
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 371740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.212 Prop: 101.85 PropClause: 86.46 Set: 92.589 Check: 0.0 Back: 8.326
INFO - Atoms: 4715/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 376644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.22 Prop: 102.905 PropClause: 87.395 Set: 93.455 Check: 0.0 Back: 8.432
INFO - Atoms: 4904/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 381595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.229 Prop: 103.935 PropClause: 88.302 Set: 94.332 Check: 0.0 Back: 8.542
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 386557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.237 Prop: 104.928 PropClause: 89.172 Set: 95.206 Check: 0.0 Back: 8.654
INFO - Atoms: 4962/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 391508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.244 Prop: 105.938 PropClause: 90.061 Set: 96.079 Check: 0.0 Back: 8.765
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 396410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.248 Prop: 106.944 PropClause: 90.945 Set: 96.934 Check: 0.0 Back: 8.876
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 401125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.252 Prop: 107.917 PropClause: 91.802 Set: 97.749 Check: 0.0 Back: 8.988
INFO - Atoms: 4715/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 406029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.259 Prop: 108.901 PropClause: 92.665 Set: 98.609 Check: 0.0 Back: 9.094
INFO - Atoms: 4904/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 410980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.265 Prop: 109.892 PropClause: 93.534 Set: 99.471 Check: 0.0 Back: 9.207
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 415942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.273 Prop: 110.95 PropClause: 94.47 Set: 100.374 Check: 0.0 Back: 9.319
INFO - Atoms: 4962/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 420893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.28 Prop: 111.966 PropClause: 95.363 Set: 101.256 Check: 0.0 Back: 9.431
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 425795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.287 Prop: 112.951 PropClause: 96.227 Set: 102.1 Check: 0.0 Back: 9.542
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 430511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.291 Prop: 113.908 PropClause: 97.066 Set: 102.91 Check: 0.0 Back: 9.652
INFO - Atoms: 4716/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 435415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.297 Prop: 114.888 PropClause: 97.919 Set: 103.776 Check: 0.0 Back: 9.758
INFO - Atoms: 4904/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 440366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.302 Prop: 115.9 PropClause: 98.808 Set: 104.656 Check: 0.0 Back: 9.869
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 445328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.308 Prop: 116.933 PropClause: 99.717 Set: 105.542 Check: 0.0 Back: 9.982
INFO - Atoms: 4962/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 450279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.315 Prop: 117.941 PropClause: 100.603 Set: 106.425 Check: 0.0 Back: 10.095
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 455181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.319 Prop: 118.949 PropClause: 101.49 Set: 107.294 Check: 0.0 Back: 10.207
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 459897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.323 Prop: 119.908 PropClause: 102.331 Set: 108.111 Check: 0.0 Back: 10.318
INFO - Atoms: 4716/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 464801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.328 Prop: 120.887 PropClause: 103.19 Set: 108.971 Check: 0.0 Back: 10.423
INFO - Atoms: 4904/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 469752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.342 Prop: 121.89 PropClause: 104.073 Set: 109.855 Check: 0.0 Back: 10.534
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 474712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.367 Prop: 122.874 PropClause: 104.935 Set: 110.727 Check: 0.0 Back: 10.646
INFO - Atoms: 4960/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 479663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.371 Prop: 123.877 PropClause: 105.815 Set: 111.603 Check: 0.0 Back: 10.757
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 484565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.376 Prop: 124.883 PropClause: 106.7 Set: 112.462 Check: 0.0 Back: 10.869
INFO - Atoms: 4902/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 489524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.38 Prop: 125.86 PropClause: 107.555 Set: 113.324 Check: 0.0 Back: 10.981
INFO - Atoms: 4959/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 494422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.385 Prop: 126.875 PropClause: 108.449 Set: 114.191 Check: 0.0 Back: 11.093
INFO - Atoms: 4898/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 499375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.415 Prop: 127.916 PropClause: 109.367 Set: 122.003 Check: 0.0 Back: 11.203
INFO - Atoms: 4953/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 504091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.431 Prop: 128.912 PropClause: 110.247 Set: 122.803 Check: 0.0 Back: 11.315
INFO - Atoms: 4716/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 509042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.434 Prop: 129.92 PropClause: 111.134 Set: 123.684 Check: 0.0 Back: 11.421
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 513946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.438 Prop: 130.971 PropClause: 112.064 Set: 124.537 Check: 0.0 Back: 11.532
INFO - Atoms: 4904/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 518905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.442 Prop: 132.024 PropClause: 112.994 Set: 125.418 Check: 0.0 Back: 11.642
INFO - Atoms: 4959/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 523803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.448 Prop: 133.073 PropClause: 113.923 Set: 126.281 Check: 0.0 Back: 11.753
INFO - Atoms: 4898/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 528754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.456 Prop: 134.491 PropClause: 115.216 Set: 127.191 Check: 0.0 Back: 11.863
INFO - Atoms: 4951/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 533470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.462 Prop: 135.631 PropClause: 116.238 Set: 128.015 Check: 0.0 Back: 11.991
INFO - Atoms: 4716/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 538401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.47 Prop: 136.739 PropClause: 117.223 Set: 128.93 Check: 0.0 Back: 12.1
INFO - Atoms: 4931/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 543302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.477 Prop: 138.042 PropClause: 118.403 Set: 129.807 Check: 0.0 Back: 12.212
INFO - Atoms: 4901/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 548017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.483 Prop: 139.12 PropClause: 119.363 Set: 130.627 Check: 0.0 Back: 12.325
INFO - Atoms: 4715/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 552893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.489 Prop: 140.17 PropClause: 120.289 Set: 131.493 Check: 0.0 Back: 12.431
INFO - Atoms: 4876/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 557798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.493 Prop: 141.185 PropClause: 121.182 Set: 132.35 Check: 0.0 Back: 12.542
INFO - Atoms: 4905/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 562708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.497 Prop: 142.214 PropClause: 122.088 Set: 133.208 Check: 0.0 Back: 12.653
INFO - Atoms: 4910/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 567557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.502 Prop: 143.304 PropClause: 123.058 Set: 134.049 Check: 0.0 Back: 12.764
INFO - Atoms: 4849/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 572403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.506 Prop: 144.305 PropClause: 123.937 Set: 134.911 Check: 0.0 Back: 12.873
INFO - Atoms: 4846/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 577119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.509 Prop: 145.284 PropClause: 124.798 Set: 135.72 Check: 0.0 Back: 12.983
INFO - Atoms: 4716/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 581904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.514 Prop: 146.395 PropClause: 125.79 Set: 136.572 Check: 0.0 Back: 13.091
INFO - Atoms: 4785/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 586688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.523 Prop: 147.378 PropClause: 126.651 Set: 137.404 Check: 0.0 Back: 13.203
INFO - Atoms: 4784/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 591391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.526 Prop: 148.364 PropClause: 127.52 Set: 138.244 Check: 0.0 Back: 13.311
INFO - Atoms: 4703/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 596154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.529 Prop: 149.339 PropClause: 128.377 Set: 139.079 Check: 0.0 Back: 13.418
INFO - Atoms: 4763/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 600905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.532 Prop: 150.296 PropClause: 129.217 Set: 139.903 Check: 0.0 Back: 13.525
INFO - Atoms: 4751/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 605668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 151.236 PropClause: 130.04 Set: 140.729 Check: 0.0 Back: 13.631
INFO - Atoms: 4763/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 610253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.542 Prop: 152.153 PropClause: 130.846 Set: 141.498 Check: 0.0 Back: 13.738
INFO - Atoms: 4585/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 614838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.549 Prop: 153.058 PropClause: 131.638 Set: 142.265 Check: 0.0 Back: 13.841
INFO - Atoms: 4585/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 619491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.551 Prop: 154.004 PropClause: 132.469 Set: 143.07 Check: 0.0 Back: 13.943
INFO - Atoms: 4653/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 624078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.554 Prop: 154.907 PropClause: 133.259 Set: 143.834 Check: 0.0 Back: 14.048
INFO - Atoms: 4587/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 628598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.557 Prop: 155.862 PropClause: 134.103 Set: 144.592 Check: 0.0 Back: 14.151
INFO - Atoms: 4520/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 633174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.562 Prop: 156.961 PropClause: 135.089 Set: 146.2 Check: 0.0 Back: 14.253
INFO - Atoms: 4576/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 637819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.566 Prop: 158.107 PropClause: 136.109 Set: 148.731 Check: 0.0 Back: 14.356
INFO - Atoms: 4645/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 642523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 159.314 PropClause: 137.178 Set: 151.323 Check: 0.0 Back: 14.46
INFO - Atoms: 4704/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 647300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.577 Prop: 160.465 PropClause: 138.197 Set: 153.922 Check: 0.0 Back: 14.568
INFO - Atoms: 4777/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 652138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.582 Prop: 161.712 PropClause: 139.278 Set: 156.717 Check: 0.0 Back: 14.676
INFO - Atoms: 4838/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 657049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.586 Prop: 162.858 PropClause: 140.281 Set: 159.269 Check: 0.0 Back: 14.785
INFO - Atoms: 4911/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 662021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.591 Prop: 163.93 PropClause: 141.23 Set: 160.134 Check: 0.0 Back: 14.896
INFO - Atoms: 4972/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 667066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.611 Prop: 165.014 PropClause: 142.189 Set: 160.996 Check: 0.0 Back: 15.007
INFO - Atoms: 5045/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 672172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.615 Prop: 166.07 PropClause: 143.119 Set: 161.858 Check: 0.0 Back: 15.121
INFO - Atoms: 5106/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 677351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.631 Prop: 167.183 PropClause: 144.105 Set: 162.738 Check: 0.0 Back: 15.236
INFO - Atoms: 5179/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 682591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.653 Prop: 168.271 PropClause: 145.064 Set: 163.626 Check: 0.0 Back: 15.357
INFO - Atoms: 5240/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 687904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.666 Prop: 169.408 PropClause: 146.071 Set: 164.527 Check: 0.0 Back: 15.475
INFO - Atoms: 5313/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 693278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.668 Prop: 170.551 PropClause: 147.082 Set: 165.429 Check: 0.0 Back: 15.593
INFO - Atoms: 5374/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 698725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.67 Prop: 171.704 PropClause: 148.102 Set: 166.349 Check: 0.0 Back: 15.714
INFO - Atoms: 5447/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 704233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.673 Prop: 172.844 PropClause: 149.106 Set: 167.285 Check: 0.0 Back: 15.837
INFO - Atoms: 5508/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 709814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.675 Prop: 174.017 PropClause: 150.144 Set: 168.238 Check: 0.0 Back: 15.961
INFO - Atoms: 5581/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 715456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.677 Prop: 175.213 PropClause: 151.201 Set: 169.21 Check: 0.0 Back: 16.086
INFO - Atoms: 5642/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 721171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.681 Prop: 176.517 PropClause: 152.364 Set: 170.197 Check: 0.0 Back: 16.212
INFO - Atoms: 5715/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 726947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.685 Prop: 177.794 PropClause: 153.499 Set: 171.188 Check: 0.0 Back: 16.339
INFO - Atoms: 5776/6592 Clauses: 197 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 938951 Tprops: 0 Decides: 1351 RSplits: 0
INFO - Times: Expl: 67.355 Prop: 228.371 PropClause: 198.33 Set: 176.261 Check: 0.031 Back: 21.239
INFO - Atoms: 2255/6592 Clauses: 600 Axioms: 21362
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 145 Props: 5896 Tprops: 1361 Decides: 5566 RSplits: 0
INFO - Times: Expl: 43.996 Prop: 1213.173 PropClause: 2.544 Set: 530.168 Check: 46.5 Back: 14.127
INFO - Atoms: 232/294 Clauses: 145 Axioms: 294
INFO - CCTimes: iE 62100 eq 8185103 cc 32642414 setRep 9039442
INFO - Merges: 42447, cc:58678
INFO - BVTimes: BB 62859607 BB_DPLL 936981487 Graph 148738
INFO - BitBlastingClauses: 49390 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat