/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/brummayerbiere/nlzbe128.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 3603396308 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 26332 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.085 Prop: 193.644 PropClause: 191.993 Set: 16.398 Check: 0.0 Back: 0.0 INFO - Atoms: 26332/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 46639 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.129 Prop: 267.703 PropClause: 265.233 Set: 19.81 Check: 0.0 Back: 0.684 INFO - Atoms: 20307/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 66228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.217 Prop: 298.383 PropClause: 295.243 Set: 23.538 Check: 0.0 Back: 1.217 INFO - Atoms: 19589/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 98649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.286 Prop: 326.622 PropClause: 322.668 Set: 28.158 Check: 0.0 Back: 1.721 INFO - Atoms: 32421/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 140303 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.354 Prop: 362.682 PropClause: 357.638 Set: 34.171 Check: 0.0 Back: 2.512 INFO - Atoms: 41654/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 184157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.404 Prop: 401.741 PropClause: 395.613 Set: 40.579 Check: 0.0 Back: 3.552 INFO - Atoms: 43854/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 255481 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.449 Prop: 456.493 PropClause: 448.609 Set: 51.045 Check: 0.0 Back: 4.562 INFO - Atoms: 71324/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 329786 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.562 Prop: 516.757 PropClause: 507.036 Set: 61.983 Check: 0.0 Back: 6.193 INFO - Atoms: 74305/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 406737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.582 Prop: 579.496 PropClause: 567.835 Set: 73.324 Check: 0.0 Back: 7.889 INFO - Atoms: 76951/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 483818 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.607 Prop: 641.935 PropClause: 628.389 Set: 84.682 Check: 0.0 Back: 9.644 INFO - Atoms: 77081/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 561027 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.63 Prop: 705.329 PropClause: 689.863 Set: 96.188 Check: 0.0 Back: 11.401 INFO - Atoms: 77209/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 638236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.652 Prop: 770.773 PropClause: 753.339 Set: 108.304 Check: 0.0 Back: 13.189 INFO - Atoms: 77209/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 715573 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.672 Prop: 832.289 PropClause: 812.902 Set: 119.678 Check: 0.0 Back: 15.01 INFO - Atoms: 77337/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 792510 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.695 Prop: 894.487 PropClause: 873.21 Set: 131.031 Check: 0.0 Back: 16.793 INFO - Atoms: 76937/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 869854 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.716 Prop: 961.584 PropClause: 938.355 Set: 142.546 Check: 0.0 Back: 18.578 INFO - Atoms: 77344/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 947198 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.736 Prop: 1023.179 PropClause: 998.045 Set: 154.016 Check: 0.0 Back: 20.365 INFO - Atoms: 77344/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1025797 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.756 Prop: 1090.851 PropClause: 1063.789 Set: 165.879 Check: 0.0 Back: 22.126 INFO - Atoms: 78599/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1103843 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.781 Prop: 1153.535 PropClause: 1124.524 Set: 177.672 Check: 0.0 Back: 23.968 INFO - Atoms: 78046/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1181790 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.803 Prop: 1214.267 PropClause: 1183.339 Set: 189.327 Check: 0.0 Back: 25.744 INFO - Atoms: 77947/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1258604 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.826 Prop: 1282.863 PropClause: 1249.691 Set: 204.376 Check: 0.0 Back: 27.535 INFO - Atoms: 76814/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1335418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.851 Prop: 1341.333 PropClause: 1306.281 Set: 215.692 Check: 0.0 Back: 29.5 INFO - Atoms: 76814/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1369862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.87 Prop: 1383.176 PropClause: 1347.271 Set: 220.669 Check: 0.0 Back: 31.271 INFO - Atoms: 34444/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1404307 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.888 Prop: 1411.634 PropClause: 1374.875 Set: 225.615 Check: 0.0 Back: 32.061 INFO - Atoms: 34445/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1481121 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.909 Prop: 1457.969 PropClause: 1419.329 Set: 236.942 Check: 0.0 Back: 32.858 INFO - Atoms: 76814/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1485750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.928 Prop: 1487.237 PropClause: 1448.481 Set: 237.462 Check: 0.0 Back: 34.609 INFO - Atoms: 4629/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1491278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.947 Prop: 1499.566 PropClause: 1460.672 Set: 238.103 Check: 0.0 Back: 34.715 INFO - Atoms: 5528/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 1567968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.004 Prop: 1540.832 PropClause: 1500.047 Set: 249.376 Check: 0.0 Back: 34.84 INFO - Atoms: 76690/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 1644654 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.085 Prop: 1599.451 PropClause: 1556.784 Set: 260.752 Check: 0.0 Back: 36.59 INFO - Atoms: 76686/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 1691864 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.13 Prop: 1645.965 PropClause: 1602.124 Set: 267.643 Check: 0.0 Back: 38.339 INFO - Atoms: 47210/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 1769432 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.173 Prop: 1695.155 PropClause: 1649.411 Set: 279.189 Check: 0.0 Back: 39.418 INFO - Atoms: 77568/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 1846736 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.216 Prop: 1754.49 PropClause: 1706.845 Set: 290.592 Check: 0.0 Back: 41.203 INFO - Atoms: 77304/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 1923917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.343 Prop: 1811.375 PropClause: 1761.845 Set: 301.875 Check: 0.0 Back: 42.979 INFO - Atoms: 77181/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 1944042 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.439 Prop: 1846.782 PropClause: 1796.757 Set: 304.658 Check: 0.0 Back: 44.732 INFO - Atoms: 20125/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 1965480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.453 Prop: 1865.945 PropClause: 1815.377 Set: 307.65 Check: 0.0 Back: 45.19 INFO - Atoms: 21438/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 1987315 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.467 Prop: 1885.478 PropClause: 1834.372 Set: 310.698 Check: 0.0 Back: 45.678 INFO - Atoms: 21835/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 2009151 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.48 Prop: 1905.313 PropClause: 1853.667 Set: 313.759 Check: 0.0 Back: 46.192 INFO - Atoms: 21836/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 2086375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.494 Prop: 1949.316 PropClause: 1895.776 Set: 325.22 Check: 0.0 Back: 46.692 INFO - Atoms: 77224/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 2107017 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.507 Prop: 1982.61 PropClause: 1928.562 Set: 328.092 Check: 0.0 Back: 48.443 INFO - Atoms: 20642/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 2184239 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.52 Prop: 2023.182 PropClause: 1967.243 Set: 339.317 Check: 0.0 Back: 48.92 INFO - Atoms: 77222/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 2205681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.566 Prop: 2057.776 PropClause: 2001.307 Set: 342.302 Check: 0.0 Back: 50.667 INFO - Atoms: 21442/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 2282889 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.578 Prop: 2099.315 PropClause: 2040.939 Set: 353.732 Check: 0.0 Back: 51.154 INFO - Atoms: 77208/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 2359332 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.591 Prop: 2157.336 PropClause: 2097.095 Set: 364.93 Check: 0.0 Back: 52.911 INFO - Atoms: 76443/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 2435550 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.605 Prop: 2224.684 PropClause: 2162.215 Set: 380.156 Check: 0.0 Back: 54.655 INFO - Atoms: 76218/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 2455963 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.62 Prop: 2263.518 PropClause: 2200.454 Set: 384.07 Check: 0.0 Back: 56.642 INFO - Atoms: 20413/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 2532158 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.634 Prop: 2312.252 PropClause: 2246.954 Set: 399.054 Check: 0.0 Back: 57.179 INFO - Atoms: 76195/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 2552713 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.647 Prop: 2348.742 PropClause: 2282.842 Set: 402.857 Check: 0.0 Back: 59.15 INFO - Atoms: 20555/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 2628910 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.662 Prop: 2390.145 PropClause: 2322.379 Set: 414.143 Check: 0.0 Back: 59.68 INFO - Atoms: 76197/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 2648121 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.677 Prop: 2424.835 PropClause: 2356.596 Set: 416.812 Check: 0.0 Back: 61.422 INFO - Atoms: 19211/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 2724702 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.69 Prop: 2467.01 PropClause: 2396.885 Set: 428.209 Check: 0.0 Back: 61.908 INFO - Atoms: 76581/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 2801416 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.704 Prop: 2524.378 PropClause: 2452.371 Set: 439.596 Check: 0.0 Back: 63.647 INFO - Atoms: 76714/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 2878765 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.719 Prop: 2582.49 PropClause: 2508.561 Set: 451.014 Check: 0.0 Back: 65.406 INFO - Atoms: 77349/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 2899555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.732 Prop: 2615.255 PropClause: 2540.817 Set: 453.859 Check: 0.0 Back: 67.177 INFO - Atoms: 20790/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 2976517 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.746 Prop: 2657.16 PropClause: 2580.84 Set: 465.111 Check: 0.0 Back: 67.653 INFO - Atoms: 76962/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 3054560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.76 Prop: 2716.091 PropClause: 2637.785 Set: 554.518 Check: 0.0 Back: 69.4 INFO - Atoms: 78043/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 3132311 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.774 Prop: 2773.438 PropClause: 2693.221 Set: 566.086 Check: 0.0 Back: 71.182 INFO - Atoms: 77751/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 3209224 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.787 Prop: 2830.928 PropClause: 2748.821 Set: 577.46 Check: 0.0 Back: 72.953 INFO - Atoms: 76913/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 3286720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.801 Prop: 2889.836 PropClause: 2805.83 Set: 589.025 Check: 0.0 Back: 74.714 INFO - Atoms: 77496/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 3305159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.816 Prop: 2922.835 PropClause: 2838.372 Set: 591.564 Check: 0.0 Back: 76.478 INFO - Atoms: 18439/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 3325715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.83 Prop: 2941.659 PropClause: 2856.686 Set: 594.45 Check: 0.0 Back: 76.899 INFO - Atoms: 20556/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 3402990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.844 Prop: 2986.706 PropClause: 2899.82 Set: 606.027 Check: 0.0 Back: 77.376 INFO - Atoms: 77275/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 3480686 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.857 Prop: 3042.134 PropClause: 2953.313 Set: 617.628 Check: 0.0 Back: 79.174 INFO - Atoms: 77696/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 3558863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.871 Prop: 3101.188 PropClause: 3010.451 Set: 629.394 Check: 0.0 Back: 80.973 INFO - Atoms: 78177/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 3637628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.884 Prop: 3159.908 PropClause: 3067.222 Set: 641.442 Check: 0.0 Back: 82.755 INFO - Atoms: 78765/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 3715879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.914 Prop: 3219.115 PropClause: 3124.436 Set: 653.554 Check: 0.0 Back: 84.602 INFO - Atoms: 78251/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 3795118 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.929 Prop: 3276.897 PropClause: 3180.274 Set: 665.611 Check: 0.0 Back: 86.489 INFO - Atoms: 79239/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 3874019 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.943 Prop: 3333.302 PropClause: 3234.733 Set: 677.524 Check: 0.0 Back: 88.305 INFO - Atoms: 78901/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 3953535 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.958 Prop: 3387.944 PropClause: 3287.435 Set: 689.5 Check: 0.0 Back: 90.131 INFO - Atoms: 79516/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 4032015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.974 Prop: 3443.954 PropClause: 3341.515 Set: 701.262 Check: 0.0 Back: 91.926 INFO - Atoms: 78480/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 4110509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.987 Prop: 3499.074 PropClause: 3394.711 Set: 713.019 Check: 0.0 Back: 93.705 INFO - Atoms: 78494/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 4189253 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.002 Prop: 3554.817 PropClause: 3448.514 Set: 815.392 Check: 0.0 Back: 95.528 INFO - Atoms: 78744/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 4266943 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.018 Prop: 3611.726 PropClause: 3503.501 Set: 827.155 Check: 0.0 Back: 97.3 INFO - Atoms: 77690/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 4344517 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.033 Prop: 3668.358 PropClause: 3558.235 Set: 838.809 Check: 0.0 Back: 99.068 INFO - Atoms: 77574/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 4422077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.047 Prop: 3723.764 PropClause: 3611.715 Set: 850.473 Check: 0.0 Back: 100.826 INFO - Atoms: 77560/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 4497453 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.06 Prop: 3777.478 PropClause: 3663.579 Set: 861.544 Check: 0.0 Back: 102.585 INFO - Atoms: 75376/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 4572829 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.074 Prop: 3827.66 PropClause: 3711.895 Set: 872.519 Check: 0.0 Back: 104.298 INFO - Atoms: 75376/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 4650593 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.089 Prop: 3880.795 PropClause: 3763.11 Set: 884.236 Check: 0.0 Back: 106.013 INFO - Atoms: 77764/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 4728503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.148 Prop: 3933.703 PropClause: 3814.111 Set: 895.863 Check: 0.0 Back: 107.78 INFO - Atoms: 77910/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 4806267 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.162 Prop: 3987.844 PropClause: 3866.32 Set: 907.624 Check: 0.0 Back: 109.538 INFO - Atoms: 77764/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 4885852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.175 Prop: 4044.349 PropClause: 3920.829 Set: 919.762 Check: 0.0 Back: 111.302 INFO - Atoms: 79585/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 4965282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.188 Prop: 4101.242 PropClause: 3975.746 Set: 931.89 Check: 0.0 Back: 113.114 INFO - Atoms: 79430/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 5044695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.201 Prop: 4157.032 PropClause: 4029.584 Set: 943.958 Check: 0.0 Back: 114.923 INFO - Atoms: 79413/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 5123856 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.215 Prop: 4212.746 PropClause: 4083.35 Set: 956.024 Check: 0.0 Back: 116.754 INFO - Atoms: 79161/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 5203708 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.227 Prop: 4268.574 PropClause: 4137.206 Set: 968.246 Check: 0.0 Back: 118.581 INFO - Atoms: 79852/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 5281559 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.239 Prop: 4321.982 PropClause: 4188.705 Set: 979.927 Check: 0.0 Back: 120.401 INFO - Atoms: 77851/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 5358330 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.25 Prop: 4373.186 PropClause: 4238.037 Set: 991.175 Check: 0.0 Back: 122.169 INFO - Atoms: 76771/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 5434137 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.265 Prop: 4422.375 PropClause: 4285.362 Set: 1002.315 Check: 0.0 Back: 123.916 INFO - Atoms: 75807/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 5509945 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.277 Prop: 4472.828 PropClause: 4333.959 Set: 1013.485 Check: 0.0 Back: 125.638 INFO - Atoms: 75808/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 5585765 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.29 Prop: 4522.976 PropClause: 4382.247 Set: 1024.656 Check: 0.0 Back: 127.359 INFO - Atoms: 75820/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 5661585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.305 Prop: 4573.492 PropClause: 4430.9 Set: 1035.818 Check: 0.0 Back: 129.085 INFO - Atoms: 75820/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 500 Props: 64412 Tprops: 40196 Decides: 77447 RSplits: 0 INFO - Times: Expl: 274.363 Prop: 60852.19 PropClause: 58.879 Set: 68910.329 Check: 118.827 Back: 659.424 INFO - Atoms: 3/2003 Clauses: 500 Axioms: 1746 INFO - CCTimes: iE 560726 eq 77049426 cc 128043829 setRep 28254760 INFO - Merges: 142942, cc:420442 INFO - BVTimes: BB 3603362364 BB_DPLL 55266424896 Graph 2054260 INFO - BitBlastingClauses: 2030342 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 5741028 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.323 Prop: 4631.476 PropClause: 4486.893 Set: 1048.057 Check: 0.0 Back: 130.853 INFO - Atoms: 79443/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 5819683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.331 Prop: 4683.554 PropClause: 4537.019 Set: 1060.011 Check: 0.0 Back: 132.685 INFO - Atoms: 78655/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 5897928 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.34 Prop: 4734.761 PropClause: 4586.277 Set: 1071.877 Check: 0.0 Back: 134.487 INFO - Atoms: 78245/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 5975130 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.348 Prop: 4784.92 PropClause: 4634.538 Set: 1083.44 Check: 0.0 Back: 136.299 INFO - Atoms: 77202/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 6053973 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.357 Prop: 4834.757 PropClause: 4682.437 Set: 1095.342 Check: 0.0 Back: 138.053 INFO - Atoms: 78843/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 6133750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.366 Prop: 4885.846 PropClause: 4731.576 Set: 1107.47 Check: 0.0 Back: 139.885 INFO - Atoms: 79777/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 6213656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.373 Prop: 4936.76 PropClause: 4780.513 Set: 1194.52 Check: 0.0 Back: 141.708 INFO - Atoms: 79906/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 6289518 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.382 Prop: 4988.046 PropClause: 4829.94 Set: 1205.82 Check: 0.0 Back: 143.525 INFO - Atoms: 75862/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 6365371 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.39 Prop: 5034.86 PropClause: 4874.893 Set: 1217.033 Check: 0.0 Back: 145.267 INFO - Atoms: 75853/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 6441217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.398 Prop: 5081.322 PropClause: 4919.469 Set: 1228.285 Check: 0.0 Back: 147.012 INFO - Atoms: 75846/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 6517102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.406 Prop: 5126.781 PropClause: 4963.064 Set: 1239.44 Check: 0.0 Back: 148.809 INFO - Atoms: 75885/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 6593005 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.414 Prop: 5172.273 PropClause: 5006.693 Set: 1250.598 Check: 0.0 Back: 150.542 INFO - Atoms: 75903/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 6668912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.423 Prop: 5218.498 PropClause: 5051.061 Set: 1261.835 Check: 0.0 Back: 152.279 INFO - Atoms: 75907/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 6744824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.432 Prop: 5265.511 PropClause: 5096.214 Set: 1273.113 Check: 0.0 Back: 154.013 INFO - Atoms: 75912/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 6823434 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.442 Prop: 5314.263 PropClause: 5143.018 Set: 1285.043 Check: 0.0 Back: 155.741 INFO - Atoms: 78610/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 6901628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.45 Prop: 5364.205 PropClause: 5191.01 Set: 1296.884 Check: 0.0 Back: 157.519 INFO - Atoms: 78194/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 6979950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.459 Prop: 5412.889 PropClause: 5237.76 Set: 1308.746 Check: 0.0 Back: 159.309 INFO - Atoms: 78322/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 7058406 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.468 Prop: 5463.313 PropClause: 5286.251 Set: 1320.662 Check: 0.0 Back: 161.1 INFO - Atoms: 78456/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 7137264 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.477 Prop: 5513.834 PropClause: 5334.825 Set: 1332.681 Check: 0.0 Back: 162.892 INFO - Atoms: 78858/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 7216123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.485 Prop: 5564.651 PropClause: 5383.699 Set: 1344.687 Check: 0.0 Back: 164.727 INFO - Atoms: 78859/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 7295365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.494 Prop: 5614.702 PropClause: 5431.772 Set: 1356.743 Check: 0.0 Back: 166.529 INFO - Atoms: 79242/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 7374213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.502 Prop: 5664.217 PropClause: 5479.341 Set: 1368.603 Check: 0.0 Back: 168.347 INFO - Atoms: 78848/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 7453598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.51 Prop: 5713.944 PropClause: 5527.118 Set: 1380.661 Check: 0.0 Back: 170.139 INFO - Atoms: 79385/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 7533123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.519 Prop: 5764.523 PropClause: 5575.686 Set: 1392.738 Check: 0.0 Back: 171.949 INFO - Atoms: 79525/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 7613039 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.527 Prop: 5814.471 PropClause: 5623.67 Set: 1404.871 Check: 0.0 Back: 173.762 INFO - Atoms: 79916/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 7692427 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.536 Prop: 5864.508 PropClause: 5671.766 Set: 1416.983 Check: 0.0 Back: 175.582 INFO - Atoms: 79388/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 7772767 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.546 Prop: 5916.389 PropClause: 5721.68 Set: 1429.616 Check: 0.0 Back: 177.386 INFO - Atoms: 80340/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 7852964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.555 Prop: 5967.639 PropClause: 5770.947 Set: 1441.865 Check: 0.0 Back: 179.265 INFO - Atoms: 80197/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 7930796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.564 Prop: 6017.841 PropClause: 5819.249 Set: 1453.617 Check: 0.0 Back: 181.093 INFO - Atoms: 77832/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 8009690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.572 Prop: 6067.633 PropClause: 5867.116 Set: 1465.629 Check: 0.0 Back: 182.866 INFO - Atoms: 78894/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 8088694 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.58 Prop: 6118.434 PropClause: 5915.974 Set: 1477.817 Check: 0.0 Back: 184.679 INFO - Atoms: 79004/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 8169815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.589 Prop: 6169.641 PropClause: 5965.204 Set: 1490.414 Check: 0.0 Back: 186.485 INFO - Atoms: 81121/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 8250016 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.598 Prop: 6221.102 PropClause: 6014.712 Set: 1502.702 Check: 0.0 Back: 188.345 INFO - Atoms: 80201/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 8328911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.606 Prop: 6271.728 PropClause: 6063.413 Set: 1514.768 Check: 0.0 Back: 190.175 INFO - Atoms: 78895/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 8407157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.613 Prop: 6321.103 PropClause: 6110.875 Set: 1526.767 Check: 0.0 Back: 191.982 INFO - Atoms: 78246/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 8486848 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.622 Prop: 6370.368 PropClause: 6158.189 Set: 1538.993 Check: 0.0 Back: 193.769 INFO - Atoms: 79691/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 8565863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.63 Prop: 6422.183 PropClause: 6208.056 Set: 1551.08 Check: 0.0 Back: 195.58 INFO - Atoms: 79015/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 8644624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.639 Prop: 6475.912 PropClause: 6259.704 Set: 1564.152 Check: 0.0 Back: 197.391 INFO - Atoms: 78761/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 8723764 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.647 Prop: 6526.621 PropClause: 6308.47 Set: 1576.422 Check: 0.0 Back: 199.199 INFO - Atoms: 79140/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 8802778 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.656 Prop: 6576.545 PropClause: 6356.436 Set: 1588.587 Check: 0.0 Back: 201.051 INFO - Atoms: 79014/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 8881535 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.665 Prop: 6627.07 PropClause: 6405.032 Set: 1600.706 Check: 0.0 Back: 202.843 INFO - Atoms: 78757/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 8959393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.673 Prop: 6677.595 PropClause: 6453.612 Set: 1704.092 Check: 0.0 Back: 204.647 INFO - Atoms: 77858/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 9037636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.682 Prop: 6727.524 PropClause: 6501.626 Set: 1716.162 Check: 0.0 Back: 206.434 INFO - Atoms: 78243/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 9116268 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.691 Prop: 6778.232 PropClause: 6550.36 Set: 1728.358 Check: 0.0 Back: 208.213 INFO - Atoms: 78632/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 9195816 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.699 Prop: 6828.456 PropClause: 6598.607 Set: 1740.712 Check: 0.0 Back: 210.01 INFO - Atoms: 79548/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 9274440 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.707 Prop: 6877.58 PropClause: 6645.803 Set: 1752.733 Check: 0.0 Back: 211.818 INFO - Atoms: 78624/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 9353869 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.715 Prop: 6928.308 PropClause: 6694.584 Set: 1765.127 Check: 0.0 Back: 213.638 INFO - Atoms: 79429/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 9432493 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.724 Prop: 6977.732 PropClause: 6742.066 Set: 1777.153 Check: 0.0 Back: 215.474 INFO - Atoms: 78624/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 9511500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.732 Prop: 7028.228 PropClause: 6790.627 Set: 1789.314 Check: 0.0 Back: 217.42 INFO - Atoms: 79007/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 9590380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.74 Prop: 7078.409 PropClause: 6838.878 Set: 1801.543 Check: 0.0 Back: 219.216 INFO - Atoms: 78880/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 9669165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.749 Prop: 7129.673 PropClause: 6888.213 Set: 1813.795 Check: 0.0 Back: 221.025 INFO - Atoms: 78785/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 9748207 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.757 Prop: 7181.555 PropClause: 6938.155 Set: 1826.084 Check: 0.0 Back: 222.818 INFO - Atoms: 79042/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 9828030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.766 Prop: 7234.236 PropClause: 6988.883 Set: 1838.588 Check: 0.0 Back: 224.626 INFO - Atoms: 79823/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 9907459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.775 Prop: 7288.135 PropClause: 7040.782 Set: 1851.316 Check: 0.0 Back: 226.45 INFO - Atoms: 79429/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 9987291 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.784 Prop: 7341.093 PropClause: 7091.767 Set: 1863.917 Check: 0.0 Back: 228.297 INFO - Atoms: 79832/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 10065558 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.793 Prop: 7394.099 PropClause: 7142.845 Set: 1876.154 Check: 0.0 Back: 230.111 INFO - Atoms: 78267/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 10144360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.802 Prop: 7443.087 PropClause: 7189.884 Set: 1888.322 Check: 0.0 Back: 231.9 INFO - Atoms: 78802/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 10223814 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.81 Prop: 7494.696 PropClause: 7239.488 Set: 1901.256 Check: 0.0 Back: 233.703 INFO - Atoms: 79454/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 10303263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.819 Prop: 7547.493 PropClause: 7290.342 Set: 1913.735 Check: 0.0 Back: 235.547 INFO - Atoms: 79449/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 10382840 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.828 Prop: 7598.646 PropClause: 7339.543 Set: 1926.122 Check: 0.0 Back: 237.342 INFO - Atoms: 79577/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 10460986 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.837 Prop: 7649.926 PropClause: 7388.865 Set: 1938.494 Check: 0.0 Back: 239.147 INFO - Atoms: 78146/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 10538978 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.844 Prop: 7698.645 PropClause: 7435.674 Set: 1950.547 Check: 0.0 Back: 240.943 INFO - Atoms: 77992/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 10617633 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.854 Prop: 7749.157 PropClause: 7484.257 Set: 1962.842 Check: 0.0 Back: 242.717 INFO - Atoms: 78655/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 10697211 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.863 Prop: 7801.649 PropClause: 7534.771 Set: 1975.569 Check: 0.0 Back: 244.522 INFO - Atoms: 79578/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 10776135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.871 Prop: 7853.139 PropClause: 7584.311 Set: 1987.942 Check: 0.0 Back: 246.397 INFO - Atoms: 78924/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 10855592 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.88 Prop: 7904.455 PropClause: 7633.671 Set: 2000.556 Check: 0.0 Back: 248.201 INFO - Atoms: 79457/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 10933732 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.89 Prop: 7956.601 PropClause: 7683.882 Set: 2012.932 Check: 0.0 Back: 250.014 INFO - Atoms: 78140/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 11011879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.899 Prop: 8008.198 PropClause: 7733.556 Set: 2025.2 Check: 0.0 Back: 251.796 INFO - Atoms: 78147/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 11090154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.908 Prop: 8061.713 PropClause: 7785.123 Set: 2037.838 Check: 0.0 Back: 253.58 INFO - Atoms: 78275/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 11169101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.917 Prop: 8112.744 PropClause: 7834.217 Set: 2050.188 Check: 0.0 Back: 255.414 INFO - Atoms: 78947/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 11248181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.926 Prop: 8163.673 PropClause: 7883.205 Set: 2062.644 Check: 0.0 Back: 257.231 INFO - Atoms: 79080/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 11327260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.935 Prop: 8214.079 PropClause: 7931.666 Set: 2075.029 Check: 0.0 Back: 259.079 INFO - Atoms: 79079/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 11405937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.944 Prop: 8265.053 PropClause: 7980.697 Set: 2087.49 Check: 0.0 Back: 260.888 INFO - Atoms: 78677/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 11484477 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.953 Prop: 8315.27 PropClause: 8028.958 Set: 2099.832 Check: 0.0 Back: 262.7 INFO - Atoms: 78540/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 11562343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.96 Prop: 8365.925 PropClause: 8077.684 Set: 2112.107 Check: 0.0 Back: 264.518 INFO - Atoms: 77866/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 11640215 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.969 Prop: 8421.572 PropClause: 8131.066 Set: 2126.804 Check: 0.0 Back: 266.313 INFO - Atoms: 77872/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 11718246 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.977 Prop: 8472.376 PropClause: 8179.933 Set: 2139.249 Check: 0.0 Back: 268.24 INFO - Atoms: 78031/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 11796422 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.986 Prop: 8524.412 PropClause: 8230.045 Set: 2151.668 Check: 0.0 Back: 270.056 INFO - Atoms: 78176/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 11874603 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.994 Prop: 8577.307 PropClause: 8281.008 Set: 2164.294 Check: 0.0 Back: 271.854 INFO - Atoms: 78181/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 11952789 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.004 Prop: 8631.785 PropClause: 8333.554 Set: 2176.839 Check: 0.0 Back: 273.653 INFO - Atoms: 78186/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 12032297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.013 Prop: 8685.853 PropClause: 8385.651 Set: 2189.629 Check: 0.0 Back: 275.451 INFO - Atoms: 79508/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 12075006 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.021 Prop: 8725.88 PropClause: 8424.631 Set: 2195.813 Check: 0.0 Back: 277.279 INFO - Atoms: 42709/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 12143298 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.029 Prop: 8765.935 PropClause: 8463.009 Set: 2205.731 Check: 0.0 Back: 278.268 INFO - Atoms: 68292/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 12216274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.038 Prop: 8809.657 PropClause: 8504.931 Set: 2216.602 Check: 0.0 Back: 279.818 INFO - Atoms: 72976/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 12289547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.046 Prop: 8852.945 PropClause: 8546.423 Set: 2227.445 Check: 0.0 Back: 281.495 INFO - Atoms: 73273/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 12362435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.054 Prop: 8898.303 PropClause: 8589.972 Set: 2238.258 Check: 0.0 Back: 283.161 INFO - Atoms: 72888/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 12390046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.063 Prop: 8924.253 PropClause: 8615.236 Set: 2242.204 Check: 0.0 Back: 284.834 INFO - Atoms: 27611/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 12463065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.072 Prop: 8963.892 PropClause: 8653.091 Set: 2252.863 Check: 0.0 Back: 285.466 INFO - Atoms: 73019/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 12536223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.08 Prop: 9009.447 PropClause: 8696.864 Set: 2263.629 Check: 0.0 Back: 287.124 INFO - Atoms: 73158/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 12610179 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.089 Prop: 9052.798 PropClause: 8738.404 Set: 2274.556 Check: 0.0 Back: 288.785 INFO - Atoms: 73956/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 12660961 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.097 Prop: 9087.81 PropClause: 8772.171 Set: 2281.938 Check: 0.0 Back: 290.477 INFO - Atoms: 50782/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 12734917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.105 Prop: 9130.205 PropClause: 8812.759 Set: 2292.861 Check: 0.0 Back: 291.635 INFO - Atoms: 73956/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 12758936 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.114 Prop: 9154.472 PropClause: 8836.43 Set: 2296.26 Check: 0.0 Back: 293.322 INFO - Atoms: 24019/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 12831960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.123 Prop: 9195.54 PropClause: 8875.682 Set: 2307.164 Check: 0.0 Back: 293.878 INFO - Atoms: 73024/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 12904990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.131 Prop: 9237.896 PropClause: 8916.25 Set: 2317.869 Check: 0.0 Back: 295.571 INFO - Atoms: 73030/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 12980763 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.139 Prop: 9283.627 PropClause: 8960.114 Set: 2329.353 Check: 0.0 Back: 297.233 INFO - Atoms: 75773/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 13005692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.148 Prop: 9308.712 PropClause: 8984.585 Set: 2332.836 Check: 0.0 Back: 298.975 INFO - Atoms: 24929/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 13081462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.158 Prop: 9348.925 PropClause: 9022.912 Set: 2344.239 Check: 0.0 Back: 299.544 INFO - Atoms: 75770/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 13157234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.167 Prop: 9395.247 PropClause: 9067.361 Set: 2355.604 Check: 0.0 Back: 301.279 INFO - Atoms: 75772/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 13209952 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.177 Prop: 9434.025 PropClause: 9104.835 Set: 2363.246 Check: 0.0 Back: 303.005 INFO - Atoms: 52718/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 13286697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.185 Prop: 9477.646 PropClause: 9146.554 Set: 2374.851 Check: 0.0 Back: 304.211 INFO - Atoms: 76745/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 13363442 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.197 Prop: 9526.997 PropClause: 9194.022 Set: 2386.562 Check: 0.0 Back: 305.953 INFO - Atoms: 76745/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 13417354 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.205 Prop: 9564.258 PropClause: 9229.965 Set: 2394.326 Check: 0.0 Back: 307.714 INFO - Atoms: 53912/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 13494106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.214 Prop: 9607.63 PropClause: 9271.433 Set: 2405.903 Check: 0.0 Back: 308.938 INFO - Atoms: 76752/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 13570870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.223 Prop: 9656.813 PropClause: 9318.663 Set: 2417.57 Check: 0.0 Back: 310.694 INFO - Atoms: 76764/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 13647636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.231 Prop: 9705.524 PropClause: 9365.479 Set: 2429.278 Check: 0.0 Back: 312.452 INFO - Atoms: 76766/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 13750235 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.24 Prop: 9776.105 PropClause: 9433.505 Set: 2447.544 Check: 0.0 Back: 314.223 INFO - Atoms: 102599/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 13852720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.249 Prop: 9861.965 PropClause: 9516.828 Set: 2466.01 Check: 0.0 Back: 316.58 INFO - Atoms: 102485/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 13955192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.257 Prop: 9951.384 PropClause: 9603.688 Set: 2484.411 Check: 0.0 Back: 318.95 INFO - Atoms: 102472/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 14057549 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.266 Prop: 10032.489 PropClause: 9682.286 Set: 2502.381 Check: 0.0 Back: 321.313 INFO - Atoms: 102357/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 14159893 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.274 Prop: 10116.109 PropClause: 9763.359 Set: 2520.581 Check: 0.0 Back: 323.656 INFO - Atoms: 102344/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 14262246 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.284 Prop: 10203.206 PropClause: 9847.918 Set: 2539.223 Check: 0.0 Back: 326.004 INFO - Atoms: 102353/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 14364220 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.293 Prop: 10286.238 PropClause: 9928.441 Set: 2557.051 Check: 0.0 Back: 328.367 INFO - Atoms: 101974/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 14465280 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.302 Prop: 10370.589 PropClause: 10010.305 Set: 2574.932 Check: 0.0 Back: 330.706 INFO - Atoms: 101060/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 14567382 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.313 Prop: 10455.784 PropClause: 10092.961 Set: 2593.053 Check: 0.0 Back: 333.011 INFO - Atoms: 102102/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 14598788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.321 Prop: 10504.956 PropClause: 10141.361 Set: 2597.502 Check: 0.0 Back: 335.37 INFO - Atoms: 31406/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 14630968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.331 Prop: 10527.639 PropClause: 10163.247 Set: 2602.096 Check: 0.0 Back: 336.092 INFO - Atoms: 32180/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 14707509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.339 Prop: 10568.23 PropClause: 10201.963 Set: 2613.647 Check: 0.0 Back: 336.842 INFO - Atoms: 76541/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 14808065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.349 Prop: 10630.648 PropClause: 10261.912 Set: 2631.707 Check: 0.0 Back: 338.58 INFO - Atoms: 100556/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 14908608 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.358 Prop: 10717.755 PropClause: 10346.526 Set: 2649.721 Check: 0.0 Back: 340.88 INFO - Atoms: 100543/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 15009159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.367 Prop: 10799.726 PropClause: 10426.013 Set: 2667.663 Check: 0.0 Back: 343.21 INFO - Atoms: 100551/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 15109334 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.377 Prop: 10881.567 PropClause: 10505.384 Set: 2685.231 Check: 0.0 Back: 345.518 INFO - Atoms: 100175/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 15210931 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.387 Prop: 10970.092 PropClause: 10591.394 Set: 2703.779 Check: 0.0 Back: 347.812 INFO - Atoms: 101597/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 15312152 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.397 Prop: 11057.179 PropClause: 10675.919 Set: 2721.748 Check: 0.0 Back: 350.163 INFO - Atoms: 101221/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 15413621 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.406 Prop: 11139.598 PropClause: 10755.836 Set: 2739.758 Check: 0.0 Back: 352.499 INFO - Atoms: 101469/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 15514712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.414 Prop: 11222.37 PropClause: 10836.096 Set: 2757.704 Check: 0.0 Back: 354.852 INFO - Atoms: 101091/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 15546770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.422 Prop: 11272.292 PropClause: 10885.231 Set: 2762.233 Check: 0.0 Back: 357.179 INFO - Atoms: 32058/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 15648117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.43 Prop: 11329.524 PropClause: 10939.953 Set: 2780.285 Check: 0.0 Back: 357.915 INFO - Atoms: 101347/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 15749088 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.439 Prop: 11414.767 PropClause: 11022.7 Set: 2798.15 Check: 0.0 Back: 360.228 INFO - Atoms: 100971/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 15850186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.448 Prop: 11497.329 PropClause: 11102.782 Set: 2816.21 Check: 0.0 Back: 362.545 INFO - Atoms: 101098/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 15951271 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.457 Prop: 11579.376 PropClause: 11182.351 Set: 2833.856 Check: 0.0 Back: 364.852 INFO - Atoms: 101085/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 16052247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.466 Prop: 11666.321 PropClause: 11266.781 Set: 2852.331 Check: 0.0 Back: 367.181 INFO - Atoms: 100976/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 16153210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.474 Prop: 11750.323 PropClause: 11348.286 Set: 2870.225 Check: 0.0 Back: 369.508 INFO - Atoms: 100963/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 16254058 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.482 Prop: 11833.619 PropClause: 11429.081 Set: 2888.502 Check: 0.0 Back: 371.825 INFO - Atoms: 100848/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 1000 Props: 140895 Tprops: 80872 Decides: 127195 RSplits: 0 INFO - Times: Expl: 521.613 Prop: 140176.826 PropClause: 119.693 Set: 139127.545 Check: 226.505 Back: 1331.952 INFO - Atoms: 3/2003 Clauses: 1000 Axioms: 1746 INFO - CCTimes: iE 1052988 eq 131499748 cc 260035190 setRep 50343085 INFO - Merges: 270642, cc:895698 INFO - BVTimes: BB 3603362364 BB_DPLL 131523619217 Graph 3326151 INFO - BitBlastingClauses: 2263770 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 16343742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.49 Prop: 11913.554 PropClause: 11506.799 Set: 2903.654 Check: 0.0 Back: 374.159 INFO - Atoms: 89684/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 16444448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.498 Prop: 11990.794 PropClause: 11581.538 Set: 2921.57 Check: 0.0 Back: 376.209 INFO - Atoms: 100706/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 16542787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.51 Prop: 12078.068 PropClause: 11666.376 Set: 2939.279 Check: 0.0 Back: 378.514 INFO - Atoms: 98339/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 16643267 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.518 Prop: 12161.843 PropClause: 11747.669 Set: 2957.26 Check: 0.0 Back: 380.783 INFO - Atoms: 100480/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 16743734 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.527 Prop: 12247.681 PropClause: 11831.04 Set: 2975.244 Check: 0.0 Back: 383.08 INFO - Atoms: 100467/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 16844207 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.536 Prop: 12335.82 PropClause: 11916.674 Set: 2993.571 Check: 0.0 Back: 385.385 INFO - Atoms: 100473/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 16944304 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.545 Prop: 12422.882 PropClause: 12001.254 Set: 3011.888 Check: 0.0 Back: 387.694 INFO - Atoms: 100097/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 17044147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.554 Prop: 12517.949 PropClause: 12093.797 Set: 3030.562 Check: 0.0 Back: 390.008 INFO - Atoms: 99843/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 17143977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.562 Prop: 12603.97 PropClause: 12177.36 Set: 3048.643 Check: 0.0 Back: 392.353 INFO - Atoms: 99830/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 17243429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.569 Prop: 12684.884 PropClause: 12255.824 Set: 3066.313 Check: 0.0 Back: 394.667 INFO - Atoms: 99452/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 17342507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.577 Prop: 12771.811 PropClause: 12340.294 Set: 3084.164 Check: 0.0 Back: 396.951 INFO - Atoms: 99078/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 17441447 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.588 Prop: 12860.602 PropClause: 12426.642 Set: 3102.391 Check: 0.0 Back: 399.215 INFO - Atoms: 98940/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 17540010 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.596 Prop: 12946.889 PropClause: 12510.483 Set: 3120.378 Check: 0.0 Back: 401.503 INFO - Atoms: 98563/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 17638842 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.605 Prop: 13032.92 PropClause: 12594.039 Set: 3211.913 Check: 0.0 Back: 403.802 INFO - Atoms: 98832/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 17737245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.616 Prop: 13117.343 PropClause: 12676.051 Set: 3229.794 Check: 0.0 Back: 406.097 INFO - Atoms: 98403/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 17835831 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.624 Prop: 13206.539 PropClause: 12762.8 Set: 3248.018 Check: 0.0 Back: 408.382 INFO - Atoms: 98586/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 17934403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.634 Prop: 13290.256 PropClause: 12844.057 Set: 3265.996 Check: 0.0 Back: 410.667 INFO - Atoms: 98572/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 18032601 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.643 Prop: 13372.804 PropClause: 12924.187 Set: 3283.615 Check: 0.0 Back: 412.951 INFO - Atoms: 98198/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 18130543 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.651 Prop: 13459.195 PropClause: 13008.132 Set: 3301.429 Check: 0.0 Back: 415.216 INFO - Atoms: 97942/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 18228229 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.659 Prop: 13543.638 PropClause: 13090.16 Set: 3319.177 Check: 0.0 Back: 417.469 INFO - Atoms: 97686/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 18325819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.669 Prop: 13630.482 PropClause: 13174.555 Set: 3337.119 Check: 0.0 Back: 419.696 INFO - Atoms: 97590/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 18423421 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.677 Prop: 13719.385 PropClause: 13261.004 Set: 3355.209 Check: 0.0 Back: 421.989 INFO - Atoms: 97602/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 18520862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.686 Prop: 13804.11 PropClause: 13343.321 Set: 3372.718 Check: 0.0 Back: 424.267 INFO - Atoms: 97441/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 18618381 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.695 Prop: 13891.945 PropClause: 13428.71 Set: 3390.635 Check: 0.0 Back: 426.515 INFO - Atoms: 97519/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 18715647 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.705 Prop: 13978.6 PropClause: 13512.947 Set: 3408.493 Check: 0.0 Back: 428.765 INFO - Atoms: 97266/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 18788426 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.714 Prop: 14047.458 PropClause: 13579.991 Set: 3419.907 Check: 0.0 Back: 431.018 INFO - Atoms: 72779/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 18861341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.725 Prop: 14098.075 PropClause: 13628.745 Set: 3431.716 Check: 0.0 Back: 432.708 INFO - Atoms: 72915/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 18946184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.734 Prop: 14154.91 PropClause: 13683.477 Set: 3446.28 Check: 0.0 Back: 434.425 INFO - Atoms: 84843/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 19017543 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.743 Prop: 14212.347 PropClause: 13739.147 Set: 3457.346 Check: 0.0 Back: 436.399 INFO - Atoms: 71359/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 19102388 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.752 Prop: 14265.801 PropClause: 13790.498 Set: 3471.702 Check: 0.0 Back: 438.047 INFO - Atoms: 84845/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 19172136 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.762 Prop: 14325.426 PropClause: 13848.368 Set: 3482.696 Check: 0.0 Back: 440.069 INFO - Atoms: 69748/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 19253879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.771 Prop: 14379.986 PropClause: 13900.892 Set: 3496.623 Check: 0.0 Back: 441.772 INFO - Atoms: 81743/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 19365250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.78 Prop: 14469.079 PropClause: 13987.246 Set: 3518.028 Check: 0.0 Back: 443.683 INFO - Atoms: 111371/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 19475628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.787 Prop: 14582.149 PropClause: 14097.591 Set: 3539.509 Check: 0.0 Back: 446.259 INFO - Atoms: 110378/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 19562289 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.796 Prop: 14665.816 PropClause: 14179.132 Set: 3554.091 Check: 0.0 Back: 448.817 INFO - Atoms: 86661/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 19657806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.804 Prop: 14741.938 PropClause: 14252.889 Set: 3571.613 Check: 0.0 Back: 450.824 INFO - Atoms: 95517/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 19768802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.813 Prop: 14838.636 PropClause: 14346.767 Set: 3592.984 Check: 0.0 Back: 453.035 INFO - Atoms: 110996/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 19787516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.822 Prop: 14897.284 PropClause: 14404.948 Set: 3595.615 Check: 0.0 Back: 455.601 INFO - Atoms: 18714/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 19814759 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.832 Prop: 14918.343 PropClause: 14425.331 Set: 3599.5 Check: 0.0 Back: 456.03 INFO - Atoms: 27243/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 19845593 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.839 Prop: 14940.709 PropClause: 14446.931 Set: 3603.916 Check: 0.0 Back: 456.671 INFO - Atoms: 30834/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 19876429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.848 Prop: 14962.96 PropClause: 14468.411 Set: 3608.306 Check: 0.0 Back: 457.38 INFO - Atoms: 30836/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 19965190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.857 Prop: 15019.108 PropClause: 14522.292 Set: 3625.261 Check: 0.0 Back: 458.095 INFO - Atoms: 88761/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 20058709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.865 Prop: 15090.657 PropClause: 14591.53 Set: 3641.745 Check: 0.0 Back: 460.191 INFO - Atoms: 93519/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 20170816 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.874 Prop: 15188.518 PropClause: 14686.609 Set: 3663.745 Check: 0.0 Back: 462.352 INFO - Atoms: 112107/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 20283666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.884 Prop: 15309.881 PropClause: 14805.173 Set: 3685.976 Check: 0.0 Back: 464.978 INFO - Atoms: 112850/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 20395272 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.893 Prop: 15422.111 PropClause: 14914.64 Set: 3707.267 Check: 0.0 Back: 467.595 INFO - Atoms: 111606/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 20416077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.902 Prop: 15482.069 PropClause: 14974.074 Set: 3710.29 Check: 0.0 Back: 470.154 INFO - Atoms: 20805/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 20504845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.912 Prop: 15534.514 PropClause: 15024.321 Set: 3726.051 Check: 0.0 Back: 470.673 INFO - Atoms: 88768/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 20596317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.921 Prop: 15606.3 PropClause: 15093.836 Set: 3742.263 Check: 0.0 Back: 472.735 INFO - Atoms: 91472/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 20708653 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.93 Prop: 15701.949 PropClause: 15186.684 Set: 3763.996 Check: 0.0 Back: 474.842 INFO - Atoms: 112336/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 20797180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.939 Prop: 15791.631 PropClause: 15274.174 Set: 3779.711 Check: 0.0 Back: 477.433 INFO - Atoms: 88527/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 20886220 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.949 Prop: 15863.809 PropClause: 15344.15 Set: 3795.424 Check: 0.0 Back: 479.475 INFO - Atoms: 89040/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 20996411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.958 Prop: 15955.781 PropClause: 15433.354 Set: 3816.846 Check: 0.0 Back: 481.544 INFO - Atoms: 110191/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 21109671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.966 Prop: 16071.199 PropClause: 15545.979 Set: 3838.719 Check: 0.0 Back: 484.082 INFO - Atoms: 113260/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 21223052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.975 Prop: 16186.293 PropClause: 15658.266 Set: 3860.623 Check: 0.0 Back: 486.701 INFO - Atoms: 113381/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 21344671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.984 Prop: 16320.276 PropClause: 15789.233 Set: 3885.093 Check: 0.0 Back: 489.329 INFO - Atoms: 121619/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 21476781 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.993 Prop: 16471.02 PropClause: 15936.679 Set: 3912.521 Check: 0.0 Back: 492.151 INFO - Atoms: 132110/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 21607671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.002 Prop: 16627.876 PropClause: 16090.277 Set: 3938.667 Check: 0.0 Back: 495.189 INFO - Atoms: 130890/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 21739488 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.01 Prop: 16778.869 PropClause: 16238.018 Set: 3965.179 Check: 0.0 Back: 498.238 INFO - Atoms: 131817/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 21804601 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.019 Prop: 16876.032 PropClause: 16333.558 Set: 3974.858 Check: 0.0 Back: 501.259 INFO - Atoms: 65113/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 21827483 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.027 Prop: 16896.391 PropClause: 16353.35 Set: 3978.157 Check: 0.0 Back: 502.763 INFO - Atoms: 22882/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 21874635 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.036 Prop: 16925.039 PropClause: 16380.823 Set: 3985.036 Check: 0.0 Back: 503.294 INFO - Atoms: 47152/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 21939748 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.045 Prop: 16960.655 PropClause: 16414.817 Set: 3994.541 Check: 0.0 Back: 504.38 INFO - Atoms: 65113/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 21955735 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.053 Prop: 16977.133 PropClause: 16430.895 Set: 3996.749 Check: 0.0 Back: 505.887 INFO - Atoms: 15987/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 22021513 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.061 Prop: 17013.038 PropClause: 16465.171 Set: 4006.508 Check: 0.0 Back: 506.259 INFO - Atoms: 65778/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 22081613 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.078 Prop: 17050.093 PropClause: 16500.737 Set: 4015.361 Check: 0.0 Back: 507.765 INFO - Atoms: 60100/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 22093307 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.088 Prop: 17065.938 PropClause: 16516.291 Set: 4016.932 Check: 0.0 Back: 509.146 INFO - Atoms: 11694/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 22104493 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.096 Prop: 17077.788 PropClause: 16527.859 Set: 4018.383 Check: 0.0 Back: 509.412 INFO - Atoms: 11186/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 22144597 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.106 Prop: 17102.867 PropClause: 16551.944 Set: 4024.266 Check: 0.0 Back: 509.667 INFO - Atoms: 40104/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 22204080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.114 Prop: 17136.336 PropClause: 16583.931 Set: 4033.036 Check: 0.0 Back: 510.592 INFO - Atoms: 59483/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 22243797 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.122 Prop: 17161.442 PropClause: 16608.048 Set: 4038.845 Check: 0.0 Back: 511.964 INFO - Atoms: 39717/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 22303275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.131 Prop: 17194.17 PropClause: 16639.293 Set: 4047.56 Check: 0.0 Back: 512.89 INFO - Atoms: 59478/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 22362754 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.139 Prop: 17228.281 PropClause: 16671.882 Set: 4056.375 Check: 0.0 Back: 514.256 INFO - Atoms: 59479/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 22422363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.147 Prop: 17260.978 PropClause: 16703.095 Set: 4065.203 Check: 0.0 Back: 515.668 INFO - Atoms: 59609/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 22474658 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.156 Prop: 17293.085 PropClause: 16733.682 Set: 4074.323 Check: 0.0 Back: 517.052 INFO - Atoms: 52295/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 22534403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.165 Prop: 17325.908 PropClause: 16765.017 Set: 4083.163 Check: 0.0 Back: 518.293 INFO - Atoms: 59745/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 22594415 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.174 Prop: 17363.27 PropClause: 16800.89 Set: 4092.101 Check: 0.0 Back: 519.664 INFO - Atoms: 60012/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 22654689 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.182 Prop: 17399.028 PropClause: 16835.04 Set: 4101.847 Check: 0.0 Back: 521.077 INFO - Atoms: 60274/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 22678420 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.191 Prop: 17418.011 PropClause: 16853.427 Set: 4105.206 Check: 0.0 Back: 522.495 INFO - Atoms: 23731/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 22738831 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.2 Prop: 17451.54 PropClause: 16885.456 Set: 4114.155 Check: 0.0 Back: 523.057 INFO - Atoms: 60411/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 22799248 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.21 Prop: 17485.737 PropClause: 16918.156 Set: 4123.102 Check: 0.0 Back: 524.446 INFO - Atoms: 60417/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 22808423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.217 Prop: 17499.595 PropClause: 16931.783 Set: 4124.265 Check: 0.0 Back: 525.84 INFO - Atoms: 9175/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 22830578 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.227 Prop: 17516.05 PropClause: 16947.688 Set: 4127.379 Check: 0.0 Back: 526.051 INFO - Atoms: 22155/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 22891512 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.236 Prop: 17549.067 PropClause: 16979.19 Set: 4136.422 Check: 0.0 Back: 526.572 INFO - Atoms: 60934/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 22952172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.243 Prop: 17583.727 PropClause: 17012.307 Set: 4145.297 Check: 0.0 Back: 527.971 INFO - Atoms: 60660/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 23012832 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.252 Prop: 17619.908 PropClause: 17046.991 Set: 4154.292 Check: 0.0 Back: 529.371 INFO - Atoms: 60660/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 23073492 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.261 Prop: 17654.102 PropClause: 17079.696 Set: 4163.14 Check: 0.0 Back: 530.762 INFO - Atoms: 60660/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 23134152 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.27 Prop: 17693.62 PropClause: 17117.411 Set: 4175.062 Check: 0.0 Back: 532.148 INFO - Atoms: 60660/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 23194812 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.278 Prop: 17734.08 PropClause: 17156.096 Set: 4186.966 Check: 0.0 Back: 533.741 INFO - Atoms: 60660/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 23214372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.286 Prop: 17754.631 PropClause: 17176.071 Set: 4341.489 Check: 0.0 Back: 535.311 INFO - Atoms: 19560/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 23275033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.294 Prop: 17791.634 PropClause: 17211.289 Set: 4353.274 Check: 0.0 Back: 535.818 INFO - Atoms: 60661/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 23282419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.304 Prop: 17805.722 PropClause: 17225.157 Set: 4354.495 Check: 0.0 Back: 537.395 INFO - Atoms: 7386/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 23343211 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.313 Prop: 17837.992 PropClause: 17255.931 Set: 4363.321 Check: 0.0 Back: 537.589 INFO - Atoms: 60792/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 23404264 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.321 Prop: 17873.24 PropClause: 17289.664 Set: 4372.313 Check: 0.0 Back: 538.977 INFO - Atoms: 61053/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 23465448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.33 Prop: 17906.587 PropClause: 17321.504 Set: 4381.251 Check: 0.0 Back: 540.382 INFO - Atoms: 61184/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 23526633 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.338 Prop: 17938.902 PropClause: 17352.318 Set: 4390.099 Check: 0.0 Back: 541.787 INFO - Atoms: 61185/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 23587819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.347 Prop: 17974.272 PropClause: 17386.177 Set: 4399.109 Check: 0.0 Back: 543.179 INFO - Atoms: 61186/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 23610752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.356 Prop: 17993.495 PropClause: 17404.83 Set: 4402.335 Check: 0.0 Back: 544.615 INFO - Atoms: 22933/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 23671939 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.366 Prop: 18027.112 PropClause: 17436.932 Set: 4411.363 Check: 0.0 Back: 545.157 INFO - Atoms: 61187/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 23696057 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.374 Prop: 18046.762 PropClause: 17455.984 Set: 4414.784 Check: 0.0 Back: 546.567 INFO - Atoms: 24118/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 23757199 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.383 Prop: 18079.327 PropClause: 17487.044 Set: 4423.674 Check: 0.0 Back: 547.123 INFO - Atoms: 61142/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 23782318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.391 Prop: 18098.955 PropClause: 17506.051 Set: 4427.205 Check: 0.0 Back: 548.538 INFO - Atoms: 25119/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 23847350 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.399 Prop: 18133.625 PropClause: 17539.104 Set: 4436.938 Check: 0.0 Back: 549.113 INFO - Atoms: 65032/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 23912393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.409 Prop: 18171.719 PropClause: 17575.592 Set: 4446.574 Check: 0.0 Back: 550.599 INFO - Atoms: 65043/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 23977684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.417 Prop: 18212.014 PropClause: 17614.268 Set: 4456.313 Check: 0.0 Back: 552.095 INFO - Atoms: 65291/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 24042976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.425 Prop: 18251.38 PropClause: 17652.021 Set: 4466.161 Check: 0.0 Back: 553.582 INFO - Atoms: 65292/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 24109500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.435 Prop: 18295.555 PropClause: 17694.547 Set: 4476.484 Check: 0.0 Back: 555.074 INFO - Atoms: 66524/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 24134497 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.443 Prop: 18319.811 PropClause: 17718.176 Set: 4480.04 Check: 0.0 Back: 556.621 INFO - Atoms: 24997/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 24212477 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.452 Prop: 18365.411 PropClause: 17761.852 Set: 4492.952 Check: 0.0 Back: 557.197 INFO - Atoms: 77980/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 24290585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.461 Prop: 18424.231 PropClause: 17818.76 Set: 4505.703 Check: 0.0 Back: 558.994 INFO - Atoms: 78108/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 24368690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.47 Prop: 18480.92 PropClause: 17873.52 Set: 4518.512 Check: 0.0 Back: 560.786 INFO - Atoms: 78105/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 24447441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.478 Prop: 18537.187 PropClause: 17927.834 Set: 4531.538 Check: 0.0 Back: 562.569 INFO - Atoms: 78751/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 24526963 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.486 Prop: 18594.997 PropClause: 17983.68 Set: 4544.738 Check: 0.0 Back: 564.386 INFO - Atoms: 79522/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 24607244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.495 Prop: 18654.002 PropClause: 18040.706 Set: 4558.288 Check: 0.0 Back: 566.23 INFO - Atoms: 80281/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 24687413 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.503 Prop: 18716.0 PropClause: 18100.717 Set: 4571.861 Check: 0.0 Back: 568.068 INFO - Atoms: 80169/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 24768107 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.513 Prop: 18780.544 PropClause: 18163.25 Set: 4585.641 Check: 0.0 Back: 569.913 INFO - Atoms: 80694/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 24848795 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.522 Prop: 18846.02 PropClause: 18226.596 Set: 4600.603 Check: 0.0 Back: 571.79 INFO - Atoms: 80688/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 24929251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.531 Prop: 18907.82 PropClause: 18286.414 Set: 4614.316 Check: 0.0 Back: 573.726 INFO - Atoms: 80456/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 25009737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.542 Prop: 18976.787 PropClause: 18353.291 Set: 4629.07 Check: 0.0 Back: 575.584 INFO - Atoms: 80486/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 25089844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.55 Prop: 19039.525 PropClause: 18414.045 Set: 4642.928 Check: 0.0 Back: 577.471 INFO - Atoms: 80107/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 25169942 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.56 Prop: 19099.148 PropClause: 18471.698 Set: 4656.447 Check: 0.0 Back: 579.317 INFO - Atoms: 80098/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 25249666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.567 Prop: 19159.306 PropClause: 18529.905 Set: 4669.793 Check: 0.0 Back: 581.148 INFO - Atoms: 79724/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 25329324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.576 Prop: 19220.276 PropClause: 18588.885 Set: 4683.365 Check: 0.0 Back: 582.964 INFO - Atoms: 79658/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 25417825 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.585 Prop: 19292.05 PropClause: 18658.407 Set: 4699.491 Check: 0.0 Back: 584.79 INFO - Atoms: 88501/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 25509533 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.594 Prop: 19377.731 PropClause: 18741.824 Set: 4716.159 Check: 0.0 Back: 586.826 INFO - Atoms: 91708/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 25601243 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.603 Prop: 19462.604 PropClause: 18824.406 Set: 4733.034 Check: 0.0 Back: 588.945 INFO - Atoms: 91710/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 25691840 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.611 Prop: 19553.727 PropClause: 18913.267 Set: 4750.111 Check: 0.0 Back: 591.064 INFO - Atoms: 90597/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 25782566 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.621 Prop: 19640.187 PropClause: 18997.493 Set: 4766.549 Check: 0.0 Back: 593.179 INFO - Atoms: 90726/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 25872650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.63 Prop: 19725.693 PropClause: 19080.744 Set: 4871.235 Check: 0.0 Back: 595.285 INFO - Atoms: 90084/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 25970281 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.638 Prop: 19817.326 PropClause: 19169.972 Set: 4889.351 Check: 0.0 Back: 597.353 INFO - Atoms: 97631/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 26067508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.646 Prop: 19911.796 PropClause: 19262.029 Set: 4907.263 Check: 0.0 Back: 599.592 INFO - Atoms: 97227/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 26133667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.654 Prop: 19981.529 PropClause: 19330.091 Set: 4917.589 Check: 0.0 Back: 601.824 INFO - Atoms: 66159/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 26202642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.662 Prop: 20028.181 PropClause: 19375.048 Set: 4928.722 Check: 0.0 Back: 603.343 INFO - Atoms: 68975/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 26271817 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.671 Prop: 20077.431 PropClause: 19422.588 Set: 4939.986 Check: 0.0 Back: 604.934 INFO - Atoms: 69175/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 26344266 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.681 Prop: 20132.249 PropClause: 19475.592 Set: 4952.224 Check: 0.0 Back: 606.528 INFO - Atoms: 72449/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 26421302 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.69 Prop: 20189.674 PropClause: 19531.106 Set: 4965.405 Check: 0.0 Back: 608.231 INFO - Atoms: 77036/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 26500481 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.7 Prop: 20256.811 PropClause: 19596.259 Set: 4979.391 Check: 0.0 Back: 610.008 INFO - Atoms: 79179/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 26580815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.708 Prop: 20323.787 PropClause: 19661.199 Set: 4993.099 Check: 0.0 Back: 611.833 INFO - Atoms: 80334/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 26665604 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.717 Prop: 20399.365 PropClause: 19734.674 Set: 5008.5 Check: 0.0 Back: 613.681 INFO - Atoms: 84789/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 26750527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.727 Prop: 20473.871 PropClause: 19807.042 Set: 5023.604 Check: 0.0 Back: 615.643 INFO - Atoms: 84923/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 26836375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.736 Prop: 20547.941 PropClause: 19878.994 Set: 5038.71 Check: 0.0 Back: 617.583 INFO - Atoms: 85848/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 26921233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.745 Prop: 20628.416 PropClause: 19957.354 Set: 5054.364 Check: 0.0 Back: 619.582 INFO - Atoms: 84858/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 27006051 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.753 Prop: 20704.974 PropClause: 20031.811 Set: 5069.75 Check: 0.0 Back: 621.545 INFO - Atoms: 84818/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 27090266 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.762 Prop: 20783.196 PropClause: 20107.93 Set: 5085.194 Check: 0.0 Back: 623.505 INFO - Atoms: 84215/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 27174441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.77 Prop: 20862.79 PropClause: 20185.451 Set: 5100.732 Check: 0.0 Back: 625.454 INFO - Atoms: 84175/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 27258394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.779 Prop: 20943.107 PropClause: 20263.689 Set: 5115.973 Check: 0.0 Back: 627.415 INFO - Atoms: 83953/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 27342309 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.787 Prop: 21016.314 PropClause: 20334.829 Set: 5130.782 Check: 0.0 Back: 629.342 INFO - Atoms: 83915/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 27426000 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.795 Prop: 21091.058 PropClause: 20407.453 Set: 5145.718 Check: 0.0 Back: 631.266 INFO - Atoms: 83691/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 27509655 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.804 Prop: 21165.057 PropClause: 20479.368 Set: 5160.486 Check: 0.0 Back: 633.212 INFO - Atoms: 83655/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 27593086 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.814 Prop: 21240.847 PropClause: 20553.101 Set: 5175.584 Check: 0.0 Back: 635.155 INFO - Atoms: 83431/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 27676481 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.822 Prop: 21317.375 PropClause: 20627.552 Set: 5190.95 Check: 0.0 Back: 637.099 INFO - Atoms: 83395/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 27759652 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.83 Prop: 21393.233 PropClause: 20701.361 Set: 5205.839 Check: 0.0 Back: 639.038 INFO - Atoms: 83171/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 27842787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.839 Prop: 21471.629 PropClause: 20777.696 Set: 5221.182 Check: 0.0 Back: 640.95 INFO - Atoms: 83135/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 27925696 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.848 Prop: 21549.742 PropClause: 20853.757 Set: 5236.468 Check: 0.0 Back: 642.889 INFO - Atoms: 82909/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 28008571 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.856 Prop: 21624.037 PropClause: 20925.996 Set: 5251.459 Check: 0.0 Back: 644.802 INFO - Atoms: 82875/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 28091218 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.865 Prop: 21702.064 PropClause: 21001.969 Set: 5266.427 Check: 0.0 Back: 646.712 INFO - Atoms: 82647/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 28173833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.874 Prop: 21774.825 PropClause: 21072.693 Set: 5280.93 Check: 0.0 Back: 648.631 INFO - Atoms: 82615/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 28256220 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.882 Prop: 21847.152 PropClause: 21142.954 Set: 5295.608 Check: 0.0 Back: 650.541 INFO - Atoms: 82387/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 28338573 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.892 Prop: 21924.1 PropClause: 21217.855 Set: 5310.713 Check: 0.0 Back: 652.423 INFO - Atoms: 82353/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 28420700 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.901 Prop: 22002.832 PropClause: 21294.512 Set: 5325.593 Check: 0.0 Back: 654.332 INFO - Atoms: 82127/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 28502791 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.909 Prop: 22075.883 PropClause: 21365.539 Set: 5340.338 Check: 0.0 Back: 656.234 INFO - Atoms: 82091/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 28584658 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.918 Prop: 22152.113 PropClause: 21439.748 Set: 5355.26 Check: 0.0 Back: 658.12 INFO - Atoms: 81867/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 386 Props: 28666489 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.927 Prop: 22229.639 PropClause: 21515.222 Set: 5370.523 Check: 0.0 Back: 660.01 INFO - Atoms: 81831/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 387 Props: 28748096 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.936 Prop: 22304.552 PropClause: 21588.128 Set: 5385.035 Check: 0.0 Back: 661.947 INFO - Atoms: 81607/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 388 Props: 28829667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.945 Prop: 22383.197 PropClause: 21664.75 Set: 5400.025 Check: 0.0 Back: 663.822 INFO - Atoms: 81571/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 389 Props: 28911014 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.953 Prop: 22457.947 PropClause: 21737.498 Set: 5414.662 Check: 0.0 Back: 665.71 INFO - Atoms: 81347/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 390 Props: 28992323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.961 Prop: 22531.765 PropClause: 21809.306 Set: 5429.322 Check: 0.0 Back: 667.577 INFO - Atoms: 81309/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 391 Props: 29073410 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.97 Prop: 22613.637 PropClause: 21889.108 Set: 5445.021 Check: 0.0 Back: 669.45 INFO - Atoms: 81087/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 392 Props: 29154457 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.978 Prop: 22687.746 PropClause: 21961.227 Set: 5459.719 Check: 0.0 Back: 671.365 INFO - Atoms: 81047/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 393 Props: 29235282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.987 Prop: 22770.723 PropClause: 22042.184 Set: 5474.979 Check: 0.0 Back: 673.245 INFO - Atoms: 80825/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 394 Props: 29316069 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.995 Prop: 22846.453 PropClause: 22115.918 Set: 5489.574 Check: 0.0 Back: 675.17 INFO - Atoms: 80787/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 395 Props: 29396632 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.004 Prop: 22922.176 PropClause: 22189.66 Set: 5504.201 Check: 0.0 Back: 677.111 INFO - Atoms: 80563/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 396 Props: 29477157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.011 Prop: 23001.83 PropClause: 22267.295 Set: 5519.086 Check: 0.0 Back: 678.991 INFO - Atoms: 80525/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 397 Props: 29557458 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.019 Prop: 23074.391 PropClause: 22337.862 Set: 5533.453 Check: 0.0 Back: 680.854 INFO - Atoms: 80301/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 398 Props: 29637721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.027 Prop: 23146.765 PropClause: 22408.235 Set: 5547.953 Check: 0.0 Back: 682.71 INFO - Atoms: 80263/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 399 Props: 29721971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.036 Prop: 23229.333 PropClause: 22488.718 Set: 5564.021 Check: 0.0 Back: 684.578 INFO - Atoms: 84250/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 400 Props: 29742004 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.044 Prop: 23269.447 PropClause: 22528.335 Set: 5566.809 Check: 0.0 Back: 686.532 INFO - Atoms: 20033/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 401 Props: 29795850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.052 Prop: 23298.567 PropClause: 22556.125 Set: 5574.697 Check: 0.0 Back: 686.998 INFO - Atoms: 53846/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 402 Props: 29849703 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.062 Prop: 23329.755 PropClause: 22585.956 Set: 5582.898 Check: 0.0 Back: 688.227 INFO - Atoms: 53853/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 403 Props: 29903556 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.07 Prop: 23360.063 PropClause: 22614.893 Set: 5590.814 Check: 0.0 Back: 689.468 INFO - Atoms: 53853/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 404 Props: 29957410 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.078 Prop: 23389.545 PropClause: 22643.04 Set: 5598.616 Check: 0.0 Back: 690.711 INFO - Atoms: 53854/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 405 Props: 30012197 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.086 Prop: 23419.712 PropClause: 22671.868 Set: 5606.639 Check: 0.0 Back: 691.924 INFO - Atoms: 54787/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 406 Props: 30066996 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.094 Prop: 23451.377 PropClause: 22702.186 Set: 5614.695 Check: 0.0 Back: 693.171 INFO - Atoms: 54799/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 407 Props: 30121226 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.102 Prop: 23480.979 PropClause: 22730.453 Set: 5622.504 Check: 0.0 Back: 694.427 INFO - Atoms: 54230/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 408 Props: 30142214 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.111 Prop: 23497.985 PropClause: 22746.939 Set: 5625.458 Check: 0.0 Back: 695.663 INFO - Atoms: 20988/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 409 Props: 30197340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.12 Prop: 23527.652 PropClause: 22775.234 Set: 5633.485 Check: 0.0 Back: 696.148 INFO - Atoms: 55126/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 410 Props: 30264129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.129 Prop: 23567.596 PropClause: 22813.528 Set: 5644.554 Check: 0.0 Back: 697.417 INFO - Atoms: 66789/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 411 Props: 30337026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.137 Prop: 23624.487 PropClause: 22868.618 Set: 5657.396 Check: 0.0 Back: 698.953 INFO - Atoms: 72897/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 412 Props: 30412991 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.147 Prop: 23687.998 PropClause: 22930.258 Set: 5670.714 Check: 0.0 Back: 700.634 INFO - Atoms: 75965/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 413 Props: 30489164 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.155 Prop: 23754.741 PropClause: 22995.112 Set: 5684.109 Check: 0.0 Back: 702.392 INFO - Atoms: 76173/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 414 Props: 30566596 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.165 Prop: 23823.646 PropClause: 23062.062 Set: 5698.499 Check: 0.0 Back: 704.138 INFO - Atoms: 77432/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 415 Props: 30652257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.173 Prop: 23898.383 PropClause: 23134.683 Set: 5714.39 Check: 0.0 Back: 705.954 INFO - Atoms: 85661/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 416 Props: 30735449 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.181 Prop: 23982.998 PropClause: 23217.236 Set: 5729.898 Check: 0.0 Back: 707.947 INFO - Atoms: 83192/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 417 Props: 30821999 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.192 Prop: 24077.256 PropClause: 23309.325 Set: 5746.789 Check: 0.0 Back: 709.865 INFO - Atoms: 86550/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 418 Props: 30906884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.201 Prop: 24162.673 PropClause: 23392.661 Set: 5762.429 Check: 0.0 Back: 711.867 INFO - Atoms: 84885/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 419 Props: 30996175 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.209 Prop: 24254.264 PropClause: 23481.987 Set: 5779.322 Check: 0.0 Back: 713.851 INFO - Atoms: 89291/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 420 Props: 31089089 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.22 Prop: 24362.389 PropClause: 23587.819 Set: 5797.765 Check: 0.0 Back: 715.931 INFO - Atoms: 92914/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 421 Props: 31182624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.228 Prop: 24465.63 PropClause: 23688.752 Set: 5815.697 Check: 0.0 Back: 718.079 INFO - Atoms: 93535/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 422 Props: 31203562 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.235 Prop: 24520.771 PropClause: 23743.366 Set: 5818.642 Check: 0.0 Back: 720.249 INFO - Atoms: 20938/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 423 Props: 31258912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.243 Prop: 24551.859 PropClause: 23773.033 Set: 5827.07 Check: 0.0 Back: 720.731 INFO - Atoms: 55350/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 424 Props: 31314263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.252 Prop: 24583.903 PropClause: 23803.718 Set: 5835.333 Check: 0.0 Back: 722.01 INFO - Atoms: 55351/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 425 Props: 31375077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.26 Prop: 24620.817 PropClause: 23839.111 Set: 5844.888 Check: 0.0 Back: 723.32 INFO - Atoms: 60814/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 426 Props: 31442757 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.27 Prop: 24668.595 PropClause: 23885.213 Set: 5856.328 Check: 0.0 Back: 724.697 INFO - Atoms: 67680/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 427 Props: 31538049 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.278 Prop: 24751.394 PropClause: 23965.645 Set: 5874.944 Check: 0.0 Back: 726.274 INFO - Atoms: 95292/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 428 Props: 31631698 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.287 Prop: 24860.976 PropClause: 24072.918 Set: 5893.496 Check: 0.0 Back: 728.49 INFO - Atoms: 93649/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 429 Props: 31723725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.295 Prop: 24973.11 PropClause: 24182.745 Set: 5911.927 Check: 0.0 Back: 730.641 INFO - Atoms: 92027/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 430 Props: 31825709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.303 Prop: 25097.886 PropClause: 24304.988 Set: 5933.333 Check: 0.0 Back: 732.799 INFO - Atoms: 101984/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 431 Props: 31930871 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.339 Prop: 25231.366 PropClause: 24435.867 Set: 5954.64 Check: 0.0 Back: 735.157 INFO - Atoms: 105162/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 432 Props: 32047236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.348 Prop: 25387.397 PropClause: 24589.0 Set: 5979.231 Check: 0.0 Back: 737.582 INFO - Atoms: 116365/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 433 Props: 32167988 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.356 Prop: 25538.545 PropClause: 24737.164 Set: 6004.093 Check: 0.0 Back: 740.289 INFO - Atoms: 120752/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 434 Props: 32292835 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.364 Prop: 25691.664 PropClause: 24887.199 Set: 6030.197 Check: 0.0 Back: 743.055 INFO - Atoms: 124847/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 435 Props: 32422231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.372 Prop: 25865.409 PropClause: 25057.737 Set: 6156.99 Check: 0.0 Back: 745.929 INFO - Atoms: 129396/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 436 Props: 32556853 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.38 Prop: 26040.402 PropClause: 25229.408 Set: 6185.865 Check: 0.0 Back: 748.905 INFO - Atoms: 134622/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 437 Props: 32695794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.389 Prop: 26227.171 PropClause: 25412.764 Set: 6216.393 Check: 0.0 Back: 751.991 INFO - Atoms: 138941/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 438 Props: 32837669 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.398 Prop: 26436.168 PropClause: 25618.245 Set: 6248.904 Check: 0.0 Back: 755.174 INFO - Atoms: 141875/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 439 Props: 32893251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.407 Prop: 26546.953 PropClause: 25727.66 Set: 6257.298 Check: 0.0 Back: 758.46 INFO - Atoms: 55582/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 440 Props: 32948834 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.416 Prop: 26580.152 PropClause: 25759.494 Set: 6265.676 Check: 0.0 Back: 759.735 INFO - Atoms: 55583/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 441 Props: 33089872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.424 Prop: 26701.311 PropClause: 25877.102 Set: 6297.264 Check: 0.0 Back: 761.004 INFO - Atoms: 141038/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 442 Props: 33145438 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.433 Prop: 26815.099 PropClause: 25989.471 Set: 6381.234 Check: 0.0 Back: 764.308 INFO - Atoms: 55566/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 443 Props: 33201530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.442 Prop: 26847.719 PropClause: 26020.702 Set: 6389.694 Check: 0.0 Back: 765.584 INFO - Atoms: 56092/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 444 Props: 33257604 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.451 Prop: 26882.473 PropClause: 26054.065 Set: 6398.245 Check: 0.0 Back: 766.868 INFO - Atoms: 56074/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 445 Props: 33394733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.459 Prop: 26998.972 PropClause: 26167.162 Set: 6428.485 Check: 0.0 Back: 768.148 INFO - Atoms: 137129/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 446 Props: 33450829 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.468 Prop: 27102.474 PropClause: 26269.285 Set: 6436.907 Check: 0.0 Back: 771.306 INFO - Atoms: 56096/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 447 Props: 33506921 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.477 Prop: 27138.165 PropClause: 26303.577 Set: 6445.444 Check: 0.0 Back: 772.588 INFO - Atoms: 56092/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 448 Props: 33641892 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.486 Prop: 27257.771 PropClause: 26419.838 Set: 6475.567 Check: 0.0 Back: 773.873 INFO - Atoms: 134971/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 449 Props: 33697942 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.495 Prop: 27367.017 PropClause: 26527.697 Set: 6484.093 Check: 0.0 Back: 777.029 INFO - Atoms: 56050/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 450 Props: 33754038 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.504 Prop: 27401.245 PropClause: 26560.527 Set: 6492.636 Check: 0.0 Back: 778.315 INFO - Atoms: 56096/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 451 Props: 33810134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.513 Prop: 27437.388 PropClause: 26595.284 Set: 6501.231 Check: 0.0 Back: 779.605 INFO - Atoms: 56096/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 452 Props: 33866209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.523 Prop: 27472.192 PropClause: 26628.706 Set: 6509.645 Check: 0.0 Back: 780.9 INFO - Atoms: 56075/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 453 Props: 33996465 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.53 Prop: 27576.389 PropClause: 26729.638 Set: 6537.514 Check: 0.0 Back: 782.197 INFO - Atoms: 130256/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 454 Props: 34052057 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.539 Prop: 27681.627 PropClause: 26833.472 Set: 6546.027 Check: 0.0 Back: 785.177 INFO - Atoms: 55592/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 455 Props: 34181114 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.548 Prop: 27788.147 PropClause: 26936.761 Set: 6573.658 Check: 0.0 Back: 786.457 INFO - Atoms: 129057/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 456 Props: 34236706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.556 Prop: 27882.521 PropClause: 27029.765 Set: 6581.989 Check: 0.0 Back: 789.425 INFO - Atoms: 55592/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 457 Props: 34364103 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.565 Prop: 27985.439 PropClause: 27129.54 Set: 6609.361 Check: 0.0 Back: 790.702 INFO - Atoms: 127397/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 458 Props: 34419680 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.574 Prop: 28084.22 PropClause: 27226.941 Set: 6617.734 Check: 0.0 Back: 793.671 INFO - Atoms: 55577/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 459 Props: 34546519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.582 Prop: 28190.236 PropClause: 27329.802 Set: 6645.283 Check: 0.0 Back: 794.937 INFO - Atoms: 126839/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 460 Props: 34602204 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.592 Prop: 28298.099 PropClause: 27436.272 Set: 6653.808 Check: 0.0 Back: 797.896 INFO - Atoms: 55685/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 461 Props: 34657876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.6 Prop: 28334.139 PropClause: 27470.941 Set: 6662.337 Check: 0.0 Back: 799.195 INFO - Atoms: 55672/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 462 Props: 34782492 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.609 Prop: 28435.264 PropClause: 27569.002 Set: 6688.623 Check: 0.0 Back: 800.493 INFO - Atoms: 124616/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 463 Props: 34838162 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.617 Prop: 28536.903 PropClause: 27669.264 Set: 6697.115 Check: 0.0 Back: 803.349 INFO - Atoms: 55670/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 464 Props: 34961112 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.626 Prop: 28627.816 PropClause: 27757.125 Set: 6722.295 Check: 0.0 Back: 804.629 INFO - Atoms: 122950/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 465 Props: 35016787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.635 Prop: 28719.416 PropClause: 27847.344 Set: 6730.698 Check: 0.0 Back: 807.464 INFO - Atoms: 55675/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 466 Props: 35072467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.643 Prop: 28753.951 PropClause: 27880.501 Set: 6739.169 Check: 0.0 Back: 808.743 INFO - Atoms: 55680/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 467 Props: 35193209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.652 Prop: 28862.45 PropClause: 27986.01 Set: 6765.686 Check: 0.0 Back: 810.028 INFO - Atoms: 120742/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 468 Props: 35248884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.66 Prop: 28959.286 PropClause: 28081.468 Set: 6774.078 Check: 0.0 Back: 812.805 INFO - Atoms: 55675/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 469 Props: 35304569 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.668 Prop: 28993.197 PropClause: 28113.998 Set: 6782.465 Check: 0.0 Back: 814.073 INFO - Atoms: 55685/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 470 Props: 35423176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.676 Prop: 29094.456 PropClause: 28212.327 Set: 6808.038 Check: 0.0 Back: 815.363 INFO - Atoms: 118607/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 471 Props: 35478860 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.684 Prop: 29186.758 PropClause: 28303.232 Set: 6816.541 Check: 0.0 Back: 818.109 INFO - Atoms: 55684/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 472 Props: 35534524 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.693 Prop: 29223.27 PropClause: 28338.173 Set: 6826.368 Check: 0.0 Back: 819.387 INFO - Atoms: 55664/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 473 Props: 35590213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.702 Prop: 29258.241 PropClause: 28371.761 Set: 6834.863 Check: 0.0 Back: 820.724 INFO - Atoms: 55689/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 474 Props: 35645888 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.71 Prop: 29293.977 PropClause: 28406.113 Set: 6843.354 Check: 0.0 Back: 822.014 INFO - Atoms: 55675/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 475 Props: 35760085 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.719 Prop: 29385.872 PropClause: 28495.13 Set: 6867.26 Check: 0.0 Back: 823.368 INFO - Atoms: 114197/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 476 Props: 35815755 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.729 Prop: 29483.14 PropClause: 28591.011 Set: 6875.912 Check: 0.0 Back: 825.99 INFO - Atoms: 55670/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 477 Props: 35871435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.738 Prop: 29516.41 PropClause: 28622.912 Set: 6884.289 Check: 0.0 Back: 827.271 INFO - Atoms: 55680/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 478 Props: 35981675 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.746 Prop: 29608.581 PropClause: 28712.361 Set: 6906.992 Check: 0.0 Back: 828.54 INFO - Atoms: 110240/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 479 Props: 36037360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.755 Prop: 29697.555 PropClause: 28799.958 Set: 6915.51 Check: 0.0 Back: 831.09 INFO - Atoms: 55685/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 480 Props: 36093099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.762 Prop: 29730.958 PropClause: 28831.983 Set: 6923.936 Check: 0.0 Back: 832.371 INFO - Atoms: 55739/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 481 Props: 36198692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.77 Prop: 29814.946 PropClause: 28913.359 Set: 6945.339 Check: 0.0 Back: 833.647 INFO - Atoms: 105593/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 482 Props: 36254349 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.778 Prop: 29898.946 PropClause: 28995.979 Set: 6953.877 Check: 0.0 Back: 836.069 INFO - Atoms: 55657/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 483 Props: 36359177 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.787 Prop: 29976.2 PropClause: 29070.603 Set: 7044.723 Check: 0.0 Back: 837.357 INFO - Atoms: 104828/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 484 Props: 36414834 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.795 Prop: 30051.724 PropClause: 29144.739 Set: 7053.08 Check: 0.0 Back: 839.782 INFO - Atoms: 55657/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 485 Props: 36470906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.803 Prop: 30087.868 PropClause: 29179.483 Set: 7061.718 Check: 0.0 Back: 841.06 INFO - Atoms: 56072/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 486 Props: 36526978 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.812 Prop: 30123.105 PropClause: 29213.323 Set: 7070.331 Check: 0.0 Back: 842.361 INFO - Atoms: 56072/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 487 Props: 36624235 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.82 Prop: 30203.161 PropClause: 29290.965 Set: 7089.79 Check: 0.0 Back: 843.66 INFO - Atoms: 97257/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 488 Props: 36679925 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.831 Prop: 30284.684 PropClause: 29371.11 Set: 7098.36 Check: 0.0 Back: 845.893 INFO - Atoms: 55690/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 489 Props: 36776667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.84 Prop: 30370.933 PropClause: 29454.946 Set: 7118.478 Check: 0.0 Back: 847.181 INFO - Atoms: 96742/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 490 Props: 36832357 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.849 Prop: 30449.614 PropClause: 29532.25 Set: 7127.01 Check: 0.0 Back: 849.432 INFO - Atoms: 55690/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 491 Props: 36888063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.857 Prop: 30483.548 PropClause: 29564.802 Set: 7135.536 Check: 0.0 Back: 850.711 INFO - Atoms: 55706/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 492 Props: 36980613 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.866 Prop: 30565.355 PropClause: 29644.289 Set: 7154.539 Check: 0.0 Back: 851.994 INFO - Atoms: 92550/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 493 Props: 37021575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.875 Prop: 30630.151 PropClause: 29708.072 Set: 7160.789 Check: 0.0 Back: 854.146 INFO - Atoms: 40962/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 494 Props: 37062659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.885 Prop: 30656.491 PropClause: 29733.389 Set: 7167.086 Check: 0.0 Back: 855.089 INFO - Atoms: 41084/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 495 Props: 37103733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.894 Prop: 30682.944 PropClause: 29758.809 Set: 7173.299 Check: 0.0 Back: 856.043 INFO - Atoms: 41074/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 496 Props: 37144732 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.902 Prop: 30710.25 PropClause: 29785.102 Set: 7179.559 Check: 0.0 Back: 856.984 INFO - Atoms: 40999/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 497 Props: 37185736 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.91 Prop: 30737.866 PropClause: 29811.707 Set: 7185.822 Check: 0.0 Back: 857.94 INFO - Atoms: 41004/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 498 Props: 37226105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.919 Prop: 30764.906 PropClause: 29837.743 Set: 7192.035 Check: 0.0 Back: 858.88 INFO - Atoms: 40369/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 499 Props: 37266479 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.927 Prop: 30791.093 PropClause: 29862.901 Set: 7198.126 Check: 0.0 Back: 859.831 INFO - Atoms: 40374/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 500 Props: 37321608 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.935 Prop: 30830.683 PropClause: 29901.121 Set: 7208.061 Check: 0.0 Back: 860.759 INFO - Atoms: 55129/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 501 Props: 37383982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.945 Prop: 30894.618 PropClause: 29963.485 Set: 7220.322 Check: 0.0 Back: 862.044 INFO - Atoms: 62374/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 502 Props: 37446428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.954 Prop: 30964.086 PropClause: 30031.388 Set: 7232.344 Check: 0.0 Back: 863.509 INFO - Atoms: 62446/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 503 Props: 37516172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.962 Prop: 31038.664 PropClause: 30104.232 Set: 7245.621 Check: 0.0 Back: 864.964 INFO - Atoms: 69744/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 504 Props: 37585996 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.97 Prop: 31121.648 PropClause: 30185.484 Set: 7259.267 Check: 0.0 Back: 866.561 INFO - Atoms: 69824/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 505 Props: 37659710 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.979 Prop: 31233.165 PropClause: 30295.149 Set: 7275.955 Check: 0.0 Back: 868.202 INFO - Atoms: 73714/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 506 Props: 37733503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.99 Prop: 31334.2 PropClause: 30394.346 Set: 7291.13 Check: 0.0 Back: 869.918 INFO - Atoms: 73793/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 507 Props: 37811290 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.998 Prop: 31429.722 PropClause: 30487.945 Set: 7306.907 Check: 0.0 Back: 871.63 INFO - Atoms: 77787/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 508 Props: 37851657 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.006 Prop: 31497.226 PropClause: 30554.451 Set: 7313.061 Check: 0.0 Back: 873.484 INFO - Atoms: 40367/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 509 Props: 37892025 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.013 Prop: 31523.355 PropClause: 30579.577 Set: 7319.184 Check: 0.0 Back: 874.413 INFO - Atoms: 40368/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 510 Props: 37932387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.022 Prop: 31550.142 PropClause: 30605.357 Set: 7325.373 Check: 0.0 Back: 875.338 INFO - Atoms: 40362/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 511 Props: 37972750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.029 Prop: 31575.709 PropClause: 30629.925 Set: 7331.468 Check: 0.0 Back: 876.274 INFO - Atoms: 40363/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 512 Props: 38013113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.036 Prop: 31601.662 PropClause: 30654.877 Set: 7337.639 Check: 0.0 Back: 877.219 INFO - Atoms: 40363/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 513 Props: 38053477 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.043 Prop: 31626.862 PropClause: 30679.062 Set: 7343.887 Check: 0.0 Back: 878.153 INFO - Atoms: 40364/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 514 Props: 38093839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.051 Prop: 31656.249 PropClause: 30707.439 Set: 7350.261 Check: 0.0 Back: 879.091 INFO - Atoms: 40362/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 515 Props: 38179742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.059 Prop: 31736.629 PropClause: 30785.659 Set: 7368.817 Check: 0.0 Back: 880.022 INFO - Atoms: 85903/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 516 Props: 38265876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.07 Prop: 31868.648 PropClause: 30915.524 Set: 7387.641 Check: 0.0 Back: 882.019 INFO - Atoms: 86134/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 517 Props: 38320467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.081 Prop: 31943.908 PropClause: 30989.427 Set: 7395.982 Check: 0.0 Back: 884.028 INFO - Atoms: 54591/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 518 Props: 38375073 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.09 Prop: 31980.702 PropClause: 31024.864 Set: 7404.248 Check: 0.0 Back: 885.298 INFO - Atoms: 54606/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 519 Props: 38506412 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.099 Prop: 32086.65 PropClause: 31127.56 Set: 7431.696 Check: 0.0 Back: 886.566 INFO - Atoms: 131339/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 520 Props: 38638126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.107 Prop: 32275.424 PropClause: 31313.09 Set: 7460.908 Check: 0.0 Back: 889.585 INFO - Atoms: 131714/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 521 Props: 38771890 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.116 Prop: 32464.772 PropClause: 31499.133 Set: 7490.36 Check: 0.0 Back: 892.639 INFO - Atoms: 133764/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 522 Props: 38907807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.123 Prop: 32658.352 PropClause: 31689.33 Set: 7619.966 Check: 0.0 Back: 895.707 INFO - Atoms: 135917/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 523 Props: 39045997 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.134 Prop: 32864.488 PropClause: 31892.025 Set: 7650.886 Check: 0.0 Back: 898.881 INFO - Atoms: 138190/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 524 Props: 39184365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.142 Prop: 33069.673 PropClause: 32093.79 Set: 7682.052 Check: 0.0 Back: 902.103 INFO - Atoms: 138368/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 525 Props: 39239122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.151 Prop: 33182.238 PropClause: 32204.986 Set: 7690.375 Check: 0.0 Back: 905.312 INFO - Atoms: 54757/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 526 Props: 39381670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.16 Prop: 33301.122 PropClause: 32320.285 Set: 7722.064 Check: 0.0 Back: 906.563 INFO - Atoms: 142548/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 527 Props: 39505812 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.168 Prop: 33485.562 PropClause: 32501.646 Set: 7748.667 Check: 0.0 Back: 909.859 INFO - Atoms: 124142/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 528 Props: 39627521 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.177 Prop: 33645.484 PropClause: 32658.55 Set: 7774.375 Check: 0.0 Back: 912.742 INFO - Atoms: 121709/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 529 Props: 39747027 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.186 Prop: 33811.924 PropClause: 32822.019 Set: 7799.851 Check: 0.0 Back: 915.539 INFO - Atoms: 119506/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 530 Props: 39864398 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.195 Prop: 33985.406 PropClause: 32992.573 Set: 7825.734 Check: 0.0 Back: 918.309 INFO - Atoms: 117371/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 531 Props: 39979511 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.203 Prop: 34143.115 PropClause: 33147.418 Set: 7850.1 Check: 0.0 Back: 921.071 INFO - Atoms: 115113/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 532 Props: 40094804 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.212 Prop: 34298.229 PropClause: 33299.682 Set: 7874.91 Check: 0.0 Back: 923.74 INFO - Atoms: 115293/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 533 Props: 40207797 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.221 Prop: 34434.393 PropClause: 33433.058 Set: 7897.801 Check: 0.0 Back: 926.423 INFO - Atoms: 112993/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 534 Props: 40316745 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.231 Prop: 34566.113 PropClause: 33562.104 Set: 7919.147 Check: 0.0 Back: 929.02 INFO - Atoms: 108948/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 535 Props: 40459562 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.24 Prop: 34733.47 PropClause: 33725.838 Set: 7950.688 Check: 0.0 Back: 931.536 INFO - Atoms: 142817/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 536 Props: 40514221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.249 Prop: 34849.077 PropClause: 33840.008 Set: 7959.554 Check: 0.0 Back: 934.867 INFO - Atoms: 54659/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 537 Props: 40659126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.257 Prop: 34986.59 PropClause: 33973.891 Set: 7993.523 Check: 0.0 Back: 936.163 INFO - Atoms: 144905/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 538 Props: 40713790 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.266 Prop: 35107.496 PropClause: 34093.452 Set: 8001.802 Check: 0.0 Back: 939.52 INFO - Atoms: 54664/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 539 Props: 40769240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.275 Prop: 35141.338 PropClause: 34125.925 Set: 8010.256 Check: 0.0 Back: 940.77 INFO - Atoms: 55450/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 540 Props: 40916317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.284 Prop: 35269.694 PropClause: 34250.647 Set: 8043.666 Check: 0.0 Back: 942.053 INFO - Atoms: 147077/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 541 Props: 40971766 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.293 Prop: 35376.835 PropClause: 34356.43 Set: 8051.921 Check: 0.0 Back: 945.466 INFO - Atoms: 55449/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 542 Props: 41119035 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.301 Prop: 35491.98 PropClause: 34467.951 Set: 8083.265 Check: 0.0 Back: 946.726 INFO - Atoms: 147269/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 543 Props: 41173710 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.311 Prop: 35610.744 PropClause: 34585.365 Set: 8091.631 Check: 0.0 Back: 950.129 INFO - Atoms: 54675/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 544 Props: 41228637 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.322 Prop: 35644.868 PropClause: 34618.151 Set: 8099.843 Check: 0.0 Back: 951.39 INFO - Atoms: 54927/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 545 Props: 41377355 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.331 Prop: 35775.948 PropClause: 34745.53 Set: 8133.239 Check: 0.0 Back: 952.665 INFO - Atoms: 148718/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 546 Props: 41440065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.339 Prop: 35909.45 PropClause: 34877.489 Set: 8143.406 Check: 0.0 Back: 956.076 INFO - Atoms: 62710/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 547 Props: 41495308 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.348 Prop: 35947.768 PropClause: 34914.443 Set: 8151.782 Check: 0.0 Back: 957.527 INFO - Atoms: 55243/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 548 Props: 41560581 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.356 Prop: 35988.413 PropClause: 34953.477 Set: 8162.627 Check: 0.0 Back: 958.799 INFO - Atoms: 65273/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 549 Props: 41625555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.365 Prop: 36037.196 PropClause: 35000.617 Set: 8173.419 Check: 0.0 Back: 960.3 INFO - Atoms: 64974/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 550 Props: 41689762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.375 Prop: 36086.696 PropClause: 35048.534 Set: 8184.276 Check: 0.0 Back: 961.797 INFO - Atoms: 64207/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 551 Props: 41754608 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.383 Prop: 36140.846 PropClause: 35101.08 Set: 8195.376 Check: 0.0 Back: 963.268 INFO - Atoms: 64846/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 552 Props: 41819717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.393 Prop: 36193.164 PropClause: 35151.775 Set: 8206.289 Check: 0.0 Back: 964.763 INFO - Atoms: 65109/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 553 Props: 41886543 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.402 Prop: 36246.813 PropClause: 35203.727 Set: 8217.703 Check: 0.0 Back: 966.267 INFO - Atoms: 66826/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 554 Props: 41953297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.412 Prop: 36303.289 PropClause: 35258.546 Set: 8229.373 Check: 0.0 Back: 967.806 INFO - Atoms: 66754/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 555 Props: 42018329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.42 Prop: 36359.817 PropClause: 35313.452 Set: 8240.399 Check: 0.0 Back: 969.364 INFO - Atoms: 65032/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 556 Props: 42113236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.46 Prop: 36445.507 PropClause: 35396.78 Set: 8258.919 Check: 0.0 Back: 970.863 INFO - Atoms: 94907/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 557 Props: 42260888 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.469 Prop: 36596.265 PropClause: 35543.897 Set: 8290.661 Check: 0.0 Back: 973.059 INFO - Atoms: 147652/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 558 Props: 42397678 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.478 Prop: 36788.176 PropClause: 35732.435 Set: 8320.389 Check: 0.0 Back: 976.446 INFO - Atoms: 136790/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 559 Props: 42480001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.486 Prop: 36920.296 PropClause: 35862.504 Set: 8335.543 Check: 0.0 Back: 979.575 INFO - Atoms: 82323/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 560 Props: 42624500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.494 Prop: 37092.632 PropClause: 36031.087 Set: 8371.118 Check: 0.0 Back: 981.464 INFO - Atoms: 144499/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 561 Props: 42723648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.502 Prop: 37250.058 PropClause: 36186.058 Set: 8390.756 Check: 0.0 Back: 984.793 INFO - Atoms: 99148/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 562 Props: 42874895 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.511 Prop: 37420.97 PropClause: 36353.263 Set: 8424.182 Check: 0.0 Back: 987.085 INFO - Atoms: 151247/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 563 Props: 42967006 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.52 Prop: 37587.048 PropClause: 36517.077 Set: 8442.008 Check: 0.0 Back: 990.544 INFO - Atoms: 92111/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 564 Props: 43022966 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.529 Prop: 37660.723 PropClause: 36589.357 Set: 8450.403 Check: 0.0 Back: 992.665 INFO - Atoms: 55960/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 565 Props: 43078547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.538 Prop: 37693.075 PropClause: 36620.34 Set: 8458.651 Check: 0.0 Back: 993.945 INFO - Atoms: 55581/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 566 Props: 43134124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.546 Prop: 37728.152 PropClause: 36654.011 Set: 8467.019 Check: 0.0 Back: 995.219 INFO - Atoms: 55577/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 567 Props: 43189712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.555 Prop: 37761.257 PropClause: 36685.752 Set: 8475.307 Check: 0.0 Back: 996.503 INFO - Atoms: 55588/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 568 Props: 43245306 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.563 Prop: 37793.73 PropClause: 36716.858 Set: 8483.508 Check: 0.0 Back: 997.77 INFO - Atoms: 55594/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 2000 Props: 438835 Tprops: 203332 Decides: 291510 RSplits: 0 INFO - Times: Expl: 1424.228 Prop: 359541.375 PropClause: 369.199 Set: 338465.791 Check: 622.342 Back: 3422.517 INFO - Atoms: 3/2003 Clauses: 2000 Axioms: 1746 INFO - CCTimes: iE 2508343 eq 298600732 cc 729924830 setRep 126920795 INFO - Merges: 728188, cc:3228234 INFO - BVTimes: BB 3603362364 BB_DPLL 342462832078 Graph 7668004 INFO - BitBlastingClauses: 2864760 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 569 Props: 43295591 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.572 Prop: 37825.561 PropClause: 36747.43 Set: 8490.772 Check: 0.0 Back: 999.04 INFO - Atoms: 50285/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 570 Props: 43345882 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.58 Prop: 37854.336 PropClause: 36774.973 Set: 8498.064 Check: 0.0 Back: 1000.176 INFO - Atoms: 50291/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 571 Props: 43400880 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.589 Prop: 37887.046 PropClause: 36806.333 Set: 8506.055 Check: 0.0 Back: 1001.323 INFO - Atoms: 54998/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 572 Props: 43456518 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.708 Prop: 37924.582 PropClause: 36842.302 Set: 8521.749 Check: 0.0 Back: 1002.568 INFO - Atoms: 55638/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 573 Props: 43512289 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.719 Prop: 37957.17 PropClause: 36873.479 Set: 8529.752 Check: 0.0 Back: 1003.853 INFO - Atoms: 55771/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 574 Props: 43567927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.73 Prop: 37988.568 PropClause: 36903.509 Set: 8537.66 Check: 0.0 Back: 1005.13 INFO - Atoms: 55638/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 575 Props: 43623565 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.819 Prop: 38022.144 PropClause: 36935.708 Set: 8545.588 Check: 0.0 Back: 1006.42 INFO - Atoms: 55638/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 576 Props: 43667044 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.857 Prop: 38050.891 PropClause: 36963.378 Set: 8551.814 Check: 0.0 Back: 1007.687 INFO - Atoms: 43479/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 577 Props: 43710529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.865 Prop: 38076.053 PropClause: 36987.468 Set: 8557.978 Check: 0.0 Back: 1008.688 INFO - Atoms: 43485/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 578 Props: 43754018 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.873 Prop: 38101.966 PropClause: 37012.276 Set: 8564.125 Check: 0.0 Back: 1009.694 INFO - Atoms: 43489/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 579 Props: 43797498 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.883 Prop: 38131.054 PropClause: 37040.212 Set: 8570.932 Check: 0.0 Back: 1010.697 INFO - Atoms: 43480/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 580 Props: 43840984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.891 Prop: 38156.769 PropClause: 37064.85 Set: 8577.094 Check: 0.0 Back: 1011.702 INFO - Atoms: 43486/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 581 Props: 43884477 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.899 Prop: 38182.232 PropClause: 37089.241 Set: 8583.212 Check: 0.0 Back: 1012.699 INFO - Atoms: 43493/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 582 Props: 43927971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.908 Prop: 38210.061 PropClause: 37115.994 Set: 8589.466 Check: 0.0 Back: 1013.707 INFO - Atoms: 43494/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 583 Props: 43971466 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.919 Prop: 38236.957 PropClause: 37141.817 Set: 8595.658 Check: 0.0 Back: 1014.72 INFO - Atoms: 43495/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 584 Props: 44014962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.928 Prop: 38263.0 PropClause: 37166.766 Set: 8601.934 Check: 0.0 Back: 1015.745 INFO - Atoms: 43496/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 585 Props: 44058459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.936 Prop: 38287.734 PropClause: 37190.432 Set: 8608.014 Check: 0.0 Back: 1016.748 INFO - Atoms: 43497/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 586 Props: 44101960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.945 Prop: 38312.584 PropClause: 37214.218 Set: 8614.092 Check: 0.0 Back: 1017.736 INFO - Atoms: 43501/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 587 Props: 44145475 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.954 Prop: 38339.523 PropClause: 37240.076 Set: 8620.331 Check: 0.0 Back: 1018.723 INFO - Atoms: 43515/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 588 Props: 44197292 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.963 Prop: 38369.635 PropClause: 37268.907 Set: 8627.727 Check: 0.0 Back: 1019.731 INFO - Atoms: 51817/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 589 Props: 44249123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.971 Prop: 38400.706 PropClause: 37298.688 Set: 8635.08 Check: 0.0 Back: 1020.919 INFO - Atoms: 51831/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 590 Props: 44300950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.979 Prop: 38430.189 PropClause: 37326.895 Set: 8642.378 Check: 0.0 Back: 1022.105 INFO - Atoms: 51827/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 591 Props: 44352782 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.991 Prop: 38459.743 PropClause: 37355.178 Set: 8649.782 Check: 0.0 Back: 1023.285 INFO - Atoms: 51832/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 592 Props: 44404620 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.999 Prop: 38490.308 PropClause: 37384.472 Set: 8657.147 Check: 0.0 Back: 1024.486 INFO - Atoms: 51838/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 593 Props: 44456459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.008 Prop: 38519.532 PropClause: 37412.42 Set: 8664.479 Check: 0.0 Back: 1025.666 INFO - Atoms: 51839/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 594 Props: 44508299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.018 Prop: 38549.144 PropClause: 37440.726 Set: 8671.987 Check: 0.0 Back: 1026.856 INFO - Atoms: 51840/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 595 Props: 44560140 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.026 Prop: 38577.51 PropClause: 37467.819 Set: 8679.252 Check: 0.0 Back: 1028.067 INFO - Atoms: 51841/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 596 Props: 44611982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.034 Prop: 38606.607 PropClause: 37495.652 Set: 8686.489 Check: 0.0 Back: 1029.242 INFO - Atoms: 51842/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 597 Props: 44663847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.042 Prop: 38638.455 PropClause: 37526.214 Set: 8693.857 Check: 0.0 Back: 1030.416 INFO - Atoms: 51865/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 598 Props: 44715714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.05 Prop: 38668.947 PropClause: 37555.427 Set: 8701.265 Check: 0.0 Back: 1031.619 INFO - Atoms: 51867/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 599 Props: 44767593 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.057 Prop: 38698.381 PropClause: 37583.587 Set: 8708.673 Check: 0.0 Back: 1032.796 INFO - Atoms: 51879/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 600 Props: 44819477 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.067 Prop: 38728.222 PropClause: 37612.152 Set: 8716.039 Check: 0.0 Back: 1033.985 INFO - Atoms: 51884/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 601 Props: 44871364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.075 Prop: 38757.453 PropClause: 37640.102 Set: 8723.378 Check: 0.0 Back: 1035.179 INFO - Atoms: 51887/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 2500 Props: 507841 Tprops: 229237 Decides: 326732 RSplits: 0 INFO - Times: Expl: 1681.42 Prop: 379344.287 PropClause: 434.863 Set: 377444.277 Check: 706.747 Back: 3793.728 INFO - Atoms: 6/2003 Clauses: 2500 Axioms: 1746 INFO - CCTimes: iE 2807260 eq 350035616 cc 837716985 setRep 143850151 INFO - Merges: 841302, cc:3950196 INFO - BVTimes: BB 3603362364 BB_DPLL 361648979439 Graph 8584147 INFO - BitBlastingClauses: 2922246 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 602 Props: 44923176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.083 Prop: 38787.288 PropClause: 37668.648 Set: 8730.738 Check: 0.0 Back: 1036.369 INFO - Atoms: 51812/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 603 Props: 44975000 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.092 Prop: 38816.063 PropClause: 37696.146 Set: 8738.163 Check: 0.0 Back: 1037.572 INFO - Atoms: 51824/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 604 Props: 45026835 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.1 Prop: 38845.323 PropClause: 37724.126 Set: 8745.538 Check: 0.0 Back: 1038.76 INFO - Atoms: 51835/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 605 Props: 45078694 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.107 Prop: 38875.368 PropClause: 37752.89 Set: 8752.897 Check: 0.0 Back: 1039.955 INFO - Atoms: 51859/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 606 Props: 45130557 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.114 Prop: 38906.66 PropClause: 37782.897 Set: 8760.255 Check: 0.0 Back: 1041.139 INFO - Atoms: 51863/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 607 Props: 45182424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.123 Prop: 38936.326 PropClause: 37811.286 Set: 8767.581 Check: 0.0 Back: 1042.333 INFO - Atoms: 51867/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 608 Props: 45234305 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.131 Prop: 38966.527 PropClause: 37840.191 Set: 8774.978 Check: 0.0 Back: 1043.518 INFO - Atoms: 51881/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 609 Props: 45286190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.14 Prop: 38995.516 PropClause: 37867.897 Set: 8782.365 Check: 0.0 Back: 1044.71 INFO - Atoms: 51885/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 610 Props: 45337353 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.149 Prop: 39025.215 PropClause: 37896.337 Set: 8789.648 Check: 0.0 Back: 1045.901 INFO - Atoms: 51163/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 611 Props: 45388516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.158 Prop: 39054.417 PropClause: 37924.272 Set: 8797.02 Check: 0.0 Back: 1047.071 INFO - Atoms: 51163/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 612 Props: 45440320 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.168 Prop: 39084.907 PropClause: 37953.488 Set: 8804.474 Check: 0.0 Back: 1048.255 INFO - Atoms: 51804/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 613 Props: 45495836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.177 Prop: 39116.348 PropClause: 37983.565 Set: 8812.424 Check: 0.0 Back: 1049.44 INFO - Atoms: 55516/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 614 Props: 45551359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.186 Prop: 39147.342 PropClause: 38013.188 Set: 8820.328 Check: 0.0 Back: 1050.717 INFO - Atoms: 55523/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 615 Props: 45606894 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.194 Prop: 39178.117 PropClause: 38042.594 Set: 8828.257 Check: 0.0 Back: 1052.139 INFO - Atoms: 55535/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 616 Props: 45662429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.202 Prop: 39208.089 PropClause: 38071.194 Set: 8836.112 Check: 0.0 Back: 1053.414 INFO - Atoms: 55535/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 617 Props: 45717975 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.211 Prop: 39238.798 PropClause: 38100.539 Set: 8843.912 Check: 0.0 Back: 1054.679 INFO - Atoms: 55546/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 618 Props: 45773527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.22 Prop: 39269.657 PropClause: 38130.029 Set: 8851.801 Check: 0.0 Back: 1055.943 INFO - Atoms: 55552/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 619 Props: 45829108 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.229 Prop: 39300.551 PropClause: 38159.558 Set: 8859.701 Check: 0.0 Back: 1057.213 INFO - Atoms: 55581/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 620 Props: 45884693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.236 Prop: 39331.984 PropClause: 38189.626 Set: 8867.578 Check: 0.0 Back: 1058.494 INFO - Atoms: 55585/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 621 Props: 45940286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.244 Prop: 39363.229 PropClause: 38219.51 Set: 8875.416 Check: 0.0 Back: 1059.757 INFO - Atoms: 55593/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 622 Props: 45995883 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.253 Prop: 39394.341 PropClause: 38249.252 Set: 8883.306 Check: 0.0 Back: 1061.024 INFO - Atoms: 55597/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 623 Props: 46051628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.262 Prop: 39425.256 PropClause: 38278.785 Set: 8891.235 Check: 0.0 Back: 1062.295 INFO - Atoms: 55745/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 624 Props: 46107515 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.271 Prop: 39456.864 PropClause: 38309.019 Set: 8899.17 Check: 0.0 Back: 1063.571 INFO - Atoms: 55887/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 625 Props: 46163027 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.278 Prop: 39488.55 PropClause: 38339.305 Set: 8971.752 Check: 0.0 Back: 1064.848 INFO - Atoms: 55512/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 626 Props: 46218356 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.286 Prop: 39519.394 PropClause: 38368.784 Set: 8979.594 Check: 0.0 Back: 1066.102 INFO - Atoms: 55329/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 627 Props: 46273689 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.294 Prop: 39550.095 PropClause: 38398.112 Set: 8987.408 Check: 0.0 Back: 1067.367 INFO - Atoms: 55333/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 628 Props: 46328971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.302 Prop: 39581.956 PropClause: 38428.617 Set: 8995.211 Check: 0.0 Back: 1068.627 INFO - Atoms: 55282/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 629 Props: 46384230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.309 Prop: 39613.726 PropClause: 38459.027 Set: 9003.087 Check: 0.0 Back: 1069.887 INFO - Atoms: 55259/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 630 Props: 46439490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.317 Prop: 39645.158 PropClause: 38489.094 Set: 9010.921 Check: 0.0 Back: 1071.163 INFO - Atoms: 55260/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 631 Props: 46494751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.326 Prop: 39675.884 PropClause: 38518.459 Set: 9018.792 Check: 0.0 Back: 1072.428 INFO - Atoms: 55261/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 632 Props: 46550030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.335 Prop: 39706.421 PropClause: 38547.636 Set: 9026.576 Check: 0.0 Back: 1073.687 INFO - Atoms: 55279/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 633 Props: 46605284 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.344 Prop: 39738.485 PropClause: 38578.303 Set: 9034.547 Check: 0.0 Back: 1074.962 INFO - Atoms: 55254/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 634 Props: 46660539 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.354 Prop: 39771.098 PropClause: 38609.52 Set: 9042.669 Check: 0.0 Back: 1076.257 INFO - Atoms: 55255/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 635 Props: 46715793 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.362 Prop: 39802.41 PropClause: 38639.475 Set: 9050.478 Check: 0.0 Back: 1077.55 INFO - Atoms: 55254/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 636 Props: 46771047 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.371 Prop: 39833.508 PropClause: 38669.216 Set: 9058.308 Check: 0.0 Back: 1078.856 INFO - Atoms: 55254/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 637 Props: 46826306 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.379 Prop: 39864.257 PropClause: 38698.612 Set: 9066.074 Check: 0.0 Back: 1080.127 INFO - Atoms: 55259/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 638 Props: 46882308 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.388 Prop: 39895.832 PropClause: 38728.796 Set: 9074.016 Check: 0.0 Back: 1081.378 INFO - Atoms: 56002/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 639 Props: 46939076 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.396 Prop: 39928.716 PropClause: 38760.28 Set: 9082.303 Check: 0.0 Back: 1082.655 INFO - Atoms: 56768/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 640 Props: 47004460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.405 Prop: 39970.584 PropClause: 38800.513 Set: 9092.84 Check: 0.0 Back: 1083.951 INFO - Atoms: 65384/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 641 Props: 47069466 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.413 Prop: 40016.281 PropClause: 38844.609 Set: 9103.045 Check: 0.0 Back: 1085.444 INFO - Atoms: 65006/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 642 Props: 47134616 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.421 Prop: 40062.725 PropClause: 38889.433 Set: 9113.388 Check: 0.0 Back: 1086.937 INFO - Atoms: 65150/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 643 Props: 47200063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.432 Prop: 40108.728 PropClause: 38933.828 Set: 9123.819 Check: 0.0 Back: 1088.432 INFO - Atoms: 65447/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 644 Props: 47265133 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.441 Prop: 40154.695 PropClause: 38978.192 Set: 9134.225 Check: 0.0 Back: 1089.926 INFO - Atoms: 65070/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 645 Props: 47330334 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.451 Prop: 40203.047 PropClause: 39024.91 Set: 9144.67 Check: 0.0 Back: 1091.512 INFO - Atoms: 65201/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 646 Props: 47395287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.459 Prop: 40250.253 PropClause: 39070.51 Set: 9155.034 Check: 0.0 Back: 1093.012 INFO - Atoms: 64953/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 647 Props: 47466257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.469 Prop: 40304.416 PropClause: 39122.921 Set: 9167.398 Check: 0.0 Back: 1094.675 INFO - Atoms: 70970/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 648 Props: 47539241 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.477 Prop: 40363.267 PropClause: 39179.941 Set: 9179.753 Check: 0.0 Back: 1096.305 INFO - Atoms: 72984/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 649 Props: 47595172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.488 Prop: 40410.746 PropClause: 39226.049 Set: 9187.909 Check: 0.0 Back: 1098.017 INFO - Atoms: 55931/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 650 Props: 47651111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.498 Prop: 40444.209 PropClause: 39258.138 Set: 9196.261 Check: 0.0 Back: 1099.302 INFO - Atoms: 55939/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 651 Props: 47728935 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.508 Prop: 40496.531 PropClause: 39308.538 Set: 9209.98 Check: 0.0 Back: 1100.674 INFO - Atoms: 77824/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 652 Props: 47806766 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.517 Prop: 40569.011 PropClause: 39379.093 Set: 9223.655 Check: 0.0 Back: 1102.459 INFO - Atoms: 77831/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 653 Props: 47884467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.526 Prop: 40638.98 PropClause: 39447.128 Set: 9237.736 Check: 0.0 Back: 1104.258 INFO - Atoms: 77701/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 654 Props: 47962047 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.538 Prop: 40712.713 PropClause: 39518.942 Set: 9251.951 Check: 0.0 Back: 1106.043 INFO - Atoms: 77580/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 655 Props: 48039634 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.548 Prop: 40784.041 PropClause: 39588.34 Set: 9265.795 Check: 0.0 Back: 1107.917 INFO - Atoms: 77587/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 656 Props: 48117690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.557 Prop: 40854.864 PropClause: 39657.231 Set: 9279.915 Check: 0.0 Back: 1109.7 INFO - Atoms: 78056/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 657 Props: 48194867 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.566 Prop: 40925.856 PropClause: 39726.315 Set: 9293.867 Check: 0.0 Back: 1111.493 INFO - Atoms: 77177/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 658 Props: 48272049 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.576 Prop: 40997.608 PropClause: 39796.133 Set: 9307.695 Check: 0.0 Back: 1113.258 INFO - Atoms: 77182/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 659 Props: 48349102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.586 Prop: 41064.282 PropClause: 39860.914 Set: 9321.177 Check: 0.0 Back: 1115.025 INFO - Atoms: 77053/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 660 Props: 48426754 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.594 Prop: 41130.634 PropClause: 39925.346 Set: 9334.691 Check: 0.0 Back: 1116.782 INFO - Atoms: 77652/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 661 Props: 48503815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.602 Prop: 41198.714 PropClause: 39991.531 Set: 9348.084 Check: 0.0 Back: 1118.568 INFO - Atoms: 77061/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 662 Props: 48580877 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.611 Prop: 41269.69 PropClause: 40060.608 Set: 9361.838 Check: 0.0 Back: 1120.339 INFO - Atoms: 77062/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 663 Props: 48657944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.619 Prop: 41341.994 PropClause: 40131.004 Set: 9375.804 Check: 0.0 Back: 1122.113 INFO - Atoms: 77067/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 664 Props: 48735012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.63 Prop: 41413.567 PropClause: 40200.641 Set: 9389.726 Check: 0.0 Back: 1123.892 INFO - Atoms: 77068/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 665 Props: 48812083 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.64 Prop: 41483.855 PropClause: 40269.012 Set: 9403.757 Check: 0.0 Back: 1125.665 INFO - Atoms: 77071/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 666 Props: 48889159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.65 Prop: 41557.138 PropClause: 40340.389 Set: 9417.723 Check: 0.0 Back: 1127.443 INFO - Atoms: 77076/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 667 Props: 48966238 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.659 Prop: 41628.874 PropClause: 40410.218 Set: 9431.576 Check: 0.0 Back: 1129.216 INFO - Atoms: 77079/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 668 Props: 49043318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.667 Prop: 41699.703 PropClause: 40479.122 Set: 9445.333 Check: 0.0 Back: 1130.983 INFO - Atoms: 77080/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 669 Props: 49120401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.675 Prop: 41771.141 PropClause: 40548.64 Set: 9458.996 Check: 0.0 Back: 1132.753 INFO - Atoms: 77083/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 670 Props: 49197489 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.684 Prop: 41841.584 PropClause: 40617.17 Set: 9473.242 Check: 0.0 Back: 1134.524 INFO - Atoms: 77088/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 671 Props: 49276649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.692 Prop: 41911.825 PropClause: 40685.429 Set: 9487.644 Check: 0.0 Back: 1136.309 INFO - Atoms: 79160/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 672 Props: 49355746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.701 Prop: 41986.189 PropClause: 40757.829 Set: 9502.241 Check: 0.0 Back: 1138.128 INFO - Atoms: 79097/413010 Clauses: 1743 Axioms: 1875304 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: