/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_063_016.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 35317355
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 6654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.623 Prop: 14.326 PropClause: 13.217 Set: 5.051 Check: 0.0 Back: 0.0
INFO - Atoms: 6654/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 13305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.674 Prop: 23.818 PropClause: 21.282 Set: 9.003 Check: 0.0 Back: 0.348
INFO - Atoms: 6651/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 19959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.711 Prop: 29.64 PropClause: 26.047 Set: 12.329 Check: 0.0 Back: 0.499
INFO - Atoms: 6654/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 26608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.756 Prop: 33.557 PropClause: 29.748 Set: 15.423 Check: 0.0 Back: 0.649
INFO - Atoms: 6649/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 33256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.792 Prop: 37.499 PropClause: 33.496 Set: 18.427 Check: 0.0 Back: 0.799
INFO - Atoms: 6648/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 39904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.817 Prop: 42.029 PropClause: 37.824 Set: 30.649 Check: 0.0 Back: 0.95
INFO - Atoms: 6648/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 46552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.868 Prop: 44.731 PropClause: 40.316 Set: 32.739 Check: 0.0 Back: 1.099
INFO - Atoms: 6648/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 53071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.903 Prop: 48.149 PropClause: 43.427 Set: 33.877 Check: 0.0 Back: 1.249
INFO - Atoms: 6519/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 59339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.938 Prop: 50.936 PropClause: 45.982 Set: 34.931 Check: 0.0 Back: 1.396
INFO - Atoms: 6268/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 65477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.973 Prop: 53.846 PropClause: 48.671 Set: 35.938 Check: 0.0 Back: 1.538
INFO - Atoms: 6138/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 71485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.007 Prop: 56.102 PropClause: 50.715 Set: 36.932 Check: 0.0 Back: 1.678
INFO - Atoms: 6008/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 77361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.04 Prop: 58.454 PropClause: 52.875 Set: 37.904 Check: 0.0 Back: 1.813
INFO - Atoms: 5876/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 83107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.071 Prop: 60.678 PropClause: 54.909 Set: 38.86 Check: 0.0 Back: 1.945
INFO - Atoms: 5746/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 88721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.112 Prop: 62.646 PropClause: 56.688 Set: 39.793 Check: 0.0 Back: 2.076
INFO - Atoms: 5614/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 94205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.142 Prop: 64.228 PropClause: 58.099 Set: 40.668 Check: 0.0 Back: 2.203
INFO - Atoms: 5484/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 99557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.171 Prop: 65.793 PropClause: 59.486 Set: 41.532 Check: 0.0 Back: 2.325
INFO - Atoms: 5352/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 104779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.201 Prop: 67.202 PropClause: 60.726 Set: 42.373 Check: 0.0 Back: 2.447
INFO - Atoms: 5222/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 109869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.23 Prop: 68.753 PropClause: 62.119 Set: 43.195 Check: 0.0 Back: 2.564
INFO - Atoms: 5090/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 114829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.261 Prop: 70.311 PropClause: 63.516 Set: 44.01 Check: 0.0 Back: 2.679
INFO - Atoms: 4960/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 119657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.314 Prop: 71.821 PropClause: 64.873 Set: 44.814 Check: 0.0 Back: 2.793
INFO - Atoms: 4828/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 124354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.355 Prop: 73.127 PropClause: 66.032 Set: 45.581 Check: 0.0 Back: 2.902
INFO - Atoms: 4697/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 129551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.393 Prop: 75.58 PropClause: 68.32 Set: 46.498 Check: 0.0 Back: 3.008
INFO - Atoms: 5197/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 134880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.422 Prop: 77.016 PropClause: 69.591 Set: 47.416 Check: 0.0 Back: 3.125
INFO - Atoms: 5329/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 140340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.449 Prop: 78.431 PropClause: 70.835 Set: 48.35 Check: 0.0 Back: 3.245
INFO - Atoms: 5460/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 145799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.479 Prop: 79.88 PropClause: 72.114 Set: 49.29 Check: 0.0 Back: 3.368
INFO - Atoms: 5459/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 150884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.513 Prop: 81.394 PropClause: 73.472 Set: 50.155 Check: 0.0 Back: 3.491
INFO - Atoms: 5085/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 156463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.545 Prop: 83.112 PropClause: 74.961 Set: 51.617 Check: 0.0 Back: 3.607
INFO - Atoms: 5579/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 161922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.58 Prop: 84.781 PropClause: 76.457 Set: 53.078 Check: 0.0 Back: 3.732
INFO - Atoms: 5459/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 167505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.616 Prop: 86.429 PropClause: 77.929 Set: 54.462 Check: 0.0 Back: 3.855
INFO - Atoms: 5583/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 172965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.646 Prop: 88.264 PropClause: 79.43 Set: 55.819 Check: 0.0 Back: 3.98
INFO - Atoms: 5460/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 178546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.68 Prop: 90.6 PropClause: 81.056 Set: 57.52 Check: 0.0 Back: 4.103
INFO - Atoms: 5581/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 184128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.709 Prop: 92.277 PropClause: 82.364 Set: 58.95 Check: 0.0 Back: 4.228
INFO - Atoms: 5582/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 189708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.739 Prop: 93.871 PropClause: 83.746 Set: 60.371 Check: 0.0 Back: 4.354
INFO - Atoms: 5580/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 195169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.769 Prop: 95.593 PropClause: 85.09 Set: 61.768 Check: 0.0 Back: 4.479
INFO - Atoms: 5461/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 200255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.801 Prop: 97.068 PropClause: 86.374 Set: 63.041 Check: 0.0 Back: 4.601
INFO - Atoms: 5086/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 205835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.836 Prop: 99.403 PropClause: 88.374 Set: 64.109 Check: 0.0 Back: 4.715
INFO - Atoms: 5580/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 211416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.864 Prop: 101.15 PropClause: 89.898 Set: 65.131 Check: 0.0 Back: 4.839
INFO - Atoms: 5581/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 216998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.895 Prop: 102.885 PropClause: 91.437 Set: 66.153 Check: 0.0 Back: 4.963
INFO - Atoms: 5582/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 222523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.924 Prop: 104.594 PropClause: 92.834 Set: 67.137 Check: 0.0 Back: 5.09
INFO - Atoms: 5525/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 227983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.952 Prop: 106.204 PropClause: 94.27 Set: 68.116 Check: 0.0 Back: 5.223
INFO - Atoms: 5460/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 233510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.983 Prop: 107.811 PropClause: 95.7 Set: 69.184 Check: 0.0 Back: 5.345
INFO - Atoms: 5527/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 238913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.02 Prop: 109.533 PropClause: 97.195 Set: 70.143 Check: 0.0 Back: 5.469
INFO - Atoms: 5403/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 244380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.048 Prop: 111.105 PropClause: 98.593 Set: 71.13 Check: 0.0 Back: 5.59
INFO - Atoms: 5467/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 249465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.067 Prop: 112.379 PropClause: 99.732 Set: 72.018 Check: 0.0 Back: 5.713
INFO - Atoms: 5085/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 254811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.086 Prop: 113.695 PropClause: 100.907 Set: 72.981 Check: 0.0 Back: 5.827
INFO - Atoms: 5346/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 260156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.102 Prop: 114.925 PropClause: 102.004 Set: 73.932 Check: 0.0 Back: 5.947
INFO - Atoms: 5345/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 265503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.119 Prop: 116.162 PropClause: 103.11 Set: 74.883 Check: 0.0 Back: 6.066
INFO - Atoms: 5347/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 270722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.137 Prop: 117.443 PropClause: 104.261 Set: 75.806 Check: 0.0 Back: 6.186
INFO - Atoms: 5219/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 275940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 118.639 PropClause: 105.328 Set: 76.695 Check: 0.0 Back: 6.303
INFO - Atoms: 5218/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 281006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.22 Prop: 119.795 PropClause: 106.359 Set: 77.561 Check: 0.0 Back: 6.42
INFO - Atoms: 5066/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 285696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.235 Prop: 120.842 PropClause: 107.291 Set: 78.315 Check: 0.0 Back: 6.533
INFO - Atoms: 4690/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 290763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.256 Prop: 122.006 PropClause: 108.331 Set: 79.17 Check: 0.0 Back: 6.638
INFO - Atoms: 5067/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 295950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.276 Prop: 123.271 PropClause: 109.467 Set: 80.048 Check: 0.0 Back: 6.751
INFO - Atoms: 5187/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 300591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.348 Prop: 124.429 PropClause: 110.51 Set: 80.78 Check: 0.0 Back: 6.867
INFO - Atoms: 4641/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 305232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.417 Prop: 125.513 PropClause: 111.48 Set: 81.523 Check: 0.0 Back: 6.971
INFO - Atoms: 4641/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 310297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.509 Prop: 126.686 PropClause: 112.528 Set: 82.373 Check: 0.0 Back: 7.075
INFO - Atoms: 5065/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 315484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.515 Prop: 127.821 PropClause: 113.536 Set: 83.226 Check: 0.0 Back: 7.188
INFO - Atoms: 5187/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 320674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.522 Prop: 129.103 PropClause: 114.689 Set: 84.099 Check: 0.0 Back: 7.303
INFO - Atoms: 5190/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 325503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.529 Prop: 130.265 PropClause: 115.731 Set: 84.872 Check: 0.0 Back: 7.419
INFO - Atoms: 4829/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 330200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.536 Prop: 131.306 PropClause: 116.657 Set: 85.625 Check: 0.0 Back: 7.528
INFO - Atoms: 4697/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 335007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.546 Prop: 132.933 PropClause: 118.165 Set: 87.395 Check: 0.0 Back: 7.634
INFO - Atoms: 4807/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 338042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.558 Prop: 133.852 PropClause: 119.009 Set: 88.43 Check: 0.0 Back: 7.742
INFO - Atoms: 3035/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 564072 Tprops: 0 Decides: 4103 RSplits: 0
INFO - Times: Expl: 78.911 Prop: 192.254 PropClause: 170.512 Set: 94.423 Check: 0.1 Back: 12.944
INFO - Atoms: 2577/6656 Clauses: 391 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 68 Props: 1893 Tprops: 364 Decides: 1479 RSplits: 0
INFO - Times: Expl: 16.311 Prop: 797.46 PropClause: 1.053 Set: 139.685 Check: 31.54 Back: 5.628
INFO - Atoms: 150/150 Clauses: 68 Axioms: 150
INFO - CCTimes: iE 20858 eq 2353019 cc 3883152 setRep 1438233
INFO - Merges: 10541, cc:13193
INFO - BVTimes: BB 35305703 BB_DPLL 603054372 Graph 21316684
INFO - BitBlastingClauses: 28174 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat