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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 546755706
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 158074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.597 Prop: 280.604 PropClause: 271.397 Set: 100.621 Check: 0.0 Back: 0.0
INFO - Atoms: 158074/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 316137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.646 Prop: 567.293 PropClause: 550.77 Set: 142.534 Check: 0.0 Back: 3.952
INFO - Atoms: 158063/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 474200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.693 Prop: 776.994 PropClause: 755.552 Set: 176.794 Check: 0.0 Back: 8.164
INFO - Atoms: 158063/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 632263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.753 Prop: 985.591 PropClause: 960.235 Set: 209.121 Check: 0.0 Back: 12.309
INFO - Atoms: 158063/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 790326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.836 Prop: 1245.596 PropClause: 1215.669 Set: 252.782 Check: 0.0 Back: 16.562
INFO - Atoms: 158063/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 948386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.891 Prop: 1443.776 PropClause: 1409.957 Set: 284.979 Check: 0.0 Back: 20.559
INFO - Atoms: 158060/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1106439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.962 Prop: 1633.782 PropClause: 1596.121 Set: 316.241 Check: 0.0 Back: 24.803
INFO - Atoms: 158053/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 1264483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.018 Prop: 1862.665 PropClause: 1820.455 Set: 358.583 Check: 0.0 Back: 29.066
INFO - Atoms: 158044/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1422520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.071 Prop: 2055.363 PropClause: 2009.288 Set: 390.355 Check: 0.0 Back: 33.048
INFO - Atoms: 158037/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1580171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.123 Prop: 2249.385 PropClause: 2199.429 Set: 422.139 Check: 0.0 Back: 37.329
INFO - Atoms: 157651/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1737250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.2 Prop: 2442.125 PropClause: 2388.323 Set: 496.967 Check: 0.0 Back: 41.563
INFO - Atoms: 157079/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1894071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.253 Prop: 2644.501 PropClause: 2586.828 Set: 529.389 Check: 0.0 Back: 45.661
INFO - Atoms: 156821/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 2050502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.302 Prop: 2834.965 PropClause: 2773.491 Set: 560.752 Check: 0.0 Back: 49.752
INFO - Atoms: 156431/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 2206926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.354 Prop: 3040.582 PropClause: 2975.268 Set: 592.492 Check: 0.0 Back: 53.9
INFO - Atoms: 156424/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 2362871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.409 Prop: 3255.848 PropClause: 3186.061 Set: 629.997 Check: 0.0 Back: 58.182
INFO - Atoms: 155945/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 2518814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.466 Prop: 3452.609 PropClause: 3378.958 Set: 713.715 Check: 0.0 Back: 62.417
INFO - Atoms: 155943/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 2674589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.52 Prop: 3644.856 PropClause: 3567.398 Set: 744.924 Check: 0.0 Back: 66.615
INFO - Atoms: 155775/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 2829883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.623 Prop: 3843.449 PropClause: 3762.172 Set: 776.196 Check: 0.0 Back: 70.846
INFO - Atoms: 155294/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 2984855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.672 Prop: 4037.541 PropClause: 3952.433 Set: 843.768 Check: 0.0 Back: 75.125
INFO - Atoms: 154972/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 3139191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.726 Prop: 4232.358 PropClause: 4143.471 Set: 875.107 Check: 0.0 Back: 79.304
INFO - Atoms: 154336/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 3293205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.787 Prop: 4420.761 PropClause: 4328.078 Set: 906.207 Check: 0.0 Back: 83.539
INFO - Atoms: 154014/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 3446895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.84 Prop: 4618.442 PropClause: 4521.999 Set: 937.69 Check: 0.0 Back: 87.703
INFO - Atoms: 153690/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 3600107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.889 Prop: 4808.946 PropClause: 4708.718 Set: 969.135 Check: 0.0 Back: 91.854
INFO - Atoms: 153212/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 3753188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.942 Prop: 5003.087 PropClause: 4899.088 Set: 1000.003 Check: 0.0 Back: 96.063
INFO - Atoms: 153081/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 3905756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.993 Prop: 5187.277 PropClause: 5079.56 Set: 1076.298 Check: 0.0 Back: 100.302
INFO - Atoms: 152568/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 4058066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.046 Prop: 5375.631 PropClause: 5264.171 Set: 1107.536 Check: 0.0 Back: 104.299
INFO - Atoms: 152310/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 4209986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.096 Prop: 5572.012 PropClause: 5456.825 Set: 1138.744 Check: 0.0 Back: 108.436
INFO - Atoms: 151920/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 4361584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.145 Prop: 5763.465 PropClause: 5644.533 Set: 1169.389 Check: 0.0 Back: 112.54
INFO - Atoms: 151598/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 4512860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.207 Prop: 5950.056 PropClause: 5827.415 Set: 1200.072 Check: 0.0 Back: 116.68
INFO - Atoms: 151276/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 4663876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.291 Prop: 6140.04 PropClause: 6013.697 Set: 1230.409 Check: 0.0 Back: 120.724
INFO - Atoms: 151016/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 4814506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.341 Prop: 6322.974 PropClause: 6192.932 Set: 1261.07 Check: 0.0 Back: 124.802
INFO - Atoms: 150630/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 4964814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.39 Prop: 6511.765 PropClause: 6378.018 Set: 1291.77 Check: 0.0 Back: 128.946
INFO - Atoms: 150308/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 5114955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.438 Prop: 6696.088 PropClause: 6558.659 Set: 1321.862 Check: 0.0 Back: 132.985
INFO - Atoms: 150141/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 5264838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.541 Prop: 6893.153 PropClause: 6751.944 Set: 1353.81 Check: 0.0 Back: 137.033
INFO - Atoms: 149883/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 5414331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.563 Prop: 7078.875 PropClause: 6933.944 Set: 1384.223 Check: 0.0 Back: 141.123
INFO - Atoms: 149493/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 5563568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.585 Prop: 7273.281 PropClause: 7124.656 Set: 1414.776 Check: 0.0 Back: 145.255
INFO - Atoms: 149237/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 5712415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.607 Prop: 7460.617 PropClause: 7308.336 Set: 1445.206 Check: 0.0 Back: 149.27
INFO - Atoms: 148847/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 5860940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.63 Prop: 7643.359 PropClause: 7487.411 Set: 1475.39 Check: 0.0 Back: 153.289
INFO - Atoms: 148525/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 6009143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.653 Prop: 7823.32 PropClause: 7663.714 Set: 1561.55 Check: 0.0 Back: 157.322
INFO - Atoms: 148203/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 6157022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.677 Prop: 8008.436 PropClause: 7845.174 Set: 1591.754 Check: 0.0 Back: 161.116
INFO - Atoms: 147879/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 6304579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.699 Prop: 8191.954 PropClause: 8025.048 Set: 1621.921 Check: 0.0 Back: 165.095
INFO - Atoms: 147557/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 6451878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.734 Prop: 8377.156 PropClause: 8206.66 Set: 1651.395 Check: 0.0 Back: 169.083
INFO - Atoms: 147299/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 6598789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.759 Prop: 8553.679 PropClause: 8379.573 Set: 1711.051 Check: 0.0 Back: 173.073
INFO - Atoms: 146911/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 6745442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.782 Prop: 8741.508 PropClause: 8563.584 Set: 1742.449 Check: 0.0 Back: 177.086
INFO - Atoms: 146653/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 6891707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.806 Prop: 8917.057 PropClause: 8735.545 Set: 1771.457 Check: 0.0 Back: 181.018
INFO - Atoms: 146265/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 7037648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.828 Prop: 9102.656 PropClause: 8917.546 Set: 1800.874 Check: 0.0 Back: 184.98
INFO - Atoms: 145941/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 7183267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.848 Prop: 9281.858 PropClause: 9093.159 Set: 1865.579 Check: 0.0 Back: 188.926
INFO - Atoms: 145619/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 7328626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.872 Prop: 9469.504 PropClause: 9277.127 Set: 1895.971 Check: 0.0 Back: 192.769
INFO - Atoms: 145359/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 7473597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.893 Prop: 9640.011 PropClause: 9444.083 Set: 1924.88 Check: 0.0 Back: 196.692
INFO - Atoms: 144971/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 7618310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.915 Prop: 9814.746 PropClause: 9615.28 Set: 1954.369 Check: 0.0 Back: 200.528
INFO - Atoms: 144713/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 7762637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.937 Prop: 9988.438 PropClause: 9785.396 Set: 2021.552 Check: 0.0 Back: 204.44
INFO - Atoms: 144327/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 7906706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.959 Prop: 10162.249 PropClause: 9955.685 Set: 2050.152 Check: 0.0 Back: 208.259
INFO - Atoms: 144069/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 8050387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.979 Prop: 10330.496 PropClause: 10120.383 Set: 2078.886 Check: 0.0 Back: 212.074
INFO - Atoms: 143681/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 8193744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.002 Prop: 10500.503 PropClause: 10286.919 Set: 2107.558 Check: 0.0 Back: 215.923
INFO - Atoms: 143357/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 8336779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.024 Prop: 10667.742 PropClause: 10450.687 Set: 2139.052 Check: 0.0 Back: 219.689
INFO - Atoms: 143035/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 8479556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.045 Prop: 10838.819 PropClause: 10618.236 Set: 2167.653 Check: 0.0 Back: 223.497
INFO - Atoms: 142777/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 8621943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.065 Prop: 11007.486 PropClause: 10783.455 Set: 2196.293 Check: 0.0 Back: 227.323
INFO - Atoms: 142387/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 8764066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.089 Prop: 11173.598 PropClause: 10946.076 Set: 2224.567 Check: 0.0 Back: 231.176
INFO - Atoms: 142123/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 8905809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.11 Prop: 11337.975 PropClause: 11106.989 Set: 2253.043 Check: 0.0 Back: 235.038
INFO - Atoms: 141743/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 9047294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.132 Prop: 11514.805 PropClause: 11280.346 Set: 2281.293 Check: 0.0 Back: 238.808
INFO - Atoms: 141485/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 9188391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.154 Prop: 11682.233 PropClause: 11444.296 Set: 2309.379 Check: 0.0 Back: 242.583
INFO - Atoms: 141097/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 9329228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.176 Prop: 11852.438 PropClause: 11610.954 Set: 2338.234 Check: 0.0 Back: 246.343
INFO - Atoms: 140837/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 9469679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.199 Prop: 12024.758 PropClause: 11779.836 Set: 2366.628 Check: 0.0 Back: 250.091
INFO - Atoms: 140451/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 9609872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.223 Prop: 12197.58 PropClause: 11949.163 Set: 2454.046 Check: 0.0 Back: 253.895
INFO - Atoms: 140193/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 9749675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.251 Prop: 12382.777 PropClause: 12130.591 Set: 2484.94 Check: 0.0 Back: 257.502
INFO - Atoms: 139803/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 9889156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.273 Prop: 12553.935 PropClause: 12298.304 Set: 2513.032 Check: 0.0 Back: 261.352
INFO - Atoms: 139481/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 10028313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.293 Prop: 12724.285 PropClause: 12465.269 Set: 2541.266 Check: 0.0 Back: 265.122
INFO - Atoms: 139157/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 10167212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.312 Prop: 12912.459 PropClause: 12649.622 Set: 2572.0 Check: 0.0 Back: 268.866
INFO - Atoms: 138899/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 10305725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.335 Prop: 13081.656 PropClause: 12815.388 Set: 2600.594 Check: 0.0 Back: 272.523
INFO - Atoms: 138513/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 10443980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.356 Prop: 13255.873 PropClause: 12986.184 Set: 2629.045 Check: 0.0 Back: 276.257
INFO - Atoms: 138255/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 10581845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.376 Prop: 13421.627 PropClause: 13148.524 Set: 2657.591 Check: 0.0 Back: 279.9
INFO - Atoms: 137865/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 10719452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.395 Prop: 13580.843 PropClause: 13304.377 Set: 2684.738 Check: 0.0 Back: 283.45
INFO - Atoms: 137607/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 10856673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.415 Prop: 13739.58 PropClause: 13459.766 Set: 2712.132 Check: 0.0 Back: 287.106
INFO - Atoms: 137221/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 10993570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.433 Prop: 13894.439 PropClause: 13611.246 Set: 2739.121 Check: 0.0 Back: 290.779
INFO - Atoms: 136897/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 11130143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.452 Prop: 14053.117 PropClause: 13766.565 Set: 2766.125 Check: 0.0 Back: 294.41
INFO - Atoms: 136573/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 11266458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.471 Prop: 14211.37 PropClause: 13921.476 Set: 2793.523 Check: 0.0 Back: 298.019
INFO - Atoms: 136315/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 11402385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.49 Prop: 14362.52 PropClause: 14069.294 Set: 2820.472 Check: 0.0 Back: 301.69
INFO - Atoms: 135927/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 11538054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.508 Prop: 14513.635 PropClause: 14217.1 Set: 2846.915 Check: 0.0 Back: 305.341
INFO - Atoms: 135669/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 11673337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.528 Prop: 14666.548 PropClause: 14366.668 Set: 2873.928 Check: 0.0 Back: 308.88
INFO - Atoms: 135283/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 11808362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.549 Prop: 14818.129 PropClause: 14514.957 Set: 2900.808 Check: 0.0 Back: 312.506
INFO - Atoms: 135025/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 11942999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.57 Prop: 14970.256 PropClause: 14663.83 Set: 2927.524 Check: 0.0 Back: 316.062
INFO - Atoms: 134637/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 12077378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.585 Prop: 15125.536 PropClause: 14815.815 Set: 2954.44 Check: 0.0 Back: 319.641
INFO - Atoms: 134379/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 12211369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.602 Prop: 15276.44 PropClause: 14963.459 Set: 2982.38 Check: 0.0 Back: 323.225
INFO - Atoms: 133991/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 12345102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.654 Prop: 15435.632 PropClause: 15119.392 Set: 3009.29 Check: 0.0 Back: 326.811
INFO - Atoms: 133733/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 12478447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.712 Prop: 15587.837 PropClause: 15268.323 Set: 3035.68 Check: 0.0 Back: 330.412
INFO - Atoms: 133345/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 12611534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.723 Prop: 15738.005 PropClause: 15415.245 Set: 3061.928 Check: 0.0 Back: 334.0
INFO - Atoms: 133087/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 12744233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.736 Prop: 15893.302 PropClause: 15567.309 Set: 3088.149 Check: 0.0 Back: 337.534
INFO - Atoms: 132699/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 12876674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 16041.994 PropClause: 15712.751 Set: 3114.34 Check: 0.0 Back: 341.015
INFO - Atoms: 132441/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 13008727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 16191.201 PropClause: 15858.734 Set: 3140.589 Check: 0.0 Back: 344.526
INFO - Atoms: 132053/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 13140520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.774 Prop: 16343.755 PropClause: 16008.049 Set: 3166.712 Check: 0.0 Back: 347.997
INFO - Atoms: 131793/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 13271925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.786 Prop: 16489.709 PropClause: 16150.771 Set: 3193.076 Check: 0.0 Back: 351.483
INFO - Atoms: 131405/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 13403074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.798 Prop: 16644.219 PropClause: 16302.078 Set: 3219.1 Check: 0.0 Back: 354.899
INFO - Atoms: 131149/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 13533835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.812 Prop: 16791.204 PropClause: 16445.861 Set: 3245.321 Check: 0.0 Back: 358.402
INFO - Atoms: 130761/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 13664338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.826 Prop: 16943.627 PropClause: 16595.065 Set: 3271.324 Check: 0.0 Back: 361.894
INFO - Atoms: 130503/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 13794453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.839 Prop: 17090.995 PropClause: 16739.252 Set: 3296.884 Check: 0.0 Back: 365.344
INFO - Atoms: 130115/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 13924308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.852 Prop: 17236.855 PropClause: 16881.917 Set: 3323.146 Check: 0.0 Back: 368.79
INFO - Atoms: 129855/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 14053777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.864 Prop: 17383.285 PropClause: 17025.179 Set: 3348.683 Check: 0.0 Back: 372.231
INFO - Atoms: 129469/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 14182988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.874 Prop: 17521.63 PropClause: 17160.388 Set: 3373.696 Check: 0.0 Back: 375.663
INFO - Atoms: 129211/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 14311809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.888 Prop: 17660.061 PropClause: 17295.652 Set: 3399.184 Check: 0.0 Back: 379.051
INFO - Atoms: 128821/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 14440308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.905 Prop: 17803.315 PropClause: 17435.771 Set: 3424.546 Check: 0.0 Back: 382.483
INFO - Atoms: 128499/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 14568485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.921 Prop: 17942.072 PropClause: 17571.419 Set: 3449.496 Check: 0.0 Back: 385.851
INFO - Atoms: 128177/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 14696396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.935 Prop: 18082.019 PropClause: 17708.229 Set: 3474.791 Check: 0.0 Back: 389.22
INFO - Atoms: 127911/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 14823927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.947 Prop: 18218.891 PropClause: 17841.991 Set: 3499.5 Check: 0.0 Back: 392.6
INFO - Atoms: 127531/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 14951198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.962 Prop: 18360.726 PropClause: 17980.725 Set: 3524.126 Check: 0.0 Back: 395.89
INFO - Atoms: 127271/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 15078083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.977 Prop: 18507.423 PropClause: 18124.295 Set: 3549.506 Check: 0.0 Back: 399.21
INFO - Atoms: 126885/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 15204708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.991 Prop: 18649.231 PropClause: 18263.017 Set: 3574.465 Check: 0.0 Back: 402.607
INFO - Atoms: 126625/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 15330947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.005 Prop: 18801.055 PropClause: 18411.766 Set: 3599.539 Check: 0.0 Back: 405.926
INFO - Atoms: 126239/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 15456862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.019 Prop: 18951.034 PropClause: 18558.619 Set: 3625.093 Check: 0.0 Back: 409.219
INFO - Atoms: 125915/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 15582453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.031 Prop: 19094.65 PropClause: 18699.125 Set: 3650.371 Check: 0.0 Back: 412.552
INFO - Atoms: 125591/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 15707783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.047 Prop: 19241.56 PropClause: 18842.968 Set: 3705.263 Check: 0.0 Back: 415.891
INFO - Atoms: 125330/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 15832728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.061 Prop: 19388.49 PropClause: 18986.732 Set: 3731.075 Check: 0.0 Back: 419.215
INFO - Atoms: 124945/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 15957351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.077 Prop: 19533.982 PropClause: 19129.171 Set: 3755.845 Check: 0.0 Back: 422.542
INFO - Atoms: 124623/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 16081650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.091 Prop: 19669.292 PropClause: 19261.441 Set: 3780.228 Check: 0.0 Back: 425.838
INFO - Atoms: 124299/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 16205691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.106 Prop: 19820.671 PropClause: 19409.535 Set: 3806.937 Check: 0.0 Back: 429.106
INFO - Atoms: 124041/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 16329344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.12 Prop: 19957.62 PropClause: 19543.446 Set: 3831.526 Check: 0.0 Back: 432.452
INFO - Atoms: 123653/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 16452675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.135 Prop: 20094.763 PropClause: 19677.566 Set: 3855.961 Check: 0.0 Back: 435.743
INFO - Atoms: 123331/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 16575684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.148 Prop: 20232.677 PropClause: 19812.457 Set: 3880.132 Check: 0.0 Back: 439.011
INFO - Atoms: 123009/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 16698433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.164 Prop: 20375.013 PropClause: 19951.702 Set: 3905.405 Check: 0.0 Back: 442.188
INFO - Atoms: 122749/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 16820796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.178 Prop: 20537.902 PropClause: 20110.989 Set: 3936.301 Check: 0.0 Back: 445.425
INFO - Atoms: 122363/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 16942899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.193 Prop: 20702.279 PropClause: 20271.814 Set: 3966.248 Check: 0.0 Back: 448.554
INFO - Atoms: 122103/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 17064616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.206 Prop: 20839.219 PropClause: 20405.774 Set: 3990.344 Check: 0.0 Back: 451.64
INFO - Atoms: 121717/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 17186075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.22 Prop: 20982.026 PropClause: 20545.588 Set: 4014.618 Check: 0.0 Back: 454.829
INFO - Atoms: 121459/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 17307146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 21141.136 PropClause: 20701.186 Set: 4043.868 Check: 0.0 Back: 457.944
INFO - Atoms: 121071/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 17427959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 21270.632 PropClause: 20827.714 Set: 4067.788 Check: 0.0 Back: 461.102
INFO - Atoms: 120813/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 17548382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.261 Prop: 21404.404 PropClause: 20958.533 Set: 4091.494 Check: 0.0 Back: 464.277
INFO - Atoms: 120423/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 17668544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.275 Prop: 21535.895 PropClause: 21087.066 Set: 4115.684 Check: 0.0 Back: 467.458
INFO - Atoms: 120162/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 17788323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.292 Prop: 21668.586 PropClause: 21216.82 Set: 4139.817 Check: 0.0 Back: 470.651
INFO - Atoms: 119779/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 17907842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.305 Prop: 21798.529 PropClause: 21343.824 Set: 4163.142 Check: 0.0 Back: 473.805
INFO - Atoms: 119519/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 18026975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.319 Prop: 21921.916 PropClause: 21464.278 Set: 4186.649 Check: 0.0 Back: 476.913
INFO - Atoms: 119133/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 18145848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.334 Prop: 22054.666 PropClause: 21594.1 Set: 4210.109 Check: 0.0 Back: 480.052
INFO - Atoms: 118873/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 18264333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 22178.484 PropClause: 21715.0 Set: 4233.499 Check: 0.0 Back: 483.178
INFO - Atoms: 118485/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 18382560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.363 Prop: 22309.706 PropClause: 21843.289 Set: 4256.757 Check: 0.0 Back: 486.335
INFO - Atoms: 118227/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 18500401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.375 Prop: 22437.541 PropClause: 21968.227 Set: 4280.121 Check: 0.0 Back: 489.382
INFO - Atoms: 117841/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 18617978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.389 Prop: 22564.998 PropClause: 22092.798 Set: 4303.187 Check: 0.0 Back: 492.505
INFO - Atoms: 117577/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 18735173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.403 Prop: 22695.958 PropClause: 22220.894 Set: 4326.311 Check: 0.0 Back: 495.531
INFO - Atoms: 117195/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 18852101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.417 Prop: 22821.238 PropClause: 22343.327 Set: 4349.441 Check: 0.0 Back: 498.562
INFO - Atoms: 116928/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 18968650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 22951.297 PropClause: 22470.496 Set: 4372.65 Check: 0.0 Back: 501.605
INFO - Atoms: 116549/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 19084941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.443 Prop: 23076.209 PropClause: 22592.57 Set: 4395.597 Check: 0.0 Back: 504.641
INFO - Atoms: 116291/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 19200844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 23202.875 PropClause: 22716.371 Set: 4418.17 Check: 0.0 Back: 507.681
INFO - Atoms: 115903/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 19316423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.47 Prop: 23325.779 PropClause: 22836.426 Set: 4492.169 Check: 0.0 Back: 510.681
INFO - Atoms: 115579/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 19431680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.484 Prop: 23444.073 PropClause: 22951.914 Set: 4514.381 Check: 0.0 Back: 513.529
INFO - Atoms: 115257/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 19546677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.499 Prop: 23570.847 PropClause: 23075.884 Set: 4536.703 Check: 0.0 Back: 516.503
INFO - Atoms: 114997/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 19661286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.513 Prop: 23694.225 PropClause: 23196.39 Set: 4559.786 Check: 0.0 Back: 519.452
INFO - Atoms: 114609/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 19775639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.528 Prop: 23841.687 PropClause: 23340.509 Set: 4587.455 Check: 0.0 Back: 522.549
INFO - Atoms: 114353/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 19889602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.544 Prop: 23985.26 PropClause: 23480.741 Set: 4615.77 Check: 0.0 Back: 525.451
INFO - Atoms: 113963/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 20003309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.559 Prop: 24126.572 PropClause: 23618.719 Set: 4642.739 Check: 0.0 Back: 528.364
INFO - Atoms: 113707/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 20116628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.575 Prop: 24252.459 PropClause: 23741.833 Set: 4665.241 Check: 0.0 Back: 531.329
INFO - Atoms: 113319/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 20229689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 24376.549 PropClause: 23863.144 Set: 4687.39 Check: 0.0 Back: 534.266
INFO - Atoms: 113061/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 20342362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.604 Prop: 24497.06 PropClause: 23980.893 Set: 4709.69 Check: 0.0 Back: 537.206
INFO - Atoms: 112673/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 20454711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.618 Prop: 24627.118 PropClause: 24108.193 Set: 4731.791 Check: 0.0 Back: 540.122
INFO - Atoms: 112349/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 20566736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.633 Prop: 24741.669 PropClause: 24220.015 Set: 4753.465 Check: 0.0 Back: 543.051
INFO - Atoms: 112025/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 20678503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.647 Prop: 24858.969 PropClause: 24334.545 Set: 4775.289 Check: 0.0 Back: 545.955
INFO - Atoms: 111767/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 20789884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.662 Prop: 24971.259 PropClause: 24444.114 Set: 4796.828 Check: 0.0 Back: 548.848
INFO - Atoms: 111381/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 20901007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 25089.204 PropClause: 24559.362 Set: 4818.367 Check: 0.0 Back: 551.721
INFO - Atoms: 111123/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 21011742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.69 Prop: 25205.244 PropClause: 24672.642 Set: 4840.387 Check: 0.0 Back: 554.574
INFO - Atoms: 110735/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 21122217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.705 Prop: 25320.403 PropClause: 24785.088 Set: 4861.693 Check: 0.0 Back: 557.497
INFO - Atoms: 110475/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 21232304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.72 Prop: 25427.999 PropClause: 24890.015 Set: 4882.86 Check: 0.0 Back: 560.313
INFO - Atoms: 110087/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 21342127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.733 Prop: 25540.036 PropClause: 24999.306 Set: 4904.745 Check: 0.0 Back: 563.114
INFO - Atoms: 109823/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 21451570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.745 Prop: 25649.218 PropClause: 25105.801 Set: 4925.934 Check: 0.0 Back: 565.968
INFO - Atoms: 109443/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 21560746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.758 Prop: 25753.507 PropClause: 25207.435 Set: 4946.626 Check: 0.0 Back: 568.784
INFO - Atoms: 109176/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 21669541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.773 Prop: 25864.817 PropClause: 25316.057 Set: 4967.887 Check: 0.0 Back: 571.573
INFO - Atoms: 108795/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 21778014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.787 Prop: 25974.317 PropClause: 25422.909 Set: 4988.724 Check: 0.0 Back: 574.387
INFO - Atoms: 108473/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 21886165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.802 Prop: 26090.329 PropClause: 25536.268 Set: 5009.539 Check: 0.0 Back: 577.188
INFO - Atoms: 108151/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 21994056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.816 Prop: 26199.51 PropClause: 25642.818 Set: 5030.442 Check: 0.0 Back: 579.97
INFO - Atoms: 107891/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 22101561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.831 Prop: 26308.58 PropClause: 25749.215 Set: 5051.579 Check: 0.0 Back: 582.747
INFO - Atoms: 107505/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 22208742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.845 Prop: 26426.314 PropClause: 25863.78 Set: 5076.303 Check: 0.0 Back: 585.531
INFO - Atoms: 107181/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 22315601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.859 Prop: 26537.94 PropClause: 25972.791 Set: 5096.804 Check: 0.0 Back: 588.332
INFO - Atoms: 106859/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 22422202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 26643.851 PropClause: 26076.092 Set: 5117.522 Check: 0.0 Back: 591.082
INFO - Atoms: 106601/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 22528415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.89 Prop: 26754.278 PropClause: 26183.923 Set: 5138.05 Check: 0.0 Back: 593.827
INFO - Atoms: 106213/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 22634370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.905 Prop: 26859.258 PropClause: 26286.32 Set: 5158.601 Check: 0.0 Back: 596.533
INFO - Atoms: 105955/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 22739935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.919 Prop: 26968.631 PropClause: 26393.056 Set: 5179.763 Check: 0.0 Back: 599.254
INFO - Atoms: 105565/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 22845237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.933 Prop: 27074.496 PropClause: 26496.328 Set: 5200.216 Check: 0.0 Back: 601.967
INFO - Atoms: 105302/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 22950158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.948 Prop: 27176.021 PropClause: 26595.291 Set: 5220.417 Check: 0.0 Back: 604.641
INFO - Atoms: 104921/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 23054819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.963 Prop: 27308.399 PropClause: 26724.604 Set: 5245.546 Check: 0.0 Back: 607.336
INFO - Atoms: 104661/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 23159092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.977 Prop: 27416.86 PropClause: 26830.524 Set: 5265.923 Check: 0.0 Back: 610.023
INFO - Atoms: 104273/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 23263107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.991 Prop: 27524.314 PropClause: 26935.453 Set: 5286.081 Check: 0.0 Back: 612.694
INFO - Atoms: 104015/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 23366734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.006 Prop: 27628.869 PropClause: 27037.473 Set: 5306.192 Check: 0.0 Back: 615.366
INFO - Atoms: 103627/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 23470039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.019 Prop: 27736.145 PropClause: 27142.196 Set: 5326.435 Check: 0.0 Back: 618.023
INFO - Atoms: 103305/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 23573022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.033 Prop: 27839.742 PropClause: 27243.286 Set: 5346.298 Check: 0.0 Back: 620.663
INFO - Atoms: 102983/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 23675745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.042 Prop: 27947.926 PropClause: 27348.966 Set: 5366.314 Check: 0.0 Back: 623.277
INFO - Atoms: 102723/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 23778082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.056 Prop: 28051.899 PropClause: 27450.419 Set: 5386.21 Check: 0.0 Back: 625.891
INFO - Atoms: 102337/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 23880161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.067 Prop: 28146.442 PropClause: 27542.461 Set: 5405.816 Check: 0.0 Back: 628.552
INFO - Atoms: 102079/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 23981852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.079 Prop: 28242.764 PropClause: 27636.296 Set: 5425.158 Check: 0.0 Back: 631.181
INFO - Atoms: 101691/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 24083278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.093 Prop: 28337.098 PropClause: 27728.141 Set: 5444.436 Check: 0.0 Back: 633.813
INFO - Atoms: 101426/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 24184323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.105 Prop: 28434.321 PropClause: 27822.875 Set: 5463.892 Check: 0.0 Back: 636.421
INFO - Atoms: 101045/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 24285110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.116 Prop: 28527.892 PropClause: 27913.991 Set: 5483.231 Check: 0.0 Back: 638.977
INFO - Atoms: 100787/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 24385509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.129 Prop: 28626.494 PropClause: 28010.152 Set: 5502.397 Check: 0.0 Back: 641.544
INFO - Atoms: 100399/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 24485584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.183 Prop: 28725.232 PropClause: 28106.432 Set: 5521.869 Check: 0.0 Back: 644.084
INFO - Atoms: 100075/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 24585337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 28820.957 PropClause: 28199.723 Set: 5540.726 Check: 0.0 Back: 646.659
INFO - Atoms: 99753/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 24684830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 28912.841 PropClause: 28289.19 Set: 5610.145 Check: 0.0 Back: 649.165
INFO - Atoms: 99493/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 24783935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.286 Prop: 29010.329 PropClause: 28384.244 Set: 5629.293 Check: 0.0 Back: 651.544
INFO - Atoms: 99105/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 24882776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.298 Prop: 29101.191 PropClause: 28472.66 Set: 5648.508 Check: 0.0 Back: 654.118
INFO - Atoms: 98841/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 24981237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.312 Prop: 29200.326 PropClause: 28569.393 Set: 5667.475 Check: 0.0 Back: 656.65
INFO - Atoms: 98461/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 25079440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.325 Prop: 29298.257 PropClause: 28664.922 Set: 5686.307 Check: 0.0 Back: 659.132
INFO - Atoms: 98203/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 25177253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.339 Prop: 29400.772 PropClause: 28765.029 Set: 5705.585 Check: 0.0 Back: 661.639
INFO - Atoms: 97813/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 25274808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.352 Prop: 29491.106 PropClause: 28852.98 Set: 5724.329 Check: 0.0 Back: 664.21
INFO - Atoms: 97555/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 25371977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.392 Prop: 29583.464 PropClause: 28942.967 Set: 5743.115 Check: 0.0 Back: 666.678
INFO - Atoms: 97169/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 25468888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.428 Prop: 29671.407 PropClause: 29028.542 Set: 5762.068 Check: 0.0 Back: 669.135
INFO - Atoms: 96911/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 25565409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 29766.811 PropClause: 29121.576 Set: 5780.69 Check: 0.0 Back: 671.626
INFO - Atoms: 96521/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 25661672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 29858.569 PropClause: 29210.974 Set: 5799.209 Check: 0.0 Back: 674.087
INFO - Atoms: 96263/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 25757547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.468 Prop: 29951.995 PropClause: 29302.062 Set: 5817.512 Check: 0.0 Back: 676.552
INFO - Atoms: 95875/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 25853166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.479 Prop: 30040.775 PropClause: 29388.51 Set: 5835.995 Check: 0.0 Back: 678.98
INFO - Atoms: 95619/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 25948397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 30128.991 PropClause: 29474.38 Set: 5854.373 Check: 0.0 Back: 681.423
INFO - Atoms: 95231/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 26043365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.502 Prop: 30217.698 PropClause: 29560.769 Set: 5872.567 Check: 0.0 Back: 683.872
INFO - Atoms: 94968/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 26137950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.511 Prop: 30304.82 PropClause: 29645.583 Set: 5890.69 Check: 0.0 Back: 686.29
INFO - Atoms: 94585/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 26232275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.522 Prop: 30389.681 PropClause: 29728.13 Set: 5908.827 Check: 0.0 Back: 688.695
INFO - Atoms: 94325/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 26326212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 30476.075 PropClause: 29812.211 Set: 5927.036 Check: 0.0 Back: 691.101
INFO - Atoms: 93937/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 26419893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.549 Prop: 30560.851 PropClause: 29894.697 Set: 5945.068 Check: 0.0 Back: 693.516
INFO - Atoms: 93681/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 26513184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.564 Prop: 30645.091 PropClause: 29976.661 Set: 5962.795 Check: 0.0 Back: 695.977
INFO - Atoms: 93291/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 26606219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.579 Prop: 30730.283 PropClause: 30059.558 Set: 5980.558 Check: 0.0 Back: 698.342
INFO - Atoms: 93035/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 26698866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.592 Prop: 30812.832 PropClause: 30139.84 Set: 5998.169 Check: 0.0 Back: 700.725
INFO - Atoms: 92647/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 26791253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 30904.137 PropClause: 30228.81 Set: 6016.253 Check: 0.0 Back: 703.051
INFO - Atoms: 92387/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 26883252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.621 Prop: 30985.911 PropClause: 30308.328 Set: 6033.686 Check: 0.0 Back: 705.468
INFO - Atoms: 91999/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 26974995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.635 Prop: 31071.601 PropClause: 30391.762 Set: 6051.139 Check: 0.0 Back: 707.807
INFO - Atoms: 91743/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 27066350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.648 Prop: 31149.762 PropClause: 30467.701 Set: 6068.913 Check: 0.0 Back: 710.121
INFO - Atoms: 91355/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 27157381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.66 Prop: 31234.487 PropClause: 30550.172 Set: 6086.281 Check: 0.0 Back: 712.424
INFO - Atoms: 91031/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 27248090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.673 Prop: 31309.977 PropClause: 30623.461 Set: 6103.171 Check: 0.0 Back: 714.739
INFO - Atoms: 90709/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 27338541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.686 Prop: 31395.156 PropClause: 30706.374 Set: 6120.728 Check: 0.0 Back: 717.022
INFO - Atoms: 90451/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 27428604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.701 Prop: 31473.902 PropClause: 30782.912 Set: 6138.094 Check: 0.0 Back: 719.329
INFO - Atoms: 90063/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 27518343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 31554.562 PropClause: 30861.394 Set: 6154.962 Check: 0.0 Back: 721.574
INFO - Atoms: 89739/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 27607758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.727 Prop: 31628.12 PropClause: 30932.769 Set: 6171.755 Check: 0.0 Back: 723.818
INFO - Atoms: 89415/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 27696917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.742 Prop: 31708.938 PropClause: 31011.397 Set: 6188.929 Check: 0.0 Back: 726.083
INFO - Atoms: 89159/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 27785688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.756 Prop: 31780.321 PropClause: 31080.599 Set: 6205.574 Check: 0.0 Back: 728.33
INFO - Atoms: 88771/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 27872601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.769 Prop: 31852.491 PropClause: 31150.629 Set: 6221.782 Check: 0.0 Back: 730.549
INFO - Atoms: 86913/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 27959132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.784 Prop: 31938.708 PropClause: 31234.465 Set: 6240.512 Check: 0.0 Back: 732.759
INFO - Atoms: 86531/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 28045403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.798 Prop: 32018.466 PropClause: 31311.989 Set: 6257.826 Check: 0.0 Back: 735.027
INFO - Atoms: 86271/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 28131288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.812 Prop: 32089.769 PropClause: 31381.185 Set: 6273.912 Check: 0.0 Back: 737.225
INFO - Atoms: 85885/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 28216849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.827 Prop: 32164.48 PropClause: 31453.804 Set: 6289.717 Check: 0.0 Back: 739.498
INFO - Atoms: 85561/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 28302088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.843 Prop: 32251.442 PropClause: 31538.488 Set: 6308.677 Check: 0.0 Back: 741.654
INFO - Atoms: 85239/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 28387069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 32329.905 PropClause: 31614.79 Set: 6325.348 Check: 0.0 Back: 743.901
INFO - Atoms: 84981/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 28471660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.873 Prop: 32417.358 PropClause: 31699.987 Set: 6344.166 Check: 0.0 Back: 746.11
INFO - Atoms: 84591/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 28555993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.888 Prop: 32497.223 PropClause: 31777.772 Set: 6360.295 Check: 0.0 Back: 748.239
INFO - Atoms: 84333/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 28639940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.903 Prop: 32574.284 PropClause: 31852.766 Set: 6376.238 Check: 0.0 Back: 750.384
INFO - Atoms: 83947/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 28723627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.918 Prop: 32652.509 PropClause: 31928.906 Set: 6392.124 Check: 0.0 Back: 752.465
INFO - Atoms: 83687/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 28806926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.929 Prop: 32724.436 PropClause: 31998.777 Set: 6407.715 Check: 0.0 Back: 754.6
INFO - Atoms: 83299/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 28889967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 32797.721 PropClause: 32070.011 Set: 6423.473 Check: 0.0 Back: 756.71
INFO - Atoms: 83041/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 28972622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.958 Prop: 32878.252 PropClause: 32148.501 Set: 6439.074 Check: 0.0 Back: 758.825
INFO - Atoms: 82655/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 29054953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.97 Prop: 32949.251 PropClause: 32217.484 Set: 6454.431 Check: 0.0 Back: 760.892
INFO - Atoms: 82331/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 29136960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.979 Prop: 33021.96 PropClause: 32288.185 Set: 6469.743 Check: 0.0 Back: 762.943
INFO - Atoms: 82007/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 29218706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 33093.3 PropClause: 32357.515 Set: 6485.315 Check: 0.0 Back: 765.002
INFO - Atoms: 81746/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 29300069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.004 Prop: 33166.125 PropClause: 32428.32 Set: 6500.469 Check: 0.0 Back: 767.074
INFO - Atoms: 81363/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 29381108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.017 Prop: 33233.3 PropClause: 32493.488 Set: 6515.775 Check: 0.0 Back: 769.161
INFO - Atoms: 81039/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 29460229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.031 Prop: 33299.339 PropClause: 32557.577 Set: 6530.324 Check: 0.0 Back: 771.236
INFO - Atoms: 79121/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 29539094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.045 Prop: 33360.277 PropClause: 32616.569 Set: 6544.549 Check: 0.0 Back: 773.228
INFO - Atoms: 78865/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 29617571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.058 Prop: 33423.94 PropClause: 32678.29 Set: 6558.983 Check: 0.0 Back: 775.209
INFO - Atoms: 78477/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 29695790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.073 Prop: 33501.896 PropClause: 32753.955 Set: 6577.424 Check: 0.0 Back: 777.182
INFO - Atoms: 78219/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 29773621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.087 Prop: 33567.231 PropClause: 32817.232 Set: 6593.128 Check: 0.0 Back: 779.278
INFO - Atoms: 77831/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 29851194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.101 Prop: 33645.662 PropClause: 32893.455 Set: 6610.916 Check: 0.0 Back: 781.317
INFO - Atoms: 77573/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 29928379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.114 Prop: 33713.433 PropClause: 32959.162 Set: 6626.671 Check: 0.0 Back: 783.303
INFO - Atoms: 77185/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 30005306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.128 Prop: 33773.06 PropClause: 33016.899 Set: 6640.408 Check: 0.0 Back: 785.33
INFO - Atoms: 76927/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 30081843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.144 Prop: 33832.228 PropClause: 33074.175 Set: 6654.488 Check: 0.0 Back: 787.331
INFO - Atoms: 76537/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 30158122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.159 Prop: 33894.523 PropClause: 33134.553 Set: 6668.525 Check: 0.0 Back: 789.256
INFO - Atoms: 76279/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 30234015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.172 Prop: 33954.211 PropClause: 33192.369 Set: 6682.31 Check: 0.0 Back: 791.217
INFO - Atoms: 75893/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 30309650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.187 Prop: 34012.992 PropClause: 33249.297 Set: 6695.875 Check: 0.0 Back: 793.134
INFO - Atoms: 75635/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 30384897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.202 Prop: 34068.756 PropClause: 33303.205 Set: 6713.529 Check: 0.0 Back: 795.016
INFO - Atoms: 75247/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 30459886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.217 Prop: 34129.555 PropClause: 33362.145 Set: 6727.169 Check: 0.0 Back: 796.962
INFO - Atoms: 74989/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 30534487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.232 Prop: 34182.539 PropClause: 33413.285 Set: 6740.479 Check: 0.0 Back: 798.854
INFO - Atoms: 74601/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 30608828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.248 Prop: 34245.195 PropClause: 33473.957 Set: 6755.537 Check: 0.0 Back: 800.735
INFO - Atoms: 74341/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 30682783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.263 Prop: 34300.539 PropClause: 33527.394 Set: 6769.371 Check: 0.0 Back: 802.659
INFO - Atoms: 73955/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 30756480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.276 Prop: 34358.311 PropClause: 33583.227 Set: 6783.928 Check: 0.0 Back: 804.503
INFO - Atoms: 73697/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 30829789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 34419.099 PropClause: 33642.083 Set: 6798.218 Check: 0.0 Back: 806.408
INFO - Atoms: 73309/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 30902840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.304 Prop: 34482.231 PropClause: 33703.204 Set: 6813.774 Check: 0.0 Back: 808.29
INFO - Atoms: 73051/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 30975501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.32 Prop: 34545.117 PropClause: 33764.226 Set: 6828.085 Check: 0.0 Back: 810.209
INFO - Atoms: 72661/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 31047904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.335 Prop: 34605.752 PropClause: 33823.03 Set: 6841.261 Check: 0.0 Back: 812.449
INFO - Atoms: 72403/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 31119921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.348 Prop: 34667.414 PropClause: 33882.891 Set: 6854.503 Check: 0.0 Back: 814.257
INFO - Atoms: 72017/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 31191678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.362 Prop: 34730.32 PropClause: 33943.669 Set: 6870.379 Check: 0.0 Back: 816.077
INFO - Atoms: 71757/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 31263049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.377 Prop: 34792.059 PropClause: 34003.463 Set: 6884.154 Check: 0.0 Back: 817.941
INFO - Atoms: 71371/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 31334162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.391 Prop: 34843.473 PropClause: 34053.11 Set: 6896.883 Check: 0.0 Back: 819.727
INFO - Atoms: 71113/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 31404885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 34904.024 PropClause: 34111.792 Set: 6910.91 Check: 0.0 Back: 821.484
INFO - Atoms: 70723/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 31475350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.874 Prop: 34964.887 PropClause: 34170.711 Set: 6925.333 Check: 0.0 Back: 823.315
INFO - Atoms: 70465/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 31545429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.898 Prop: 35019.831 PropClause: 34223.731 Set: 6938.891 Check: 0.0 Back: 825.139
INFO - Atoms: 70079/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 31615248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.944 Prop: 35076.378 PropClause: 34278.346 Set: 6953.188 Check: 0.0 Back: 827.596
INFO - Atoms: 69819/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 31684679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.954 Prop: 35125.7 PropClause: 34325.907 Set: 6965.924 Check: 0.0 Back: 829.323
INFO - Atoms: 69431/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 31753852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.963 Prop: 35184.234 PropClause: 34382.396 Set: 6980.822 Check: 0.0 Back: 831.072
INFO - Atoms: 69173/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 31822639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.971 Prop: 35233.63 PropClause: 34429.951 Set: 6993.474 Check: 0.0 Back: 833.207
INFO - Atoms: 68787/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 31891168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.98 Prop: 35285.921 PropClause: 34480.172 Set: 7045.7 Check: 0.0 Back: 835.425
INFO - Atoms: 68529/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 31959309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.988 Prop: 35332.766 PropClause: 34525.35 Set: 7057.693 Check: 0.0 Back: 837.058
INFO - Atoms: 68141/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 32027192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.996 Prop: 35380.552 PropClause: 34571.465 Set: 7069.703 Check: 0.0 Back: 838.701
INFO - Atoms: 67883/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 32094687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.005 Prop: 35428.513 PropClause: 34617.745 Set: 7081.856 Check: 0.0 Back: 840.354
INFO - Atoms: 67495/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 32161922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.013 Prop: 35476.976 PropClause: 34664.344 Set: 7095.237 Check: 0.0 Back: 842.489
INFO - Atoms: 67235/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 32228769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.023 Prop: 35524.653 PropClause: 34710.35 Set: 7107.248 Check: 0.0 Back: 844.151
INFO - Atoms: 66847/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 32295358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.031 Prop: 35567.431 PropClause: 34751.464 Set: 7118.96 Check: 0.0 Back: 846.215
INFO - Atoms: 66589/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 32361561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.039 Prop: 35612.228 PropClause: 34794.624 Set: 7130.586 Check: 0.0 Back: 847.833
INFO - Atoms: 66203/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 32427506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.049 Prop: 35653.518 PropClause: 34834.253 Set: 7142.553 Check: 0.0 Back: 849.453
INFO - Atoms: 65945/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 32493063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.058 Prop: 35699.058 PropClause: 34878.096 Set: 7154.705 Check: 0.0 Back: 851.05
INFO - Atoms: 65557/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 32558362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.067 Prop: 35742.889 PropClause: 34920.29 Set: 7166.135 Check: 0.0 Back: 852.649
INFO - Atoms: 65299/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 32623273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.075 Prop: 35783.914 PropClause: 34959.657 Set: 7177.963 Check: 0.0 Back: 854.251
INFO - Atoms: 64911/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 32687926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.085 Prop: 35827.762 PropClause: 35001.886 Set: 7189.562 Check: 0.0 Back: 855.827
INFO - Atoms: 64653/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 32752191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.094 Prop: 35873.406 PropClause: 35045.565 Set: 7203.257 Check: 0.0 Back: 857.471
INFO - Atoms: 64265/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 32816198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.103 Prop: 35913.532 PropClause: 35084.097 Set: 7214.512 Check: 0.0 Back: 859.126
INFO - Atoms: 64007/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 32879817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.112 Prop: 35956.103 PropClause: 35125.056 Set: 7226.089 Check: 0.0 Back: 860.695
INFO - Atoms: 63619/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 32942384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.12 Prop: 35993.339 PropClause: 35160.695 Set: 7237.312 Check: 0.0 Back: 862.245
INFO - Atoms: 62567/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 33004565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.129 Prop: 36036.147 PropClause: 35201.905 Set: 7248.751 Check: 0.0 Back: 863.798
INFO - Atoms: 62181/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 33066488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.137 Prop: 36075.321 PropClause: 35239.403 Set: 7260.697 Check: 0.0 Back: 865.327
INFO - Atoms: 61923/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 33128023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.146 Prop: 36111.491 PropClause: 35274.032 Set: 7271.363 Check: 0.0 Back: 866.809
INFO - Atoms: 61535/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 33189300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.154 Prop: 36148.752 PropClause: 35309.751 Set: 7282.134 Check: 0.0 Back: 868.314
INFO - Atoms: 61277/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 33250189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.163 Prop: 36185.086 PropClause: 35344.586 Set: 7292.481 Check: 0.0 Back: 869.837
INFO - Atoms: 60889/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 33310820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.171 Prop: 36221.082 PropClause: 35379.052 Set: 7303.085 Check: 0.0 Back: 871.289
INFO - Atoms: 60631/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 33371063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.179 Prop: 36258.591 PropClause: 35414.826 Set: 7315.06 Check: 0.0 Back: 872.776
INFO - Atoms: 60243/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 33431048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.187 Prop: 36294.871 PropClause: 35449.481 Set: 7326.587 Check: 0.0 Back: 874.251
INFO - Atoms: 59985/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 33490645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.198 Prop: 36329.766 PropClause: 35482.906 Set: 7371.615 Check: 0.0 Back: 875.694
INFO - Atoms: 59597/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 33549984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.206 Prop: 36363.523 PropClause: 35515.085 Set: 7382.766 Check: 0.0 Back: 877.088
INFO - Atoms: 59339/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 33608935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.215 Prop: 36396.814 PropClause: 35546.895 Set: 7392.828 Check: 0.0 Back: 878.613
INFO - Atoms: 58951/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 33667628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.224 Prop: 36426.635 PropClause: 35575.253 Set: 7402.707 Check: 0.0 Back: 880.05
INFO - Atoms: 58693/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 33725933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.231 Prop: 36459.999 PropClause: 35607.069 Set: 7413.172 Check: 0.0 Back: 881.442
INFO - Atoms: 58305/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 33783980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.241 Prop: 36493.484 PropClause: 35639.099 Set: 7423.213 Check: 0.0 Back: 882.808
INFO - Atoms: 58047/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 33841639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.25 Prop: 36526.981 PropClause: 35670.965 Set: 7434.714 Check: 0.0 Back: 884.455
INFO - Atoms: 57659/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 33899040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.259 Prop: 36558.079 PropClause: 35700.579 Set: 7445.007 Check: 0.0 Back: 885.935
INFO - Atoms: 57401/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 33956053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.267 Prop: 36591.399 PropClause: 35732.431 Set: 7455.011 Check: 0.0 Back: 887.277
INFO - Atoms: 57013/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 34012808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.275 Prop: 36621.599 PropClause: 35761.114 Set: 7465.526 Check: 0.0 Back: 888.636
INFO - Atoms: 56755/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 34069175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.286 Prop: 36651.465 PropClause: 35789.577 Set: 7475.066 Check: 0.0 Back: 890.015
INFO - Atoms: 56367/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 34125284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.294 Prop: 36681.291 PropClause: 35817.871 Set: 7485.716 Check: 0.0 Back: 891.342
INFO - Atoms: 56109/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 34181005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.304 Prop: 36712.279 PropClause: 35847.326 Set: 7496.403 Check: 0.0 Back: 892.688
INFO - Atoms: 55721/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 34236468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.312 Prop: 36741.774 PropClause: 35875.414 Set: 7505.97 Check: 0.0 Back: 894.028
INFO - Atoms: 55463/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 34291543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.321 Prop: 36770.301 PropClause: 35902.576 Set: 7539.871 Check: 0.0 Back: 895.319
INFO - Atoms: 55075/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 34346360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.33 Prop: 36798.642 PropClause: 35929.525 Set: 7549.38 Check: 0.0 Back: 896.618
INFO - Atoms: 54817/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 34400789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.338 Prop: 36828.688 PropClause: 35958.195 Set: 7558.746 Check: 0.0 Back: 897.901
INFO - Atoms: 54429/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 34454960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.347 Prop: 36855.744 PropClause: 35983.908 Set: 7567.715 Check: 0.0 Back: 899.194
INFO - Atoms: 54171/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 34508743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.357 Prop: 36885.463 PropClause: 36012.151 Set: 7578.12 Check: 0.0 Back: 900.447
INFO - Atoms: 53783/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 34562268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.365 Prop: 36913.579 PropClause: 36038.783 Set: 7588.374 Check: 0.0 Back: 901.803
INFO - Atoms: 53525/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 34615405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.374 Prop: 36941.678 PropClause: 36065.503 Set: 7597.902 Check: 0.0 Back: 903.148
INFO - Atoms: 53137/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 34668284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.382 Prop: 36968.282 PropClause: 36090.771 Set: 7606.912 Check: 0.0 Back: 904.401
INFO - Atoms: 52879/158078 Clauses: 977 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 822 Props: 43550687 Tprops: 0 Decides: 41835 RSplits: 0
INFO - Times: Expl: 4295.849 Prop: 46064.18 PropClause: 44922.985 Set: 7838.25 Check: 1.094 Back: 1124.555
INFO - Atoms: 51778/158078 Clauses: 1476 Axioms: 526018
INFO - Confl: 1060 Props: 45164024 Tprops: 0 Decides: 47796 RSplits: 0
INFO - Times: Expl: 5047.462 Prop: 47486.1 PropClause: 46299.414 Set: 7878.51 Check: 1.245 Back: 1163.73
INFO - Atoms: 52226/158078 Clauses: 1714 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1560 Props: 53607288 Tprops: 0 Decides: 84379 RSplits: 0
INFO - Times: Expl: 8660.412 Prop: 55969.516 PropClause: 54534.973 Set: 8096.992 Check: 2.137 Back: 1368.471
INFO - Atoms: 51781/158078 Clauses: 1477 Axioms: 526018
INFO - Confl: 1790 Props: 54911661 Tprops: 0 Decides: 88917 RSplits: 0
INFO - Times: Expl: 9210.564 Prop: 57062.754 PropClause: 55592.39 Set: 8129.804 Check: 2.273 Back: 1399.855
INFO - Atoms: 52766/158078 Clauses: 1707 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2290 Props: 68098801 Tprops: 0 Decides: 152510 RSplits: 0
INFO - Times: Expl: 14882.893 Prop: 70142.528 PropClause: 68301.395 Set: 8468.251 Check: 3.834 Back: 1719.317
INFO - Atoms: 51793/158078 Clauses: 1477 Axioms: 526018
INFO - Confl: 2489 Props: 69226585 Tprops: 0 Decides: 156198 RSplits: 0
INFO - Times: Expl: 15396.763 Prop: 71118.588 PropClause: 69245.862 Set: 8496.29 Check: 3.923 Back: 1746.334
INFO - Atoms: 52273/158078 Clauses: 1676 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2989 Props: 77941780 Tprops: 0 Decides: 194111 RSplits: 0
INFO - Times: Expl: 19666.467 Prop: 80205.682 PropClause: 78081.81 Set: 8725.832 Check: 4.84 Back: 1958.539
INFO - Atoms: 51793/158078 Clauses: 1477 Axioms: 526018
INFO - Confl: 3190 Props: 79202339 Tprops: 0 Decides: 198172 RSplits: 0
INFO - Times: Expl: 20232.689 Prop: 81355.394 PropClause: 79197.233 Set: 8757.031 Check: 4.938 Back: 1988.618
INFO - Atoms: 52262/158078 Clauses: 1678 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3690 Props: 87930636 Tprops: 0 Decides: 235754 RSplits: 0
INFO - Times: Expl: 24405.041 Prop: 90147.123 PropClause: 87743.544 Set: 8982.615 Check: 5.851 Back: 2199.323
INFO - Atoms: 51798/158078 Clauses: 1477 Axioms: 526018
INFO - Confl: 3881 Props: 88929216 Tprops: 0 Decides: 239070 RSplits: 0
INFO - Times: Expl: 24918.292 Prop: 91077.888 PropClause: 88647.247 Set: 9007.55 Check: 5.952 Back: 2223.151
INFO - Atoms: 52669/158078 Clauses: 1668 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4381 Props: 101371507 Tprops: 0 Decides: 299041 RSplits: 0
INFO - Times: Expl: 30460.585 Prop: 103562.673 PropClause: 100779.51 Set: 9326.03 Check: 7.398 Back: 2522.868
INFO - Atoms: 51794/158078 Clauses: 1477 Axioms: 526018
INFO - Confl: 4550 Props: 102371692 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.743 Prop: 104531.303 PropClause: 101720.439 Set: 9350.888 Check: 7.497 Back: 2546.914
INFO - Atoms: 52274/158078 Clauses: 1646 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4551 Props: 102469589 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.747 Prop: 104658.946 PropClause: 101845.403 Set: 9376.846 Check: 7.497 Back: 2548.166
INFO - Atoms: 97897/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4552 Props: 102567797 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.752 Prop: 104752.822 PropClause: 101936.873 Set: 9394.121 Check: 7.497 Back: 2550.757
INFO - Atoms: 98208/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4553 Props: 102666265 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.758 Prop: 104847.691 PropClause: 102029.313 Set: 9412.084 Check: 7.497 Back: 2553.194
INFO - Atoms: 98468/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4554 Props: 102765135 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.763 Prop: 104944.132 PropClause: 102123.281 Set: 9530.561 Check: 7.497 Back: 2555.628
INFO - Atoms: 98870/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4555 Props: 102864248 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.768 Prop: 105044.312 PropClause: 102220.995 Set: 9548.346 Check: 7.497 Back: 2558.047
INFO - Atoms: 99113/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4556 Props: 102963991 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.773 Prop: 105139.4 PropClause: 102313.561 Set: 9566.13 Check: 7.497 Back: 2560.518
INFO - Atoms: 99743/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4557 Props: 103064006 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.779 Prop: 105237.84 PropClause: 102409.517 Set: 9583.919 Check: 7.497 Back: 2563.005
INFO - Atoms: 100015/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4558 Props: 103164090 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.784 Prop: 105340.117 PropClause: 102509.308 Set: 9601.899 Check: 7.497 Back: 2565.521
INFO - Atoms: 100084/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4559 Props: 103264499 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.788 Prop: 105444.347 PropClause: 102611.019 Set: 9620.559 Check: 7.497 Back: 2568.043
INFO - Atoms: 100409/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4560 Props: 103365289 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.794 Prop: 105546.358 PropClause: 102710.53 Set: 9699.509 Check: 7.497 Back: 2570.559
INFO - Atoms: 100790/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4561 Props: 103466655 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.798 Prop: 105647.708 PropClause: 102809.339 Set: 9717.777 Check: 7.497 Back: 2573.064
INFO - Atoms: 101366/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4562 Props: 103568029 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.804 Prop: 105752.599 PropClause: 102911.667 Set: 9735.996 Check: 7.497 Back: 2575.646
INFO - Atoms: 101374/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4563 Props: 103670036 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.811 Prop: 105855.943 PropClause: 103012.458 Set: 9754.488 Check: 7.497 Back: 2578.209
INFO - Atoms: 102007/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4564 Props: 103772056 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.816 Prop: 105960.538 PropClause: 103114.475 Set: 9772.911 Check: 7.497 Back: 2580.783
INFO - Atoms: 102020/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4565 Props: 103874403 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.821 Prop: 106065.867 PropClause: 103217.254 Set: 9791.276 Check: 7.497 Back: 2583.368
INFO - Atoms: 102347/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4566 Props: 103977324 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.827 Prop: 106178.845 PropClause: 103327.658 Set: 9864.847 Check: 7.497 Back: 2585.947
INFO - Atoms: 102921/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4567 Props: 104080313 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.832 Prop: 106286.38 PropClause: 103432.599 Set: 9883.418 Check: 7.497 Back: 2588.564
INFO - Atoms: 102989/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4568 Props: 104183631 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.837 Prop: 106394.162 PropClause: 103537.788 Set: 9902.357 Check: 7.497 Back: 2591.169
INFO - Atoms: 103318/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4569 Props: 104287331 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.843 Prop: 106501.265 PropClause: 103642.282 Set: 9921.307 Check: 7.497 Back: 2593.81
INFO - Atoms: 103700/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4570 Props: 104391290 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.848 Prop: 106609.089 PropClause: 103747.508 Set: 9940.263 Check: 7.497 Back: 2596.453
INFO - Atoms: 103959/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4571 Props: 104495886 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.853 Prop: 106718.369 PropClause: 103854.179 Set: 9959.379 Check: 7.497 Back: 2599.099
INFO - Atoms: 104596/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4572 Props: 104600490 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.859 Prop: 106825.793 PropClause: 103959.028 Set: 9977.97 Check: 7.497 Back: 2601.781
INFO - Atoms: 104604/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4573 Props: 104705421 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.865 Prop: 106938.484 PropClause: 104069.116 Set: 9997.097 Check: 7.497 Back: 2604.437
INFO - Atoms: 104931/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4574 Props: 104810737 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.87 Prop: 107045.677 PropClause: 104173.708 Set: 10015.898 Check: 7.497 Back: 2607.115
INFO - Atoms: 105316/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4575 Props: 104916320 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.876 Prop: 107154.249 PropClause: 104279.671 Set: 10034.941 Check: 7.497 Back: 2609.815
INFO - Atoms: 105583/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4576 Props: 105022470 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.882 Prop: 107260.843 PropClause: 104383.63 Set: 10053.92 Check: 7.497 Back: 2612.52
INFO - Atoms: 106150/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4577 Props: 105128943 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.886 Prop: 107365.681 PropClause: 104485.851 Set: 10072.961 Check: 7.497 Back: 2615.222
INFO - Atoms: 106473/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4578 Props: 105235485 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.891 Prop: 107475.684 PropClause: 104593.197 Set: 10092.436 Check: 7.497 Back: 2617.925
INFO - Atoms: 106542/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4579 Props: 105342366 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.896 Prop: 107582.814 PropClause: 104697.687 Set: 10111.517 Check: 7.497 Back: 2620.639
INFO - Atoms: 106881/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4580 Props: 105449617 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.901 Prop: 107692.437 PropClause: 104804.627 Set: 10130.831 Check: 7.497 Back: 2623.313
INFO - Atoms: 107251/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4581 Props: 105557442 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.905 Prop: 107800.729 PropClause: 104910.233 Set: 10150.238 Check: 7.497 Back: 2626.041
INFO - Atoms: 107825/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4582 Props: 105665592 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.911 Prop: 107913.668 PropClause: 105020.477 Set: 10169.983 Check: 7.497 Back: 2628.774
INFO - Atoms: 108150/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4583 Props: 105773751 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.916 Prop: 108022.935 PropClause: 105127.055 Set: 10189.972 Check: 7.497 Back: 2631.512
INFO - Atoms: 108159/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4584 Props: 105882249 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.921 Prop: 108137.814 PropClause: 105239.244 Set: 10210.074 Check: 7.497 Back: 2634.263
INFO - Atoms: 108498/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4585 Props: 105991304 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.926 Prop: 108254.649 PropClause: 105353.389 Set: 10229.854 Check: 7.497 Back: 2637.029
INFO - Atoms: 109055/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4586 Props: 106100430 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.931 Prop: 108369.57 PropClause: 105465.615 Set: 10249.388 Check: 7.497 Back: 2639.809
INFO - Atoms: 109126/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4587 Props: 106209891 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.937 Prop: 108484.996 PropClause: 105578.323 Set: 10269.452 Check: 7.497 Back: 2642.601
INFO - Atoms: 109461/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4588 Props: 106319663 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.942 Prop: 108601.913 PropClause: 105692.463 Set: 10289.482 Check: 7.497 Back: 2645.395
INFO - Atoms: 109772/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4589 Props: 106429780 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.947 Prop: 108717.543 PropClause: 105805.354 Set: 10309.418 Check: 7.497 Back: 2648.226
INFO - Atoms: 110117/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4590 Props: 106540450 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.952 Prop: 108834.074 PropClause: 105919.09 Set: 10329.711 Check: 7.497 Back: 2651.036
INFO - Atoms: 110670/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4591 Props: 106651445 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.956 Prop: 108959.054 PropClause: 106041.306 Set: 10350.259 Check: 7.497 Back: 2653.87
INFO - Atoms: 110995/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4592 Props: 106768794 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.961 Prop: 109085.507 PropClause: 106164.817 Set: 10371.564 Check: 7.497 Back: 2656.727
INFO - Atoms: 117349/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4593 Props: 106887031 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.966 Prop: 109215.747 PropClause: 106292.083 Set: 10393.298 Check: 7.497 Back: 2659.756
INFO - Atoms: 118237/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4594 Props: 107005543 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.971 Prop: 109346.918 PropClause: 106420.315 Set: 10414.825 Check: 7.497 Back: 2662.792
INFO - Atoms: 118512/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4595 Props: 107124426 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.976 Prop: 109479.551 PropClause: 106549.984 Set: 10436.564 Check: 7.497 Back: 2665.808
INFO - Atoms: 118883/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4596 Props: 107243582 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.982 Prop: 109611.496 PropClause: 106678.983 Set: 10458.164 Check: 7.497 Back: 2668.881
INFO - Atoms: 119156/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4597 Props: 107363111 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.986 Prop: 109745.368 PropClause: 106809.875 Set: 10479.662 Check: 7.497 Back: 2671.911
INFO - Atoms: 119529/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4598 Props: 107482907 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30981.992 Prop: 109879.02 PropClause: 106940.566 Set: 10501.624 Check: 7.497 Back: 2674.97
INFO - Atoms: 119796/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4599 Props: 107603083 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.0 Prop: 110013.298 PropClause: 107071.85 Set: 10523.714 Check: 7.497 Back: 2678.037
INFO - Atoms: 120176/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4600 Props: 107723529 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.004 Prop: 110140.687 PropClause: 107196.264 Set: 10545.346 Check: 7.497 Back: 2681.145
INFO - Atoms: 120446/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4601 Props: 107844300 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.009 Prop: 110272.997 PropClause: 107325.578 Set: 10567.127 Check: 7.497 Back: 2684.192
INFO - Atoms: 120771/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4602 Props: 107965443 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.013 Prop: 110407.364 PropClause: 107456.931 Set: 10589.379 Check: 7.497 Back: 2687.269
INFO - Atoms: 121143/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4603 Props: 108086910 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.02 Prop: 110537.592 PropClause: 107584.112 Set: 10611.257 Check: 7.497 Back: 2690.372
INFO - Atoms: 121467/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4604 Props: 108208648 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.025 Prop: 110667.552 PropClause: 107711.045 Set: 10633.082 Check: 7.497 Back: 2693.481
INFO - Atoms: 121738/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4605 Props: 108330763 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.03 Prop: 110801.24 PropClause: 107841.67 Set: 10655.299 Check: 7.497 Back: 2696.568
INFO - Atoms: 122115/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4606 Props: 108453147 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.035 Prop: 110934.73 PropClause: 107972.129 Set: 10678.048 Check: 7.497 Back: 2699.745
INFO - Atoms: 122384/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4607 Props: 108575907 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.04 Prop: 111070.799 PropClause: 108105.133 Set: 10700.378 Check: 7.497 Back: 2702.912
INFO - Atoms: 122760/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4608 Props: 108698941 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.045 Prop: 111206.458 PropClause: 108237.755 Set: 10722.821 Check: 7.497 Back: 2706.064
INFO - Atoms: 123034/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4609 Props: 108822302 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.05 Prop: 111340.547 PropClause: 108368.802 Set: 10745.063 Check: 7.497 Back: 2709.187
INFO - Atoms: 123361/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4610 Props: 108945974 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.055 Prop: 111475.428 PropClause: 108500.599 Set: 10767.651 Check: 7.497 Back: 2712.333
INFO - Atoms: 123672/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4611 Props: 109069967 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.059 Prop: 111615.041 PropClause: 108637.119 Set: 10790.293 Check: 7.497 Back: 2715.504
INFO - Atoms: 123993/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4612 Props: 109194284 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.065 Prop: 111753.968 PropClause: 108772.943 Set: 10812.971 Check: 7.497 Back: 2718.692
INFO - Atoms: 124317/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4613 Props: 109318923 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.071 Prop: 111892.936 PropClause: 108908.812 Set: 10889.495 Check: 7.497 Back: 2721.899
INFO - Atoms: 124639/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4614 Props: 109444143 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.075 Prop: 112036.051 PropClause: 109048.818 Set: 10913.512 Check: 7.497 Back: 2725.068
INFO - Atoms: 125220/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4615 Props: 109569428 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.08 Prop: 112181.355 PropClause: 109190.987 Set: 10936.663 Check: 7.497 Back: 2728.286
INFO - Atoms: 125285/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4616 Props: 109695208 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.085 Prop: 112317.698 PropClause: 109324.196 Set: 10959.454 Check: 7.497 Back: 2731.514
INFO - Atoms: 125780/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4617 Props: 109823514 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.15 Prop: 112465.064 PropClause: 109468.337 Set: 10983.23 Check: 7.497 Back: 2734.739
INFO - Atoms: 128306/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4618 Props: 109952659 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.295 Prop: 112612.648 PropClause: 109612.673 Set: 11007.293 Check: 7.497 Back: 2738.05
INFO - Atoms: 129145/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4619 Props: 110082179 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.307 Prop: 112759.867 PropClause: 109756.678 Set: 11031.163 Check: 7.497 Back: 2741.382
INFO - Atoms: 129520/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4620 Props: 110211966 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.32 Prop: 112910.863 PropClause: 109904.443 Set: 11055.173 Check: 7.497 Back: 2744.726
INFO - Atoms: 129787/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4621 Props: 110342133 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.332 Prop: 113060.833 PropClause: 110051.159 Set: 11079.516 Check: 7.497 Back: 2748.085
INFO - Atoms: 130167/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4622 Props: 110472572 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.344 Prop: 113218.412 PropClause: 110205.325 Set: 11105.449 Check: 7.497 Back: 2751.431
INFO - Atoms: 130439/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4623 Props: 110603324 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.356 Prop: 113371.006 PropClause: 110354.664 Set: 11130.066 Check: 7.497 Back: 2754.82
INFO - Atoms: 130752/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4624 Props: 110734399 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.368 Prop: 113530.889 PropClause: 110510.753 Set: 11159.04 Check: 7.497 Back: 2758.234
INFO - Atoms: 131075/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4625 Props: 110866054 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.38 Prop: 113683.359 PropClause: 110659.973 Set: 11183.441 Check: 7.497 Back: 2761.687
INFO - Atoms: 131655/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4626 Props: 110997777 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.392 Prop: 113836.921 PropClause: 110810.173 Set: 11208.492 Check: 7.497 Back: 2765.116
INFO - Atoms: 131723/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4627 Props: 111125932 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.404 Prop: 113987.241 PropClause: 110957.29 Set: 11232.443 Check: 7.497 Back: 2768.586
INFO - Atoms: 128155/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4628 Props: 111253849 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.416 Prop: 114127.501 PropClause: 111094.37 Set: 11255.58 Check: 7.497 Back: 2771.871
INFO - Atoms: 127917/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4629 Props: 111382150 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.427 Prop: 114271.574 PropClause: 111235.276 Set: 11278.716 Check: 7.497 Back: 2775.165
INFO - Atoms: 128301/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4630 Props: 111476415 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.439 Prop: 114390.417 PropClause: 111351.765 Set: 11295.427 Check: 7.497 Back: 2778.488
INFO - Atoms: 94265/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4631 Props: 111570366 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.452 Prop: 114480.617 PropClause: 111439.634 Set: 11312.02 Check: 7.497 Back: 2780.857
INFO - Atoms: 93951/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4632 Props: 111664632 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.463 Prop: 114566.47 PropClause: 111523.173 Set: 11328.379 Check: 7.497 Back: 2783.203
INFO - Atoms: 94266/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4633 Props: 111758279 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.473 Prop: 114658.977 PropClause: 111613.341 Set: 11344.825 Check: 7.497 Back: 2785.525
INFO - Atoms: 93647/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4634 Props: 111853848 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.485 Prop: 114749.103 PropClause: 111701.101 Set: 11361.684 Check: 7.497 Back: 2787.874
INFO - Atoms: 95569/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4635 Props: 111949812 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.498 Prop: 114838.844 PropClause: 111788.484 Set: 11378.177 Check: 7.497 Back: 2790.26
INFO - Atoms: 95964/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4636 Props: 112047320 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.511 Prop: 114949.965 PropClause: 111896.662 Set: 11401.176 Check: 7.497 Back: 2792.619
INFO - Atoms: 97508/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4637 Props: 112145164 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.524 Prop: 115049.023 PropClause: 111993.305 Set: 11418.534 Check: 7.497 Back: 2795.083
INFO - Atoms: 97844/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4638 Props: 112243658 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.535 Prop: 115145.669 PropClause: 112087.521 Set: 11435.724 Check: 7.497 Back: 2797.538
INFO - Atoms: 98494/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4639 Props: 112343566 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.547 Prop: 115243.803 PropClause: 112183.171 Set: 11454.001 Check: 7.497 Back: 2800.003
INFO - Atoms: 99908/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4640 Props: 112446215 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.559 Prop: 115345.795 PropClause: 112282.63 Set: 11472.217 Check: 7.497 Back: 2802.535
INFO - Atoms: 102649/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4641 Props: 112547299 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.636 Prop: 115447.822 PropClause: 112382.14 Set: 11490.91 Check: 7.497 Back: 2805.117
INFO - Atoms: 101084/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4642 Props: 112651764 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.673 Prop: 115555.984 PropClause: 112487.676 Set: 11510.067 Check: 7.497 Back: 2807.675
INFO - Atoms: 104465/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4643 Props: 112757003 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.679 Prop: 115666.205 PropClause: 112595.293 Set: 11528.897 Check: 7.497 Back: 2810.358
INFO - Atoms: 105239/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4644 Props: 112862955 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.683 Prop: 115774.784 PropClause: 112701.206 Set: 11547.979 Check: 7.497 Back: 2813.019
INFO - Atoms: 105952/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4645 Props: 112968110 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.689 Prop: 115885.578 PropClause: 112809.384 Set: 11566.934 Check: 7.497 Back: 2815.691
INFO - Atoms: 105155/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4646 Props: 113076259 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.694 Prop: 115998.806 PropClause: 112919.846 Set: 11587.233 Check: 7.497 Back: 2818.376
INFO - Atoms: 108149/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4647 Props: 113186011 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.699 Prop: 116113.362 PropClause: 113031.668 Set: 11607.284 Check: 7.497 Back: 2821.128
INFO - Atoms: 109752/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4648 Props: 113294838 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.704 Prop: 116227.269 PropClause: 113142.869 Set: 11626.617 Check: 7.497 Back: 2823.917
INFO - Atoms: 108827/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4649 Props: 113404626 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.709 Prop: 116342.932 PropClause: 113255.785 Set: 11647.093 Check: 7.497 Back: 2826.654
INFO - Atoms: 109788/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4650 Props: 113515441 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.713 Prop: 116457.691 PropClause: 113367.786 Set: 11667.853 Check: 7.497 Back: 2829.489
INFO - Atoms: 110815/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4651 Props: 113626156 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.718 Prop: 116578.811 PropClause: 113486.174 Set: 11687.512 Check: 7.497 Back: 2832.293
INFO - Atoms: 110715/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4652 Props: 113739839 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.721 Prop: 116700.531 PropClause: 113605.066 Set: 11708.032 Check: 7.497 Back: 2835.095
INFO - Atoms: 113683/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4653 Props: 113852292 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.726 Prop: 116823.694 PropClause: 113725.373 Set: 11728.974 Check: 7.497 Back: 2837.978
INFO - Atoms: 112453/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4654 Props: 113966232 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.731 Prop: 116949.074 PropClause: 113847.914 Set: 11749.747 Check: 7.497 Back: 2840.851
INFO - Atoms: 113940/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4655 Props: 114083176 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.735 Prop: 117074.088 PropClause: 113970.008 Set: 11770.764 Check: 7.497 Back: 2843.798
INFO - Atoms: 116944/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4656 Props: 114200388 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.74 Prop: 117194.552 PropClause: 114087.555 Set: 11837.047 Check: 7.497 Back: 2846.779
INFO - Atoms: 117212/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4657 Props: 114318686 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.745 Prop: 117319.204 PropClause: 114209.246 Set: 11858.373 Check: 7.497 Back: 2849.736
INFO - Atoms: 118298/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4658 Props: 114437830 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.749 Prop: 117448.559 PropClause: 114335.623 Set: 11879.956 Check: 7.497 Back: 2852.734
INFO - Atoms: 119144/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4659 Props: 114560214 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.754 Prop: 117579.098 PropClause: 114463.096 Set: 11902.078 Check: 7.497 Back: 2855.762
INFO - Atoms: 122384/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4660 Props: 114683795 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.76 Prop: 117717.5 PropClause: 114598.351 Set: 11925.516 Check: 7.497 Back: 2858.896
INFO - Atoms: 123581/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4661 Props: 114807757 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.764 Prop: 117850.704 PropClause: 114728.471 Set: 11948.074 Check: 7.497 Back: 2862.121
INFO - Atoms: 123962/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4662 Props: 114932272 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.769 Prop: 117985.121 PropClause: 114859.749 Set: 11970.981 Check: 7.497 Back: 2865.297
INFO - Atoms: 124515/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4663 Props: 115057492 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.773 Prop: 118120.202 PropClause: 114991.693 Set: 11993.734 Check: 7.497 Back: 2868.435
INFO - Atoms: 125220/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4664 Props: 115182778 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.778 Prop: 118264.311 PropClause: 115132.681 Set: 12016.725 Check: 7.497 Back: 2871.615
INFO - Atoms: 125286/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4665 Props: 115309729 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.783 Prop: 118408.247 PropClause: 115273.464 Set: 12040.105 Check: 7.497 Back: 2874.847
INFO - Atoms: 126951/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4666 Props: 115437957 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.788 Prop: 118556.617 PropClause: 115418.552 Set: 12065.934 Check: 7.497 Back: 2878.115
INFO - Atoms: 128228/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4667 Props: 115566967 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.793 Prop: 118724.294 PropClause: 115582.243 Set: 12096.195 Check: 7.497 Back: 2881.547
INFO - Atoms: 129010/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4668 Props: 115695259 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.798 Prop: 118893.29 PropClause: 115747.28 Set: 12125.864 Check: 7.497 Back: 2884.969
INFO - Atoms: 128292/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4669 Props: 115825083 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.802 Prop: 119063.83 PropClause: 115913.854 Set: 12156.583 Check: 7.497 Back: 2888.413
INFO - Atoms: 129824/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4670 Props: 115954110 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.806 Prop: 119232.345 PropClause: 116078.401 Set: 12186.695 Check: 7.497 Back: 2891.898
INFO - Atoms: 129027/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4671 Props: 116083462 Tprops: 0 Decides: 302309 RSplits: 0
INFO - Times: Expl: 30982.811 Prop: 119402.555 PropClause: 116244.556 Set: 12217.112 Check: 7.497 Back: 2895.388
INFO - Atoms: 129352/158078 Clauses: 978 Axioms: 526018
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 60675 Tprops: 1661 Decides: 74860 RSplits: 0
INFO - Times: Expl: 467.67 Prop: 244858.076 PropClause: 30.056 Set: 17690.405 Check: 449.381 Back: 258.332
INFO - Atoms: 32/1379 Clauses: 500 Axioms: 1379
INFO - CCTimes: iE 931993 eq 50039339 cc 230800725 setRep 144284390
INFO - Merges: 834536, cc:2457636
INFO - BVTimes: BB 546738553 BB_DPLL 231616556502 Graph 1739160
INFO - BitBlastingClauses: 964242 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Confl: 534 Props: 62199 Tprops: 1724 Decides: 74924 RSplits: 0
INFO - Times: Expl: 485.792 Prop: 244859.892 PropClause: 30.689 Set: 17767.373 Check: 449.427 Back: 259.775
INFO - Atoms: 84/1379 Clauses: 534 Axioms: 1379
INFO - CCTimes: iE 933668 eq 82798811 cc 231378826 setRep 144469445
INFO - Merges: 835568, cc:2459938
INFO - BVTimes: BB 546738553 BB_DPLL 231616556502 Graph 1740795
INFO - BitBlastingClauses: 964242 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat