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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 175068061
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 47291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.645 Prop: 62.31 PropClause: 60.289 Set: 21.925 Check: 0.0 Back: 0.0
INFO - Atoms: 47291/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 94205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.699 Prop: 115.575 PropClause: 111.784 Set: 59.575 Check: 0.0 Back: 1.106
INFO - Atoms: 46914/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 140834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.759 Prop: 174.633 PropClause: 168.992 Set: 68.484 Check: 0.0 Back: 2.204
INFO - Atoms: 46629/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 187458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.823 Prop: 229.236 PropClause: 222.412 Set: 77.24 Check: 0.0 Back: 3.267
INFO - Atoms: 46624/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 234087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.888 Prop: 280.861 PropClause: 272.872 Set: 86.252 Check: 0.0 Back: 4.346
INFO - Atoms: 46629/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 280711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.975 Prop: 329.844 PropClause: 320.662 Set: 95.18 Check: 0.0 Back: 5.455
INFO - Atoms: 46624/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 327334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.023 Prop: 379.685 PropClause: 369.34 Set: 109.462 Check: 0.0 Back: 6.537
INFO - Atoms: 46623/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 373784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.076 Prop: 428.82 PropClause: 417.319 Set: 138.597 Check: 0.0 Back: 7.632
INFO - Atoms: 46450/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 420022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.131 Prop: 479.287 PropClause: 466.637 Set: 147.603 Check: 0.0 Back: 8.711
INFO - Atoms: 46238/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 466064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.177 Prop: 529.012 PropClause: 515.222 Set: 156.547 Check: 0.0 Back: 9.812
INFO - Atoms: 46042/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 511912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.252 Prop: 580.149 PropClause: 565.219 Set: 165.61 Check: 0.0 Back: 10.889
INFO - Atoms: 45848/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 557582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.329 Prop: 629.204 PropClause: 613.125 Set: 174.613 Check: 0.0 Back: 11.972
INFO - Atoms: 45670/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 603040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.377 Prop: 677.752 PropClause: 660.542 Set: 183.609 Check: 0.0 Back: 13.037
INFO - Atoms: 45458/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 648302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.452 Prop: 723.372 PropClause: 705.038 Set: 192.344 Check: 0.0 Back: 14.125
INFO - Atoms: 45262/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 693370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.504 Prop: 770.771 PropClause: 751.325 Set: 205.295 Check: 0.0 Back: 15.188
INFO - Atoms: 45068/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 738242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.554 Prop: 817.26 PropClause: 796.699 Set: 218.846 Check: 0.0 Back: 16.255
INFO - Atoms: 44872/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 782920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.593 Prop: 866.087 PropClause: 844.401 Set: 232.424 Check: 0.0 Back: 17.318
INFO - Atoms: 44678/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 827402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.634 Prop: 911.825 PropClause: 889.031 Set: 268.02 Check: 0.0 Back: 18.386
INFO - Atoms: 44482/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 871690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.679 Prop: 960.686 PropClause: 936.79 Set: 276.797 Check: 0.0 Back: 19.409
INFO - Atoms: 44288/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 915800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.728 Prop: 1007.305 PropClause: 982.321 Set: 285.314 Check: 0.0 Back: 20.465
INFO - Atoms: 44110/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 959698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.773 Prop: 1052.298 PropClause: 1026.228 Set: 293.839 Check: 0.0 Back: 21.499
INFO - Atoms: 43898/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1003417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.821 Prop: 1096.312 PropClause: 1069.162 Set: 302.15 Check: 0.0 Back: 22.537
INFO - Atoms: 43719/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1046925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.861 Prop: 1141.104 PropClause: 1112.873 Set: 310.573 Check: 0.0 Back: 23.551
INFO - Atoms: 43508/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1090237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.904 Prop: 1184.502 PropClause: 1155.196 Set: 319.084 Check: 0.0 Back: 24.597
INFO - Atoms: 43312/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1133355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.945 Prop: 1233.933 PropClause: 1203.543 Set: 327.486 Check: 0.0 Back: 25.625
INFO - Atoms: 43118/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1176277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.989 Prop: 1276.148 PropClause: 1244.691 Set: 335.763 Check: 0.0 Back: 26.654
INFO - Atoms: 42922/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1219005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.037 Prop: 1320.299 PropClause: 1287.764 Set: 344.076 Check: 0.0 Back: 27.667
INFO - Atoms: 42728/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1261555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.081 Prop: 1365.814 PropClause: 1332.221 Set: 352.291 Check: 0.0 Back: 28.714
INFO - Atoms: 42550/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1303893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.129 Prop: 1407.711 PropClause: 1373.051 Set: 360.445 Check: 0.0 Back: 29.719
INFO - Atoms: 42338/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1346035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.18 Prop: 1448.339 PropClause: 1412.625 Set: 368.557 Check: 0.0 Back: 30.754
INFO - Atoms: 42142/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1387983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.227 Prop: 1490.743 PropClause: 1453.976 Set: 376.748 Check: 0.0 Back: 31.774
INFO - Atoms: 41948/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1429735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.275 Prop: 1532.334 PropClause: 1494.529 Set: 384.734 Check: 0.0 Back: 32.805
INFO - Atoms: 41752/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1471293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.325 Prop: 1574.606 PropClause: 1535.759 Set: 395.32 Check: 0.0 Back: 33.792
INFO - Atoms: 41558/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1512674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.375 Prop: 1614.691 PropClause: 1574.813 Set: 407.74 Check: 0.0 Back: 34.805
INFO - Atoms: 41381/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1553842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.421 Prop: 1656.434 PropClause: 1615.524 Set: 419.842 Check: 0.0 Back: 35.788
INFO - Atoms: 41168/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1594814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.468 Prop: 1696.404 PropClause: 1654.469 Set: 431.443 Check: 0.0 Back: 36.79
INFO - Atoms: 40972/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1635592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.517 Prop: 1741.79 PropClause: 1698.822 Set: 443.167 Check: 0.0 Back: 37.765
INFO - Atoms: 40778/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1676174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.562 Prop: 1779.988 PropClause: 1736.008 Set: 454.594 Check: 0.0 Back: 38.754
INFO - Atoms: 40582/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1716562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.609 Prop: 1823.182 PropClause: 1778.193 Set: 466.039 Check: 0.0 Back: 39.715
INFO - Atoms: 40388/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1756772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.657 Prop: 1862.061 PropClause: 1816.063 Set: 487.846 Check: 0.0 Back: 40.694
INFO - Atoms: 40210/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1796770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.705 Prop: 1900.392 PropClause: 1853.396 Set: 495.504 Check: 0.0 Back: 41.645
INFO - Atoms: 39998/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1836590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.762 Prop: 1939.367 PropClause: 1891.366 Set: 503.206 Check: 0.0 Back: 42.625
INFO - Atoms: 39820/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1876198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.808 Prop: 1977.18 PropClause: 1928.187 Set: 510.779 Check: 0.0 Back: 43.594
INFO - Atoms: 39608/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1915627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.852 Prop: 2014.555 PropClause: 1964.572 Set: 518.248 Check: 0.0 Back: 44.556
INFO - Atoms: 39429/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1954845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.926 Prop: 2050.932 PropClause: 1999.978 Set: 525.673 Check: 0.0 Back: 45.488
INFO - Atoms: 39218/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1993867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.971 Prop: 2089.04 PropClause: 2037.111 Set: 533.026 Check: 0.0 Back: 46.442
INFO - Atoms: 39022/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2032695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.022 Prop: 2128.197 PropClause: 2075.293 Set: 540.467 Check: 0.0 Back: 47.375
INFO - Atoms: 38828/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2071345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.071 Prop: 2161.713 PropClause: 2107.845 Set: 547.758 Check: 0.0 Back: 48.341
INFO - Atoms: 38650/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2109783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.109 Prop: 2199.811 PropClause: 2144.989 Set: 555.01 Check: 0.0 Back: 49.258
INFO - Atoms: 38438/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2148042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.152 Prop: 2233.575 PropClause: 2177.801 Set: 562.137 Check: 0.0 Back: 50.191
INFO - Atoms: 38259/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2186090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.191 Prop: 2266.926 PropClause: 2210.208 Set: 569.248 Check: 0.0 Back: 51.101
INFO - Atoms: 38048/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2223942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.337 Prop: 2300.36 PropClause: 2242.691 Set: 576.256 Check: 0.0 Back: 52.037
INFO - Atoms: 37852/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2261600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.355 Prop: 2333.339 PropClause: 2274.735 Set: 583.268 Check: 0.0 Back: 52.935
INFO - Atoms: 37658/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2299062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.374 Prop: 2366.461 PropClause: 2306.926 Set: 590.248 Check: 0.0 Back: 53.847
INFO - Atoms: 37462/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2336330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.394 Prop: 2399.54 PropClause: 2339.08 Set: 597.28 Check: 0.0 Back: 54.746
INFO - Atoms: 37268/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2373402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.414 Prop: 2432.354 PropClause: 2370.972 Set: 604.15 Check: 0.0 Back: 55.66
INFO - Atoms: 37072/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2410280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.436 Prop: 2464.84 PropClause: 2402.538 Set: 611.02 Check: 0.0 Back: 56.539
INFO - Atoms: 36878/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2446962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.454 Prop: 2495.668 PropClause: 2432.459 Set: 617.745 Check: 0.0 Back: 57.426
INFO - Atoms: 36682/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 2483450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.477 Prop: 2531.085 PropClause: 2466.965 Set: 624.604 Check: 0.0 Back: 58.292
INFO - Atoms: 36488/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 2519761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.496 Prop: 2564.667 PropClause: 2499.65 Set: 631.403 Check: 0.0 Back: 59.19
INFO - Atoms: 36311/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 2555859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.515 Prop: 2593.939 PropClause: 2528.031 Set: 638.049 Check: 0.0 Back: 60.058
INFO - Atoms: 36098/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 2591761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.535 Prop: 2621.7 PropClause: 2554.907 Set: 644.642 Check: 0.0 Back: 60.958
INFO - Atoms: 35902/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 2627469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.554 Prop: 2649.515 PropClause: 2581.834 Set: 651.201 Check: 0.0 Back: 61.832
INFO - Atoms: 35708/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 2662999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.574 Prop: 2677.031 PropClause: 2608.47 Set: 657.665 Check: 0.0 Back: 62.703
INFO - Atoms: 35530/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 2698317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.594 Prop: 2705.118 PropClause: 2635.682 Set: 664.118 Check: 0.0 Back: 63.541
INFO - Atoms: 35318/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 2733457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.613 Prop: 2732.75 PropClause: 2662.446 Set: 670.496 Check: 0.0 Back: 64.402
INFO - Atoms: 35140/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 2768385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.631 Prop: 2760.136 PropClause: 2688.965 Set: 676.875 Check: 0.0 Back: 65.237
INFO - Atoms: 34928/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 2803117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 2790.271 PropClause: 2718.236 Set: 683.24 Check: 0.0 Back: 66.102
INFO - Atoms: 34732/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 2837655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.67 Prop: 2819.584 PropClause: 2746.687 Set: 689.612 Check: 0.0 Back: 66.933
INFO - Atoms: 34538/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 2872015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.689 Prop: 2849.341 PropClause: 2775.573 Set: 695.995 Check: 0.0 Back: 67.781
INFO - Atoms: 34360/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 2906163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.708 Prop: 2878.994 PropClause: 2804.377 Set: 702.384 Check: 0.0 Back: 68.608
INFO - Atoms: 34148/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 2940115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.725 Prop: 2910.08 PropClause: 2834.622 Set: 708.635 Check: 0.0 Back: 69.446
INFO - Atoms: 33952/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 2973873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.745 Prop: 2939.265 PropClause: 2862.97 Set: 714.865 Check: 0.0 Back: 70.261
INFO - Atoms: 33758/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3007435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 2963.866 PropClause: 2886.744 Set: 720.878 Check: 0.0 Back: 71.09
INFO - Atoms: 33562/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3040803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.781 Prop: 2987.55 PropClause: 2909.602 Set: 726.875 Check: 0.0 Back: 71.902
INFO - Atoms: 33368/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3073975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.799 Prop: 3010.618 PropClause: 2931.847 Set: 732.823 Check: 0.0 Back: 72.723
INFO - Atoms: 33172/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3106953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.819 Prop: 3036.944 PropClause: 2957.352 Set: 738.854 Check: 0.0 Back: 73.522
INFO - Atoms: 32978/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 3139754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.84 Prop: 3066.021 PropClause: 2985.615 Set: 747.886 Check: 0.0 Back: 74.368
INFO - Atoms: 32801/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 3172342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.859 Prop: 3092.061 PropClause: 3010.838 Set: 756.64 Check: 0.0 Back: 75.17
INFO - Atoms: 32588/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 3204734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.88 Prop: 3117.455 PropClause: 3035.424 Set: 765.436 Check: 0.0 Back: 75.994
INFO - Atoms: 32392/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 3236932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.898 Prop: 3142.116 PropClause: 3059.287 Set: 774.023 Check: 0.0 Back: 76.782
INFO - Atoms: 32198/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 3268952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.918 Prop: 3165.831 PropClause: 3082.21 Set: 782.394 Check: 0.0 Back: 77.582
INFO - Atoms: 32020/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 3300760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.937 Prop: 3190.132 PropClause: 3105.722 Set: 790.754 Check: 0.0 Back: 78.353
INFO - Atoms: 31808/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 3332372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.958 Prop: 3216.109 PropClause: 3130.91 Set: 796.443 Check: 0.0 Back: 79.147
INFO - Atoms: 31612/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 3364766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.981 Prop: 3245.798 PropClause: 3159.782 Set: 802.52 Check: 0.0 Back: 79.912
INFO - Atoms: 32394/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 3397357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.002 Prop: 3275.168 PropClause: 3188.341 Set: 808.637 Check: 0.0 Back: 80.707
INFO - Atoms: 32591/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 3430119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.023 Prop: 3301.765 PropClause: 3214.115 Set: 814.76 Check: 0.0 Back: 81.494
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 3462904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.047 Prop: 3327.206 PropClause: 3238.741 Set: 820.801 Check: 0.0 Back: 82.305
INFO - Atoms: 32785/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 3495098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.067 Prop: 3352.507 PropClause: 3263.248 Set: 826.736 Check: 0.0 Back: 83.103
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 3528025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.085 Prop: 3379.382 PropClause: 3289.307 Set: 832.839 Check: 0.0 Back: 83.897
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 3560807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.106 Prop: 3403.624 PropClause: 3312.733 Set: 838.844 Check: 0.0 Back: 84.689
INFO - Atoms: 32782/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 3593756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.128 Prop: 3428.511 PropClause: 3336.8 Set: 844.931 Check: 0.0 Back: 85.508
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 3626681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.148 Prop: 3453.293 PropClause: 3360.763 Set: 851.036 Check: 0.0 Back: 86.31
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 3659443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.193 Prop: 3477.463 PropClause: 3384.119 Set: 857.058 Check: 0.0 Back: 87.132
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 3691637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.257 Prop: 3506.104 PropClause: 3411.958 Set: 863.075 Check: 0.0 Back: 87.934
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 3724562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.275 Prop: 3531.436 PropClause: 3436.471 Set: 869.151 Check: 0.0 Back: 88.744
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 3757346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.291 Prop: 3556.079 PropClause: 3460.304 Set: 875.178 Check: 0.0 Back: 89.551
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 3790314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.306 Prop: 3585.901 PropClause: 3489.306 Set: 881.306 Check: 0.0 Back: 90.362
INFO - Atoms: 32968/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 3823241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.322 Prop: 3617.124 PropClause: 3519.707 Set: 887.61 Check: 0.0 Back: 91.155
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 3856003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.387 Prop: 3644.699 PropClause: 3546.467 Set: 893.682 Check: 0.0 Back: 91.964
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 3888197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.397 Prop: 3669.898 PropClause: 3570.866 Set: 899.658 Check: 0.0 Back: 92.759
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 3921122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.407 Prop: 3694.009 PropClause: 3594.132 Set: 905.739 Check: 0.0 Back: 93.553
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 3953906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.416 Prop: 3717.65 PropClause: 3616.957 Set: 911.837 Check: 0.0 Back: 94.361
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 3986855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.425 Prop: 3742.097 PropClause: 3640.581 Set: 917.923 Check: 0.0 Back: 95.187
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 4019782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.433 Prop: 3766.929 PropClause: 3664.594 Set: 924.055 Check: 0.0 Back: 95.99
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 4052544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.442 Prop: 3791.304 PropClause: 3688.156 Set: 930.056 Check: 0.0 Back: 96.823
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 4084738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.452 Prop: 3815.463 PropClause: 3711.514 Set: 935.976 Check: 0.0 Back: 97.624
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 4117663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.463 Prop: 3839.988 PropClause: 3735.221 Set: 942.149 Check: 0.0 Back: 98.423
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 4150447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.471 Prop: 3865.861 PropClause: 3760.28 Set: 948.27 Check: 0.0 Back: 99.214
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 4183396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.479 Prop: 3892.239 PropClause: 3785.826 Set: 954.501 Check: 0.0 Back: 100.032
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 4216322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.489 Prop: 3917.965 PropClause: 3810.732 Set: 967.06 Check: 0.0 Back: 100.837
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 4249084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.498 Prop: 3945.312 PropClause: 3837.261 Set: 973.087 Check: 0.0 Back: 101.657
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 4281278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.507 Prop: 3974.961 PropClause: 3866.105 Set: 979.158 Check: 0.0 Back: 102.458
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 4314203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 4001.745 PropClause: 3892.07 Set: 985.305 Check: 0.0 Back: 103.263
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 4346987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 4025.201 PropClause: 3914.716 Set: 991.367 Check: 0.0 Back: 104.067
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 4379955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 4048.44 PropClause: 3937.14 Set: 997.451 Check: 0.0 Back: 104.888
INFO - Atoms: 32968/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 4412881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.544 Prop: 4072.388 PropClause: 3960.274 Set: 1003.557 Check: 0.0 Back: 105.689
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 4445643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.556 Prop: 4097.879 PropClause: 3984.951 Set: 1009.588 Check: 0.0 Back: 106.505
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 4477837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.566 Prop: 4122.329 PropClause: 4008.598 Set: 1015.588 Check: 0.0 Back: 107.353
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 4510762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.575 Prop: 4146.566 PropClause: 4032.013 Set: 1021.761 Check: 0.0 Back: 108.153
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 4543546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.584 Prop: 4171.473 PropClause: 4056.106 Set: 1027.913 Check: 0.0 Back: 108.978
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 4576495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.595 Prop: 4197.825 PropClause: 4081.636 Set: 1034.121 Check: 0.0 Back: 109.804
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 4609422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.605 Prop: 4227.573 PropClause: 4110.567 Set: 1040.447 Check: 0.0 Back: 110.614
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 4642184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.614 Prop: 4252.629 PropClause: 4134.814 Set: 1046.514 Check: 0.0 Back: 111.446
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 4674378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.623 Prop: 4282.21 PropClause: 4163.59 Set: 1052.524 Check: 0.0 Back: 112.243
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 4707303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.634 Prop: 4308.58 PropClause: 4189.144 Set: 1058.68 Check: 0.0 Back: 113.037
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 4740087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.644 Prop: 4338.512 PropClause: 4218.262 Set: 1064.953 Check: 0.0 Back: 113.858
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 4773036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.655 Prop: 4367.643 PropClause: 4246.543 Set: 1071.199 Check: 0.0 Back: 114.669
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 4805963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.665 Prop: 4392.572 PropClause: 4270.647 Set: 1077.418 Check: 0.0 Back: 115.476
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 4838725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.676 Prop: 4417.504 PropClause: 4294.728 Set: 1083.503 Check: 0.0 Back: 116.304
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 4870919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.685 Prop: 4441.524 PropClause: 4317.95 Set: 1089.432 Check: 0.0 Back: 117.113
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 4903844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.694 Prop: 4465.96 PropClause: 4341.572 Set: 1095.543 Check: 0.0 Back: 117.927
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 4936628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.704 Prop: 4490.502 PropClause: 4365.293 Set: 1101.664 Check: 0.0 Back: 118.748
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 4969577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.713 Prop: 4515.369 PropClause: 4389.348 Set: 1107.769 Check: 0.0 Back: 119.566
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 5002503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.723 Prop: 4540.818 PropClause: 4413.975 Set: 1113.972 Check: 0.0 Back: 120.384
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 5035265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.733 Prop: 4565.614 PropClause: 4437.959 Set: 1120.038 Check: 0.0 Back: 121.224
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 5067459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.741 Prop: 4590.041 PropClause: 4461.585 Set: 1125.956 Check: 0.0 Back: 122.031
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 5100384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.752 Prop: 4614.116 PropClause: 4484.84 Set: 1132.115 Check: 0.0 Back: 122.841
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 5133168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.76 Prop: 4639.368 PropClause: 4509.282 Set: 1138.191 Check: 0.0 Back: 123.656
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 5166117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.769 Prop: 4665.616 PropClause: 4534.717 Set: 1144.356 Check: 0.0 Back: 124.477
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 5199044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.779 Prop: 4695.194 PropClause: 4563.476 Set: 1150.733 Check: 0.0 Back: 125.285
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 5231806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.788 Prop: 4724.2 PropClause: 4591.675 Set: 1156.884 Check: 0.0 Back: 126.121
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 5264000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 4751.656 PropClause: 4618.326 Set: 1162.921 Check: 0.0 Back: 126.927
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 5296925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.81 Prop: 4777.549 PropClause: 4643.397 Set: 1169.165 Check: 0.0 Back: 127.748
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 5329709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.818 Prop: 4802.075 PropClause: 4667.09 Set: 1175.305 Check: 0.0 Back: 128.554
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 5362658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.829 Prop: 4826.006 PropClause: 4690.203 Set: 1181.456 Check: 0.0 Back: 129.389
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 5395585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.838 Prop: 4851.16 PropClause: 4714.541 Set: 1187.655 Check: 0.0 Back: 130.209
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 5428347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.846 Prop: 4875.212 PropClause: 4737.771 Set: 1193.674 Check: 0.0 Back: 131.018
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 5460541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 4899.999 PropClause: 4761.762 Set: 1199.611 Check: 0.0 Back: 131.837
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 5493466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.863 Prop: 4924.793 PropClause: 4785.743 Set: 1205.705 Check: 0.0 Back: 132.644
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 5526250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.872 Prop: 4949.574 PropClause: 4809.697 Set: 1211.787 Check: 0.0 Back: 133.456
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 5559199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.879 Prop: 4975.113 PropClause: 4834.419 Set: 1217.916 Check: 0.0 Back: 134.287
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 5592125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.887 Prop: 5001.049 PropClause: 4859.536 Set: 1224.084 Check: 0.0 Back: 135.098
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 5624887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.926 Prop: 5026.245 PropClause: 4883.922 Set: 1230.148 Check: 0.0 Back: 135.938
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 5657081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.963 Prop: 5051.574 PropClause: 4908.454 Set: 1236.15 Check: 0.0 Back: 136.742
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 5690006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.972 Prop: 5079.526 PropClause: 4935.592 Set: 1242.385 Check: 0.0 Back: 137.554
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 5722790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.98 Prop: 5109.279 PropClause: 4964.511 Set: 1248.56 Check: 0.0 Back: 138.344
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 5755739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.99 Prop: 5132.7 PropClause: 4987.114 Set: 1254.639 Check: 0.0 Back: 139.165
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 5788666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.997 Prop: 5158.18 PropClause: 5011.782 Set: 1260.771 Check: 0.0 Back: 139.971
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 5821428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.005 Prop: 5181.779 PropClause: 5034.565 Set: 1266.781 Check: 0.0 Back: 140.792
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 5853622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.013 Prop: 5205.336 PropClause: 5057.321 Set: 1272.706 Check: 0.0 Back: 141.604
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 5886547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.02 Prop: 5231.896 PropClause: 5083.066 Set: 1278.87 Check: 0.0 Back: 142.411
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 5919331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.029 Prop: 5256.188 PropClause: 5106.539 Set: 1284.994 Check: 0.0 Back: 143.216
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 5951524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.038 Prop: 5280.27 PropClause: 5129.82 Set: 1290.849 Check: 0.0 Back: 144.045
INFO - Atoms: 32193/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 5984306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.047 Prop: 5304.926 PropClause: 5153.671 Set: 1296.98 Check: 0.0 Back: 144.836
INFO - Atoms: 32782/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 6017233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.055 Prop: 5329.359 PropClause: 5177.29 Set: 1303.12 Check: 0.0 Back: 145.644
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 6049427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.063 Prop: 5354.476 PropClause: 5201.612 Set: 1309.046 Check: 0.0 Back: 146.454
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 6082354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.072 Prop: 5379.025 PropClause: 5225.342 Set: 1315.128 Check: 0.0 Back: 147.262
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 6115136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.082 Prop: 5408.001 PropClause: 5253.502 Set: 1321.363 Check: 0.0 Back: 148.071
INFO - Atoms: 32782/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 6148085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.091 Prop: 5437.052 PropClause: 5281.732 Set: 1327.69 Check: 0.0 Back: 148.886
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 6181009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 5467.256 PropClause: 5311.118 Set: 1333.992 Check: 0.0 Back: 149.684
INFO - Atoms: 32924/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 6213771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.112 Prop: 5496.216 PropClause: 5339.262 Set: 1340.16 Check: 0.0 Back: 150.503
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 6245965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.121 Prop: 5519.889 PropClause: 5362.135 Set: 1346.141 Check: 0.0 Back: 151.319
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 6278890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.129 Prop: 5543.551 PropClause: 5384.981 Set: 1352.213 Check: 0.0 Back: 152.131
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 6311674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.137 Prop: 5567.174 PropClause: 5407.788 Set: 1358.308 Check: 0.0 Back: 152.944
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 6344623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 5591.515 PropClause: 5431.316 Set: 1364.38 Check: 0.0 Back: 153.769
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 6377549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 5615.948 PropClause: 5454.935 Set: 1370.537 Check: 0.0 Back: 154.575
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 6410311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.161 Prop: 5640.127 PropClause: 5478.293 Set: 1376.596 Check: 0.0 Back: 155.401
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 6442505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.169 Prop: 5664.526 PropClause: 5501.893 Set: 1382.524 Check: 0.0 Back: 156.204
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 6475430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.178 Prop: 5690.048 PropClause: 5526.59 Set: 1388.748 Check: 0.0 Back: 157.012
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 6508214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.188 Prop: 5715.357 PropClause: 5551.082 Set: 1394.85 Check: 0.0 Back: 157.829
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 6541182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.198 Prop: 5740.447 PropClause: 5575.357 Set: 1401.003 Check: 0.0 Back: 158.646
INFO - Atoms: 32968/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 6574108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.206 Prop: 5765.673 PropClause: 5599.772 Set: 1407.152 Check: 0.0 Back: 159.438
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 6606870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.214 Prop: 5789.834 PropClause: 5623.117 Set: 1413.177 Check: 0.0 Back: 160.255
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 6639064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.223 Prop: 5819.066 PropClause: 5651.547 Set: 1419.303 Check: 0.0 Back: 161.059
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 6671989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 5844.974 PropClause: 5676.639 Set: 1425.542 Check: 0.0 Back: 161.879
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 6704773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 5869.482 PropClause: 5700.331 Set: 1431.678 Check: 0.0 Back: 162.694
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 6737722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.249 Prop: 5893.04 PropClause: 5723.08 Set: 1437.723 Check: 0.0 Back: 163.471
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 6770649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.259 Prop: 5918.536 PropClause: 5747.762 Set: 1443.986 Check: 0.0 Back: 164.278
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 6803411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.268 Prop: 5942.767 PropClause: 5771.186 Set: 1450.083 Check: 0.0 Back: 165.093
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 6835605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.277 Prop: 5966.915 PropClause: 5794.539 Set: 1456.056 Check: 0.0 Back: 165.896
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 6868530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.286 Prop: 5992.674 PropClause: 5819.481 Set: 1462.28 Check: 0.0 Back: 166.696
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 6901314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.293 Prop: 6017.952 PropClause: 5843.947 Set: 1468.401 Check: 0.0 Back: 167.51
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 6934282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.3 Prop: 6042.171 PropClause: 5867.346 Set: 1474.623 Check: 0.0 Back: 168.326
INFO - Atoms: 32968/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 6967208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.308 Prop: 6066.961 PropClause: 5891.321 Set: 1480.784 Check: 0.0 Back: 169.146
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 6999970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.317 Prop: 6092.664 PropClause: 5916.169 Set: 1486.971 Check: 0.0 Back: 169.976
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 7032164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.327 Prop: 6118.492 PropClause: 5941.2 Set: 1493.059 Check: 0.0 Back: 170.791
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 7065089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.347 Prop: 6147.072 PropClause: 5968.965 Set: 1499.303 Check: 0.0 Back: 171.585
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 7097873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.356 Prop: 6172.749 PropClause: 5993.833 Set: 1505.448 Check: 0.0 Back: 172.386
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 7130839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.366 Prop: 6201.253 PropClause: 6021.519 Set: 1511.586 Check: 0.0 Back: 173.197
INFO - Atoms: 32966/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 7163765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.375 Prop: 6225.451 PropClause: 6044.902 Set: 1517.825 Check: 0.0 Back: 173.99
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 7196527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.386 Prop: 6249.511 PropClause: 6068.146 Set: 1523.975 Check: 0.0 Back: 174.819
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 7228721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.395 Prop: 6273.375 PropClause: 6091.21 Set: 1529.933 Check: 0.0 Back: 175.625
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 7261646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.405 Prop: 6300.194 PropClause: 6117.212 Set: 1536.218 Check: 0.0 Back: 176.447
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 7294430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.412 Prop: 6324.619 PropClause: 6140.822 Set: 1542.407 Check: 0.0 Back: 177.252
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 7327379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.421 Prop: 6348.793 PropClause: 6164.183 Set: 1548.507 Check: 0.0 Back: 178.068
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 7360306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.429 Prop: 6373.732 PropClause: 6188.309 Set: 1554.696 Check: 0.0 Back: 178.877
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 7393068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 6398.793 PropClause: 6212.56 Set: 1560.813 Check: 0.0 Back: 179.695
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 7426018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 6423.516 PropClause: 6236.46 Set: 1566.955 Check: 0.0 Back: 180.488
INFO - Atoms: 32950/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 7458778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 6448.603 PropClause: 6260.736 Set: 1573.028 Check: 0.0 Back: 181.308
INFO - Atoms: 32760/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 7491703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.462 Prop: 6474.031 PropClause: 6285.346 Set: 1579.21 Check: 0.0 Back: 182.121
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 7523914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.467 Prop: 6499.723 PropClause: 6310.235 Set: 1585.182 Check: 0.0 Back: 182.952
INFO - Atoms: 32211/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 7556698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.474 Prop: 6524.883 PropClause: 6334.578 Set: 1591.359 Check: 0.0 Back: 183.755
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 7589623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.482 Prop: 6549.892 PropClause: 6358.767 Set: 1597.536 Check: 0.0 Back: 184.576
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 7622575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 6580.109 PropClause: 6388.171 Set: 1603.864 Check: 0.0 Back: 185.388
INFO - Atoms: 32952/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 7655335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.496 Prop: 6605.24 PropClause: 6412.491 Set: 1610.019 Check: 0.0 Back: 186.207
INFO - Atoms: 32760/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 7688260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 6629.907 PropClause: 6436.345 Set: 1616.148 Check: 0.0 Back: 187.012
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 7720453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.512 Prop: 6657.14 PropClause: 6462.781 Set: 1622.157 Check: 0.0 Back: 187.831
INFO - Atoms: 32193/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 7753235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.523 Prop: 6682.1 PropClause: 6486.928 Set: 1628.392 Check: 0.0 Back: 188.622
INFO - Atoms: 32782/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 7786162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.531 Prop: 6707.016 PropClause: 6511.026 Set: 1634.629 Check: 0.0 Back: 189.445
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 7819114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 6733.195 PropClause: 6536.388 Set: 1640.893 Check: 0.0 Back: 190.258
INFO - Atoms: 32952/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 7851874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.546 Prop: 6760.327 PropClause: 6562.706 Set: 1647.138 Check: 0.0 Back: 191.089
INFO - Atoms: 32760/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 7884799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.555 Prop: 6789.543 PropClause: 6591.104 Set: 1653.36 Check: 0.0 Back: 191.893
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 7917750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.563 Prop: 6818.481 PropClause: 6619.229 Set: 1659.635 Check: 0.0 Back: 192.701
INFO - Atoms: 32951/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 7950677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.571 Prop: 6847.759 PropClause: 6647.693 Set: 1665.888 Check: 0.0 Back: 193.497
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 7983439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.58 Prop: 6877.115 PropClause: 6676.239 Set: 1672.091 Check: 0.0 Back: 194.305
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 8015633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.588 Prop: 6907.411 PropClause: 6705.73 Set: 1678.255 Check: 0.0 Back: 195.1
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 8048560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.597 Prop: 6937.704 PropClause: 6735.204 Set: 1684.675 Check: 0.0 Back: 195.909
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 8081342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.605 Prop: 6968.742 PropClause: 6765.428 Set: 1690.993 Check: 0.0 Back: 196.706
INFO - Atoms: 32782/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 8114291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.612 Prop: 6999.236 PropClause: 6795.103 Set: 1697.283 Check: 0.0 Back: 197.516
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 8147217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.62 Prop: 7028.597 PropClause: 6823.637 Set: 1703.582 Check: 0.0 Back: 198.324
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 8179979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.628 Prop: 7057.486 PropClause: 6851.709 Set: 1709.731 Check: 0.0 Back: 199.136
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 8212173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.636 Prop: 7087.636 PropClause: 6881.063 Set: 1715.804 Check: 0.0 Back: 199.944
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 8245098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.644 Prop: 7116.332 PropClause: 6908.943 Set: 1722.104 Check: 0.0 Back: 200.741
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 8277882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.653 Prop: 7146.179 PropClause: 6937.98 Set: 1728.42 Check: 0.0 Back: 201.543
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 8310831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.661 Prop: 7176.352 PropClause: 6967.331 Set: 1734.717 Check: 0.0 Back: 202.353
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 8343758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 7206.685 PropClause: 6996.832 Set: 1741.168 Check: 0.0 Back: 203.182
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 8376520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.677 Prop: 7237.956 PropClause: 7027.283 Set: 1747.47 Check: 0.0 Back: 204.006
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 8408714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.685 Prop: 7267.545 PropClause: 7056.07 Set: 1753.571 Check: 0.0 Back: 204.792
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 8441639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.693 Prop: 7296.451 PropClause: 7084.152 Set: 1759.802 Check: 0.0 Back: 205.604
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 8474423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 7326.09 PropClause: 7112.984 Set: 1766.003 Check: 0.0 Back: 206.397
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 8507391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.708 Prop: 7356.555 PropClause: 7142.636 Set: 1772.298 Check: 0.0 Back: 207.206
INFO - Atoms: 32968/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 8540317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.716 Prop: 7387.489 PropClause: 7172.75 Set: 1778.645 Check: 0.0 Back: 208.005
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 8573079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.725 Prop: 7419.192 PropClause: 7203.636 Set: 1784.942 Check: 0.0 Back: 208.811
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 8605273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.735 Prop: 7447.399 PropClause: 7231.041 Set: 1791.025 Check: 0.0 Back: 209.612
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 8638198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.744 Prop: 7475.941 PropClause: 7258.766 Set: 1797.317 Check: 0.0 Back: 210.411
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 8670982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.752 Prop: 7504.91 PropClause: 7286.908 Set: 1803.591 Check: 0.0 Back: 211.21
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 8703931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.762 Prop: 7533.827 PropClause: 7315.007 Set: 1809.843 Check: 0.0 Back: 212.011
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 8736857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.771 Prop: 7563.837 PropClause: 7344.204 Set: 1816.143 Check: 0.0 Back: 212.805
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 8769619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.778 Prop: 7592.681 PropClause: 7372.24 Set: 1822.322 Check: 0.0 Back: 213.619
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 8801813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.787 Prop: 7621.711 PropClause: 7400.476 Set: 1828.419 Check: 0.0 Back: 214.414
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 8834738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.797 Prop: 7652.104 PropClause: 7430.05 Set: 1834.825 Check: 0.0 Back: 215.226
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 8867522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.806 Prop: 7682.658 PropClause: 7459.787 Set: 1841.148 Check: 0.0 Back: 216.039
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 8900471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.815 Prop: 7712.348 PropClause: 7488.655 Set: 1847.45 Check: 0.0 Back: 216.855
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 8933398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.823 Prop: 7740.124 PropClause: 7515.617 Set: 1853.822 Check: 0.0 Back: 217.664
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 8966160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.831 Prop: 7765.794 PropClause: 7540.457 Set: 1860.003 Check: 0.0 Back: 218.493
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 8998354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.84 Prop: 7795.518 PropClause: 7569.364 Set: 1866.081 Check: 0.0 Back: 219.29
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 9031279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.853 Prop: 7825.096 PropClause: 7598.133 Set: 1872.315 Check: 0.0 Back: 220.073
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 9064063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.862 Prop: 7848.937 PropClause: 7621.144 Set: 1878.517 Check: 0.0 Back: 220.892
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 9097031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.871 Prop: 7873.884 PropClause: 7645.275 Set: 1884.727 Check: 0.0 Back: 221.702
INFO - Atoms: 32968/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 9129957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.878 Prop: 7898.072 PropClause: 7668.646 Set: 1891.003 Check: 0.0 Back: 222.512
INFO - Atoms: 32926/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 9162719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.884 Prop: 7922.558 PropClause: 7692.32 Set: 1897.135 Check: 0.0 Back: 223.333
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 9194913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.893 Prop: 7947.157 PropClause: 7716.127 Set: 1903.231 Check: 0.0 Back: 224.146
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 9227838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.904 Prop: 7975.807 PropClause: 7743.958 Set: 1909.596 Check: 0.0 Back: 224.952
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 9260622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.915 Prop: 8003.773 PropClause: 7771.115 Set: 1915.871 Check: 0.0 Back: 225.765
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 9293589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.922 Prop: 8031.664 PropClause: 7798.193 Set: 1922.227 Check: 0.0 Back: 226.584
INFO - Atoms: 32967/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 9326516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 8059.68 PropClause: 7825.383 Set: 1928.562 Check: 0.0 Back: 227.375
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 9359278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.941 Prop: 8085.212 PropClause: 7850.093 Set: 1934.736 Check: 0.0 Back: 228.153
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 9391472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.95 Prop: 8112.603 PropClause: 7876.686 Set: 1940.902 Check: 0.0 Back: 228.965
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 9424397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.959 Prop: 8137.4 PropClause: 7900.668 Set: 1947.193 Check: 0.0 Back: 229.766
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 9457181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.969 Prop: 8165.181 PropClause: 7927.63 Set: 1953.433 Check: 0.0 Back: 230.569
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 9490147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.979 Prop: 8192.335 PropClause: 7953.972 Set: 1959.65 Check: 0.0 Back: 231.377
INFO - Atoms: 32966/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 9523074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 8219.163 PropClause: 7979.981 Set: 1965.983 Check: 0.0 Back: 232.182
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 9555836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.999 Prop: 8249.603 PropClause: 8009.613 Set: 1972.177 Check: 0.0 Back: 232.989
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 9588030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 8275.075 PropClause: 8034.29 Set: 1978.256 Check: 0.0 Back: 233.779
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 9620955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 8302.085 PropClause: 8060.481 Set: 1984.666 Check: 0.0 Back: 234.591
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 9653739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.027 Prop: 8327.424 PropClause: 8085.004 Set: 1990.937 Check: 0.0 Back: 235.399
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 9686688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.044 Prop: 8354.27 PropClause: 8111.014 Set: 1997.347 Check: 0.0 Back: 236.218
INFO - Atoms: 32949/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 9719615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.053 Prop: 8380.028 PropClause: 8135.953 Set: 2003.621 Check: 0.0 Back: 237.029
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 9752377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 8405.468 PropClause: 8160.583 Set: 2009.811 Check: 0.0 Back: 237.849
INFO - Atoms: 32762/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 9784571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.068 Prop: 8430.9 PropClause: 8185.222 Set: 2015.836 Check: 0.0 Back: 238.65
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 9817496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.077 Prop: 8459.187 PropClause: 8212.683 Set: 2022.3 Check: 0.0 Back: 239.45
INFO - Atoms: 32925/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 9850280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.086 Prop: 8487.67 PropClause: 8240.346 Set: 2028.762 Check: 0.0 Back: 240.261
INFO - Atoms: 32784/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 9882473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.096 Prop: 8516.909 PropClause: 8268.789 Set: 2034.949 Check: 0.0 Back: 241.085
INFO - Atoms: 32193/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 9915254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 8545.57 PropClause: 8296.639 Set: 2041.341 Check: 0.0 Back: 241.863
INFO - Atoms: 32781/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 9948182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.116 Prop: 8575.054 PropClause: 8325.308 Set: 2047.716 Check: 0.0 Back: 242.673
INFO - Atoms: 32928/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 9981132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.126 Prop: 8606.271 PropClause: 8355.709 Set: 2054.181 Check: 0.0 Back: 243.473
INFO - Atoms: 32950/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 10013892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.135 Prop: 8637.226 PropClause: 8385.84 Set: 2060.503 Check: 0.0 Back: 244.285
INFO - Atoms: 32760/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 10046819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.145 Prop: 8665.493 PropClause: 8413.29 Set: 2066.932 Check: 0.0 Back: 245.088
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 10079030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.157 Prop: 8694.367 PropClause: 8441.364 Set: 2073.165 Check: 0.0 Back: 245.899
INFO - Atoms: 32211/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 10111812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.168 Prop: 8720.323 PropClause: 8466.507 Set: 2079.483 Check: 0.0 Back: 246.698
INFO - Atoms: 32782/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 10144739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.177 Prop: 8747.436 PropClause: 8492.806 Set: 2085.88 Check: 0.0 Back: 247.511
INFO - Atoms: 32927/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 10177691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.186 Prop: 8776.052 PropClause: 8520.605 Set: 2092.342 Check: 0.0 Back: 248.328
INFO - Atoms: 32952/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 10210451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.194 Prop: 8802.615 PropClause: 8546.358 Set: 2098.65 Check: 0.0 Back: 249.17
INFO - Atoms: 32760/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 10243299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.203 Prop: 8829.895 PropClause: 8572.825 Set: 2104.919 Check: 0.0 Back: 249.974
INFO - Atoms: 32848/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 10276178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.21 Prop: 8856.301 PropClause: 8598.417 Set: 2111.253 Check: 0.0 Back: 250.768
INFO - Atoms: 32879/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 10308936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.217 Prop: 8885.585 PropClause: 8626.889 Set: 2117.533 Check: 0.0 Back: 251.567
INFO - Atoms: 32758/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 10341608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.226 Prop: 8912.681 PropClause: 8653.176 Set: 2123.7 Check: 0.0 Back: 252.362
INFO - Atoms: 32672/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 10373802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.235 Prop: 8940.808 PropClause: 8680.498 Set: 2129.802 Check: 0.0 Back: 253.163
INFO - Atoms: 32194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 10406385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.245 Prop: 8968.563 PropClause: 8707.446 Set: 2136.009 Check: 0.0 Back: 253.96
INFO - Atoms: 32583/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 10438965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.255 Prop: 8996.916 PropClause: 8734.991 Set: 2142.256 Check: 0.0 Back: 254.755
INFO - Atoms: 32580/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 10471565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.263 Prop: 9027.131 PropClause: 8764.389 Set: 2148.565 Check: 0.0 Back: 255.551
INFO - Atoms: 32600/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 10503955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.38 Prop: 9056.393 PropClause: 8792.845 Set: 2154.832 Check: 0.0 Back: 256.346
INFO - Atoms: 32390/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 10536345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.392 Prop: 9087.551 PropClause: 8823.159 Set: 2161.058 Check: 0.0 Back: 257.155
INFO - Atoms: 32390/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 10568735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.507 Prop: 9118.418 PropClause: 8853.229 Set: 2167.281 Check: 0.0 Back: 257.935
INFO - Atoms: 32390/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 10601196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.516 Prop: 9146.294 PropClause: 8880.3 Set: 2173.508 Check: 0.0 Back: 258.738
INFO - Atoms: 32461/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 10633845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.527 Prop: 9171.327 PropClause: 8904.522 Set: 2179.763 Check: 0.0 Back: 259.536
INFO - Atoms: 32649/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 10666304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.536 Prop: 9196.417 PropClause: 8928.807 Set: 2185.979 Check: 0.0 Back: 260.347
INFO - Atoms: 32459/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 10698951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.545 Prop: 9221.879 PropClause: 8953.453 Set: 2192.271 Check: 0.0 Back: 261.144
INFO - Atoms: 32647/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 10731042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.306 Prop: 9248.894 PropClause: 8979.673 Set: 2198.368 Check: 0.0 Back: 261.955
INFO - Atoms: 32091/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 10763328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.317 Prop: 9274.225 PropClause: 9004.201 Set: 2204.486 Check: 0.0 Back: 262.733
INFO - Atoms: 32286/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 10795420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.326 Prop: 9300.284 PropClause: 9029.464 Set: 2210.531 Check: 0.0 Back: 263.533
INFO - Atoms: 32092/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 10827317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.335 Prop: 9327.643 PropClause: 9056.032 Set: 2216.541 Check: 0.0 Back: 264.31
INFO - Atoms: 31897/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 10859389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.346 Prop: 9355.579 PropClause: 9083.167 Set: 2242.79 Check: 0.0 Back: 265.1
INFO - Atoms: 32072/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 10891682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.355 Prop: 9381.03 PropClause: 9107.83 Set: 2248.575 Check: 0.0 Back: 265.899
INFO - Atoms: 32293/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 10924146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.391 Prop: 9406.065 PropClause: 9132.073 Set: 2254.346 Check: 0.0 Back: 266.725
INFO - Atoms: 32464/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 10956827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.422 Prop: 9431.615 PropClause: 9156.826 Set: 2260.108 Check: 0.0 Back: 267.539
INFO - Atoms: 32681/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 10989681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.456 Prop: 9461.208 PropClause: 9185.61 Set: 2266.024 Check: 0.0 Back: 268.355
INFO - Atoms: 32854/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 11022752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.497 Prop: 9490.544 PropClause: 9214.134 Set: 2272.1 Check: 0.0 Back: 269.174
INFO - Atoms: 33071/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 11055996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.915 Prop: 9515.199 PropClause: 9237.967 Set: 2277.93 Check: 0.0 Back: 270.011
INFO - Atoms: 33244/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 11089457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 20.958 Prop: 9541.578 PropClause: 9263.519 Set: 2283.952 Check: 0.0 Back: 270.855
INFO - Atoms: 33461/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 11123091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.034 Prop: 9568.146 PropClause: 9289.258 Set: 2289.867 Check: 0.0 Back: 271.7
INFO - Atoms: 33634/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 11156942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.069 Prop: 9595.65 PropClause: 9315.935 Set: 2295.897 Check: 0.0 Back: 272.536
INFO - Atoms: 33851/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 11190966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.112 Prop: 9626.397 PropClause: 9345.825 Set: 2302.055 Check: 0.0 Back: 273.422
INFO - Atoms: 34024/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 11225207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.151 Prop: 9656.866 PropClause: 9375.443 Set: 2308.349 Check: 0.0 Back: 274.262
INFO - Atoms: 34241/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 11259621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.19 Prop: 9687.103 PropClause: 9404.837 Set: 2314.539 Check: 0.0 Back: 275.128
INFO - Atoms: 34414/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 11294252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.231 Prop: 9715.596 PropClause: 9432.473 Set: 2320.823 Check: 0.0 Back: 275.976
INFO - Atoms: 34631/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 11329056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.236 Prop: 9742.619 PropClause: 9458.64 Set: 2326.987 Check: 0.0 Back: 276.851
INFO - Atoms: 34804/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 11364077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.24 Prop: 9771.022 PropClause: 9486.18 Set: 2333.237 Check: 0.0 Back: 277.712
INFO - Atoms: 35021/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 11399271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.245 Prop: 9799.385 PropClause: 9513.674 Set: 2339.542 Check: 0.0 Back: 278.597
INFO - Atoms: 35194/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 11434682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.249 Prop: 9830.763 PropClause: 9544.178 Set: 2346.11 Check: 0.0 Back: 279.469
INFO - Atoms: 35411/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 11470266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.254 Prop: 9860.259 PropClause: 9572.795 Set: 2352.52 Check: 0.0 Back: 280.363
INFO - Atoms: 35584/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 11506067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.258 Prop: 9894.371 PropClause: 9606.024 Set: 2358.986 Check: 0.0 Back: 281.245
INFO - Atoms: 35801/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 11542041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.263 Prop: 9926.214 PropClause: 9636.974 Set: 2365.445 Check: 0.0 Back: 282.119
INFO - Atoms: 35974/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 11578232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.268 Prop: 9957.083 PropClause: 9666.95 Set: 2387.899 Check: 0.0 Back: 282.997
INFO - Atoms: 36191/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 11614596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.272 Prop: 9986.325 PropClause: 9695.296 Set: 2394.36 Check: 0.0 Back: 283.887
INFO - Atoms: 36364/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 11651177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.276 Prop: 10016.841 PropClause: 9724.92 Set: 2400.92 Check: 0.0 Back: 284.782
INFO - Atoms: 36581/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 11687931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.281 Prop: 10047.471 PropClause: 9754.64 Set: 2407.741 Check: 0.0 Back: 285.688
INFO - Atoms: 36754/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 11724902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.285 Prop: 10079.866 PropClause: 9786.124 Set: 2414.52 Check: 0.0 Back: 286.604
INFO - Atoms: 36971/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 11762046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.289 Prop: 10111.369 PropClause: 9816.71 Set: 2421.407 Check: 0.0 Back: 287.507
INFO - Atoms: 37144/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 11799407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.294 Prop: 10147.432 PropClause: 9851.845 Set: 2428.389 Check: 0.0 Back: 288.426
INFO - Atoms: 37361/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 11836941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.3 Prop: 10179.688 PropClause: 9883.172 Set: 2435.267 Check: 0.0 Back: 289.358
INFO - Atoms: 37534/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 11874692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.304 Prop: 10219.15 PropClause: 9921.68 Set: 2442.339 Check: 0.0 Back: 290.295
INFO - Atoms: 37751/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 11912616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.309 Prop: 10256.345 PropClause: 9957.92 Set: 2449.251 Check: 0.0 Back: 291.235
INFO - Atoms: 37924/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 11950757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.314 Prop: 10293.831 PropClause: 9994.459 Set: 2456.397 Check: 0.0 Back: 292.206
INFO - Atoms: 38141/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 11989071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.32 Prop: 10326.299 PropClause: 10025.971 Set: 2463.514 Check: 0.0 Back: 293.162
INFO - Atoms: 38314/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 12027602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.325 Prop: 10363.575 PropClause: 10062.294 Set: 2470.961 Check: 0.0 Back: 294.107
INFO - Atoms: 38531/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 12066306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.329 Prop: 10395.681 PropClause: 10093.452 Set: 2477.974 Check: 0.0 Back: 295.047
INFO - Atoms: 38704/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 12105227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.333 Prop: 10428.231 PropClause: 10125.042 Set: 2485.107 Check: 0.0 Back: 295.996
INFO - Atoms: 38921/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 12144321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.337 Prop: 10461.738 PropClause: 10157.585 Set: 2492.111 Check: 0.0 Back: 296.952
INFO - Atoms: 39094/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 12183632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.342 Prop: 10495.678 PropClause: 10190.563 Set: 2499.192 Check: 0.0 Back: 297.914
INFO - Atoms: 39311/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 12223116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.347 Prop: 10529.533 PropClause: 10223.453 Set: 2506.312 Check: 0.0 Back: 298.869
INFO - Atoms: 39484/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 12262817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.35 Prop: 10564.623 PropClause: 10257.568 Set: 2513.595 Check: 0.0 Back: 299.822
INFO - Atoms: 39701/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 12302691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.353 Prop: 10599.953 PropClause: 10291.924 Set: 2520.777 Check: 0.0 Back: 300.794
INFO - Atoms: 39874/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 12342782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.356 Prop: 10638.071 PropClause: 10329.061 Set: 2528.105 Check: 0.0 Back: 301.76
INFO - Atoms: 40091/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 12383046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.36 Prop: 10674.069 PropClause: 10364.078 Set: 2535.37 Check: 0.0 Back: 302.723
INFO - Atoms: 40264/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 12423527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.364 Prop: 10711.112 PropClause: 10400.135 Set: 2542.884 Check: 0.0 Back: 303.712
INFO - Atoms: 40481/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 12464181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.37 Prop: 10750.363 PropClause: 10438.394 Set: 2550.375 Check: 0.0 Back: 304.698
INFO - Atoms: 40654/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 12505052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.373 Prop: 10791.495 PropClause: 10478.523 Set: 2557.937 Check: 0.0 Back: 305.684
INFO - Atoms: 40871/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 12546096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.377 Prop: 10828.742 PropClause: 10514.763 Set: 2565.357 Check: 0.0 Back: 306.663
INFO - Atoms: 41044/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 12587357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.382 Prop: 10864.472 PropClause: 10549.485 Set: 2572.91 Check: 0.0 Back: 307.655
INFO - Atoms: 41261/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 12628791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.386 Prop: 10902.337 PropClause: 10586.337 Set: 2580.439 Check: 0.0 Back: 308.676
INFO - Atoms: 41434/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 12670442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.39 Prop: 10940.402 PropClause: 10623.382 Set: 2588.054 Check: 0.0 Back: 309.687
INFO - Atoms: 41651/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 12712266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.393 Prop: 10977.97 PropClause: 10659.922 Set: 2595.655 Check: 0.0 Back: 310.71
INFO - Atoms: 41824/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 12754307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.397 Prop: 11017.62 PropClause: 10698.54 Set: 2603.38 Check: 0.0 Back: 311.72
INFO - Atoms: 42041/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 12796521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.402 Prop: 11056.329 PropClause: 10736.211 Set: 2611.207 Check: 0.0 Back: 312.747
INFO - Atoms: 42214/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 12838952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.407 Prop: 11096.203 PropClause: 10775.042 Set: 2632.171 Check: 0.0 Back: 313.77
INFO - Atoms: 42431/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 12881556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.412 Prop: 11136.103 PropClause: 10813.899 Set: 2640.015 Check: 0.0 Back: 314.772
INFO - Atoms: 42604/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 12924377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.416 Prop: 11176.556 PropClause: 10853.3 Set: 2647.864 Check: 0.0 Back: 315.801
INFO - Atoms: 42821/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 12967371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.421 Prop: 11223.176 PropClause: 10898.868 Set: 2655.984 Check: 0.0 Back: 316.846
INFO - Atoms: 42994/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 13010582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.426 Prop: 11272.014 PropClause: 10946.635 Set: 2664.098 Check: 0.0 Back: 317.874
INFO - Atoms: 43211/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 13053966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.43 Prop: 11311.323 PropClause: 10984.881 Set: 2672.045 Check: 0.0 Back: 318.939
INFO - Atoms: 43384/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 13097567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.434 Prop: 11352.344 PropClause: 11024.831 Set: 2680.169 Check: 0.0 Back: 319.997
INFO - Atoms: 43601/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 13141341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.437 Prop: 11393.854 PropClause: 11065.264 Set: 2688.225 Check: 0.0 Back: 321.065
INFO - Atoms: 43774/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 13185332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.442 Prop: 11435.37 PropClause: 11105.712 Set: 2696.219 Check: 0.0 Back: 322.115
INFO - Atoms: 43991/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 13229496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.446 Prop: 11475.748 PropClause: 11145.016 Set: 2704.357 Check: 0.0 Back: 323.186
INFO - Atoms: 44164/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 13273877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.452 Prop: 11520.397 PropClause: 11188.573 Set: 2713.041 Check: 0.0 Back: 324.237
INFO - Atoms: 44381/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 13318431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.457 Prop: 11566.314 PropClause: 11233.387 Set: 2721.438 Check: 0.0 Back: 325.316
INFO - Atoms: 44554/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 13363202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.462 Prop: 11610.351 PropClause: 11276.329 Set: 2729.628 Check: 0.0 Back: 326.384
INFO - Atoms: 44771/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 13408146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.466 Prop: 11658.759 PropClause: 11323.641 Set: 2737.823 Check: 0.0 Back: 327.456
INFO - Atoms: 44944/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 13453307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.471 Prop: 11707.738 PropClause: 11371.508 Set: 2746.299 Check: 0.0 Back: 328.532
INFO - Atoms: 45161/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 13498641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.475 Prop: 11751.024 PropClause: 11413.695 Set: 2754.534 Check: 0.0 Back: 329.611
INFO - Atoms: 45334/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 13544192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.48 Prop: 11797.242 PropClause: 11458.8 Set: 2762.97 Check: 0.0 Back: 330.696
INFO - Atoms: 45551/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 13589916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.484 Prop: 11840.391 PropClause: 11500.831 Set: 2771.362 Check: 0.0 Back: 331.792
INFO - Atoms: 45724/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 13635857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.487 Prop: 11886.414 PropClause: 11545.718 Set: 2779.769 Check: 0.0 Back: 332.877
INFO - Atoms: 45941/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 13681971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.491 Prop: 11931.831 PropClause: 11590.008 Set: 2788.202 Check: 0.0 Back: 333.977
INFO - Atoms: 46114/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 13728301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.496 Prop: 11979.21 PropClause: 11636.251 Set: 2797.152 Check: 0.0 Back: 335.076
INFO - Atoms: 46330/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 13774805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 21.501 Prop: 12024.371 PropClause: 11680.282 Set: 2805.743 Check: 0.0 Back: 336.184
INFO - Atoms: 46504/47296 Clauses: 485 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 888 Props: 16215790 Tprops: 0 Decides: 9530 RSplits: 0
INFO - Times: Expl: 907.374 Prop: 13800.332 PropClause: 13390.743 Set: 2867.977 Check: 0.227 Back: 395.312
INFO - Atoms: 15654/47296 Clauses: 984 Axioms: 156146
INFO - Confl: 1076 Props: 16796367 Tprops: 0 Decides: 11301 RSplits: 0
INFO - Times: Expl: 1092.186 Prop: 14165.314 PropClause: 13739.905 Set: 2882.259 Check: 0.271 Back: 409.084
INFO - Atoms: 16240/47296 Clauses: 1172 Axioms: 156146
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 390 Props: 31515 Tprops: 7831 Decides: 35404 RSplits: 0
INFO - Times: Expl: 192.153 Prop: 31974.678 PropClause: 10.878 Set: 4180.093 Check: 130.762 Back: 128.541
INFO - Atoms: 568/726 Clauses: 390 Axioms: 726
INFO - CCTimes: iE 325540 eq 29179311 cc 63753249 setRep 31494478
INFO - Merges: 258303, cc:435669
INFO - BVTimes: BB 175055137 BB_DPLL 28763502551 Graph 871657
INFO - BitBlastingClauses: 344422 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat