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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 395474868
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 114042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.67 Prop: 261.15 PropClause: 254.625 Set: 100.476 Check: 0.0 Back: 0.0
INFO - Atoms: 114042/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 228084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.756 Prop: 434.086 PropClause: 421.258 Set: 127.886 Check: 0.0 Back: 2.959
INFO - Atoms: 114042/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 342115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.809 Prop: 654.331 PropClause: 636.69 Set: 255.527 Check: 0.0 Back: 5.891
INFO - Atoms: 114031/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 456142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.871 Prop: 807.178 PropClause: 785.601 Set: 280.932 Check: 0.0 Back: 8.879
INFO - Atoms: 114027/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 570160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.958 Prop: 939.668 PropClause: 915.227 Set: 313.323 Check: 0.0 Back: 11.838
INFO - Atoms: 114018/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 683797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.038 Prop: 1080.275 PropClause: 1052.979 Set: 335.391 Check: 0.0 Back: 14.999
INFO - Atoms: 113637/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 797427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.082 Prop: 1218.414 PropClause: 1188.276 Set: 357.179 Check: 0.0 Back: 18.073
INFO - Atoms: 113630/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 911052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.135 Prop: 1358.285 PropClause: 1325.275 Set: 379.14 Check: 0.0 Back: 21.201
INFO - Atoms: 113625/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1024297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.183 Prop: 1490.766 PropClause: 1454.923 Set: 400.475 Check: 0.0 Back: 24.308
INFO - Atoms: 113245/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1137372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.23 Prop: 1626.181 PropClause: 1587.523 Set: 422.76 Check: 0.0 Back: 27.344
INFO - Atoms: 113075/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1250229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.278 Prop: 1759.93 PropClause: 1718.424 Set: 454.294 Check: 0.0 Back: 30.433
INFO - Atoms: 112857/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1362916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.326 Prop: 1903.004 PropClause: 1858.719 Set: 486.538 Check: 0.0 Back: 33.514
INFO - Atoms: 112687/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1475381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.372 Prop: 2037.852 PropClause: 1990.777 Set: 508.304 Check: 0.0 Back: 36.554
INFO - Atoms: 112465/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1587842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.417 Prop: 2180.81 PropClause: 2130.913 Set: 530.276 Check: 0.0 Back: 39.658
INFO - Atoms: 112461/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1700106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.467 Prop: 2326.575 PropClause: 2273.857 Set: 552.235 Check: 0.0 Back: 42.671
INFO - Atoms: 112264/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1812108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.519 Prop: 2467.05 PropClause: 2411.548 Set: 574.38 Check: 0.0 Back: 45.791
INFO - Atoms: 112002/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1923890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.568 Prop: 2602.563 PropClause: 2544.254 Set: 596.189 Check: 0.0 Back: 48.784
INFO - Atoms: 111782/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 2035500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.616 Prop: 2741.219 PropClause: 2680.133 Set: 617.572 Check: 0.0 Back: 51.867
INFO - Atoms: 111610/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 2146892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.661 Prop: 2879.346 PropClause: 2815.478 Set: 639.21 Check: 0.0 Back: 54.767
INFO - Atoms: 111392/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 2258114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.713 Prop: 3018.073 PropClause: 2951.434 Set: 660.899 Check: 0.0 Back: 57.633
INFO - Atoms: 111222/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 2369116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.768 Prop: 3153.871 PropClause: 3084.477 Set: 682.173 Check: 0.0 Back: 60.659
INFO - Atoms: 111002/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2479955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.818 Prop: 3288.064 PropClause: 3215.894 Set: 704.629 Check: 0.0 Back: 63.652
INFO - Atoms: 110839/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2590567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.867 Prop: 3423.061 PropClause: 3348.125 Set: 779.909 Check: 0.0 Back: 66.604
INFO - Atoms: 110612/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2701009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.915 Prop: 3559.221 PropClause: 3481.55 Set: 801.056 Check: 0.0 Back: 69.345
INFO - Atoms: 110442/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2811229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.987 Prop: 3688.188 PropClause: 3607.783 Set: 821.809 Check: 0.0 Back: 72.299
INFO - Atoms: 110220/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2921447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.035 Prop: 3826.03 PropClause: 3742.877 Set: 842.984 Check: 0.0 Back: 75.321
INFO - Atoms: 110218/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 3031467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.084 Prop: 3956.849 PropClause: 3870.966 Set: 863.954 Check: 0.0 Back: 78.294
INFO - Atoms: 110020/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 3141386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 4089.797 PropClause: 4001.169 Set: 885.326 Check: 0.0 Back: 81.249
INFO - Atoms: 109919/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 3251019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.222 Prop: 4216.556 PropClause: 4125.203 Set: 938.092 Check: 0.0 Back: 84.219
INFO - Atoms: 109633/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 3360482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.241 Prop: 4345.737 PropClause: 4251.67 Set: 958.933 Check: 0.0 Back: 87.132
INFO - Atoms: 109463/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 3469725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.258 Prop: 4472.483 PropClause: 4375.702 Set: 979.746 Check: 0.0 Back: 90.099
INFO - Atoms: 109243/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 3578798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.277 Prop: 4604.185 PropClause: 4504.684 Set: 1000.757 Check: 0.0 Back: 93.039
INFO - Atoms: 109073/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 3687654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.296 Prop: 4731.668 PropClause: 4629.45 Set: 1021.373 Check: 0.0 Back: 95.971
INFO - Atoms: 108856/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3796331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.32 Prop: 4860.351 PropClause: 4755.453 Set: 1042.201 Check: 0.0 Back: 98.881
INFO - Atoms: 108677/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 3904796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.342 Prop: 4985.92 PropClause: 4878.326 Set: 1096.476 Check: 0.0 Back: 101.794
INFO - Atoms: 108465/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 4013079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.363 Prop: 5117.375 PropClause: 5007.077 Set: 1117.397 Check: 0.0 Back: 104.651
INFO - Atoms: 108283/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 4121152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.384 Prop: 5246.151 PropClause: 5133.134 Set: 1138.195 Check: 0.0 Back: 107.492
INFO - Atoms: 108073/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 4229031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.405 Prop: 5379.469 PropClause: 5263.786 Set: 1159.2 Check: 0.0 Back: 110.451
INFO - Atoms: 107879/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 4336716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.427 Prop: 5504.807 PropClause: 5386.453 Set: 1179.857 Check: 0.0 Back: 113.322
INFO - Atoms: 107685/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 4444231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.449 Prop: 5641.627 PropClause: 5520.576 Set: 1200.992 Check: 0.0 Back: 116.255
INFO - Atoms: 107515/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 4551526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.471 Prop: 5768.585 PropClause: 5644.854 Set: 1221.471 Check: 0.0 Back: 119.124
INFO - Atoms: 107295/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 4658642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.501 Prop: 5903.963 PropClause: 5777.569 Set: 1242.258 Check: 0.0 Back: 122.045
INFO - Atoms: 107116/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 4765545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.52 Prop: 6027.831 PropClause: 5898.774 Set: 1262.669 Check: 0.0 Back: 124.925
INFO - Atoms: 106903/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 4872273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.54 Prop: 6158.355 PropClause: 6026.649 Set: 1283.377 Check: 0.0 Back: 127.799
INFO - Atoms: 106728/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 4978786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.558 Prop: 6285.495 PropClause: 6151.128 Set: 1303.903 Check: 0.0 Back: 130.658
INFO - Atoms: 106513/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 5085105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.574 Prop: 6415.716 PropClause: 6278.699 Set: 1324.67 Check: 0.0 Back: 133.558
INFO - Atoms: 106319/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 5191230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.597 Prop: 6545.404 PropClause: 6405.743 Set: 1344.996 Check: 0.0 Back: 136.41
INFO - Atoms: 106125/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 5297159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.617 Prop: 6678.997 PropClause: 6536.689 Set: 1365.292 Check: 0.0 Back: 139.291
INFO - Atoms: 105929/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 5402892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.637 Prop: 6810.124 PropClause: 6665.187 Set: 1385.728 Check: 0.0 Back: 142.174
INFO - Atoms: 105733/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 5508455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.655 Prop: 6941.909 PropClause: 6794.325 Set: 1406.393 Check: 0.0 Back: 145.045
INFO - Atoms: 105563/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 5613798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.673 Prop: 7071.789 PropClause: 6921.57 Set: 1426.621 Check: 0.0 Back: 147.948
INFO - Atoms: 105343/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 5718973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.692 Prop: 7202.819 PropClause: 7050.008 Set: 1447.125 Check: 0.0 Back: 150.768
INFO - Atoms: 105175/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 5823926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.712 Prop: 7329.343 PropClause: 7173.901 Set: 1467.499 Check: 0.0 Back: 153.568
INFO - Atoms: 104953/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 5928709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.732 Prop: 7455.796 PropClause: 7297.721 Set: 1487.524 Check: 0.0 Back: 156.4
INFO - Atoms: 104783/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 6033274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.754 Prop: 7577.743 PropClause: 7417.062 Set: 1507.306 Check: 0.0 Back: 159.189
INFO - Atoms: 104565/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 6137669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.773 Prop: 7697.06 PropClause: 7533.782 Set: 1527.089 Check: 0.0 Back: 161.969
INFO - Atoms: 104395/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 6241844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.789 Prop: 7815.864 PropClause: 7650.006 Set: 1546.415 Check: 0.0 Back: 164.727
INFO - Atoms: 104175/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 6345843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.807 Prop: 7939.32 PropClause: 7770.884 Set: 1566.38 Check: 0.0 Back: 167.528
INFO - Atoms: 103999/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 6449628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.824 Prop: 8057.429 PropClause: 7886.406 Set: 1586.048 Check: 0.0 Back: 170.323
INFO - Atoms: 103785/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 6553217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.841 Prop: 8179.134 PropClause: 8005.531 Set: 1605.926 Check: 0.0 Back: 173.042
INFO - Atoms: 103589/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 6656610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.861 Prop: 8293.412 PropClause: 8117.236 Set: 1625.506 Check: 0.0 Back: 175.795
INFO - Atoms: 103393/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 6759833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.88 Prop: 8412.174 PropClause: 8233.443 Set: 1644.987 Check: 0.0 Back: 178.574
INFO - Atoms: 103223/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 6862838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.896 Prop: 8524.326 PropClause: 8343.027 Set: 1664.389 Check: 0.0 Back: 181.323
INFO - Atoms: 103005/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 6965673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.914 Prop: 8648.128 PropClause: 8464.28 Set: 1684.036 Check: 0.0 Back: 184.071
INFO - Atoms: 102835/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 7068288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.937 Prop: 8763.099 PropClause: 8576.68 Set: 1703.531 Check: 0.0 Back: 186.831
INFO - Atoms: 102615/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 7170707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.955 Prop: 8886.236 PropClause: 8697.287 Set: 1723.015 Check: 0.0 Back: 189.551
INFO - Atoms: 102419/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 7272932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.973 Prop: 9007.705 PropClause: 8816.222 Set: 1742.272 Check: 0.0 Back: 192.236
INFO - Atoms: 102225/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 7374961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.99 Prop: 9133.988 PropClause: 8939.958 Set: 1761.711 Check: 0.0 Back: 194.963
INFO - Atoms: 102029/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 7476796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.01 Prop: 9258.003 PropClause: 9061.388 Set: 1781.115 Check: 0.0 Back: 197.657
INFO - Atoms: 101835/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 7578461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.028 Prop: 9385.961 PropClause: 9186.786 Set: 1800.704 Check: 0.0 Back: 200.377
INFO - Atoms: 101665/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 7679906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.048 Prop: 9506.635 PropClause: 9304.945 Set: 1819.81 Check: 0.0 Back: 203.071
INFO - Atoms: 101445/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 7781181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.064 Prop: 9628.297 PropClause: 9424.101 Set: 1839.012 Check: 0.0 Back: 205.77
INFO - Atoms: 101275/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 7882236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.08 Prop: 9746.578 PropClause: 9539.88 Set: 1858.035 Check: 0.0 Back: 208.471
INFO - Atoms: 101055/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 7983119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.098 Prop: 9865.694 PropClause: 9656.51 Set: 1877.095 Check: 0.0 Back: 211.178
INFO - Atoms: 100883/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 8083784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.115 Prop: 9982.105 PropClause: 9770.42 Set: 1895.892 Check: 0.0 Back: 213.878
INFO - Atoms: 100665/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 8184279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.131 Prop: 10100.09 PropClause: 9885.914 Set: 1914.869 Check: 0.0 Back: 216.563
INFO - Atoms: 100495/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 8284554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.148 Prop: 10215.433 PropClause: 9998.782 Set: 1933.922 Check: 0.0 Back: 219.248
INFO - Atoms: 100275/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 8384659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.166 Prop: 10333.641 PropClause: 10114.511 Set: 1953.165 Check: 0.0 Back: 221.949
INFO - Atoms: 100105/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 8484542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.183 Prop: 10451.402 PropClause: 10229.779 Set: 1971.954 Check: 0.0 Back: 224.629
INFO - Atoms: 99883/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 8584250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.201 Prop: 10570.28 PropClause: 10346.144 Set: 1991.214 Check: 0.0 Back: 227.308
INFO - Atoms: 99708/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 8683745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.218 Prop: 10682.461 PropClause: 10455.838 Set: 2009.868 Check: 0.0 Back: 229.983
INFO - Atoms: 99495/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 8783070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.234 Prop: 10798.027 PropClause: 10568.921 Set: 2028.659 Check: 0.0 Back: 232.603
INFO - Atoms: 99325/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 8882175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.251 Prop: 10912.217 PropClause: 10680.653 Set: 2047.641 Check: 0.0 Back: 235.228
INFO - Atoms: 99105/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 8981110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.302 Prop: 11028.608 PropClause: 10794.579 Set: 2066.652 Check: 0.0 Back: 237.85
INFO - Atoms: 98935/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 9079823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.365 Prop: 11145.564 PropClause: 10909.075 Set: 2085.216 Check: 0.0 Back: 240.509
INFO - Atoms: 98713/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 9178361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.378 Prop: 11255.875 PropClause: 11016.93 Set: 2103.752 Check: 0.0 Back: 243.141
INFO - Atoms: 98538/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 9276686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.39 Prop: 11366.652 PropClause: 11125.248 Set: 2122.118 Check: 0.0 Back: 245.723
INFO - Atoms: 98325/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 9374815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.404 Prop: 11488.0 PropClause: 11244.15 Set: 2141.077 Check: 0.0 Back: 248.37
INFO - Atoms: 98129/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 9472750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 11600.209 PropClause: 11353.936 Set: 2159.575 Check: 0.0 Back: 250.968
INFO - Atoms: 97935/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 9570515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.428 Prop: 11715.132 PropClause: 11466.408 Set: 2178.05 Check: 0.0 Back: 253.658
INFO - Atoms: 97765/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 9668060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.438 Prop: 11829.578 PropClause: 11578.421 Set: 2196.316 Check: 0.0 Back: 256.225
INFO - Atoms: 97545/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 9765435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.452 Prop: 11943.352 PropClause: 11689.786 Set: 2214.864 Check: 0.0 Back: 258.819
INFO - Atoms: 97375/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 9862590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.501 Prop: 12052.954 PropClause: 11796.995 Set: 2232.894 Check: 0.0 Back: 261.369
INFO - Atoms: 97155/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 9959575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.56 Prop: 12169.325 PropClause: 11910.956 Set: 2251.251 Check: 0.0 Back: 263.963
INFO - Atoms: 96985/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 10056340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.573 Prop: 12283.548 PropClause: 12022.786 Set: 2269.667 Check: 0.0 Back: 266.529
INFO - Atoms: 96765/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 10152935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.584 Prop: 12404.953 PropClause: 12141.797 Set: 2288.208 Check: 0.0 Back: 269.142
INFO - Atoms: 96595/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 10249310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.597 Prop: 12515.938 PropClause: 12250.379 Set: 2306.781 Check: 0.0 Back: 271.675
INFO - Atoms: 96375/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 10345489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.61 Prop: 12630.022 PropClause: 12362.068 Set: 2325.248 Check: 0.0 Back: 274.281
INFO - Atoms: 96179/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 10441472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.62 Prop: 12732.407 PropClause: 12462.068 Set: 2343.227 Check: 0.0 Back: 276.822
INFO - Atoms: 95983/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 10537282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.632 Prop: 12842.274 PropClause: 12569.562 Set: 2361.299 Check: 0.0 Back: 279.406
INFO - Atoms: 95810/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 10632875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.645 Prop: 12949.993 PropClause: 12674.924 Set: 2379.364 Check: 0.0 Back: 281.936
INFO - Atoms: 95593/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 10728298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.66 Prop: 13061.673 PropClause: 12784.25 Set: 2420.211 Check: 0.0 Back: 284.5
INFO - Atoms: 95423/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 10823503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.673 Prop: 13165.849 PropClause: 12886.058 Set: 2437.931 Check: 0.0 Back: 286.984
INFO - Atoms: 95205/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 10918536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.683 Prop: 13277.674 PropClause: 12995.514 Set: 2455.927 Check: 0.0 Back: 289.538
INFO - Atoms: 95033/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 11013349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.697 Prop: 13381.656 PropClause: 13097.138 Set: 2473.968 Check: 0.0 Back: 292.044
INFO - Atoms: 94813/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 11107968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.709 Prop: 13497.395 PropClause: 13210.519 Set: 2492.238 Check: 0.0 Back: 294.558
INFO - Atoms: 94619/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 11202393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 13600.025 PropClause: 13310.833 Set: 2509.861 Check: 0.0 Back: 297.059
INFO - Atoms: 94425/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 11296640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.734 Prop: 13709.92 PropClause: 13418.389 Set: 2527.657 Check: 0.0 Back: 299.605
INFO - Atoms: 94247/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 11390675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.747 Prop: 13816.962 PropClause: 13523.083 Set: 2545.546 Check: 0.0 Back: 302.1
INFO - Atoms: 94035/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 11484538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.76 Prop: 13926.678 PropClause: 13630.467 Set: 2563.24 Check: 0.0 Back: 304.614
INFO - Atoms: 93863/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 11578183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.77 Prop: 14026.764 PropClause: 13728.229 Set: 2580.804 Check: 0.0 Back: 307.08
INFO - Atoms: 93645/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 11671658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.783 Prop: 14136.971 PropClause: 13836.104 Set: 2598.529 Check: 0.0 Back: 309.594
INFO - Atoms: 93475/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 11764913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.797 Prop: 14238.88 PropClause: 13935.723 Set: 2616.149 Check: 0.0 Back: 312.059
INFO - Atoms: 93255/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 11857996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.808 Prop: 14345.92 PropClause: 14040.494 Set: 2633.655 Check: 0.0 Back: 314.545
INFO - Atoms: 93083/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 11950861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.821 Prop: 14445.524 PropClause: 14137.814 Set: 2651.149 Check: 0.0 Back: 316.99
INFO - Atoms: 92865/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 12043556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 14554.435 PropClause: 14244.415 Set: 2668.549 Check: 0.0 Back: 319.446
INFO - Atoms: 92695/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 12136031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.847 Prop: 14651.7 PropClause: 14339.392 Set: 2685.719 Check: 0.0 Back: 321.868
INFO - Atoms: 92475/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 12228310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.86 Prop: 14755.299 PropClause: 14440.733 Set: 2702.777 Check: 0.0 Back: 324.314
INFO - Atoms: 92279/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 12320393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.872 Prop: 14849.729 PropClause: 14532.905 Set: 2719.661 Check: 0.0 Back: 326.718
INFO - Atoms: 92083/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 12412282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.886 Prop: 14949.336 PropClause: 14630.255 Set: 2736.582 Check: 0.0 Back: 329.158
INFO - Atoms: 91889/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 12503977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.897 Prop: 15045.484 PropClause: 14724.164 Set: 2753.269 Check: 0.0 Back: 331.546
INFO - Atoms: 91695/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 12595476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.909 Prop: 15151.588 PropClause: 14828.045 Set: 2770.382 Check: 0.0 Back: 333.976
INFO - Atoms: 91499/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 12686781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.921 Prop: 15249.72 PropClause: 14923.922 Set: 2787.451 Check: 0.0 Back: 336.347
INFO - Atoms: 91305/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 12777914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.936 Prop: 15350.454 PropClause: 15022.408 Set: 2804.532 Check: 0.0 Back: 338.757
INFO - Atoms: 91133/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 12868829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.95 Prop: 15446.127 PropClause: 15115.836 Set: 2821.359 Check: 0.0 Back: 341.142
INFO - Atoms: 90915/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 12959568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.963 Prop: 15548.932 PropClause: 15216.402 Set: 2838.306 Check: 0.0 Back: 343.605
INFO - Atoms: 90739/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 13050093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.975 Prop: 15645.357 PropClause: 15310.546 Set: 2855.106 Check: 0.0 Back: 345.947
INFO - Atoms: 90525/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 13140448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.99 Prop: 15748.552 PropClause: 15411.513 Set: 2871.966 Check: 0.0 Back: 348.389
INFO - Atoms: 90355/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 13230583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.01 Prop: 15845.405 PropClause: 15506.122 Set: 2888.618 Check: 0.0 Back: 350.786
INFO - Atoms: 90135/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 13320522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.022 Prop: 15956.224 PropClause: 15614.717 Set: 2906.067 Check: 0.0 Back: 353.205
INFO - Atoms: 89939/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 13410267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.033 Prop: 16054.35 PropClause: 15710.614 Set: 2922.734 Check: 0.0 Back: 355.555
INFO - Atoms: 89745/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 13499816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.046 Prop: 16159.834 PropClause: 15813.87 Set: 2939.675 Check: 0.0 Back: 357.972
INFO - Atoms: 89549/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 13589169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.059 Prop: 16255.632 PropClause: 15907.447 Set: 2956.514 Check: 0.0 Back: 360.321
INFO - Atoms: 89353/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 13678345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.07 Prop: 16358.703 PropClause: 16008.307 Set: 2973.441 Check: 0.0 Back: 362.703
INFO - Atoms: 89176/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 13767310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.081 Prop: 16454.23 PropClause: 16101.622 Set: 2989.993 Check: 0.0 Back: 365.053
INFO - Atoms: 88965/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 13856105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.092 Prop: 16555.163 PropClause: 16200.34 Set: 3006.58 Check: 0.0 Back: 367.422
INFO - Atoms: 88795/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 13944680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.105 Prop: 16651.473 PropClause: 16294.452 Set: 3023.235 Check: 0.0 Back: 369.761
INFO - Atoms: 88575/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 14033083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.115 Prop: 16750.692 PropClause: 16391.462 Set: 3039.845 Check: 0.0 Back: 372.09
INFO - Atoms: 88403/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 14121268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.125 Prop: 16843.706 PropClause: 16482.285 Set: 3056.451 Check: 0.0 Back: 374.394
INFO - Atoms: 88185/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 14209283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.138 Prop: 16941.93 PropClause: 16578.319 Set: 3073.068 Check: 0.0 Back: 376.709
INFO - Atoms: 88015/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 14297076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.151 Prop: 17037.782 PropClause: 16671.965 Set: 3089.465 Check: 0.0 Back: 378.974
INFO - Atoms: 87793/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 14384699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.162 Prop: 17137.688 PropClause: 16769.698 Set: 3105.738 Check: 0.0 Back: 381.325
INFO - Atoms: 87623/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 14472102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.173 Prop: 17234.81 PropClause: 16864.654 Set: 3121.872 Check: 0.0 Back: 383.594
INFO - Atoms: 87403/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 14559311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 17335.399 PropClause: 16963.078 Set: 3138.228 Check: 0.0 Back: 385.908
INFO - Atoms: 87209/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 14646326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.2 Prop: 17429.7 PropClause: 17055.199 Set: 3154.562 Check: 0.0 Back: 388.21
INFO - Atoms: 87015/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 14733145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.212 Prop: 17529.787 PropClause: 17153.139 Set: 3170.85 Check: 0.0 Back: 390.508
INFO - Atoms: 86819/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 14819770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.225 Prop: 17619.798 PropClause: 17241.007 Set: 3186.955 Check: 0.0 Back: 392.771
INFO - Atoms: 86625/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 14906199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.238 Prop: 17712.491 PropClause: 17331.546 Set: 3202.826 Check: 0.0 Back: 395.048
INFO - Atoms: 86429/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 14992432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.25 Prop: 17804.595 PropClause: 17421.532 Set: 3218.575 Check: 0.0 Back: 397.313
INFO - Atoms: 86233/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 15078495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.263 Prop: 17898.263 PropClause: 17513.082 Set: 3234.492 Check: 0.0 Back: 399.541
INFO - Atoms: 86063/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 15164340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.276 Prop: 17984.29 PropClause: 17596.993 Set: 3250.022 Check: 0.0 Back: 401.812
INFO - Atoms: 85845/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 15250015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.289 Prop: 18077.497 PropClause: 17688.076 Set: 3265.785 Check: 0.0 Back: 404.062
INFO - Atoms: 85675/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 15335470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.3 Prop: 18167.898 PropClause: 17776.384 Set: 3281.604 Check: 0.0 Back: 406.324
INFO - Atoms: 85455/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 15420755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.309 Prop: 18257.97 PropClause: 17864.332 Set: 3297.475 Check: 0.0 Back: 408.534
INFO - Atoms: 85285/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 15505820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.323 Prop: 18345.569 PropClause: 17949.816 Set: 3343.192 Check: 0.0 Back: 410.79
INFO - Atoms: 85065/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 15590710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.336 Prop: 18439.139 PropClause: 18041.273 Set: 3358.958 Check: 0.0 Back: 412.983
INFO - Atoms: 84890/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 15675383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.346 Prop: 18527.472 PropClause: 18127.53 Set: 3374.346 Check: 0.0 Back: 415.187
INFO - Atoms: 84673/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 15759888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 18616.514 PropClause: 18214.49 Set: 3390.176 Check: 0.0 Back: 417.396
INFO - Atoms: 84505/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 15844171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.368 Prop: 18702.981 PropClause: 18298.858 Set: 3405.748 Check: 0.0 Back: 419.626
INFO - Atoms: 84283/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 15928280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.38 Prop: 18798.087 PropClause: 18391.87 Set: 3421.352 Check: 0.0 Back: 421.848
INFO - Atoms: 84109/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 16012175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.391 Prop: 18889.551 PropClause: 18481.268 Set: 3436.837 Check: 0.0 Back: 424.043
INFO - Atoms: 83895/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 16095893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.404 Prop: 18979.854 PropClause: 18569.49 Set: 3452.33 Check: 0.0 Back: 426.223
INFO - Atoms: 83718/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 16179396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.416 Prop: 19066.144 PropClause: 18653.695 Set: 3467.55 Check: 0.0 Back: 428.443
INFO - Atoms: 83503/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 16262729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.429 Prop: 19159.604 PropClause: 18745.087 Set: 3483.144 Check: 0.0 Back: 430.662
INFO - Atoms: 83333/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 16345844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.44 Prop: 19245.407 PropClause: 18828.824 Set: 3498.513 Check: 0.0 Back: 432.83
INFO - Atoms: 83115/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 16428787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.453 Prop: 19334.17 PropClause: 18915.523 Set: 3514.123 Check: 0.0 Back: 435.061
INFO - Atoms: 82943/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 16511510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.465 Prop: 19419.807 PropClause: 18999.108 Set: 3529.727 Check: 0.0 Back: 437.226
INFO - Atoms: 82723/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 16594063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.478 Prop: 19508.09 PropClause: 19085.329 Set: 3545.147 Check: 0.0 Back: 439.498
INFO - Atoms: 82553/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 16676398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.49 Prop: 19587.047 PropClause: 19162.235 Set: 3560.467 Check: 0.0 Back: 441.639
INFO - Atoms: 82335/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 16758537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.502 Prop: 19669.962 PropClause: 19243.126 Set: 3575.631 Check: 0.0 Back: 443.818
INFO - Atoms: 82139/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 16840480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.513 Prop: 19752.048 PropClause: 19323.177 Set: 3590.642 Check: 0.0 Back: 445.964
INFO - Atoms: 81943/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 16922255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.523 Prop: 19839.57 PropClause: 19408.696 Set: 3605.626 Check: 0.0 Back: 448.119
INFO - Atoms: 81775/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 17003808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.536 Prop: 19918.915 PropClause: 19486.006 Set: 3620.509 Check: 0.0 Back: 450.241
INFO - Atoms: 81553/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 17085193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.549 Prop: 20003.43 PropClause: 19568.488 Set: 3635.472 Check: 0.0 Back: 452.396
INFO - Atoms: 81385/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 17166358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.561 Prop: 20085.126 PropClause: 19648.153 Set: 3650.828 Check: 0.0 Back: 454.53
INFO - Atoms: 81165/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 17247344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.574 Prop: 20169.967 PropClause: 19730.967 Set: 3665.638 Check: 0.0 Back: 456.656
INFO - Atoms: 80986/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 17328119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.585 Prop: 20246.809 PropClause: 19805.802 Set: 3680.284 Check: 0.0 Back: 458.81
INFO - Atoms: 80775/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 17408722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.597 Prop: 20326.894 PropClause: 19883.886 Set: 3695.302 Check: 0.0 Back: 460.951
INFO - Atoms: 80603/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 17489105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.618 Prop: 20404.889 PropClause: 19959.872 Set: 3709.826 Check: 0.0 Back: 463.066
INFO - Atoms: 80383/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 17569320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.633 Prop: 20488.412 PropClause: 20041.385 Set: 3724.775 Check: 0.0 Back: 465.158
INFO - Atoms: 80215/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 17649315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.646 Prop: 20563.592 PropClause: 20114.571 Set: 3739.379 Check: 0.0 Back: 467.255
INFO - Atoms: 79995/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 17729138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.658 Prop: 20643.568 PropClause: 20192.564 Set: 3755.56 Check: 0.0 Back: 469.369
INFO - Atoms: 79823/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 17808743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.673 Prop: 20725.554 PropClause: 20272.538 Set: 3770.946 Check: 0.0 Back: 471.49
INFO - Atoms: 79605/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 17888178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.688 Prop: 20805.447 PropClause: 20350.459 Set: 3785.514 Check: 0.0 Back: 473.61
INFO - Atoms: 79435/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 17967393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.702 Prop: 20886.263 PropClause: 20429.03 Set: 3801.709 Check: 0.0 Back: 475.673
INFO - Atoms: 79215/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 18046436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.716 Prop: 20967.571 PropClause: 20508.371 Set: 3816.296 Check: 0.0 Back: 477.765
INFO - Atoms: 79043/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 18125259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.729 Prop: 21046.899 PropClause: 20585.727 Set: 3830.67 Check: 0.0 Back: 479.812
INFO - Atoms: 78823/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 18203888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.742 Prop: 21129.382 PropClause: 20666.243 Set: 3845.289 Check: 0.0 Back: 481.888
INFO - Atoms: 78629/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 18282323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.756 Prop: 21201.137 PropClause: 20736.026 Set: 3859.484 Check: 0.0 Back: 483.925
INFO - Atoms: 78435/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 18360588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.768 Prop: 21277.53 PropClause: 20810.461 Set: 3873.916 Check: 0.0 Back: 485.957
INFO - Atoms: 78265/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 18438633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.783 Prop: 21358.068 PropClause: 20889.063 Set: 3888.262 Check: 0.0 Back: 487.964
INFO - Atoms: 78045/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 18516508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.796 Prop: 21436.794 PropClause: 20965.844 Set: 3924.919 Check: 0.0 Back: 490.018
INFO - Atoms: 77875/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 18594161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.811 Prop: 21510.731 PropClause: 21037.868 Set: 3938.948 Check: 0.0 Back: 492.041
INFO - Atoms: 77653/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 18671644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.823 Prop: 21585.292 PropClause: 21110.508 Set: 3952.84 Check: 0.0 Back: 494.051
INFO - Atoms: 77483/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 18748909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.834 Prop: 21662.315 PropClause: 21185.624 Set: 3966.859 Check: 0.0 Back: 496.059
INFO - Atoms: 77265/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 18826004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.844 Prop: 21736.405 PropClause: 21257.791 Set: 3980.937 Check: 0.0 Back: 498.058
INFO - Atoms: 77095/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 18902877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.857 Prop: 21812.08 PropClause: 21331.573 Set: 3994.936 Check: 0.0 Back: 500.036
INFO - Atoms: 76873/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 18979574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.869 Prop: 21893.093 PropClause: 21410.677 Set: 4008.879 Check: 0.0 Back: 502.03
INFO - Atoms: 76697/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 19056057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.913 Prop: 21965.648 PropClause: 21481.343 Set: 4022.799 Check: 0.0 Back: 504.009
INFO - Atoms: 76483/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 19132370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.952 Prop: 22044.905 PropClause: 21558.72 Set: 4036.802 Check: 0.0 Back: 505.992
INFO - Atoms: 76313/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 19208465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.001 Prop: 22116.163 PropClause: 21628.081 Set: 4050.491 Check: 0.0 Back: 507.936
INFO - Atoms: 76095/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 19284388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.022 Prop: 22195.755 PropClause: 21705.791 Set: 4094.406 Check: 0.0 Back: 509.919
INFO - Atoms: 75923/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 19360091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.061 Prop: 22270.453 PropClause: 21778.604 Set: 4108.166 Check: 0.0 Back: 511.84
INFO - Atoms: 75703/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 19435624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 22348.13 PropClause: 21854.41 Set: 4121.925 Check: 0.0 Back: 513.787
INFO - Atoms: 75533/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 19510939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.078 Prop: 22421.171 PropClause: 21925.571 Set: 4135.279 Check: 0.0 Back: 515.723
INFO - Atoms: 75315/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 19586082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.086 Prop: 22495.876 PropClause: 21998.336 Set: 4148.965 Check: 0.0 Back: 517.68
INFO - Atoms: 75143/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 19661005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.095 Prop: 22570.621 PropClause: 22071.208 Set: 4162.927 Check: 0.0 Back: 519.629
INFO - Atoms: 74923/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 19735760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.102 Prop: 22645.659 PropClause: 22144.371 Set: 4176.9 Check: 0.0 Back: 521.596
INFO - Atoms: 74755/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 19810295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.111 Prop: 22722.611 PropClause: 22219.467 Set: 4190.589 Check: 0.0 Back: 523.552
INFO - Atoms: 74535/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 19884658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.12 Prop: 22796.66 PropClause: 22291.667 Set: 4204.252 Check: 0.0 Back: 525.536
INFO - Atoms: 74363/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 19958801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.128 Prop: 22877.267 PropClause: 22370.262 Set: 4219.008 Check: 0.0 Back: 527.462
INFO - Atoms: 74143/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 20032768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.136 Prop: 22951.763 PropClause: 22442.924 Set: 4232.48 Check: 0.0 Back: 529.416
INFO - Atoms: 73967/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 20106523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.144 Prop: 23025.725 PropClause: 22515.054 Set: 4245.867 Check: 0.0 Back: 531.302
INFO - Atoms: 73755/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 20180108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.153 Prop: 23102.193 PropClause: 22589.698 Set: 4259.341 Check: 0.0 Back: 533.222
INFO - Atoms: 73585/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 20253471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.16 Prop: 23171.627 PropClause: 22657.317 Set: 4272.808 Check: 0.0 Back: 535.151
INFO - Atoms: 73363/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 20326659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.169 Prop: 23247.407 PropClause: 22731.272 Set: 4286.208 Check: 0.0 Back: 537.047
INFO - Atoms: 73188/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 20399634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.178 Prop: 23315.185 PropClause: 22797.239 Set: 4299.466 Check: 0.0 Back: 538.934
INFO - Atoms: 72975/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 20472433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.185 Prop: 23390.768 PropClause: 22871.017 Set: 4312.666 Check: 0.0 Back: 540.79
INFO - Atoms: 72799/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 20545018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.192 Prop: 23461.542 PropClause: 22939.992 Set: 4325.876 Check: 0.0 Back: 542.666
INFO - Atoms: 72585/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 20617431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.2 Prop: 23541.662 PropClause: 23018.319 Set: 4339.461 Check: 0.0 Back: 544.556
INFO - Atoms: 72413/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 20689624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.208 Prop: 23612.881 PropClause: 23087.748 Set: 4352.279 Check: 0.0 Back: 546.424
INFO - Atoms: 72193/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 20761649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.216 Prop: 23678.458 PropClause: 23151.538 Set: 4365.192 Check: 0.0 Back: 548.303
INFO - Atoms: 72025/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 20833452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.223 Prop: 23745.259 PropClause: 23216.555 Set: 4378.066 Check: 0.0 Back: 550.158
INFO - Atoms: 71803/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 20905080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 23807.035 PropClause: 23276.557 Set: 4390.791 Check: 0.0 Back: 552.011
INFO - Atoms: 71628/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 20976495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.24 Prop: 23873.031 PropClause: 23340.769 Set: 4403.576 Check: 0.0 Back: 553.859
INFO - Atoms: 71415/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 21047738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.247 Prop: 23940.232 PropClause: 23406.219 Set: 4416.501 Check: 0.0 Back: 555.693
INFO - Atoms: 71243/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 21118763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.257 Prop: 24004.001 PropClause: 23468.23 Set: 4429.302 Check: 0.0 Back: 557.536
INFO - Atoms: 71025/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 21189616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.264 Prop: 24074.173 PropClause: 23536.642 Set: 4442.418 Check: 0.0 Back: 559.382
INFO - Atoms: 70853/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 21260249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.271 Prop: 24135.407 PropClause: 23596.134 Set: 4455.002 Check: 0.0 Back: 561.194
INFO - Atoms: 70633/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 21330714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.278 Prop: 24205.115 PropClause: 23664.064 Set: 4467.779 Check: 0.0 Back: 563.135
INFO - Atoms: 70465/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 21400957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 24270.038 PropClause: 23727.255 Set: 4480.234 Check: 0.0 Back: 564.923
INFO - Atoms: 70243/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 21471030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.294 Prop: 24339.379 PropClause: 23794.846 Set: 4492.938 Check: 0.0 Back: 566.721
INFO - Atoms: 70073/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 21540885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.301 Prop: 24402.619 PropClause: 23856.354 Set: 4505.316 Check: 0.0 Back: 568.487
INFO - Atoms: 69855/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 21610568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.308 Prop: 24464.214 PropClause: 23916.208 Set: 4545.504 Check: 0.0 Back: 570.287
INFO - Atoms: 69683/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 21680031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 24527.299 PropClause: 23977.584 Set: 4557.793 Check: 0.0 Back: 572.031
INFO - Atoms: 69463/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 21749300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.322 Prop: 24586.261 PropClause: 24034.841 Set: 4569.898 Check: 0.0 Back: 573.787
INFO - Atoms: 69269/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 21818375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.33 Prop: 24644.832 PropClause: 24091.708 Set: 4582.066 Check: 0.0 Back: 575.548
INFO - Atoms: 69075/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 21887280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.338 Prop: 24707.079 PropClause: 24152.251 Set: 4594.372 Check: 0.0 Back: 577.316
INFO - Atoms: 68905/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 21955963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.347 Prop: 24772.75 PropClause: 24216.223 Set: 4606.826 Check: 0.0 Back: 579.079
INFO - Atoms: 68683/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 22024476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.354 Prop: 24838.281 PropClause: 24280.046 Set: 4619.234 Check: 0.0 Back: 580.857
INFO - Atoms: 68513/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 22092769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.361 Prop: 24898.802 PropClause: 24338.891 Set: 4631.548 Check: 0.0 Back: 582.587
INFO - Atoms: 68293/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 22160868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.367 Prop: 24962.748 PropClause: 24401.142 Set: 4643.646 Check: 0.0 Back: 584.35
INFO - Atoms: 68099/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 22228773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.373 Prop: 25019.058 PropClause: 24455.777 Set: 4655.356 Check: 0.0 Back: 586.066
INFO - Atoms: 67905/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 22296508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.38 Prop: 25081.995 PropClause: 24517.048 Set: 4667.343 Check: 0.0 Back: 587.79
INFO - Atoms: 67735/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 22364023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.388 Prop: 25144.713 PropClause: 24578.081 Set: 4679.478 Check: 0.0 Back: 589.551
INFO - Atoms: 67515/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 22431368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.397 Prop: 25205.071 PropClause: 24636.773 Set: 4691.595 Check: 0.0 Back: 591.267
INFO - Atoms: 67345/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 22498493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.404 Prop: 25264.745 PropClause: 24694.797 Set: 4703.447 Check: 0.0 Back: 592.974
INFO - Atoms: 67125/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 22565448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 25322.857 PropClause: 24751.248 Set: 4715.224 Check: 0.0 Back: 594.694
INFO - Atoms: 66955/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 22632181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.419 Prop: 25383.832 PropClause: 24810.573 Set: 4727.005 Check: 0.0 Back: 596.383
INFO - Atoms: 66733/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 22698720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 25445.589 PropClause: 24870.681 Set: 4738.757 Check: 0.0 Back: 598.084
INFO - Atoms: 66539/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 22765065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.433 Prop: 25500.295 PropClause: 24923.737 Set: 4750.334 Check: 0.0 Back: 599.72
INFO - Atoms: 66345/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 22831214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.44 Prop: 25563.136 PropClause: 24984.944 Set: 4761.934 Check: 0.0 Back: 601.42
INFO - Atoms: 66149/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 22897169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.447 Prop: 25616.896 PropClause: 25037.071 Set: 4773.408 Check: 0.0 Back: 603.095
INFO - Atoms: 65955/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 22962954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.453 Prop: 25676.754 PropClause: 25095.306 Set: 4784.931 Check: 0.0 Back: 604.774
INFO - Atoms: 65785/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 23028519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.461 Prop: 25730.411 PropClause: 25147.331 Set: 4796.247 Check: 0.0 Back: 606.436
INFO - Atoms: 65565/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 23093888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.468 Prop: 25790.795 PropClause: 25206.093 Set: 4807.835 Check: 0.0 Back: 608.1
INFO - Atoms: 65369/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 23159061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.476 Prop: 25849.6 PropClause: 25263.278 Set: 4819.55 Check: 0.0 Back: 609.772
INFO - Atoms: 65173/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 23224066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.485 Prop: 25906.028 PropClause: 25318.077 Set: 4830.81 Check: 0.0 Back: 611.503
INFO - Atoms: 65005/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 23288849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.493 Prop: 25960.621 PropClause: 25371.062 Set: 4842.087 Check: 0.0 Back: 613.149
INFO - Atoms: 64783/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 23353462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.501 Prop: 26020.404 PropClause: 25429.245 Set: 4853.382 Check: 0.0 Back: 614.802
INFO - Atoms: 64613/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 23417857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.509 Prop: 26081.646 PropClause: 25488.857 Set: 4864.897 Check: 0.0 Back: 616.445
INFO - Atoms: 64395/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 23482082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.517 Prop: 26143.483 PropClause: 25549.093 Set: 4876.025 Check: 0.0 Back: 618.099
INFO - Atoms: 64225/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 23546085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.526 Prop: 26194.441 PropClause: 25598.451 Set: 4887.07 Check: 0.0 Back: 619.72
INFO - Atoms: 64003/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 23609920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.534 Prop: 26247.175 PropClause: 25649.597 Set: 4898.122 Check: 0.0 Back: 621.347
INFO - Atoms: 63835/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 23673535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.543 Prop: 26302.839 PropClause: 25703.68 Set: 4909.166 Check: 0.0 Back: 622.971
INFO - Atoms: 63615/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 23736978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.552 Prop: 26359.49 PropClause: 25758.759 Set: 4920.31 Check: 0.0 Back: 624.591
INFO - Atoms: 63443/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 23800203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.56 Prop: 26413.088 PropClause: 25810.797 Set: 4931.353 Check: 0.0 Back: 626.185
INFO - Atoms: 63225/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 23863258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.566 Prop: 26468.309 PropClause: 25864.467 Set: 4942.555 Check: 0.0 Back: 627.824
INFO - Atoms: 63055/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 23926093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.573 Prop: 26520.801 PropClause: 25915.399 Set: 4953.485 Check: 0.0 Back: 629.403
INFO - Atoms: 62835/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 23988756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.58 Prop: 26571.566 PropClause: 25964.613 Set: 4964.308 Check: 0.0 Back: 631.021
INFO - Atoms: 62663/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 24051199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.588 Prop: 26625.004 PropClause: 26016.513 Set: 5006.857 Check: 0.0 Back: 632.598
INFO - Atoms: 62443/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 24113472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.597 Prop: 26674.395 PropClause: 26064.362 Set: 5017.477 Check: 0.0 Back: 634.095
INFO - Atoms: 62273/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 24175527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.605 Prop: 26731.083 PropClause: 26119.49 Set: 5028.65 Check: 0.0 Back: 635.646
INFO - Atoms: 62055/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 24237410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.613 Prop: 26790.891 PropClause: 26177.585 Set: 5041.544 Check: 0.0 Back: 637.257
INFO - Atoms: 61883/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 24299075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.623 Prop: 26847.038 PropClause: 26231.882 Set: 5054.747 Check: 0.0 Back: 638.971
INFO - Atoms: 61665/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 24360589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.63 Prop: 26902.187 PropClause: 26285.516 Set: 5065.567 Check: 0.0 Back: 640.594
INFO - Atoms: 61514/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 24420910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.638 Prop: 26951.948 PropClause: 26333.774 Set: 5075.665 Check: 0.0 Back: 642.16
INFO - Atoms: 60321/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 24481059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.644 Prop: 27002.679 PropClause: 26383.011 Set: 5085.983 Check: 0.0 Back: 643.656
INFO - Atoms: 60149/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 24540990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.651 Prop: 27051.139 PropClause: 26429.992 Set: 5096.232 Check: 0.0 Back: 645.156
INFO - Atoms: 59931/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 24600751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.659 Prop: 27098.774 PropClause: 26476.145 Set: 5106.31 Check: 0.0 Back: 646.675
INFO - Atoms: 59761/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 24660290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.666 Prop: 27148.488 PropClause: 26524.38 Set: 5116.496 Check: 0.0 Back: 648.16
INFO - Atoms: 59539/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 24719659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.675 Prop: 27197.971 PropClause: 26572.377 Set: 5126.752 Check: 0.0 Back: 649.681
INFO - Atoms: 59369/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 24778808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.682 Prop: 27243.631 PropClause: 26616.551 Set: 5137.062 Check: 0.0 Back: 651.172
INFO - Atoms: 59149/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 24837789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.691 Prop: 27293.911 PropClause: 26665.371 Set: 5147.188 Check: 0.0 Back: 652.665
INFO - Atoms: 58981/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 24896548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 27341.241 PropClause: 26711.233 Set: 5157.234 Check: 0.0 Back: 654.141
INFO - Atoms: 58759/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 24955132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.708 Prop: 27387.285 PropClause: 26755.824 Set: 5167.147 Check: 0.0 Back: 655.651
INFO - Atoms: 58584/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 25013501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.715 Prop: 27435.121 PropClause: 26802.215 Set: 5177.129 Check: 0.0 Back: 657.123
INFO - Atoms: 58369/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 25071702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 27481.46 PropClause: 26847.122 Set: 5186.832 Check: 0.0 Back: 658.592
INFO - Atoms: 58201/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 25129683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.728 Prop: 27524.767 PropClause: 26888.985 Set: 5196.644 Check: 0.0 Back: 660.028
INFO - Atoms: 57981/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 25187492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.734 Prop: 27571.699 PropClause: 26934.478 Set: 5206.312 Check: 0.0 Back: 661.488
INFO - Atoms: 57809/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 25245081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.741 Prop: 27614.129 PropClause: 26975.49 Set: 5215.919 Check: 0.0 Back: 662.936
INFO - Atoms: 57589/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 25302500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.758 Prop: 27660.968 PropClause: 27020.902 Set: 5226.061 Check: 0.0 Back: 664.386
INFO - Atoms: 57419/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 25359701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.765 Prop: 27704.886 PropClause: 27063.413 Set: 5235.742 Check: 0.0 Back: 665.815
INFO - Atoms: 57201/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 25416732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.772 Prop: 27746.566 PropClause: 27103.684 Set: 5245.199 Check: 0.0 Back: 667.247
INFO - Atoms: 57031/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 25473541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.78 Prop: 27792.063 PropClause: 27147.768 Set: 5254.867 Check: 0.0 Back: 668.658
INFO - Atoms: 56809/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 25530180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.788 Prop: 27837.585 PropClause: 27191.89 Set: 5264.455 Check: 0.0 Back: 670.076
INFO - Atoms: 56639/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 25586599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.796 Prop: 27878.71 PropClause: 27231.614 Set: 5273.798 Check: 0.0 Back: 671.535
INFO - Atoms: 56419/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 25642848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.803 Prop: 27919.093 PropClause: 27270.614 Set: 5283.038 Check: 0.0 Back: 672.932
INFO - Atoms: 56249/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 25698879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.811 Prop: 27958.882 PropClause: 27309.012 Set: 5292.368 Check: 0.0 Back: 674.314
INFO - Atoms: 56031/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 25754738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.82 Prop: 28003.036 PropClause: 27351.782 Set: 5301.955 Check: 0.0 Back: 675.7
INFO - Atoms: 55859/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 25810377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.826 Prop: 28044.446 PropClause: 27391.806 Set: 5311.296 Check: 0.0 Back: 677.081
INFO - Atoms: 55639/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 25865846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.834 Prop: 28084.113 PropClause: 27430.095 Set: 5320.383 Check: 0.0 Back: 678.459
INFO - Atoms: 55469/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 25921097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.84 Prop: 28124.376 PropClause: 27468.986 Set: 5329.588 Check: 0.0 Back: 679.803
INFO - Atoms: 55251/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 25976172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.847 Prop: 28164.959 PropClause: 27508.211 Set: 5338.746 Check: 0.0 Back: 681.157
INFO - Atoms: 55075/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 26031031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.854 Prop: 28206.253 PropClause: 27548.135 Set: 5348.193 Check: 0.0 Back: 682.503
INFO - Atoms: 54859/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 26085720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.861 Prop: 28248.595 PropClause: 27589.122 Set: 5357.225 Check: 0.0 Back: 683.867
INFO - Atoms: 54689/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 26140191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.868 Prop: 28287.213 PropClause: 27626.394 Set: 5366.115 Check: 0.0 Back: 685.221
INFO - Atoms: 54471/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 26193536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.876 Prop: 28324.009 PropClause: 27661.885 Set: 5374.739 Check: 0.0 Back: 686.567
INFO - Atoms: 53345/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 26246663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 28361.392 PropClause: 27697.947 Set: 5383.356 Check: 0.0 Back: 687.864
INFO - Atoms: 53127/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 26299620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.892 Prop: 28398.692 PropClause: 27733.931 Set: 5391.999 Check: 0.0 Back: 689.166
INFO - Atoms: 52957/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 26352357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.899 Prop: 28432.72 PropClause: 27766.674 Set: 5400.448 Check: 0.0 Back: 690.459
INFO - Atoms: 52737/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 26404924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 28469.811 PropClause: 27802.479 Set: 5409.019 Check: 0.0 Back: 691.742
INFO - Atoms: 52567/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 26457271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.913 Prop: 28506.629 PropClause: 27837.999 Set: 5417.465 Check: 0.0 Back: 693.022
INFO - Atoms: 52347/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 26509448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.921 Prop: 28541.829 PropClause: 27871.908 Set: 5425.804 Check: 0.0 Back: 694.298
INFO - Atoms: 52177/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 26561405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.928 Prop: 28577.329 PropClause: 27906.116 Set: 5462.68 Check: 0.0 Back: 695.552
INFO - Atoms: 51957/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 26613190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.938 Prop: 28613.239 PropClause: 27940.735 Set: 5471.179 Check: 0.0 Back: 696.782
INFO - Atoms: 51785/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 26664755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.946 Prop: 28649.203 PropClause: 27975.406 Set: 5479.625 Check: 0.0 Back: 698.048
INFO - Atoms: 51565/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 26716152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.952 Prop: 28682.25 PropClause: 28007.182 Set: 5487.877 Check: 0.0 Back: 699.313
INFO - Atoms: 51397/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 26767327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.959 Prop: 28717.923 PropClause: 28041.578 Set: 5496.162 Check: 0.0 Back: 700.533
INFO - Atoms: 51175/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 26818332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.967 Prop: 28750.882 PropClause: 28073.276 Set: 5504.377 Check: 0.0 Back: 701.758
INFO - Atoms: 51005/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 26869119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 28785.326 PropClause: 28106.45 Set: 5512.624 Check: 0.0 Back: 702.999
INFO - Atoms: 50787/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 26919736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.984 Prop: 28820.243 PropClause: 28140.109 Set: 5520.804 Check: 0.0 Back: 704.247
INFO - Atoms: 50617/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 26970133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 28850.866 PropClause: 28169.473 Set: 5528.857 Check: 0.0 Back: 705.503
INFO - Atoms: 50397/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 27020358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.997 Prop: 28884.794 PropClause: 28202.155 Set: 5536.949 Check: 0.0 Back: 706.729
INFO - Atoms: 50225/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 27070363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.005 Prop: 28916.728 PropClause: 28232.859 Set: 5544.999 Check: 0.0 Back: 707.964
INFO - Atoms: 50005/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 27120198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.013 Prop: 28951.27 PropClause: 28266.167 Set: 5553.15 Check: 0.0 Back: 709.177
INFO - Atoms: 49835/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 27169815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.019 Prop: 28980.228 PropClause: 28293.908 Set: 5560.918 Check: 0.0 Back: 710.409
INFO - Atoms: 49617/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 27219260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.026 Prop: 29011.774 PropClause: 28324.235 Set: 5568.831 Check: 0.0 Back: 711.577
INFO - Atoms: 49445/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 27268487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.033 Prop: 29044.929 PropClause: 28356.182 Set: 5576.668 Check: 0.0 Back: 712.745
INFO - Atoms: 49227/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 27317544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.038 Prop: 29075.753 PropClause: 28385.751 Set: 5584.368 Check: 0.0 Back: 713.95
INFO - Atoms: 49057/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 27366381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 29105.267 PropClause: 28414.054 Set: 5592.046 Check: 0.0 Back: 715.144
INFO - Atoms: 48837/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 27415048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.054 Prop: 29135.331 PropClause: 28442.915 Set: 5627.639 Check: 0.0 Back: 716.317
INFO - Atoms: 48667/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 27463495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 29164.398 PropClause: 28470.784 Set: 5635.233 Check: 0.0 Back: 717.445
INFO - Atoms: 48447/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 27511772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.069 Prop: 29193.268 PropClause: 28498.463 Set: 5642.792 Check: 0.0 Back: 718.602
INFO - Atoms: 48277/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 27559827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.075 Prop: 29220.659 PropClause: 28524.665 Set: 5650.321 Check: 0.0 Back: 719.748
INFO - Atoms: 48055/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 27607712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 29249.09 PropClause: 28551.912 Set: 5657.862 Check: 0.0 Back: 720.877
INFO - Atoms: 47885/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 27655379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.088 Prop: 29279.353 PropClause: 28580.994 Set: 5665.477 Check: 0.0 Back: 721.992
INFO - Atoms: 47667/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 27702876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.096 Prop: 29307.994 PropClause: 28608.448 Set: 5672.988 Check: 0.0 Back: 723.131
INFO - Atoms: 47497/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 27750153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.104 Prop: 29338.605 PropClause: 28637.896 Set: 5680.544 Check: 0.0 Back: 724.264
INFO - Atoms: 47277/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 27797258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.112 Prop: 29368.474 PropClause: 28666.582 Set: 5687.996 Check: 0.0 Back: 725.425
INFO - Atoms: 47105/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 27844143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.12 Prop: 29397.037 PropClause: 28693.977 Set: 5695.439 Check: 0.0 Back: 726.559
INFO - Atoms: 46885/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 27890860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.128 Prop: 29426.122 PropClause: 28721.896 Set: 5702.847 Check: 0.0 Back: 727.695
INFO - Atoms: 46717/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 27937355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.134 Prop: 29454.654 PropClause: 28749.274 Set: 5710.19 Check: 0.0 Back: 728.799
INFO - Atoms: 46495/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 27983682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.141 Prop: 29482.248 PropClause: 28775.727 Set: 5717.426 Check: 0.0 Back: 729.897
INFO - Atoms: 46327/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 28029789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.146 Prop: 29510.316 PropClause: 28802.658 Set: 5724.663 Check: 0.0 Back: 730.99
INFO - Atoms: 46107/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 28075726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.153 Prop: 29538.126 PropClause: 28829.327 Set: 5731.857 Check: 0.0 Back: 732.089
INFO - Atoms: 45937/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 28121443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.16 Prop: 29564.253 PropClause: 28854.339 Set: 5738.939 Check: 0.0 Back: 733.162
INFO - Atoms: 45717/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 28166990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.212 Prop: 29590.952 PropClause: 28879.91 Set: 5746.045 Check: 0.0 Back: 734.243
INFO - Atoms: 45547/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 28212317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.256 Prop: 29617.839 PropClause: 28905.674 Set: 5753.178 Check: 0.0 Back: 735.324
INFO - Atoms: 45327/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 28257474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.304 Prop: 29644.816 PropClause: 28931.518 Set: 5760.237 Check: 0.0 Back: 736.398
INFO - Atoms: 45157/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 28302411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.31 Prop: 29671.767 PropClause: 28957.358 Set: 5767.285 Check: 0.0 Back: 737.463
INFO - Atoms: 44937/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 28347178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.318 Prop: 29698.196 PropClause: 28982.674 Set: 5774.306 Check: 0.0 Back: 738.531
INFO - Atoms: 44767/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 28391723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.324 Prop: 29723.69 PropClause: 29007.059 Set: 5781.269 Check: 0.0 Back: 739.586
INFO - Atoms: 44545/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 28436098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.331 Prop: 29750.295 PropClause: 29032.571 Set: 5788.216 Check: 0.0 Back: 740.632
INFO - Atoms: 44375/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 28480255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.339 Prop: 29776.169 PropClause: 29057.35 Set: 5795.144 Check: 0.0 Back: 741.715
INFO - Atoms: 44157/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 28524242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.347 Prop: 29801.896 PropClause: 29081.994 Set: 5802.01 Check: 0.0 Back: 742.746
INFO - Atoms: 43987/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 28568009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.353 Prop: 29826.689 PropClause: 29105.697 Set: 5808.878 Check: 0.0 Back: 743.779
INFO - Atoms: 43767/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 28611604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.36 Prop: 29852.727 PropClause: 29130.642 Set: 5815.727 Check: 0.0 Back: 744.819
INFO - Atoms: 43595/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 28654981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.367 Prop: 29876.812 PropClause: 29153.639 Set: 5822.508 Check: 0.0 Back: 745.849
INFO - Atoms: 43377/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 28698188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.372 Prop: 29900.44 PropClause: 29176.192 Set: 5829.225 Check: 0.0 Back: 746.865
INFO - Atoms: 43207/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 28741175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.38 Prop: 29923.715 PropClause: 29198.39 Set: 5835.93 Check: 0.0 Back: 747.87
INFO - Atoms: 42987/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 28783992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.386 Prop: 29947.332 PropClause: 29220.94 Set: 5842.554 Check: 0.0 Back: 748.874
INFO - Atoms: 42817/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 28826589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.394 Prop: 29970.722 PropClause: 29243.271 Set: 5849.15 Check: 0.0 Back: 749.863
INFO - Atoms: 42597/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 28869016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.401 Prop: 29995.089 PropClause: 29266.579 Set: 5855.715 Check: 0.0 Back: 750.87
INFO - Atoms: 42427/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 28911223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 30018.1 PropClause: 29288.536 Set: 5862.231 Check: 0.0 Back: 751.857
INFO - Atoms: 42207/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 28953260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.414 Prop: 30040.657 PropClause: 29310.054 Set: 5868.624 Check: 0.0 Back: 752.84
INFO - Atoms: 42037/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 28995075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.42 Prop: 30062.434 PropClause: 29330.798 Set: 5875.001 Check: 0.0 Back: 753.801
INFO - Atoms: 41815/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 29036720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 30083.966 PropClause: 29351.285 Set: 5881.377 Check: 0.0 Back: 754.78
INFO - Atoms: 41645/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 29077955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.435 Prop: 30105.23 PropClause: 29371.521 Set: 5887.718 Check: 0.0 Back: 755.744
INFO - Atoms: 41235/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 29118933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.442 Prop: 30126.604 PropClause: 29391.852 Set: 5894.097 Check: 0.0 Back: 756.705
INFO - Atoms: 40978/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 29159693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.45 Prop: 30148.359 PropClause: 29412.571 Set: 5900.382 Check: 0.0 Back: 757.656
INFO - Atoms: 40760/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 29200283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.456 Prop: 30169.883 PropClause: 29433.074 Set: 5906.546 Check: 0.0 Back: 758.612
INFO - Atoms: 40590/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 29240653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.463 Prop: 30189.406 PropClause: 29451.597 Set: 5912.62 Check: 0.0 Back: 759.555
INFO - Atoms: 40370/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 29280853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.469 Prop: 30209.136 PropClause: 29470.328 Set: 5918.662 Check: 0.0 Back: 760.488
INFO - Atoms: 40200/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 29320833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.475 Prop: 30228.644 PropClause: 29488.838 Set: 5924.676 Check: 0.0 Back: 761.426
INFO - Atoms: 39980/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 29360643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.482 Prop: 30248.676 PropClause: 29507.88 Set: 5930.66 Check: 0.0 Back: 762.355
INFO - Atoms: 39810/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 29400233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.487 Prop: 30267.244 PropClause: 29525.473 Set: 5936.514 Check: 0.0 Back: 763.277
INFO - Atoms: 39590/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 29439653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.493 Prop: 30286.481 PropClause: 29543.737 Set: 5942.332 Check: 0.0 Back: 764.186
INFO - Atoms: 39420/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 29478853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.499 Prop: 30304.958 PropClause: 29561.245 Set: 5948.116 Check: 0.0 Back: 765.096
INFO - Atoms: 39200/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 29517883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.505 Prop: 30322.869 PropClause: 29578.148 Set: 5954.22 Check: 0.0 Back: 766.01
INFO - Atoms: 39030/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 29556693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.513 Prop: 30340.826 PropClause: 29595.134 Set: 5959.949 Check: 0.0 Back: 766.919
INFO - Atoms: 38810/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 29595333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.519 Prop: 30358.582 PropClause: 29611.936 Set: 5965.613 Check: 0.0 Back: 767.826
INFO - Atoms: 38640/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 29633753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.527 Prop: 30376.713 PropClause: 29629.116 Set: 5971.27 Check: 0.0 Back: 768.711
INFO - Atoms: 38420/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 29672003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.534 Prop: 30393.059 PropClause: 29644.508 Set: 5976.898 Check: 0.0 Back: 769.596
INFO - Atoms: 38250/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 29710058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.542 Prop: 30409.076 PropClause: 29659.588 Set: 5982.496 Check: 0.0 Back: 770.48
INFO - Atoms: 38055/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 885 Props: 32574534 Tprops: 0 Decides: 12027 RSplits: 0
INFO - Times: Expl: 1842.494 Prop: 33049.675 PropClause: 32218.051 Set: 6058.572 Check: 0.302 Back: 840.515
INFO - Atoms: 37366/114046 Clauses: 1668 Axioms: 377794
INFO - Confl: 1301 Props: 34474950 Tprops: 0 Decides: 17633 RSplits: 0
INFO - Times: Expl: 2522.415 Prop: 34580.495 PropClause: 33696.569 Set: 6106.107 Check: 0.467 Back: 886.372
INFO - Atoms: 38037/114046 Clauses: 2084 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1801 Props: 37408710 Tprops: 0 Decides: 29726 RSplits: 0
INFO - Times: Expl: 3703.559 Prop: 37346.325 PropClause: 36380.533 Set: 6183.593 Check: 0.759 Back: 957.122
INFO - Atoms: 37372/114046 Clauses: 1672 Axioms: 377794
INFO - Confl: 2267 Props: 39209862 Tprops: 0 Decides: 35081 RSplits: 0
INFO - Times: Expl: 4359.558 Prop: 38858.595 PropClause: 37844.392 Set: 6227.999 Check: 0.893 Back: 999.883
INFO - Atoms: 38738/114046 Clauses: 2138 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2767 Props: 41758491 Tprops: 0 Decides: 45010 RSplits: 0
INFO - Times: Expl: 5432.937 Prop: 41214.721 PropClause: 40131.148 Set: 6296.114 Check: 1.164 Back: 1060.893
INFO - Atoms: 37375/114046 Clauses: 1674 Axioms: 377794
INFO - Confl: 3193 Props: 43349385 Tprops: 0 Decides: 49635 RSplits: 0
INFO - Times: Expl: 5974.041 Prop: 42412.477 PropClause: 41285.642 Set: 6335.597 Check: 1.284 Back: 1098.958
INFO - Atoms: 37815/114046 Clauses: 2100 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3693 Props: 46027142 Tprops: 0 Decides: 59965 RSplits: 0
INFO - Times: Expl: 7229.74 Prop: 44813.077 PropClause: 43611.057 Set: 6407.962 Check: 1.537 Back: 1162.93
INFO - Atoms: 37367/114046 Clauses: 1674 Axioms: 377794
INFO - Confl: 4115 Props: 47811006 Tprops: 0 Decides: 65125 RSplits: 0
INFO - Times: Expl: 7895.863 Prop: 46384.888 PropClause: 45134.9 Set: 6451.922 Check: 1.668 Back: 1205.284
INFO - Atoms: 38095/114046 Clauses: 2096 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4615 Props: 50012142 Tprops: 0 Decides: 72856 RSplits: 0
INFO - Times: Expl: 9136.723 Prop: 48428.163 PropClause: 47117.596 Set: 6512.352 Check: 1.862 Back: 1257.45
INFO - Atoms: 37365/114046 Clauses: 1674 Axioms: 377794
INFO - Restart
INFO - Confl: 5115 Props: 52041671 Tprops: 0 Decides: 79220 RSplits: 0
INFO - Times: Expl: 9879.226 Prop: 50088.701 PropClause: 48722.116 Set: 6562.492 Check: 2.028 Back: 1306.024
INFO - Atoms: 37654/114046 Clauses: 2174 Axioms: 377794
INFO - Confl: 5120 Props: 52044937 Tprops: 0 Decides: 79223 RSplits: 0
INFO - Times: Expl: 9886.868 Prop: 50090.343 PropClause: 48723.669 Set: 6562.831 Check: 2.028 Back: 1306.098
INFO - Atoms: 38899/114046 Clauses: 2179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5620 Props: 55157659 Tprops: 0 Decides: 91700 RSplits: 0
INFO - Times: Expl: 11165.278 Prop: 53019.394 PropClause: 51566.297 Set: 6646.684 Check: 2.348 Back: 1380.361
INFO - Atoms: 37367/114046 Clauses: 1678 Axioms: 377794
INFO - Restart
INFO - Confl: 6120 Props: 57104227 Tprops: 0 Decides: 97030 RSplits: 0
INFO - Times: Expl: 11819.35 Prop: 54573.415 PropClause: 53068.318 Set: 6694.821 Check: 2.489 Back: 1426.709
INFO - Atoms: 37414/114046 Clauses: 2178 Axioms: 377794
INFO - Confl: 6154 Props: 57213129 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.569 Prop: 54697.08 PropClause: 53188.983 Set: 6697.628 Check: 2.496 Back: 1429.31
INFO - Atoms: 37497/114046 Clauses: 2212 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6155 Props: 57262932 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.596 Prop: 54768.698 PropClause: 53259.006 Set: 6718.089 Check: 2.496 Back: 1430.228
INFO - Atoms: 49803/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6156 Props: 57312905 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.6 Prop: 54802.949 PropClause: 53292.007 Set: 6726.022 Check: 2.496 Back: 1431.424
INFO - Atoms: 49973/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6157 Props: 57363094 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.605 Prop: 54836.29 PropClause: 53324.096 Set: 6734.087 Check: 2.496 Back: 1432.628
INFO - Atoms: 50189/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6158 Props: 57413459 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.61 Prop: 54873.183 PropClause: 53359.693 Set: 6742.748 Check: 2.496 Back: 1433.832
INFO - Atoms: 50365/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6159 Props: 57464208 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.616 Prop: 54909.657 PropClause: 53394.89 Set: 6751.042 Check: 2.496 Back: 1435.095
INFO - Atoms: 50749/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6160 Props: 57515911 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.75 Prop: 54945.047 PropClause: 53428.988 Set: 6759.516 Check: 2.496 Back: 1436.32
INFO - Atoms: 51703/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6161 Props: 57567631 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.786 Prop: 54980.111 PropClause: 53462.774 Set: 6767.851 Check: 2.496 Back: 1437.56
INFO - Atoms: 51720/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6162 Props: 57619914 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.795 Prop: 55016.899 PropClause: 53498.273 Set: 6776.457 Check: 2.496 Back: 1438.811
INFO - Atoms: 52283/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6163 Props: 57677884 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.805 Prop: 55060.006 PropClause: 53539.94 Set: 6786.158 Check: 2.496 Back: 1440.071
INFO - Atoms: 57970/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6164 Props: 57736630 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.815 Prop: 55111.912 PropClause: 53590.396 Set: 6796.341 Check: 2.496 Back: 1441.472
INFO - Atoms: 58746/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6165 Props: 57795595 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.824 Prop: 55156.025 PropClause: 53633.063 Set: 6806.066 Check: 2.496 Back: 1442.901
INFO - Atoms: 58965/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6166 Props: 57855300 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.835 Prop: 55200.733 PropClause: 53676.302 Set: 6816.046 Check: 2.496 Back: 1444.318
INFO - Atoms: 59705/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6167 Props: 57915182 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.846 Prop: 55248.506 PropClause: 53722.596 Set: 6826.415 Check: 2.496 Back: 1445.765
INFO - Atoms: 59882/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6168 Props: 57975278 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.857 Prop: 55301.244 PropClause: 53773.858 Set: 6836.816 Check: 2.496 Back: 1447.211
INFO - Atoms: 60096/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6169 Props: 58035568 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.869 Prop: 55351.329 PropClause: 53822.458 Set: 6847.077 Check: 2.496 Back: 1448.682
INFO - Atoms: 60290/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6170 Props: 58096034 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.877 Prop: 55397.058 PropClause: 53866.697 Set: 6857.103 Check: 2.496 Back: 1450.129
INFO - Atoms: 60466/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6171 Props: 58156694 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.886 Prop: 55443.695 PropClause: 53911.839 Set: 6867.223 Check: 2.496 Back: 1451.589
INFO - Atoms: 60660/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6172 Props: 58217575 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.897 Prop: 55493.981 PropClause: 53960.627 Set: 6877.645 Check: 2.496 Back: 1453.048
INFO - Atoms: 60881/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6173 Props: 58278633 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.908 Prop: 55547.49 PropClause: 54012.635 Set: 6888.09 Check: 2.496 Back: 1454.53
INFO - Atoms: 61058/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6174 Props: 58339879 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.917 Prop: 55598.605 PropClause: 54062.228 Set: 6898.624 Check: 2.496 Back: 1456.026
INFO - Atoms: 61246/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6175 Props: 58401320 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.929 Prop: 55652.664 PropClause: 54114.777 Set: 6909.22 Check: 2.496 Back: 1457.519
INFO - Atoms: 61441/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6176 Props: 58462961 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.938 Prop: 55705.328 PropClause: 54165.927 Set: 6919.827 Check: 2.496 Back: 1459.009
INFO - Atoms: 61641/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6177 Props: 58524795 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.95 Prop: 55758.59 PropClause: 54217.664 Set: 6930.525 Check: 2.496 Back: 1460.507
INFO - Atoms: 61834/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6178 Props: 58586820 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.962 Prop: 55816.307 PropClause: 54273.66 Set: 6942.705 Check: 2.496 Back: 1462.009
INFO - Atoms: 62025/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6179 Props: 58649040 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.972 Prop: 55871.383 PropClause: 54327.201 Set: 6953.588 Check: 2.496 Back: 1463.525
INFO - Atoms: 62220/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6180 Props: 58711455 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.985 Prop: 55928.811 PropClause: 54383.087 Set: 6964.514 Check: 2.496 Back: 1465.051
INFO - Atoms: 62415/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6181 Props: 58774083 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11878.996 Prop: 55983.756 PropClause: 54436.489 Set: 6975.238 Check: 2.496 Back: 1466.596
INFO - Atoms: 62628/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6182 Props: 58836890 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.007 Prop: 56040.381 PropClause: 54491.559 Set: 6986.3 Check: 2.496 Back: 1468.133
INFO - Atoms: 62807/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6183 Props: 58899910 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.018 Prop: 56095.546 PropClause: 54545.158 Set: 6997.337 Check: 2.496 Back: 1469.7
INFO - Atoms: 63020/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6184 Props: 58963143 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.029 Prop: 56154.0 PropClause: 54602.058 Set: 7008.372 Check: 2.496 Back: 1471.254
INFO - Atoms: 63233/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6185 Props: 59026533 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.038 Prop: 56205.099 PropClause: 54651.601 Set: 7019.137 Check: 2.496 Back: 1472.827
INFO - Atoms: 63390/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6186 Props: 59090289 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.047 Prop: 56257.178 PropClause: 54702.11 Set: 7030.103 Check: 2.496 Back: 1474.365
INFO - Atoms: 63756/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6187 Props: 59154077 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.058 Prop: 56312.323 PropClause: 54755.671 Set: 7041.077 Check: 2.496 Back: 1475.938
INFO - Atoms: 63788/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6188 Props: 59218240 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.067 Prop: 56368.87 PropClause: 54810.635 Set: 7052.644 Check: 2.496 Back: 1477.513
INFO - Atoms: 64163/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6189 Props: 59282411 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.077 Prop: 56425.616 PropClause: 54865.8 Set: 7063.679 Check: 2.496 Back: 1479.09
INFO - Atoms: 64171/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6190 Props: 59346776 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.154 Prop: 56484.619 PropClause: 54923.195 Set: 7074.989 Check: 2.496 Back: 1480.649
INFO - Atoms: 64365/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6191 Props: 59411340 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.186 Prop: 56541.381 PropClause: 54978.307 Set: 7086.605 Check: 2.496 Back: 1482.248
INFO - Atoms: 64564/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6192 Props: 59476113 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.19 Prop: 56599.6 PropClause: 55034.933 Set: 7097.889 Check: 2.496 Back: 1483.842
INFO - Atoms: 64773/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6193 Props: 59541251 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.196 Prop: 56657.883 PropClause: 55091.604 Set: 7109.34 Check: 2.496 Back: 1485.45
INFO - Atoms: 65138/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6194 Props: 59606400 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.201 Prop: 56712.958 PropClause: 55145.07 Set: 7120.618 Check: 2.496 Back: 1487.051
INFO - Atoms: 65149/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6195 Props: 59671740 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.206 Prop: 56768.494 PropClause: 55198.989 Set: 7131.949 Check: 2.496 Back: 1488.647
INFO - Atoms: 65340/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6196 Props: 59737321 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.21 Prop: 56828.695 PropClause: 55257.571 Set: 7143.803 Check: 2.496 Back: 1490.249
INFO - Atoms: 65581/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6197 Props: 59811457 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.215 Prop: 56899.988 PropClause: 55327.006 Set: 7157.347 Check: 2.496 Back: 1491.879
INFO - Atoms: 74136/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6198 Props: 59885808 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.219 Prop: 56974.823 PropClause: 55399.975 Set: 7170.942 Check: 2.496 Back: 1493.773
INFO - Atoms: 74351/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6199 Props: 59960354 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.223 Prop: 57042.106 PropClause: 55465.416 Set: 7184.057 Check: 2.496 Back: 1495.68
INFO - Atoms: 74546/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6200 Props: 60035093 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.227 Prop: 57122.285 PropClause: 55543.289 Set: 7200.681 Check: 2.496 Back: 1497.554
INFO - Atoms: 74739/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6201 Props: 60110017 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.231 Prop: 57201.198 PropClause: 55619.755 Set: 7219.53 Check: 2.496 Back: 1499.44
INFO - Atoms: 74924/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6202 Props: 60185145 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.235 Prop: 57269.838 PropClause: 55686.546 Set: 7232.581 Check: 2.496 Back: 1501.52
INFO - Atoms: 75128/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6203 Props: 60260533 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.24 Prop: 57342.187 PropClause: 55757.028 Set: 7246.004 Check: 2.496 Back: 1503.417
INFO - Atoms: 75388/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6204 Props: 60331043 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.331 Prop: 57411.789 PropClause: 55824.89 Set: 7258.325 Check: 2.496 Back: 1505.341
INFO - Atoms: 70510/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6205 Props: 60414167 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.463 Prop: 57486.777 PropClause: 55897.81 Set: 7273.284 Check: 2.496 Back: 1507.128
INFO - Atoms: 83124/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6206 Props: 60497492 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.474 Prop: 57570.877 PropClause: 55979.789 Set: 7288.215 Check: 2.496 Back: 1509.236
INFO - Atoms: 83325/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6207 Props: 60581020 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.483 Prop: 57657.661 PropClause: 56064.492 Set: 7303.497 Check: 2.496 Back: 1511.389
INFO - Atoms: 83528/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6208 Props: 60664753 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.492 Prop: 57743.76 PropClause: 56148.515 Set: 7318.6 Check: 2.496 Back: 1513.521
INFO - Atoms: 83733/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6209 Props: 60748671 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.502 Prop: 57826.85 PropClause: 56229.539 Set: 7333.605 Check: 2.496 Back: 1515.659
INFO - Atoms: 83918/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6210 Props: 60832946 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.513 Prop: 57913.172 PropClause: 56313.723 Set: 7349.136 Check: 2.496 Back: 1517.785
INFO - Atoms: 84275/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6211 Props: 60917246 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.522 Prop: 57995.686 PropClause: 56394.16 Set: 7363.956 Check: 2.496 Back: 1519.922
INFO - Atoms: 84300/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6212 Props: 61001742 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.534 Prop: 58085.519 PropClause: 56481.907 Set: 7379.366 Check: 2.496 Back: 1522.043
INFO - Atoms: 84496/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6213 Props: 61086621 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.545 Prop: 58175.315 PropClause: 56569.588 Set: 7394.668 Check: 2.496 Back: 1524.189
INFO - Atoms: 84879/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6214 Props: 61171527 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.557 Prop: 58266.068 PropClause: 56658.21 Set: 7410.346 Check: 2.496 Back: 1526.339
INFO - Atoms: 84906/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6215 Props: 61256619 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.571 Prop: 58359.983 PropClause: 56749.989 Set: 7426.268 Check: 2.496 Back: 1528.51
INFO - Atoms: 85092/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6216 Props: 61342063 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.582 Prop: 58446.555 PropClause: 56834.437 Set: 7441.617 Check: 2.496 Back: 1530.727
INFO - Atoms: 85444/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6217 Props: 61427533 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.592 Prop: 58535.61 PropClause: 56921.335 Set: 7457.637 Check: 2.496 Back: 1532.918
INFO - Atoms: 85470/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6218 Props: 61513387 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.604 Prop: 58625.649 PropClause: 57009.222 Set: 7473.275 Check: 2.496 Back: 1535.111
INFO - Atoms: 85854/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6219 Props: 61599247 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.614 Prop: 58718.483 PropClause: 57099.914 Set: 7489.105 Check: 2.496 Back: 1537.32
INFO - Atoms: 85860/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6220 Props: 61685302 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.622 Prop: 58810.595 PropClause: 57189.886 Set: 7505.366 Check: 2.496 Back: 1539.5
INFO - Atoms: 86055/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6221 Props: 61771741 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.633 Prop: 58901.882 PropClause: 57279.018 Set: 7521.143 Check: 2.496 Back: 1541.698
INFO - Atoms: 86439/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6222 Props: 61858188 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.644 Prop: 58995.145 PropClause: 57370.036 Set: 7537.841 Check: 2.496 Back: 1543.912
INFO - Atoms: 86447/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6223 Props: 61944828 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.655 Prop: 59092.685 PropClause: 57465.388 Set: 7553.813 Check: 2.496 Back: 1546.137
INFO - Atoms: 86640/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6224 Props: 62031663 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.666 Prop: 59185.828 PropClause: 57556.376 Set: 7569.833 Check: 2.496 Back: 1548.506
INFO - Atoms: 86835/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6225 Props: 62118882 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.678 Prop: 59276.319 PropClause: 57644.691 Set: 7585.633 Check: 2.496 Back: 1550.744
INFO - Atoms: 87219/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6226 Props: 62205072 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.688 Prop: 59369.026 PropClause: 57735.244 Set: 7601.504 Check: 2.496 Back: 1552.975
INFO - Atoms: 86190/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6227 Props: 62291458 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.699 Prop: 59460.216 PropClause: 57824.281 Set: 7617.008 Check: 2.496 Back: 1555.2
INFO - Atoms: 86386/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6228 Props: 62378028 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.71 Prop: 59553.69 PropClause: 57915.586 Set: 7632.908 Check: 2.496 Back: 1557.4
INFO - Atoms: 86570/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6229 Props: 62464788 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.721 Prop: 59651.403 PropClause: 58011.128 Set: 7648.872 Check: 2.496 Back: 1559.656
INFO - Atoms: 86760/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6230 Props: 62551742 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.731 Prop: 59744.325 PropClause: 58101.888 Set: 7664.601 Check: 2.496 Back: 1561.866
INFO - Atoms: 86954/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6231 Props: 62638911 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.742 Prop: 59843.064 PropClause: 58198.441 Set: 7680.718 Check: 2.496 Back: 1564.102
INFO - Atoms: 87169/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6232 Props: 62724921 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.752 Prop: 59940.595 PropClause: 58293.796 Set: 7696.699 Check: 2.496 Back: 1566.322
INFO - Atoms: 86010/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6233 Props: 62799385 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.763 Prop: 60026.646 PropClause: 58377.994 Set: 7710.038 Check: 2.496 Back: 1568.561
INFO - Atoms: 74464/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6234 Props: 62873858 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.773 Prop: 60101.115 PropClause: 58450.607 Set: 7723.428 Check: 2.496 Back: 1570.45
INFO - Atoms: 74473/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6235 Props: 62948526 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.783 Prop: 60172.77 PropClause: 58520.401 Set: 7736.654 Check: 2.496 Back: 1572.334
INFO - Atoms: 74668/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6236 Props: 63023413 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.792 Prop: 60247.751 PropClause: 58593.499 Set: 7749.832 Check: 2.496 Back: 1574.221
INFO - Atoms: 74887/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6237 Props: 63098471 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.804 Prop: 60317.273 PropClause: 58661.152 Set: 7763.097 Check: 2.496 Back: 1576.123
INFO - Atoms: 75058/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6238 Props: 63173747 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.883 Prop: 60393.273 PropClause: 58735.282 Set: 7776.589 Check: 2.496 Back: 1577.999
INFO - Atoms: 75276/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6239 Props: 63249219 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.915 Prop: 60468.445 PropClause: 58808.583 Set: 7789.88 Check: 2.496 Back: 1579.874
INFO - Atoms: 75472/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6240 Props: 63324862 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.92 Prop: 60540.345 PropClause: 58878.6 Set: 7803.245 Check: 2.496 Back: 1581.756
INFO - Atoms: 75643/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6241 Props: 63400723 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.924 Prop: 60614.013 PropClause: 58950.393 Set: 7816.668 Check: 2.496 Back: 1583.657
INFO - Atoms: 75861/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6242 Props: 63476781 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.929 Prop: 60691.848 PropClause: 59026.347 Set: 7830.766 Check: 2.496 Back: 1585.569
INFO - Atoms: 76058/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6243 Props: 63553024 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.934 Prop: 60766.738 PropClause: 59099.348 Set: 7844.35 Check: 2.496 Back: 1587.501
INFO - Atoms: 76243/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6244 Props: 63629447 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.938 Prop: 60842.651 PropClause: 59173.376 Set: 7858.001 Check: 2.496 Back: 1589.408
INFO - Atoms: 76423/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6245 Props: 63706090 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.943 Prop: 60923.138 PropClause: 59251.964 Set: 7871.713 Check: 2.496 Back: 1591.341
INFO - Atoms: 76643/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6246 Props: 63782904 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.947 Prop: 61000.58 PropClause: 59327.494 Set: 7886.114 Check: 2.496 Back: 1593.263
INFO - Atoms: 76814/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6247 Props: 63859912 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.95 Prop: 61078.369 PropClause: 59403.387 Set: 7899.804 Check: 2.496 Back: 1595.217
INFO - Atoms: 77008/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6248 Props: 63937139 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.955 Prop: 61153.44 PropClause: 59476.547 Set: 7913.784 Check: 2.496 Back: 1597.154
INFO - Atoms: 77227/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6249 Props: 64014537 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.96 Prop: 61228.532 PropClause: 59549.713 Set: 7927.568 Check: 2.496 Back: 1599.098
INFO - Atoms: 77398/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6250 Props: 64092153 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.964 Prop: 61308.567 PropClause: 59627.819 Set: 7941.532 Check: 2.496 Back: 1601.049
INFO - Atoms: 77616/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6251 Props: 64169966 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.968 Prop: 61385.696 PropClause: 59703.007 Set: 7955.45 Check: 2.496 Back: 1603.028
INFO - Atoms: 77813/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6252 Props: 64247960 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.973 Prop: 61470.542 PropClause: 59785.717 Set: 7970.96 Check: 2.496 Back: 1604.988
INFO - Atoms: 77994/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6253 Props: 64326313 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.977 Prop: 61549.713 PropClause: 59862.952 Set: 7984.831 Check: 2.496 Back: 1606.971
INFO - Atoms: 78353/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6254 Props: 64404692 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.982 Prop: 61633.031 PropClause: 59944.319 Set: 7999.198 Check: 2.496 Back: 1609.056
INFO - Atoms: 78379/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6255 Props: 64483283 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.986 Prop: 61715.593 PropClause: 60024.938 Set: 8013.661 Check: 2.496 Back: 1611.072
INFO - Atoms: 78591/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6256 Props: 64562458 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.99 Prop: 61794.062 PropClause: 60101.439 Set: 8027.652 Check: 2.496 Back: 1613.076
INFO - Atoms: 79175/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6257 Props: 64641963 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.995 Prop: 61876.718 PropClause: 60182.13 Set: 8041.686 Check: 2.496 Back: 1615.086
INFO - Atoms: 79505/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6258 Props: 64721529 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11879.999 Prop: 61958.798 PropClause: 60262.254 Set: 8055.856 Check: 2.496 Back: 1617.107
INFO - Atoms: 79566/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6259 Props: 64801290 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.003 Prop: 62039.82 PropClause: 60341.286 Set: 8092.653 Check: 2.496 Back: 1619.129
INFO - Atoms: 79761/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6260 Props: 64881265 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.007 Prop: 62122.364 PropClause: 60421.859 Set: 8106.979 Check: 2.496 Back: 1621.143
INFO - Atoms: 79975/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 36089 Tprops: 1954 Decides: 104168 RSplits: 0
INFO - Times: Expl: 584.897 Prop: 145886.909 PropClause: 22.267 Set: 24288.569 Check: 597.786 Back: 255.416
INFO - Atoms: 32/1651 Clauses: 500 Axioms: 1651
INFO - CCTimes: iE 1224763 eq 57551579 cc 306100814 setRep 178167295
INFO - Merges: 1036686, cc:2899925
INFO - BVTimes: BB 395453738 BB_DPLL 135838029121 Graph 2353038
INFO - BitBlastingClauses: 958290 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 6261 Props: 64968435 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.043 Prop: 62215.814 PropClause: 60512.677 Set: 8122.899 Check: 2.496 Back: 1623.205
INFO - Atoms: 87170/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6262 Props: 65055778 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.048 Prop: 62315.419 PropClause: 60609.571 Set: 8138.904 Check: 2.496 Back: 1625.438
INFO - Atoms: 87343/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6263 Props: 65143316 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.054 Prop: 62411.828 PropClause: 60703.345 Set: 8155.476 Check: 2.496 Back: 1627.686
INFO - Atoms: 87538/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6264 Props: 65231047 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.057 Prop: 62510.568 PropClause: 60799.211 Set: 8174.896 Check: 2.496 Back: 1629.898
INFO - Atoms: 87731/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6265 Props: 65318973 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.062 Prop: 62599.192 PropClause: 60885.68 Set: 8191.191 Check: 2.496 Back: 1632.136
INFO - Atoms: 87926/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6266 Props: 65407117 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.067 Prop: 62692.242 PropClause: 60976.573 Set: 8206.851 Check: 2.496 Back: 1634.374
INFO - Atoms: 88144/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6267 Props: 65495523 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.071 Prop: 62782.98 PropClause: 61065.161 Set: 8222.382 Check: 2.496 Back: 1636.594
INFO - Atoms: 88406/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6268 Props: 65584060 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.076 Prop: 62872.793 PropClause: 61152.819 Set: 8238.382 Check: 2.496 Back: 1638.831
INFO - Atoms: 88537/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6269 Props: 65672791 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.081 Prop: 62968.079 PropClause: 61245.937 Set: 8254.628 Check: 2.496 Back: 1641.105
INFO - Atoms: 88731/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6270 Props: 65761866 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.084 Prop: 63061.062 PropClause: 61336.756 Set: 8270.81 Check: 2.496 Back: 1643.362
INFO - Atoms: 89075/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6271 Props: 65850963 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.088 Prop: 63152.705 PropClause: 61426.229 Set: 8286.718 Check: 2.496 Back: 1645.628
INFO - Atoms: 89097/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6272 Props: 65940278 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.092 Prop: 63246.483 PropClause: 61517.845 Set: 8303.209 Check: 2.496 Back: 1647.889
INFO - Atoms: 89315/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6273 Props: 66029791 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.096 Prop: 63341.721 PropClause: 61610.9 Set: 8319.401 Check: 2.496 Back: 1650.166
INFO - Atoms: 89513/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6274 Props: 66124146 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.101 Prop: 63439.389 PropClause: 61706.264 Set: 8336.434 Check: 2.496 Back: 1652.463
INFO - Atoms: 94355/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6275 Props: 66217745 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.106 Prop: 63539.569 PropClause: 61804.157 Set: 8353.246 Check: 2.496 Back: 1654.911
INFO - Atoms: 93599/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6276 Props: 66312102 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.11 Prop: 63640.736 PropClause: 61903.044 Set: 8370.156 Check: 2.496 Back: 1657.302
INFO - Atoms: 94357/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6277 Props: 66405869 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.114 Prop: 63742.191 PropClause: 62002.221 Set: 8387.223 Check: 2.496 Back: 1659.754
INFO - Atoms: 93767/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6278 Props: 66500235 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.119 Prop: 63847.735 PropClause: 62105.465 Set: 8404.55 Check: 2.496 Back: 1662.16
INFO - Atoms: 94366/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6279 Props: 66593851 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.123 Prop: 63951.419 PropClause: 62206.88 Set: 8421.277 Check: 2.496 Back: 1664.616
INFO - Atoms: 93616/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6280 Props: 66688223 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.127 Prop: 64058.546 PropClause: 62311.719 Set: 8438.324 Check: 2.496 Back: 1667.038
INFO - Atoms: 94372/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6281 Props: 66781822 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.131 Prop: 64161.565 PropClause: 62412.455 Set: 8455.583 Check: 2.496 Back: 1669.462
INFO - Atoms: 93599/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6282 Props: 66876188 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.136 Prop: 64270.744 PropClause: 62519.324 Set: 8472.924 Check: 2.496 Back: 1671.915
INFO - Atoms: 94366/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6283 Props: 66969787 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.14 Prop: 64373.079 PropClause: 62619.375 Set: 8516.647 Check: 2.496 Back: 1674.362
INFO - Atoms: 93599/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6284 Props: 67064163 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.145 Prop: 64476.624 PropClause: 62720.601 Set: 8533.862 Check: 2.496 Back: 1676.777
INFO - Atoms: 94376/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6285 Props: 67157762 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.149 Prop: 64577.982 PropClause: 62819.663 Set: 8550.906 Check: 2.496 Back: 1679.216
INFO - Atoms: 93599/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6286 Props: 67252288 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.153 Prop: 64686.484 PropClause: 62925.843 Set: 8568.374 Check: 2.496 Back: 1681.655
INFO - Atoms: 94526/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6287 Props: 67345890 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.158 Prop: 64788.675 PropClause: 63025.753 Set: 8585.444 Check: 2.496 Back: 1684.121
INFO - Atoms: 93602/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6288 Props: 67440247 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.163 Prop: 64892.333 PropClause: 63127.102 Set: 8602.837 Check: 2.496 Back: 1686.507
INFO - Atoms: 94357/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6289 Props: 67533846 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.167 Prop: 64997.281 PropClause: 63229.773 Set: 8619.799 Check: 2.496 Back: 1688.965
INFO - Atoms: 93599/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6290 Props: 67628203 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.171 Prop: 65101.401 PropClause: 63331.596 Set: 8637.253 Check: 2.496 Back: 1691.387
INFO - Atoms: 94357/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6291 Props: 67721821 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.176 Prop: 65206.692 PropClause: 63434.611 Set: 8654.265 Check: 2.496 Back: 1693.87
INFO - Atoms: 93618/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6292 Props: 67816178 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.181 Prop: 65317.031 PropClause: 63542.654 Set: 8671.425 Check: 2.496 Back: 1696.304
INFO - Atoms: 94357/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6293 Props: 67909786 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.186 Prop: 65413.419 PropClause: 63636.766 Set: 8688.098 Check: 2.496 Back: 1698.806
INFO - Atoms: 93608/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6294 Props: 68004161 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.19 Prop: 65510.245 PropClause: 63731.291 Set: 8705.224 Check: 2.496 Back: 1701.218
INFO - Atoms: 94375/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6295 Props: 68098616 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.194 Prop: 65608.223 PropClause: 63826.984 Set: 8722.085 Check: 2.496 Back: 1703.644
INFO - Atoms: 94455/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6296 Props: 68192233 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.199 Prop: 65707.108 PropClause: 63923.574 Set: 8738.604 Check: 2.496 Back: 1706.071
INFO - Atoms: 93617/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6297 Props: 68286222 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.203 Prop: 65806.122 PropClause: 64020.315 Set: 8755.546 Check: 2.496 Back: 1708.485
INFO - Atoms: 93989/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6298 Props: 68379839 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.208 Prop: 65903.879 PropClause: 64115.802 Set: 8772.222 Check: 2.496 Back: 1710.898
INFO - Atoms: 93617/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6299 Props: 68473056 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.211 Prop: 66004.589 PropClause: 64214.249 Set: 8788.86 Check: 2.496 Back: 1713.286
INFO - Atoms: 93217/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6300 Props: 68565924 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.215 Prop: 66108.382 PropClause: 64315.775 Set: 8806.134 Check: 2.496 Back: 1715.711
INFO - Atoms: 92868/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6301 Props: 68659339 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.219 Prop: 66211.026 PropClause: 64416.124 Set: 8823.191 Check: 2.496 Back: 1718.132
INFO - Atoms: 93415/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6302 Props: 68752932 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.223 Prop: 66315.18 PropClause: 64517.986 Set: 8840.136 Check: 2.496 Back: 1720.564
INFO - Atoms: 93593/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6303 Props: 68846739 Tprops: 0 Decides: 97293 RSplits: 0
INFO - Times: Expl: 11880.228 Prop: 66413.686 PropClause: 64614.192 Set: 8857.139 Check: 2.496 Back: 1722.978
INFO - Atoms: 93807/114046 Clauses: 1179 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 647 Props: 69645 Tprops: 2396 Decides: 105754 RSplits: 0
INFO - Times: Expl: 650.113 Prop: 156318.43 PropClause: 33.178 Set: 29298.681 Check: 656.39 Back: 347.074
INFO - Atoms: 1414/1651 Clauses: 647 Axioms: 1651
INFO - CCTimes: iE 1489515 eq 62198545 cc 336408351 setRep 198359599
INFO - Merges: 1158772, cc:3594840
INFO - BVTimes: BB 395453738 BB_DPLL 145262458230 Graph 2392764
INFO - BitBlastingClauses: 1008514 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat