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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 164834991
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 44187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.567 Prop: 59.851 PropClause: 52.372 Set: 21.007 Check: 0.0 Back: 0.0
INFO - Atoms: 44187/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 87933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.651 Prop: 113.172 PropClause: 100.994 Set: 31.65 Check: 0.0 Back: 1.031
INFO - Atoms: 43746/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 131679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.693 Prop: 161.382 PropClause: 148.031 Set: 48.655 Check: 0.0 Back: 2.044
INFO - Atoms: 43746/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 175420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.737 Prop: 212.785 PropClause: 198.317 Set: 56.828 Check: 0.0 Back: 3.101
INFO - Atoms: 43741/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 219166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.784 Prop: 263.463 PropClause: 247.893 Set: 65.174 Check: 0.0 Back: 4.193
INFO - Atoms: 43746/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 262907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.234 Prop: 309.98 PropClause: 293.296 Set: 115.918 Check: 0.0 Back: 5.17
INFO - Atoms: 43741/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 306646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.279 Prop: 356.302 PropClause: 338.527 Set: 124.171 Check: 0.0 Back: 6.169
INFO - Atoms: 43739/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 350177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.347 Prop: 403.251 PropClause: 384.398 Set: 132.265 Check: 0.0 Back: 7.174
INFO - Atoms: 43531/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 393468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.392 Prop: 452.161 PropClause: 432.24 Set: 145.006 Check: 0.0 Back: 8.171
INFO - Atoms: 43291/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 436547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.436 Prop: 499.926 PropClause: 478.934 Set: 157.961 Check: 0.0 Back: 9.159
INFO - Atoms: 43079/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 479384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.479 Prop: 545.333 PropClause: 523.282 Set: 166.051 Check: 0.0 Back: 10.152
INFO - Atoms: 42837/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 522009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.526 Prop: 591.879 PropClause: 568.744 Set: 174.195 Check: 0.0 Back: 11.127
INFO - Atoms: 42625/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 564392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.574 Prop: 638.886 PropClause: 614.681 Set: 182.407 Check: 0.0 Back: 12.125
INFO - Atoms: 42383/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 606563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.617 Prop: 688.048 PropClause: 662.786 Set: 190.384 Check: 0.0 Back: 13.106
INFO - Atoms: 42171/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 648492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.668 Prop: 735.867 PropClause: 709.556 Set: 198.34 Check: 0.0 Back: 14.08
INFO - Atoms: 41929/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 690209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.712 Prop: 781.415 PropClause: 754.068 Set: 206.304 Check: 0.0 Back: 15.055
INFO - Atoms: 41717/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 731684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.754 Prop: 827.843 PropClause: 799.447 Set: 214.092 Check: 0.0 Back: 16.024
INFO - Atoms: 41475/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 772947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.8 Prop: 871.072 PropClause: 841.645 Set: 221.876 Check: 0.0 Back: 16.991
INFO - Atoms: 41263/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 813968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.843 Prop: 913.416 PropClause: 882.967 Set: 229.607 Check: 0.0 Back: 17.949
INFO - Atoms: 41021/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 854761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.89 Prop: 958.109 PropClause: 926.647 Set: 241.646 Check: 0.0 Back: 18.911
INFO - Atoms: 40793/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 895328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.937 Prop: 1003.599 PropClause: 971.116 Set: 253.959 Check: 0.0 Back: 19.868
INFO - Atoms: 40567/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 935667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.986 Prop: 1047.314 PropClause: 1013.833 Set: 266.123 Check: 0.0 Back: 20.818
INFO - Atoms: 40339/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 975780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.035 Prop: 1121.466 PropClause: 1086.987 Set: 277.692 Check: 0.0 Back: 21.758
INFO - Atoms: 40113/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1015682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.081 Prop: 1160.329 PropClause: 1124.853 Set: 285.17 Check: 0.0 Back: 22.684
INFO - Atoms: 39902/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1055341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.132 Prop: 1205.958 PropClause: 1169.497 Set: 292.632 Check: 0.0 Back: 23.706
INFO - Atoms: 39659/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1094788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.193 Prop: 1250.375 PropClause: 1212.062 Set: 300.185 Check: 0.0 Back: 24.624
INFO - Atoms: 39447/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1133993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.246 Prop: 1290.319 PropClause: 1251.006 Set: 307.596 Check: 0.0 Back: 25.58
INFO - Atoms: 39205/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1172970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.293 Prop: 1332.54 PropClause: 1292.257 Set: 314.935 Check: 0.0 Back: 26.5
INFO - Atoms: 38977/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1211721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.34 Prop: 1373.634 PropClause: 1332.356 Set: 322.287 Check: 0.0 Back: 27.444
INFO - Atoms: 38751/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1250261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.388 Prop: 1411.508 PropClause: 1369.259 Set: 329.517 Check: 0.0 Back: 28.366
INFO - Atoms: 38540/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1288558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.433 Prop: 1452.567 PropClause: 1409.347 Set: 336.621 Check: 0.0 Back: 29.276
INFO - Atoms: 38297/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1326643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.484 Prop: 1493.404 PropClause: 1449.23 Set: 343.859 Check: 0.0 Back: 30.168
INFO - Atoms: 38085/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1364486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.524 Prop: 1530.217 PropClause: 1485.092 Set: 350.892 Check: 0.0 Back: 31.065
INFO - Atoms: 37843/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1402101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.568 Prop: 1569.182 PropClause: 1523.113 Set: 357.841 Check: 0.0 Back: 31.972
INFO - Atoms: 37615/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1439490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.613 Prop: 1609.312 PropClause: 1562.302 Set: 364.756 Check: 0.0 Back: 32.846
INFO - Atoms: 37389/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1476667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.668 Prop: 1648.877 PropClause: 1600.938 Set: 371.564 Check: 0.0 Back: 33.719
INFO - Atoms: 37177/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1513602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.746 Prop: 1684.816 PropClause: 1635.95 Set: 378.47 Check: 0.0 Back: 34.615
INFO - Atoms: 36935/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1550325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.782 Prop: 1721.443 PropClause: 1671.662 Set: 385.231 Check: 0.0 Back: 35.491
INFO - Atoms: 36723/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1586806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.821 Prop: 1758.285 PropClause: 1707.592 Set: 391.889 Check: 0.0 Back: 36.351
INFO - Atoms: 36481/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1623075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.858 Prop: 1794.171 PropClause: 1742.562 Set: 398.574 Check: 0.0 Back: 37.224
INFO - Atoms: 36269/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1659102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.901 Prop: 1831.831 PropClause: 1779.307 Set: 405.103 Check: 0.0 Back: 38.082
INFO - Atoms: 36027/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1694917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.965 Prop: 1868.083 PropClause: 1814.658 Set: 411.611 Check: 0.0 Back: 38.926
INFO - Atoms: 35815/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1730490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.013 Prop: 1903.914 PropClause: 1849.606 Set: 418.157 Check: 0.0 Back: 39.788
INFO - Atoms: 35573/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1765835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.06 Prop: 1963.17 PropClause: 1907.984 Set: 428.054 Check: 0.0 Back: 40.632
INFO - Atoms: 35345/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1800954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.101 Prop: 2000.001 PropClause: 1943.932 Set: 437.786 Check: 0.0 Back: 41.48
INFO - Atoms: 35119/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1835845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.141 Prop: 2036.176 PropClause: 1979.24 Set: 447.56 Check: 0.0 Back: 42.311
INFO - Atoms: 34891/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1870510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.181 Prop: 2073.037 PropClause: 2015.237 Set: 457.164 Check: 0.0 Back: 43.153
INFO - Atoms: 34665/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1904964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.223 Prop: 2107.794 PropClause: 2049.132 Set: 466.629 Check: 0.0 Back: 43.974
INFO - Atoms: 34454/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1939175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.266 Prop: 2140.814 PropClause: 2081.301 Set: 476.021 Check: 0.0 Back: 44.804
INFO - Atoms: 34211/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1973158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.307 Prop: 2173.056 PropClause: 2112.677 Set: 485.319 Check: 0.0 Back: 45.621
INFO - Atoms: 33983/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2006915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.352 Prop: 2206.513 PropClause: 2145.301 Set: 494.607 Check: 0.0 Back: 46.423
INFO - Atoms: 33757/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2040444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.495 Prop: 2239.621 PropClause: 2177.575 Set: 503.782 Check: 0.0 Back: 47.235
INFO - Atoms: 33529/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2073747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.517 Prop: 2268.364 PropClause: 2205.476 Set: 512.59 Check: 0.0 Back: 48.028
INFO - Atoms: 33303/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2106838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.535 Prop: 2300.939 PropClause: 2237.234 Set: 521.647 Check: 0.0 Back: 48.821
INFO - Atoms: 33091/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2139687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.553 Prop: 2330.241 PropClause: 2265.722 Set: 530.486 Check: 0.0 Back: 49.605
INFO - Atoms: 32849/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2172323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.573 Prop: 2361.789 PropClause: 2296.457 Set: 536.324 Check: 0.0 Back: 50.375
INFO - Atoms: 32636/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2204718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.594 Prop: 2391.334 PropClause: 2325.197 Set: 542.261 Check: 0.0 Back: 51.18
INFO - Atoms: 32395/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2236900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.615 Prop: 2421.27 PropClause: 2354.326 Set: 548.108 Check: 0.0 Back: 51.968
INFO - Atoms: 32182/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 2268841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.635 Prop: 2449.032 PropClause: 2381.286 Set: 553.86 Check: 0.0 Back: 52.753
INFO - Atoms: 31941/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 2300570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 2478.0 PropClause: 2409.455 Set: 559.518 Check: 0.0 Back: 53.52
INFO - Atoms: 31729/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 2332057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 2505.668 PropClause: 2436.336 Set: 565.233 Check: 0.0 Back: 54.281
INFO - Atoms: 31487/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 2363316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.698 Prop: 2535.039 PropClause: 2464.919 Set: 570.86 Check: 0.0 Back: 55.035
INFO - Atoms: 31259/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 2394349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.716 Prop: 2562.525 PropClause: 2491.632 Set: 576.359 Check: 0.0 Back: 55.779
INFO - Atoms: 31033/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 2425170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.733 Prop: 2592.044 PropClause: 2520.385 Set: 581.808 Check: 0.0 Back: 56.516
INFO - Atoms: 30821/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 2455749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.752 Prop: 2617.238 PropClause: 2544.782 Set: 587.237 Check: 0.0 Back: 57.271
INFO - Atoms: 30579/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 2486115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.771 Prop: 2644.588 PropClause: 2571.37 Set: 592.644 Check: 0.0 Back: 58.001
INFO - Atoms: 30366/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 2516240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.787 Prop: 2670.76 PropClause: 2596.793 Set: 597.837 Check: 0.0 Back: 58.749
INFO - Atoms: 30125/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 2546137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 2694.867 PropClause: 2620.148 Set: 603.087 Check: 0.0 Back: 59.488
INFO - Atoms: 29897/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 2576940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.827 Prop: 2720.682 PropClause: 2645.187 Set: 608.619 Check: 0.0 Back: 60.209
INFO - Atoms: 30803/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 2607973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.847 Prop: 2747.939 PropClause: 2671.677 Set: 614.249 Check: 0.0 Back: 60.945
INFO - Atoms: 31033/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 2639211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.865 Prop: 2773.213 PropClause: 2696.162 Set: 619.737 Check: 0.0 Back: 61.709
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 2670470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.884 Prop: 2800.703 PropClause: 2722.87 Set: 625.384 Check: 0.0 Back: 62.452
INFO - Atoms: 31259/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 2701044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.901 Prop: 2825.689 PropClause: 2747.1 Set: 630.678 Check: 0.0 Back: 63.201
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 2732481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.92 Prop: 2851.917 PropClause: 2772.543 Set: 636.322 Check: 0.0 Back: 63.937
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 2763737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.938 Prop: 2875.616 PropClause: 2795.466 Set: 641.828 Check: 0.0 Back: 64.685
INFO - Atoms: 31256/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 2794310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.956 Prop: 2897.979 PropClause: 2817.072 Set: 647.096 Check: 0.0 Back: 65.429
INFO - Atoms: 30573/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 2825567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.975 Prop: 2923.435 PropClause: 2841.728 Set: 652.647 Check: 0.0 Back: 66.157
INFO - Atoms: 31257/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 2857003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.994 Prop: 2950.584 PropClause: 2868.09 Set: 658.513 Check: 0.0 Back: 66.904
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 2887577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.014 Prop: 2974.505 PropClause: 2891.236 Set: 663.892 Check: 0.0 Back: 67.68
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 2919014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.033 Prop: 2998.356 PropClause: 2914.304 Set: 669.475 Check: 0.0 Back: 68.429
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 2950270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.051 Prop: 3023.643 PropClause: 2938.816 Set: 675.034 Check: 0.0 Back: 69.19
INFO - Atoms: 31256/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 2981727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.068 Prop: 3051.368 PropClause: 2965.755 Set: 680.756 Check: 0.0 Back: 69.937
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 3013161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.091 Prop: 3077.204 PropClause: 2990.807 Set: 686.578 Check: 0.0 Back: 70.684
INFO - Atoms: 31434/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 3044399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.109 Prop: 3104.061 PropClause: 3016.886 Set: 692.185 Check: 0.0 Back: 71.438
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 3074973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.129 Prop: 3133.149 PropClause: 3045.21 Set: 697.75 Check: 0.0 Back: 72.2
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 3106408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.152 Prop: 3160.091 PropClause: 3071.368 Set: 704.456 Check: 0.0 Back: 72.953
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 3137666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.17 Prop: 3184.002 PropClause: 3094.491 Set: 709.991 Check: 0.0 Back: 73.707
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 3169123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.188 Prop: 3209.532 PropClause: 3119.205 Set: 715.687 Check: 0.0 Back: 74.458
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 3200559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.205 Prop: 3237.591 PropClause: 3146.478 Set: 721.409 Check: 0.0 Back: 75.209
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 3231797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.222 Prop: 3262.509 PropClause: 3170.617 Set: 727.026 Check: 0.0 Back: 75.959
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 3262371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.241 Prop: 3285.756 PropClause: 3193.105 Set: 732.35 Check: 0.0 Back: 76.709
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 3293806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.261 Prop: 3313.244 PropClause: 3219.803 Set: 738.295 Check: 0.0 Back: 77.442
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 3325064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 3341.601 PropClause: 3247.382 Set: 744.089 Check: 0.0 Back: 78.218
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 3356537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.335 Prop: 3370.572 PropClause: 3275.579 Set: 749.947 Check: 0.0 Back: 78.99
INFO - Atoms: 31473/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 3387974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.406 Prop: 3396.217 PropClause: 3300.436 Set: 755.535 Check: 0.0 Back: 79.751
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 3419212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.421 Prop: 3424.502 PropClause: 3327.939 Set: 761.356 Check: 0.0 Back: 80.501
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 3449786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 3452.073 PropClause: 3354.745 Set: 766.785 Check: 0.0 Back: 81.244
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 3481221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.449 Prop: 3478.207 PropClause: 3380.095 Set: 772.45 Check: 0.0 Back: 81.985
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 3512479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.465 Prop: 3504.626 PropClause: 3405.749 Set: 778.025 Check: 0.0 Back: 82.73
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 3543052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.481 Prop: 3532.517 PropClause: 3432.871 Set: 783.543 Check: 0.0 Back: 83.474
INFO - Atoms: 30573/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 3574308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.494 Prop: 3559.767 PropClause: 3459.338 Set: 789.28 Check: 0.0 Back: 84.21
INFO - Atoms: 31256/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 3605745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.507 Prop: 3587.665 PropClause: 3486.455 Set: 795.018 Check: 0.0 Back: 84.957
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 3636319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.522 Prop: 3614.231 PropClause: 3512.259 Set: 800.494 Check: 0.0 Back: 85.7
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 3667756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.536 Prop: 3641.152 PropClause: 3538.394 Set: 806.23 Check: 0.0 Back: 86.431
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 3699012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.552 Prop: 3667.093 PropClause: 3563.55 Set: 811.922 Check: 0.0 Back: 87.18
INFO - Atoms: 31256/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 3730469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.567 Prop: 3694.732 PropClause: 3590.4 Set: 817.698 Check: 0.0 Back: 87.943
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 3761903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.582 Prop: 3723.475 PropClause: 3618.36 Set: 823.384 Check: 0.0 Back: 88.682
INFO - Atoms: 31434/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 3793141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 3753.356 PropClause: 3647.463 Set: 829.105 Check: 0.0 Back: 89.427
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 3824599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.634 Prop: 3782.078 PropClause: 3675.385 Set: 834.94 Check: 0.0 Back: 90.174
INFO - Atoms: 31458/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 3855835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.643 Prop: 3812.228 PropClause: 3704.76 Set: 843.544 Check: 0.0 Back: 90.935
INFO - Atoms: 31236/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 3887270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.652 Prop: 3840.838 PropClause: 3732.587 Set: 852.218 Check: 0.0 Back: 91.698
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 3918729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.66 Prop: 3869.185 PropClause: 3760.155 Set: 860.916 Check: 0.0 Back: 92.443
INFO - Atoms: 31459/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 3950163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.669 Prop: 3896.559 PropClause: 3786.735 Set: 869.711 Check: 0.0 Back: 93.191
INFO - Atoms: 31434/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 3981401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.68 Prop: 3924.348 PropClause: 3813.751 Set: 878.352 Check: 0.0 Back: 93.95
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 4011975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.688 Prop: 3953.341 PropClause: 3841.976 Set: 886.817 Check: 0.0 Back: 94.707
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 4043412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.699 Prop: 3980.656 PropClause: 3868.503 Set: 901.231 Check: 0.0 Back: 95.445
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 4074668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 4007.898 PropClause: 3894.964 Set: 906.908 Check: 0.0 Back: 96.193
INFO - Atoms: 31256/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 4106141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.717 Prop: 4035.19 PropClause: 3921.473 Set: 912.664 Check: 0.0 Back: 96.938
INFO - Atoms: 31473/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 4137578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.727 Prop: 4064.206 PropClause: 3949.704 Set: 918.447 Check: 0.0 Back: 97.68
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 4168816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 4091.281 PropClause: 3975.979 Set: 924.137 Check: 0.0 Back: 98.423
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 4199390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.742 Prop: 4117.687 PropClause: 4001.619 Set: 929.62 Check: 0.0 Back: 99.177
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 4230825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 4145.364 PropClause: 4028.5 Set: 935.372 Check: 0.0 Back: 99.908
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 4262083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.758 Prop: 4174.408 PropClause: 4056.748 Set: 941.19 Check: 0.0 Back: 100.658
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 4293556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.766 Prop: 4202.678 PropClause: 4084.235 Set: 946.972 Check: 0.0 Back: 101.41
INFO - Atoms: 31473/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 4324992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.773 Prop: 4230.135 PropClause: 4110.9 Set: 952.847 Check: 0.0 Back: 102.155
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 4356230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.782 Prop: 4259.836 PropClause: 4139.824 Set: 958.667 Check: 0.0 Back: 102.934
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 4386804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 4286.643 PropClause: 4165.856 Set: 964.256 Check: 0.0 Back: 103.679
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 4418239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.803 Prop: 4316.629 PropClause: 4194.858 Set: 970.176 Check: 0.0 Back: 104.406
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 4449497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.816 Prop: 4346.276 PropClause: 4223.708 Set: 976.074 Check: 0.0 Back: 105.161
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 4480969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.826 Prop: 4376.725 PropClause: 4253.367 Set: 981.993 Check: 0.0 Back: 105.913
INFO - Atoms: 31472/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 4512405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.835 Prop: 4405.948 PropClause: 4281.803 Set: 987.775 Check: 0.0 Back: 106.662
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 4543643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.845 Prop: 4434.849 PropClause: 4309.926 Set: 993.512 Check: 0.0 Back: 107.41
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 4574217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 4462.949 PropClause: 4337.26 Set: 999.103 Check: 0.0 Back: 108.172
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 4605652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.863 Prop: 4490.836 PropClause: 4364.361 Set: 1004.947 Check: 0.0 Back: 108.903
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 4636910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.871 Prop: 4519.627 PropClause: 4392.369 Set: 1010.738 Check: 0.0 Back: 109.65
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 4668367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.88 Prop: 4547.887 PropClause: 4419.827 Set: 1016.665 Check: 0.0 Back: 110.4
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 4699804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.887 Prop: 4576.409 PropClause: 4447.558 Set: 1022.635 Check: 0.0 Back: 111.143
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 4731042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.895 Prop: 4605.593 PropClause: 4475.958 Set: 1028.455 Check: 0.0 Back: 111.898
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 4761616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.903 Prop: 4630.923 PropClause: 4500.522 Set: 1033.98 Check: 0.0 Back: 112.666
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 4793051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.913 Prop: 4660.622 PropClause: 4529.433 Set: 1039.989 Check: 0.0 Back: 113.399
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 4824309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.921 Prop: 4686.926 PropClause: 4554.951 Set: 1045.77 Check: 0.0 Back: 114.152
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 4855782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.928 Prop: 4717.405 PropClause: 4584.639 Set: 1051.701 Check: 0.0 Back: 114.913
INFO - Atoms: 31473/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 4887218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.937 Prop: 4746.374 PropClause: 4612.818 Set: 1057.512 Check: 0.0 Back: 115.667
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 4918456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.945 Prop: 4772.764 PropClause: 4638.424 Set: 1063.224 Check: 0.0 Back: 116.415
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 4949030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.952 Prop: 4799.806 PropClause: 4664.704 Set: 1068.757 Check: 0.0 Back: 117.17
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 4980465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 4829.069 PropClause: 4693.184 Set: 1074.74 Check: 0.0 Back: 117.902
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 5011723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.97 Prop: 4856.086 PropClause: 4719.41 Set: 1080.477 Check: 0.0 Back: 118.682
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 5042311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.981 Prop: 4882.83 PropClause: 4745.397 Set: 1086.052 Check: 0.0 Back: 119.441
INFO - Atoms: 30588/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 5073566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.994 Prop: 4911.239 PropClause: 4773.025 Set: 1091.955 Check: 0.0 Back: 120.178
INFO - Atoms: 31255/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 5105004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.003 Prop: 4938.561 PropClause: 4799.557 Set: 1097.783 Check: 0.0 Back: 120.938
INFO - Atoms: 31438/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 5136462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.01 Prop: 4963.717 PropClause: 4823.921 Set: 1103.546 Check: 0.0 Back: 121.687
INFO - Atoms: 31458/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 5167698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.019 Prop: 4988.209 PropClause: 4847.626 Set: 1109.271 Check: 0.0 Back: 122.43
INFO - Atoms: 31236/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 5199135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.028 Prop: 5013.654 PropClause: 4872.281 Set: 1115.028 Check: 0.0 Back: 123.181
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 5229723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.036 Prop: 5041.734 PropClause: 4899.593 Set: 1120.638 Check: 0.0 Back: 123.935
INFO - Atoms: 30588/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 5260978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.045 Prop: 5066.66 PropClause: 4923.733 Set: 1126.309 Check: 0.0 Back: 124.678
INFO - Atoms: 31255/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 5292416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.053 Prop: 5091.863 PropClause: 4948.145 Set: 1132.112 Check: 0.0 Back: 125.428
INFO - Atoms: 31438/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 5323876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.062 Prop: 5118.49 PropClause: 4973.984 Set: 1137.964 Check: 0.0 Back: 126.187
INFO - Atoms: 31460/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 5355112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 5146.782 PropClause: 5001.49 Set: 1143.782 Check: 0.0 Back: 126.935
INFO - Atoms: 31236/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 5386547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 5175.696 PropClause: 5029.621 Set: 1149.724 Check: 0.0 Back: 127.682
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 5418020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.087 Prop: 5203.516 PropClause: 5056.653 Set: 1155.436 Check: 0.0 Back: 128.431
INFO - Atoms: 31473/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 5449456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.096 Prop: 5230.971 PropClause: 5083.292 Set: 1161.184 Check: 0.0 Back: 129.187
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 5480694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.105 Prop: 5259.106 PropClause: 5110.641 Set: 1166.971 Check: 0.0 Back: 129.933
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 5511268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 5285.673 PropClause: 5136.449 Set: 1172.584 Check: 0.0 Back: 130.686
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 5542705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.127 Prop: 5312.437 PropClause: 5162.44 Set: 1178.533 Check: 0.0 Back: 131.426
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 5573961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.136 Prop: 5339.641 PropClause: 5188.873 Set: 1184.326 Check: 0.0 Back: 132.182
INFO - Atoms: 31256/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 5605418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.144 Prop: 5369.103 PropClause: 5217.548 Set: 1190.392 Check: 0.0 Back: 132.938
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 5636855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.153 Prop: 5397.916 PropClause: 5245.583 Set: 1196.256 Check: 0.0 Back: 133.7
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 5668093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.162 Prop: 5426.022 PropClause: 5272.906 Set: 1202.037 Check: 0.0 Back: 134.465
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 5698667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 5454.411 PropClause: 5300.535 Set: 1207.694 Check: 0.0 Back: 135.208
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 5730102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.18 Prop: 5481.64 PropClause: 5326.97 Set: 1213.54 Check: 0.0 Back: 135.934
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 5761360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.187 Prop: 5507.954 PropClause: 5352.489 Set: 1219.296 Check: 0.0 Back: 136.683
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 5792834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.196 Prop: 5536.409 PropClause: 5380.159 Set: 1225.203 Check: 0.0 Back: 137.427
INFO - Atoms: 31474/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 5824271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.205 Prop: 5565.336 PropClause: 5408.301 Set: 1231.059 Check: 0.0 Back: 138.177
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 5855509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.213 Prop: 5591.954 PropClause: 5434.14 Set: 1236.826 Check: 0.0 Back: 138.914
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 5886083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.22 Prop: 5618.14 PropClause: 5459.537 Set: 1242.456 Check: 0.0 Back: 139.658
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 5917518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.228 Prop: 5645.319 PropClause: 5485.925 Set: 1248.34 Check: 0.0 Back: 140.387
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 5948776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.238 Prop: 5672.782 PropClause: 5512.61 Set: 1254.107 Check: 0.0 Back: 141.13
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 5980233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.245 Prop: 5699.847 PropClause: 5538.894 Set: 1259.946 Check: 0.0 Back: 141.873
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 6011669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.253 Prop: 5726.479 PropClause: 5564.738 Set: 1265.698 Check: 0.0 Back: 142.618
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 6042907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 5753.476 PropClause: 5590.949 Set: 1271.497 Check: 0.0 Back: 143.367
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 6073481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 5780.316 PropClause: 5617.027 Set: 1277.073 Check: 0.0 Back: 144.112
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 6104916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.279 Prop: 5806.903 PropClause: 5642.835 Set: 1282.898 Check: 0.0 Back: 144.835
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 6136174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.286 Prop: 5833.466 PropClause: 5668.617 Set: 1288.723 Check: 0.0 Back: 145.589
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 6167631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.293 Prop: 5860.969 PropClause: 5695.33 Set: 1294.569 Check: 0.0 Back: 146.337
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 6199068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 5888.445 PropClause: 5722.017 Set: 1300.424 Check: 0.0 Back: 147.085
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 6230306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.31 Prop: 5914.115 PropClause: 5746.906 Set: 1306.154 Check: 0.0 Back: 147.828
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 6260880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.319 Prop: 5938.22 PropClause: 5770.246 Set: 1311.757 Check: 0.0 Back: 148.565
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 6292315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.328 Prop: 5964.909 PropClause: 5796.143 Set: 1317.668 Check: 0.0 Back: 149.293
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 6323573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 5992.812 PropClause: 5823.262 Set: 1323.497 Check: 0.0 Back: 150.052
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 6355030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.346 Prop: 6020.564 PropClause: 5850.235 Set: 1329.441 Check: 0.0 Back: 150.791
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 6386467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.354 Prop: 6047.397 PropClause: 5876.28 Set: 1335.329 Check: 0.0 Back: 151.533
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 6417705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 6074.99 PropClause: 5903.093 Set: 1341.157 Check: 0.0 Back: 152.298
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 6448279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.372 Prop: 6102.223 PropClause: 5929.557 Set: 1346.829 Check: 0.0 Back: 153.042
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 6479714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.382 Prop: 6128.921 PropClause: 5955.471 Set: 1352.727 Check: 0.0 Back: 153.769
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 6510972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.393 Prop: 6156.304 PropClause: 5982.077 Set: 1358.578 Check: 0.0 Back: 154.524
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 6542429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 6185.311 PropClause: 6010.298 Set: 1364.531 Check: 0.0 Back: 155.278
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 6573865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 6211.409 PropClause: 6035.605 Set: 1370.388 Check: 0.0 Back: 156.04
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 6605103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.417 Prop: 6235.696 PropClause: 6059.106 Set: 1376.058 Check: 0.0 Back: 156.791
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 6635677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 6260.495 PropClause: 6083.144 Set: 1381.547 Check: 0.0 Back: 157.532
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 6667112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.433 Prop: 6286.557 PropClause: 6108.415 Set: 1387.34 Check: 0.0 Back: 158.255
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 6698370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 6311.654 PropClause: 6132.729 Set: 1393.074 Check: 0.0 Back: 159.004
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 6729827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.449 Prop: 6337.285 PropClause: 6157.573 Set: 1398.815 Check: 0.0 Back: 159.743
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 6761263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.457 Prop: 6364.22 PropClause: 6183.725 Set: 1404.614 Check: 0.0 Back: 160.489
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 6792501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.464 Prop: 6391.639 PropClause: 6210.363 Set: 1410.341 Check: 0.0 Back: 161.227
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 6823075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.47 Prop: 6415.777 PropClause: 6233.734 Set: 1415.851 Check: 0.0 Back: 161.97
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 6854510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.478 Prop: 6441.446 PropClause: 6258.6 Set: 1421.632 Check: 0.0 Back: 162.703
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 6885768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.486 Prop: 6467.292 PropClause: 6283.666 Set: 1427.336 Check: 0.0 Back: 163.459
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 6917241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.494 Prop: 6494.95 PropClause: 6310.535 Set: 1433.195 Check: 0.0 Back: 164.192
INFO - Atoms: 31473/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 6948677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.503 Prop: 6521.09 PropClause: 6335.89 Set: 1438.968 Check: 0.0 Back: 164.931
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 6979915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.511 Prop: 6544.327 PropClause: 6358.346 Set: 1444.605 Check: 0.0 Back: 165.679
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 7010489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.518 Prop: 6568.752 PropClause: 6382.003 Set: 1450.147 Check: 0.0 Back: 166.422
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 7041924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.526 Prop: 6594.698 PropClause: 6407.156 Set: 1455.898 Check: 0.0 Back: 167.168
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 7073182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.533 Prop: 6619.976 PropClause: 6431.655 Set: 1461.614 Check: 0.0 Back: 167.931
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 7104639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.541 Prop: 6644.018 PropClause: 6454.911 Set: 1467.366 Check: 0.0 Back: 168.682
INFO - Atoms: 31457/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 7136075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 6670.054 PropClause: 6480.159 Set: 1473.236 Check: 0.0 Back: 169.43
INFO - Atoms: 31436/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 7167313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.558 Prop: 6697.38 PropClause: 6506.696 Set: 1479.001 Check: 0.0 Back: 170.176
INFO - Atoms: 31238/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 7197887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.567 Prop: 6722.8 PropClause: 6531.356 Set: 1484.606 Check: 0.0 Back: 170.911
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 7229322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.576 Prop: 6748.978 PropClause: 6556.759 Set: 1490.458 Check: 0.0 Back: 171.646
INFO - Atoms: 31435/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 7260580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.585 Prop: 6775.162 PropClause: 6582.158 Set: 1496.193 Check: 0.0 Back: 172.396
INFO - Atoms: 31258/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 7291153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.592 Prop: 6800.482 PropClause: 6606.711 Set: 1501.682 Check: 0.0 Back: 173.15
INFO - Atoms: 30573/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 7322409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.6 Prop: 6827.043 PropClause: 6632.493 Set: 1507.405 Check: 0.0 Back: 173.877
INFO - Atoms: 31256/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 7353846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.609 Prop: 6852.07 PropClause: 6656.739 Set: 1513.126 Check: 0.0 Back: 174.619
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 7385306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.618 Prop: 6877.886 PropClause: 6681.772 Set: 1518.85 Check: 0.0 Back: 175.358
INFO - Atoms: 31460/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 7416542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.629 Prop: 6903.15 PropClause: 6706.259 Set: 1524.671 Check: 0.0 Back: 176.108
INFO - Atoms: 31236/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 7447979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.638 Prop: 6928.12 PropClause: 6730.446 Set: 1530.566 Check: 0.0 Back: 176.847
INFO - Atoms: 31437/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 7478552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.645 Prop: 6955.284 PropClause: 6756.842 Set: 1536.212 Check: 0.0 Back: 177.584
INFO - Atoms: 30573/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 7509807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 6983.135 PropClause: 6783.906 Set: 1542.018 Check: 0.0 Back: 178.306
INFO - Atoms: 31255/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 7541245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 7008.747 PropClause: 6808.734 Set: 1547.962 Check: 0.0 Back: 179.06
INFO - Atoms: 31438/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 7572703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 7034.39 PropClause: 6833.587 Set: 1553.73 Check: 0.0 Back: 179.813
INFO - Atoms: 31458/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 7603939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.678 Prop: 7059.143 PropClause: 6857.558 Set: 1559.451 Check: 0.0 Back: 180.538
INFO - Atoms: 31236/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 7635280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.686 Prop: 7086.015 PropClause: 6883.65 Set: 1575.349 Check: 0.0 Back: 181.274
INFO - Atoms: 31341/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 7666635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.694 Prop: 7111.299 PropClause: 6908.154 Set: 1581.066 Check: 0.0 Back: 182.009
INFO - Atoms: 31355/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 7697870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.701 Prop: 7136.429 PropClause: 6932.503 Set: 1586.801 Check: 0.0 Back: 182.75
INFO - Atoms: 31235/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 7729002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.707 Prop: 7162.434 PropClause: 6957.735 Set: 1592.444 Check: 0.0 Back: 183.498
INFO - Atoms: 31132/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 7759576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 7187.627 PropClause: 6982.167 Set: 1597.98 Check: 0.0 Back: 184.228
INFO - Atoms: 30574/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 7790603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.724 Prop: 7214.247 PropClause: 7008.008 Set: 1604.06 Check: 0.0 Back: 184.951
INFO - Atoms: 31027/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 7821627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.732 Prop: 7239.454 PropClause: 7032.449 Set: 1609.691 Check: 0.0 Back: 185.702
INFO - Atoms: 31024/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 7852670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.741 Prop: 7267.182 PropClause: 7059.401 Set: 1615.427 Check: 0.0 Back: 186.44
INFO - Atoms: 31043/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 7883472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.861 Prop: 7293.645 PropClause: 7085.093 Set: 1621.086 Check: 0.0 Back: 187.179
INFO - Atoms: 30802/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 7914274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.871 Prop: 7320.153 PropClause: 7110.84 Set: 1626.783 Check: 0.0 Back: 187.91
INFO - Atoms: 30802/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 7945076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.041 Prop: 7346.621 PropClause: 7136.538 Set: 1632.411 Check: 0.0 Back: 188.659
INFO - Atoms: 30802/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 7975633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.05 Prop: 7372.885 PropClause: 7162.033 Set: 1638.013 Check: 0.0 Back: 189.388
INFO - Atoms: 30557/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 8006410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.059 Prop: 7398.877 PropClause: 7187.234 Set: 1643.552 Check: 0.0 Back: 190.116
INFO - Atoms: 30777/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 8036965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.067 Prop: 7424.563 PropClause: 7212.141 Set: 1649.369 Check: 0.0 Back: 190.849
INFO - Atoms: 30555/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 8067740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.092 Prop: 7452.116 PropClause: 7238.916 Set: 1655.105 Check: 0.0 Back: 191.591
INFO - Atoms: 30775/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 8097863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.232 Prop: 7480.195 PropClause: 7266.234 Set: 1660.788 Check: 0.0 Back: 192.317
INFO - Atoms: 30123/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 8128213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.241 Prop: 7507.762 PropClause: 7293.033 Set: 1666.427 Check: 0.0 Back: 193.046
INFO - Atoms: 30350/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 8158352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.25 Prop: 7533.935 PropClause: 7318.453 Set: 1671.887 Check: 0.0 Back: 193.777
INFO - Atoms: 30139/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 8188249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.257 Prop: 7560.787 PropClause: 7344.558 Set: 1677.262 Check: 0.0 Back: 194.509
INFO - Atoms: 29897/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 8218353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.383 Prop: 7606.601 PropClause: 7389.608 Set: 1689.845 Check: 0.0 Back: 195.234
INFO - Atoms: 30104/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 8248708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.399 Prop: 7634.4 PropClause: 7416.658 Set: 1695.153 Check: 0.0 Back: 195.992
INFO - Atoms: 30355/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 8279268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.413 Prop: 7662.691 PropClause: 7444.197 Set: 1700.634 Check: 0.0 Back: 196.727
INFO - Atoms: 30560/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 8310075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.434 Prop: 7687.816 PropClause: 7468.562 Set: 1706.047 Check: 0.0 Back: 197.474
INFO - Atoms: 30807/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 8341089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.446 Prop: 7715.424 PropClause: 7495.399 Set: 1711.65 Check: 0.0 Back: 198.233
INFO - Atoms: 31014/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 8372350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.458 Prop: 7743.892 PropClause: 7523.092 Set: 1717.241 Check: 0.0 Back: 199.009
INFO - Atoms: 31261/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 8403818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.493 Prop: 7770.298 PropClause: 7548.7 Set: 1722.898 Check: 0.0 Back: 199.774
INFO - Atoms: 31468/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 8435533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.513 Prop: 7799.365 PropClause: 7576.951 Set: 1728.714 Check: 0.0 Back: 200.546
INFO - Atoms: 31715/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 8467455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.548 Prop: 7828.341 PropClause: 7605.138 Set: 1734.429 Check: 0.0 Back: 201.316
INFO - Atoms: 31922/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 8499624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.561 Prop: 7856.449 PropClause: 7632.453 Set: 1740.221 Check: 0.0 Back: 202.106
INFO - Atoms: 32169/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 8532000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.572 Prop: 7885.518 PropClause: 7660.723 Set: 1746.025 Check: 0.0 Back: 202.881
INFO - Atoms: 32376/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 8564623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.581 Prop: 7916.214 PropClause: 7690.615 Set: 1751.938 Check: 0.0 Back: 203.668
INFO - Atoms: 32623/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 8597453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.591 Prop: 7945.806 PropClause: 7719.392 Set: 1757.805 Check: 0.0 Back: 204.448
INFO - Atoms: 32830/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 8630530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 7976.088 PropClause: 7748.853 Set: 1763.781 Check: 0.0 Back: 205.259
INFO - Atoms: 33077/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 8663814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.61 Prop: 8007.999 PropClause: 7779.945 Set: 1769.784 Check: 0.0 Back: 206.053
INFO - Atoms: 33284/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 8697345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.618 Prop: 8040.268 PropClause: 7811.386 Set: 1776.056 Check: 0.0 Back: 206.859
INFO - Atoms: 33531/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 8731083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.627 Prop: 8070.616 PropClause: 7840.897 Set: 1782.104 Check: 0.0 Back: 207.666
INFO - Atoms: 33738/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 8765068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.636 Prop: 8103.028 PropClause: 7872.471 Set: 1788.222 Check: 0.0 Back: 208.485
INFO - Atoms: 33985/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 8799260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.648 Prop: 8137.191 PropClause: 7905.779 Set: 1794.511 Check: 0.0 Back: 209.3
INFO - Atoms: 34192/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 8833699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.658 Prop: 8172.751 PropClause: 7940.487 Set: 1800.8 Check: 0.0 Back: 210.135
INFO - Atoms: 34439/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 8868345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.669 Prop: 8203.213 PropClause: 7970.094 Set: 1806.944 Check: 0.0 Back: 210.963
INFO - Atoms: 34646/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 8903238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.678 Prop: 8235.86 PropClause: 8001.878 Set: 1813.249 Check: 0.0 Back: 211.808
INFO - Atoms: 34893/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 8938338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.688 Prop: 8269.858 PropClause: 8035.013 Set: 1819.528 Check: 0.0 Back: 212.642
INFO - Atoms: 35100/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 8973685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.697 Prop: 8303.485 PropClause: 8067.757 Set: 1825.929 Check: 0.0 Back: 213.491
INFO - Atoms: 35347/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 9009239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.708 Prop: 8337.033 PropClause: 8100.423 Set: 1832.263 Check: 0.0 Back: 214.349
INFO - Atoms: 35554/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 9045040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.718 Prop: 8372.325 PropClause: 8134.825 Set: 1838.73 Check: 0.0 Back: 215.211
INFO - Atoms: 35801/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 9081048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.73 Prop: 8407.732 PropClause: 8169.343 Set: 1851.372 Check: 0.0 Back: 216.067
INFO - Atoms: 36008/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 9117303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.74 Prop: 8444.317 PropClause: 8205.03 Set: 1857.924 Check: 0.0 Back: 216.94
INFO - Atoms: 36255/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 9153765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.749 Prop: 8480.011 PropClause: 8239.82 Set: 1864.556 Check: 0.0 Back: 217.808
INFO - Atoms: 36462/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 9190474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.76 Prop: 8514.951 PropClause: 8273.844 Set: 1871.167 Check: 0.0 Back: 218.684
INFO - Atoms: 36709/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 9227390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.769 Prop: 8547.438 PropClause: 8305.422 Set: 1877.943 Check: 0.0 Back: 219.559
INFO - Atoms: 36916/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 9264553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.778 Prop: 8586.008 PropClause: 8343.077 Set: 1884.641 Check: 0.0 Back: 220.449
INFO - Atoms: 37163/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 9301923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.787 Prop: 8623.32 PropClause: 8379.463 Set: 1891.771 Check: 0.0 Back: 221.328
INFO - Atoms: 37370/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 9339540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.797 Prop: 8661.186 PropClause: 8416.399 Set: 1898.636 Check: 0.0 Back: 222.24
INFO - Atoms: 37617/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 9377364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.809 Prop: 8699.649 PropClause: 8453.929 Set: 1905.54 Check: 0.0 Back: 223.152
INFO - Atoms: 37824/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 9415435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.819 Prop: 8739.926 PropClause: 8493.267 Set: 1912.478 Check: 0.0 Back: 224.054
INFO - Atoms: 38071/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 9453713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.829 Prop: 8777.965 PropClause: 8530.359 Set: 1919.416 Check: 0.0 Back: 224.959
INFO - Atoms: 38278/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 9492238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.838 Prop: 8818.764 PropClause: 8570.198 Set: 1926.454 Check: 0.0 Back: 225.879
INFO - Atoms: 38525/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 9530970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.849 Prop: 8859.51 PropClause: 8609.988 Set: 1933.606 Check: 0.0 Back: 226.816
INFO - Atoms: 38732/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 9569949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.859 Prop: 8898.944 PropClause: 8648.452 Set: 1940.775 Check: 0.0 Back: 227.768
INFO - Atoms: 38979/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 9609135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.876 Prop: 8939.52 PropClause: 8688.062 Set: 1947.966 Check: 0.0 Back: 228.703
INFO - Atoms: 39186/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 9648568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.885 Prop: 8983.603 PropClause: 8731.163 Set: 1955.362 Check: 0.0 Back: 229.633
INFO - Atoms: 39433/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 9688208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.896 Prop: 9091.022 PropClause: 8837.595 Set: 1962.709 Check: 0.0 Back: 230.594
INFO - Atoms: 39640/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 9728095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.909 Prop: 9134.405 PropClause: 8879.99 Set: 1970.429 Check: 0.0 Back: 231.531
INFO - Atoms: 39887/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 9768189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.92 Prop: 9175.821 PropClause: 8920.416 Set: 1977.73 Check: 0.0 Back: 232.47
INFO - Atoms: 40094/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 9808530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.931 Prop: 9218.09 PropClause: 8961.686 Set: 1985.24 Check: 0.0 Back: 233.42
INFO - Atoms: 40341/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 9849078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.941 Prop: 9259.111 PropClause: 9001.707 Set: 1992.681 Check: 0.0 Back: 234.375
INFO - Atoms: 40548/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 9889873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.954 Prop: 9302.296 PropClause: 9043.881 Set: 2000.273 Check: 0.0 Back: 235.332
INFO - Atoms: 40795/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 9930875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.965 Prop: 9347.238 PropClause: 9087.809 Set: 2007.862 Check: 0.0 Back: 236.286
INFO - Atoms: 41002/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 9972124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.976 Prop: 9391.276 PropClause: 9130.83 Set: 2015.457 Check: 0.0 Back: 237.263
INFO - Atoms: 41249/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 10013580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.988 Prop: 9442.853 PropClause: 9181.381 Set: 2023.168 Check: 0.0 Back: 238.226
INFO - Atoms: 41456/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 10055283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.0 Prop: 9490.256 PropClause: 9227.754 Set: 2030.817 Check: 0.0 Back: 239.201
INFO - Atoms: 41703/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 10097193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.011 Prop: 9535.11 PropClause: 9271.578 Set: 2038.562 Check: 0.0 Back: 240.217
INFO - Atoms: 41910/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 10139350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.019 Prop: 9582.093 PropClause: 9317.519 Set: 2046.811 Check: 0.0 Back: 241.216
INFO - Atoms: 42157/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 10181714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.032 Prop: 9627.293 PropClause: 9361.665 Set: 2054.876 Check: 0.0 Back: 242.205
INFO - Atoms: 42364/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 10224325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.042 Prop: 9674.224 PropClause: 9407.541 Set: 2062.744 Check: 0.0 Back: 243.215
INFO - Atoms: 42611/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 10267143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.051 Prop: 9720.467 PropClause: 9452.727 Set: 2070.584 Check: 0.0 Back: 244.213
INFO - Atoms: 42818/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 10310207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.061 Prop: 9766.151 PropClause: 9497.349 Set: 2078.566 Check: 0.0 Back: 245.21
INFO - Atoms: 43064/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 10353479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.07 Prop: 9812.605 PropClause: 9542.711 Set: 2086.587 Check: 0.0 Back: 246.23
INFO - Atoms: 43272/44192 Clauses: 389 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 808 Props: 13320388 Tprops: 0 Decides: 13043 RSplits: 0
INFO - Times: Expl: 1094.114 Prop: 12979.075 PropClause: 12628.186 Set: 2159.855 Check: 0.362 Back: 318.031
INFO - Atoms: 14656/44192 Clauses: 888 Axioms: 146098
INFO - Confl: 900 Props: 13521408 Tprops: 0 Decides: 13823 RSplits: 0
INFO - Times: Expl: 1164.093 Prop: 13151.02 PropClause: 12794.361 Set: 2164.703 Check: 0.382 Back: 322.742
INFO - Atoms: 15086/44192 Clauses: 980 Axioms: 146098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 310 Props: 20914 Tprops: 4522 Decides: 22685 RSplits: 0
INFO - Times: Expl: 129.914 Prop: 28071.166 PropClause: 9.069 Set: 2117.355 Check: 164.927 Back: 76.681
INFO - Atoms: 456/582 Clauses: 310 Axioms: 582
INFO - CCTimes: iE 227488 eq 14489464 cc 77593342 setRep 22980132
INFO - Merges: 164122, cc:261395
INFO - BVTimes: BB 164813410 BB_DPLL 25278467857 Graph 569471
INFO - BitBlastingClauses: 265990 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat