/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: 178063088 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 38174 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.666 Prop: 73.952 PropClause: 71.746 Set: 97.71 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.744 Prop: 146.262 PropClause: 142.012 Set: 117.322 Check: 0.0 Back: 1.012 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.783 Prop: 219.881 PropClause: 213.658 Set: 136.88 Check: 0.0 Back: 2.009 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.824 Prop: 295.261 PropClause: 287.069 Set: 156.455 Check: 0.0 Back: 2.992 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.869 Prop: 365.867 PropClause: 355.565 Set: 182.301 Check: 0.0 Back: 3.967 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.923 Prop: 423.753 PropClause: 411.655 Set: 192.021 Check: 0.0 Back: 4.935 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: 0.975 Prop: 484.038 PropClause: 469.818 Set: 201.631 Check: 0.0 Back: 5.913 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.038 Prop: 544.824 PropClause: 528.159 Set: 211.231 Check: 0.0 Back: 6.92 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.121 Prop: 606.369 PropClause: 588.571 Set: 220.586 Check: 0.0 Back: 7.902 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.195 Prop: 655.687 PropClause: 636.925 Set: 231.469 Check: 0.0 Back: 8.901 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.241 Prop: 700.828 PropClause: 681.128 Set: 238.487 Check: 0.0 Back: 9.784 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.319 Prop: 743.709 PropClause: 723.079 Set: 245.339 Check: 0.0 Back: 10.647 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.364 Prop: 788.738 PropClause: 767.187 Set: 252.115 Check: 0.0 Back: 11.509 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.413 Prop: 831.474 PropClause: 809.003 Set: 258.881 Check: 0.0 Back: 12.371 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.461 Prop: 883.239 PropClause: 859.739 Set: 266.973 Check: 0.0 Back: 13.224 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.508 Prop: 927.52 PropClause: 903.095 Set: 273.754 Check: 0.0 Back: 14.075 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.568 Prop: 972.611 PropClause: 947.268 Set: 280.609 Check: 0.0 Back: 14.944 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.617 Prop: 1022.845 PropClause: 996.584 Set: 287.588 Check: 0.0 Back: 15.796 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.666 Prop: 1071.114 PropClause: 1043.937 Set: 298.005 Check: 0.0 Back: 16.653 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.711 Prop: 1121.387 PropClause: 1093.304 Set: 308.357 Check: 0.0 Back: 17.495 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.763 Prop: 1168.548 PropClause: 1139.448 Set: 320.06 Check: 0.0 Back: 18.401 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.81 Prop: 1215.974 PropClause: 1185.968 Set: 344.237 Check: 0.0 Back: 19.245 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.852 Prop: 1257.941 PropClause: 1227.031 Set: 350.853 Check: 0.0 Back: 20.114 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.904 Prop: 1310.585 PropClause: 1278.757 Set: 357.763 Check: 0.0 Back: 20.957 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.995 Prop: 1358.966 PropClause: 1326.21 Set: 364.93 Check: 0.0 Back: 21.845 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: 2.05 Prop: 1422.111 PropClause: 1388.304 Set: 374.27 Check: 0.0 Back: 22.688 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: 2.092 Prop: 1462.797 PropClause: 1428.095 Set: 380.842 Check: 0.0 Back: 23.545 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.137 Prop: 1506.81 PropClause: 1471.211 Set: 387.384 Check: 0.0 Back: 24.378 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.18 Prop: 1549.19 PropClause: 1512.703 Set: 393.828 Check: 0.0 Back: 25.216 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.226 Prop: 1594.95 PropClause: 1557.364 Set: 400.385 Check: 0.0 Back: 26.084 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.269 Prop: 1634.815 PropClause: 1596.351 Set: 406.722 Check: 0.0 Back: 26.903 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.31 Prop: 1678.556 PropClause: 1639.218 Set: 413.084 Check: 0.0 Back: 27.71 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.353 Prop: 1717.681 PropClause: 1677.474 Set: 419.367 Check: 0.0 Back: 28.522 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.394 Prop: 1757.938 PropClause: 1716.853 Set: 425.669 Check: 0.0 Back: 29.33 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.434 Prop: 1797.22 PropClause: 1755.264 Set: 431.942 Check: 0.0 Back: 30.142 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.478 Prop: 1839.918 PropClause: 1797.089 Set: 438.316 Check: 0.0 Back: 30.953 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.523 Prop: 1881.05 PropClause: 1837.347 Set: 444.634 Check: 0.0 Back: 31.78 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.566 Prop: 1920.877 PropClause: 1876.318 Set: 453.726 Check: 0.0 Back: 32.692 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.61 Prop: 1965.045 PropClause: 1919.632 Set: 462.912 Check: 0.0 Back: 33.612 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.656 Prop: 2005.908 PropClause: 1959.639 Set: 469.063 Check: 0.0 Back: 34.511 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.694 Prop: 2046.044 PropClause: 1998.916 Set: 475.235 Check: 0.0 Back: 35.309 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.748 Prop: 2087.153 PropClause: 2039.169 Set: 481.441 Check: 0.0 Back: 36.109 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.789 Prop: 2121.852 PropClause: 2073.013 Set: 487.587 Check: 0.0 Back: 36.93 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.835 Prop: 2164.379 PropClause: 2114.699 Set: 493.75 Check: 0.0 Back: 37.748 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.874 Prop: 2201.107 PropClause: 2150.574 Set: 499.791 Check: 0.0 Back: 38.539 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.917 Prop: 2239.791 PropClause: 2188.417 Set: 505.835 Check: 0.0 Back: 39.319 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.96 Prop: 2279.476 PropClause: 2227.257 Set: 511.918 Check: 0.0 Back: 40.127 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: 3.001 Prop: 2319.184 PropClause: 2266.122 Set: 517.947 Check: 0.0 Back: 40.908 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: 3.046 Prop: 2358.774 PropClause: 2304.874 Set: 524.019 Check: 0.0 Back: 41.692 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: 3.111 Prop: 2404.027 PropClause: 2349.289 Set: 530.106 Check: 0.0 Back: 42.47 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: 3.155 Prop: 2441.022 PropClause: 2385.452 Set: 536.151 Check: 0.0 Back: 43.247 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.204 Prop: 2492.033 PropClause: 2435.479 Set: 544.164 Check: 0.0 Back: 44.01 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.302 Prop: 2526.753 PropClause: 2469.37 Set: 550.05 Check: 0.0 Back: 44.918 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.318 Prop: 2569.69 PropClause: 2511.479 Set: 556.06 Check: 0.0 Back: 45.683 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.337 Prop: 2604.057 PropClause: 2545.023 Set: 561.978 Check: 0.0 Back: 46.465 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.357 Prop: 2642.405 PropClause: 2582.546 Set: 567.911 Check: 0.0 Back: 47.228 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.374 Prop: 2680.99 PropClause: 2620.317 Set: 573.846 Check: 0.0 Back: 47.989 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.391 Prop: 2717.35 PropClause: 2655.861 Set: 579.621 Check: 0.0 Back: 48.745 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.415 Prop: 2762.216 PropClause: 2699.922 Set: 585.586 Check: 0.0 Back: 49.502 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.433 Prop: 2804.501 PropClause: 2741.401 Set: 591.448 Check: 0.0 Back: 50.289 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.451 Prop: 2841.499 PropClause: 2777.591 Set: 597.241 Check: 0.0 Back: 51.051 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.47 Prop: 2880.789 PropClause: 2816.073 Set: 603.041 Check: 0.0 Back: 51.809 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.488 Prop: 2917.769 PropClause: 2852.25 Set: 608.809 Check: 0.0 Back: 52.557 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.534 Prop: 2952.214 PropClause: 2885.894 Set: 614.48 Check: 0.0 Back: 53.302 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.559 Prop: 2991.1 PropClause: 2923.984 Set: 620.188 Check: 0.0 Back: 54.051 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.577 Prop: 3029.085 PropClause: 2961.17 Set: 625.85 Check: 0.0 Back: 54.79 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.591 Prop: 3062.788 PropClause: 2994.085 Set: 631.458 Check: 0.0 Back: 55.52 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.604 Prop: 3099.936 PropClause: 3030.445 Set: 637.158 Check: 0.0 Back: 56.247 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.622 Prop: 3134.698 PropClause: 3064.417 Set: 642.806 Check: 0.0 Back: 56.997 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.637 Prop: 3172.04 PropClause: 3100.972 Set: 648.465 Check: 0.0 Back: 57.73 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.652 Prop: 3210.051 PropClause: 3138.198 Set: 654.05 Check: 0.0 Back: 58.46 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.666 Prop: 3245.637 PropClause: 3173.001 Set: 659.598 Check: 0.0 Back: 59.196 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.682 Prop: 3280.025 PropClause: 3206.616 Set: 665.057 Check: 0.0 Back: 59.934 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.697 Prop: 3318.544 PropClause: 3244.363 Set: 670.548 Check: 0.0 Back: 60.656 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.713 Prop: 3354.118 PropClause: 3279.163 Set: 676.034 Check: 0.0 Back: 61.371 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.728 Prop: 3386.754 PropClause: 3311.03 Set: 681.447 Check: 0.0 Back: 62.086 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.748 Prop: 3424.186 PropClause: 3347.694 Set: 687.003 Check: 0.0 Back: 62.804 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.765 Prop: 3457.774 PropClause: 3380.514 Set: 692.437 Check: 0.0 Back: 63.52 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.784 Prop: 3491.802 PropClause: 3413.778 Set: 697.911 Check: 0.0 Back: 64.229 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.801 Prop: 3530.324 PropClause: 3451.537 Set: 703.414 Check: 0.0 Back: 64.938 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.821 Prop: 3566.291 PropClause: 3486.746 Set: 708.867 Check: 0.0 Back: 65.646 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.839 Prop: 3602.018 PropClause: 3521.718 Set: 714.212 Check: 0.0 Back: 66.355 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.858 Prop: 3638.778 PropClause: 3557.72 Set: 719.597 Check: 0.0 Back: 67.063 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.875 Prop: 3676.213 PropClause: 3594.392 Set: 724.917 Check: 0.0 Back: 67.761 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.934 Prop: 3710.385 PropClause: 3627.807 Set: 730.214 Check: 0.0 Back: 68.459 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.997 Prop: 3748.749 PropClause: 3665.419 Set: 751.062 Check: 0.0 Back: 69.179 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: 4.007 Prop: 3782.11 PropClause: 3698.034 Set: 756.325 Check: 0.0 Back: 69.887 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: 4.02 Prop: 3816.124 PropClause: 3731.295 Set: 761.66 Check: 0.0 Back: 70.587 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: 4.031 Prop: 3848.976 PropClause: 3763.406 Set: 766.93 Check: 0.0 Back: 71.281 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: 4.044 Prop: 3884.997 PropClause: 3798.679 Set: 772.151 Check: 0.0 Back: 71.981 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: 4.055 Prop: 3914.102 PropClause: 3827.059 Set: 777.219 Check: 0.0 Back: 72.666 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: 4.065 Prop: 3942.157 PropClause: 3854.388 Set: 782.242 Check: 0.0 Back: 73.342 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: 4.076 Prop: 3970.378 PropClause: 3881.875 Set: 787.279 Check: 0.0 Back: 74.014 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.087 Prop: 4000.992 PropClause: 3911.758 Set: 792.339 Check: 0.0 Back: 74.691 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.101 Prop: 4029.005 PropClause: 3939.044 Set: 797.448 Check: 0.0 Back: 75.362 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.112 Prop: 4061.021 PropClause: 3970.339 Set: 802.516 Check: 0.0 Back: 76.033 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.124 Prop: 4087.678 PropClause: 3996.277 Set: 807.484 Check: 0.0 Back: 76.712 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.138 Prop: 4116.655 PropClause: 4024.53 Set: 812.55 Check: 0.0 Back: 77.382 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.16 Prop: 4141.719 PropClause: 4048.882 Set: 817.452 Check: 0.0 Back: 78.049 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.172 Prop: 4172.163 PropClause: 4078.62 Set: 822.424 Check: 0.0 Back: 78.706 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.186 Prop: 4196.978 PropClause: 4102.724 Set: 827.274 Check: 0.0 Back: 79.36 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.196 Prop: 4223.964 PropClause: 4129.005 Set: 832.128 Check: 0.0 Back: 80.009 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.209 Prop: 4253.456 PropClause: 4157.798 Set: 837.001 Check: 0.0 Back: 80.663 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.221 Prop: 4281.621 PropClause: 4185.239 Set: 841.877 Check: 0.0 Back: 81.309 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.232 Prop: 4304.745 PropClause: 4207.657 Set: 846.686 Check: 0.0 Back: 81.963 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.244 Prop: 4328.806 PropClause: 4231.022 Set: 851.451 Check: 0.0 Back: 82.614 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.254 Prop: 4356.042 PropClause: 4257.563 Set: 856.265 Check: 0.0 Back: 83.271 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.267 Prop: 4381.905 PropClause: 4282.728 Set: 861.015 Check: 0.0 Back: 83.926 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.279 Prop: 4404.326 PropClause: 4304.464 Set: 865.68 Check: 0.0 Back: 84.571 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.291 Prop: 4427.38 PropClause: 4326.827 Set: 870.333 Check: 0.0 Back: 85.213 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.302 Prop: 4453.849 PropClause: 4352.618 Set: 874.989 Check: 0.0 Back: 85.845 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.312 Prop: 4477.659 PropClause: 4375.745 Set: 879.589 Check: 0.0 Back: 86.494 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.323 Prop: 4503.917 PropClause: 4401.328 Set: 884.269 Check: 0.0 Back: 87.121 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.333 Prop: 4527.108 PropClause: 4423.847 Set: 888.838 Check: 0.0 Back: 87.752 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.343 Prop: 4554.463 PropClause: 4450.526 Set: 893.509 Check: 0.0 Back: 88.369 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.354 Prop: 4577.249 PropClause: 4472.641 Set: 898.071 Check: 0.0 Back: 88.997 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.364 Prop: 4598.583 PropClause: 4493.299 Set: 902.632 Check: 0.0 Back: 89.623 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.376 Prop: 4622.411 PropClause: 4516.459 Set: 907.224 Check: 0.0 Back: 90.246 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.386 Prop: 4647.503 PropClause: 4540.882 Set: 911.857 Check: 0.0 Back: 90.864 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.396 Prop: 4673.532 PropClause: 4566.243 Set: 916.38 Check: 0.0 Back: 91.483 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.408 Prop: 4697.38 PropClause: 4589.435 Set: 920.875 Check: 0.0 Back: 92.1 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.419 Prop: 4720.123 PropClause: 4611.526 Set: 925.297 Check: 0.0 Back: 92.709 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.429 Prop: 4745.364 PropClause: 4636.115 Set: 929.756 Check: 0.0 Back: 93.312 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.44 Prop: 4771.275 PropClause: 4661.378 Set: 934.202 Check: 0.0 Back: 93.913 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.449 Prop: 4791.962 PropClause: 4681.414 Set: 938.587 Check: 0.0 Back: 94.515 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.46 Prop: 4813.998 PropClause: 4702.789 Set: 942.981 Check: 0.0 Back: 95.119 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.472 Prop: 4837.549 PropClause: 4725.694 Set: 947.431 Check: 0.0 Back: 95.721 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.486 Prop: 4864.37 PropClause: 4751.836 Set: 951.896 Check: 0.0 Back: 96.376 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.5 Prop: 4888.314 PropClause: 4775.128 Set: 956.32 Check: 0.0 Back: 96.986 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.511 Prop: 4908.147 PropClause: 4794.323 Set: 960.641 Check: 0.0 Back: 97.582 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.522 Prop: 4927.298 PropClause: 4812.837 Set: 964.92 Check: 0.0 Back: 98.18 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.534 Prop: 4948.842 PropClause: 4833.75 Set: 969.201 Check: 0.0 Back: 98.77 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.547 Prop: 4970.623 PropClause: 4854.894 Set: 973.456 Check: 0.0 Back: 99.355 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.566 Prop: 4999.447 PropClause: 4882.912 Set: 979.123 Check: 0.0 Back: 99.935 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.583 Prop: 5019.56 PropClause: 4902.385 Set: 983.477 Check: 0.0 Back: 100.624 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.602 Prop: 5044.294 PropClause: 4926.463 Set: 987.896 Check: 0.0 Back: 101.221 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.62 Prop: 5068.05 PropClause: 4949.574 Set: 992.342 Check: 0.0 Back: 101.819 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.637 Prop: 5088.868 PropClause: 4969.751 Set: 996.685 Check: 0.0 Back: 102.424 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.652 Prop: 5113.632 PropClause: 4993.864 Set: 1001.2 Check: 0.0 Back: 103.019 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.667 Prop: 5139.915 PropClause: 5019.5 Set: 1005.686 Check: 0.0 Back: 103.623 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 4462455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.682 Prop: 5164.639 PropClause: 5043.566 Set: 1010.183 Check: 0.0 Back: 104.22 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 4488495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.698 Prop: 5190.685 PropClause: 5068.965 Set: 1014.64 Check: 0.0 Back: 104.822 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 4514618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.713 Prop: 5214.823 PropClause: 5092.459 Set: 1019.104 Check: 0.0 Back: 105.419 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 4540379 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.732 Prop: 5242.979 PropClause: 5119.973 Set: 1023.596 Check: 0.0 Back: 106.013 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 4566428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.747 Prop: 5266.731 PropClause: 5143.078 Set: 1028.057 Check: 0.0 Back: 106.618 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 4592552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.764 Prop: 5294.432 PropClause: 5170.121 Set: 1032.738 Check: 0.0 Back: 107.215 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 4618686 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.782 Prop: 5318.833 PropClause: 5193.869 Set: 1037.206 Check: 0.0 Back: 107.814 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 4644726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.798 Prop: 5347.166 PropClause: 5221.555 Set: 1041.759 Check: 0.0 Back: 108.409 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 4670847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.816 Prop: 5373.876 PropClause: 5247.617 Set: 1046.302 Check: 0.0 Back: 109.009 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 4696615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.834 Prop: 5395.657 PropClause: 5268.758 Set: 1050.664 Check: 0.0 Back: 109.61 INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 4722664 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.85 Prop: 5415.714 PropClause: 5288.172 Set: 1055.056 Check: 0.0 Back: 110.206 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 4748788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.865 Prop: 5441.969 PropClause: 5313.781 Set: 1059.571 Check: 0.0 Back: 110.804 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 4774922 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.882 Prop: 5467.311 PropClause: 5338.475 Set: 1064.095 Check: 0.0 Back: 111.402 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 4800962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.899 Prop: 5491.978 PropClause: 5362.501 Set: 1068.542 Check: 0.0 Back: 112.003 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 4827083 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.915 Prop: 5514.246 PropClause: 5384.123 Set: 1073.021 Check: 0.0 Back: 112.599 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 4852850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.933 Prop: 5539.733 PropClause: 5408.939 Set: 1087.607 Check: 0.0 Back: 113.201 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 4878899 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.949 Prop: 5564.287 PropClause: 5432.852 Set: 1092.081 Check: 0.0 Back: 113.793 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 4905023 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.968 Prop: 5589.323 PropClause: 5457.242 Set: 1096.616 Check: 0.0 Back: 114.39 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 4931159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.983 Prop: 5610.763 PropClause: 5478.031 Set: 1101.047 Check: 0.0 Back: 114.985 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 4957199 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.997 Prop: 5637.615 PropClause: 5504.236 Set: 1105.561 Check: 0.0 Back: 115.587 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 4983320 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.012 Prop: 5663.779 PropClause: 5529.751 Set: 1110.111 Check: 0.0 Back: 116.185 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 5009086 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.03 Prop: 5687.294 PropClause: 5552.626 Set: 1114.484 Check: 0.0 Back: 116.787 INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 5035135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.045 Prop: 5710.514 PropClause: 5575.189 Set: 1118.969 Check: 0.0 Back: 117.379 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 5061259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.064 Prop: 5736.297 PropClause: 5600.322 Set: 1123.549 Check: 0.0 Back: 117.987 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 5087395 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.08 Prop: 5761.611 PropClause: 5624.988 Set: 1128.083 Check: 0.0 Back: 118.597 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 5113435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.097 Prop: 5786.574 PropClause: 5649.311 Set: 1132.547 Check: 0.0 Back: 119.198 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 5139556 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.115 Prop: 5811.095 PropClause: 5673.191 Set: 1137.042 Check: 0.0 Back: 119.789 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 5165317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.131 Prop: 5835.688 PropClause: 5697.148 Set: 1141.404 Check: 0.0 Back: 120.387 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 5191366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.149 Prop: 5861.895 PropClause: 5722.7 Set: 1145.961 Check: 0.0 Back: 120.973 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 5217490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.167 Prop: 5887.334 PropClause: 5747.497 Set: 1150.464 Check: 0.0 Back: 121.569 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 5243624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.184 Prop: 5910.597 PropClause: 5770.11 Set: 1155.013 Check: 0.0 Back: 122.167 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 5269664 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.2 Prop: 5933.14 PropClause: 5792.004 Set: 1159.458 Check: 0.0 Back: 122.768 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 5295785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.219 Prop: 5956.306 PropClause: 5814.52 Set: 1163.947 Check: 0.0 Back: 123.368 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 5321546 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.236 Prop: 5978.491 PropClause: 5836.064 Set: 1168.305 Check: 0.0 Back: 123.972 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 5347596 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.252 Prop: 5999.903 PropClause: 5856.826 Set: 1172.806 Check: 0.0 Back: 124.565 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 5373719 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.268 Prop: 6020.85 PropClause: 5877.128 Set: 1177.236 Check: 0.0 Back: 125.167 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 5399855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.285 Prop: 6045.885 PropClause: 5901.517 Set: 1181.798 Check: 0.0 Back: 125.765 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 5425895 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.33 Prop: 6070.832 PropClause: 5925.818 Set: 1186.287 Check: 0.0 Back: 126.363 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 5452016 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.343 Prop: 6091.519 PropClause: 5945.859 Set: 1190.745 Check: 0.0 Back: 126.963 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 5477777 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.355 Prop: 6112.49 PropClause: 5966.192 Set: 1195.127 Check: 0.0 Back: 127.562 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 5503827 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.368 Prop: 6137.405 PropClause: 5990.461 Set: 1199.585 Check: 0.0 Back: 128.153 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 5529950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.383 Prop: 6162.386 PropClause: 6014.794 Set: 1204.114 Check: 0.0 Back: 128.755 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 5556084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.397 Prop: 6186.534 PropClause: 6038.293 Set: 1208.655 Check: 0.0 Back: 129.355 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 5582124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.409 Prop: 6206.975 PropClause: 6058.087 Set: 1213.117 Check: 0.0 Back: 129.958 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 5608245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.421 Prop: 6230.987 PropClause: 6081.451 Set: 1217.669 Check: 0.0 Back: 130.567 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 5634006 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.436 Prop: 6254.069 PropClause: 6103.89 Set: 1222.062 Check: 0.0 Back: 131.178 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 5660056 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.448 Prop: 6275.869 PropClause: 6125.043 Set: 1226.533 Check: 0.0 Back: 131.775 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 5686179 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.491 Prop: 6299.73 PropClause: 6148.256 Set: 1231.025 Check: 0.0 Back: 132.371 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 5712315 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.534 Prop: 6323.744 PropClause: 6171.621 Set: 1235.513 Check: 0.0 Back: 132.968 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 5738355 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.549 Prop: 6351.778 PropClause: 6199.011 Set: 1240.111 Check: 0.0 Back: 133.567 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 5764476 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.56 Prop: 6372.63 PropClause: 6219.22 Set: 1244.567 Check: 0.0 Back: 134.162 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 5790244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.571 Prop: 6393.972 PropClause: 6239.928 Set: 1248.941 Check: 0.0 Back: 134.76 INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 5816294 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.587 Prop: 6416.312 PropClause: 6261.623 Set: 1253.428 Check: 0.0 Back: 135.347 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 5842417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.623 Prop: 6441.862 PropClause: 6286.523 Set: 1257.951 Check: 0.0 Back: 135.946 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 5868553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.631 Prop: 6465.41 PropClause: 6309.421 Set: 1262.458 Check: 0.0 Back: 136.546 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 5894593 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.639 Prop: 6491.607 PropClause: 6334.971 Set: 1267.015 Check: 0.0 Back: 137.148 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 5920714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.645 Prop: 6514.683 PropClause: 6357.397 Set: 1271.492 Check: 0.0 Back: 137.746 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 5946475 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.654 Prop: 6540.654 PropClause: 6382.725 Set: 1275.971 Check: 0.0 Back: 138.349 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 5972524 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.663 Prop: 6562.879 PropClause: 6404.305 Set: 1280.438 Check: 0.0 Back: 138.951 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 5998648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.671 Prop: 6583.523 PropClause: 6424.303 Set: 1284.862 Check: 0.0 Back: 139.547 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 6024784 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.679 Prop: 6605.674 PropClause: 6445.808 Set: 1289.339 Check: 0.0 Back: 140.184 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 6050824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.686 Prop: 6633.537 PropClause: 6473.029 Set: 1293.858 Check: 0.0 Back: 140.78 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 6076945 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.694 Prop: 6659.17 PropClause: 6498.019 Set: 1298.365 Check: 0.0 Back: 141.377 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 6102713 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.7 Prop: 6683.431 PropClause: 6521.644 Set: 1302.758 Check: 0.0 Back: 141.971 INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 6128762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.709 Prop: 6703.58 PropClause: 6541.145 Set: 1307.254 Check: 0.0 Back: 142.57 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 6154886 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.716 Prop: 6728.599 PropClause: 6565.504 Set: 1311.816 Check: 0.0 Back: 143.17 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 6181022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.723 Prop: 6754.265 PropClause: 6590.515 Set: 1316.394 Check: 0.0 Back: 143.769 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 6207062 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.732 Prop: 6778.915 PropClause: 6614.518 Set: 1320.912 Check: 0.0 Back: 144.37 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 6233183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.738 Prop: 6802.421 PropClause: 6637.374 Set: 1325.412 Check: 0.0 Back: 144.968 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 6258949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.745 Prop: 6828.721 PropClause: 6663.035 Set: 1329.899 Check: 0.0 Back: 145.569 INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 6284998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.752 Prop: 6854.729 PropClause: 6688.401 Set: 1334.407 Check: 0.0 Back: 146.163 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 6311122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.759 Prop: 6878.314 PropClause: 6711.342 Set: 1338.879 Check: 0.0 Back: 146.757 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 6337258 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.766 Prop: 6901.347 PropClause: 6733.73 Set: 1343.348 Check: 0.0 Back: 147.351 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 6363298 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.774 Prop: 6928.982 PropClause: 6760.723 Set: 1347.857 Check: 0.0 Back: 147.946 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 6389419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.781 Prop: 6954.487 PropClause: 6785.585 Set: 1352.395 Check: 0.0 Back: 148.543 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 6415180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.79 Prop: 6978.631 PropClause: 6809.093 Set: 1356.817 Check: 0.0 Back: 149.136 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 6441229 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.796 Prop: 7001.756 PropClause: 6831.57 Set: 1361.338 Check: 0.0 Back: 149.724 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 6467353 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.803 Prop: 7026.082 PropClause: 6855.247 Set: 1365.887 Check: 0.0 Back: 150.33 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 6493487 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.81 Prop: 7050.684 PropClause: 6879.196 Set: 1370.45 Check: 0.0 Back: 150.935 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 6519527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.817 Prop: 7075.271 PropClause: 6903.136 Set: 1375.042 Check: 0.0 Back: 151.536 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 6545648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.825 Prop: 7098.116 PropClause: 6925.331 Set: 1379.56 Check: 0.0 Back: 152.144 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 6571415 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.832 Prop: 7124.551 PropClause: 6951.129 Set: 1384.042 Check: 0.0 Back: 152.747 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 6597465 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.839 Prop: 7149.627 PropClause: 6975.562 Set: 1388.617 Check: 0.0 Back: 153.338 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 6623588 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.846 Prop: 7174.636 PropClause: 6999.926 Set: 1393.131 Check: 0.0 Back: 153.944 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 6649722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.854 Prop: 7197.531 PropClause: 7022.174 Set: 1397.6 Check: 0.0 Back: 154.569 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 6675762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.862 Prop: 7222.798 PropClause: 7046.799 Set: 1402.162 Check: 0.0 Back: 155.165 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 6701883 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.869 Prop: 7248.621 PropClause: 7071.977 Set: 1406.733 Check: 0.0 Back: 155.761 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 6727649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.876 Prop: 7274.51 PropClause: 7097.226 Set: 1411.143 Check: 0.0 Back: 156.366 INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 6753698 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.884 Prop: 7299.339 PropClause: 7121.406 Set: 1415.725 Check: 0.0 Back: 156.961 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 6779822 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.892 Prop: 7324.173 PropClause: 7145.589 Set: 1420.315 Check: 0.0 Back: 157.56 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 6805958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.899 Prop: 7350.674 PropClause: 7171.441 Set: 1424.907 Check: 0.0 Back: 158.16 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 6831998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.907 Prop: 7375.382 PropClause: 7195.502 Set: 1429.428 Check: 0.0 Back: 158.764 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 6858119 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.915 Prop: 7401.181 PropClause: 7220.655 Set: 1433.975 Check: 0.0 Back: 159.36 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 6883880 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.922 Prop: 7425.407 PropClause: 7244.246 Set: 1438.402 Check: 0.0 Back: 159.964 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 6909930 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.93 Prop: 7451.217 PropClause: 7269.412 Set: 1442.911 Check: 0.0 Back: 160.552 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 6936053 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.937 Prop: 7478.138 PropClause: 7295.688 Set: 1447.508 Check: 0.0 Back: 161.145 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 6962189 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.944 Prop: 7501.986 PropClause: 7318.888 Set: 1452.036 Check: 0.0 Back: 161.742 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 6988229 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.953 Prop: 7528.729 PropClause: 7344.985 Set: 1456.608 Check: 0.0 Back: 162.341 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 7014350 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.959 Prop: 7556.538 PropClause: 7372.144 Set: 1461.262 Check: 0.0 Back: 162.938 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 7040117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.965 Prop: 7583.766 PropClause: 7398.731 Set: 1465.798 Check: 0.0 Back: 163.541 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 7066167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.973 Prop: 7608.207 PropClause: 7422.524 Set: 1470.39 Check: 0.0 Back: 164.135 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 7092290 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.981 Prop: 7633.57 PropClause: 7447.235 Set: 1474.983 Check: 0.0 Back: 164.735 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 7118424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.988 Prop: 7662.431 PropClause: 7475.445 Set: 1479.684 Check: 0.0 Back: 165.349 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 7144464 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.996 Prop: 7689.836 PropClause: 7502.201 Set: 1484.26 Check: 0.0 Back: 165.951 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 7170585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.003 Prop: 7714.542 PropClause: 7526.263 Set: 1488.783 Check: 0.0 Back: 166.549 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 7196351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.011 Prop: 7738.853 PropClause: 7549.937 Set: 1493.239 Check: 0.0 Back: 167.151 INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 7222400 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.017 Prop: 7766.074 PropClause: 7576.502 Set: 1497.809 Check: 0.0 Back: 167.737 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 7248524 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.025 Prop: 7791.531 PropClause: 7601.315 Set: 1502.361 Check: 0.0 Back: 168.345 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 7274658 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.032 Prop: 7811.712 PropClause: 7620.852 Set: 1506.819 Check: 0.0 Back: 168.964 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 7300698 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.037 Prop: 7832.005 PropClause: 7640.504 Set: 1511.245 Check: 0.0 Back: 169.562 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 7326819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.044 Prop: 7852.761 PropClause: 7660.616 Set: 1515.707 Check: 0.0 Back: 170.157 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 7352580 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.053 Prop: 7879.457 PropClause: 7686.66 Set: 1520.357 Check: 0.0 Back: 170.757 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 7378629 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.062 Prop: 7903.607 PropClause: 7710.161 Set: 1524.945 Check: 0.0 Back: 171.352 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 7404753 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.069 Prop: 7929.957 PropClause: 7735.861 Set: 1529.571 Check: 0.0 Back: 171.952 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 7430889 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.077 Prop: 7950.763 PropClause: 7756.019 Set: 1534.126 Check: 0.0 Back: 172.551 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 7456929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.085 Prop: 7976.214 PropClause: 7780.782 Set: 1538.689 Check: 0.0 Back: 173.166 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 7483050 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.094 Prop: 7998.293 PropClause: 7802.185 Set: 1543.173 Check: 0.0 Back: 173.784 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 7508817 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.102 Prop: 8019.898 PropClause: 7823.154 Set: 1547.582 Check: 0.0 Back: 174.383 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 7534866 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.11 Prop: 8041.275 PropClause: 7843.89 Set: 1552.093 Check: 0.0 Back: 174.974 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 7560990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.117 Prop: 8067.73 PropClause: 7869.701 Set: 1556.704 Check: 0.0 Back: 175.568 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 7586752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.125 Prop: 8094.567 PropClause: 7895.903 Set: 1561.222 Check: 0.0 Back: 176.165 INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 7612873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.133 Prop: 8119.942 PropClause: 7920.634 Set: 1565.862 Check: 0.0 Back: 176.755 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 7638925 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.139 Prop: 8141.384 PropClause: 7941.436 Set: 1570.369 Check: 0.0 Back: 177.354 INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 7665064 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.146 Prop: 8167.133 PropClause: 7966.536 Set: 1575.031 Check: 0.0 Back: 177.952 INFO - Atoms: 26139/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 7691184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.154 Prop: 8192.934 PropClause: 7991.692 Set: 1579.662 Check: 0.0 Back: 178.554 INFO - Atoms: 26120/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 7717226 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.162 Prop: 8216.364 PropClause: 8014.477 Set: 1584.193 Check: 0.0 Back: 179.156 INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 7742988 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.169 Prop: 8238.378 PropClause: 8035.855 Set: 1588.616 Check: 0.0 Back: 179.751 INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 7769109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.178 Prop: 8265.011 PropClause: 8061.843 Set: 1593.223 Check: 0.0 Back: 180.346 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 7795161 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.185 Prop: 8288.503 PropClause: 8084.698 Set: 1597.739 Check: 0.0 Back: 180.94 INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 7821300 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.192 Prop: 8310.731 PropClause: 8106.279 Set: 1602.307 Check: 0.0 Back: 181.535 INFO - Atoms: 26139/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 7847423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.199 Prop: 8332.758 PropClause: 8127.665 Set: 1606.806 Check: 0.0 Back: 182.14 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 7873465 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.206 Prop: 8353.968 PropClause: 8148.237 Set: 1611.277 Check: 0.0 Back: 182.738 INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 7899599 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.212 Prop: 8380.519 PropClause: 8174.121 Set: 1615.839 Check: 0.0 Back: 183.334 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 7925639 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.22 Prop: 8404.707 PropClause: 8197.67 Set: 1620.367 Check: 0.0 Back: 183.931 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 7951760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.227 Prop: 8425.133 PropClause: 8217.45 Set: 1624.885 Check: 0.0 Back: 184.524 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 7977521 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.235 Prop: 8447.49 PropClause: 8239.169 Set: 1629.372 Check: 0.0 Back: 185.125 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 8003573 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.244 Prop: 8471.991 PropClause: 8263.026 Set: 1633.933 Check: 0.0 Back: 185.718 INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 8029694 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.252 Prop: 8497.857 PropClause: 8288.243 Set: 1638.563 Check: 0.0 Back: 186.316 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 8055830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.258 Prop: 8518.814 PropClause: 8308.547 Set: 1643.082 Check: 0.0 Back: 186.916 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 8081870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.265 Prop: 8539.728 PropClause: 8328.816 Set: 1647.576 Check: 0.0 Back: 187.516 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 8107991 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.273 Prop: 8564.581 PropClause: 8353.029 Set: 1652.134 Check: 0.0 Back: 188.12 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 8133752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.281 Prop: 8587.883 PropClause: 8375.699 Set: 1656.585 Check: 0.0 Back: 188.712 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 8159802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.29 Prop: 8608.822 PropClause: 8395.997 Set: 1661.15 Check: 0.0 Back: 189.303 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 8185925 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.297 Prop: 8630.026 PropClause: 8416.562 Set: 1665.678 Check: 0.0 Back: 189.899 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 8212059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.305 Prop: 8653.079 PropClause: 8438.972 Set: 1670.27 Check: 0.0 Back: 190.499 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 8238099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.313 Prop: 8679.163 PropClause: 8464.403 Set: 1674.882 Check: 0.0 Back: 191.101 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 8264220 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.321 Prop: 8701.664 PropClause: 8486.258 Set: 1679.475 Check: 0.0 Back: 191.704 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 8289981 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.33 Prop: 8725.164 PropClause: 8509.116 Set: 1684.034 Check: 0.0 Back: 192.312 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 8316031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.337 Prop: 8755.408 PropClause: 8538.673 Set: 1689.165 Check: 0.0 Back: 192.909 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 8342154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.346 Prop: 8781.439 PropClause: 8564.056 Set: 1693.851 Check: 0.0 Back: 193.623 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 8368288 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.353 Prop: 8806.157 PropClause: 8588.103 Set: 1698.478 Check: 0.0 Back: 194.224 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 8394328 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.361 Prop: 8829.955 PropClause: 8611.257 Set: 1703.126 Check: 0.0 Back: 194.824 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 8420449 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.37 Prop: 8854.971 PropClause: 8635.631 Set: 1707.706 Check: 0.0 Back: 195.513 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 8446210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.377 Prop: 8883.077 PropClause: 8663.102 Set: 1712.239 Check: 0.0 Back: 196.11 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 8472259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.386 Prop: 8908.326 PropClause: 8687.708 Set: 1716.788 Check: 0.0 Back: 196.7 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 8498383 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.393 Prop: 8931.968 PropClause: 8710.694 Set: 1721.473 Check: 0.0 Back: 197.308 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 8524519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.401 Prop: 8954.898 PropClause: 8732.957 Set: 1726.097 Check: 0.0 Back: 197.912 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 8550559 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.409 Prop: 8980.517 PropClause: 8757.933 Set: 1730.681 Check: 0.0 Back: 198.516 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 8576680 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.416 Prop: 9005.925 PropClause: 8782.696 Set: 1735.318 Check: 0.0 Back: 199.119 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 8602447 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.422 Prop: 9027.92 PropClause: 8804.054 Set: 1739.765 Check: 0.0 Back: 199.759 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 8628496 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.43 Prop: 9052.814 PropClause: 8828.301 Set: 1744.417 Check: 0.0 Back: 200.352 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 8654620 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.446 Prop: 9078.407 PropClause: 8853.248 Set: 1749.072 Check: 0.0 Back: 200.951 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 8680756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.452 Prop: 9103.172 PropClause: 8877.366 Set: 1753.657 Check: 0.0 Back: 201.553 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 8706796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.459 Prop: 9124.169 PropClause: 8897.712 Set: 1758.138 Check: 0.0 Back: 202.158 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 8732917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.467 Prop: 9145.952 PropClause: 8918.855 Set: 1762.663 Check: 0.0 Back: 202.766 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 8758684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.473 Prop: 9166.593 PropClause: 8938.866 Set: 1767.079 Check: 0.0 Back: 203.362 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 8784733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.48 Prop: 9192.768 PropClause: 8964.402 Set: 1771.626 Check: 0.0 Back: 203.947 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 8810857 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.488 Prop: 9219.425 PropClause: 8990.416 Set: 1776.27 Check: 0.0 Back: 204.544 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 8836619 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.495 Prop: 9240.18 PropClause: 9010.539 Set: 1780.656 Check: 0.0 Back: 205.148 INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 8862740 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.503 Prop: 9260.714 PropClause: 9030.434 Set: 1785.127 Check: 0.0 Back: 205.732 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 8888792 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.511 Prop: 9287.185 PropClause: 9056.267 Set: 1789.675 Check: 0.0 Back: 206.328 INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 8914553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.518 Prop: 9313.748 PropClause: 9082.195 Set: 1794.197 Check: 0.0 Back: 206.924 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 8940605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.524 Prop: 9333.427 PropClause: 9101.228 Set: 1798.737 Check: 0.0 Back: 207.532 INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 8966726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.531 Prop: 9358.48 PropClause: 9125.635 Set: 1803.317 Check: 0.0 Back: 208.13 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 8992860 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.538 Prop: 9383.183 PropClause: 9149.689 Set: 1807.895 Check: 0.0 Back: 208.732 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 9018900 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.545 Prop: 9408.34 PropClause: 9174.2 Set: 1812.46 Check: 0.0 Back: 209.341 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 9045023 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.552 Prop: 9428.548 PropClause: 9193.764 Set: 1817.005 Check: 0.0 Back: 209.941 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 9070784 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.558 Prop: 9449.083 PropClause: 9213.66 Set: 1821.42 Check: 0.0 Back: 210.539 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 9096834 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.566 Prop: 9471.334 PropClause: 9235.273 Set: 1825.964 Check: 0.0 Back: 211.13 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 9122957 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.571 Prop: 9498.476 PropClause: 9261.776 Set: 1830.62 Check: 0.0 Back: 211.722 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 9149093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.578 Prop: 9525.539 PropClause: 9288.198 Set: 1835.254 Check: 0.0 Back: 212.316 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 9175133 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.585 Prop: 9548.23 PropClause: 9310.244 Set: 1839.794 Check: 0.0 Back: 212.912 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 9201254 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.592 Prop: 9567.741 PropClause: 9329.113 Set: 1844.281 Check: 0.0 Back: 213.506 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 9227022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.601 Prop: 9588.865 PropClause: 9349.606 Set: 1848.71 Check: 0.0 Back: 214.105 INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 9253071 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.608 Prop: 9611.218 PropClause: 9371.312 Set: 1853.288 Check: 0.0 Back: 214.694 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 9279195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.614 Prop: 9631.843 PropClause: 9391.294 Set: 1857.792 Check: 0.0 Back: 215.29 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 9305329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.621 Prop: 9651.677 PropClause: 9410.475 Set: 1862.309 Check: 0.0 Back: 215.893 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 9331369 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.628 Prop: 9675.348 PropClause: 9433.502 Set: 1866.875 Check: 0.0 Back: 216.494 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 9357490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.634 Prop: 9700.913 PropClause: 9458.421 Set: 1871.438 Check: 0.0 Back: 217.095 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 9383251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.641 Prop: 9726.811 PropClause: 9483.683 Set: 1875.971 Check: 0.0 Back: 217.694 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 9409300 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.649 Prop: 9750.02 PropClause: 9506.248 Set: 1880.537 Check: 0.0 Back: 218.288 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 9435424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.655 Prop: 9770.639 PropClause: 9526.227 Set: 1885.034 Check: 0.0 Back: 218.888 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 9461560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.661 Prop: 9794.303 PropClause: 9549.242 Set: 1889.586 Check: 0.0 Back: 219.49 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 9487600 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.669 Prop: 9820.545 PropClause: 9574.847 Set: 1894.149 Check: 0.0 Back: 220.099 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 9513721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.676 Prop: 9844.557 PropClause: 9598.219 Set: 1898.761 Check: 0.0 Back: 220.695 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 9539482 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.682 Prop: 9867.821 PropClause: 9620.851 Set: 1903.219 Check: 0.0 Back: 221.291 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 9565532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.69 Prop: 9891.072 PropClause: 9643.462 Set: 1907.774 Check: 0.0 Back: 221.88 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 9591655 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.697 Prop: 9915.427 PropClause: 9667.171 Set: 1912.436 Check: 0.0 Back: 222.481 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 9617789 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.704 Prop: 9937.949 PropClause: 9689.039 Set: 1916.997 Check: 0.0 Back: 223.09 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 9643829 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.71 Prop: 9961.014 PropClause: 9711.459 Set: 1921.614 Check: 0.0 Back: 223.703 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 9669950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.718 Prop: 9985.643 PropClause: 9735.441 Set: 1926.276 Check: 0.0 Back: 224.304 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 9695718 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.727 Prop: 10012.813 PropClause: 9761.974 Set: 1930.895 Check: 0.0 Back: 224.906 INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 9721767 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.735 Prop: 10037.301 PropClause: 9785.821 Set: 1935.528 Check: 0.0 Back: 225.556 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 9747891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.744 Prop: 10058.206 PropClause: 9806.083 Set: 1940.088 Check: 0.0 Back: 226.155 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 9774027 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.751 Prop: 10078.836 PropClause: 9826.075 Set: 1944.63 Check: 0.0 Back: 226.759 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 9800067 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.758 Prop: 10107.584 PropClause: 9854.186 Set: 1949.242 Check: 0.0 Back: 227.354 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 9826188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.764 Prop: 10133.438 PropClause: 9879.399 Set: 1953.895 Check: 0.0 Back: 227.944 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 9851949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.773 Prop: 10156.282 PropClause: 9901.615 Set: 1958.345 Check: 0.0 Back: 228.539 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 9877998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.78 Prop: 10176.298 PropClause: 9920.993 Set: 1962.842 Check: 0.0 Back: 229.126 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 9904122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.788 Prop: 10199.621 PropClause: 9943.66 Set: 1976.577 Check: 0.0 Back: 229.728 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 9930256 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.795 Prop: 10224.768 PropClause: 9968.161 Set: 1981.253 Check: 0.0 Back: 230.33 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 9956296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.802 Prop: 10250.66 PropClause: 9993.409 Set: 1985.854 Check: 0.0 Back: 230.93 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 9982417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.809 Prop: 10273.699 PropClause: 10015.799 Set: 1990.544 Check: 0.0 Back: 231.529 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 10008185 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.816 Prop: 10298.747 PropClause: 10040.209 Set: 1995.079 Check: 0.0 Back: 232.13 INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 10034234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.823 Prop: 10325.866 PropClause: 10066.684 Set: 1999.755 Check: 0.0 Back: 232.723 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 10060358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.83 Prop: 10352.65 PropClause: 10092.822 Set: 2004.475 Check: 0.0 Back: 233.334 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 10086492 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.838 Prop: 10375.61 PropClause: 10115.139 Set: 2009.072 Check: 0.0 Back: 233.934 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 10112532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.845 Prop: 10396.601 PropClause: 10135.491 Set: 2013.569 Check: 0.0 Back: 234.529 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 10138653 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.853 Prop: 10421.598 PropClause: 10159.849 Set: 2018.18 Check: 0.0 Back: 235.129 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 10164419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.859 Prop: 10448.379 PropClause: 10185.986 Set: 2022.71 Check: 0.0 Back: 235.724 INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 10190468 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.868 Prop: 10471.67 PropClause: 10208.638 Set: 2027.288 Check: 0.0 Back: 236.315 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 10216592 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.874 Prop: 10494.531 PropClause: 10230.858 Set: 2031.884 Check: 0.0 Back: 236.913 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 10242728 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.888 Prop: 10517.607 PropClause: 10253.292 Set: 2048.812 Check: 0.0 Back: 237.51 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 10268768 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.896 Prop: 10543.704 PropClause: 10278.745 Set: 2053.529 Check: 0.0 Back: 238.112 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 10294889 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.903 Prop: 10569.92 PropClause: 10304.314 Set: 2058.206 Check: 0.0 Back: 238.712 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 10320650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.91 Prop: 10591.864 PropClause: 10325.623 Set: 2062.741 Check: 0.0 Back: 239.314 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 10346700 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.918 Prop: 10613.97 PropClause: 10347.084 Set: 2067.377 Check: 0.0 Back: 239.909 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 10372823 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.926 Prop: 10638.561 PropClause: 10371.032 Set: 2071.985 Check: 0.0 Back: 240.509 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 10398959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.934 Prop: 10664.629 PropClause: 10396.454 Set: 2076.581 Check: 0.0 Back: 241.112 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 10424999 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.942 Prop: 10690.933 PropClause: 10422.118 Set: 2081.236 Check: 0.0 Back: 241.714 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 10451120 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.95 Prop: 10715.033 PropClause: 10445.576 Set: 2085.83 Check: 0.0 Back: 242.308 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 10477253 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.958 Prop: 10740.221 PropClause: 10470.124 Set: 2090.406 Check: 0.0 Back: 242.913 INFO - Atoms: 26133/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 10503375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.967 Prop: 10768.416 PropClause: 10497.677 Set: 2095.056 Check: 0.0 Back: 243.509 INFO - Atoms: 26122/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 10529417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.974 Prop: 10794.443 PropClause: 10523.062 Set: 2099.686 Check: 0.0 Back: 244.106 INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 10555551 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.981 Prop: 10816.292 PropClause: 10544.272 Set: 2104.227 Check: 0.0 Back: 244.702 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 10581591 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.988 Prop: 10838.787 PropClause: 10566.126 Set: 2108.761 Check: 0.0 Back: 245.296 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 10607714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.996 Prop: 10863.11 PropClause: 10589.803 Set: 2113.442 Check: 0.0 Back: 245.894 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 10633481 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.002 Prop: 10889.339 PropClause: 10615.384 Set: 2118.035 Check: 0.0 Back: 246.495 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 10659532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.009 Prop: 10912.17 PropClause: 10637.572 Set: 2122.675 Check: 0.0 Back: 247.089 INFO - Atoms: 26051/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 10685654 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.017 Prop: 10936.391 PropClause: 10661.114 Set: 2127.352 Check: 0.0 Back: 247.687 INFO - Atoms: 26122/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 10711788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.023 Prop: 10959.635 PropClause: 10683.712 Set: 2131.986 Check: 0.0 Back: 248.29 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 10737828 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.03 Prop: 10988.823 PropClause: 10712.243 Set: 2136.705 Check: 0.0 Back: 248.891 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 10763949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.038 Prop: 11015.21 PropClause: 10737.977 Set: 2141.406 Check: 0.0 Back: 249.487 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 10789710 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.046 Prop: 11037.323 PropClause: 10759.458 Set: 2145.846 Check: 0.0 Back: 250.095 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 10815760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.053 Prop: 11057.969 PropClause: 10779.46 Set: 2150.425 Check: 0.0 Back: 250.691 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 386 Props: 10841883 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.06 Prop: 11079.92 PropClause: 10800.759 Set: 2155.03 Check: 0.0 Back: 251.287 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 387 Props: 10868019 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.068 Prop: 11105.808 PropClause: 10826.002 Set: 2159.699 Check: 0.0 Back: 251.889 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 388 Props: 10894059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.077 Prop: 11132.402 PropClause: 10851.951 Set: 2175.295 Check: 0.0 Back: 252.485 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 389 Props: 10920180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.084 Prop: 11153.671 PropClause: 10872.578 Set: 2179.85 Check: 0.0 Back: 253.084 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 390 Props: 10945941 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.092 Prop: 11176.31 PropClause: 10894.58 Set: 2184.414 Check: 0.0 Back: 253.682 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 391 Props: 10971990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.1 Prop: 11203.565 PropClause: 10921.189 Set: 2189.131 Check: 0.0 Back: 254.276 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 392 Props: 10998114 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.109 Prop: 11230.379 PropClause: 10947.348 Set: 2193.844 Check: 0.0 Back: 254.876 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 393 Props: 11024250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.116 Prop: 11254.164 PropClause: 10970.485 Set: 2198.461 Check: 0.0 Back: 255.479 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 394 Props: 11050290 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.125 Prop: 11275.943 PropClause: 10991.618 Set: 2203.072 Check: 0.0 Back: 256.081 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 395 Props: 11076411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.133 Prop: 11300.668 PropClause: 11015.697 Set: 2207.716 Check: 0.0 Back: 256.681 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 396 Props: 11102172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.14 Prop: 11329.161 PropClause: 11043.543 Set: 2212.358 Check: 0.0 Back: 257.283 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 397 Props: 11128221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.146 Prop: 11354.896 PropClause: 11068.635 Set: 2217.016 Check: 0.0 Back: 257.872 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 398 Props: 11154345 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.153 Prop: 11378.855 PropClause: 11091.952 Set: 2221.68 Check: 0.0 Back: 258.472 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 399 Props: 11180481 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.16 Prop: 11403.839 PropClause: 11116.295 Set: 2226.337 Check: 0.0 Back: 259.069 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 400 Props: 11206521 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.168 Prop: 11429.915 PropClause: 11141.722 Set: 2231.004 Check: 0.0 Back: 259.673 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 401 Props: 11232642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.177 Prop: 11454.42 PropClause: 11165.583 Set: 2235.662 Check: 0.0 Back: 260.269 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 402 Props: 11258403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.184 Prop: 11475.453 PropClause: 11185.982 Set: 2240.144 Check: 0.0 Back: 260.862 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 403 Props: 11284453 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.191 Prop: 11496.773 PropClause: 11206.652 Set: 2244.764 Check: 0.0 Back: 261.451 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 404 Props: 11310576 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.198 Prop: 11523.466 PropClause: 11232.699 Set: 2249.546 Check: 0.0 Back: 262.052 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 405 Props: 11336338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.207 Prop: 11551.096 PropClause: 11259.69 Set: 2254.117 Check: 0.0 Back: 262.653 INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 406 Props: 11362459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.214 Prop: 11578.871 PropClause: 11286.82 Set: 2258.88 Check: 0.0 Back: 263.247 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 407 Props: 11388511 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.221 Prop: 11602.422 PropClause: 11309.72 Set: 2263.566 Check: 0.0 Back: 263.848 INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 408 Props: 11414650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.228 Prop: 11628.278 PropClause: 11334.93 Set: 2268.229 Check: 0.0 Back: 264.451 INFO - Atoms: 26139/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 409 Props: 11440770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.234 Prop: 11655.956 PropClause: 11361.948 Set: 2272.942 Check: 0.0 Back: 265.053 INFO - Atoms: 26120/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 410 Props: 11466812 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.241 Prop: 11682.064 PropClause: 11387.416 Set: 2277.628 Check: 0.0 Back: 265.652 INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 411 Props: 11492574 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.247 Prop: 11704.314 PropClause: 11409.032 Set: 2282.136 Check: 0.0 Back: 266.248 INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 412 Props: 11518695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.255 Prop: 11725.488 PropClause: 11429.564 Set: 2286.721 Check: 0.0 Back: 266.846 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 413 Props: 11544747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.262 Prop: 11747.016 PropClause: 11450.451 Set: 2291.333 Check: 0.0 Back: 267.443 INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 414 Props: 11570886 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.27 Prop: 11774.044 PropClause: 11476.833 Set: 2296.086 Check: 0.0 Back: 268.04 INFO - Atoms: 26139/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 415 Props: 11597009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.277 Prop: 11802.016 PropClause: 11504.16 Set: 2300.783 Check: 0.0 Back: 268.641 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 416 Props: 11623051 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.283 Prop: 11824.122 PropClause: 11525.625 Set: 2305.357 Check: 0.0 Back: 269.238 INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 417 Props: 11649185 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.289 Prop: 11848.143 PropClause: 11548.992 Set: 2309.982 Check: 0.0 Back: 269.829 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 418 Props: 11675225 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.296 Prop: 11873.754 PropClause: 11573.957 Set: 2314.715 Check: 0.0 Back: 270.431 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 419 Props: 11701346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.303 Prop: 11897.229 PropClause: 11596.777 Set: 2319.33 Check: 0.0 Back: 271.031 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 420 Props: 11727113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.311 Prop: 11921.788 PropClause: 11620.685 Set: 2323.904 Check: 0.0 Back: 271.628 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 421 Props: 11753164 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.319 Prop: 11941.221 PropClause: 11639.474 Set: 2328.452 Check: 0.0 Back: 272.219 INFO - Atoms: 26051/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 422 Props: 11779286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.327 Prop: 11961.559 PropClause: 11659.162 Set: 2333.021 Check: 0.0 Back: 272.817 INFO - Atoms: 26122/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 423 Props: 11805422 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.333 Prop: 11981.964 PropClause: 11678.92 Set: 2337.593 Check: 0.0 Back: 273.417 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 424 Props: 11831462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.341 Prop: 12005.617 PropClause: 11701.932 Set: 2342.188 Check: 0.0 Back: 274.023 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 425 Props: 11857583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.348 Prop: 12028.148 PropClause: 11723.827 Set: 2346.674 Check: 0.0 Back: 274.615 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 426 Props: 11883349 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.356 Prop: 12049.731 PropClause: 11744.781 Set: 2364.099 Check: 0.0 Back: 275.205 INFO - Atoms: 25766/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 427 Props: 11909398 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.372 Prop: 12074.906 PropClause: 11769.316 Set: 2368.735 Check: 0.0 Back: 275.798 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 428 Props: 11935522 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.379 Prop: 12100.547 PropClause: 11794.319 Set: 2373.356 Check: 0.0 Back: 276.392 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 429 Props: 11961658 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.385 Prop: 12123.714 PropClause: 11816.85 Set: 2377.933 Check: 0.0 Back: 276.986 INFO - Atoms: 26136/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 430 Props: 11987698 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.392 Prop: 12143.699 PropClause: 11836.2 Set: 2382.431 Check: 0.0 Back: 277.585 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 431 Props: 12013819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.4 Prop: 12168.897 PropClause: 11860.75 Set: 2387.323 Check: 0.0 Back: 278.173 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 432 Props: 12039580 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.409 Prop: 12189.139 PropClause: 11880.358 Set: 2391.763 Check: 0.0 Back: 278.803 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 433 Props: 12065629 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.416 Prop: 12213.945 PropClause: 11904.507 Set: 2396.395 Check: 0.0 Back: 279.401 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 434 Props: 12091753 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.423 Prop: 12236.984 PropClause: 11926.9 Set: 2401.067 Check: 0.0 Back: 280.002 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 435 Props: 12117887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.431 Prop: 12260.959 PropClause: 11950.225 Set: 2405.712 Check: 0.0 Back: 280.603 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 436 Props: 12143927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.439 Prop: 12283.751 PropClause: 11972.372 Set: 2410.378 Check: 0.0 Back: 281.204 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 437 Props: 12170048 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.445 Prop: 12308.265 PropClause: 11996.239 Set: 2415.029 Check: 0.0 Back: 281.805 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 438 Props: 12195809 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.452 Prop: 12333.905 PropClause: 12021.243 Set: 2419.625 Check: 0.0 Back: 282.407 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 439 Props: 12221858 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.461 Prop: 12360.44 PropClause: 12047.141 Set: 2424.251 Check: 0.0 Back: 282.995 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 440 Props: 12247982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.469 Prop: 12383.288 PropClause: 12069.345 Set: 2428.834 Check: 0.0 Back: 283.586 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 441 Props: 12274116 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.476 Prop: 12404.378 PropClause: 12089.798 Set: 2433.434 Check: 0.0 Back: 284.182 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 442 Props: 12300156 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.484 Prop: 12427.29 PropClause: 12112.066 Set: 2437.928 Check: 0.0 Back: 284.782 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 443 Props: 12326277 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.492 Prop: 12452.69 PropClause: 12136.82 Set: 2442.568 Check: 0.0 Back: 285.371 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 444 Props: 12352044 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.498 Prop: 12478.321 PropClause: 12161.812 Set: 2447.142 Check: 0.0 Back: 285.965 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 445 Props: 12378094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.507 Prop: 12503.539 PropClause: 12186.391 Set: 2451.802 Check: 0.0 Back: 286.564 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 446 Props: 12404217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.513 Prop: 12524.033 PropClause: 12206.239 Set: 2456.377 Check: 0.0 Back: 287.156 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 447 Props: 12430351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.521 Prop: 12544.592 PropClause: 12226.152 Set: 2460.968 Check: 0.0 Back: 287.758 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 448 Props: 12456391 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.528 Prop: 12569.854 PropClause: 12250.769 Set: 2465.619 Check: 0.0 Back: 288.358 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 449 Props: 12482512 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.534 Prop: 12594.544 PropClause: 12274.81 Set: 2470.285 Check: 0.0 Back: 288.966 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 450 Props: 12508279 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.541 Prop: 12614.097 PropClause: 12293.727 Set: 2474.719 Check: 0.0 Back: 289.566 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 451 Props: 12534329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.548 Prop: 12633.791 PropClause: 12312.769 Set: 2479.278 Check: 0.0 Back: 290.163 INFO - Atoms: 26050/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 452 Props: 12560452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.555 Prop: 12654.868 PropClause: 12333.203 Set: 2483.845 Check: 0.0 Back: 290.762 INFO - Atoms: 26123/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 453 Props: 12586586 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.561 Prop: 12680.549 PropClause: 12358.24 Set: 2488.516 Check: 0.0 Back: 291.358 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 454 Props: 12612626 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.568 Prop: 12705.8 PropClause: 12382.856 Set: 2493.106 Check: 0.0 Back: 291.956 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 455 Props: 12638747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.575 Prop: 12726.58 PropClause: 12402.994 Set: 2497.628 Check: 0.0 Back: 292.547 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 456 Props: 12664508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.582 Prop: 12747.11 PropClause: 12422.887 Set: 2502.119 Check: 0.0 Back: 293.151 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 457 Props: 12690557 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.589 Prop: 12767.93 PropClause: 12443.069 Set: 2506.668 Check: 0.0 Back: 293.74 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 458 Props: 12716681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.597 Prop: 12794.929 PropClause: 12469.43 Set: 2511.314 Check: 0.0 Back: 294.333 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 459 Props: 12742815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.604 Prop: 12818.604 PropClause: 12492.466 Set: 2515.944 Check: 0.0 Back: 294.928 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 460 Props: 12768855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.611 Prop: 12839.528 PropClause: 12512.754 Set: 2520.462 Check: 0.0 Back: 295.537 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 461 Props: 12794976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.619 Prop: 12860.401 PropClause: 12532.99 Set: 2525.012 Check: 0.0 Back: 296.131 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 462 Props: 12820737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.627 Prop: 12886.13 PropClause: 12558.074 Set: 2529.604 Check: 0.0 Back: 296.728 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 463 Props: 12846786 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.635 Prop: 12912.74 PropClause: 12584.03 Set: 2534.348 Check: 0.0 Back: 297.321 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 464 Props: 12872910 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.644 Prop: 12937.453 PropClause: 12608.094 Set: 2539.087 Check: 0.0 Back: 297.93 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 465 Props: 12899044 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.651 Prop: 12958.826 PropClause: 12628.822 Set: 2543.728 Check: 0.0 Back: 298.529 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 466 Props: 12925084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.658 Prop: 12979.958 PropClause: 12649.31 Set: 2548.33 Check: 0.0 Back: 299.129 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 467 Props: 12951205 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.666 Prop: 13003.997 PropClause: 12672.703 Set: 2552.993 Check: 0.0 Back: 299.729 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 468 Props: 12976973 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.673 Prop: 13030.996 PropClause: 12699.065 Set: 2557.549 Check: 0.0 Back: 300.33 INFO - Atoms: 25768/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 469 Props: 13003022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.68 Prop: 13057.579 PropClause: 12725.003 Set: 2562.185 Check: 0.0 Back: 300.93 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 470 Props: 13029146 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.687 Prop: 13078.366 PropClause: 12745.152 Set: 2566.808 Check: 0.0 Back: 301.523 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 471 Props: 13055280 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.694 Prop: 13098.941 PropClause: 12765.087 Set: 2571.435 Check: 0.0 Back: 302.125 INFO - Atoms: 26134/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 472 Props: 13081320 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.701 Prop: 13120.848 PropClause: 12786.354 Set: 2576.006 Check: 0.0 Back: 302.724 INFO - Atoms: 26040/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 473 Props: 13107441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.709 Prop: 13145.857 PropClause: 12810.724 Set: 2580.737 Check: 0.0 Back: 303.32 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 474 Props: 13133202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.72 Prop: 13175.58 PropClause: 12839.676 Set: 2586.589 Check: 0.0 Back: 303.918 INFO - Atoms: 25761/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 475 Props: 13159251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.727 Prop: 13197.352 PropClause: 12860.805 Set: 2591.242 Check: 0.0 Back: 304.659 INFO - Atoms: 26049/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 476 Props: 13185375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.734 Prop: 13218.268 PropClause: 12881.079 Set: 2595.823 Check: 0.0 Back: 305.253 INFO - Atoms: 26124/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 477 Props: 13211137 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.742 Prop: 13241.492 PropClause: 12903.66 Set: 2600.474 Check: 0.0 Back: 305.849 INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 478 Props: 13237258 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.75 Prop: 13268.894 PropClause: 12930.414 Set: 2605.332 Check: 0.0 Back: 306.439 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 479 Props: 13263310 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.758 Prop: 13294.878 PropClause: 12955.754 Set: 2610.046 Check: 0.0 Back: 307.051 INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 480 Props: 13289450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.766 Prop: 13318.962 PropClause: 12979.193 Set: 2614.737 Check: 0.0 Back: 307.652 INFO - Atoms: 26140/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 481 Props: 13315570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.775 Prop: 13341.622 PropClause: 13001.206 Set: 2619.361 Check: 0.0 Back: 308.254 INFO - Atoms: 26120/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 482 Props: 13341612 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.783 Prop: 13366.208 PropClause: 13025.148 Set: 2624.114 Check: 0.0 Back: 308.855 INFO - Atoms: 26042/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 483 Props: 13367374 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.789 Prop: 13388.192 PropClause: 13046.486 Set: 2628.662 Check: 0.0 Back: 309.452 INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 484 Props: 13393495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.797 Prop: 13415.716 PropClause: 13073.36 Set: 2633.425 Check: 0.0 Back: 310.05 INFO - Atoms: 26121/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 485 Props: 13419547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.805 Prop: 13441.522 PropClause: 13098.525 Set: 2638.095 Check: 0.0 Back: 310.655 INFO - Atoms: 26052/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 486 Props: 13445685 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.813 Prop: 13463.379 PropClause: 13119.739 Set: 2642.731 Check: 0.0 Back: 311.258 INFO - Atoms: 26138/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 487 Props: 13471772 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.822 Prop: 13488.588 PropClause: 13144.304 Set: 2647.433 Check: 0.0 Back: 311.856 INFO - Atoms: 26087/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 488 Props: 13497813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.83 Prop: 13511.265 PropClause: 13166.337 Set: 2652.088 Check: 0.0 Back: 312.459 INFO - Atoms: 26041/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 489 Props: 13523907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.839 Prop: 13539.322 PropClause: 13193.748 Set: 2656.823 Check: 0.0 Back: 313.059 INFO - Atoms: 26094/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 490 Props: 13549906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.848 Prop: 13568.821 PropClause: 13222.599 Set: 2661.701 Check: 0.0 Back: 313.661 INFO - Atoms: 25999/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 491 Props: 13575950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.857 Prop: 13592.696 PropClause: 13245.83 Set: 2666.315 Check: 0.0 Back: 314.254 INFO - Atoms: 26044/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 492 Props: 13601717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.866 Prop: 13613.757 PropClause: 13266.256 Set: 2670.798 Check: 0.0 Back: 314.854 INFO - Atoms: 25767/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 493 Props: 13627673 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.874 Prop: 13634.657 PropClause: 13286.509 Set: 2675.386 Check: 0.0 Back: 315.451 INFO - Atoms: 25956/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 494 Props: 13653632 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.882 Prop: 13661.348 PropClause: 13312.556 Set: 2680.151 Check: 0.0 Back: 316.054 INFO - Atoms: 25959/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 495 Props: 13679394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.89 Prop: 13685.014 PropClause: 13335.584 Set: 2684.747 Check: 0.0 Back: 316.652 INFO - Atoms: 25762/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 496 Props: 13705256 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.001 Prop: 13710.036 PropClause: 13359.967 Set: 2689.397 Check: 0.0 Back: 317.246 INFO - Atoms: 25862/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 497 Props: 13731119 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.142 Prop: 13731.96 PropClause: 13381.252 Set: 2694.022 Check: 0.0 Back: 317.841 INFO - Atoms: 25863/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 498 Props: 13756981 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.22 Prop: 13756.58 PropClause: 13405.233 Set: 2698.609 Check: 0.0 Back: 318.436 INFO - Atoms: 25862/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 499 Props: 13782881 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.267 Prop: 13780.92 PropClause: 13428.935 Set: 2703.267 Check: 0.0 Back: 319.036 INFO - Atoms: 25900/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 500 Props: 13808862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.279 Prop: 13805.584 PropClause: 13452.959 Set: 2707.941 Check: 0.0 Back: 319.632 INFO - Atoms: 25981/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 500 Props: 75407 Tprops: 18864 Decides: 84306 RSplits: 0 INFO - Times: Expl: 408.107 Prop: 35711.083 PropClause: 35.892 Set: 16493.336 Check: 747.091 Back: 431.913 INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158 INFO - CCTimes: iE 703024 eq 42374345 cc 183194982 setRep 107857771 INFO - Merges: 655601, cc:1258447 INFO - BVTimes: BB 178044874 BB_DPLL 30943431682 Graph 376193557 INFO - BitBlastingClauses: 510850 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 501 Props: 13834830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.291 Prop: 13830.59 PropClause: 13477.325 Set: 2712.445 Check: 0.0 Back: 320.227 INFO - Atoms: 25968/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 502 Props: 13860819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.305 Prop: 13856.971 PropClause: 13503.063 Set: 2716.964 Check: 0.0 Back: 320.821 INFO - Atoms: 25989/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 503 Props: 13886527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.344 Prop: 13882.614 PropClause: 13528.056 Set: 2721.498 Check: 0.0 Back: 321.424 INFO - Atoms: 25708/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 504 Props: 13912333 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.356 Prop: 13904.018 PropClause: 13548.819 Set: 2725.88 Check: 0.0 Back: 322.017 INFO - Atoms: 25806/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 505 Props: 13938141 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.369 Prop: 13924.951 PropClause: 13569.115 Set: 2730.325 Check: 0.0 Back: 322.618 INFO - Atoms: 25808/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 506 Props: 13963849 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.382 Prop: 13946.34 PropClause: 13589.87 Set: 2734.713 Check: 0.0 Back: 323.218 INFO - Atoms: 25708/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 507 Props: 13989458 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.394 Prop: 13968.994 PropClause: 13611.891 Set: 2751.728 Check: 0.0 Back: 323.809 INFO - Atoms: 25609/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 508 Props: 14015146 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.463 Prop: 14000.343 PropClause: 13642.486 Set: 2761.818 Check: 0.0 Back: 324.405 INFO - Atoms: 25688/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 509 Props: 14040935 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.475 Prop: 14029.319 PropClause: 13670.715 Set: 2767.707 Check: 0.0 Back: 324.999 INFO - Atoms: 25789/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 510 Props: 14066835 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.486 Prop: 14062.837 PropClause: 13703.485 Set: 2773.853 Check: 0.0 Back: 325.686 INFO - Atoms: 25900/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 511 Props: 14092822 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.499 Prop: 14096.7 PropClause: 13736.591 Set: 2779.906 Check: 0.0 Back: 326.377 INFO - Atoms: 25987/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 512 Props: 14118918 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.512 Prop: 14123.995 PropClause: 13763.138 Set: 2785.843 Check: 0.0 Back: 327.066 INFO - Atoms: 26096/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 513 Props: 14145103 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.524 Prop: 14151.066 PropClause: 13789.458 Set: 2791.808 Check: 0.0 Back: 327.76 INFO - Atoms: 26185/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 514 Props: 14171397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.536 Prop: 14187.138 PropClause: 13824.77 Set: 2797.968 Check: 0.0 Back: 328.453 INFO - Atoms: 26294/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 515 Props: 14197780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.548 Prop: 14223.018 PropClause: 13859.877 Set: 2804.235 Check: 0.0 Back: 329.153 INFO - Atoms: 26383/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 516 Props: 14224272 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.561 Prop: 14249.721 PropClause: 13885.932 Set: 2808.523 Check: 0.0 Back: 329.87 INFO - Atoms: 26492/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 517 Props: 14250853 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.575 Prop: 14273.22 PropClause: 13908.757 Set: 2812.846 Check: 0.0 Back: 330.475 INFO - Atoms: 26581/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 518 Props: 14277543 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.585 Prop: 14299.896 PropClause: 13934.775 Set: 2817.318 Check: 0.0 Back: 331.088 INFO - Atoms: 26690/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 519 Props: 14304322 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.595 Prop: 14324.376 PropClause: 13958.599 Set: 2821.757 Check: 0.0 Back: 331.702 INFO - Atoms: 26779/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 520 Props: 14331210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.606 Prop: 14352.842 PropClause: 13986.404 Set: 2826.214 Check: 0.0 Back: 332.318 INFO - Atoms: 26888/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 521 Props: 14358187 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.614 Prop: 14375.152 PropClause: 14008.053 Set: 2830.606 Check: 0.0 Back: 332.936 INFO - Atoms: 26977/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 522 Props: 14385273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.622 Prop: 14398.277 PropClause: 14030.511 Set: 2835.018 Check: 0.0 Back: 333.557 INFO - Atoms: 27086/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 523 Props: 14412448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.633 Prop: 14427.275 PropClause: 14058.646 Set: 2841.024 Check: 0.0 Back: 334.18 INFO - Atoms: 27175/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 524 Props: 14439732 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.645 Prop: 14456.79 PropClause: 14087.481 Set: 2845.659 Check: 0.0 Back: 334.838 INFO - Atoms: 27284/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 525 Props: 14467105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.656 Prop: 14485.887 PropClause: 14115.902 Set: 2850.275 Check: 0.0 Back: 335.467 INFO - Atoms: 27373/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 526 Props: 14494587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.668 Prop: 14514.466 PropClause: 14143.767 Set: 2855.156 Check: 0.0 Back: 336.119 INFO - Atoms: 27482/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 527 Props: 14522158 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.679 Prop: 14538.908 PropClause: 14167.524 Set: 2859.636 Check: 0.0 Back: 336.777 INFO - Atoms: 27571/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 528 Props: 14549838 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.689 Prop: 14563.497 PropClause: 14191.426 Set: 2864.175 Check: 0.0 Back: 337.416 INFO - Atoms: 27680/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 529 Props: 14577607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.701 Prop: 14592.438 PropClause: 14219.666 Set: 2868.788 Check: 0.0 Back: 338.068 INFO - Atoms: 27769/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 530 Props: 14605485 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.712 Prop: 14620.718 PropClause: 14247.26 Set: 2873.435 Check: 0.0 Back: 338.707 INFO - Atoms: 27878/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 531 Props: 14633452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.725 Prop: 14645.969 PropClause: 14271.82 Set: 2890.427 Check: 0.0 Back: 339.351 INFO - Atoms: 27967/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 532 Props: 14661528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.735 Prop: 14671.907 PropClause: 14297.068 Set: 2895.035 Check: 0.0 Back: 340.003 INFO - Atoms: 28076/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 533 Props: 14689693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.747 Prop: 14699.777 PropClause: 14324.244 Set: 2899.792 Check: 0.0 Back: 340.658 INFO - Atoms: 28165/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 534 Props: 14717967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.757 Prop: 14730.496 PropClause: 14354.268 Set: 2904.516 Check: 0.0 Back: 341.311 INFO - Atoms: 28274/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 535 Props: 14746330 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.77 Prop: 14760.84 PropClause: 14383.895 Set: 2909.459 Check: 0.0 Back: 341.962 INFO - Atoms: 28363/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 536 Props: 14774802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.781 Prop: 14787.572 PropClause: 14409.919 Set: 2914.153 Check: 0.0 Back: 342.633 INFO - Atoms: 28472/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 537 Props: 14803363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.793 Prop: 14812.847 PropClause: 14434.485 Set: 2918.831 Check: 0.0 Back: 343.296 INFO - Atoms: 28561/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 538 Props: 14832033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.804 Prop: 14839.861 PropClause: 14460.793 Set: 2923.6 Check: 0.0 Back: 343.956 INFO - Atoms: 28670/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 539 Props: 14860792 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.816 Prop: 14871.291 PropClause: 14491.517 Set: 2928.472 Check: 0.0 Back: 344.617 INFO - Atoms: 28759/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 540 Props: 14889660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.828 Prop: 14901.182 PropClause: 14520.698 Set: 2933.299 Check: 0.0 Back: 345.276 INFO - Atoms: 28868/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 541 Props: 14918617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.839 Prop: 14927.145 PropClause: 14545.954 Set: 2937.987 Check: 0.0 Back: 345.942 INFO - Atoms: 28957/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 542 Props: 14947683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.849 Prop: 14953.64 PropClause: 14571.736 Set: 2942.752 Check: 0.0 Back: 346.604 INFO - Atoms: 29066/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 543 Props: 14976838 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.861 Prop: 14982.252 PropClause: 14599.633 Set: 2947.545 Check: 0.0 Back: 347.283 INFO - Atoms: 29155/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 544 Props: 15006102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.87 Prop: 15011.818 PropClause: 14628.484 Set: 2952.449 Check: 0.0 Back: 347.952 INFO - Atoms: 29264/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 545 Props: 15035455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.88 Prop: 15040.643 PropClause: 14656.594 Set: 2957.29 Check: 0.0 Back: 348.631 INFO - Atoms: 29353/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 546 Props: 15064917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.89 Prop: 15067.912 PropClause: 14683.148 Set: 2962.09 Check: 0.0 Back: 349.304 INFO - Atoms: 29462/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 547 Props: 15094468 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.9 Prop: 15094.464 PropClause: 14708.984 Set: 2966.896 Check: 0.0 Back: 349.981 INFO - Atoms: 29551/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 548 Props: 15124128 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.911 Prop: 15122.245 PropClause: 14736.03 Set: 2971.824 Check: 0.0 Back: 350.671 INFO - Atoms: 29660/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 549 Props: 15153877 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.921 Prop: 15153.022 PropClause: 14766.078 Set: 2976.802 Check: 0.0 Back: 351.35 INFO - Atoms: 29749/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 550 Props: 15183735 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.931 Prop: 15184.119 PropClause: 14796.441 Set: 2981.792 Check: 0.0 Back: 352.031 INFO - Atoms: 29858/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 551 Props: 15213682 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.942 Prop: 15214.231 PropClause: 14825.817 Set: 2986.773 Check: 0.0 Back: 352.719 INFO - Atoms: 29947/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 552 Props: 15243738 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.952 Prop: 15241.012 PropClause: 14851.862 Set: 2991.676 Check: 0.0 Back: 353.408 INFO - Atoms: 30056/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 553 Props: 15273883 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.962 Prop: 15268.44 PropClause: 14878.55 Set: 2996.635 Check: 0.0 Back: 354.098 INFO - Atoms: 30145/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 554 Props: 15304137 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.973 Prop: 15298.865 PropClause: 14908.219 Set: 3001.749 Check: 0.0 Back: 354.813 INFO - Atoms: 30254/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 555 Props: 15334480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.985 Prop: 15328.86 PropClause: 14937.468 Set: 3006.806 Check: 0.0 Back: 355.523 INFO - Atoms: 30343/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 556 Props: 15364932 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.996 Prop: 15359.684 PropClause: 14967.542 Set: 3022.374 Check: 0.0 Back: 356.218 INFO - Atoms: 30452/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 557 Props: 15395473 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.005 Prop: 15390.143 PropClause: 14997.257 Set: 3027.447 Check: 0.0 Back: 356.918 INFO - Atoms: 30541/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 558 Props: 15426123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.015 Prop: 15420.814 PropClause: 15027.181 Set: 3032.545 Check: 0.0 Back: 357.618 INFO - Atoms: 30650/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 559 Props: 15456862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.024 Prop: 15454.54 PropClause: 15060.158 Set: 3037.661 Check: 0.0 Back: 358.315 INFO - Atoms: 30739/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 560 Props: 15487710 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.035 Prop: 15486.605 PropClause: 15091.46 Set: 3042.829 Check: 0.0 Back: 359.015 INFO - Atoms: 30848/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 561 Props: 15518647 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.043 Prop: 15514.542 PropClause: 15118.646 Set: 3047.882 Check: 0.0 Back: 359.721 INFO - Atoms: 30937/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 562 Props: 15549693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.056 Prop: 15545.578 PropClause: 15148.928 Set: 3052.974 Check: 0.0 Back: 360.427 INFO - Atoms: 31046/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 563 Props: 15580828 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.065 Prop: 15575.094 PropClause: 15177.689 Set: 3058.11 Check: 0.0 Back: 361.133 INFO - Atoms: 31135/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 564 Props: 15612072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.073 Prop: 15609.69 PropClause: 15211.501 Set: 3063.36 Check: 0.0 Back: 361.843 INFO - Atoms: 31244/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 565 Props: 15643405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.082 Prop: 15644.857 PropClause: 15245.898 Set: 3068.697 Check: 0.0 Back: 362.573 INFO - Atoms: 31333/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 566 Props: 15674847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.09 Prop: 15680.636 PropClause: 15280.898 Set: 3074.038 Check: 0.0 Back: 363.292 INFO - Atoms: 31442/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 567 Props: 15706378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.099 Prop: 15710.465 PropClause: 15309.952 Set: 3079.28 Check: 0.0 Back: 364.013 INFO - Atoms: 31531/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 568 Props: 15738018 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.108 Prop: 15743.952 PropClause: 15342.656 Set: 3084.64 Check: 0.0 Back: 364.739 INFO - Atoms: 31640/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 569 Props: 15769747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.119 Prop: 15780.313 PropClause: 15378.23 Set: 3089.986 Check: 0.0 Back: 365.467 INFO - Atoms: 31729/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 570 Props: 15801585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.129 Prop: 15813.038 PropClause: 15410.165 Set: 3095.383 Check: 0.0 Back: 366.199 INFO - Atoms: 31838/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 571 Props: 15833512 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.137 Prop: 15843.005 PropClause: 15439.352 Set: 3100.636 Check: 0.0 Back: 366.943 INFO - Atoms: 31927/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 572 Props: 15865548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.147 Prop: 15874.473 PropClause: 15470.038 Set: 3105.975 Check: 0.0 Back: 367.678 INFO - Atoms: 32036/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 573 Props: 15897673 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.158 Prop: 15910.853 PropClause: 15505.633 Set: 3111.382 Check: 0.0 Back: 368.429 INFO - Atoms: 32125/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 574 Props: 15929907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.167 Prop: 15945.985 PropClause: 15539.983 Set: 3116.904 Check: 0.0 Back: 369.158 INFO - Atoms: 32234/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 575 Props: 15962230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.175 Prop: 15981.509 PropClause: 15574.721 Set: 3122.339 Check: 0.0 Back: 369.89 INFO - Atoms: 32323/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 576 Props: 15994662 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.184 Prop: 16017.945 PropClause: 15610.367 Set: 3127.832 Check: 0.0 Back: 370.626 INFO - Atoms: 32432/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 577 Props: 16027183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.192 Prop: 16053.793 PropClause: 15645.418 Set: 3133.385 Check: 0.0 Back: 371.368 INFO - Atoms: 32521/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 578 Props: 16059813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.201 Prop: 16091.822 PropClause: 15682.647 Set: 3138.965 Check: 0.0 Back: 372.114 INFO - Atoms: 32630/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 579 Props: 16092532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.214 Prop: 16128.571 PropClause: 15718.586 Set: 3153.872 Check: 0.0 Back: 372.862 INFO - Atoms: 32719/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 580 Props: 16125360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.226 Prop: 16164.822 PropClause: 15754.03 Set: 3159.47 Check: 0.0 Back: 373.674 INFO - Atoms: 32828/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 581 Props: 16158277 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.235 Prop: 16200.468 PropClause: 15788.869 Set: 3165.067 Check: 0.0 Back: 374.43 INFO - Atoms: 32917/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 582 Props: 16191303 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.245 Prop: 16239.108 PropClause: 15826.698 Set: 3170.73 Check: 0.0 Back: 375.187 INFO - Atoms: 33026/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 583 Props: 16224418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.253 Prop: 16277.178 PropClause: 15863.954 Set: 3176.352 Check: 0.0 Back: 375.964 INFO - Atoms: 33115/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 584 Props: 16257642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.263 Prop: 16314.685 PropClause: 15900.645 Set: 3182.057 Check: 0.0 Back: 376.744 INFO - Atoms: 33224/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 585 Props: 16290955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.273 Prop: 16351.1 PropClause: 15936.253 Set: 3187.642 Check: 0.0 Back: 377.499 INFO - Atoms: 33313/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 586 Props: 16324377 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.282 Prop: 16391.907 PropClause: 15976.246 Set: 3193.359 Check: 0.0 Back: 378.257 INFO - Atoms: 33422/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 587 Props: 16357888 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.29 Prop: 16432.02 PropClause: 16015.542 Set: 3199.145 Check: 0.0 Back: 379.018 INFO - Atoms: 33511/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 588 Props: 16391508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.298 Prop: 16472.166 PropClause: 16054.863 Set: 3204.859 Check: 0.0 Back: 379.781 INFO - Atoms: 33620/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 589 Props: 16425217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.308 Prop: 16509.024 PropClause: 16090.901 Set: 3210.556 Check: 0.0 Back: 380.543 INFO - Atoms: 33709/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 590 Props: 16459035 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.318 Prop: 16550.563 PropClause: 16131.618 Set: 3216.36 Check: 0.0 Back: 381.31 INFO - Atoms: 33818/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 591 Props: 16492942 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.328 Prop: 16590.406 PropClause: 16170.626 Set: 3222.159 Check: 0.0 Back: 382.079 INFO - Atoms: 33907/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 592 Props: 16526958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.337 Prop: 16630.629 PropClause: 16210.012 Set: 3228.007 Check: 0.0 Back: 382.859 INFO - Atoms: 34016/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 593 Props: 16561063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.347 Prop: 16671.177 PropClause: 16249.714 Set: 3233.882 Check: 0.0 Back: 383.641 INFO - Atoms: 34105/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 594 Props: 16595277 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.357 Prop: 16714.651 PropClause: 16292.347 Set: 3239.84 Check: 0.0 Back: 384.421 INFO - Atoms: 34214/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 595 Props: 16629580 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.367 Prop: 16753.551 PropClause: 16330.403 Set: 3245.711 Check: 0.0 Back: 385.207 INFO - Atoms: 34303/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 596 Props: 16663992 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.376 Prop: 16790.375 PropClause: 16366.38 Set: 3251.58 Check: 0.0 Back: 385.997 INFO - Atoms: 34412/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 597 Props: 16698493 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.385 Prop: 16827.051 PropClause: 16402.218 Set: 3257.448 Check: 0.0 Back: 386.783 INFO - Atoms: 34501/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 598 Props: 16733103 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.394 Prop: 16867.415 PropClause: 16441.728 Set: 3263.423 Check: 0.0 Back: 387.567 INFO - Atoms: 34610/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 599 Props: 16767802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.404 Prop: 16906.192 PropClause: 16479.662 Set: 3269.347 Check: 0.0 Back: 388.358 INFO - Atoms: 34699/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 600 Props: 16802610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.416 Prop: 16943.212 PropClause: 16515.82 Set: 3286.746 Check: 0.0 Back: 389.146 INFO - Atoms: 34808/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 601 Props: 16837507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.425 Prop: 16978.862 PropClause: 16550.617 Set: 3292.658 Check: 0.0 Back: 389.939 INFO - Atoms: 34897/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 602 Props: 16872513 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.434 Prop: 17018.999 PropClause: 16589.896 Set: 3298.655 Check: 0.0 Back: 390.736 INFO - Atoms: 35006/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 603 Props: 16907608 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.445 Prop: 17060.625 PropClause: 16630.665 Set: 3304.664 Check: 0.0 Back: 391.53 INFO - Atoms: 35095/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 604 Props: 16942812 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.458 Prop: 17104.338 PropClause: 16673.511 Set: 3310.747 Check: 0.0 Back: 392.332 INFO - Atoms: 35204/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 605 Props: 16978105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.468 Prop: 17142.312 PropClause: 16710.614 Set: 3316.745 Check: 0.0 Back: 393.143 INFO - Atoms: 35293/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 606 Props: 17013507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.478 Prop: 17183.506 PropClause: 16750.927 Set: 3322.946 Check: 0.0 Back: 393.955 INFO - Atoms: 35402/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 607 Props: 17048998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.488 Prop: 17224.034 PropClause: 16790.583 Set: 3329.033 Check: 0.0 Back: 394.771 INFO - Atoms: 35491/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 608 Props: 17084598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.497 Prop: 17262.561 PropClause: 16828.234 Set: 3335.093 Check: 0.0 Back: 395.585 INFO - Atoms: 35600/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 609 Props: 17120287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.506 Prop: 17299.0 PropClause: 16863.798 Set: 3341.141 Check: 0.0 Back: 396.405 INFO - Atoms: 35689/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 610 Props: 17156085 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.517 Prop: 17340.949 PropClause: 16904.877 Set: 3347.297 Check: 0.0 Back: 397.224 INFO - Atoms: 35798/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 611 Props: 17191972 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.528 Prop: 17382.619 PropClause: 16945.663 Set: 3353.463 Check: 0.0 Back: 398.04 INFO - Atoms: 35887/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 612 Props: 17227968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.538 Prop: 17421.29 PropClause: 16983.456 Set: 3359.538 Check: 0.0 Back: 398.857 INFO - Atoms: 35996/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 613 Props: 17264053 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.548 Prop: 17458.632 PropClause: 17019.918 Set: 3365.58 Check: 0.0 Back: 399.686 INFO - Atoms: 36085/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 614 Props: 17300247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.558 Prop: 17500.288 PropClause: 17060.696 Set: 3371.814 Check: 0.0 Back: 400.51 INFO - Atoms: 36194/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 615 Props: 17336530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.565 Prop: 17542.996 PropClause: 17102.52 Set: 3378.006 Check: 0.0 Back: 401.338 INFO - Atoms: 36283/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 616 Props: 17372922 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.574 Prop: 17582.55 PropClause: 17141.187 Set: 3384.19 Check: 0.0 Back: 402.168 INFO - Atoms: 36392/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 617 Props: 17409403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.583 Prop: 17621.568 PropClause: 17179.308 Set: 3390.414 Check: 0.0 Back: 403.0 INFO - Atoms: 36481/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 618 Props: 17445993 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.591 Prop: 17663.823 PropClause: 17220.663 Set: 3396.804 Check: 0.0 Back: 403.84 INFO - Atoms: 36590/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 619 Props: 17482672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.601 Prop: 17705.46 PropClause: 17261.399 Set: 3403.077 Check: 0.0 Back: 404.682 INFO - Atoms: 36679/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 620 Props: 17519460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.612 Prop: 17746.459 PropClause: 17301.495 Set: 3409.311 Check: 0.0 Back: 405.534 INFO - Atoms: 36788/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 621 Props: 17556337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.622 Prop: 17784.624 PropClause: 17338.751 Set: 3415.538 Check: 0.0 Back: 406.381 INFO - Atoms: 36877/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 622 Props: 17593323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.631 Prop: 17827.867 PropClause: 17381.086 Set: 3422.024 Check: 0.0 Back: 407.229 INFO - Atoms: 36986/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 623 Props: 17630398 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.641 Prop: 17873.068 PropClause: 17425.386 Set: 3428.403 Check: 0.0 Back: 408.077 INFO - Atoms: 37075/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 624 Props: 17667582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.651 Prop: 17914.403 PropClause: 17465.816 Set: 3434.722 Check: 0.0 Back: 408.922 INFO - Atoms: 37184/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 625 Props: 17704855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.662 Prop: 17954.968 PropClause: 17505.47 Set: 3441.055 Check: 0.0 Back: 409.772 INFO - Atoms: 37273/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 626 Props: 17742237 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.672 Prop: 18001.934 PropClause: 17551.524 Set: 3447.575 Check: 0.0 Back: 410.624 INFO - Atoms: 37382/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 627 Props: 17779708 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.682 Prop: 18047.355 PropClause: 17596.03 Set: 3454.077 Check: 0.0 Back: 411.487 INFO - Atoms: 37471/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 628 Props: 17817287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.692 Prop: 18090.893 PropClause: 17638.652 Set: 3460.554 Check: 0.0 Back: 412.343 INFO - Atoms: 37579/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 629 Props: 17854956 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.703 Prop: 18131.164 PropClause: 17678.0 Set: 3466.969 Check: 0.0 Back: 413.202 INFO - Atoms: 37669/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 630 Props: 17892734 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.716 Prop: 18180.743 PropClause: 17726.64 Set: 3473.586 Check: 0.0 Back: 414.068 INFO - Atoms: 37778/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 631 Props: 17930601 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.726 Prop: 18226.771 PropClause: 17771.738 Set: 3480.13 Check: 0.0 Back: 414.957 INFO - Atoms: 37867/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 632 Props: 17968646 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.738 Prop: 18268.777 PropClause: 17812.808 Set: 3486.635 Check: 0.0 Back: 415.832 INFO - Atoms: 38045/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 633 Props: 18006709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.751 Prop: 18325.166 PropClause: 17868.105 Set: 3496.075 Check: 0.0 Back: 416.708 INFO - Atoms: 38063/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 634 Props: 18044872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.762 Prop: 18372.395 PropClause: 17914.397 Set: 3502.72 Check: 0.0 Back: 417.643 INFO - Atoms: 38163/38176 Clauses: 773 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 1134 Props: 19588591 Tprops: 0 Decides: 920 RSplits: 0 INFO - Times: Expl: 1459.18 Prop: 19522.487 PropClause: 19024.133 Set: 3541.206 Check: 0.04 Back: 454.206 INFO - Atoms: 12597/38176 Clauses: 1272 Axioms: 124850 INFO - Restart INFO - Confl: 1634 Props: 20589964 Tprops: 0 Decides: 1949 RSplits: 0 INFO - Times: Expl: 2042.075 Prop: 19996.741 PropClause: 19472.878 Set: 3564.426 Check: 0.07 Back: 476.96 INFO - Atoms: 12597/38176 Clauses: 1772 Axioms: 124850 INFO - Restart INFO - Confl: 2634 Props: 22135665 Tprops: 0 Decides: 3537 RSplits: 0 INFO - Times: Expl: 2725.783 Prop: 20632.419 PropClause: 20069.349 Set: 3600.099 Check: 0.113 Back: 512.06 INFO - Atoms: 12597/38176 Clauses: 2772 Axioms: 124850 INFO - Restart INFO - Confl: 3134 Props: 22981568 Tprops: 0 Decides: 4221 RSplits: 0 INFO - Times: Expl: 3006.704 Prop: 20975.702 PropClause: 20390.376 Set: 3620.093 Check: 0.133 Back: 531.688 INFO - Atoms: 12597/38176 Clauses: 3272 Axioms: 124850 INFO - Restart INFO - Confl: 3634 Props: 23693254 Tprops: 0 Decides: 5058 RSplits: 0 INFO - Times: Expl: 3286.3 Prop: 21260.12 PropClause: 20656.711 Set: 3636.524 Check: 0.156 Back: 547.897 INFO - Atoms: 12597/38176 Clauses: 3772 Axioms: 124850 INFO - Restart INFO - Confl: 4634 Props: 25448249 Tprops: 0 Decides: 6552 RSplits: 0 INFO - Times: Expl: 5553.698 Prop: 22038.194 PropClause: 21389.454 Set: 3677.765 Check: 0.201 Back: 588.407 INFO - Atoms: 12597/38176 Clauses: 4772 Axioms: 124850 INFO - Restart INFO - Confl: 6634 Props: 28305890 Tprops: 0 Decides: 9302 RSplits: 0 INFO - Times: Expl: 6413.366 Prop: 23072.843 PropClause: 22351.842 Set: 3743.398 Check: 0.273 Back: 653.203 INFO - Atoms: 12598/38176 Clauses: 6772 Axioms: 124850 INFO - Restart INFO - Confl: 7134 Props: 29034992 Tprops: 0 Decides: 10099 RSplits: 0 INFO - Times: Expl: 6847.211 Prop: 23434.648 PropClause: 22693.389 Set: 3761.297 Check: 0.297 Back: 670.735 INFO - Atoms: 12598/38176 Clauses: 7272 Axioms: 124850 INFO - Restart INFO - Confl: 7634 Props: 29850180 Tprops: 0 Decides: 11087 RSplits: 0 INFO - Times: Expl: 7062.603 Prop: 23816.222 PropClause: 23054.206 Set: 3780.254 Check: 0.325 Back: 689.431 INFO - Atoms: 12598/38176 Clauses: 7772 Axioms: 124850 INFO - Restart INFO - Confl: 8634 Props: 31312994 Tprops: 0 Decides: 12712 RSplits: 0 INFO - Times: Expl: 7587.328 Prop: 24453.623 PropClause: 23654.487 Set: 3814.198 Check: 0.37 Back: 722.777 INFO - Atoms: 12605/38176 Clauses: 8772 Axioms: 124850 INFO - Confl: 8982 Props: 31780910 Tprops: 0 Decides: 13235 RSplits: 0 INFO - Times: Expl: 7723.237 Prop: 24648.692 PropClause: 23837.727 Set: 3825.173 Check: 0.383 Back: 733.368 INFO - Atoms: 13830/38176 Clauses: 9120 Axioms: 124850 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 641 Props: 79638 Tprops: 19633 Decides: 92012 RSplits: 0 INFO - Times: Expl: 433.141 Prop: 61025.384 PropClause: 43.229 Set: 16881.363 Check: 794.558 Back: 462.813 INFO - Atoms: 1158/1158 Clauses: 641 Axioms: 1158 INFO - CCTimes: iE 718996 eq 43444328 cc 190825139 setRep 109838342 INFO - Merges: 665063, cc:1308397 INFO - BVTimes: BB 178044874 BB_DPLL 54935565204 Graph 411252516 INFO - BitBlastingClauses: 615070 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat