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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 172178505
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 55067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.58 Prop: 77.653 PropClause: 74.423 Set: 61.069 Check: 0.0 Back: 0.0
INFO - Atoms: 55067/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 109693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.618 Prop: 147.634 PropClause: 142.093 Set: 70.671 Check: 0.0 Back: 1.291
INFO - Atoms: 54626/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 163986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.685 Prop: 217.634 PropClause: 209.816 Set: 86.375 Check: 0.0 Back: 2.549
INFO - Atoms: 54293/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 218279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.724 Prop: 284.941 PropClause: 274.891 Set: 95.825 Check: 0.0 Back: 3.806
INFO - Atoms: 54293/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 272572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.775 Prop: 346.127 PropClause: 334.26 Set: 127.059 Check: 0.0 Back: 5.065
INFO - Atoms: 54293/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 326859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.857 Prop: 404.914 PropClause: 391.521 Set: 136.585 Check: 0.0 Back: 6.319
INFO - Atoms: 54287/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 381146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.903 Prop: 463.178 PropClause: 448.287 Set: 152.021 Check: 0.0 Back: 7.539
INFO - Atoms: 54287/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 435226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.945 Prop: 521.011 PropClause: 504.62 Set: 186.014 Check: 0.0 Back: 8.753
INFO - Atoms: 54080/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 489064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.017 Prop: 579.419 PropClause: 561.513 Set: 195.507 Check: 0.0 Back: 9.976
INFO - Atoms: 53838/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 542690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.082 Prop: 636.518 PropClause: 617.106 Set: 204.823 Check: 0.0 Back: 11.221
INFO - Atoms: 53626/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 596074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.168 Prop: 692.871 PropClause: 671.963 Set: 235.448 Check: 0.0 Back: 12.451
INFO - Atoms: 53384/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 649245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.23 Prop: 750.447 PropClause: 728.086 Set: 244.669 Check: 0.0 Back: 13.671
INFO - Atoms: 53171/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 702175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.269 Prop: 806.312 PropClause: 782.495 Set: 253.886 Check: 0.0 Back: 14.892
INFO - Atoms: 52930/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 754877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.307 Prop: 863.418 PropClause: 838.158 Set: 263.081 Check: 0.0 Back: 16.129
INFO - Atoms: 52702/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 807353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.347 Prop: 919.559 PropClause: 892.851 Set: 278.041 Check: 0.0 Back: 17.331
INFO - Atoms: 52476/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 859601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.388 Prop: 978.873 PropClause: 950.737 Set: 292.855 Check: 0.0 Back: 18.599
INFO - Atoms: 52248/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 911623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.428 Prop: 1034.294 PropClause: 1004.728 Set: 307.674 Check: 0.0 Back: 19.794
INFO - Atoms: 52022/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 963433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.467 Prop: 1089.847 PropClause: 1058.854 Set: 316.644 Check: 0.0 Back: 21.009
INFO - Atoms: 51810/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1015001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.512 Prop: 1151.3 PropClause: 1118.887 Set: 325.88 Check: 0.0 Back: 22.204
INFO - Atoms: 51568/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1066341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.553 Prop: 1213.635 PropClause: 1179.803 Set: 334.983 Check: 0.0 Back: 23.41
INFO - Atoms: 51340/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1117455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.602 Prop: 1269.099 PropClause: 1233.799 Set: 344.222 Check: 0.0 Back: 24.611
INFO - Atoms: 51114/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1168341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.641 Prop: 1324.424 PropClause: 1287.717 Set: 353.06 Check: 0.0 Back: 25.801
INFO - Atoms: 50886/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1219001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.68 Prop: 1380.0 PropClause: 1341.896 Set: 361.94 Check: 0.0 Back: 26.987
INFO - Atoms: 50660/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1269450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.724 Prop: 1434.564 PropClause: 1395.054 Set: 370.778 Check: 0.0 Back: 28.17
INFO - Atoms: 50449/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1319656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.767 Prop: 1486.967 PropClause: 1446.067 Set: 379.586 Check: 0.0 Back: 29.343
INFO - Atoms: 50206/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1369634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.805 Prop: 1540.521 PropClause: 1498.239 Set: 388.221 Check: 0.0 Back: 30.531
INFO - Atoms: 49978/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1419386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.847 Prop: 1591.73 PropClause: 1548.075 Set: 396.815 Check: 0.0 Back: 31.69
INFO - Atoms: 49752/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1468927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.926 Prop: 1644.185 PropClause: 1599.166 Set: 405.411 Check: 0.0 Back: 32.861
INFO - Atoms: 49541/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1518225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.962 Prop: 1695.843 PropClause: 1649.48 Set: 413.892 Check: 0.0 Back: 34.002
INFO - Atoms: 49298/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1567311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.001 Prop: 1748.67 PropClause: 1700.966 Set: 422.433 Check: 0.0 Back: 35.157
INFO - Atoms: 49086/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1616155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.044 Prop: 1800.433 PropClause: 1751.39 Set: 435.179 Check: 0.0 Back: 36.29
INFO - Atoms: 48844/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1664786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.081 Prop: 1852.911 PropClause: 1802.539 Set: 448.881 Check: 0.0 Back: 37.449
INFO - Atoms: 48631/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1713176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.119 Prop: 1903.672 PropClause: 1851.965 Set: 462.512 Check: 0.0 Back: 38.577
INFO - Atoms: 48390/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1761338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.158 Prop: 1955.228 PropClause: 1902.2 Set: 475.964 Check: 0.0 Back: 39.712
INFO - Atoms: 48162/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1809274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.198 Prop: 2005.011 PropClause: 1950.657 Set: 484.099 Check: 0.0 Back: 40.844
INFO - Atoms: 47936/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1856999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.254 Prop: 2055.217 PropClause: 1999.537 Set: 492.341 Check: 0.0 Back: 41.97
INFO - Atoms: 47725/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1904481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.291 Prop: 2103.802 PropClause: 2046.818 Set: 500.532 Check: 0.0 Back: 43.109
INFO - Atoms: 47482/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1951751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.33 Prop: 2155.315 PropClause: 2097.033 Set: 508.53 Check: 0.0 Back: 44.248
INFO - Atoms: 47270/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1998779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.376 Prop: 2205.871 PropClause: 2146.302 Set: 516.549 Check: 0.0 Back: 45.363
INFO - Atoms: 47028/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2045579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.418 Prop: 2302.86 PropClause: 2225.996 Set: 524.544 Check: 0.0 Back: 46.475
INFO - Atoms: 46800/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2092153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.456 Prop: 2347.384 PropClause: 2269.238 Set: 532.712 Check: 0.0 Back: 47.576
INFO - Atoms: 46574/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2138515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.498 Prop: 2391.118 PropClause: 2311.671 Set: 540.543 Check: 0.0 Back: 48.694
INFO - Atoms: 46362/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2184635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 2434.507 PropClause: 2353.786 Set: 548.349 Check: 0.0 Back: 49.807
INFO - Atoms: 46120/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2230542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.575 Prop: 2478.958 PropClause: 2396.977 Set: 556.038 Check: 0.0 Back: 50.905
INFO - Atoms: 45907/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2276208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.612 Prop: 2522.003 PropClause: 2438.764 Set: 563.73 Check: 0.0 Back: 51.99
INFO - Atoms: 45666/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2321662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.653 Prop: 2567.484 PropClause: 2482.977 Set: 582.795 Check: 0.0 Back: 53.071
INFO - Atoms: 45454/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2366874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.697 Prop: 2611.117 PropClause: 2525.363 Set: 590.329 Check: 0.0 Back: 54.145
INFO - Atoms: 45212/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2411873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.741 Prop: 2654.127 PropClause: 2567.134 Set: 597.822 Check: 0.0 Back: 55.223
INFO - Atoms: 44999/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2456631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.786 Prop: 2695.99 PropClause: 2607.763 Set: 605.438 Check: 0.0 Back: 56.293
INFO - Atoms: 44758/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2501176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.832 Prop: 2739.228 PropClause: 2649.773 Set: 612.906 Check: 0.0 Back: 57.363
INFO - Atoms: 44545/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2545480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.876 Prop: 2780.227 PropClause: 2689.549 Set: 620.317 Check: 0.0 Back: 58.429
INFO - Atoms: 44304/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2589556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.92 Prop: 2821.022 PropClause: 2729.132 Set: 627.714 Check: 0.0 Back: 59.493
INFO - Atoms: 44076/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2633406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.058 Prop: 2862.78 PropClause: 2769.679 Set: 635.792 Check: 0.0 Back: 60.541
INFO - Atoms: 43850/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2677044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.075 Prop: 2902.99 PropClause: 2808.681 Set: 643.1 Check: 0.0 Back: 61.597
INFO - Atoms: 43638/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2720440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.096 Prop: 2944.366 PropClause: 2848.852 Set: 650.437 Check: 0.0 Back: 62.639
INFO - Atoms: 43396/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2763608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.114 Prop: 2983.951 PropClause: 2887.245 Set: 657.697 Check: 0.0 Back: 63.691
INFO - Atoms: 43168/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2806550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.13 Prop: 3022.392 PropClause: 2924.501 Set: 664.841 Check: 0.0 Back: 64.722
INFO - Atoms: 42942/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2849280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.146 Prop: 3061.781 PropClause: 2962.713 Set: 671.972 Check: 0.0 Back: 65.743
INFO - Atoms: 42730/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 2891768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.162 Prop: 3101.164 PropClause: 3000.915 Set: 682.833 Check: 0.0 Back: 66.774
INFO - Atoms: 42488/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 2934028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.182 Prop: 3140.348 PropClause: 3038.933 Set: 693.691 Check: 0.0 Back: 67.809
INFO - Atoms: 42260/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 2976062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.198 Prop: 3178.136 PropClause: 3075.566 Set: 704.525 Check: 0.0 Back: 68.83
INFO - Atoms: 42034/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3017885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.214 Prop: 3217.266 PropClause: 3113.543 Set: 715.366 Check: 0.0 Back: 69.842
INFO - Atoms: 41823/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3059465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.232 Prop: 3254.108 PropClause: 3149.24 Set: 726.037 Check: 0.0 Back: 70.84
INFO - Atoms: 41580/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3100833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.25 Prop: 3291.022 PropClause: 3185.016 Set: 736.584 Check: 0.0 Back: 71.838
INFO - Atoms: 41368/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3141959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.27 Prop: 3328.372 PropClause: 3221.222 Set: 747.37 Check: 0.0 Back: 72.829
INFO - Atoms: 41126/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3182857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.288 Prop: 3367.041 PropClause: 3258.76 Set: 758.153 Check: 0.0 Back: 73.832
INFO - Atoms: 40898/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3223529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.308 Prop: 3406.74 PropClause: 3297.325 Set: 765.011 Check: 0.0 Back: 74.821
INFO - Atoms: 40672/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3263990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.326 Prop: 3443.01 PropClause: 3332.466 Set: 771.807 Check: 0.0 Back: 75.815
INFO - Atoms: 40461/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 3304208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.344 Prop: 3483.445 PropClause: 3371.783 Set: 778.629 Check: 0.0 Back: 76.813
INFO - Atoms: 40218/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 3344198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.362 Prop: 3524.515 PropClause: 3411.752 Set: 785.351 Check: 0.0 Back: 77.794
INFO - Atoms: 39990/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 3383962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.381 Prop: 3565.054 PropClause: 3451.194 Set: 792.076 Check: 0.0 Back: 78.777
INFO - Atoms: 39764/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3423498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.399 Prop: 3603.926 PropClause: 3488.963 Set: 798.749 Check: 0.0 Back: 79.748
INFO - Atoms: 39536/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3462808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.457 Prop: 3640.064 PropClause: 3524.015 Set: 805.247 Check: 0.0 Back: 80.713
INFO - Atoms: 39310/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3501890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.478 Prop: 3678.422 PropClause: 3561.297 Set: 811.816 Check: 0.0 Back: 81.676
INFO - Atoms: 39082/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3540746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.496 Prop: 3712.51 PropClause: 3594.313 Set: 818.273 Check: 0.0 Back: 82.624
INFO - Atoms: 38856/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3579374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.513 Prop: 3748.69 PropClause: 3629.427 Set: 824.696 Check: 0.0 Back: 83.584
INFO - Atoms: 38628/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3617776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.53 Prop: 3783.319 PropClause: 3662.997 Set: 831.091 Check: 0.0 Back: 84.539
INFO - Atoms: 38402/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 3655967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.547 Prop: 3816.13 PropClause: 3694.754 Set: 837.463 Check: 0.0 Back: 85.491
INFO - Atoms: 38191/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 3693915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 3847.726 PropClause: 3725.302 Set: 843.716 Check: 0.0 Back: 86.435
INFO - Atoms: 37948/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 3731635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.58 Prop: 3880.972 PropClause: 3757.507 Set: 849.994 Check: 0.0 Back: 87.373
INFO - Atoms: 37720/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 3769129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.596 Prop: 3914.378 PropClause: 3789.878 Set: 856.227 Check: 0.0 Back: 88.322
INFO - Atoms: 37494/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 3806411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.615 Prop: 3946.359 PropClause: 3820.832 Set: 862.385 Check: 0.0 Back: 89.24
INFO - Atoms: 37282/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 3843451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.633 Prop: 3976.987 PropClause: 3850.435 Set: 868.468 Check: 0.0 Back: 90.168
INFO - Atoms: 37040/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 3880278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.654 Prop: 4008.097 PropClause: 3880.527 Set: 874.461 Check: 0.0 Back: 91.093
INFO - Atoms: 36827/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 3918433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 4040.832 PropClause: 3912.211 Set: 880.921 Check: 0.0 Back: 92.017
INFO - Atoms: 38155/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 3956587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.793 Prop: 4075.72 PropClause: 3946.039 Set: 887.415 Check: 0.0 Back: 92.959
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 3994763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.809 Prop: 4109.42 PropClause: 3978.687 Set: 893.936 Check: 0.0 Back: 93.889
INFO - Atoms: 38176/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4032682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.844 Prop: 4141.039 PropClause: 4009.254 Set: 900.227 Check: 0.0 Back: 94.833
INFO - Atoms: 37919/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 4070830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.877 Prop: 4171.814 PropClause: 4038.968 Set: 906.666 Check: 0.0 Back: 95.769
INFO - Atoms: 38148/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 4108978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.889 Prop: 4203.566 PropClause: 4069.669 Set: 913.064 Check: 0.0 Back: 96.724
INFO - Atoms: 38148/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 4146462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.902 Prop: 4234.21 PropClause: 4099.254 Set: 919.366 Check: 0.0 Back: 97.67
INFO - Atoms: 37484/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 4183946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.916 Prop: 4266.67 PropClause: 4130.682 Set: 938.116 Check: 0.0 Back: 98.595
INFO - Atoms: 37484/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 4221417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.929 Prop: 4295.954 PropClause: 4158.928 Set: 944.339 Check: 0.0 Back: 99.504
INFO - Atoms: 37471/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 4259137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.943 Prop: 4327.119 PropClause: 4189.052 Set: 950.656 Check: 0.0 Back: 100.439
INFO - Atoms: 37720/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 4297064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.958 Prop: 4357.071 PropClause: 4217.959 Set: 957.015 Check: 0.0 Back: 101.391
INFO - Atoms: 37927/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 4335238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.97 Prop: 4390.625 PropClause: 4250.45 Set: 963.395 Check: 0.0 Back: 102.331
INFO - Atoms: 38174/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 4372728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.984 Prop: 4419.811 PropClause: 4278.603 Set: 969.573 Check: 0.0 Back: 103.274
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 4410904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.998 Prop: 4451.122 PropClause: 4308.861 Set: 975.938 Check: 0.0 Back: 104.206
INFO - Atoms: 38176/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 4449058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.012 Prop: 4482.836 PropClause: 4339.513 Set: 982.386 Check: 0.0 Back: 105.144
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 4487431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.025 Prop: 4516.623 PropClause: 4372.241 Set: 988.872 Check: 0.0 Back: 106.098
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 4525782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.041 Prop: 4549.633 PropClause: 4404.192 Set: 995.376 Check: 0.0 Back: 107.039
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 4563936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.054 Prop: 4582.516 PropClause: 4436.023 Set: 1001.798 Check: 0.0 Back: 108.01
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 4601426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.067 Prop: 4613.923 PropClause: 4466.388 Set: 1008.043 Check: 0.0 Back: 108.951
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 4639578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.08 Prop: 4645.59 PropClause: 4497.004 Set: 1014.391 Check: 0.0 Back: 109.894
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 4677931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.094 Prop: 4676.562 PropClause: 4526.92 Set: 1020.833 Check: 0.0 Back: 110.834
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 4716323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.109 Prop: 4709.091 PropClause: 4558.391 Set: 1027.312 Check: 0.0 Back: 111.791
INFO - Atoms: 38392/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 4754675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.123 Prop: 4740.443 PropClause: 4588.688 Set: 1033.777 Check: 0.0 Back: 112.751
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 4792829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.141 Prop: 4772.556 PropClause: 4619.747 Set: 1040.163 Check: 0.0 Back: 113.698
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 4830319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.154 Prop: 4803.598 PropClause: 4649.752 Set: 1046.397 Check: 0.0 Back: 114.635
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 4868471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.167 Prop: 4835.492 PropClause: 4680.594 Set: 1052.814 Check: 0.0 Back: 115.564
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 4906822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.18 Prop: 4867.169 PropClause: 4711.211 Set: 1059.277 Check: 0.0 Back: 116.507
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 4945212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.193 Prop: 4899.165 PropClause: 4742.15 Set: 1065.725 Check: 0.0 Back: 117.449
INFO - Atoms: 38390/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 4983565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.206 Prop: 4930.731 PropClause: 4772.657 Set: 1072.182 Check: 0.0 Back: 118.407
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 5021719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.219 Prop: 4960.569 PropClause: 4801.444 Set: 1078.519 Check: 0.0 Back: 119.351
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 5059209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 4990.049 PropClause: 4829.885 Set: 1084.753 Check: 0.0 Back: 120.298
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 5097361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.245 Prop: 5019.447 PropClause: 4858.225 Set: 1091.07 Check: 0.0 Back: 121.228
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 5135712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.262 Prop: 5048.089 PropClause: 4885.814 Set: 1097.472 Check: 0.0 Back: 122.169
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 5173216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.277 Prop: 5078.735 PropClause: 4915.425 Set: 1103.652 Check: 0.0 Back: 123.122
INFO - Atoms: 37504/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 5211567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.291 Prop: 5108.297 PropClause: 4943.86 Set: 1110.045 Check: 0.0 Back: 124.053
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 5249721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.307 Prop: 5139.234 PropClause: 4973.742 Set: 1116.424 Check: 0.0 Back: 125.009
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 5287211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.322 Prop: 5168.518 PropClause: 5001.97 Set: 1122.691 Check: 0.0 Back: 125.954
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 5325363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.337 Prop: 5200.282 PropClause: 5032.681 Set: 1129.068 Check: 0.0 Back: 126.888
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 5363716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.351 Prop: 5229.386 PropClause: 5060.727 Set: 1135.513 Check: 0.0 Back: 127.857
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 5402106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 5262.097 PropClause: 5092.361 Set: 1142.068 Check: 0.0 Back: 128.808
INFO - Atoms: 38390/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 5440458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.38 Prop: 5296.303 PropClause: 5125.508 Set: 1148.702 Check: 0.0 Back: 129.786
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 5478612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.392 Prop: 5326.976 PropClause: 5155.132 Set: 1155.027 Check: 0.0 Back: 130.74
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 5516102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.405 Prop: 5355.082 PropClause: 5182.201 Set: 1161.233 Check: 0.0 Back: 131.684
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 5554254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.419 Prop: 5387.104 PropClause: 5213.152 Set: 1167.578 Check: 0.0 Back: 132.616
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 5592605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 5419.044 PropClause: 5244.034 Set: 1174.101 Check: 0.0 Back: 133.554
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 5630980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.45 Prop: 5452.413 PropClause: 5276.339 Set: 1180.521 Check: 0.0 Back: 134.502
INFO - Atoms: 38375/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 5669333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.461 Prop: 5484.295 PropClause: 5307.158 Set: 1187.0 Check: 0.0 Back: 135.45
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 5707487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.473 Prop: 5516.985 PropClause: 5338.802 Set: 1193.325 Check: 0.0 Back: 136.386
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 5744977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.485 Prop: 5549.381 PropClause: 5370.166 Set: 1199.581 Check: 0.0 Back: 137.32
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 5783129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.499 Prop: 5580.493 PropClause: 5400.222 Set: 1205.84 Check: 0.0 Back: 138.233
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 5821480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 5612.347 PropClause: 5431.027 Set: 1212.232 Check: 0.0 Back: 139.162
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 5859869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 5643.872 PropClause: 5461.497 Set: 1218.593 Check: 0.0 Back: 140.094
INFO - Atoms: 38389/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 5898221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.541 Prop: 5678.737 PropClause: 5495.307 Set: 1225.071 Check: 0.0 Back: 141.024
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 5936375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.554 Prop: 5713.994 PropClause: 5529.517 Set: 1231.401 Check: 0.0 Back: 141.959
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 5973865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.595 Prop: 5744.308 PropClause: 5558.793 Set: 1237.566 Check: 0.0 Back: 142.897
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 6012017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.604 Prop: 5775.056 PropClause: 5588.5 Set: 1243.827 Check: 0.0 Back: 143.815
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 6050368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.612 Prop: 5805.547 PropClause: 5617.951 Set: 1250.15 Check: 0.0 Back: 144.734
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 6088743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.621 Prop: 5836.817 PropClause: 5648.178 Set: 1256.485 Check: 0.0 Back: 145.654
INFO - Atoms: 38375/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 6127095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.632 Prop: 5867.243 PropClause: 5677.557 Set: 1262.86 Check: 0.0 Back: 146.587
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 6165249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.641 Prop: 5898.05 PropClause: 5707.309 Set: 1269.19 Check: 0.0 Back: 147.515
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 6202739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.648 Prop: 5928.618 PropClause: 5736.855 Set: 1275.287 Check: 0.0 Back: 148.456
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 6240891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.656 Prop: 5959.851 PropClause: 5767.046 Set: 1281.565 Check: 0.0 Back: 149.362
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 6279242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.664 Prop: 5991.79 PropClause: 5797.935 Set: 1287.928 Check: 0.0 Back: 150.292
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 6317615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.673 Prop: 6023.518 PropClause: 5828.606 Set: 1294.238 Check: 0.0 Back: 151.222
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 6355967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.682 Prop: 6054.139 PropClause: 5858.183 Set: 1300.535 Check: 0.0 Back: 152.158
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 6394121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.69 Prop: 6085.438 PropClause: 5888.437 Set: 1306.789 Check: 0.0 Back: 153.094
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 6431611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.699 Prop: 6115.428 PropClause: 5917.399 Set: 1312.984 Check: 0.0 Back: 154.031
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 6469763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.709 Prop: 6146.993 PropClause: 5947.922 Set: 1319.245 Check: 0.0 Back: 154.949
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 6508114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.718 Prop: 6177.674 PropClause: 5977.555 Set: 1325.521 Check: 0.0 Back: 155.867
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 6546487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.726 Prop: 6210.694 PropClause: 6009.511 Set: 1331.97 Check: 0.0 Back: 156.793
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 6584840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.734 Prop: 6243.498 PropClause: 6041.258 Set: 1338.461 Check: 0.0 Back: 157.732
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 6622994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.743 Prop: 6276.017 PropClause: 6072.739 Set: 1344.758 Check: 0.0 Back: 158.679
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 6660484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.752 Prop: 6307.352 PropClause: 6103.054 Set: 1350.939 Check: 0.0 Back: 159.608
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 6698636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.76 Prop: 6338.871 PropClause: 6133.523 Set: 1357.261 Check: 0.0 Back: 160.526
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 6736987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.767 Prop: 6373.46 PropClause: 6167.004 Set: 1363.584 Check: 0.0 Back: 161.453
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 6775360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.775 Prop: 6407.201 PropClause: 6199.7 Set: 1370.015 Check: 0.0 Back: 162.383
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 6813712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.783 Prop: 6439.121 PropClause: 6230.571 Set: 1376.343 Check: 0.0 Back: 163.318
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 6851866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 6471.909 PropClause: 6262.321 Set: 1382.578 Check: 0.0 Back: 164.241
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 6890240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 6503.935 PropClause: 6293.306 Set: 1388.908 Check: 0.0 Back: 165.173
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 6928392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.809 Prop: 6536.398 PropClause: 6324.71 Set: 1395.225 Check: 0.0 Back: 166.098
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 6966745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.818 Prop: 6569.78 PropClause: 6357.047 Set: 1401.553 Check: 0.0 Back: 167.022
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 7004234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.827 Prop: 6602.461 PropClause: 6388.705 Set: 1407.654 Check: 0.0 Back: 167.965
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 7042586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.836 Prop: 6635.78 PropClause: 6420.953 Set: 1414.12 Check: 0.0 Back: 168.874
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 7080740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 6668.981 PropClause: 6453.081 Set: 1420.456 Check: 0.0 Back: 169.807
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 7118230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.856 Prop: 6700.349 PropClause: 6483.419 Set: 1426.636 Check: 0.0 Back: 170.74
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 7156382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.866 Prop: 6732.512 PropClause: 6514.524 Set: 1433.026 Check: 0.0 Back: 171.655
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 7194735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.876 Prop: 6763.591 PropClause: 6544.541 Set: 1439.5 Check: 0.0 Back: 172.595
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 7233108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.888 Prop: 6797.45 PropClause: 6577.341 Set: 1445.989 Check: 0.0 Back: 173.532
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 7271461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 6830.119 PropClause: 6608.96 Set: 1452.47 Check: 0.0 Back: 174.474
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 7309615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.908 Prop: 6862.758 PropClause: 6640.552 Set: 1458.854 Check: 0.0 Back: 175.406
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 7347105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.918 Prop: 6894.728 PropClause: 6671.492 Set: 1465.168 Check: 0.0 Back: 176.348
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 7385257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.927 Prop: 6927.295 PropClause: 6703.011 Set: 1471.513 Check: 0.0 Back: 177.269
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 7423608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.937 Prop: 6958.926 PropClause: 6733.582 Set: 1478.002 Check: 0.0 Back: 178.207
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 7461998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.948 Prop: 6991.376 PropClause: 6764.971 Set: 1484.448 Check: 0.0 Back: 179.156
INFO - Atoms: 38390/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 7500350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.957 Prop: 7023.068 PropClause: 6795.607 Set: 1490.918 Check: 0.0 Back: 180.106
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 7538504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.965 Prop: 7055.622 PropClause: 6827.114 Set: 1497.253 Check: 0.0 Back: 181.052
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 7575994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.976 Prop: 7088.922 PropClause: 6859.381 Set: 1503.583 Check: 0.0 Back: 181.992
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 7614146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.987 Prop: 7122.038 PropClause: 6891.448 Set: 1509.963 Check: 0.0 Back: 182.915
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 7652497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.997 Prop: 7155.015 PropClause: 6923.323 Set: 1516.653 Check: 0.0 Back: 183.848
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 7690872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.007 Prop: 7188.496 PropClause: 6955.738 Set: 1523.121 Check: 0.0 Back: 184.796
INFO - Atoms: 38375/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 7729224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.016 Prop: 7220.96 PropClause: 6987.144 Set: 1529.543 Check: 0.0 Back: 185.75
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 7767378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.027 Prop: 7253.922 PropClause: 7019.05 Set: 1535.915 Check: 0.0 Back: 186.688
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 7804868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.037 Prop: 7287.88 PropClause: 7051.965 Set: 1542.188 Check: 0.0 Back: 187.632
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 7843020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.048 Prop: 7323.115 PropClause: 7086.148 Set: 1548.64 Check: 0.0 Back: 188.561
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 7881371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.058 Prop: 7361.302 PropClause: 7123.26 Set: 1555.312 Check: 0.0 Back: 189.498
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 7919744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.068 Prop: 7397.485 PropClause: 7158.384 Set: 1561.818 Check: 0.0 Back: 190.453
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 7958096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.076 Prop: 7432.095 PropClause: 7191.933 Set: 1568.345 Check: 0.0 Back: 191.393
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 7996250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.084 Prop: 7468.053 PropClause: 7226.828 Set: 1574.803 Check: 0.0 Back: 192.323
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 8033740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.093 Prop: 7504.471 PropClause: 7262.214 Set: 1581.176 Check: 0.0 Back: 193.254
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 8071892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.104 Prop: 7546.14 PropClause: 7302.818 Set: 1587.911 Check: 0.0 Back: 194.178
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 8110243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.113 Prop: 7578.244 PropClause: 7333.851 Set: 1594.348 Check: 0.0 Back: 195.133
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 8148632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.121 Prop: 7611.88 PropClause: 7366.434 Set: 1600.857 Check: 0.0 Back: 196.071
INFO - Atoms: 38389/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 8186984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.13 Prop: 7643.496 PropClause: 7396.993 Set: 1607.31 Check: 0.0 Back: 197.008
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 8225138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.138 Prop: 7677.689 PropClause: 7430.121 Set: 1613.766 Check: 0.0 Back: 197.96
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 8262628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.146 Prop: 7709.117 PropClause: 7460.521 Set: 1619.988 Check: 0.0 Back: 198.899
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 8300780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.155 Prop: 7742.584 PropClause: 7492.938 Set: 1626.396 Check: 0.0 Back: 199.805
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 8339131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.164 Prop: 7774.818 PropClause: 7524.112 Set: 1632.786 Check: 0.0 Back: 200.73
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 8377504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.172 Prop: 7808.091 PropClause: 7556.332 Set: 1639.24 Check: 0.0 Back: 201.658
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 8415856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 7840.475 PropClause: 7587.657 Set: 1645.629 Check: 0.0 Back: 202.602
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 8454010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.189 Prop: 7872.96 PropClause: 7619.09 Set: 1652.03 Check: 0.0 Back: 203.537
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 8491500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.198 Prop: 7904.801 PropClause: 7649.892 Set: 1658.33 Check: 0.0 Back: 204.471
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 8529652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.206 Prop: 7937.457 PropClause: 7681.506 Set: 1664.639 Check: 0.0 Back: 205.378
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 8568003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.215 Prop: 7969.182 PropClause: 7712.182 Set: 1671.052 Check: 0.0 Back: 206.309
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 8606376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.222 Prop: 8002.956 PropClause: 7744.909 Set: 1677.467 Check: 0.0 Back: 207.246
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 8644729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 8036.747 PropClause: 7777.649 Set: 1683.953 Check: 0.0 Back: 208.183
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 8682883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.241 Prop: 8072.361 PropClause: 7812.219 Set: 1690.338 Check: 0.0 Back: 209.114
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 8721257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.249 Prop: 8106.127 PropClause: 7844.926 Set: 1696.831 Check: 0.0 Back: 210.038
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 8759409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.258 Prop: 8140.297 PropClause: 7878.05 Set: 1703.138 Check: 0.0 Back: 210.978
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 8797762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.265 Prop: 8173.074 PropClause: 7909.777 Set: 1709.605 Check: 0.0 Back: 211.897
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 8836151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.273 Prop: 8205.874 PropClause: 7941.522 Set: 1716.045 Check: 0.0 Back: 212.829
INFO - Atoms: 38389/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 8874501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.281 Prop: 8238.861 PropClause: 7973.461 Set: 1722.464 Check: 0.0 Back: 213.769
INFO - Atoms: 38350/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 8912655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.291 Prop: 8272.539 PropClause: 8006.093 Set: 1728.834 Check: 0.0 Back: 214.711
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 8951029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 8311.139 PropClause: 8043.632 Set: 1735.348 Check: 0.0 Back: 215.628
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 8989181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.312 Prop: 8346.671 PropClause: 8078.097 Set: 1741.823 Check: 0.0 Back: 216.571
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 9027534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.321 Prop: 8380.035 PropClause: 8110.384 Set: 1748.31 Check: 0.0 Back: 217.503
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 9065039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.33 Prop: 8413.36 PropClause: 8142.678 Set: 1754.541 Check: 0.0 Back: 218.431
INFO - Atoms: 37505/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 9103392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.341 Prop: 8445.119 PropClause: 8173.374 Set: 1761.06 Check: 0.0 Back: 219.345
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 9141546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.352 Prop: 8478.757 PropClause: 8205.967 Set: 1767.427 Check: 0.0 Back: 220.284
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 9179036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.362 Prop: 8510.938 PropClause: 8237.117 Set: 1773.672 Check: 0.0 Back: 221.21
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 9217188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.372 Prop: 8546.642 PropClause: 8271.754 Set: 1780.129 Check: 0.0 Back: 222.119
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 9255541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.381 Prop: 8580.728 PropClause: 8304.782 Set: 1786.657 Check: 0.0 Back: 223.054
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 9293914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.392 Prop: 8614.954 PropClause: 8337.951 Set: 1793.172 Check: 0.0 Back: 223.99
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 9332266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 8648.429 PropClause: 8370.363 Set: 1799.735 Check: 0.0 Back: 224.929
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 9370420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 8681.722 PropClause: 8402.607 Set: 1806.07 Check: 0.0 Back: 225.864
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 9407910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 8714.339 PropClause: 8434.186 Set: 1812.322 Check: 0.0 Back: 226.797
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 9446062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.428 Prop: 8747.777 PropClause: 8466.583 Set: 1818.703 Check: 0.0 Back: 227.723
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 9484413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 8781.862 PropClause: 8499.612 Set: 1825.187 Check: 0.0 Back: 228.648
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 9522788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.446 Prop: 8816.352 PropClause: 8533.047 Set: 1831.62 Check: 0.0 Back: 229.597
INFO - Atoms: 38375/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 9561141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 8849.178 PropClause: 8564.826 Set: 1838.09 Check: 0.0 Back: 230.53
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 9599295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.462 Prop: 8882.622 PropClause: 8597.223 Set: 1844.453 Check: 0.0 Back: 231.466
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 9636785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 8914.824 PropClause: 8628.403 Set: 1850.632 Check: 0.0 Back: 232.4
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 9674937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 8948.584 PropClause: 8661.115 Set: 1857.039 Check: 0.0 Back: 233.315
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 9713288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 8981.564 PropClause: 8693.04 Set: 1863.514 Check: 0.0 Back: 234.253
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 9751661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.499 Prop: 9016.927 PropClause: 8727.335 Set: 1869.928 Check: 0.0 Back: 235.198
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 9790013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.508 Prop: 9048.944 PropClause: 8758.306 Set: 1876.293 Check: 0.0 Back: 236.123
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 9828167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.515 Prop: 9084.088 PropClause: 8792.396 Set: 1882.622 Check: 0.0 Back: 237.052
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 9865657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.523 Prop: 9116.734 PropClause: 8824.018 Set: 1888.826 Check: 0.0 Back: 237.974
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 9903809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.532 Prop: 9149.168 PropClause: 8855.411 Set: 1895.061 Check: 0.0 Back: 238.878
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 9942160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.539 Prop: 9180.461 PropClause: 8885.658 Set: 1901.34 Check: 0.0 Back: 239.793
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 9980535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.546 Prop: 9212.336 PropClause: 8916.483 Set: 1907.638 Check: 0.0 Back: 240.71
INFO - Atoms: 38375/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 10018887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.553 Prop: 9245.104 PropClause: 8948.196 Set: 1914.051 Check: 0.0 Back: 241.635
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 10057041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.563 Prop: 9276.869 PropClause: 8978.918 Set: 1920.255 Check: 0.0 Back: 242.559
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 10094531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.571 Prop: 9308.37 PropClause: 9009.382 Set: 1926.392 Check: 0.0 Back: 243.474
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 10132683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.581 Prop: 9341.169 PropClause: 9041.135 Set: 1932.782 Check: 0.0 Back: 244.374
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 10171034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.59 Prop: 9372.008 PropClause: 9070.922 Set: 1939.116 Check: 0.0 Back: 245.345
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 10209407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.599 Prop: 9404.957 PropClause: 9102.827 Set: 1945.448 Check: 0.0 Back: 246.268
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 10247760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 9435.876 PropClause: 9132.695 Set: 1951.776 Check: 0.0 Back: 247.192
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 10285914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 9467.982 PropClause: 9163.756 Set: 1958.082 Check: 0.0 Back: 248.122
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 10323404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.624 Prop: 9498.918 PropClause: 9193.667 Set: 1964.263 Check: 0.0 Back: 249.052
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 10361556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.634 Prop: 9532.665 PropClause: 9226.367 Set: 1970.598 Check: 0.0 Back: 249.967
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 10399907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.644 Prop: 9565.542 PropClause: 9258.191 Set: 1977.052 Check: 0.0 Back: 250.888
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 10438280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.654 Prop: 9599.536 PropClause: 9291.105 Set: 1983.483 Check: 0.0 Back: 251.816
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 10476632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 9633.938 PropClause: 9324.4 Set: 1990.102 Check: 0.0 Back: 252.74
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 10514786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.672 Prop: 9667.251 PropClause: 9356.659 Set: 1996.455 Check: 0.0 Back: 253.687
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 10552276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.682 Prop: 9698.478 PropClause: 9386.854 Set: 2002.669 Check: 0.0 Back: 254.618
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 10590428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.69 Prop: 9730.251 PropClause: 9417.577 Set: 2008.902 Check: 0.0 Back: 255.526
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 10628779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 9762.882 PropClause: 9449.158 Set: 2015.256 Check: 0.0 Back: 256.454
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 10667154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.706 Prop: 9796.067 PropClause: 9481.291 Set: 2021.645 Check: 0.0 Back: 257.382
INFO - Atoms: 38375/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 10705507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 9827.529 PropClause: 9511.712 Set: 2028.026 Check: 0.0 Back: 258.302
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 10743661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 9860.229 PropClause: 9543.37 Set: 2034.296 Check: 0.0 Back: 259.216
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 10781151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.729 Prop: 9891.043 PropClause: 9573.161 Set: 2040.448 Check: 0.0 Back: 260.143
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 10819303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.737 Prop: 9922.45 PropClause: 9603.524 Set: 2046.732 Check: 0.0 Back: 261.069
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 10857654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.745 Prop: 9954.21 PropClause: 9634.228 Set: 2053.084 Check: 0.0 Back: 261.982
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 10896044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.756 Prop: 9991.154 PropClause: 9670.124 Set: 2059.546 Check: 0.0 Back: 262.913
INFO - Atoms: 38390/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 10934397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.765 Prop: 10025.727 PropClause: 9703.647 Set: 2066.002 Check: 0.0 Back: 263.834
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 10972551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.773 Prop: 10062.765 PropClause: 9739.64 Set: 2072.351 Check: 0.0 Back: 264.775
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 11010041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.782 Prop: 10093.437 PropClause: 9769.287 Set: 2078.472 Check: 0.0 Back: 265.705
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 11048193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.79 Prop: 10124.073 PropClause: 9798.878 Set: 2084.708 Check: 0.0 Back: 266.607
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 11086544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.796 Prop: 10154.956 PropClause: 9828.705 Set: 2091.032 Check: 0.0 Back: 267.539
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 11124935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.808 Prop: 10187.766 PropClause: 9860.469 Set: 2097.355 Check: 0.0 Back: 268.46
INFO - Atoms: 38391/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 11163288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.816 Prop: 10220.638 PropClause: 9892.295 Set: 2103.749 Check: 0.0 Back: 269.387
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 11201442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 10252.437 PropClause: 9923.049 Set: 2109.996 Check: 0.0 Back: 270.31
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 11238932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.833 Prop: 10282.919 PropClause: 9952.505 Set: 2116.167 Check: 0.0 Back: 271.225
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 11277084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.841 Prop: 10315.399 PropClause: 9983.946 Set: 2122.435 Check: 0.0 Back: 272.129
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 11315435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.848 Prop: 10347.254 PropClause: 10014.749 Set: 2128.91 Check: 0.0 Back: 273.032
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 11353825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 10379.737 PropClause: 10046.181 Set: 2135.213 Check: 0.0 Back: 273.96
INFO - Atoms: 38390/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 11392178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.864 Prop: 10410.73 PropClause: 10076.126 Set: 2141.541 Check: 0.0 Back: 274.882
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 11430332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.872 Prop: 10443.279 PropClause: 10107.635 Set: 2147.825 Check: 0.0 Back: 275.814
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 11468706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 10474.356 PropClause: 10137.664 Set: 2154.238 Check: 0.0 Back: 276.734
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 11492782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.892 Prop: 10497.428 PropClause: 10160.078 Set: 2158.019 Check: 0.0 Back: 277.673
INFO - Atoms: 24076/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 11517973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.902 Prop: 10511.047 PropClause: 10172.996 Set: 2162.065 Check: 0.0 Back: 278.298
INFO - Atoms: 25191/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 11543161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.911 Prop: 10524.852 PropClause: 10186.098 Set: 2166.108 Check: 0.0 Back: 278.956
INFO - Atoms: 25188/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 11581313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.92 Prop: 10552.587 PropClause: 10212.784 Set: 2172.604 Check: 0.0 Back: 279.611
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 11619666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 10585.349 PropClause: 10244.496 Set: 2179.008 Check: 0.0 Back: 280.516
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 11658040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.939 Prop: 10619.121 PropClause: 10277.218 Set: 2185.479 Check: 0.0 Back: 281.408
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 11696390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.947 Prop: 10651.63 PropClause: 10308.661 Set: 2191.899 Check: 0.0 Back: 282.312
INFO - Atoms: 38350/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 11734544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.955 Prop: 10685.313 PropClause: 10341.3 Set: 2198.294 Check: 0.0 Back: 283.204
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 11772048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.963 Prop: 10718.013 PropClause: 10372.967 Set: 2204.469 Check: 0.0 Back: 284.109
INFO - Atoms: 37504/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 11810222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.972 Prop: 10751.217 PropClause: 10405.125 Set: 2210.879 Check: 0.0 Back: 285.003
INFO - Atoms: 38174/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 11848573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.98 Prop: 10783.907 PropClause: 10436.756 Set: 2217.401 Check: 0.0 Back: 285.905
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 11886949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.988 Prop: 10817.774 PropClause: 10469.574 Set: 2223.868 Check: 0.0 Back: 286.819
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 11925302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.997 Prop: 10852.174 PropClause: 10502.919 Set: 2230.326 Check: 0.0 Back: 287.726
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 11963456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 10886.9 PropClause: 10536.592 Set: 2236.715 Check: 0.0 Back: 288.636
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 12000961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 10920.436 PropClause: 10569.092 Set: 2242.984 Check: 0.0 Back: 289.546
INFO - Atoms: 37505/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 12039125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.026 Prop: 10955.711 PropClause: 10603.316 Set: 2259.123 Check: 0.0 Back: 290.439
INFO - Atoms: 38164/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 12077383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.033 Prop: 10988.829 PropClause: 10635.387 Set: 2265.522 Check: 0.0 Back: 291.334
INFO - Atoms: 38258/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 12114873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.042 Prop: 11022.492 PropClause: 10668.004 Set: 2271.766 Check: 0.0 Back: 292.238
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 12153023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.052 Prop: 11055.609 PropClause: 10700.057 Set: 2278.207 Check: 0.0 Back: 293.136
INFO - Atoms: 38150/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 12191084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 11090.31 PropClause: 10733.713 Set: 2284.562 Check: 0.0 Back: 294.055
INFO - Atoms: 38061/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 12229247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.07 Prop: 11123.316 PropClause: 10765.667 Set: 2290.969 Check: 0.0 Back: 294.956
INFO - Atoms: 38163/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 12267187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.078 Prop: 11156.893 PropClause: 10798.205 Set: 2297.314 Check: 0.0 Back: 295.853
INFO - Atoms: 37940/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 12305130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.087 Prop: 11189.458 PropClause: 10829.725 Set: 2303.721 Check: 0.0 Back: 296.744
INFO - Atoms: 37943/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 12342620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 11223.121 PropClause: 10862.352 Set: 2309.943 Check: 0.0 Back: 297.644
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 12380338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.119 Prop: 11255.563 PropClause: 10893.746 Set: 2316.331 Check: 0.0 Back: 298.532
INFO - Atoms: 37718/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 12418056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.128 Prop: 11288.6 PropClause: 10925.756 Set: 2322.562 Check: 0.0 Back: 299.434
INFO - Atoms: 37718/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 12455774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.151 Prop: 11320.678 PropClause: 10956.8 Set: 2328.883 Check: 0.0 Back: 300.328
INFO - Atoms: 37718/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 12493600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.16 Prop: 11356.694 PropClause: 10991.779 Set: 2335.241 Check: 0.0 Back: 301.225
INFO - Atoms: 37826/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 12531640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.168 Prop: 11389.031 PropClause: 11023.077 Set: 2341.65 Check: 0.0 Back: 302.119
INFO - Atoms: 38040/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 12569443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.175 Prop: 11422.478 PropClause: 11055.476 Set: 2347.965 Check: 0.0 Back: 303.018
INFO - Atoms: 37803/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 12607484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.182 Prop: 11454.427 PropClause: 11086.389 Set: 2354.311 Check: 0.0 Back: 303.903
INFO - Atoms: 38041/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 12644525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.204 Prop: 11487.878 PropClause: 11118.818 Set: 2360.446 Check: 0.0 Back: 304.797
INFO - Atoms: 37041/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 12681808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.212 Prop: 11519.48 PropClause: 11149.398 Set: 2366.565 Check: 0.0 Back: 305.69
INFO - Atoms: 37283/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 12718848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.221 Prop: 11553.449 PropClause: 11182.357 Set: 2372.625 Check: 0.0 Back: 306.569
INFO - Atoms: 37040/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 12755660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.23 Prop: 11584.814 PropClause: 11212.717 Set: 2378.657 Check: 0.0 Back: 307.452
INFO - Atoms: 36812/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 12793034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.293 Prop: 11619.357 PropClause: 11246.203 Set: 2391.326 Check: 0.0 Back: 308.316
INFO - Atoms: 37374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 12830615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.33 Prop: 11650.149 PropClause: 11275.968 Set: 2397.456 Check: 0.0 Back: 309.228
INFO - Atoms: 37581/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 12868620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.392 Prop: 11683.771 PropClause: 11308.539 Set: 2403.619 Check: 0.0 Back: 310.142
INFO - Atoms: 38005/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 12906655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 11715.979 PropClause: 11339.705 Set: 2409.899 Check: 0.0 Back: 311.063
INFO - Atoms: 38035/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 12945164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.457 Prop: 11749.343 PropClause: 11372.008 Set: 2416.212 Check: 0.0 Back: 311.99
INFO - Atoms: 38509/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 12983880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.49 Prop: 11781.937 PropClause: 11403.54 Set: 2422.63 Check: 0.0 Back: 312.931
INFO - Atoms: 38716/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 13022843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.548 Prop: 11816.709 PropClause: 11437.243 Set: 2429.018 Check: 0.0 Back: 313.866
INFO - Atoms: 38963/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 13062013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.58 Prop: 11849.812 PropClause: 11469.277 Set: 2435.325 Check: 0.0 Back: 314.818
INFO - Atoms: 39170/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 13101430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.617 Prop: 11885.373 PropClause: 11503.759 Set: 2441.697 Check: 0.0 Back: 315.772
INFO - Atoms: 39417/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 13141054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.647 Prop: 11920.25 PropClause: 11537.558 Set: 2448.238 Check: 0.0 Back: 316.718
INFO - Atoms: 39624/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 13180925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.685 Prop: 11956.183 PropClause: 11572.401 Set: 2454.786 Check: 0.0 Back: 317.689
INFO - Atoms: 39871/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 13221003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.728 Prop: 11990.893 PropClause: 11606.008 Set: 2461.346 Check: 0.0 Back: 318.656
INFO - Atoms: 40078/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 13261328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.772 Prop: 12027.653 PropClause: 11641.669 Set: 2467.868 Check: 0.0 Back: 319.643
INFO - Atoms: 40325/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 13301860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.905 Prop: 12064.18 PropClause: 11677.083 Set: 2474.484 Check: 0.0 Back: 320.622
INFO - Atoms: 40532/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 13342639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.915 Prop: 12101.191 PropClause: 11712.982 Set: 2481.187 Check: 0.0 Back: 321.601
INFO - Atoms: 40779/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 13383625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.928 Prop: 12139.647 PropClause: 11750.317 Set: 2487.929 Check: 0.0 Back: 322.595
INFO - Atoms: 40986/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 13424858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.939 Prop: 12177.705 PropClause: 11787.248 Set: 2494.7 Check: 0.0 Back: 323.581
INFO - Atoms: 41233/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 13466298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.949 Prop: 12215.003 PropClause: 11823.416 Set: 2501.526 Check: 0.0 Back: 324.574
INFO - Atoms: 41440/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 13507985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.96 Prop: 12253.185 PropClause: 11860.441 Set: 2508.42 Check: 0.0 Back: 325.573
INFO - Atoms: 41687/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 13549879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.968 Prop: 12290.581 PropClause: 11896.69 Set: 2515.23 Check: 0.0 Back: 326.582
INFO - Atoms: 41894/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 13592020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.977 Prop: 12329.266 PropClause: 11934.215 Set: 2522.162 Check: 0.0 Back: 327.582
INFO - Atoms: 42141/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 13634368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.987 Prop: 12367.639 PropClause: 11971.422 Set: 2529.034 Check: 0.0 Back: 328.609
INFO - Atoms: 42348/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 13676963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.997 Prop: 12407.652 PropClause: 12010.268 Set: 2536.034 Check: 0.0 Back: 329.628
INFO - Atoms: 42595/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 13719765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.009 Prop: 12449.354 PropClause: 12050.794 Set: 2543.158 Check: 0.0 Back: 330.636
INFO - Atoms: 42802/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 13762814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.02 Prop: 12490.437 PropClause: 12090.676 Set: 2550.352 Check: 0.0 Back: 331.658
INFO - Atoms: 43049/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 13806070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.032 Prop: 12535.18 PropClause: 12134.224 Set: 2557.598 Check: 0.0 Back: 332.707
INFO - Atoms: 43256/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 13849573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.041 Prop: 12580.542 PropClause: 12178.389 Set: 2564.789 Check: 0.0 Back: 333.771
INFO - Atoms: 43503/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 13893283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.052 Prop: 12622.394 PropClause: 12219.042 Set: 2571.952 Check: 0.0 Back: 334.82
INFO - Atoms: 43710/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 13937240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.062 Prop: 12664.278 PropClause: 12259.723 Set: 2579.32 Check: 0.0 Back: 335.868
INFO - Atoms: 43957/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 13981404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.071 Prop: 12706.09 PropClause: 12300.315 Set: 2586.522 Check: 0.0 Back: 336.92
INFO - Atoms: 44164/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 14025815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.083 Prop: 12749.508 PropClause: 12342.506 Set: 2593.976 Check: 0.0 Back: 338.006
INFO - Atoms: 44411/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 14070433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.091 Prop: 12790.359 PropClause: 12382.118 Set: 2601.302 Check: 0.0 Back: 339.071
INFO - Atoms: 44618/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 14115298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.103 Prop: 12835.077 PropClause: 12425.596 Set: 2617.281 Check: 0.0 Back: 340.139
INFO - Atoms: 44865/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 14160370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.112 Prop: 12877.557 PropClause: 12466.849 Set: 2624.675 Check: 0.0 Back: 341.221
INFO - Atoms: 45072/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 14205689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.12 Prop: 12922.33 PropClause: 12510.37 Set: 2632.398 Check: 0.0 Back: 342.3
INFO - Atoms: 45319/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 14251215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.13 Prop: 12967.24 PropClause: 12554.035 Set: 2639.88 Check: 0.0 Back: 343.376
INFO - Atoms: 45526/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 14296988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.138 Prop: 13010.395 PropClause: 12595.937 Set: 2647.461 Check: 0.0 Back: 344.473
INFO - Atoms: 45773/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 14342968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.147 Prop: 13052.824 PropClause: 12637.106 Set: 2655.072 Check: 0.0 Back: 345.581
INFO - Atoms: 45980/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 14389195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.154 Prop: 13096.682 PropClause: 12679.698 Set: 2662.706 Check: 0.0 Back: 346.684
INFO - Atoms: 46227/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 14435629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.166 Prop: 13140.873 PropClause: 12722.613 Set: 2670.46 Check: 0.0 Back: 347.797
INFO - Atoms: 46434/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 14482310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.177 Prop: 13185.67 PropClause: 12766.127 Set: 2678.125 Check: 0.0 Back: 348.923
INFO - Atoms: 46681/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 14529198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.185 Prop: 13230.845 PropClause: 12810.021 Set: 2685.82 Check: 0.0 Back: 350.029
INFO - Atoms: 46888/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 14576333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.193 Prop: 13277.751 PropClause: 12855.622 Set: 2693.607 Check: 0.0 Back: 351.15
INFO - Atoms: 47135/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 14623675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.203 Prop: 13323.834 PropClause: 12900.388 Set: 2701.436 Check: 0.0 Back: 352.281
INFO - Atoms: 47342/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 14671264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.213 Prop: 13369.04 PropClause: 12944.275 Set: 2709.309 Check: 0.0 Back: 353.42
INFO - Atoms: 47589/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 14719060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.223 Prop: 13414.073 PropClause: 12988.003 Set: 2717.221 Check: 0.0 Back: 354.556
INFO - Atoms: 47796/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 14767103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.232 Prop: 13460.404 PropClause: 13033.023 Set: 2725.083 Check: 0.0 Back: 355.705
INFO - Atoms: 48043/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 14815353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.239 Prop: 13506.538 PropClause: 13077.842 Set: 2733.07 Check: 0.0 Back: 356.842
INFO - Atoms: 48250/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 14863850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.247 Prop: 13553.181 PropClause: 13123.154 Set: 2741.114 Check: 0.0 Back: 357.987
INFO - Atoms: 48497/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 14912554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.338 Prop: 13600.565 PropClause: 13169.203 Set: 2749.113 Check: 0.0 Back: 359.159
INFO - Atoms: 48704/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 14961505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.346 Prop: 13648.023 PropClause: 13215.325 Set: 2757.253 Check: 0.0 Back: 360.316
INFO - Atoms: 48951/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 15010663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.357 Prop: 13695.121 PropClause: 13261.094 Set: 2765.379 Check: 0.0 Back: 361.471
INFO - Atoms: 49158/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 15060068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.365 Prop: 13742.915 PropClause: 13307.541 Set: 2773.597 Check: 0.0 Back: 362.658
INFO - Atoms: 49405/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 15109680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.374 Prop: 13792.702 PropClause: 13355.965 Set: 2781.955 Check: 0.0 Back: 363.82
INFO - Atoms: 49612/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 15159539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.38 Prop: 13845.135 PropClause: 13407.011 Set: 2790.323 Check: 0.0 Back: 365.004
INFO - Atoms: 49859/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 15209605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.391 Prop: 13896.475 PropClause: 13456.968 Set: 2805.691 Check: 0.0 Back: 366.189
INFO - Atoms: 50066/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 15259918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.401 Prop: 13948.474 PropClause: 13507.577 Set: 2814.177 Check: 0.0 Back: 367.382
INFO - Atoms: 50313/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 15310438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.409 Prop: 14004.113 PropClause: 13561.832 Set: 2822.776 Check: 0.0 Back: 368.568
INFO - Atoms: 50520/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 15361205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.418 Prop: 14060.177 PropClause: 13616.495 Set: 2831.662 Check: 0.0 Back: 369.789
INFO - Atoms: 50767/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 15412179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.427 Prop: 14111.286 PropClause: 13666.204 Set: 2840.327 Check: 0.0 Back: 370.991
INFO - Atoms: 50974/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 15463400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.437 Prop: 14163.669 PropClause: 13717.175 Set: 2848.871 Check: 0.0 Back: 372.209
INFO - Atoms: 51221/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 15514828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.445 Prop: 14216.31 PropClause: 13768.408 Set: 2857.37 Check: 0.0 Back: 373.415
INFO - Atoms: 51428/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 15566503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.456 Prop: 14268.827 PropClause: 13819.507 Set: 2866.106 Check: 0.0 Back: 374.645
INFO - Atoms: 51675/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 15618385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.465 Prop: 14321.607 PropClause: 13870.858 Set: 2874.914 Check: 0.0 Back: 375.866
INFO - Atoms: 51882/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 15670514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.474 Prop: 14375.061 PropClause: 13922.876 Set: 2883.583 Check: 0.0 Back: 377.102
INFO - Atoms: 52129/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 15722850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.483 Prop: 14427.841 PropClause: 13974.214 Set: 2892.371 Check: 0.0 Back: 378.345
INFO - Atoms: 52336/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 15775432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.491 Prop: 14481.957 PropClause: 14026.882 Set: 2901.479 Check: 0.0 Back: 379.6
INFO - Atoms: 52582/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 15828244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.5 Prop: 14537.492 PropClause: 14080.965 Set: 2910.469 Check: 0.0 Back: 380.843
INFO - Atoms: 52812/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 15881261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.51 Prop: 14596.974 PropClause: 14138.986 Set: 2919.492 Check: 0.0 Back: 382.096
INFO - Atoms: 53017/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 15934525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.519 Prop: 14654.617 PropClause: 14195.163 Set: 2928.891 Check: 0.0 Back: 383.342
INFO - Atoms: 53264/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 15987996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.529 Prop: 14713.168 PropClause: 14252.247 Set: 2937.946 Check: 0.0 Back: 384.593
INFO - Atoms: 53471/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 16041713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.538 Prop: 14768.108 PropClause: 14305.713 Set: 2946.87 Check: 0.0 Back: 385.85
INFO - Atoms: 53717/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 16095638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.547 Prop: 14826.706 PropClause: 14362.845 Set: 2955.889 Check: 0.0 Back: 387.117
INFO - Atoms: 53925/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 16149809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.56 Prop: 14890.423 PropClause: 14425.051 Set: 2965.162 Check: 0.0 Back: 388.388
INFO - Atoms: 54171/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 892 Props: 18988712 Tprops: 0 Decides: 9887 RSplits: 0
INFO - Times: Expl: 1187.562 Prop: 17322.067 PropClause: 16772.316 Set: 3036.076 Check: 0.239 Back: 456.243
INFO - Atoms: 18238/55072 Clauses: 984 Axioms: 182066
INFO - Confl: 1233 Props: 20076543 Tprops: 0 Decides: 13404 RSplits: 0
INFO - Times: Expl: 1549.238 Prop: 18142.664 PropClause: 17560.97 Set: 3062.348 Check: 0.322 Back: 481.784
INFO - Atoms: 19141/55072 Clauses: 1325 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 396 Props: 30561 Tprops: 7947 Decides: 35602 RSplits: 0
INFO - Times: Expl: 180.475 Prop: 41291.514 PropClause: 11.658 Set: 3893.005 Check: 140.978 Back: 128.255
INFO - Atoms: 568/726 Clauses: 396 Axioms: 726
INFO - CCTimes: iE 336832 eq 17612404 cc 55993609 setRep 44408673
INFO - Merges: 286953, cc:524180
INFO - BVTimes: BB 172163647 BB_DPLL 37453561028 Graph 889200
INFO - BitBlastingClauses: 372278 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat