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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 405617269
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 101882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.879 Prop: 228.211 PropClause: 220.986 Set: 155.164 Check: 0.0 Back: 0.0
INFO - Atoms: 101882/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 203752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.996 Prop: 398.129 PropClause: 386.269 Set: 181.874 Check: 0.0 Back: 2.724
INFO - Atoms: 101870/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 305612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.057 Prop: 563.606 PropClause: 547.072 Set: 246.523 Check: 0.0 Back: 5.346
INFO - Atoms: 101860/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 407087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.129 Prop: 707.028 PropClause: 686.811 Set: 267.543 Check: 0.0 Back: 8.064
INFO - Atoms: 101475/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 508554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.174 Prop: 833.806 PropClause: 810.308 Set: 286.101 Check: 0.0 Back: 10.424
INFO - Atoms: 101467/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 609638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.274 Prop: 966.683 PropClause: 940.136 Set: 304.241 Check: 0.0 Back: 12.888
INFO - Atoms: 101084/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 710722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.322 Prop: 1093.285 PropClause: 1063.461 Set: 334.841 Check: 0.0 Back: 15.209
INFO - Atoms: 101084/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 811802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.368 Prop: 1225.389 PropClause: 1193.049 Set: 364.539 Check: 0.0 Back: 17.576
INFO - Atoms: 101080/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 912873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.477 Prop: 1347.026 PropClause: 1312.171 Set: 382.187 Check: 0.0 Back: 19.884
INFO - Atoms: 101071/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1013686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.527 Prop: 1477.871 PropClause: 1440.548 Set: 400.296 Check: 0.0 Back: 22.291
INFO - Atoms: 100813/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1114116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.571 Prop: 1606.164 PropClause: 1566.326 Set: 418.495 Check: 0.0 Back: 24.622
INFO - Atoms: 100430/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1214290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.621 Prop: 1737.601 PropClause: 1695.293 Set: 436.575 Check: 0.0 Back: 26.953
INFO - Atoms: 100174/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1314077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.669 Prop: 1863.183 PropClause: 1818.407 Set: 454.216 Check: 0.0 Back: 29.261
INFO - Atoms: 99787/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1413860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.718 Prop: 1988.853 PropClause: 1941.63 Set: 472.156 Check: 0.0 Back: 31.827
INFO - Atoms: 99783/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1513508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.764 Prop: 2118.834 PropClause: 2069.157 Set: 489.883 Check: 0.0 Back: 34.429
INFO - Atoms: 99648/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1612773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.826 Prop: 2282.189 PropClause: 2229.668 Set: 514.589 Check: 0.0 Back: 36.988
INFO - Atoms: 99265/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1711653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.907 Prop: 2411.546 PropClause: 2356.579 Set: 544.062 Check: 0.0 Back: 39.677
INFO - Atoms: 98880/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1810530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.961 Prop: 2544.161 PropClause: 2486.73 Set: 573.008 Check: 0.0 Back: 42.051
INFO - Atoms: 98877/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1909277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.006 Prop: 2672.211 PropClause: 2612.337 Set: 601.029 Check: 0.0 Back: 44.394
INFO - Atoms: 98747/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 2007514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.057 Prop: 2803.409 PropClause: 2741.097 Set: 656.749 Check: 0.0 Back: 46.649
INFO - Atoms: 98237/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 2105492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.102 Prop: 2928.046 PropClause: 2863.327 Set: 673.864 Check: 0.0 Back: 48.888
INFO - Atoms: 97978/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2203210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.149 Prop: 3047.141 PropClause: 2980.014 Set: 691.315 Check: 0.0 Back: 51.128
INFO - Atoms: 97718/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2300670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 3160.692 PropClause: 3091.161 Set: 708.484 Check: 0.0 Back: 53.333
INFO - Atoms: 97460/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2397870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.246 Prop: 3280.659 PropClause: 3208.73 Set: 725.808 Check: 0.0 Back: 55.581
INFO - Atoms: 97200/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2494810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.293 Prop: 3399.831 PropClause: 3325.514 Set: 742.857 Check: 0.0 Back: 57.788
INFO - Atoms: 96940/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2591493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.34 Prop: 3518.5 PropClause: 3441.813 Set: 760.11 Check: 0.0 Back: 60.1
INFO - Atoms: 96683/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2687915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.388 Prop: 3635.702 PropClause: 3556.641 Set: 776.816 Check: 0.0 Back: 62.293
INFO - Atoms: 96422/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2784080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.481 Prop: 3756.752 PropClause: 3675.327 Set: 816.202 Check: 0.0 Back: 64.459
INFO - Atoms: 96165/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2879986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.524 Prop: 3876.832 PropClause: 3793.048 Set: 832.928 Check: 0.0 Back: 66.641
INFO - Atoms: 95906/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2975632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.568 Prop: 3994.71 PropClause: 3908.587 Set: 849.746 Check: 0.0 Back: 68.806
INFO - Atoms: 95646/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 3071018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.614 Prop: 4105.303 PropClause: 4016.852 Set: 866.125 Check: 0.0 Back: 70.966
INFO - Atoms: 95386/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 3166274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.661 Prop: 4223.084 PropClause: 4132.26 Set: 883.256 Check: 0.0 Back: 73.151
INFO - Atoms: 95256/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 3261269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.709 Prop: 4346.014 PropClause: 4252.86 Set: 900.058 Check: 0.0 Back: 75.322
INFO - Atoms: 94995/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3356007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.755 Prop: 4464.406 PropClause: 4368.926 Set: 916.901 Check: 0.0 Back: 77.486
INFO - Atoms: 94738/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 3450482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.801 Prop: 4580.07 PropClause: 4482.253 Set: 933.348 Check: 0.0 Back: 79.63
INFO - Atoms: 94475/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 3544700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.846 Prop: 4696.456 PropClause: 4596.323 Set: 955.959 Check: 0.0 Back: 81.775
INFO - Atoms: 94218/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 3638659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.895 Prop: 4816.219 PropClause: 4713.771 Set: 981.931 Check: 0.0 Back: 83.917
INFO - Atoms: 93959/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 3732359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.94 Prop: 4935.245 PropClause: 4830.485 Set: 998.759 Check: 0.0 Back: 86.069
INFO - Atoms: 93700/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 3825800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.993 Prop: 5045.97 PropClause: 4938.897 Set: 1015.147 Check: 0.0 Back: 88.216
INFO - Atoms: 93441/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 3918981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.038 Prop: 5163.539 PropClause: 5054.159 Set: 1031.662 Check: 0.0 Back: 90.343
INFO - Atoms: 93181/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 4011902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.147 Prop: 5276.96 PropClause: 5165.282 Set: 1047.927 Check: 0.0 Back: 92.462
INFO - Atoms: 92921/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 4104566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.185 Prop: 5393.144 PropClause: 5279.181 Set: 1064.451 Check: 0.0 Back: 94.583
INFO - Atoms: 92664/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 4196971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 5507.573 PropClause: 5391.329 Set: 1080.712 Check: 0.0 Back: 96.699
INFO - Atoms: 92405/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 4289117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.225 Prop: 5618.913 PropClause: 5500.399 Set: 1097.15 Check: 0.0 Back: 98.81
INFO - Atoms: 92146/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 4381004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.245 Prop: 5733.242 PropClause: 5612.463 Set: 1113.188 Check: 0.0 Back: 100.928
INFO - Atoms: 91887/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 4472634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.264 Prop: 5849.748 PropClause: 5726.701 Set: 1129.357 Check: 0.0 Back: 103.151
INFO - Atoms: 91630/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 4564003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.283 Prop: 5957.426 PropClause: 5832.123 Set: 1145.359 Check: 0.0 Back: 105.236
INFO - Atoms: 91369/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 4655115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.303 Prop: 6070.625 PropClause: 5943.065 Set: 1161.545 Check: 0.0 Back: 107.314
INFO - Atoms: 91112/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 4745966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.332 Prop: 6180.411 PropClause: 6050.622 Set: 1177.3 Check: 0.0 Back: 109.399
INFO - Atoms: 90851/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 4836558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.351 Prop: 6292.531 PropClause: 6160.505 Set: 1193.455 Check: 0.0 Back: 111.447
INFO - Atoms: 90592/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 4926891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.369 Prop: 6404.477 PropClause: 6270.211 Set: 1209.352 Check: 0.0 Back: 113.503
INFO - Atoms: 90333/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 5016967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.389 Prop: 6516.241 PropClause: 6379.745 Set: 1225.311 Check: 0.0 Back: 115.545
INFO - Atoms: 90076/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 5106780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.411 Prop: 6629.107 PropClause: 6490.402 Set: 1241.106 Check: 0.0 Back: 117.598
INFO - Atoms: 89813/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 5196336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.43 Prop: 6737.798 PropClause: 6596.875 Set: 1256.896 Check: 0.0 Back: 119.661
INFO - Atoms: 89556/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 5285631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.452 Prop: 6847.006 PropClause: 6703.863 Set: 1272.636 Check: 0.0 Back: 121.694
INFO - Atoms: 89295/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 5374668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.474 Prop: 6957.868 PropClause: 6812.528 Set: 1288.487 Check: 0.0 Back: 123.747
INFO - Atoms: 89037/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 5463447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.493 Prop: 7060.397 PropClause: 6912.891 Set: 1303.829 Check: 0.0 Back: 125.738
INFO - Atoms: 88779/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 5551966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.513 Prop: 7161.013 PropClause: 7011.306 Set: 1341.123 Check: 0.0 Back: 127.757
INFO - Atoms: 88519/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 5640227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.531 Prop: 7263.162 PropClause: 7111.283 Set: 1356.322 Check: 0.0 Back: 129.73
INFO - Atoms: 88261/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 5728229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.548 Prop: 7365.473 PropClause: 7211.425 Set: 1371.755 Check: 0.0 Back: 131.752
INFO - Atoms: 88002/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 5815970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.564 Prop: 7461.686 PropClause: 7305.489 Set: 1386.751 Check: 0.0 Back: 133.746
INFO - Atoms: 87741/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 5903453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.58 Prop: 7566.732 PropClause: 7408.388 Set: 1402.096 Check: 0.0 Back: 135.722
INFO - Atoms: 87483/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 5990678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 7667.971 PropClause: 7507.492 Set: 1417.047 Check: 0.0 Back: 137.725
INFO - Atoms: 87225/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 6077643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.613 Prop: 7768.027 PropClause: 7605.423 Set: 1431.986 Check: 0.0 Back: 139.704
INFO - Atoms: 86965/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 6164350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 7868.649 PropClause: 7703.9 Set: 1446.715 Check: 0.0 Back: 141.682
INFO - Atoms: 86707/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 6250797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.652 Prop: 7968.919 PropClause: 7802.029 Set: 1461.696 Check: 0.0 Back: 143.644
INFO - Atoms: 86447/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 6336986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.667 Prop: 8064.202 PropClause: 7895.201 Set: 1476.335 Check: 0.0 Back: 145.597
INFO - Atoms: 86189/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 6422916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.681 Prop: 8164.342 PropClause: 7993.206 Set: 1491.18 Check: 0.0 Back: 147.549
INFO - Atoms: 85930/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 6508585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.698 Prop: 8263.387 PropClause: 8090.144 Set: 1505.955 Check: 0.0 Back: 149.486
INFO - Atoms: 85669/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 6593999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.714 Prop: 8360.764 PropClause: 8185.426 Set: 1521.077 Check: 0.0 Back: 151.436
INFO - Atoms: 85414/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 6679150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.731 Prop: 8461.283 PropClause: 8283.847 Set: 1535.829 Check: 0.0 Back: 153.364
INFO - Atoms: 85151/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 6764043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.746 Prop: 8564.35 PropClause: 8384.826 Set: 1550.744 Check: 0.0 Back: 155.289
INFO - Atoms: 84893/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 6848676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 8664.602 PropClause: 8482.997 Set: 1565.556 Check: 0.0 Back: 157.216
INFO - Atoms: 84633/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 6933051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.777 Prop: 8765.314 PropClause: 8581.634 Set: 1580.518 Check: 0.0 Back: 159.138
INFO - Atoms: 84375/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 7017168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.794 Prop: 8862.747 PropClause: 8676.99 Set: 1595.001 Check: 0.0 Back: 161.058
INFO - Atoms: 84117/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 7101026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.811 Prop: 8971.726 PropClause: 8783.902 Set: 1610.159 Check: 0.0 Back: 162.966
INFO - Atoms: 83858/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 7184625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.827 Prop: 9070.671 PropClause: 8880.784 Set: 1624.722 Check: 0.0 Back: 164.879
INFO - Atoms: 83599/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 7267965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.845 Prop: 9172.934 PropClause: 8980.994 Set: 1639.458 Check: 0.0 Back: 166.802
INFO - Atoms: 83340/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 7351046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.86 Prop: 9270.486 PropClause: 9076.477 Set: 1653.742 Check: 0.0 Back: 168.701
INFO - Atoms: 83081/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 7433867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.877 Prop: 9369.003 PropClause: 9172.939 Set: 1668.354 Check: 0.0 Back: 170.593
INFO - Atoms: 82821/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 7516428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.894 Prop: 9465.279 PropClause: 9267.182 Set: 1682.604 Check: 0.0 Back: 172.493
INFO - Atoms: 82561/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 7598732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.91 Prop: 9563.33 PropClause: 9363.21 Set: 1696.952 Check: 0.0 Back: 174.373
INFO - Atoms: 82304/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 7680777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.926 Prop: 9658.55 PropClause: 9456.406 Set: 1711.007 Check: 0.0 Back: 176.256
INFO - Atoms: 82045/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 7762565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.978 Prop: 9755.572 PropClause: 9551.414 Set: 1725.324 Check: 0.0 Back: 178.127
INFO - Atoms: 81788/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 7844092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.044 Prop: 9850.338 PropClause: 9644.171 Set: 1739.485 Check: 0.0 Back: 179.976
INFO - Atoms: 81527/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 7925360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 9947.569 PropClause: 9739.399 Set: 1753.719 Check: 0.0 Back: 181.891
INFO - Atoms: 81268/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 8006367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.068 Prop: 10042.796 PropClause: 9832.628 Set: 1767.63 Check: 0.0 Back: 183.78
INFO - Atoms: 81007/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 8087117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.079 Prop: 10140.747 PropClause: 9928.583 Set: 1781.861 Check: 0.0 Back: 185.615
INFO - Atoms: 80750/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 8167606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.091 Prop: 10233.537 PropClause: 10019.395 Set: 1795.688 Check: 0.0 Back: 187.448
INFO - Atoms: 80489/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 8247840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.102 Prop: 10329.732 PropClause: 10113.611 Set: 1809.71 Check: 0.0 Back: 189.285
INFO - Atoms: 80234/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 8327813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.114 Prop: 10422.938 PropClause: 10204.849 Set: 1823.396 Check: 0.0 Back: 191.101
INFO - Atoms: 79973/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 8407529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.126 Prop: 10516.467 PropClause: 10296.411 Set: 1837.349 Check: 0.0 Back: 192.921
INFO - Atoms: 79716/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 8486984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.137 Prop: 10607.81 PropClause: 10385.804 Set: 1851.092 Check: 0.0 Back: 194.73
INFO - Atoms: 79455/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 8566182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.149 Prop: 10698.885 PropClause: 10474.932 Set: 1864.894 Check: 0.0 Back: 196.524
INFO - Atoms: 79198/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 8645119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 10788.892 PropClause: 10562.992 Set: 1878.571 Check: 0.0 Back: 198.333
INFO - Atoms: 78937/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 8723799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.171 Prop: 10876.47 PropClause: 10648.622 Set: 1892.149 Check: 0.0 Back: 200.134
INFO - Atoms: 78680/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 8802216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.183 Prop: 10963.969 PropClause: 10734.195 Set: 1905.5 Check: 0.0 Back: 201.921
INFO - Atoms: 78417/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 8880375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.195 Prop: 11051.659 PropClause: 10819.969 Set: 1918.932 Check: 0.0 Back: 203.694
INFO - Atoms: 78159/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 8958274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.207 Prop: 11136.649 PropClause: 10903.041 Set: 1932.158 Check: 0.0 Back: 205.474
INFO - Atoms: 77899/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 9035915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.219 Prop: 11217.9 PropClause: 10982.397 Set: 1945.426 Check: 0.0 Back: 207.254
INFO - Atoms: 77641/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 9113296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.232 Prop: 11303.7 PropClause: 11066.301 Set: 1958.507 Check: 0.0 Back: 209.004
INFO - Atoms: 77381/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 9190420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.245 Prop: 11389.782 PropClause: 11150.502 Set: 1971.734 Check: 0.0 Back: 210.755
INFO - Atoms: 77124/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 9267285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.257 Prop: 11468.201 PropClause: 11227.045 Set: 1984.68 Check: 0.0 Back: 212.52
INFO - Atoms: 76865/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 9343893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.269 Prop: 11554.745 PropClause: 11311.713 Set: 1997.844 Check: 0.0 Back: 214.256
INFO - Atoms: 76608/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 9420240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.28 Prop: 11638.856 PropClause: 11393.93 Set: 2011.088 Check: 0.0 Back: 216.002
INFO - Atoms: 76347/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 9496328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.292 Prop: 11715.845 PropClause: 11469.04 Set: 2024.134 Check: 0.0 Back: 217.802
INFO - Atoms: 76088/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 9572155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.304 Prop: 11801.541 PropClause: 11552.879 Set: 2037.109 Check: 0.0 Back: 219.595
INFO - Atoms: 75827/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 9647725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.316 Prop: 11882.339 PropClause: 11631.83 Set: 2049.971 Check: 0.0 Back: 221.309
INFO - Atoms: 75570/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 9723036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.325 Prop: 11960.805 PropClause: 11708.457 Set: 2062.544 Check: 0.0 Back: 223.011
INFO - Atoms: 75311/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 9798090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.338 Prop: 12049.046 PropClause: 11794.858 Set: 2075.586 Check: 0.0 Back: 224.703
INFO - Atoms: 75054/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 9872883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.349 Prop: 12130.936 PropClause: 11874.912 Set: 2088.314 Check: 0.0 Back: 226.392
INFO - Atoms: 74793/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 9947419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.362 Prop: 12213.28 PropClause: 11955.407 Set: 2101.508 Check: 0.0 Back: 228.08
INFO - Atoms: 74536/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 10021694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.375 Prop: 12297.447 PropClause: 12037.47 Set: 2116.219 Check: 0.0 Back: 229.979
INFO - Atoms: 74275/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 10095709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.386 Prop: 12379.048 PropClause: 12117.252 Set: 2128.942 Check: 0.0 Back: 231.701
INFO - Atoms: 74015/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 10169466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.397 Prop: 12460.2 PropClause: 12196.589 Set: 2141.506 Check: 0.0 Back: 233.377
INFO - Atoms: 73757/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 10242964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.41 Prop: 12543.785 PropClause: 12278.342 Set: 2184.678 Check: 0.0 Back: 235.055
INFO - Atoms: 73498/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 10316203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.421 Prop: 12622.301 PropClause: 12355.053 Set: 2197.145 Check: 0.0 Back: 236.718
INFO - Atoms: 73239/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 10389182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 12703.455 PropClause: 12434.42 Set: 2209.706 Check: 0.0 Back: 238.391
INFO - Atoms: 72979/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 10461901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.443 Prop: 12784.259 PropClause: 12513.435 Set: 2222.017 Check: 0.0 Back: 240.039
INFO - Atoms: 72719/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 10534363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.453 Prop: 12866.198 PropClause: 12593.589 Set: 2234.739 Check: 0.0 Back: 241.695
INFO - Atoms: 72462/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 10606566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.464 Prop: 12943.541 PropClause: 12669.147 Set: 2247.111 Check: 0.0 Back: 243.349
INFO - Atoms: 72203/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 10678509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.475 Prop: 13016.279 PropClause: 12740.102 Set: 2259.515 Check: 0.0 Back: 244.998
INFO - Atoms: 71943/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 10750192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.487 Prop: 13095.394 PropClause: 12817.455 Set: 2271.804 Check: 0.0 Back: 246.642
INFO - Atoms: 71683/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 10821617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.498 Prop: 13172.971 PropClause: 12893.273 Set: 2284.164 Check: 0.0 Back: 248.279
INFO - Atoms: 71425/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 10892782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.511 Prop: 13248.935 PropClause: 12967.48 Set: 2296.443 Check: 0.0 Back: 249.891
INFO - Atoms: 71165/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 10963690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.522 Prop: 13327.593 PropClause: 13044.404 Set: 2308.658 Check: 0.0 Back: 251.506
INFO - Atoms: 70908/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 11034337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 13401.116 PropClause: 13116.185 Set: 2320.687 Check: 0.0 Back: 253.106
INFO - Atoms: 70647/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 11104727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.546 Prop: 13477.336 PropClause: 13190.631 Set: 2332.859 Check: 0.0 Back: 254.729
INFO - Atoms: 70390/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 11174858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.558 Prop: 13549.615 PropClause: 13261.176 Set: 2344.954 Check: 0.0 Back: 256.323
INFO - Atoms: 70131/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 11244729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.571 Prop: 13626.889 PropClause: 13336.729 Set: 2357.044 Check: 0.0 Back: 257.967
INFO - Atoms: 69871/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 11314342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.583 Prop: 13701.529 PropClause: 13409.663 Set: 2368.833 Check: 0.0 Back: 259.556
INFO - Atoms: 69613/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 11383696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.594 Prop: 13772.285 PropClause: 13478.713 Set: 2380.732 Check: 0.0 Back: 261.135
INFO - Atoms: 69354/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 11452789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.606 Prop: 13848.468 PropClause: 13553.191 Set: 2392.655 Check: 0.0 Back: 262.711
INFO - Atoms: 69093/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 11521625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.619 Prop: 13920.969 PropClause: 13623.999 Set: 2404.449 Check: 0.0 Back: 264.29
INFO - Atoms: 68836/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 11590202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 13994.138 PropClause: 13695.477 Set: 2416.354 Check: 0.0 Back: 265.852
INFO - Atoms: 68577/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 11658519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.643 Prop: 14061.847 PropClause: 13761.501 Set: 2428.126 Check: 0.0 Back: 267.416
INFO - Atoms: 68317/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 11726578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.654 Prop: 14132.988 PropClause: 13830.966 Set: 2439.698 Check: 0.0 Back: 268.962
INFO - Atoms: 68059/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 11794380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.664 Prop: 14204.371 PropClause: 13900.676 Set: 2451.428 Check: 0.0 Back: 270.506
INFO - Atoms: 67802/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 11861921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.674 Prop: 14267.582 PropClause: 13962.227 Set: 2462.776 Check: 0.0 Back: 272.033
INFO - Atoms: 67541/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 11929202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.685 Prop: 14339.027 PropClause: 14032.027 Set: 2474.176 Check: 0.0 Back: 273.569
INFO - Atoms: 67281/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 11996223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.695 Prop: 14407.031 PropClause: 14098.379 Set: 2485.474 Check: 0.0 Back: 275.086
INFO - Atoms: 67021/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 12062987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.707 Prop: 14475.268 PropClause: 14164.991 Set: 2496.657 Check: 0.0 Back: 276.597
INFO - Atoms: 66764/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 12129492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.719 Prop: 14538.206 PropClause: 14226.3 Set: 2507.722 Check: 0.0 Back: 278.088
INFO - Atoms: 66505/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 12195740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.733 Prop: 14605.628 PropClause: 14292.099 Set: 2518.824 Check: 0.0 Back: 279.594
INFO - Atoms: 66248/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 12261727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.743 Prop: 14670.168 PropClause: 14355.025 Set: 2529.923 Check: 0.0 Back: 281.089
INFO - Atoms: 65987/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 12327457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.753 Prop: 14732.187 PropClause: 14415.44 Set: 2540.799 Check: 0.0 Back: 282.573
INFO - Atoms: 65730/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 12392924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.764 Prop: 14795.726 PropClause: 14477.383 Set: 2551.7 Check: 0.0 Back: 284.045
INFO - Atoms: 65467/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 12458136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.776 Prop: 14858.688 PropClause: 14538.757 Set: 2562.612 Check: 0.0 Back: 285.504
INFO - Atoms: 65212/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 12523085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.787 Prop: 14921.109 PropClause: 14599.583 Set: 2573.361 Check: 0.0 Back: 286.967
INFO - Atoms: 64949/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 12587779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.797 Prop: 14980.9 PropClause: 14657.795 Set: 2584.136 Check: 0.0 Back: 288.419
INFO - Atoms: 64694/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 12652210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.808 Prop: 15042.045 PropClause: 14717.359 Set: 2594.841 Check: 0.0 Back: 289.881
INFO - Atoms: 64431/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 12716383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.819 Prop: 15102.609 PropClause: 14776.349 Set: 2605.546 Check: 0.0 Back: 291.346
INFO - Atoms: 64173/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 12780296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.83 Prop: 15163.321 PropClause: 14835.507 Set: 2615.996 Check: 0.0 Back: 292.789
INFO - Atoms: 63913/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 12843951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.842 Prop: 15226.686 PropClause: 14897.316 Set: 2626.676 Check: 0.0 Back: 294.213
INFO - Atoms: 63655/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 12907346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.853 Prop: 15288.356 PropClause: 14957.414 Set: 2637.014 Check: 0.0 Back: 295.638
INFO - Atoms: 63395/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 12970484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.867 Prop: 15352.2 PropClause: 15019.486 Set: 2649.159 Check: 0.0 Back: 297.07
INFO - Atoms: 63138/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 13033363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.878 Prop: 15407.818 PropClause: 15073.56 Set: 2659.456 Check: 0.0 Back: 298.535
INFO - Atoms: 62879/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 13095982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.891 Prop: 15467.872 PropClause: 15132.081 Set: 2669.941 Check: 0.0 Back: 299.945
INFO - Atoms: 62619/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 13158343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.908 Prop: 15525.774 PropClause: 15188.461 Set: 2680.221 Check: 0.0 Back: 301.345
INFO - Atoms: 62361/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 13220447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.918 Prop: 15584.527 PropClause: 15245.675 Set: 2690.617 Check: 0.0 Back: 302.754
INFO - Atoms: 62104/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 13282290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 15638.127 PropClause: 15297.759 Set: 2700.816 Check: 0.0 Back: 304.154
INFO - Atoms: 61843/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 13343874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.944 Prop: 15698.707 PropClause: 15356.826 Set: 2711.27 Check: 0.0 Back: 305.553
INFO - Atoms: 61584/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 13405199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.955 Prop: 15756.945 PropClause: 15413.554 Set: 2721.491 Check: 0.0 Back: 306.939
INFO - Atoms: 61325/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 13466264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.965 Prop: 15815.399 PropClause: 15470.503 Set: 2731.758 Check: 0.0 Back: 308.325
INFO - Atoms: 61065/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 13527071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.976 Prop: 15867.665 PropClause: 15521.274 Set: 2741.748 Check: 0.0 Back: 309.698
INFO - Atoms: 60807/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 13587618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.988 Prop: 15927.047 PropClause: 15579.166 Set: 2752.027 Check: 0.0 Back: 311.074
INFO - Atoms: 60547/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 13647907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.0 Prop: 15981.447 PropClause: 15632.083 Set: 2761.99 Check: 0.0 Back: 312.479
INFO - Atoms: 60289/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 13707939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.014 Prop: 16040.928 PropClause: 15690.07 Set: 2772.34 Check: 0.0 Back: 313.846
INFO - Atoms: 60032/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 13767710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.023 Prop: 16093.191 PropClause: 15740.851 Set: 2782.299 Check: 0.0 Back: 315.22
INFO - Atoms: 59771/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 13827222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.035 Prop: 16150.791 PropClause: 15796.987 Set: 2792.301 Check: 0.0 Back: 316.588
INFO - Atoms: 59512/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 13886473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.046 Prop: 16206.982 PropClause: 15851.72 Set: 2802.096 Check: 0.0 Back: 317.935
INFO - Atoms: 59251/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 13945466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.059 Prop: 16263.204 PropClause: 15906.488 Set: 2812.221 Check: 0.0 Back: 319.287
INFO - Atoms: 58993/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 14004199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 16313.667 PropClause: 15955.498 Set: 2821.935 Check: 0.0 Back: 320.622
INFO - Atoms: 58733/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 14062674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.082 Prop: 16368.607 PropClause: 16009.005 Set: 2831.755 Check: 0.0 Back: 321.95
INFO - Atoms: 58475/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 14120889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.092 Prop: 16418.455 PropClause: 16057.426 Set: 2841.328 Check: 0.0 Back: 323.271
INFO - Atoms: 58215/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 14178849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.103 Prop: 16471.959 PropClause: 16109.51 Set: 2851.024 Check: 0.0 Back: 324.592
INFO - Atoms: 57960/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 14236546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.114 Prop: 16524.266 PropClause: 16160.391 Set: 2860.719 Check: 0.0 Back: 325.909
INFO - Atoms: 57697/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 14293986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.126 Prop: 16582.496 PropClause: 16217.201 Set: 2870.511 Check: 0.0 Back: 327.22
INFO - Atoms: 57440/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 14351165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.138 Prop: 16630.847 PropClause: 16264.139 Set: 2879.983 Check: 0.0 Back: 328.534
INFO - Atoms: 57179/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 14408086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.149 Prop: 16682.48 PropClause: 16314.374 Set: 2889.503 Check: 0.0 Back: 329.834
INFO - Atoms: 56921/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 14464749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 16730.622 PropClause: 16361.11 Set: 2898.766 Check: 0.0 Back: 331.136
INFO - Atoms: 56663/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 14521152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 16783.387 PropClause: 16412.484 Set: 2908.279 Check: 0.0 Back: 332.422
INFO - Atoms: 56403/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 14577297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.179 Prop: 16830.069 PropClause: 16457.782 Set: 2917.504 Check: 0.0 Back: 333.71
INFO - Atoms: 56145/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 14633183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.189 Prop: 16881.124 PropClause: 16507.445 Set: 2926.822 Check: 0.0 Back: 334.982
INFO - Atoms: 55886/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 14688808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 16931.045 PropClause: 16555.996 Set: 2936.025 Check: 0.0 Back: 336.247
INFO - Atoms: 55625/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 14744175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 16978.503 PropClause: 16602.087 Set: 2945.213 Check: 0.0 Back: 337.521
INFO - Atoms: 55367/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 14799284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.221 Prop: 17025.383 PropClause: 16647.599 Set: 2954.283 Check: 0.0 Back: 338.772
INFO - Atoms: 55109/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 14854136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 17072.929 PropClause: 16693.782 Set: 2963.379 Check: 0.0 Back: 340.022
INFO - Atoms: 54852/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 14908725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 17114.135 PropClause: 16733.645 Set: 2972.238 Check: 0.0 Back: 341.262
INFO - Atoms: 54589/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 14963057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.254 Prop: 17160.774 PropClause: 16778.948 Set: 2981.01 Check: 0.0 Back: 342.499
INFO - Atoms: 54332/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 15017130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.265 Prop: 17207.402 PropClause: 16824.247 Set: 2990.073 Check: 0.0 Back: 343.729
INFO - Atoms: 54073/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 15070946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.276 Prop: 17252.223 PropClause: 16867.741 Set: 2998.865 Check: 0.0 Back: 344.956
INFO - Atoms: 53816/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 15124499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.317 Prop: 17293.129 PropClause: 16907.331 Set: 3007.449 Check: 0.0 Back: 346.182
INFO - Atoms: 53553/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 15176522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.358 Prop: 17336.817 PropClause: 16949.731 Set: 3015.862 Check: 0.0 Back: 347.388
INFO - Atoms: 52023/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 15228286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 17375.326 PropClause: 16986.976 Set: 3023.887 Check: 0.0 Back: 348.551
INFO - Atoms: 51764/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 15279791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.378 Prop: 17414.774 PropClause: 17025.161 Set: 3032.057 Check: 0.0 Back: 349.712
INFO - Atoms: 51505/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 15329762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.39 Prop: 17454.721 PropClause: 17063.858 Set: 3040.32 Check: 0.0 Back: 350.891
INFO - Atoms: 49971/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 15379476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.401 Prop: 17490.847 PropClause: 17098.759 Set: 3048.049 Check: 0.0 Back: 352.036
INFO - Atoms: 49714/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 15428929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 17528.555 PropClause: 17135.247 Set: 3055.735 Check: 0.0 Back: 353.162
INFO - Atoms: 49453/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 15478127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.422 Prop: 17563.323 PropClause: 17168.803 Set: 3063.273 Check: 0.0 Back: 354.286
INFO - Atoms: 49198/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 15527062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.433 Prop: 17600.745 PropClause: 17205.018 Set: 3070.872 Check: 0.0 Back: 355.405
INFO - Atoms: 48935/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 15575742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 17635.531 PropClause: 17238.614 Set: 3078.285 Check: 0.0 Back: 356.517
INFO - Atoms: 48680/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 15624161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.451 Prop: 17669.971 PropClause: 17271.868 Set: 3085.673 Check: 0.0 Back: 357.615
INFO - Atoms: 48419/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 15672321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.461 Prop: 17707.181 PropClause: 17307.902 Set: 3093.175 Check: 0.0 Back: 358.705
INFO - Atoms: 48160/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 15720222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.473 Prop: 17740.304 PropClause: 17339.851 Set: 3100.496 Check: 0.0 Back: 359.788
INFO - Atoms: 47901/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 15767866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.485 Prop: 17774.819 PropClause: 17373.204 Set: 3107.743 Check: 0.0 Back: 360.864
INFO - Atoms: 47644/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 15815247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 17807.077 PropClause: 17404.299 Set: 3115.029 Check: 0.0 Back: 361.935
INFO - Atoms: 47381/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 15862371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.504 Prop: 17839.391 PropClause: 17435.457 Set: 3122.252 Check: 0.0 Back: 363.001
INFO - Atoms: 47124/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 15909236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.517 Prop: 17872.909 PropClause: 17467.829 Set: 3129.413 Check: 0.0 Back: 364.06
INFO - Atoms: 46865/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 15955844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.528 Prop: 17905.274 PropClause: 17499.057 Set: 3136.503 Check: 0.0 Back: 365.132
INFO - Atoms: 46608/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 16002191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.537 Prop: 17934.122 PropClause: 17526.773 Set: 3143.483 Check: 0.0 Back: 366.178
INFO - Atoms: 46347/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 16048279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.547 Prop: 17965.524 PropClause: 17557.05 Set: 3150.409 Check: 0.0 Back: 367.22
INFO - Atoms: 46088/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 16094106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.559 Prop: 17997.97 PropClause: 17588.365 Set: 3157.353 Check: 0.0 Back: 368.257
INFO - Atoms: 45827/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 16139676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.568 Prop: 18026.571 PropClause: 17615.848 Set: 3164.161 Check: 0.0 Back: 369.281
INFO - Atoms: 45570/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 16184987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.578 Prop: 18056.709 PropClause: 17644.876 Set: 3170.95 Check: 0.0 Back: 370.304
INFO - Atoms: 45311/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 16230039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.586 Prop: 18084.437 PropClause: 17671.495 Set: 3177.747 Check: 0.0 Back: 371.322
INFO - Atoms: 45052/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 16274830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.595 Prop: 18114.524 PropClause: 17700.49 Set: 3184.524 Check: 0.0 Back: 372.339
INFO - Atoms: 44791/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 16319364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.605 Prop: 18144.828 PropClause: 17729.701 Set: 3191.219 Check: 0.0 Back: 373.354
INFO - Atoms: 44534/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 16363639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 18173.595 PropClause: 17757.363 Set: 3197.838 Check: 0.0 Back: 374.359
INFO - Atoms: 44275/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 16407655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.627 Prop: 18201.888 PropClause: 17784.572 Set: 3204.472 Check: 0.0 Back: 375.359
INFO - Atoms: 44016/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 16451412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.637 Prop: 18227.982 PropClause: 17809.59 Set: 3211.014 Check: 0.0 Back: 376.353
INFO - Atoms: 43757/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 16494912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.648 Prop: 18255.381 PropClause: 17835.918 Set: 3217.552 Check: 0.0 Back: 377.339
INFO - Atoms: 43500/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 16538149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.659 Prop: 18284.31 PropClause: 17863.784 Set: 3224.076 Check: 0.0 Back: 378.322
INFO - Atoms: 43237/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 16581129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 18310.769 PropClause: 17889.189 Set: 3230.528 Check: 0.0 Back: 379.296
INFO - Atoms: 42980/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 16623850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.682 Prop: 18337.666 PropClause: 17915.038 Set: 3236.864 Check: 0.0 Back: 380.306
INFO - Atoms: 42721/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 16666312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.692 Prop: 18362.448 PropClause: 17938.777 Set: 3243.256 Check: 0.0 Back: 381.27
INFO - Atoms: 42462/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 16708515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.702 Prop: 18388.273 PropClause: 17963.564 Set: 3249.54 Check: 0.0 Back: 382.23
INFO - Atoms: 42203/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 16750461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.713 Prop: 18415.62 PropClause: 17989.876 Set: 3255.842 Check: 0.0 Back: 383.186
INFO - Atoms: 41946/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 16792144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.723 Prop: 18440.074 PropClause: 18013.296 Set: 3262.015 Check: 0.0 Back: 384.133
INFO - Atoms: 41683/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 16833570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.735 Prop: 18465.086 PropClause: 18037.286 Set: 3268.174 Check: 0.0 Back: 385.075
INFO - Atoms: 41426/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 16874737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.745 Prop: 18487.681 PropClause: 18058.865 Set: 3274.29 Check: 0.0 Back: 386.015
INFO - Atoms: 41167/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 16915645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.754 Prop: 18511.53 PropClause: 18081.704 Set: 3280.31 Check: 0.0 Back: 386.947
INFO - Atoms: 40908/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 16956294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.764 Prop: 18536.116 PropClause: 18105.291 Set: 3286.355 Check: 0.0 Back: 387.872
INFO - Atoms: 40649/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 16996686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.775 Prop: 18559.879 PropClause: 18128.058 Set: 3292.348 Check: 0.0 Back: 388.788
INFO - Atoms: 40392/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 17036817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.786 Prop: 18583.394 PropClause: 18150.588 Set: 3298.257 Check: 0.0 Back: 389.707
INFO - Atoms: 40131/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 17076691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.797 Prop: 18606.885 PropClause: 18173.097 Set: 3304.153 Check: 0.0 Back: 390.619
INFO - Atoms: 39874/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 17116302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.806 Prop: 18628.896 PropClause: 18194.132 Set: 3309.945 Check: 0.0 Back: 391.517
INFO - Atoms: 39611/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 17155656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.818 Prop: 18651.293 PropClause: 18215.557 Set: 3315.707 Check: 0.0 Back: 392.413
INFO - Atoms: 39354/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 17194751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.827 Prop: 18674.168 PropClause: 18237.474 Set: 3321.455 Check: 0.0 Back: 393.299
INFO - Atoms: 39095/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 17233587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 18695.37 PropClause: 18257.723 Set: 3327.136 Check: 0.0 Back: 394.181
INFO - Atoms: 38836/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 17272164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.845 Prop: 18717.062 PropClause: 18278.46 Set: 3332.784 Check: 0.0 Back: 395.056
INFO - Atoms: 38577/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 17310484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.855 Prop: 18738.816 PropClause: 18299.268 Set: 3338.392 Check: 0.0 Back: 395.941
INFO - Atoms: 38320/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 17348543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.867 Prop: 18759.541 PropClause: 18319.055 Set: 3343.939 Check: 0.0 Back: 396.807
INFO - Atoms: 38059/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 17386345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.876 Prop: 18780.084 PropClause: 18338.663 Set: 3349.436 Check: 0.0 Back: 397.67
INFO - Atoms: 37802/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 17423884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.888 Prop: 18801.29 PropClause: 18358.94 Set: 3354.9 Check: 0.0 Back: 398.538
INFO - Atoms: 37539/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 17461166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.901 Prop: 18822.534 PropClause: 18379.233 Set: 3360.362 Check: 0.0 Back: 399.384
INFO - Atoms: 37282/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 17498189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.911 Prop: 18842.784 PropClause: 18398.561 Set: 3365.753 Check: 0.0 Back: 400.236
INFO - Atoms: 37023/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 17534953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.921 Prop: 18862.33 PropClause: 18417.204 Set: 3371.074 Check: 0.0 Back: 401.076
INFO - Atoms: 36764/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 17570825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 18881.785 PropClause: 18435.773 Set: 3376.172 Check: 0.0 Back: 401.919
INFO - Atoms: 35872/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 17606440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 18899.738 PropClause: 18452.846 Set: 3381.249 Check: 0.0 Back: 402.731
INFO - Atoms: 35615/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 17641796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 18917.956 PropClause: 18470.192 Set: 3386.272 Check: 0.0 Back: 403.537
INFO - Atoms: 35356/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 17676895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.966 Prop: 18935.582 PropClause: 18486.952 Set: 3391.281 Check: 0.0 Back: 404.338
INFO - Atoms: 35099/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 17711733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.975 Prop: 18952.515 PropClause: 18503.022 Set: 3396.197 Check: 0.0 Back: 405.145
INFO - Atoms: 34838/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 17746314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 18969.991 PropClause: 18519.632 Set: 3401.057 Check: 0.0 Back: 405.931
INFO - Atoms: 34581/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 17780634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.996 Prop: 18987.313 PropClause: 18536.104 Set: 3405.866 Check: 0.0 Back: 406.713
INFO - Atoms: 34320/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 17814695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.01 Prop: 19004.165 PropClause: 18552.064 Set: 3410.594 Check: 0.0 Back: 407.493
INFO - Atoms: 34061/101886 Clauses: 785 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 756 Props: 22042040 Tprops: 0 Decides: 22010 RSplits: 0
INFO - Times: Expl: 2825.244 Prop: 23009.844 PropClause: 22439.563 Set: 3519.348 Check: 0.526 Back: 509.401
INFO - Atoms: 33231/101886 Clauses: 1284 Axioms: 338882
INFO - Restart
INFO - Confl: 1256 Props: 22601900 Tprops: 0 Decides: 23984 RSplits: 0
INFO - Times: Expl: 3097.82 Prop: 23326.776 PropClause: 22739.472 Set: 3533.416 Check: 0.578 Back: 523.208
INFO - Atoms: 33232/101886 Clauses: 1784 Axioms: 338882
INFO - Confl: 2170 Props: 23428523 Tprops: 0 Decides: 27591 RSplits: 0
INFO - Times: Expl: 3561.602 Prop: 23777.883 PropClause: 23165.917 Set: 3554.118 Check: 0.674 Back: 543.484
INFO - Atoms: 34319/101886 Clauses: 2698 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2670 Props: 28000244 Tprops: 0 Decides: 52176 RSplits: 0
INFO - Times: Expl: 6219.356 Prop: 28075.211 PropClause: 27336.464 Set: 3670.108 Check: 1.248 Back: 651.923
INFO - Atoms: 33231/101886 Clauses: 1284 Axioms: 338882
INFO - Restart
INFO - Confl: 3170 Props: 28794479 Tprops: 0 Decides: 56067 RSplits: 0
INFO - Times: Expl: 6622.01 Prop: 28732.0 PropClause: 27968.902 Set: 3690.241 Check: 1.347 Back: 671.574
INFO - Atoms: 33242/101886 Clauses: 1784 Axioms: 338882
INFO - Confl: 3207 Props: 28844399 Tprops: 0 Decides: 56281 RSplits: 0
INFO - Times: Expl: 6656.588 Prop: 28755.195 PropClause: 27990.749 Set: 3691.43 Check: 1.353 Back: 672.715
INFO - Atoms: 33259/101886 Clauses: 1821 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3707 Props: 31240269 Tprops: 0 Decides: 79223 RSplits: 0
INFO - Times: Expl: 8199.976 Prop: 30817.828 PropClause: 29981.458 Set: 3755.782 Check: 1.914 Back: 728.605
INFO - Atoms: 33228/101886 Clauses: 1284 Axioms: 338882
INFO - Restart
INFO - Confl: 4207 Props: 32752750 Tprops: 0 Decides: 87848 RSplits: 0
INFO - Times: Expl: 8732.887 Prop: 31986.001 PropClause: 31107.545 Set: 3792.064 Check: 2.12 Back: 763.581
INFO - Atoms: 33233/101886 Clauses: 1784 Axioms: 338882
INFO - Confl: 4719 Props: 33392674 Tprops: 0 Decides: 90713 RSplits: 0
INFO - Times: Expl: 8923.411 Prop: 32304.791 PropClause: 31409.308 Set: 3807.09 Check: 2.188 Back: 778.263
INFO - Atoms: 33240/101886 Clauses: 2296 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5219 Props: 37779211 Tprops: 0 Decides: 117145 RSplits: 0
INFO - Times: Expl: 10969.473 Prop: 36399.539 PropClause: 35379.421 Set: 3919.703 Check: 2.806 Back: 879.19
INFO - Atoms: 33232/101886 Clauses: 1498 Axioms: 338882
INFO - Restart
INFO - Confl: 5719 Props: 38656358 Tprops: 0 Decides: 120778 RSplits: 0
INFO - Times: Expl: 11239.828 Prop: 36877.333 PropClause: 35833.867 Set: 3940.674 Check: 2.897 Back: 899.369
INFO - Atoms: 33263/101886 Clauses: 1998 Axioms: 338882
INFO - Confl: 5744 Props: 38677853 Tprops: 0 Decides: 120837 RSplits: 0
INFO - Times: Expl: 11253.461 Prop: 36884.936 PropClause: 35840.911 Set: 3941.246 Check: 2.898 Back: 899.864
INFO - Atoms: 33714/101886 Clauses: 2023 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 6244 Props: 42273407 Tprops: 0 Decides: 140105 RSplits: 0
INFO - Times: Expl: 12991.639 Prop: 40188.033 PropClause: 39040.416 Set: 4033.279 Check: 3.364 Back: 984.104
INFO - Atoms: 33232/101886 Clauses: 1498 Axioms: 338882
INFO - Restart
INFO - Confl: 6744 Props: 43020083 Tprops: 0 Decides: 143137 RSplits: 0
INFO - Times: Expl: 13253.008 Prop: 40644.542 PropClause: 39475.515 Set: 4051.582 Check: 3.441 Back: 1002.047
INFO - Atoms: 33234/101886 Clauses: 1998 Axioms: 338882
INFO - Confl: 6771 Props: 43046249 Tprops: 0 Decides: 143214 RSplits: 0
INFO - Times: Expl: 13264.951 Prop: 40657.803 PropClause: 39488.086 Set: 4052.373 Check: 3.444 Back: 1002.622
INFO - Atoms: 34110/101886 Clauses: 2025 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 7271 Props: 48302069 Tprops: 0 Decides: 174247 RSplits: 0
INFO - Times: Expl: 15411.818 Prop: 45518.577 PropClause: 44201.389 Set: 4185.132 Check: 4.164 Back: 1123.501
INFO - Atoms: 33232/101886 Clauses: 1498 Axioms: 338882
INFO - Restart
INFO - Confl: 7771 Props: 49006054 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.42 Prop: 45919.666 PropClause: 44583.755 Set: 4201.721 Check: 4.233 Back: 1139.667
INFO - Atoms: 33234/101886 Clauses: 1998 Axioms: 338882
INFO - Confl: 7772 Props: 49006597 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.424 Prop: 45920.4 PropClause: 44584.475 Set: 4201.836 Check: 4.233 Back: 1139.667
INFO - Atoms: 33777/101886 Clauses: 1999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7773 Props: 49045143 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.479 Prop: 45984.714 PropClause: 44647.532 Set: 4227.915 Check: 4.233 Back: 1140.432
INFO - Atoms: 38546/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7774 Props: 49083949 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.516 Prop: 46009.038 PropClause: 44670.89 Set: 4234.353 Check: 4.233 Back: 1141.419
INFO - Atoms: 38806/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7775 Props: 49123160 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.552 Prop: 46032.764 PropClause: 44693.649 Set: 4240.836 Check: 4.233 Back: 1142.309
INFO - Atoms: 39211/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7776 Props: 49161589 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.587 Prop: 46058.192 PropClause: 44718.131 Set: 4247.133 Check: 4.233 Back: 1143.197
INFO - Atoms: 38429/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7777 Props: 49200277 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.631 Prop: 46082.139 PropClause: 44741.119 Set: 4253.574 Check: 4.233 Back: 1144.076
INFO - Atoms: 38688/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7778 Props: 49239224 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.759 Prop: 46105.986 PropClause: 44764.008 Set: 4259.972 Check: 4.233 Back: 1144.972
INFO - Atoms: 38947/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7779 Props: 49278683 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.77 Prop: 46130.512 PropClause: 44787.568 Set: 4266.475 Check: 4.233 Back: 1145.852
INFO - Atoms: 39459/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7780 Props: 49318149 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.78 Prop: 46156.048 PropClause: 44812.138 Set: 4272.968 Check: 4.233 Back: 1146.741
INFO - Atoms: 39466/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7781 Props: 49358126 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.792 Prop: 46181.59 PropClause: 44836.68 Set: 4279.669 Check: 4.233 Back: 1147.635
INFO - Atoms: 39977/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7782 Props: 49398111 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.804 Prop: 46208.186 PropClause: 44862.279 Set: 4286.24 Check: 4.233 Back: 1148.556
INFO - Atoms: 39985/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7783 Props: 49438354 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.814 Prop: 46235.987 PropClause: 44889.088 Set: 4292.999 Check: 4.233 Back: 1149.457
INFO - Atoms: 40243/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7784 Props: 49478856 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.825 Prop: 46262.249 PropClause: 44914.346 Set: 4299.694 Check: 4.233 Back: 1150.374
INFO - Atoms: 40502/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7785 Props: 49519616 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.835 Prop: 46289.518 PropClause: 44940.605 Set: 4306.529 Check: 4.233 Back: 1151.31
INFO - Atoms: 40760/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7786 Props: 49560651 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.846 Prop: 46316.761 PropClause: 44966.823 Set: 4313.433 Check: 4.233 Back: 1152.233
INFO - Atoms: 41035/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7787 Props: 49602182 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.856 Prop: 46343.867 PropClause: 44992.901 Set: 4320.391 Check: 4.233 Back: 1153.19
INFO - Atoms: 41531/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7788 Props: 49643721 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.866 Prop: 46373.738 PropClause: 45021.696 Set: 4327.633 Check: 4.233 Back: 1154.135
INFO - Atoms: 41539/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7789 Props: 49685517 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.878 Prop: 46401.689 PropClause: 45048.615 Set: 4334.616 Check: 4.233 Back: 1155.1
INFO - Atoms: 41796/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7790 Props: 49727572 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.888 Prop: 46427.444 PropClause: 45073.322 Set: 4341.658 Check: 4.233 Back: 1156.045
INFO - Atoms: 42055/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7791 Props: 49769887 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.899 Prop: 46455.111 PropClause: 45099.944 Set: 4348.739 Check: 4.233 Back: 1156.999
INFO - Atoms: 42315/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7792 Props: 49812461 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.908 Prop: 46483.29 PropClause: 45127.067 Set: 4355.885 Check: 4.233 Back: 1157.969
INFO - Atoms: 42574/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7793 Props: 49855301 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.921 Prop: 46516.359 PropClause: 45158.897 Set: 4365.381 Check: 4.233 Back: 1158.925
INFO - Atoms: 42840/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7794 Props: 49898393 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.932 Prop: 46554.479 PropClause: 45195.741 Set: 4375.194 Check: 4.233 Back: 1160.021
INFO - Atoms: 43092/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7795 Props: 49941753 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.942 Prop: 46584.592 PropClause: 45224.767 Set: 4382.525 Check: 4.233 Back: 1161.14
INFO - Atoms: 43360/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7796 Props: 49985362 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.953 Prop: 46613.846 PropClause: 45252.944 Set: 4389.885 Check: 4.233 Back: 1162.139
INFO - Atoms: 43609/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7797 Props: 50029230 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.964 Prop: 46647.587 PropClause: 45285.589 Set: 4397.45 Check: 4.233 Back: 1163.141
INFO - Atoms: 43868/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7798 Props: 50073610 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.976 Prop: 46678.22 PropClause: 45315.13 Set: 4404.999 Check: 4.233 Back: 1164.128
INFO - Atoms: 44380/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7799 Props: 50117998 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.987 Prop: 46706.954 PropClause: 45342.761 Set: 4412.613 Check: 4.233 Back: 1165.135
INFO - Atoms: 44388/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7800 Props: 50162643 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15653.997 Prop: 46739.045 PropClause: 45373.745 Set: 4420.116 Check: 4.233 Back: 1166.147
INFO - Atoms: 44645/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7801 Props: 50207548 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.007 Prop: 46769.315 PropClause: 45402.918 Set: 4427.675 Check: 4.233 Back: 1167.153
INFO - Atoms: 44905/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7802 Props: 50252737 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.017 Prop: 46802.272 PropClause: 45434.761 Set: 4435.36 Check: 4.233 Back: 1168.159
INFO - Atoms: 45189/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7803 Props: 50298159 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.026 Prop: 46834.557 PropClause: 45465.937 Set: 4443.047 Check: 4.233 Back: 1169.181
INFO - Atoms: 45422/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7804 Props: 50343840 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.037 Prop: 46869.385 PropClause: 45499.634 Set: 4450.816 Check: 4.233 Back: 1170.201
INFO - Atoms: 45681/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7805 Props: 50389781 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.045 Prop: 46901.913 PropClause: 45531.037 Set: 4458.613 Check: 4.233 Back: 1171.234
INFO - Atoms: 45941/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7806 Props: 50435981 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.056 Prop: 46932.187 PropClause: 45560.175 Set: 4466.509 Check: 4.233 Back: 1172.27
INFO - Atoms: 46200/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7807 Props: 50482449 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.067 Prop: 46965.632 PropClause: 45592.46 Set: 4474.548 Check: 4.233 Back: 1173.333
INFO - Atoms: 46468/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7808 Props: 50529167 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.077 Prop: 46999.734 PropClause: 45625.378 Set: 4506.35 Check: 4.233 Back: 1174.414
INFO - Atoms: 46718/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7809 Props: 50576144 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.087 Prop: 47030.648 PropClause: 45655.139 Set: 4514.298 Check: 4.233 Back: 1175.473
INFO - Atoms: 46977/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7810 Props: 50623379 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.097 Prop: 47068.364 PropClause: 45691.645 Set: 4522.624 Check: 4.233 Back: 1176.53
INFO - Atoms: 47235/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7811 Props: 50670873 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.107 Prop: 47103.074 PropClause: 45725.174 Set: 4530.782 Check: 4.233 Back: 1177.613
INFO - Atoms: 47494/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7812 Props: 50718878 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.116 Prop: 47137.591 PropClause: 45758.511 Set: 4538.943 Check: 4.233 Back: 1178.691
INFO - Atoms: 48005/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7813 Props: 50766891 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.126 Prop: 47173.819 PropClause: 45793.558 Set: 4547.097 Check: 4.233 Back: 1179.764
INFO - Atoms: 48013/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7814 Props: 50815415 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.135 Prop: 47211.458 PropClause: 45830.01 Set: 4555.454 Check: 4.233 Back: 1180.841
INFO - Atoms: 48524/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7815 Props: 50863947 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.144 Prop: 47246.676 PropClause: 45864.036 Set: 4563.79 Check: 4.233 Back: 1181.935
INFO - Atoms: 48532/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7816 Props: 50912736 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.154 Prop: 47280.428 PropClause: 45896.584 Set: 4572.173 Check: 4.233 Back: 1183.028
INFO - Atoms: 48789/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7817 Props: 50961785 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.164 Prop: 47317.036 PropClause: 45931.981 Set: 4580.59 Check: 4.233 Back: 1184.137
INFO - Atoms: 49049/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7818 Props: 51011093 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.175 Prop: 47353.039 PropClause: 45966.778 Set: 4589.06 Check: 4.233 Back: 1185.24
INFO - Atoms: 49308/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7819 Props: 51060659 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.185 Prop: 47389.768 PropClause: 46002.299 Set: 4597.563 Check: 4.233 Back: 1186.355
INFO - Atoms: 49566/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7820 Props: 51110736 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.195 Prop: 47430.064 PropClause: 46041.349 Set: 4606.261 Check: 4.233 Back: 1187.493
INFO - Atoms: 50077/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7821 Props: 51160822 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.206 Prop: 47470.789 PropClause: 46080.807 Set: 4615.126 Check: 4.233 Back: 1188.62
INFO - Atoms: 50086/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7822 Props: 51211418 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.215 Prop: 47510.648 PropClause: 46119.38 Set: 4624.049 Check: 4.233 Back: 1189.769
INFO - Atoms: 50596/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7823 Props: 51262020 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.226 Prop: 47552.573 PropClause: 46160.048 Set: 4632.818 Check: 4.233 Back: 1190.927
INFO - Atoms: 50602/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7824 Props: 51312882 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.237 Prop: 47592.939 PropClause: 46199.162 Set: 4641.719 Check: 4.233 Back: 1192.07
INFO - Atoms: 50862/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7825 Props: 51364255 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.247 Prop: 47637.396 PropClause: 46242.354 Set: 4650.868 Check: 4.233 Back: 1193.23
INFO - Atoms: 51373/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7826 Props: 51415634 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.259 Prop: 47682.002 PropClause: 46285.696 Set: 4659.892 Check: 4.233 Back: 1194.398
INFO - Atoms: 51379/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7827 Props: 51467272 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.271 Prop: 47725.434 PropClause: 46327.834 Set: 4668.981 Check: 4.233 Back: 1195.565
INFO - Atoms: 51638/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7828 Props: 51519421 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.283 Prop: 47773.041 PropClause: 46373.918 Set: 4679.661 Check: 4.233 Back: 1196.749
INFO - Atoms: 52149/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7829 Props: 51571577 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.294 Prop: 47816.905 PropClause: 46416.477 Set: 4688.796 Check: 4.233 Back: 1197.95
INFO - Atoms: 52156/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7830 Props: 51623993 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.305 Prop: 47864.2 PropClause: 46462.458 Set: 4698.026 Check: 4.233 Back: 1199.137
INFO - Atoms: 52416/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7831 Props: 51676671 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.316 Prop: 47908.954 PropClause: 46505.895 Set: 4707.296 Check: 4.233 Back: 1200.33
INFO - Atoms: 52678/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7832 Props: 51729605 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.325 Prop: 47953.532 PropClause: 46549.171 Set: 4716.644 Check: 4.233 Back: 1201.526
INFO - Atoms: 52934/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7833 Props: 51782798 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.337 Prop: 47998.635 PropClause: 46592.963 Set: 4726.101 Check: 4.233 Back: 1202.744
INFO - Atoms: 53193/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7834 Props: 51836259 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.348 Prop: 48044.297 PropClause: 46637.309 Set: 4735.565 Check: 4.233 Back: 1203.957
INFO - Atoms: 53461/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7835 Props: 51890222 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.357 Prop: 48089.603 PropClause: 46681.281 Set: 4745.152 Check: 4.233 Back: 1205.178
INFO - Atoms: 53963/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7836 Props: 51944191 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.367 Prop: 48135.434 PropClause: 46725.783 Set: 4754.751 Check: 4.233 Back: 1206.401
INFO - Atoms: 53969/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7837 Props: 51998670 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.376 Prop: 48182.122 PropClause: 46771.128 Set: 4764.396 Check: 4.233 Back: 1207.624
INFO - Atoms: 54479/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7838 Props: 52053155 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.387 Prop: 48230.39 PropClause: 46818.058 Set: 4773.99 Check: 4.233 Back: 1208.86
INFO - Atoms: 54485/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7839 Props: 52107645 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.396 Prop: 48277.792 PropClause: 46864.108 Set: 4783.611 Check: 4.233 Back: 1210.126
INFO - Atoms: 54490/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7840 Props: 52161118 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.406 Prop: 48325.258 PropClause: 46910.257 Set: 4792.941 Check: 4.233 Back: 1211.36
INFO - Atoms: 53473/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7841 Props: 52214851 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.416 Prop: 48371.234 PropClause: 46954.909 Set: 4802.359 Check: 4.233 Back: 1212.568
INFO - Atoms: 53733/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7842 Props: 52268842 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.426 Prop: 48418.174 PropClause: 47000.505 Set: 4811.782 Check: 4.233 Back: 1213.797
INFO - Atoms: 53991/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7843 Props: 52323098 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.436 Prop: 48465.065 PropClause: 47046.053 Set: 4821.273 Check: 4.233 Back: 1215.01
INFO - Atoms: 54256/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7844 Props: 52377613 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.447 Prop: 48510.889 PropClause: 47090.534 Set: 4830.766 Check: 4.233 Back: 1216.231
INFO - Atoms: 54515/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7845 Props: 52432389 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.46 Prop: 48558.464 PropClause: 47136.768 Set: 4840.319 Check: 4.233 Back: 1217.46
INFO - Atoms: 54776/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7846 Props: 52487420 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.469 Prop: 48606.992 PropClause: 47183.948 Set: 4849.969 Check: 4.233 Back: 1218.693
INFO - Atoms: 55031/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7847 Props: 52542706 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.48 Prop: 48656.856 PropClause: 47232.437 Set: 4859.702 Check: 4.233 Back: 1219.94
INFO - Atoms: 55286/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7848 Props: 52598252 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.49 Prop: 48707.491 PropClause: 47281.706 Set: 4869.49 Check: 4.233 Back: 1221.195
INFO - Atoms: 55546/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7849 Props: 52654056 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.5 Prop: 48756.639 PropClause: 47329.475 Set: 4879.25 Check: 4.233 Back: 1222.454
INFO - Atoms: 55804/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7850 Props: 52710120 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.51 Prop: 48804.824 PropClause: 47376.289 Set: 4888.981 Check: 4.233 Back: 1223.709
INFO - Atoms: 56064/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7851 Props: 52766442 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.52 Prop: 48853.909 PropClause: 47423.986 Set: 4898.914 Check: 4.233 Back: 1224.968
INFO - Atoms: 56322/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7852 Props: 52823033 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.531 Prop: 48904.142 PropClause: 47472.823 Set: 4908.892 Check: 4.233 Back: 1226.247
INFO - Atoms: 56591/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7853 Props: 52879873 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.54 Prop: 48953.806 PropClause: 47521.087 Set: 4918.889 Check: 4.233 Back: 1227.544
INFO - Atoms: 56840/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7854 Props: 52936986 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.552 Prop: 49003.637 PropClause: 47569.506 Set: 4928.974 Check: 4.233 Back: 1228.835
INFO - Atoms: 57113/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7855 Props: 52994596 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.561 Prop: 49054.404 PropClause: 47618.856 Set: 4939.175 Check: 4.233 Back: 1230.137
INFO - Atoms: 57610/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7856 Props: 53052213 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.57 Prop: 49106.092 PropClause: 47669.124 Set: 4949.367 Check: 4.233 Back: 1231.46
INFO - Atoms: 57617/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7857 Props: 53110089 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.58 Prop: 49157.048 PropClause: 47718.639 Set: 4959.677 Check: 4.233 Back: 1232.769
INFO - Atoms: 57876/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7858 Props: 53168226 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.59 Prop: 49207.957 PropClause: 47768.112 Set: 4969.925 Check: 4.233 Back: 1234.107
INFO - Atoms: 58137/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7859 Props: 53226620 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.602 Prop: 49273.723 PropClause: 47832.145 Set: 4983.5 Check: 4.233 Back: 1235.426
INFO - Atoms: 58394/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7860 Props: 53285279 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.645 Prop: 49324.101 PropClause: 47881.06 Set: 4993.83 Check: 4.233 Back: 1236.958
INFO - Atoms: 58659/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7861 Props: 53344192 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.672 Prop: 49375.253 PropClause: 47930.751 Set: 5004.256 Check: 4.233 Back: 1238.287
INFO - Atoms: 58913/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7862 Props: 53403364 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.676 Prop: 49428.064 PropClause: 47982.105 Set: 5014.759 Check: 4.233 Back: 1239.626
INFO - Atoms: 59172/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7863 Props: 53462794 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.68 Prop: 49480.91 PropClause: 48033.473 Set: 5054.879 Check: 4.233 Back: 1240.952
INFO - Atoms: 59430/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7864 Props: 53522736 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.684 Prop: 49535.871 PropClause: 48086.938 Set: 5065.609 Check: 4.233 Back: 1242.304
INFO - Atoms: 59942/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7865 Props: 53582685 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.688 Prop: 49592.051 PropClause: 48141.64 Set: 5076.246 Check: 4.233 Back: 1243.684
INFO - Atoms: 59949/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7866 Props: 53642896 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.693 Prop: 49648.611 PropClause: 48196.72 Set: 5087.026 Check: 4.233 Back: 1245.037
INFO - Atoms: 60211/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7867 Props: 53703615 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.697 Prop: 49704.773 PropClause: 48251.382 Set: 5097.85 Check: 4.233 Back: 1246.423
INFO - Atoms: 60719/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7868 Props: 53764340 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.701 Prop: 49759.827 PropClause: 48304.949 Set: 5108.636 Check: 4.233 Back: 1247.792
INFO - Atoms: 60725/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7869 Props: 53825334 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.705 Prop: 49816.683 PropClause: 48360.313 Set: 5119.443 Check: 4.233 Back: 1249.175
INFO - Atoms: 60994/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7870 Props: 53886577 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.709 Prop: 49872.599 PropClause: 48414.722 Set: 5130.328 Check: 4.233 Back: 1250.555
INFO - Atoms: 61243/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7871 Props: 53948089 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.713 Prop: 49930.578 PropClause: 48471.169 Set: 5141.344 Check: 4.233 Back: 1251.932
INFO - Atoms: 61512/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7872 Props: 54009851 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.718 Prop: 49990.893 PropClause: 48529.965 Set: 5152.42 Check: 4.233 Back: 1253.345
INFO - Atoms: 61762/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7873 Props: 54071872 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.722 Prop: 50052.802 PropClause: 48590.347 Set: 5163.539 Check: 4.233 Back: 1254.751
INFO - Atoms: 62021/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7874 Props: 54134151 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.727 Prop: 50112.465 PropClause: 48648.46 Set: 5174.682 Check: 4.233 Back: 1256.224
INFO - Atoms: 62279/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7875 Props: 54196871 Tprops: 0 Decides: 177018 RSplits: 0
INFO - Times: Expl: 15654.731 Prop: 50172.863 PropClause: 48707.257 Set: 5185.954 Check: 4.233 Back: 1257.648
INFO - Atoms: 62720/101886 Clauses: 999 Axioms: 338882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 493 Props: 75045 Tprops: 1335 Decides: 66059 RSplits: 0
INFO - Times: Expl: 307.55 Prop: 113327.047 PropClause: 36.934 Set: 10128.558 Check: 234.118 Back: 215.9
INFO - Atoms: 46/1107 Clauses: 493 Axioms: 1107
INFO - CCTimes: iE 398628 eq 34587150 cc 109885209 setRep 72735147
INFO - Merges: 429160, cc:766463
INFO - BVTimes: BB 405598453 BB_DPLL 106409368199 Graph 1510963
INFO - BitBlastingClauses: 625042 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat