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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 197987606
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 38174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.697 Prop: 76.512 PropClause: 74.196 Set: 36.588 Check: 0.0 Back: 0.0
INFO - Atoms: 38174/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 76348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.754 Prop: 132.618 PropClause: 128.089 Set: 111.665 Check: 0.0 Back: 1.0
INFO - Atoms: 38174/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 114334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.805 Prop: 198.066 PropClause: 191.058 Set: 121.218 Check: 0.0 Back: 2.034
INFO - Atoms: 37986/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 152179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.851 Prop: 256.045 PropClause: 246.645 Set: 130.432 Check: 0.0 Back: 3.031
INFO - Atoms: 37845/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 190018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.893 Prop: 317.793 PropClause: 306.837 Set: 145.117 Check: 0.0 Back: 4.039
INFO - Atoms: 37839/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 227859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.954 Prop: 371.062 PropClause: 358.758 Set: 154.229 Check: 0.0 Back: 5.022
INFO - Atoms: 37841/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 265698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.007 Prop: 428.467 PropClause: 414.852 Set: 163.982 Check: 0.0 Back: 6.009
INFO - Atoms: 37839/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 303538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.06 Prop: 485.941 PropClause: 471.019 Set: 173.943 Check: 0.0 Back: 7.016
INFO - Atoms: 37840/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 341283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.109 Prop: 532.905 PropClause: 516.64 Set: 182.87 Check: 0.0 Back: 7.992
INFO - Atoms: 37745/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 378928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.187 Prop: 587.593 PropClause: 569.96 Set: 197.231 Check: 0.0 Back: 8.992
INFO - Atoms: 37645/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 416475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.237 Prop: 640.755 PropClause: 621.806 Set: 211.638 Check: 0.0 Back: 9.964
INFO - Atoms: 37547/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 453929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.289 Prop: 699.751 PropClause: 679.5 Set: 220.756 Check: 0.0 Back: 10.946
INFO - Atoms: 37454/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 491278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.339 Prop: 751.268 PropClause: 729.724 Set: 229.694 Check: 0.0 Back: 11.921
INFO - Atoms: 37349/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 528527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.387 Prop: 800.563 PropClause: 777.695 Set: 238.703 Check: 0.0 Back: 12.913
INFO - Atoms: 37249/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 565678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.435 Prop: 840.736 PropClause: 816.622 Set: 246.862 Check: 0.0 Back: 13.894
INFO - Atoms: 37151/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 602735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.478 Prop: 874.811 PropClause: 849.679 Set: 253.634 Check: 0.0 Back: 15.011
INFO - Atoms: 37057/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 639688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.55 Prop: 906.072 PropClause: 879.923 Set: 260.321 Check: 0.0 Back: 16.125
INFO - Atoms: 36953/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 676547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.591 Prop: 939.491 PropClause: 912.328 Set: 267.015 Check: 0.0 Back: 17.212
INFO - Atoms: 36859/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 713302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.633 Prop: 976.575 PropClause: 948.391 Set: 277.519 Check: 0.0 Back: 18.333
INFO - Atoms: 36755/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 749963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.672 Prop: 1015.612 PropClause: 986.415 Set: 288.134 Check: 0.0 Back: 19.45
INFO - Atoms: 36661/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 786520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.717 Prop: 1051.914 PropClause: 1021.721 Set: 298.568 Check: 0.0 Back: 20.609
INFO - Atoms: 36557/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 822982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.757 Prop: 1087.393 PropClause: 1056.196 Set: 308.33 Check: 0.0 Back: 21.706
INFO - Atoms: 36462/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 859341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.798 Prop: 1122.36 PropClause: 1090.156 Set: 314.944 Check: 0.0 Back: 22.81
INFO - Atoms: 36359/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 895606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.839 Prop: 1160.23 PropClause: 1127.029 Set: 321.56 Check: 0.0 Back: 23.929
INFO - Atoms: 36265/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 931767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.881 Prop: 1195.78 PropClause: 1161.581 Set: 328.154 Check: 0.0 Back: 25.027
INFO - Atoms: 36161/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 967828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.929 Prop: 1248.707 PropClause: 1213.25 Set: 336.49 Check: 0.0 Back: 26.134
INFO - Atoms: 36061/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1003791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.97 Prop: 1278.181 PropClause: 1241.738 Set: 342.956 Check: 0.0 Back: 27.062
INFO - Atoms: 35963/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1039654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.004 Prop: 1310.165 PropClause: 1272.729 Set: 349.406 Check: 0.0 Back: 28.108
INFO - Atoms: 35863/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1075419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.046 Prop: 1340.818 PropClause: 1302.388 Set: 355.971 Check: 0.0 Back: 29.185
INFO - Atoms: 35765/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1111084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.085 Prop: 1376.184 PropClause: 1336.774 Set: 362.432 Check: 0.0 Back: 30.254
INFO - Atoms: 35665/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1146651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.124 Prop: 1410.238 PropClause: 1369.851 Set: 368.908 Check: 0.0 Back: 31.289
INFO - Atoms: 35567/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1182118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.159 Prop: 1448.849 PropClause: 1407.486 Set: 375.432 Check: 0.0 Back: 32.356
INFO - Atoms: 35467/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1217487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.202 Prop: 1482.975 PropClause: 1440.642 Set: 381.903 Check: 0.0 Back: 33.477
INFO - Atoms: 35369/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1252763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.249 Prop: 1520.784 PropClause: 1477.469 Set: 388.487 Check: 0.0 Back: 34.542
INFO - Atoms: 35276/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1287934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.288 Prop: 1550.895 PropClause: 1506.611 Set: 394.819 Check: 0.0 Back: 35.655
INFO - Atoms: 35171/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1323011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 1588.843 PropClause: 1543.594 Set: 401.278 Check: 0.0 Back: 36.696
INFO - Atoms: 35077/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1357984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.388 Prop: 1628.193 PropClause: 1581.836 Set: 408.458 Check: 0.0 Back: 37.738
INFO - Atoms: 34973/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1392862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.437 Prop: 1667.534 PropClause: 1620.218 Set: 414.835 Check: 0.0 Back: 38.836
INFO - Atoms: 34878/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1427637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.481 Prop: 1702.872 PropClause: 1654.585 Set: 424.245 Check: 0.0 Back: 39.734
INFO - Atoms: 34775/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1462317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.526 Prop: 1736.061 PropClause: 1686.816 Set: 433.26 Check: 0.0 Back: 40.62
INFO - Atoms: 34680/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1496894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.566 Prop: 1765.156 PropClause: 1714.952 Set: 439.487 Check: 0.0 Back: 41.502
INFO - Atoms: 34577/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1531371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.621 Prop: 1801.24 PropClause: 1750.091 Set: 445.74 Check: 0.0 Back: 42.534
INFO - Atoms: 34477/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1565750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.664 Prop: 1836.859 PropClause: 1784.761 Set: 452.011 Check: 0.0 Back: 43.566
INFO - Atoms: 34379/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1600036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.707 Prop: 1874.661 PropClause: 1821.619 Set: 458.386 Check: 0.0 Back: 44.645
INFO - Atoms: 34286/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1634217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.75 Prop: 1910.11 PropClause: 1856.13 Set: 464.621 Check: 0.0 Back: 45.67
INFO - Atoms: 34181/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1668298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.791 Prop: 1945.253 PropClause: 1890.33 Set: 470.887 Check: 0.0 Back: 46.689
INFO - Atoms: 34081/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1702281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.83 Prop: 1978.312 PropClause: 1922.44 Set: 476.973 Check: 0.0 Back: 47.712
INFO - Atoms: 33983/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1736164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.872 Prop: 2008.48 PropClause: 1951.673 Set: 483.065 Check: 0.0 Back: 48.709
INFO - Atoms: 33883/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1769949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.91 Prop: 2040.342 PropClause: 1982.602 Set: 489.183 Check: 0.0 Back: 49.691
INFO - Atoms: 33785/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1803641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.952 Prop: 2077.892 PropClause: 2019.226 Set: 495.337 Check: 0.0 Back: 50.672
INFO - Atoms: 33692/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1837228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.999 Prop: 2117.079 PropClause: 2057.286 Set: 502.747 Check: 0.0 Back: 51.68
INFO - Atoms: 33587/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1870720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.158 Prop: 2152.936 PropClause: 2092.219 Set: 508.842 Check: 0.0 Back: 52.677
INFO - Atoms: 33492/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1904109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.18 Prop: 2183.577 PropClause: 2121.937 Set: 514.793 Check: 0.0 Back: 53.703
INFO - Atoms: 33389/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1937404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.199 Prop: 2217.864 PropClause: 2155.306 Set: 520.83 Check: 0.0 Back: 54.673
INFO - Atoms: 33295/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1970595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.218 Prop: 2250.409 PropClause: 2186.929 Set: 526.81 Check: 0.0 Back: 55.665
INFO - Atoms: 33191/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2003692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.237 Prop: 2285.232 PropClause: 2220.838 Set: 532.86 Check: 0.0 Back: 56.662
INFO - Atoms: 33097/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2036685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.257 Prop: 2318.247 PropClause: 2252.934 Set: 538.801 Check: 0.0 Back: 57.656
INFO - Atoms: 32993/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2069578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.276 Prop: 2346.541 PropClause: 2280.317 Set: 544.565 Check: 0.0 Back: 58.616
INFO - Atoms: 32893/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 2102373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.295 Prop: 2372.306 PropClause: 2305.18 Set: 550.361 Check: 0.0 Back: 59.546
INFO - Atoms: 32795/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 2135068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.313 Prop: 2400.335 PropClause: 2332.316 Set: 556.101 Check: 0.0 Back: 60.462
INFO - Atoms: 32695/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 2167665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.333 Prop: 2426.932 PropClause: 2358.015 Set: 561.896 Check: 0.0 Back: 61.427
INFO - Atoms: 32597/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 2200162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.352 Prop: 2455.59 PropClause: 2385.777 Set: 567.664 Check: 0.0 Back: 62.351
INFO - Atoms: 32497/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 2232561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.373 Prop: 2485.111 PropClause: 2414.395 Set: 573.427 Check: 0.0 Back: 63.292
INFO - Atoms: 32399/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 2264860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.393 Prop: 2520.813 PropClause: 2449.179 Set: 579.478 Check: 0.0 Back: 64.221
INFO - Atoms: 32299/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 2297061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 2551.563 PropClause: 2479.022 Set: 585.361 Check: 0.0 Back: 65.194
INFO - Atoms: 32201/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 2329169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.439 Prop: 2585.625 PropClause: 2512.184 Set: 591.276 Check: 0.0 Back: 66.155
INFO - Atoms: 32108/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 2361172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.461 Prop: 2612.924 PropClause: 2538.579 Set: 596.962 Check: 0.0 Back: 67.106
INFO - Atoms: 32003/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 2393080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.479 Prop: 2642.363 PropClause: 2567.142 Set: 602.643 Check: 0.0 Back: 67.992
INFO - Atoms: 31908/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 2424885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.502 Prop: 2673.82 PropClause: 2597.713 Set: 608.551 Check: 0.0 Back: 68.909
INFO - Atoms: 31805/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 2456595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.522 Prop: 2702.89 PropClause: 2625.879 Set: 614.321 Check: 0.0 Back: 69.836
INFO - Atoms: 31710/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 2488202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.543 Prop: 2740.774 PropClause: 2662.642 Set: 621.348 Check: 0.0 Back: 70.773
INFO - Atoms: 31607/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 2519709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.645 Prop: 2770.728 PropClause: 2691.729 Set: 626.94 Check: 0.0 Back: 71.604
INFO - Atoms: 31507/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 2551118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.658 Prop: 2799.046 PropClause: 2719.183 Set: 632.494 Check: 0.0 Back: 72.544
INFO - Atoms: 31409/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 2582427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.673 Prop: 2827.424 PropClause: 2746.69 Set: 637.978 Check: 0.0 Back: 73.465
INFO - Atoms: 31309/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 2613638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.69 Prop: 2852.638 PropClause: 2771.046 Set: 643.431 Check: 0.0 Back: 74.39
INFO - Atoms: 31211/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 2644756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.708 Prop: 2883.759 PropClause: 2801.243 Set: 649.611 Check: 0.0 Back: 75.297
INFO - Atoms: 31118/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 2675769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.725 Prop: 2906.908 PropClause: 2823.532 Set: 655.02 Check: 0.0 Back: 76.189
INFO - Atoms: 31013/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 2706687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.741 Prop: 2936.392 PropClause: 2852.165 Set: 660.509 Check: 0.0 Back: 77.093
INFO - Atoms: 30918/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 2737502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.755 Prop: 2964.056 PropClause: 2878.986 Set: 665.904 Check: 0.0 Back: 78.011
INFO - Atoms: 30815/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 2768217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.772 Prop: 2996.298 PropClause: 2910.364 Set: 671.405 Check: 0.0 Back: 78.914
INFO - Atoms: 30715/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 2798834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.787 Prop: 3019.978 PropClause: 2933.201 Set: 676.706 Check: 0.0 Back: 79.821
INFO - Atoms: 30617/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 2829357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.802 Prop: 3051.371 PropClause: 2963.753 Set: 682.145 Check: 0.0 Back: 80.673
INFO - Atoms: 30523/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 2859776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.819 Prop: 3073.682 PropClause: 2985.213 Set: 687.407 Check: 0.0 Back: 81.571
INFO - Atoms: 30419/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 2890100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.835 Prop: 3102.617 PropClause: 3013.302 Set: 692.824 Check: 0.0 Back: 82.411
INFO - Atoms: 30324/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 2920321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.85 Prop: 3127.84 PropClause: 3037.69 Set: 698.174 Check: 0.0 Back: 83.275
INFO - Atoms: 30221/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 2950448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.869 Prop: 3158.124 PropClause: 3067.125 Set: 703.585 Check: 0.0 Back: 84.153
INFO - Atoms: 30127/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 2980471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.883 Prop: 3186.025 PropClause: 3094.2 Set: 708.887 Check: 0.0 Back: 85.047
INFO - Atoms: 30023/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 3010400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.898 Prop: 3211.347 PropClause: 3118.696 Set: 714.118 Check: 0.0 Back: 85.899
INFO - Atoms: 29929/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 3040225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.913 Prop: 3236.149 PropClause: 3142.684 Set: 719.255 Check: 0.0 Back: 86.77
INFO - Atoms: 29825/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 3069950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.926 Prop: 3259.35 PropClause: 3165.056 Set: 724.462 Check: 0.0 Back: 87.631
INFO - Atoms: 29725/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 3099577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.941 Prop: 3279.035 PropClause: 3183.92 Set: 729.531 Check: 0.0 Back: 88.474
INFO - Atoms: 29627/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 3129110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.956 Prop: 3300.387 PropClause: 3204.456 Set: 734.588 Check: 0.0 Back: 89.284
INFO - Atoms: 29533/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 3158539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.969 Prop: 3320.878 PropClause: 3224.131 Set: 739.624 Check: 0.0 Back: 90.106
INFO - Atoms: 29429/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 3187874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.027 Prop: 3342.946 PropClause: 3245.39 Set: 744.648 Check: 0.0 Back: 90.904
INFO - Atoms: 29335/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 3217105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 3367.546 PropClause: 3269.183 Set: 749.705 Check: 0.0 Back: 91.764
INFO - Atoms: 29231/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 3246236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.096 Prop: 3391.944 PropClause: 3292.779 Set: 754.716 Check: 0.0 Back: 92.595
INFO - Atoms: 29131/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 3275269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.107 Prop: 3416.555 PropClause: 3316.589 Set: 759.748 Check: 0.0 Back: 93.441
INFO - Atoms: 29033/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 3304209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.116 Prop: 3445.368 PropClause: 3344.588 Set: 764.856 Check: 0.0 Back: 94.266
INFO - Atoms: 28940/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 3333044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.126 Prop: 3466.886 PropClause: 3365.321 Set: 769.765 Check: 0.0 Back: 95.106
INFO - Atoms: 28835/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 3361785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.137 Prop: 3493.67 PropClause: 3391.312 Set: 774.782 Check: 0.0 Back: 95.925
INFO - Atoms: 28741/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 3390422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.147 Prop: 3512.034 PropClause: 3408.887 Set: 779.659 Check: 0.0 Back: 96.642
INFO - Atoms: 28637/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 3418959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 3533.974 PropClause: 3430.043 Set: 784.521 Check: 0.0 Back: 97.399
INFO - Atoms: 28537/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 3447398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.17 Prop: 3552.705 PropClause: 3447.998 Set: 789.328 Check: 0.0 Back: 98.153
INFO - Atoms: 28439/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 3475743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.181 Prop: 3572.725 PropClause: 3467.239 Set: 794.113 Check: 0.0 Back: 98.902
INFO - Atoms: 28345/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 3503984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 3591.154 PropClause: 3484.89 Set: 798.885 Check: 0.0 Back: 99.668
INFO - Atoms: 28241/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 3532125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.202 Prop: 3611.821 PropClause: 3504.786 Set: 803.684 Check: 0.0 Back: 100.414
INFO - Atoms: 28141/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 3560168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.211 Prop: 3630.78 PropClause: 3522.968 Set: 808.427 Check: 0.0 Back: 101.195
INFO - Atoms: 28043/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 3588118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.221 Prop: 3655.868 PropClause: 3547.277 Set: 813.294 Check: 0.0 Back: 102.003
INFO - Atoms: 27950/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 3615963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 3679.218 PropClause: 3569.841 Set: 818.107 Check: 0.0 Back: 102.828
INFO - Atoms: 27845/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 3643713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.244 Prop: 3705.995 PropClause: 3595.858 Set: 822.937 Check: 0.0 Back: 103.631
INFO - Atoms: 27750/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 3671360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.254 Prop: 3726.397 PropClause: 3615.5 Set: 827.746 Check: 0.0 Back: 104.453
INFO - Atoms: 27647/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 3698912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.264 Prop: 3747.929 PropClause: 3636.272 Set: 832.469 Check: 0.0 Back: 105.219
INFO - Atoms: 27552/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 3726361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.274 Prop: 3769.21 PropClause: 3656.795 Set: 837.174 Check: 0.0 Back: 105.989
INFO - Atoms: 27449/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 3753715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 3789.454 PropClause: 3676.292 Set: 841.815 Check: 0.0 Back: 106.755
INFO - Atoms: 27354/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 3780966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.293 Prop: 3807.042 PropClause: 3693.126 Set: 846.391 Check: 0.0 Back: 107.472
INFO - Atoms: 27251/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 3808117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.302 Prop: 3825.405 PropClause: 3710.739 Set: 850.98 Check: 0.0 Back: 108.177
INFO - Atoms: 27151/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 3835170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.311 Prop: 3848.829 PropClause: 3733.408 Set: 855.725 Check: 0.0 Back: 108.893
INFO - Atoms: 27053/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 3862123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.323 Prop: 3867.362 PropClause: 3751.19 Set: 860.329 Check: 0.0 Back: 109.669
INFO - Atoms: 26953/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 3888978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.334 Prop: 3886.865 PropClause: 3769.95 Set: 864.906 Check: 0.0 Back: 110.413
INFO - Atoms: 26855/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 3915739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.342 Prop: 3908.643 PropClause: 3790.992 Set: 869.46 Check: 0.0 Back: 111.133
INFO - Atoms: 26761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 3942396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.353 Prop: 3928.35 PropClause: 3809.961 Set: 874.03 Check: 0.0 Back: 111.877
INFO - Atoms: 26657/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 3968958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.363 Prop: 3951.0 PropClause: 3831.866 Set: 878.609 Check: 0.0 Back: 112.603
INFO - Atoms: 26562/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 3995417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.373 Prop: 3972.686 PropClause: 3852.829 Set: 883.116 Check: 0.0 Back: 113.359
INFO - Atoms: 26459/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 4021782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.385 Prop: 3998.286 PropClause: 3877.699 Set: 887.794 Check: 0.0 Back: 114.113
INFO - Atoms: 26365/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 4048043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.396 Prop: 4017.424 PropClause: 3896.116 Set: 892.227 Check: 0.0 Back: 114.868
INFO - Atoms: 26261/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 4074209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.406 Prop: 4037.445 PropClause: 3915.413 Set: 896.687 Check: 0.0 Back: 115.591
INFO - Atoms: 26166/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 4100272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.416 Prop: 4056.701 PropClause: 3933.952 Set: 901.138 Check: 0.0 Back: 116.314
INFO - Atoms: 26063/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 4126240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.427 Prop: 4073.347 PropClause: 3949.852 Set: 905.473 Check: 0.0 Back: 116.979
INFO - Atoms: 25968/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 4152105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 4088.854 PropClause: 3964.639 Set: 909.79 Check: 0.0 Back: 117.672
INFO - Atoms: 25865/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 4177870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.449 Prop: 4105.51 PropClause: 3980.584 Set: 914.13 Check: 0.0 Back: 118.326
INFO - Atoms: 25765/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 4203537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.459 Prop: 4122.305 PropClause: 3996.671 Set: 918.462 Check: 0.0 Back: 118.995
INFO - Atoms: 25667/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 4229110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.469 Prop: 4138.838 PropClause: 4012.505 Set: 922.721 Check: 0.0 Back: 119.673
INFO - Atoms: 25573/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 4254579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.482 Prop: 4154.432 PropClause: 4027.401 Set: 926.954 Check: 0.0 Back: 120.326
INFO - Atoms: 25469/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 4280433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.494 Prop: 4175.297 PropClause: 4047.552 Set: 931.394 Check: 0.0 Back: 121.029
INFO - Atoms: 25854/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 4306376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.505 Prop: 4196.47 PropClause: 4068.009 Set: 935.861 Check: 0.0 Back: 121.752
INFO - Atoms: 25943/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 4332428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 4219.022 PropClause: 4089.836 Set: 940.33 Check: 0.0 Back: 122.479
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 4358468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.525 Prop: 4236.582 PropClause: 4106.679 Set: 944.747 Check: 0.0 Back: 123.209
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 4384229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.537 Prop: 4260.658 PropClause: 4130.039 Set: 949.217 Check: 0.0 Back: 123.915
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 4410279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.548 Prop: 4280.708 PropClause: 4149.375 Set: 965.328 Check: 0.0 Back: 124.635
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 4436319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.558 Prop: 4301.959 PropClause: 4169.912 Set: 969.806 Check: 0.0 Back: 125.335
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 4462081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 4317.49 PropClause: 4184.723 Set: 974.135 Check: 0.0 Back: 126.068
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 4488121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.582 Prop: 4334.215 PropClause: 4200.727 Set: 978.58 Check: 0.0 Back: 126.719
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 4514171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.592 Prop: 4350.247 PropClause: 4216.046 Set: 982.977 Check: 0.0 Back: 127.392
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 4539932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.602 Prop: 4367.333 PropClause: 4232.429 Set: 987.292 Check: 0.0 Back: 128.055
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 4565983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.611 Prop: 4383.408 PropClause: 4247.787 Set: 991.716 Check: 0.0 Back: 128.718
INFO - Atoms: 26051/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 4592023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.622 Prop: 4400.734 PropClause: 4264.39 Set: 996.132 Check: 0.0 Back: 129.402
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 4618157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.635 Prop: 4420.404 PropClause: 4283.328 Set: 1000.721 Check: 0.0 Back: 130.081
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 4644197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.645 Prop: 4440.787 PropClause: 4302.99 Set: 1005.21 Check: 0.0 Back: 130.787
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 4670320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.655 Prop: 4461.222 PropClause: 4322.693 Set: 1009.767 Check: 0.0 Back: 131.502
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 4696088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.664 Prop: 4483.164 PropClause: 4343.922 Set: 1014.189 Check: 0.0 Back: 132.223
INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 4722137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.675 Prop: 4502.225 PropClause: 4362.263 Set: 1018.655 Check: 0.0 Back: 132.943
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 4748261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.686 Prop: 4522.037 PropClause: 4381.363 Set: 1023.077 Check: 0.0 Back: 133.64
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 4774395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.696 Prop: 4541.04 PropClause: 4399.636 Set: 1027.541 Check: 0.0 Back: 134.354
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 4800435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 4562.275 PropClause: 4420.153 Set: 1032.046 Check: 0.0 Back: 135.066
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 4826556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.718 Prop: 4577.641 PropClause: 4434.8 Set: 1036.453 Check: 0.0 Back: 135.744
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 4852323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.729 Prop: 4594.382 PropClause: 4450.836 Set: 1040.765 Check: 0.0 Back: 136.452
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 4878372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.739 Prop: 4610.496 PropClause: 4466.232 Set: 1045.186 Check: 0.0 Back: 137.107
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 4904496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.749 Prop: 4627.296 PropClause: 4482.314 Set: 1049.624 Check: 0.0 Back: 137.783
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 4930632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.759 Prop: 4644.074 PropClause: 4498.374 Set: 1054.056 Check: 0.0 Back: 138.451
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 4956672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.77 Prop: 4662.121 PropClause: 4515.708 Set: 1058.471 Check: 0.0 Back: 139.142
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 4982793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.78 Prop: 4682.292 PropClause: 4535.152 Set: 1062.908 Check: 0.0 Back: 139.833
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 5008559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.788 Prop: 4702.673 PropClause: 4554.811 Set: 1067.312 Check: 0.0 Back: 140.537
INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 5034608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.798 Prop: 4722.65 PropClause: 4574.055 Set: 1071.825 Check: 0.0 Back: 141.246
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 5060732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.808 Prop: 4745.623 PropClause: 4596.299 Set: 1076.369 Check: 0.0 Back: 141.96
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 5086494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.818 Prop: 4767.207 PropClause: 4617.178 Set: 1080.829 Check: 0.0 Back: 142.699
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 5112615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.828 Prop: 4786.121 PropClause: 4635.371 Set: 1085.296 Check: 0.0 Back: 143.378
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 5138667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.838 Prop: 4805.302 PropClause: 4653.836 Set: 1089.766 Check: 0.0 Back: 144.085
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 5164428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 4827.767 PropClause: 4675.596 Set: 1094.209 Check: 0.0 Back: 144.793
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 5190479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.859 Prop: 4844.492 PropClause: 4691.604 Set: 1098.616 Check: 0.0 Back: 145.502
INFO - Atoms: 26051/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 5216601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.87 Prop: 4864.534 PropClause: 4710.922 Set: 1103.167 Check: 0.0 Back: 146.189
INFO - Atoms: 26122/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 5242735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.882 Prop: 4883.6 PropClause: 4729.265 Set: 1107.636 Check: 0.0 Back: 146.926
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 5268775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.897 Prop: 4906.972 PropClause: 4751.865 Set: 1122.949 Check: 0.0 Back: 147.675
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 5294898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.908 Prop: 4926.502 PropClause: 4770.675 Set: 1127.417 Check: 0.0 Back: 148.412
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 5320659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.917 Prop: 4948.867 PropClause: 4792.332 Set: 1131.797 Check: 0.0 Back: 149.14
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 5346709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.927 Prop: 4966.165 PropClause: 4808.913 Set: 1136.237 Check: 0.0 Back: 149.841
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 5372832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.938 Prop: 4987.054 PropClause: 4829.088 Set: 1140.729 Check: 0.0 Back: 150.526
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 5398968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.949 Prop: 5007.956 PropClause: 4849.27 Set: 1145.278 Check: 0.0 Back: 151.259
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 5425008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.959 Prop: 5026.654 PropClause: 4867.248 Set: 1149.727 Check: 0.0 Back: 151.954
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 5451129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.967 Prop: 5042.86 PropClause: 4882.735 Set: 1154.149 Check: 0.0 Back: 152.652
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 5476890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.979 Prop: 5064.894 PropClause: 4904.058 Set: 1158.626 Check: 0.0 Back: 153.369
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 5502940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.988 Prop: 5083.022 PropClause: 4921.461 Set: 1163.047 Check: 0.0 Back: 154.091
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 5529063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.027 Prop: 5103.732 PropClause: 4941.45 Set: 1167.581 Check: 0.0 Back: 154.705
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 5555197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.069 Prop: 5123.565 PropClause: 4960.56 Set: 1172.154 Check: 0.0 Back: 155.425
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 5581237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 5143.401 PropClause: 4979.68 Set: 1176.602 Check: 0.0 Back: 156.175
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 5607358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.09 Prop: 5160.874 PropClause: 4996.437 Set: 1181.066 Check: 0.0 Back: 156.899
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 5633119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.098 Prop: 5181.527 PropClause: 5016.38 Set: 1185.501 Check: 0.0 Back: 157.583
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 5659169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.108 Prop: 5199.845 PropClause: 5033.976 Set: 1189.974 Check: 0.0 Back: 158.296
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 5685292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.119 Prop: 5215.718 PropClause: 5049.122 Set: 1194.423 Check: 0.0 Back: 158.971
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 5711428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.129 Prop: 5231.237 PropClause: 5063.929 Set: 1198.789 Check: 0.0 Back: 159.647
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 5737468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.138 Prop: 5248.79 PropClause: 5080.764 Set: 1203.223 Check: 0.0 Back: 160.326
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 5763589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.151 Prop: 5266.551 PropClause: 5097.791 Set: 1207.732 Check: 0.0 Back: 161.006
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 5789357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.161 Prop: 5285.0 PropClause: 5115.525 Set: 1212.148 Check: 0.0 Back: 161.699
INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 5815407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.177 Prop: 5303.848 PropClause: 5133.666 Set: 1216.577 Check: 0.0 Back: 162.388
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 5841530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.212 Prop: 5322.908 PropClause: 5152.013 Set: 1221.04 Check: 0.0 Back: 163.081
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 5867666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.217 Prop: 5343.165 PropClause: 5171.536 Set: 1225.602 Check: 0.0 Back: 163.804
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 5893706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.224 Prop: 5365.517 PropClause: 5193.17 Set: 1230.151 Check: 0.0 Back: 164.531
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 5919827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 5384.391 PropClause: 5211.325 Set: 1234.649 Check: 0.0 Back: 165.268
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 5945588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.236 Prop: 5404.434 PropClause: 5230.659 Set: 1239.068 Check: 0.0 Back: 165.963
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 5971637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.243 Prop: 5424.202 PropClause: 5249.709 Set: 1243.592 Check: 0.0 Back: 166.653
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 5997761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.248 Prop: 5440.749 PropClause: 5265.538 Set: 1248.035 Check: 0.0 Back: 167.374
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 6023897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.254 Prop: 5456.466 PropClause: 5280.53 Set: 1252.494 Check: 0.0 Back: 168.048
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 6049937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.26 Prop: 5473.236 PropClause: 5296.591 Set: 1256.877 Check: 0.0 Back: 168.716
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 6076058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.264 Prop: 5493.527 PropClause: 5316.15 Set: 1261.404 Check: 0.0 Back: 169.38
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 6101826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.271 Prop: 5510.852 PropClause: 5332.756 Set: 1265.753 Check: 0.0 Back: 170.096
INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 6127875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.276 Prop: 5529.949 PropClause: 5351.138 Set: 1270.269 Check: 0.0 Back: 170.763
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 6153999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.281 Prop: 5547.077 PropClause: 5367.549 Set: 1274.709 Check: 0.0 Back: 171.475
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 6180135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 5563.413 PropClause: 5383.157 Set: 1279.181 Check: 0.0 Back: 172.159
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 6206175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.292 Prop: 5585.118 PropClause: 5404.14 Set: 1283.722 Check: 0.0 Back: 172.853
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 6232296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.297 Prop: 5602.954 PropClause: 5421.24 Set: 1288.218 Check: 0.0 Back: 173.572
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 6258062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.304 Prop: 5624.432 PropClause: 5442.013 Set: 1292.64 Check: 0.0 Back: 174.272
INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 6284111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.31 Prop: 5645.607 PropClause: 5462.453 Set: 1297.203 Check: 0.0 Back: 174.984
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 6310235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.315 Prop: 5665.649 PropClause: 5481.772 Set: 1301.766 Check: 0.0 Back: 175.714
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 6335997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.32 Prop: 5684.075 PropClause: 5499.49 Set: 1306.154 Check: 0.0 Back: 176.437
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 6362118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.326 Prop: 5705.093 PropClause: 5519.769 Set: 1310.662 Check: 0.0 Back: 177.125
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 6388170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.33 Prop: 5722.684 PropClause: 5536.646 Set: 1315.083 Check: 0.0 Back: 177.842
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 6413931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 5739.326 PropClause: 5552.57 Set: 1319.442 Check: 0.0 Back: 178.515
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 6439982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 5758.622 PropClause: 5571.15 Set: 1323.948 Check: 0.0 Back: 179.187
INFO - Atoms: 26051/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 6466104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.348 Prop: 5778.843 PropClause: 5590.657 Set: 1328.477 Check: 0.0 Back: 179.908
INFO - Atoms: 26122/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 6492238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.354 Prop: 5799.472 PropClause: 5610.569 Set: 1333.042 Check: 0.0 Back: 180.641
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 6518278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.361 Prop: 5822.283 PropClause: 5632.66 Set: 1337.681 Check: 0.0 Back: 181.358
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 6544401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.367 Prop: 5842.702 PropClause: 5652.358 Set: 1342.288 Check: 0.0 Back: 182.09
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 6570168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.373 Prop: 5864.043 PropClause: 5672.992 Set: 1346.738 Check: 0.0 Back: 182.808
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 6596218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.378 Prop: 5886.01 PropClause: 5694.245 Set: 1351.284 Check: 0.0 Back: 183.519
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 6622341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 5909.092 PropClause: 5716.605 Set: 1355.954 Check: 0.0 Back: 184.247
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 6648475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.392 Prop: 5928.286 PropClause: 5735.076 Set: 1360.485 Check: 0.0 Back: 184.958
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 6674515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 5952.552 PropClause: 5758.627 Set: 1365.108 Check: 0.0 Back: 185.686
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 6700636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.405 Prop: 5972.685 PropClause: 5778.043 Set: 1369.612 Check: 0.0 Back: 186.402
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 6726402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 5994.008 PropClause: 5798.655 Set: 1374.11 Check: 0.0 Back: 187.109
INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 6752451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 6014.326 PropClause: 5818.252 Set: 1378.682 Check: 0.0 Back: 187.82
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 6778575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 6035.516 PropClause: 5838.727 Set: 1383.221 Check: 0.0 Back: 188.539
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 6804711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.441 Prop: 6057.303 PropClause: 5859.783 Set: 1387.807 Check: 0.0 Back: 189.264
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 6830751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.447 Prop: 6081.663 PropClause: 5883.416 Set: 1392.637 Check: 0.0 Back: 189.998
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 6856872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 6107.231 PropClause: 5908.224 Set: 1397.488 Check: 0.0 Back: 190.749
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 6882633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.46 Prop: 6131.315 PropClause: 5931.595 Set: 1402.056 Check: 0.0 Back: 191.501
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 6908683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.465 Prop: 6152.892 PropClause: 5952.451 Set: 1406.676 Check: 0.0 Back: 192.222
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 6934806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 6176.176 PropClause: 5975.016 Set: 1411.335 Check: 0.0 Back: 192.943
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 6960942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.477 Prop: 6197.978 PropClause: 5996.087 Set: 1415.963 Check: 0.0 Back: 193.706
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 6986982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.483 Prop: 6218.721 PropClause: 6016.095 Set: 1420.506 Check: 0.0 Back: 194.446
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 7013103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 6238.118 PropClause: 6034.772 Set: 1425.075 Check: 0.0 Back: 195.17
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 7038870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 6258.847 PropClause: 6054.792 Set: 1429.578 Check: 0.0 Back: 195.896
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 7064920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.501 Prop: 6279.105 PropClause: 6074.331 Set: 1434.148 Check: 0.0 Back: 196.6
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 7091043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 6300.335 PropClause: 6094.846 Set: 1438.726 Check: 0.0 Back: 197.382
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 7117177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.51 Prop: 6322.903 PropClause: 6116.7 Set: 1443.354 Check: 0.0 Back: 198.104
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 7143217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.516 Prop: 6346.471 PropClause: 6139.547 Set: 1447.997 Check: 0.0 Back: 198.849
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 7169338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.523 Prop: 6369.71 PropClause: 6162.048 Set: 1452.726 Check: 0.0 Back: 199.597
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 7195104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.528 Prop: 6392.945 PropClause: 6184.575 Set: 1457.216 Check: 0.0 Back: 200.332
INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 7221153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.535 Prop: 6415.65 PropClause: 6206.561 Set: 1461.863 Check: 0.0 Back: 201.06
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 7247277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.541 Prop: 6440.824 PropClause: 6231.001 Set: 1466.533 Check: 0.0 Back: 201.804
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 7273411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.546 Prop: 6462.283 PropClause: 6251.74 Set: 1471.143 Check: 0.0 Back: 202.548
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 7299451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.553 Prop: 6486.195 PropClause: 6274.937 Set: 1475.78 Check: 0.0 Back: 203.282
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 7325572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.559 Prop: 6508.151 PropClause: 6296.171 Set: 1480.41 Check: 0.0 Back: 204.039
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 7351333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.565 Prop: 6529.256 PropClause: 6316.566 Set: 1484.957 Check: 0.0 Back: 204.776
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 7377382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.57 Prop: 6551.299 PropClause: 6337.879 Set: 1489.587 Check: 0.0 Back: 205.491
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 7403506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.576 Prop: 6575.23 PropClause: 6361.096 Set: 1494.231 Check: 0.0 Back: 206.237
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 7429642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.582 Prop: 6596.538 PropClause: 6381.671 Set: 1498.846 Check: 0.0 Back: 206.99
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 7455682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.589 Prop: 6621.222 PropClause: 6405.592 Set: 1503.526 Check: 0.0 Back: 207.732
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 7481803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.595 Prop: 6644.371 PropClause: 6427.979 Set: 1508.176 Check: 0.0 Back: 208.472
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 7507570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.602 Prop: 6667.518 PropClause: 6450.411 Set: 1512.837 Check: 0.0 Back: 209.21
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 7533619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.608 Prop: 6689.563 PropClause: 6471.737 Set: 1517.462 Check: 0.0 Back: 209.947
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 7559743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 6713.308 PropClause: 6494.762 Set: 1522.163 Check: 0.0 Back: 210.693
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 7585505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 6733.392 PropClause: 6514.134 Set: 1526.658 Check: 0.0 Back: 211.444
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 7611626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.628 Prop: 6754.602 PropClause: 6534.629 Set: 1531.277 Check: 0.0 Back: 212.152
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 7637678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.634 Prop: 6770.921 PropClause: 6550.224 Set: 1535.763 Check: 0.0 Back: 212.88
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 7663817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.64 Prop: 6788.055 PropClause: 6566.64 Set: 1540.236 Check: 0.0 Back: 213.556
INFO - Atoms: 26139/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 7689937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.646 Prop: 6804.92 PropClause: 6582.787 Set: 1544.785 Check: 0.0 Back: 214.238
INFO - Atoms: 26120/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 7715979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 6827.943 PropClause: 6605.101 Set: 1549.342 Check: 0.0 Back: 214.92
INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 7741741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 6844.347 PropClause: 6620.794 Set: 1553.783 Check: 0.0 Back: 215.665
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 7767862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 6865.035 PropClause: 6640.762 Set: 1558.358 Check: 0.0 Back: 216.335
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 7793914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.669 Prop: 6884.596 PropClause: 6659.599 Set: 1562.938 Check: 0.0 Back: 217.096
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 7820053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.675 Prop: 6904.732 PropClause: 6679.024 Set: 1567.503 Check: 0.0 Back: 217.822
INFO - Atoms: 26139/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 7846176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.68 Prop: 6925.753 PropClause: 6699.326 Set: 1572.12 Check: 0.0 Back: 218.546
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 7872218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.686 Prop: 6948.789 PropClause: 6721.645 Set: 1576.813 Check: 0.0 Back: 219.292
INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 7898352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.693 Prop: 6968.717 PropClause: 6740.856 Set: 1594.223 Check: 0.0 Back: 220.056
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 7924392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 6989.29 PropClause: 6760.716 Set: 1598.8 Check: 0.0 Back: 220.774
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 7950513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 7010.232 PropClause: 6780.941 Set: 1603.375 Check: 0.0 Back: 221.494
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 7976274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.711 Prop: 7029.636 PropClause: 6799.642 Set: 1607.799 Check: 0.0 Back: 222.207
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 8002326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.717 Prop: 7046.079 PropClause: 6815.368 Set: 1612.311 Check: 0.0 Back: 222.873
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 8028447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.723 Prop: 7063.246 PropClause: 6831.827 Set: 1616.798 Check: 0.0 Back: 223.549
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 8054583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.73 Prop: 7079.677 PropClause: 6847.545 Set: 1621.294 Check: 0.0 Back: 224.233
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 8080623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.735 Prop: 7097.574 PropClause: 6864.726 Set: 1625.82 Check: 0.0 Back: 224.914
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 8106744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.741 Prop: 7118.863 PropClause: 6885.299 Set: 1630.493 Check: 0.0 Back: 225.597
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 8132505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.748 Prop: 7139.722 PropClause: 6905.447 Set: 1635.005 Check: 0.0 Back: 226.338
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 8158555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.754 Prop: 7161.155 PropClause: 6926.171 Set: 1639.582 Check: 0.0 Back: 227.045
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 8184678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.76 Prop: 7184.08 PropClause: 6948.372 Set: 1644.278 Check: 0.0 Back: 227.786
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 8210812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.766 Prop: 7205.916 PropClause: 6969.477 Set: 1649.0 Check: 0.0 Back: 228.549
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 8236852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.773 Prop: 7227.4 PropClause: 6990.25 Set: 1653.636 Check: 0.0 Back: 229.289
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 8262973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.78 Prop: 7245.603 PropClause: 7007.741 Set: 1658.134 Check: 0.0 Back: 230.003
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 8288734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.784 Prop: 7268.584 PropClause: 7030.014 Set: 1662.649 Check: 0.0 Back: 230.712
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 8314784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.789 Prop: 7284.122 PropClause: 7044.834 Set: 1667.155 Check: 0.0 Back: 231.432
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 8340907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.794 Prop: 7300.207 PropClause: 7060.205 Set: 1671.605 Check: 0.0 Back: 232.108
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 8366669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.799 Prop: 7321.554 PropClause: 7080.84 Set: 1676.059 Check: 0.0 Back: 232.786
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 8392790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.804 Prop: 7338.123 PropClause: 7096.697 Set: 1680.559 Check: 0.0 Back: 233.494
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 8418842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.81 Prop: 7354.337 PropClause: 7112.197 Set: 1685.057 Check: 0.0 Back: 234.174
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 8444603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.815 Prop: 7371.326 PropClause: 7128.479 Set: 1689.473 Check: 0.0 Back: 234.868
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 8470654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.823 Prop: 7388.01 PropClause: 7144.442 Set: 1694.021 Check: 0.0 Back: 235.539
INFO - Atoms: 26051/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 8496776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.83 Prop: 7405.387 PropClause: 7161.102 Set: 1698.528 Check: 0.0 Back: 236.228
INFO - Atoms: 26122/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 8522912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.837 Prop: 7426.259 PropClause: 7181.255 Set: 1703.189 Check: 0.0 Back: 236.93
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 8548952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.844 Prop: 7447.583 PropClause: 7201.859 Set: 1716.314 Check: 0.0 Back: 237.654
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 8575075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.85 Prop: 7469.481 PropClause: 7223.042 Set: 1720.967 Check: 0.0 Back: 238.4
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 8600842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.856 Prop: 7492.144 PropClause: 7245.002 Set: 1725.51 Check: 0.0 Back: 239.09
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 8626891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.863 Prop: 7511.369 PropClause: 7263.501 Set: 1730.14 Check: 0.0 Back: 239.806
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 8653015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.868 Prop: 7529.98 PropClause: 7281.393 Set: 1734.717 Check: 0.0 Back: 240.529
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 8679151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.875 Prop: 7550.35 PropClause: 7301.034 Set: 1739.418 Check: 0.0 Back: 241.236
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 8705191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.881 Prop: 7572.096 PropClause: 7322.058 Set: 1744.072 Check: 0.0 Back: 242.006
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 8731312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.887 Prop: 7588.736 PropClause: 7337.955 Set: 1748.605 Check: 0.0 Back: 242.714
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 8757079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.893 Prop: 7606.289 PropClause: 7354.792 Set: 1753.052 Check: 0.0 Back: 243.413
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 8783128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.9 Prop: 7626.323 PropClause: 7374.091 Set: 1757.658 Check: 0.0 Back: 244.103
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 8809252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 7645.539 PropClause: 7392.595 Set: 1762.258 Check: 0.0 Back: 244.835
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 8835386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.912 Prop: 7666.475 PropClause: 7412.806 Set: 1766.874 Check: 0.0 Back: 245.548
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 8861426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.919 Prop: 7689.156 PropClause: 7434.769 Set: 1771.517 Check: 0.0 Back: 246.272
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 8887547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.925 Prop: 7707.918 PropClause: 7452.81 Set: 1776.094 Check: 0.0 Back: 247.021
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 8913308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.931 Prop: 7726.583 PropClause: 7470.773 Set: 1780.555 Check: 0.0 Back: 247.745
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 8939358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.937 Prop: 7746.459 PropClause: 7489.934 Set: 1785.147 Check: 0.0 Back: 248.434
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 8965481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 7770.446 PropClause: 7513.118 Set: 1790.194 Check: 0.0 Back: 249.158
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 8991615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 7786.176 PropClause: 7528.127 Set: 1794.721 Check: 0.0 Back: 249.89
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 9017655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 7808.714 PropClause: 7549.953 Set: 1799.42 Check: 0.0 Back: 250.574
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 9043776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.961 Prop: 7824.988 PropClause: 7565.513 Set: 1803.889 Check: 0.0 Back: 251.3
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 9069537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.966 Prop: 7842.373 PropClause: 7582.189 Set: 1808.367 Check: 0.0 Back: 251.987
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 9095587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.972 Prop: 7858.906 PropClause: 7598.007 Set: 1812.873 Check: 0.0 Back: 252.66
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 9121710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.977 Prop: 7876.278 PropClause: 7614.659 Set: 1817.446 Check: 0.0 Back: 253.351
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 9147846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.983 Prop: 7894.8 PropClause: 7632.464 Set: 1821.992 Check: 0.0 Back: 254.045
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 9173886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.989 Prop: 7916.394 PropClause: 7653.349 Set: 1826.597 Check: 0.0 Back: 254.762
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 9200007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 7936.774 PropClause: 7673.01 Set: 1831.204 Check: 0.0 Back: 255.486
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 9225775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 7960.634 PropClause: 7696.162 Set: 1835.821 Check: 0.0 Back: 256.192
INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 9251824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 7981.735 PropClause: 7716.553 Set: 1840.454 Check: 0.0 Back: 256.94
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 9277948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.013 Prop: 8005.705 PropClause: 7739.8 Set: 1845.164 Check: 0.0 Back: 257.649
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 9304082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.018 Prop: 8025.519 PropClause: 7758.894 Set: 1849.744 Check: 0.0 Back: 258.39
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 9330122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 8045.96 PropClause: 7778.621 Set: 1854.371 Check: 0.0 Back: 259.103
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 9356243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.029 Prop: 8066.772 PropClause: 7798.71 Set: 1858.986 Check: 0.0 Back: 259.83
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 9382004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.035 Prop: 8085.367 PropClause: 7816.602 Set: 1863.386 Check: 0.0 Back: 260.553
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 9408053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.041 Prop: 8101.389 PropClause: 7831.909 Set: 1867.899 Check: 0.0 Back: 261.212
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 9434177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 8117.896 PropClause: 7847.698 Set: 1872.449 Check: 0.0 Back: 261.889
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 9460313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.05 Prop: 8134.143 PropClause: 7863.221 Set: 1877.012 Check: 0.0 Back: 262.566
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 9486353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.056 Prop: 8150.841 PropClause: 7879.211 Set: 1881.453 Check: 0.0 Back: 263.252
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 9512474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.063 Prop: 8173.918 PropClause: 7901.543 Set: 1886.085 Check: 0.0 Back: 263.926
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 9538235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.069 Prop: 8190.924 PropClause: 7917.834 Set: 1890.553 Check: 0.0 Back: 264.656
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 9564285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.075 Prop: 8209.297 PropClause: 7935.487 Set: 1895.167 Check: 0.0 Back: 265.344
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 9590408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.082 Prop: 8229.654 PropClause: 7955.124 Set: 1899.836 Check: 0.0 Back: 266.05
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 9616542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.089 Prop: 8249.511 PropClause: 7974.265 Set: 1904.487 Check: 0.0 Back: 266.779
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 9642582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 8272.264 PropClause: 7996.291 Set: 1909.253 Check: 0.0 Back: 267.49
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 9668703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.102 Prop: 8294.345 PropClause: 8017.646 Set: 1914.022 Check: 0.0 Back: 268.236
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 9694471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.107 Prop: 8317.713 PropClause: 8040.307 Set: 1918.601 Check: 0.0 Back: 268.971
INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 9720520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.112 Prop: 8338.044 PropClause: 8059.929 Set: 1923.227 Check: 0.0 Back: 269.703
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 9746644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.118 Prop: 8358.504 PropClause: 8079.671 Set: 1927.916 Check: 0.0 Back: 270.422
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 9772780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.124 Prop: 8379.997 PropClause: 8100.434 Set: 1932.602 Check: 0.0 Back: 271.137
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 9798820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.131 Prop: 8402.477 PropClause: 8122.2 Set: 1937.293 Check: 0.0 Back: 271.87
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 9824941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.137 Prop: 8418.31 PropClause: 8137.322 Set: 1941.798 Check: 0.0 Back: 272.591
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 9850702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.143 Prop: 8435.074 PropClause: 8153.382 Set: 1946.23 Check: 0.0 Back: 273.272
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 9876751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.149 Prop: 8451.97 PropClause: 8169.561 Set: 1950.777 Check: 0.0 Back: 273.942
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 9902875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.155 Prop: 8473.232 PropClause: 8190.103 Set: 1955.421 Check: 0.0 Back: 274.636
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 9929009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.161 Prop: 8489.857 PropClause: 8206.013 Set: 1959.997 Check: 0.0 Back: 275.334
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 9955049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.166 Prop: 8507.526 PropClause: 8222.971 Set: 1964.549 Check: 0.0 Back: 276.017
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 9981170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.172 Prop: 8524.456 PropClause: 8239.183 Set: 1969.136 Check: 0.0 Back: 276.699
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 10006938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.176 Prop: 8542.307 PropClause: 8256.322 Set: 1973.618 Check: 0.0 Back: 277.386
INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 10032987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.182 Prop: 8562.111 PropClause: 8275.41 Set: 1978.271 Check: 0.0 Back: 278.064
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 10059111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.189 Prop: 8582.392 PropClause: 8294.978 Set: 1982.872 Check: 0.0 Back: 278.778
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 10085245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.194 Prop: 8604.864 PropClause: 8316.708 Set: 1987.52 Check: 0.0 Back: 279.526
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 10111285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.239 Prop: 8628.024 PropClause: 8339.152 Set: 1992.196 Check: 0.0 Back: 280.243
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 10137406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.277 Prop: 8649.461 PropClause: 8359.865 Set: 1996.849 Check: 0.0 Back: 280.965
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 10163172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.283 Prop: 8673.94 PropClause: 8383.637 Set: 2001.431 Check: 0.0 Back: 281.692
INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 10189221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.29 Prop: 8696.165 PropClause: 8405.146 Set: 2006.118 Check: 0.0 Back: 282.405
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 10215345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.296 Prop: 8718.388 PropClause: 8426.623 Set: 2011.049 Check: 0.0 Back: 283.145
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 10241481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.302 Prop: 8740.089 PropClause: 8447.599 Set: 2015.82 Check: 0.0 Back: 283.862
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 10267521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.309 Prop: 8760.332 PropClause: 8467.124 Set: 2020.416 Check: 0.0 Back: 284.577
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 10293642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.314 Prop: 8777.576 PropClause: 8483.639 Set: 2025.004 Check: 0.0 Back: 285.258
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 10319403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.319 Prop: 8794.341 PropClause: 8499.689 Set: 2029.515 Check: 0.0 Back: 285.935
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 10345453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.326 Prop: 8811.346 PropClause: 8515.974 Set: 2034.154 Check: 0.0 Back: 286.607
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 10371576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.333 Prop: 8828.271 PropClause: 8532.18 Set: 2038.706 Check: 0.0 Back: 287.295
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 10397712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.341 Prop: 8845.883 PropClause: 8549.073 Set: 2051.661 Check: 0.0 Back: 287.983
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 10423752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.348 Prop: 8863.344 PropClause: 8565.813 Set: 2056.177 Check: 0.0 Back: 288.665
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 10449873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.353 Prop: 8880.276 PropClause: 8582.01 Set: 2060.72 Check: 0.0 Back: 289.353
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 10475634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.36 Prop: 8899.922 PropClause: 8600.937 Set: 2065.299 Check: 0.0 Back: 290.068
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 10501683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.365 Prop: 8920.818 PropClause: 8621.119 Set: 2069.917 Check: 0.0 Back: 290.778
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 10527807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.372 Prop: 8943.415 PropClause: 8642.995 Set: 2074.709 Check: 0.0 Back: 291.488
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 10553941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.379 Prop: 8966.182 PropClause: 8665.037 Set: 2079.47 Check: 0.0 Back: 292.223
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 10579981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.385 Prop: 8989.3 PropClause: 8687.429 Set: 2084.167 Check: 0.0 Back: 292.961
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 10606102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.391 Prop: 9008.769 PropClause: 8706.179 Set: 2088.777 Check: 0.0 Back: 293.694
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 10631869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.397 Prop: 9028.582 PropClause: 8725.289 Set: 2093.285 Check: 0.0 Back: 294.408
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 10657918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.403 Prop: 9049.892 PropClause: 8745.885 Set: 2097.998 Check: 0.0 Back: 295.093
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 10684042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.41 Prop: 9071.751 PropClause: 8767.022 Set: 2102.743 Check: 0.0 Back: 295.81
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 10710176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.416 Prop: 9088.06 PropClause: 8782.61 Set: 2107.329 Check: 0.0 Back: 296.53
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 10736216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.422 Prop: 9105.855 PropClause: 8799.695 Set: 2111.894 Check: 0.0 Back: 297.216
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 10762337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.428 Prop: 9128.001 PropClause: 8821.122 Set: 2116.507 Check: 0.0 Back: 297.885
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 10788098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.433 Prop: 9145.474 PropClause: 8837.88 Set: 2120.952 Check: 0.0 Back: 298.614
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 10814148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.438 Prop: 9161.982 PropClause: 8853.67 Set: 2125.473 Check: 0.0 Back: 299.285
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 10840271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.443 Prop: 9179.144 PropClause: 8870.113 Set: 2130.046 Check: 0.0 Back: 299.972
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 10866407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.45 Prop: 9197.544 PropClause: 8887.799 Set: 2134.699 Check: 0.0 Back: 300.677
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 10892447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.456 Prop: 9215.097 PropClause: 8904.641 Set: 2139.306 Check: 0.0 Back: 301.371
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 10918568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.461 Prop: 9232.395 PropClause: 8921.22 Set: 2143.9 Check: 0.0 Back: 302.049
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 10944329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.466 Prop: 9253.42 PropClause: 8941.536 Set: 2148.5 Check: 0.0 Back: 302.75
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 10970378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.472 Prop: 9272.865 PropClause: 8960.262 Set: 2153.107 Check: 0.0 Back: 303.45
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 10996502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.477 Prop: 9296.25 PropClause: 8982.925 Set: 2157.851 Check: 0.0 Back: 304.181
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 11022638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.491 Prop: 9318.859 PropClause: 9004.819 Set: 2162.605 Check: 0.0 Back: 304.908
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 11048678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.498 Prop: 9343.64 PropClause: 9028.883 Set: 2178.319 Check: 0.0 Back: 305.63
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 11074799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.505 Prop: 9364.729 PropClause: 9049.253 Set: 2183.075 Check: 0.0 Back: 306.337
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 11100560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.511 Prop: 9386.423 PropClause: 9070.234 Set: 2187.716 Check: 0.0 Back: 307.049
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 11126609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.518 Prop: 9408.806 PropClause: 9091.896 Set: 2192.494 Check: 0.0 Back: 307.768
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 11152733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.524 Prop: 9427.608 PropClause: 9109.978 Set: 2197.141 Check: 0.0 Back: 308.506
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 11178869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.53 Prop: 9444.139 PropClause: 9125.786 Set: 2201.704 Check: 0.0 Back: 309.189
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 11204909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.536 Prop: 9461.308 PropClause: 9142.241 Set: 2206.226 Check: 0.0 Back: 309.875
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 11231030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.541 Prop: 9477.375 PropClause: 9157.596 Set: 2210.801 Check: 0.0 Back: 310.553
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 11256791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.547 Prop: 9494.709 PropClause: 9174.225 Set: 2215.302 Check: 0.0 Back: 311.231
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 11282841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.554 Prop: 9512.891 PropClause: 9191.689 Set: 2219.871 Check: 0.0 Back: 311.907
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 11308964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.56 Prop: 9533.145 PropClause: 9211.223 Set: 2224.535 Check: 0.0 Back: 312.596
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 11334726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.565 Prop: 9556.691 PropClause: 9234.05 Set: 2229.143 Check: 0.0 Back: 313.334
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 11360847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.572 Prop: 9576.252 PropClause: 9252.889 Set: 2233.904 Check: 0.0 Back: 314.047
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 11386899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.578 Prop: 9597.449 PropClause: 9273.36 Set: 2238.762 Check: 0.0 Back: 314.765
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 11413038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.584 Prop: 9618.467 PropClause: 9293.651 Set: 2243.512 Check: 0.0 Back: 315.486
INFO - Atoms: 26139/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 11439158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.589 Prop: 9639.849 PropClause: 9314.313 Set: 2248.163 Check: 0.0 Back: 316.21
INFO - Atoms: 26120/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 11465200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.595 Prop: 9663.117 PropClause: 9336.866 Set: 2252.923 Check: 0.0 Back: 316.925
INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 11490962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 9684.984 PropClause: 9358.026 Set: 2257.529 Check: 0.0 Back: 317.65
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 11517083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.606 Prop: 9708.191 PropClause: 9380.505 Set: 2262.18 Check: 0.0 Back: 318.366
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 11543135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.613 Prop: 9728.675 PropClause: 9400.266 Set: 2266.806 Check: 0.0 Back: 319.095
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 11569274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.62 Prop: 9751.22 PropClause: 9422.09 Set: 2271.53 Check: 0.0 Back: 319.809
INFO - Atoms: 26139/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 11595397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.625 Prop: 9773.721 PropClause: 9443.876 Set: 2276.302 Check: 0.0 Back: 320.53
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 11621439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.632 Prop: 9794.879 PropClause: 9464.312 Set: 2280.92 Check: 0.0 Back: 321.265
INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 11647573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.638 Prop: 9813.328 PropClause: 9482.043 Set: 2285.585 Check: 0.0 Back: 321.96
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 11673613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.644 Prop: 9831.815 PropClause: 9499.812 Set: 2290.241 Check: 0.0 Back: 322.673
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 11699734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.651 Prop: 9849.603 PropClause: 9516.882 Set: 2294.851 Check: 0.0 Back: 323.377
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 11725501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.656 Prop: 9869.825 PropClause: 9536.395 Set: 2299.482 Check: 0.0 Back: 324.074
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 11751552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.662 Prop: 9887.553 PropClause: 9553.404 Set: 2304.158 Check: 0.0 Back: 324.77
INFO - Atoms: 26051/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 11777674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.668 Prop: 9906.142 PropClause: 9571.274 Set: 2308.868 Check: 0.0 Back: 325.469
INFO - Atoms: 26122/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 11803810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.674 Prop: 9923.914 PropClause: 9588.326 Set: 2313.434 Check: 0.0 Back: 326.168
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 11829850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.68 Prop: 9946.67 PropClause: 9610.368 Set: 2318.193 Check: 0.0 Back: 326.868
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 11855971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.686 Prop: 9968.03 PropClause: 9631.014 Set: 2322.836 Check: 0.0 Back: 327.598
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 11881737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.692 Prop: 9989.996 PropClause: 9652.271 Set: 2327.513 Check: 0.0 Back: 328.312
INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 11907786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.698 Prop: 10013.657 PropClause: 9675.215 Set: 2332.226 Check: 0.0 Back: 329.033
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 11933910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.703 Prop: 10036.852 PropClause: 9697.69 Set: 2337.0 Check: 0.0 Back: 329.76
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 11960046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.709 Prop: 10059.627 PropClause: 9719.747 Set: 2341.718 Check: 0.0 Back: 330.493
INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 11986086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.713 Prop: 10079.56 PropClause: 9738.959 Set: 2346.373 Check: 0.0 Back: 331.211
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 12012207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.718 Prop: 10100.662 PropClause: 9759.336 Set: 2351.022 Check: 0.0 Back: 331.912
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 12037968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.725 Prop: 10124.989 PropClause: 9782.953 Set: 2355.714 Check: 0.0 Back: 332.629
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 12064017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.733 Prop: 10148.422 PropClause: 9805.662 Set: 2368.503 Check: 0.0 Back: 333.357
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 12090141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.738 Prop: 10171.358 PropClause: 9827.882 Set: 2373.255 Check: 0.0 Back: 334.085
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 12116275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.745 Prop: 10189.203 PropClause: 9845.005 Set: 2377.928 Check: 0.0 Back: 334.813
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 12142315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.752 Prop: 10209.8 PropClause: 9864.873 Set: 2382.921 Check: 0.0 Back: 335.518
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 12168436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.759 Prop: 10229.623 PropClause: 9883.961 Set: 2387.686 Check: 0.0 Back: 336.227
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 12194197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.765 Prop: 10246.446 PropClause: 9900.073 Set: 2392.15 Check: 0.0 Back: 336.942
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 12220246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.77 Prop: 10263.056 PropClause: 9915.965 Set: 2396.774 Check: 0.0 Back: 337.62
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 12246370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.775 Prop: 10280.614 PropClause: 9932.793 Set: 2401.439 Check: 0.0 Back: 338.312
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 12272504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.78 Prop: 10297.443 PropClause: 9948.899 Set: 2405.985 Check: 0.0 Back: 339.003
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 12298544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.786 Prop: 10314.538 PropClause: 9965.27 Set: 2410.573 Check: 0.0 Back: 339.702
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 12324665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.791 Prop: 10332.008 PropClause: 9982.009 Set: 2415.182 Check: 0.0 Back: 340.385
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 12350432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.796 Prop: 10354.195 PropClause: 10003.485 Set: 2419.87 Check: 0.0 Back: 341.093
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 12376482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.802 Prop: 10374.075 PropClause: 10022.639 Set: 2424.602 Check: 0.0 Back: 341.806
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 12402605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.808 Prop: 10395.954 PropClause: 10043.786 Set: 2429.315 Check: 0.0 Back: 342.523
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 12428739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.813 Prop: 10417.539 PropClause: 10064.647 Set: 2434.019 Check: 0.0 Back: 343.247
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 12454779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.82 Prop: 10440.795 PropClause: 10087.183 Set: 2440.15 Check: 0.0 Back: 343.983
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 12480900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.827 Prop: 10461.514 PropClause: 10107.177 Set: 2444.789 Check: 0.0 Back: 344.724
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 12506667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.831 Prop: 10481.969 PropClause: 10126.899 Set: 2449.36 Check: 0.0 Back: 345.442
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 12532717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.837 Prop: 10500.89 PropClause: 10145.101 Set: 2454.015 Check: 0.0 Back: 346.137
INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 12558840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.843 Prop: 10522.104 PropClause: 10165.594 Set: 2458.732 Check: 0.0 Back: 346.85
INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 12584974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.849 Prop: 10545.201 PropClause: 10187.971 Set: 2463.531 Check: 0.0 Back: 347.583
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 12611014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.857 Prop: 10561.71 PropClause: 10203.76 Set: 2468.063 Check: 0.0 Back: 348.334
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 12637135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.863 Prop: 10577.973 PropClause: 10219.3 Set: 2472.611 Check: 0.0 Back: 349.046
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 12662896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.867 Prop: 10594.326 PropClause: 10234.937 Set: 2477.103 Check: 0.0 Back: 349.734
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 12688945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.872 Prop: 10615.511 PropClause: 10255.402 Set: 2481.793 Check: 0.0 Back: 350.395
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 12715069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.878 Prop: 10632.494 PropClause: 10271.662 Set: 2486.34 Check: 0.0 Back: 351.114
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 12741203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.883 Prop: 10648.79 PropClause: 10287.234 Set: 2490.96 Check: 0.0 Back: 351.804
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 12767243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.889 Prop: 10666.516 PropClause: 10304.239 Set: 2495.547 Check: 0.0 Back: 352.451
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 12793364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.894 Prop: 10684.832 PropClause: 10321.836 Set: 2500.111 Check: 0.0 Back: 353.153
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 12819125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.9 Prop: 10701.16 PropClause: 10337.455 Set: 2504.6 Check: 0.0 Back: 353.846
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 12845174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.905 Prop: 10717.572 PropClause: 10353.141 Set: 2509.153 Check: 0.0 Back: 354.519
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 12871298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.91 Prop: 10738.333 PropClause: 10373.183 Set: 2513.815 Check: 0.0 Back: 355.213
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 12897432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.916 Prop: 10759.639 PropClause: 10393.768 Set: 2518.515 Check: 0.0 Back: 355.914
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 12923472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.922 Prop: 10780.819 PropClause: 10414.231 Set: 2523.299 Check: 0.0 Back: 356.643
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 12949593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.928 Prop: 10802.177 PropClause: 10434.868 Set: 2527.914 Check: 0.0 Back: 357.359
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 12975361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.934 Prop: 10823.739 PropClause: 10455.719 Set: 2532.563 Check: 0.0 Back: 358.077
INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 13001410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.94 Prop: 10847.362 PropClause: 10478.625 Set: 2537.348 Check: 0.0 Back: 358.799
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 13027534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.945 Prop: 10868.989 PropClause: 10499.529 Set: 2542.073 Check: 0.0 Back: 359.518
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 13053668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.95 Prop: 10887.197 PropClause: 10517.015 Set: 2546.694 Check: 0.0 Back: 360.246
INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 13079708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.956 Prop: 10910.447 PropClause: 10539.546 Set: 2551.445 Check: 0.0 Back: 360.952
INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 13105829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.962 Prop: 10932.872 PropClause: 10561.25 Set: 2556.131 Check: 0.0 Back: 361.691
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 13131590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.968 Prop: 10948.605 PropClause: 10576.281 Set: 2560.601 Check: 0.0 Back: 362.418
INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 13157639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.975 Prop: 10965.694 PropClause: 10592.659 Set: 2574.897 Check: 0.0 Back: 363.071
INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 13183763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.982 Prop: 10982.091 PropClause: 10608.33 Set: 2579.41 Check: 0.0 Back: 363.731
INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 13209525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.986 Prop: 10998.321 PropClause: 10623.849 Set: 2583.909 Check: 0.0 Back: 364.417
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 13235646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.991 Prop: 11014.872 PropClause: 10639.682 Set: 2588.473 Check: 0.0 Back: 365.093
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 13261698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.998 Prop: 11031.573 PropClause: 10655.671 Set: 2592.977 Check: 0.0 Back: 365.78
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 13287838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.003 Prop: 11047.851 PropClause: 10671.241 Set: 2597.471 Check: 0.0 Back: 366.458
INFO - Atoms: 26140/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 13313958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.009 Prop: 11065.083 PropClause: 10687.753 Set: 2602.012 Check: 0.0 Back: 367.138
INFO - Atoms: 26120/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 13340000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.015 Prop: 11087.133 PropClause: 10709.09 Set: 2606.662 Check: 0.0 Back: 367.833
INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 13365762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.021 Prop: 11104.145 PropClause: 10725.39 Set: 2611.191 Check: 0.0 Back: 368.568
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 13391883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.026 Prop: 11121.504 PropClause: 10742.029 Set: 2615.823 Check: 0.0 Back: 369.253
INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 13417935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.032 Prop: 11142.102 PropClause: 10761.92 Set: 2620.393 Check: 0.0 Back: 369.94
INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 13444073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.038 Prop: 11162.765 PropClause: 10781.866 Set: 2625.065 Check: 0.0 Back: 370.652
INFO - Atoms: 26138/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 13470160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.044 Prop: 11183.203 PropClause: 10801.587 Set: 2629.711 Check: 0.0 Back: 371.366
INFO - Atoms: 26087/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 13496201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.05 Prop: 11205.707 PropClause: 10823.375 Set: 2634.514 Check: 0.0 Back: 372.088
INFO - Atoms: 26041/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 13522295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.057 Prop: 11228.907 PropClause: 10845.836 Set: 2639.239 Check: 0.0 Back: 372.812
INFO - Atoms: 26094/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 13548294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.063 Prop: 11252.766 PropClause: 10868.989 Set: 2644.002 Check: 0.0 Back: 373.551
INFO - Atoms: 25999/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 13574338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.068 Prop: 11273.031 PropClause: 10888.547 Set: 2648.601 Check: 0.0 Back: 374.263
INFO - Atoms: 26044/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 13600105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.074 Prop: 11292.847 PropClause: 10907.646 Set: 2653.218 Check: 0.0 Back: 374.978
INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 13626061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.081 Prop: 11314.165 PropClause: 10928.245 Set: 2657.953 Check: 0.0 Back: 375.671
INFO - Atoms: 25956/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 13652020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.087 Prop: 11337.33 PropClause: 10950.702 Set: 2662.75 Check: 0.0 Back: 376.391
INFO - Atoms: 25959/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 13677782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.092 Prop: 11360.164 PropClause: 10972.82 Set: 2667.352 Check: 0.0 Back: 377.108
INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 13703644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.198 Prop: 11376.23 PropClause: 10988.181 Set: 2671.945 Check: 0.0 Back: 377.769
INFO - Atoms: 25862/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 13729507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.205 Prop: 11399.782 PropClause: 11010.837 Set: 2677.789 Check: 0.0 Back: 378.433
INFO - Atoms: 25863/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 13755369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.312 Prop: 11420.073 PropClause: 11030.381 Set: 2682.558 Check: 0.0 Back: 379.093
INFO - Atoms: 25862/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 13781264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.319 Prop: 11437.424 PropClause: 11047.016 Set: 2694.559 Check: 0.0 Back: 379.762
INFO - Atoms: 25895/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 13807240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.324 Prop: 11453.512 PropClause: 11062.392 Set: 2699.121 Check: 0.0 Back: 380.443
INFO - Atoms: 25976/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 75638 Tprops: 18466 Decides: 84474 RSplits: 0
INFO - Times: Expl: 402.624 Prop: 29563.8 PropClause: 35.749 Set: 16065.123 Check: 380.984 Back: 422.67
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 721933 eq 43041782 cc 170735229 setRep 104028658
INFO - Merges: 655558, cc:1264551
INFO - BVTimes: BB 197967327 BB_DPLL 26245328511 Graph 2109240
INFO - BitBlastingClauses: 510850 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 13833203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.331 Prop: 11470.174 PropClause: 11078.337 Set: 2703.556 Check: 0.0 Back: 381.127
INFO - Atoms: 25963/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 13859187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.337 Prop: 11487.308 PropClause: 11094.761 Set: 2707.999 Check: 0.0 Back: 381.817
INFO - Atoms: 25984/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 13884894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.46 Prop: 11517.837 PropClause: 11124.399 Set: 2713.881 Check: 0.0 Back: 382.51
INFO - Atoms: 25707/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 13910709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.466 Prop: 11549.951 PropClause: 11155.62 Set: 2719.987 Check: 0.0 Back: 383.164
INFO - Atoms: 25815/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 13936418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.473 Prop: 11579.236 PropClause: 11184.017 Set: 2726.077 Check: 0.0 Back: 383.824
INFO - Atoms: 25709/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 13962026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.48 Prop: 11608.634 PropClause: 11212.523 Set: 2732.135 Check: 0.0 Back: 384.483
INFO - Atoms: 25608/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 13987714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.488 Prop: 11642.425 PropClause: 11245.315 Set: 2751.498 Check: 0.0 Back: 385.135
INFO - Atoms: 25688/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 14013503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.495 Prop: 11669.661 PropClause: 11271.582 Set: 2770.831 Check: 0.0 Back: 385.788
INFO - Atoms: 25789/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 14039403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.563 Prop: 11694.449 PropClause: 11295.453 Set: 2777.4 Check: 0.0 Back: 386.458
INFO - Atoms: 25900/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 14065390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.66 Prop: 11711.756 PropClause: 11312.037 Set: 2782.082 Check: 0.0 Back: 387.132
INFO - Atoms: 25987/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 14091486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.705 Prop: 11739.499 PropClause: 11338.862 Set: 2788.227 Check: 0.0 Back: 387.797
INFO - Atoms: 26096/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 14117671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.745 Prop: 11768.3 PropClause: 11366.744 Set: 2794.578 Check: 0.0 Back: 388.473
INFO - Atoms: 26185/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 14143965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.789 Prop: 11800.292 PropClause: 11397.794 Set: 2800.977 Check: 0.0 Back: 389.143
INFO - Atoms: 26294/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 14170348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.833 Prop: 11832.486 PropClause: 11429.062 Set: 2807.148 Check: 0.0 Back: 389.841
INFO - Atoms: 26383/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 14196840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.892 Prop: 11851.824 PropClause: 11447.672 Set: 2811.925 Check: 0.0 Back: 390.572
INFO - Atoms: 26492/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 14223421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.898 Prop: 11875.633 PropClause: 11470.75 Set: 2816.84 Check: 0.0 Back: 391.283
INFO - Atoms: 26581/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 14250111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.904 Prop: 11898.214 PropClause: 11492.589 Set: 2821.761 Check: 0.0 Back: 391.994
INFO - Atoms: 26690/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 14276890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.91 Prop: 11922.814 PropClause: 11516.425 Set: 2826.773 Check: 0.0 Back: 392.746
INFO - Atoms: 26779/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 14303778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.916 Prop: 11943.369 PropClause: 11536.238 Set: 2831.655 Check: 0.0 Back: 393.492
INFO - Atoms: 26888/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 14330755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.921 Prop: 11968.212 PropClause: 11560.337 Set: 2836.713 Check: 0.0 Back: 394.226
INFO - Atoms: 26977/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 14357841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.927 Prop: 11989.961 PropClause: 11581.342 Set: 2841.687 Check: 0.0 Back: 394.946
INFO - Atoms: 27086/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 14385016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.932 Prop: 12014.047 PropClause: 11604.679 Set: 2846.721 Check: 0.0 Back: 395.69
INFO - Atoms: 27175/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 14412300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.938 Prop: 12036.793 PropClause: 11626.672 Set: 2851.762 Check: 0.0 Back: 396.444
INFO - Atoms: 27284/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 14439673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.943 Prop: 12055.079 PropClause: 11644.206 Set: 2856.76 Check: 0.0 Back: 397.158
INFO - Atoms: 27373/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 14467155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.948 Prop: 12072.849 PropClause: 11661.225 Set: 2861.693 Check: 0.0 Back: 397.85
INFO - Atoms: 27482/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 14494726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.954 Prop: 12091.954 PropClause: 11679.572 Set: 2866.68 Check: 0.0 Back: 398.552
INFO - Atoms: 27571/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 14522406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.959 Prop: 12110.136 PropClause: 11696.996 Set: 2871.68 Check: 0.0 Back: 399.258
INFO - Atoms: 27680/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 14550175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.965 Prop: 12129.436 PropClause: 11715.531 Set: 2876.726 Check: 0.0 Back: 399.977
INFO - Atoms: 27769/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 14578053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.969 Prop: 12148.065 PropClause: 11733.392 Set: 2881.797 Check: 0.0 Back: 400.695
INFO - Atoms: 27878/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 14606020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.974 Prop: 12174.972 PropClause: 11759.529 Set: 2887.175 Check: 0.0 Back: 401.429
INFO - Atoms: 27967/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 14634096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.978 Prop: 12193.982 PropClause: 11777.761 Set: 2892.257 Check: 0.0 Back: 402.221
INFO - Atoms: 28076/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 14662261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.983 Prop: 12215.322 PropClause: 11798.329 Set: 2897.433 Check: 0.0 Back: 402.957
INFO - Atoms: 28165/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 14690535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.989 Prop: 12237.264 PropClause: 11819.492 Set: 2902.702 Check: 0.0 Back: 403.723
INFO - Atoms: 28274/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 14718898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.993 Prop: 12260.967 PropClause: 11842.413 Set: 2908.027 Check: 0.0 Back: 404.484
INFO - Atoms: 28363/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 14747370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.998 Prop: 12284.379 PropClause: 11865.03 Set: 2913.27 Check: 0.0 Back: 405.272
INFO - Atoms: 28472/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 14775931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.004 Prop: 12309.25 PropClause: 11889.115 Set: 2926.788 Check: 0.0 Back: 406.097
INFO - Atoms: 28561/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 14804601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.008 Prop: 12335.504 PropClause: 11914.588 Set: 2932.163 Check: 0.0 Back: 406.882
INFO - Atoms: 28670/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 14833360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.013 Prop: 12363.487 PropClause: 11941.778 Set: 2937.61 Check: 0.0 Back: 407.713
INFO - Atoms: 28759/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 14862228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.018 Prop: 12390.158 PropClause: 11967.654 Set: 2943.033 Check: 0.0 Back: 408.534
INFO - Atoms: 28868/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 14891185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.023 Prop: 12415.96 PropClause: 11992.661 Set: 2948.47 Check: 0.0 Back: 409.364
INFO - Atoms: 28957/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 14920251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.027 Prop: 12440.182 PropClause: 12016.092 Set: 2953.789 Check: 0.0 Back: 410.181
INFO - Atoms: 29066/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 14949406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.031 Prop: 12465.474 PropClause: 12040.585 Set: 2959.251 Check: 0.0 Back: 410.993
INFO - Atoms: 29155/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 14978670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.037 Prop: 12491.651 PropClause: 12065.955 Set: 2964.723 Check: 0.0 Back: 411.815
INFO - Atoms: 29264/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 15008023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.042 Prop: 12517.942 PropClause: 12091.437 Set: 2970.312 Check: 0.0 Back: 412.657
INFO - Atoms: 29353/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 15037485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.046 Prop: 12538.173 PropClause: 12110.85 Set: 2975.686 Check: 0.0 Back: 413.452
INFO - Atoms: 29462/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 15067036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.05 Prop: 12559.824 PropClause: 12131.695 Set: 2981.029 Check: 0.0 Back: 414.229
INFO - Atoms: 29551/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 15096696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.055 Prop: 12580.932 PropClause: 12151.991 Set: 2986.453 Check: 0.0 Back: 415.009
INFO - Atoms: 29660/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 15126445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.06 Prop: 12603.15 PropClause: 12173.393 Set: 2991.976 Check: 0.0 Back: 415.821
INFO - Atoms: 29749/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 15156303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.065 Prop: 12625.585 PropClause: 12195.005 Set: 2997.506 Check: 0.0 Back: 416.627
INFO - Atoms: 29858/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 15186250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.071 Prop: 12648.198 PropClause: 12216.79 Set: 3003.068 Check: 0.0 Back: 417.443
INFO - Atoms: 29947/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 15216306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.075 Prop: 12670.274 PropClause: 12238.041 Set: 3008.581 Check: 0.0 Back: 418.244
INFO - Atoms: 30056/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 15246451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.082 Prop: 12693.02 PropClause: 12259.967 Set: 3014.061 Check: 0.0 Back: 419.056
INFO - Atoms: 30145/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 15276705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.086 Prop: 12716.012 PropClause: 12282.131 Set: 3019.594 Check: 0.0 Back: 419.862
INFO - Atoms: 30254/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 15307048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.092 Prop: 12744.616 PropClause: 12309.901 Set: 3025.389 Check: 0.0 Back: 420.701
INFO - Atoms: 30343/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 15337500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.097 Prop: 12774.343 PropClause: 12338.79 Set: 3031.129 Check: 0.0 Back: 421.578
INFO - Atoms: 30452/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 15368041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.103 Prop: 12803.636 PropClause: 12367.248 Set: 3036.906 Check: 0.0 Back: 422.463
INFO - Atoms: 30541/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 15398691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.108 Prop: 12831.359 PropClause: 12394.135 Set: 3042.651 Check: 0.0 Back: 423.341
INFO - Atoms: 30650/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 15429430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.114 Prop: 12861.796 PropClause: 12423.726 Set: 3048.564 Check: 0.0 Back: 424.234
INFO - Atoms: 30739/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 15460278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.119 Prop: 12890.453 PropClause: 12451.531 Set: 3064.77 Check: 0.0 Back: 425.126
INFO - Atoms: 30848/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 15491215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.125 Prop: 12922.362 PropClause: 12482.593 Set: 3070.578 Check: 0.0 Back: 425.989
INFO - Atoms: 30937/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 15522261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.13 Prop: 12950.942 PropClause: 12510.32 Set: 3076.423 Check: 0.0 Back: 426.889
INFO - Atoms: 31046/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 15553396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.136 Prop: 12979.737 PropClause: 12538.261 Set: 3082.337 Check: 0.0 Back: 427.796
INFO - Atoms: 31135/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 15584640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.141 Prop: 13008.781 PropClause: 12566.444 Set: 3088.217 Check: 0.0 Back: 428.683
INFO - Atoms: 31244/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 15615973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.148 Prop: 13040.212 PropClause: 12596.984 Set: 3094.284 Check: 0.0 Back: 429.591
INFO - Atoms: 31333/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 15647415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.153 Prop: 13064.834 PropClause: 12620.735 Set: 3100.181 Check: 0.0 Back: 430.48
INFO - Atoms: 31442/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 15678946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.157 Prop: 13089.208 PropClause: 12644.249 Set: 3106.008 Check: 0.0 Back: 431.344
INFO - Atoms: 31531/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 15710586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.161 Prop: 13113.849 PropClause: 12668.02 Set: 3111.913 Check: 0.0 Back: 432.195
INFO - Atoms: 31640/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 15742315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.166 Prop: 13139.007 PropClause: 12692.308 Set: 3117.776 Check: 0.0 Back: 433.069
INFO - Atoms: 31729/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 15774153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.171 Prop: 13164.411 PropClause: 12716.836 Set: 3123.725 Check: 0.0 Back: 433.944
INFO - Atoms: 31838/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 15806080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.175 Prop: 13190.436 PropClause: 12741.993 Set: 3129.648 Check: 0.0 Back: 434.819
INFO - Atoms: 31927/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 15838116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.179 Prop: 13216.643 PropClause: 12767.324 Set: 3135.584 Check: 0.0 Back: 435.702
INFO - Atoms: 32036/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 15870241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.185 Prop: 13243.086 PropClause: 12792.88 Set: 3141.55 Check: 0.0 Back: 436.605
INFO - Atoms: 32125/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 15902475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.191 Prop: 13272.943 PropClause: 12821.85 Set: 3147.705 Check: 0.0 Back: 437.498
INFO - Atoms: 32234/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 15934798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.197 Prop: 13305.076 PropClause: 12853.087 Set: 3153.913 Check: 0.0 Back: 438.467
INFO - Atoms: 32323/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 15967230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.201 Prop: 13335.366 PropClause: 12882.482 Set: 3160.014 Check: 0.0 Back: 439.412
INFO - Atoms: 32432/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 15999751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.208 Prop: 13369.277 PropClause: 12915.507 Set: 3166.269 Check: 0.0 Back: 440.374
INFO - Atoms: 32521/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 16032381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.213 Prop: 13402.174 PropClause: 12947.494 Set: 3172.488 Check: 0.0 Back: 441.339
INFO - Atoms: 32630/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 16065100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.218 Prop: 13438.233 PropClause: 12982.655 Set: 3178.814 Check: 0.0 Back: 442.296
INFO - Atoms: 32719/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 579 Props: 16097928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.223 Prop: 13469.403 PropClause: 13012.924 Set: 3185.057 Check: 0.0 Back: 443.275
INFO - Atoms: 32828/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 16130845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.228 Prop: 13500.985 PropClause: 13043.604 Set: 3191.403 Check: 0.0 Back: 444.21
INFO - Atoms: 32917/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 16163871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.235 Prop: 13535.168 PropClause: 13076.877 Set: 3197.787 Check: 0.0 Back: 445.253
INFO - Atoms: 33026/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 16196986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.24 Prop: 13562.273 PropClause: 13103.074 Set: 3204.037 Check: 0.0 Back: 446.223
INFO - Atoms: 33115/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 583 Props: 16230210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.245 Prop: 13591.686 PropClause: 13131.584 Set: 3210.224 Check: 0.0 Back: 447.134
INFO - Atoms: 33224/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 16263523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.249 Prop: 13627.308 PropClause: 13166.297 Set: 3216.637 Check: 0.0 Back: 448.052
INFO - Atoms: 33313/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 16296945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.254 Prop: 13655.115 PropClause: 13193.184 Set: 3222.851 Check: 0.0 Back: 449.048
INFO - Atoms: 33422/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 16330456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.259 Prop: 13683.458 PropClause: 13220.603 Set: 3229.127 Check: 0.0 Back: 449.982
INFO - Atoms: 33511/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 587 Props: 16364076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.263 Prop: 13711.669 PropClause: 13247.883 Set: 3235.482 Check: 0.0 Back: 450.924
INFO - Atoms: 33620/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 16397785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.268 Prop: 13740.453 PropClause: 13275.745 Set: 3241.858 Check: 0.0 Back: 451.867
INFO - Atoms: 33709/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 16431603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.273 Prop: 13768.726 PropClause: 13303.091 Set: 3248.158 Check: 0.0 Back: 452.829
INFO - Atoms: 33818/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 16465510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.279 Prop: 13797.369 PropClause: 13330.789 Set: 3254.513 Check: 0.0 Back: 453.785
INFO - Atoms: 33907/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 591 Props: 16499526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.284 Prop: 13830.279 PropClause: 13362.763 Set: 3260.994 Check: 0.0 Back: 454.747
INFO - Atoms: 34016/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 16533631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.289 Prop: 13864.474 PropClause: 13396.03 Set: 3267.464 Check: 0.0 Back: 455.749
INFO - Atoms: 34105/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 16567845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.294 Prop: 13899.332 PropClause: 13429.956 Set: 3274.022 Check: 0.0 Back: 456.743
INFO - Atoms: 34214/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 16602148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.3 Prop: 13934.749 PropClause: 13464.428 Set: 3280.689 Check: 0.0 Back: 457.758
INFO - Atoms: 34303/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 16636560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.306 Prop: 13972.426 PropClause: 13501.135 Set: 3287.46 Check: 0.0 Back: 458.8
INFO - Atoms: 34412/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 16671061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.312 Prop: 14005.803 PropClause: 13533.559 Set: 3294.044 Check: 0.0 Back: 459.864
INFO - Atoms: 34501/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 597 Props: 16705671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.316 Prop: 14037.335 PropClause: 13564.152 Set: 3300.521 Check: 0.0 Back: 460.877
INFO - Atoms: 34610/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 16740370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.322 Prop: 14071.944 PropClause: 13597.807 Set: 3307.212 Check: 0.0 Back: 461.906
INFO - Atoms: 34699/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 16775178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.328 Prop: 14106.649 PropClause: 13631.544 Set: 3313.81 Check: 0.0 Back: 462.943
INFO - Atoms: 34808/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 16810075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.333 Prop: 14134.941 PropClause: 13658.879 Set: 3320.326 Check: 0.0 Back: 463.949
INFO - Atoms: 34897/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 601 Props: 16845081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.339 Prop: 14163.931 PropClause: 13686.915 Set: 3326.86 Check: 0.0 Back: 464.933
INFO - Atoms: 35006/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 16880176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.345 Prop: 14193.811 PropClause: 13715.831 Set: 3333.511 Check: 0.0 Back: 465.937
INFO - Atoms: 35095/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 16915380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.351 Prop: 14224.452 PropClause: 13745.497 Set: 3340.217 Check: 0.0 Back: 466.945
INFO - Atoms: 35204/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 16950673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.355 Prop: 14254.68 PropClause: 13774.752 Set: 3346.908 Check: 0.0 Back: 467.97
INFO - Atoms: 35293/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 16986075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.36 Prop: 14290.908 PropClause: 13810.007 Set: 3353.692 Check: 0.0 Back: 469.0
INFO - Atoms: 35402/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 17021566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.364 Prop: 14321.731 PropClause: 13839.853 Set: 3360.388 Check: 0.0 Back: 470.025
INFO - Atoms: 35491/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 17057166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.369 Prop: 14354.245 PropClause: 13871.392 Set: 3367.173 Check: 0.0 Back: 471.051
INFO - Atoms: 35600/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 608 Props: 17092855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.374 Prop: 14391.187 PropClause: 13907.355 Set: 3374.002 Check: 0.0 Back: 472.104
INFO - Atoms: 35689/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 609 Props: 17128653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.378 Prop: 14427.053 PropClause: 13942.241 Set: 3380.91 Check: 0.0 Back: 473.153
INFO - Atoms: 35798/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 610 Props: 17164540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.383 Prop: 14467.156 PropClause: 13981.347 Set: 3387.926 Check: 0.0 Back: 474.24
INFO - Atoms: 35887/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 611 Props: 17200536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.388 Prop: 14506.963 PropClause: 14020.148 Set: 3394.842 Check: 0.0 Back: 475.334
INFO - Atoms: 35996/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 612 Props: 17236621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.394 Prop: 14546.695 PropClause: 14058.865 Set: 3401.902 Check: 0.0 Back: 476.403
INFO - Atoms: 36085/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 613 Props: 17272815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.398 Prop: 14582.726 PropClause: 14093.91 Set: 3408.78 Check: 0.0 Back: 477.501
INFO - Atoms: 36194/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 614 Props: 17309098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.402 Prop: 14617.569 PropClause: 14127.757 Set: 3415.692 Check: 0.0 Back: 478.584
INFO - Atoms: 36283/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 615 Props: 17345490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.406 Prop: 14655.475 PropClause: 14164.659 Set: 3422.661 Check: 0.0 Back: 479.674
INFO - Atoms: 36392/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 616 Props: 17381971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.412 Prop: 14691.221 PropClause: 14199.408 Set: 3429.551 Check: 0.0 Back: 480.774
INFO - Atoms: 36481/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 617 Props: 17418561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.417 Prop: 14725.056 PropClause: 14232.242 Set: 3436.468 Check: 0.0 Back: 481.837
INFO - Atoms: 36590/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 618 Props: 17455240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.423 Prop: 14756.765 PropClause: 14262.946 Set: 3443.426 Check: 0.0 Back: 482.899
INFO - Atoms: 36679/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 619 Props: 17492028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.427 Prop: 14788.36 PropClause: 14293.536 Set: 3450.399 Check: 0.0 Back: 483.983
INFO - Atoms: 36788/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 620 Props: 17528905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.433 Prop: 14822.858 PropClause: 14327.018 Set: 3457.409 Check: 0.0 Back: 485.042
INFO - Atoms: 36877/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 621 Props: 17565891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.439 Prop: 14857.586 PropClause: 14360.734 Set: 3464.442 Check: 0.0 Back: 486.149
INFO - Atoms: 36986/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 622 Props: 17602966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.444 Prop: 14899.992 PropClause: 14402.012 Set: 3472.295 Check: 0.0 Back: 487.246
INFO - Atoms: 37075/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 623 Props: 17640150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.449 Prop: 14938.963 PropClause: 14439.932 Set: 3479.6 Check: 0.0 Back: 488.394
INFO - Atoms: 37184/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 624 Props: 17677423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.455 Prop: 14980.285 PropClause: 14480.228 Set: 3486.783 Check: 0.0 Back: 489.521
INFO - Atoms: 37273/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 625 Props: 17714805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.46 Prop: 15021.531 PropClause: 14520.451 Set: 3493.994 Check: 0.0 Back: 490.677
INFO - Atoms: 37382/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 626 Props: 17752276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.465 Prop: 15062.804 PropClause: 14560.689 Set: 3501.267 Check: 0.0 Back: 491.875
INFO - Atoms: 37471/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 627 Props: 17789855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.471 Prop: 15101.265 PropClause: 14598.121 Set: 3508.518 Check: 0.0 Back: 493.019
INFO - Atoms: 37579/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 628 Props: 17827524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.477 Prop: 15139.586 PropClause: 14635.413 Set: 3515.763 Check: 0.0 Back: 494.136
INFO - Atoms: 37669/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 629 Props: 17865301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.483 Prop: 15180.959 PropClause: 14675.753 Set: 3523.055 Check: 0.0 Back: 495.299
INFO - Atoms: 37777/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 630 Props: 17903168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.488 Prop: 15217.126 PropClause: 14710.879 Set: 3530.306 Check: 0.0 Back: 496.459
INFO - Atoms: 37867/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 631 Props: 17941213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.493 Prop: 15256.67 PropClause: 14749.378 Set: 3537.63 Check: 0.0 Back: 497.639
INFO - Atoms: 38045/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 632 Props: 17979358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.498 Prop: 15297.956 PropClause: 14789.474 Set: 3545.708 Check: 0.0 Back: 498.759
INFO - Atoms: 38145/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 633 Props: 18017520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.504 Prop: 15334.665 PropClause: 14825.132 Set: 3553.053 Check: 0.0 Back: 499.886
INFO - Atoms: 38162/38176 Clauses: 773 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1133 Props: 19422373 Tprops: 0 Decides: 1031 RSplits: 0
INFO - Times: Expl: 1336.683 Prop: 16295.788 PropClause: 15741.946 Set: 3589.14 Check: 0.029 Back: 534.594
INFO - Atoms: 12597/38176 Clauses: 1272 Axioms: 124850
INFO - Restart
INFO - Confl: 1633 Props: 20116153 Tprops: 0 Decides: 1939 RSplits: 0
INFO - Times: Expl: 1638.009 Prop: 16557.02 PropClause: 15983.334 Set: 3605.153 Check: 0.052 Back: 550.448
INFO - Atoms: 12597/38176 Clauses: 1772 Axioms: 124850
INFO - Restart
INFO - Confl: 2633 Props: 21752283 Tprops: 0 Decides: 3440 RSplits: 0
INFO - Times: Expl: 2249.984 Prop: 17205.171 PropClause: 16584.694 Set: 3642.943 Check: 0.089 Back: 587.909
INFO - Atoms: 12597/38176 Clauses: 2772 Axioms: 124850
INFO - Restart
INFO - Confl: 3133 Props: 22464115 Tprops: 0 Decides: 4286 RSplits: 0
INFO - Times: Expl: 2452.332 Prop: 17479.385 PropClause: 16836.934 Set: 3659.877 Check: 0.112 Back: 604.756
INFO - Atoms: 12597/38176 Clauses: 3272 Axioms: 124850
INFO - Restart
INFO - Confl: 3633 Props: 23145218 Tprops: 0 Decides: 5055 RSplits: 0
INFO - Times: Expl: 2809.134 Prop: 17749.739 PropClause: 17086.913 Set: 3675.903 Check: 0.131 Back: 620.713
INFO - Atoms: 12597/38176 Clauses: 3772 Axioms: 124850
INFO - Restart
INFO - Confl: 4633 Props: 24544507 Tprops: 0 Decides: 6481 RSplits: 0
INFO - Times: Expl: 3744.726 Prop: 18345.013 PropClause: 17640.884 Set: 3708.944 Check: 0.168 Back: 653.218
INFO - Atoms: 12597/38176 Clauses: 4772 Axioms: 124850
INFO - Restart
INFO - Confl: 6633 Props: 27390988 Tprops: 0 Decides: 9548 RSplits: 0
INFO - Times: Expl: 6234.723 Prop: 19466.499 PropClause: 18682.695 Set: 3774.266 Check: 0.244 Back: 717.883
INFO - Atoms: 12597/38176 Clauses: 6772 Axioms: 124850
INFO - Restart
INFO - Confl: 7133 Props: 28170487 Tprops: 0 Decides: 10338 RSplits: 0
INFO - Times: Expl: 6511.82 Prop: 19795.217 PropClause: 18989.678 Set: 3792.217 Check: 0.265 Back: 735.546
INFO - Atoms: 12599/38176 Clauses: 7272 Axioms: 124850
INFO - Restart
INFO - Confl: 7633 Props: 28834824 Tprops: 0 Decides: 11003 RSplits: 0
INFO - Times: Expl: 6884.932 Prop: 20065.447 PropClause: 19241.365 Set: 3807.516 Check: 0.283 Back: 750.632
INFO - Atoms: 12599/38176 Clauses: 7772 Axioms: 124850
INFO - Confl: 8451 Props: 29945568 Tprops: 0 Decides: 12753 RSplits: 0
INFO - Times: Expl: 7158.491 Prop: 20613.159 PropClause: 19757.767 Set: 3833.402 Check: 0.328 Back: 776.142
INFO - Atoms: 12821/38176 Clauses: 8590 Axioms: 124850
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 640 Props: 79999 Tprops: 19235 Decides: 92046 RSplits: 0
INFO - Times: Expl: 428.514 Prop: 51456.344 PropClause: 38.894 Set: 16533.285 Check: 389.919 Back: 454.458
INFO - Atoms: 1158/1158 Clauses: 640 Axioms: 1158
INFO - CCTimes: iE 741929 eq 44497042 cc 176244864 setRep 105829978
INFO - Merges: 664970, cc:1314431
INFO - BVTimes: BB 197967327 BB_DPLL 47278369543 Graph 2281834
INFO - BitBlastingClauses: 614298 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat