/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_079_096.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 136413999 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 47324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.604 Prop: 65.16 PropClause: 63.135 Set: 32.82 Check: 0.0 Back: 0.0 INFO - Atoms: 47324/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 94334 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.669 Prop: 124.399 PropClause: 120.74 Set: 41.774 Check: 0.0 Back: 1.092 INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 141344 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.705 Prop: 176.783 PropClause: 171.625 Set: 82.732 Check: 0.0 Back: 2.225 INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 188354 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.745 Prop: 231.107 PropClause: 224.464 Set: 91.155 Check: 0.0 Back: 3.309 INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 235364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.799 Prop: 281.552 PropClause: 273.371 Set: 104.607 Check: 0.0 Back: 4.391 INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 282374 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.846 Prop: 335.471 PropClause: 325.859 Set: 140.319 Check: 0.0 Back: 5.479 INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 329378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.912 Prop: 386.193 PropClause: 375.371 Set: 149.045 Check: 0.0 Back: 6.831 INFO - Atoms: 47004/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 376235 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.979 Prop: 440.066 PropClause: 428.052 Set: 157.742 Check: 0.0 Back: 8.181 INFO - Atoms: 46857/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 422918 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.024 Prop: 491.321 PropClause: 478.134 Set: 166.259 Check: 0.0 Back: 9.516 INFO - Atoms: 46683/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 469437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.064 Prop: 544.703 PropClause: 530.364 Set: 174.859 Check: 0.0 Back: 10.855 INFO - Atoms: 46519/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 515794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.123 Prop: 591.438 PropClause: 575.951 Set: 183.374 Check: 0.0 Back: 12.167 INFO - Atoms: 46357/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 562001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.164 Prop: 642.788 PropClause: 626.157 Set: 196.795 Check: 0.0 Back: 13.54 INFO - Atoms: 46207/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 608032 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.212 Prop: 690.906 PropClause: 673.113 Set: 210.362 Check: 0.0 Back: 14.915 INFO - Atoms: 46031/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 653913 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.257 Prop: 740.567 PropClause: 721.62 Set: 237.913 Check: 0.0 Back: 16.279 INFO - Atoms: 45881/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 699618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.302 Prop: 788.531 PropClause: 768.432 Set: 246.369 Check: 0.0 Back: 17.642 INFO - Atoms: 45705/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 745173 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.379 Prop: 840.183 PropClause: 818.935 Set: 254.789 Check: 0.0 Back: 18.975 INFO - Atoms: 45555/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 790552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.425 Prop: 887.008 PropClause: 864.617 Set: 263.09 Check: 0.0 Back: 20.32 INFO - Atoms: 45379/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 835767 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.518 Prop: 939.155 PropClause: 915.603 Set: 271.546 Check: 0.0 Back: 21.654 INFO - Atoms: 45215/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 880820 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.566 Prop: 990.18 PropClause: 965.496 Set: 280.375 Check: 0.0 Back: 22.977 INFO - Atoms: 45053/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 925709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.612 Prop: 1044.452 PropClause: 1018.642 Set: 288.585 Check: 0.0 Back: 24.301 INFO - Atoms: 44889/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 970436 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.675 Prop: 1093.783 PropClause: 1066.845 Set: 296.865 Check: 0.0 Back: 25.565 INFO - Atoms: 44727/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1015014 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.717 Prop: 1142.568 PropClause: 1114.519 Set: 305.12 Check: 0.0 Back: 26.84 INFO - Atoms: 44578/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1059415 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.761 Prop: 1190.577 PropClause: 1161.409 Set: 313.272 Check: 0.0 Back: 28.115 INFO - Atoms: 44401/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1103665 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.806 Prop: 1241.806 PropClause: 1211.53 Set: 321.439 Check: 0.0 Back: 29.37 INFO - Atoms: 44250/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1147740 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.846 Prop: 1290.207 PropClause: 1258.837 Set: 329.524 Check: 0.0 Back: 30.609 INFO - Atoms: 44075/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1191651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.9 Prop: 1341.023 PropClause: 1308.543 Set: 342.544 Check: 0.0 Back: 31.846 INFO - Atoms: 43911/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 1235400 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.942 Prop: 1388.178 PropClause: 1354.613 Set: 355.264 Check: 0.0 Back: 33.105 INFO - Atoms: 43749/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 1278985 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.985 Prop: 1435.755 PropClause: 1401.109 Set: 367.884 Check: 0.0 Back: 34.352 INFO - Atoms: 43585/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 1322408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.031 Prop: 1482.455 PropClause: 1446.735 Set: 380.417 Check: 0.0 Back: 35.604 INFO - Atoms: 43423/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 1365682 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.07 Prop: 1529.47 PropClause: 1492.678 Set: 392.827 Check: 0.0 Back: 36.84 INFO - Atoms: 43274/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 1408779 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.115 Prop: 1572.436 PropClause: 1534.579 Set: 400.631 Check: 0.0 Back: 38.097 INFO - Atoms: 43097/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 1451725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.153 Prop: 1617.455 PropClause: 1578.534 Set: 408.366 Check: 0.0 Back: 39.308 INFO - Atoms: 42946/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 1494496 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.195 Prop: 1660.089 PropClause: 1620.107 Set: 415.994 Check: 0.0 Back: 40.524 INFO - Atoms: 42771/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 1537116 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.236 Prop: 1706.648 PropClause: 1665.615 Set: 423.657 Check: 0.0 Back: 41.727 INFO - Atoms: 42620/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 1579561 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.274 Prop: 1748.074 PropClause: 1705.986 Set: 431.325 Check: 0.0 Back: 42.943 INFO - Atoms: 42445/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 1621855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.317 Prop: 1794.077 PropClause: 1750.94 Set: 438.873 Check: 0.0 Back: 44.108 INFO - Atoms: 42294/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 1663974 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.371 Prop: 1839.08 PropClause: 1794.883 Set: 446.475 Check: 0.0 Back: 45.318 INFO - Atoms: 42119/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 1705929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.426 Prop: 1884.214 PropClause: 1838.961 Set: 454.117 Check: 0.0 Back: 46.501 INFO - Atoms: 41955/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 1747722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.466 Prop: 1925.652 PropClause: 1879.355 Set: 461.63 Check: 0.0 Back: 47.698 INFO - Atoms: 41793/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 1789351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.51 Prop: 1971.312 PropClause: 1923.974 Set: 469.158 Check: 0.0 Back: 48.87 INFO - Atoms: 41629/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 1830818 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.548 Prop: 2013.095 PropClause: 1964.729 Set: 476.56 Check: 0.0 Back: 50.039 INFO - Atoms: 41467/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 1872121 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.601 Prop: 2058.044 PropClause: 2008.649 Set: 484.053 Check: 0.0 Back: 51.215 INFO - Atoms: 41303/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 1913262 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.645 Prop: 2095.701 PropClause: 2045.281 Set: 491.354 Check: 0.0 Back: 52.373 INFO - Atoms: 41141/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 1954253 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.689 Prop: 2137.432 PropClause: 2085.991 Set: 498.632 Check: 0.0 Back: 53.51 INFO - Atoms: 40991/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 1995068 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.732 Prop: 2176.279 PropClause: 2123.823 Set: 505.855 Check: 0.0 Back: 54.654 INFO - Atoms: 40815/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 2035719 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.771 Prop: 2214.947 PropClause: 2161.481 Set: 513.04 Check: 0.0 Back: 55.787 INFO - Atoms: 40651/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 2076208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.812 Prop: 2250.675 PropClause: 2196.202 Set: 520.176 Check: 0.0 Back: 56.925 INFO - Atoms: 40489/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 2116548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.852 Prop: 2288.469 PropClause: 2232.99 Set: 527.311 Check: 0.0 Back: 58.047 INFO - Atoms: 40340/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 2156711 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.895 Prop: 2323.67 PropClause: 2267.183 Set: 534.343 Check: 0.0 Back: 59.167 INFO - Atoms: 40163/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 2196723 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.938 Prop: 2363.796 PropClause: 2306.314 Set: 541.481 Check: 0.0 Back: 60.277 INFO - Atoms: 40012/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 2236560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.989 Prop: 2398.773 PropClause: 2340.297 Set: 548.607 Check: 0.0 Back: 61.404 INFO - Atoms: 39837/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 2276233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.127 Prop: 2435.916 PropClause: 2376.452 Set: 555.642 Check: 0.0 Back: 62.512 INFO - Atoms: 39673/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 2315744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.145 Prop: 2471.808 PropClause: 2411.364 Set: 562.638 Check: 0.0 Back: 63.626 INFO - Atoms: 39511/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 2355106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.163 Prop: 2508.48 PropClause: 2447.059 Set: 569.613 Check: 0.0 Back: 64.719 INFO - Atoms: 39362/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 2394291 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.183 Prop: 2544.029 PropClause: 2481.634 Set: 576.514 Check: 0.0 Back: 65.817 INFO - Atoms: 39185/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 2433325 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.203 Prop: 2582.916 PropClause: 2519.554 Set: 587.111 Check: 0.0 Back: 66.875 INFO - Atoms: 39034/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 2472184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.224 Prop: 2617.855 PropClause: 2553.536 Set: 597.658 Check: 0.0 Back: 67.968 INFO - Atoms: 38859/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 2510879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.242 Prop: 2654.268 PropClause: 2588.99 Set: 607.695 Check: 0.0 Back: 69.041 INFO - Atoms: 38695/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 2549412 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.262 Prop: 2691.405 PropClause: 2625.173 Set: 617.748 Check: 0.0 Back: 70.112 INFO - Atoms: 38533/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 2587781 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.285 Prop: 2726.861 PropClause: 2659.672 Set: 624.591 Check: 0.0 Back: 71.194 INFO - Atoms: 38369/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 2625988 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.304 Prop: 2759.447 PropClause: 2691.3 Set: 631.319 Check: 0.0 Back: 72.281 INFO - Atoms: 38207/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 2664031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.325 Prop: 2792.239 PropClause: 2723.136 Set: 637.963 Check: 0.0 Back: 73.362 INFO - Atoms: 38043/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 2701912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.343 Prop: 2824.038 PropClause: 2753.981 Set: 644.627 Check: 0.0 Back: 74.428 INFO - Atoms: 37881/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 2739643 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.363 Prop: 2862.647 PropClause: 2791.644 Set: 651.301 Check: 0.0 Back: 75.496 INFO - Atoms: 37731/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 2777198 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.384 Prop: 2901.996 PropClause: 2830.051 Set: 657.99 Check: 0.0 Back: 76.563 INFO - Atoms: 37555/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 2814589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.403 Prop: 2938.669 PropClause: 2865.788 Set: 664.538 Check: 0.0 Back: 77.621 INFO - Atoms: 37391/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 2851818 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.421 Prop: 2971.363 PropClause: 2897.565 Set: 670.967 Check: 0.0 Back: 78.665 INFO - Atoms: 37229/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 2888898 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.438 Prop: 3004.534 PropClause: 2929.819 Set: 677.446 Check: 0.0 Back: 79.672 INFO - Atoms: 37080/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 2925801 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.458 Prop: 3035.648 PropClause: 2960.016 Set: 683.772 Check: 0.0 Back: 80.708 INFO - Atoms: 36903/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 2962540 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.477 Prop: 3069.149 PropClause: 2992.609 Set: 690.18 Check: 0.0 Back: 81.703 INFO - Atoms: 36739/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 2999117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.496 Prop: 3100.709 PropClause: 3023.26 Set: 696.509 Check: 0.0 Back: 82.719 INFO - Atoms: 36577/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 3035530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.514 Prop: 3134.078 PropClause: 3055.727 Set: 702.798 Check: 0.0 Back: 83.69 INFO - Atoms: 36413/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 3071781 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.534 Prop: 3167.104 PropClause: 3087.856 Set: 709.062 Check: 0.0 Back: 84.679 INFO - Atoms: 36251/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 3107883 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.553 Prop: 3198.875 PropClause: 3118.736 Set: 715.324 Check: 0.0 Back: 85.683 INFO - Atoms: 36102/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 3143808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.573 Prop: 3229.061 PropClause: 3148.036 Set: 721.517 Check: 0.0 Back: 86.674 INFO - Atoms: 35925/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 3179569 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.594 Prop: 3264.432 PropClause: 3182.521 Set: 727.766 Check: 0.0 Back: 87.65 INFO - Atoms: 35761/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 3215168 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.616 Prop: 3298.323 PropClause: 3215.527 Set: 733.976 Check: 0.0 Back: 88.632 INFO - Atoms: 35599/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 3250617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.686 Prop: 3331.681 PropClause: 3248.008 Set: 740.089 Check: 0.0 Back: 89.588 INFO - Atoms: 35449/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 3285890 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.704 Prop: 3360.843 PropClause: 3276.299 Set: 746.227 Check: 0.0 Back: 90.579 INFO - Atoms: 35273/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 3320999 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.719 Prop: 3392.247 PropClause: 3306.834 Set: 752.274 Check: 0.0 Back: 91.526 INFO - Atoms: 35109/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 3355946 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.734 Prop: 3422.48 PropClause: 3336.203 Set: 758.301 Check: 0.0 Back: 92.485 INFO - Atoms: 34947/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 3390729 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.751 Prop: 3456.996 PropClause: 3369.849 Set: 764.437 Check: 0.0 Back: 93.43 INFO - Atoms: 34783/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 3425350 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.767 Prop: 3486.59 PropClause: 3398.581 Set: 770.417 Check: 0.0 Back: 94.393 INFO - Atoms: 34621/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 3459807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.782 Prop: 3517.92 PropClause: 3429.053 Set: 776.432 Check: 0.0 Back: 95.342 INFO - Atoms: 34457/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 3494102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.798 Prop: 3547.126 PropClause: 3457.406 Set: 782.364 Check: 0.0 Back: 96.299 INFO - Atoms: 34295/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 3528233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.817 Prop: 3581.266 PropClause: 3490.693 Set: 788.46 Check: 0.0 Back: 97.225 INFO - Atoms: 34131/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 3562202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.833 Prop: 3610.402 PropClause: 3518.976 Set: 794.384 Check: 0.0 Back: 98.169 INFO - Atoms: 33969/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 3596022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.849 Prop: 3641.222 PropClause: 3548.947 Set: 800.207 Check: 0.0 Back: 99.116 INFO - Atoms: 33820/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 3629665 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.865 Prop: 3669.932 PropClause: 3576.821 Set: 806.001 Check: 0.0 Back: 100.052 INFO - Atoms: 33643/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 3663157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.882 Prop: 3701.878 PropClause: 3607.935 Set: 811.913 Check: 0.0 Back: 100.962 INFO - Atoms: 33492/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 3696474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.897 Prop: 3730.309 PropClause: 3635.536 Set: 817.641 Check: 0.0 Back: 101.878 INFO - Atoms: 33317/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 3729640 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.911 Prop: 3761.163 PropClause: 3665.565 Set: 823.431 Check: 0.0 Back: 102.764 INFO - Atoms: 33166/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 3762631 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.931 Prop: 3789.764 PropClause: 3693.337 Set: 829.148 Check: 0.0 Back: 103.676 INFO - Atoms: 32991/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 3795472 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.978 Prop: 3819.454 PropClause: 3722.21 Set: 834.848 Check: 0.0 Back: 104.598 INFO - Atoms: 32841/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 3828137 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.035 Prop: 3846.237 PropClause: 3748.17 Set: 840.498 Check: 0.0 Back: 105.51 INFO - Atoms: 32665/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 3860652 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.045 Prop: 3875.283 PropClause: 3776.408 Set: 846.093 Check: 0.0 Back: 106.382 INFO - Atoms: 32515/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 3892991 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.056 Prop: 3903.072 PropClause: 3803.388 Set: 851.7 Check: 0.0 Back: 107.262 INFO - Atoms: 32339/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 3925180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.068 Prop: 3933.082 PropClause: 3832.596 Set: 857.3 Check: 0.0 Back: 108.255 INFO - Atoms: 32189/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 3957193 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.08 Prop: 3959.212 PropClause: 3857.929 Set: 862.812 Check: 0.0 Back: 109.129 INFO - Atoms: 32013/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 3989055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.092 Prop: 3990.421 PropClause: 3888.332 Set: 868.303 Check: 0.0 Back: 109.988 INFO - Atoms: 31862/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 4021876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.11 Prop: 4020.112 PropClause: 3917.203 Set: 874.192 Check: 0.0 Back: 110.847 INFO - Atoms: 32821/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 4054677 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.126 Prop: 4049.502 PropClause: 3945.767 Set: 879.973 Check: 0.0 Back: 111.734 INFO - Atoms: 32801/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 4087006 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.147 Prop: 4078.805 PropClause: 3974.258 Set: 885.687 Check: 0.0 Back: 112.629 INFO - Atoms: 32329/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 4119810 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.165 Prop: 4107.878 PropClause: 4002.505 Set: 891.461 Check: 0.0 Back: 113.546 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 4152633 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.182 Prop: 4134.827 PropClause: 4028.637 Set: 897.206 Check: 0.0 Back: 114.453 INFO - Atoms: 32823/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 4185607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.196 Prop: 4164.298 PropClause: 4057.288 Set: 903.044 Check: 0.0 Back: 115.335 INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 4218411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.242 Prop: 4191.46 PropClause: 4083.624 Set: 908.748 Check: 0.0 Back: 116.269 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 4251354 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.256 Prop: 4221.284 PropClause: 4112.628 Set: 914.582 Check: 0.0 Back: 117.171 INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 4284318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.27 Prop: 4248.024 PropClause: 4138.536 Set: 920.396 Check: 0.0 Back: 118.069 INFO - Atoms: 32964/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 4317260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.284 Prop: 4277.497 PropClause: 4167.189 Set: 926.221 Check: 0.0 Back: 118.964 INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 4350066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.298 Prop: 4305.016 PropClause: 4193.871 Set: 932.009 Check: 0.0 Back: 119.855 INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 4383040 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.313 Prop: 4336.181 PropClause: 4224.213 Set: 937.846 Check: 0.0 Back: 120.734 INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 4415844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.327 Prop: 4365.702 PropClause: 4252.914 Set: 943.698 Check: 0.0 Back: 121.67 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 4448787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.341 Prop: 4396.195 PropClause: 4282.576 Set: 949.516 Check: 0.0 Back: 122.554 INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 4481121 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.354 Prop: 4426.648 PropClause: 4312.224 Set: 955.197 Check: 0.0 Back: 123.464 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 4514063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.369 Prop: 4458.738 PropClause: 4343.497 Set: 961.091 Check: 0.0 Back: 124.337 INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 4546886 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.382 Prop: 4489.851 PropClause: 4373.797 Set: 966.865 Check: 0.0 Back: 125.232 INFO - Atoms: 32823/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 4579847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.397 Prop: 4522.292 PropClause: 4405.422 Set: 972.726 Check: 0.0 Back: 126.119 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 4612651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.412 Prop: 4553.131 PropClause: 4435.429 Set: 978.521 Check: 0.0 Back: 127.018 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 4645592 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.427 Prop: 4584.727 PropClause: 4466.181 Set: 984.381 Check: 0.0 Back: 127.908 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 4677926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.439 Prop: 4612.324 PropClause: 4492.974 Set: 990.012 Check: 0.0 Back: 128.814 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 4710867 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.452 Prop: 4642.966 PropClause: 4522.787 Set: 995.809 Check: 0.0 Back: 129.695 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 4743691 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.466 Prop: 4673.697 PropClause: 4552.705 Set: 1001.581 Check: 0.0 Back: 130.601 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 4776666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.479 Prop: 4705.673 PropClause: 4583.848 Set: 1007.441 Check: 0.0 Back: 131.474 INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 4809470 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.492 Prop: 4733.683 PropClause: 4611.042 Set: 1013.107 Check: 0.0 Back: 132.378 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 4842411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.506 Prop: 4764.418 PropClause: 4640.949 Set: 1018.957 Check: 0.0 Back: 133.254 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 4874745 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.521 Prop: 4794.757 PropClause: 4670.483 Set: 1024.609 Check: 0.0 Back: 134.162 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 4907686 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.536 Prop: 4826.189 PropClause: 4700.882 Set: 1030.406 Check: 0.0 Back: 135.023 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 4940510 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.55 Prop: 4855.369 PropClause: 4729.244 Set: 1036.256 Check: 0.0 Back: 135.918 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 4972856 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.564 Prop: 4882.971 PropClause: 4756.044 Set: 1041.88 Check: 0.0 Back: 136.796 INFO - Atoms: 32346/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 5005678 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.578 Prop: 4912.217 PropClause: 4784.462 Set: 1047.595 Check: 0.0 Back: 137.68 INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 5038621 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.592 Prop: 4940.951 PropClause: 4812.382 Set: 1053.416 Check: 0.0 Back: 138.556 INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 5071585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.605 Prop: 4967.478 PropClause: 4838.078 Set: 1059.133 Check: 0.0 Back: 139.455 INFO - Atoms: 32964/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 5104525 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.618 Prop: 4997.436 PropClause: 4867.217 Set: 1064.921 Check: 0.0 Back: 140.338 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 5137331 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.632 Prop: 5024.587 PropClause: 4893.54 Set: 1070.666 Check: 0.0 Back: 141.233 INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 5169664 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.645 Prop: 5052.998 PropClause: 4921.145 Set: 1076.261 Check: 0.0 Back: 142.112 INFO - Atoms: 32333/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 5202486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.659 Prop: 5080.948 PropClause: 4948.258 Set: 1082.11 Check: 0.0 Back: 142.99 INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 5235429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.673 Prop: 5109.176 PropClause: 4975.665 Set: 1087.853 Check: 0.0 Back: 143.878 INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 5268393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.686 Prop: 5136.169 PropClause: 5001.824 Set: 1093.646 Check: 0.0 Back: 144.788 INFO - Atoms: 32964/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 5301335 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.7 Prop: 5165.906 PropClause: 5030.741 Set: 1099.436 Check: 0.0 Back: 145.672 INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 5334141 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.713 Prop: 5191.792 PropClause: 5055.814 Set: 1105.142 Check: 0.0 Back: 146.574 INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 5367102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.727 Prop: 5221.514 PropClause: 5084.708 Set: 1110.993 Check: 0.0 Back: 147.46 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 5399906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.741 Prop: 5247.876 PropClause: 5110.246 Set: 1116.755 Check: 0.0 Back: 148.365 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 5432847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.755 Prop: 5276.785 PropClause: 5138.336 Set: 1122.544 Check: 0.0 Back: 149.231 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 5465181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.768 Prop: 5301.928 PropClause: 5162.675 Set: 1128.091 Check: 0.0 Back: 150.158 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 5498124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.782 Prop: 5328.928 PropClause: 5188.839 Set: 1133.804 Check: 0.0 Back: 151.005 INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 5530946 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.795 Prop: 5354.712 PropClause: 5213.81 Set: 1139.469 Check: 0.0 Back: 151.9 INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 5563922 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.806 Prop: 5382.293 PropClause: 5240.569 Set: 1145.22 Check: 0.0 Back: 152.759 INFO - Atoms: 32976/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 5596726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.82 Prop: 5409.105 PropClause: 5266.565 Set: 1150.937 Check: 0.0 Back: 153.658 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 5629667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.833 Prop: 5437.54 PropClause: 5294.173 Set: 1156.668 Check: 0.0 Back: 154.532 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 5662001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.847 Prop: 5463.875 PropClause: 5319.706 Set: 1162.257 Check: 0.0 Back: 155.429 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 5694942 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.859 Prop: 5492.288 PropClause: 5347.298 Set: 1168.045 Check: 0.0 Back: 156.275 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 5727766 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.872 Prop: 5519.378 PropClause: 5373.57 Set: 1173.784 Check: 0.0 Back: 157.171 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 5760741 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.885 Prop: 5547.607 PropClause: 5400.981 Set: 1179.562 Check: 0.0 Back: 158.057 INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 5793545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.9 Prop: 5574.586 PropClause: 5427.143 Set: 1185.369 Check: 0.0 Back: 158.962 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 5826486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.915 Prop: 5603.915 PropClause: 5455.655 Set: 1191.147 Check: 0.0 Back: 159.84 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 5858820 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.927 Prop: 5630.557 PropClause: 5481.492 Set: 1196.776 Check: 0.0 Back: 160.742 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 5891760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.941 Prop: 5658.421 PropClause: 5508.536 Set: 1202.589 Check: 0.0 Back: 161.607 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 5924585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.955 Prop: 5685.474 PropClause: 5534.774 Set: 1208.389 Check: 0.0 Back: 162.496 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 5957559 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.968 Prop: 5715.789 PropClause: 5564.267 Set: 1214.214 Check: 0.0 Back: 163.343 INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 5990363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.983 Prop: 5742.622 PropClause: 5590.272 Set: 1219.965 Check: 0.0 Back: 164.26 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 6023304 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.996 Prop: 5770.098 PropClause: 5616.88 Set: 1225.742 Check: 0.0 Back: 165.146 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 6055638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.01 Prop: 5795.668 PropClause: 5641.648 Set: 1231.302 Check: 0.0 Back: 166.032 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 6088578 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.023 Prop: 5822.889 PropClause: 5668.05 Set: 1237.066 Check: 0.0 Back: 166.879 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 6121403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.038 Prop: 5849.214 PropClause: 5693.513 Set: 1242.806 Check: 0.0 Back: 167.781 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 6154377 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.052 Prop: 5878.592 PropClause: 5722.068 Set: 1248.647 Check: 0.0 Back: 168.675 INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 6187181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.066 Prop: 5905.118 PropClause: 5747.779 Set: 1254.381 Check: 0.0 Back: 169.575 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 6220122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.079 Prop: 5931.751 PropClause: 5773.596 Set: 1260.045 Check: 0.0 Back: 170.443 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 6252456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.093 Prop: 5962.26 PropClause: 5803.296 Set: 1265.634 Check: 0.0 Back: 171.328 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 6285396 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.103 Prop: 5990.72 PropClause: 5830.928 Set: 1271.407 Check: 0.0 Back: 172.19 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 6318221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.116 Prop: 6018.612 PropClause: 5857.997 Set: 1277.118 Check: 0.0 Back: 173.101 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 6351182 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.129 Prop: 6046.793 PropClause: 5885.352 Set: 1282.842 Check: 0.0 Back: 173.966 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 6383986 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.138 Prop: 6074.157 PropClause: 5911.903 Set: 1288.552 Check: 0.0 Back: 174.846 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 6416927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.151 Prop: 6102.687 PropClause: 5939.611 Set: 1294.32 Check: 0.0 Back: 175.714 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 6449261 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.164 Prop: 6127.68 PropClause: 5963.797 Set: 1299.868 Check: 0.0 Back: 176.603 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 6482201 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.177 Prop: 6152.643 PropClause: 5987.945 Set: 1305.58 Check: 0.0 Back: 177.457 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 6515026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.191 Prop: 6180.194 PropClause: 6014.684 Set: 1311.351 Check: 0.0 Back: 178.339 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 6548001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.204 Prop: 6211.615 PropClause: 6045.266 Set: 1317.292 Check: 0.0 Back: 179.212 INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 6580805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.218 Prop: 6241.579 PropClause: 6074.406 Set: 1323.025 Check: 0.0 Back: 180.141 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 6613746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.264 Prop: 6273.338 PropClause: 6105.34 Set: 1328.884 Check: 0.0 Back: 181.046 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 6646080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.304 Prop: 6297.724 PropClause: 6128.925 Set: 1334.431 Check: 0.0 Back: 181.944 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 6679021 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.316 Prop: 6322.502 PropClause: 6152.886 Set: 1340.1 Check: 0.0 Back: 182.775 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 6711845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.33 Prop: 6347.293 PropClause: 6176.865 Set: 1345.717 Check: 0.0 Back: 183.645 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 6744806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.344 Prop: 6373.438 PropClause: 6202.189 Set: 1351.484 Check: 0.0 Back: 184.499 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 6777610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.358 Prop: 6402.136 PropClause: 6230.074 Set: 1357.161 Check: 0.0 Back: 185.376 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 6810551 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.373 Prop: 6431.568 PropClause: 6258.69 Set: 1362.909 Check: 0.0 Back: 186.237 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 6842885 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.385 Prop: 6458.699 PropClause: 6285.019 Set: 1368.48 Check: 0.0 Back: 187.102 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 6875826 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.397 Prop: 6484.877 PropClause: 6310.383 Set: 1374.25 Check: 0.0 Back: 187.945 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 6908650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.411 Prop: 6512.099 PropClause: 6336.793 Set: 1380.006 Check: 0.0 Back: 188.829 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 6941625 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.423 Prop: 6539.208 PropClause: 6363.086 Set: 1385.688 Check: 0.0 Back: 189.7 INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 6974429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.438 Prop: 6567.408 PropClause: 6390.475 Set: 1391.408 Check: 0.0 Back: 190.576 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 7007370 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.45 Prop: 6595.609 PropClause: 6417.854 Set: 1397.22 Check: 0.0 Back: 191.473 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 7039704 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.464 Prop: 6624.035 PropClause: 6445.47 Set: 1402.918 Check: 0.0 Back: 192.368 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 7072645 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.476 Prop: 6651.778 PropClause: 6472.392 Set: 1408.769 Check: 0.0 Back: 193.238 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 7105469 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.489 Prop: 6679.11 PropClause: 6498.906 Set: 1414.583 Check: 0.0 Back: 194.135 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 7138443 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.504 Prop: 6708.198 PropClause: 6527.159 Set: 1420.415 Check: 0.0 Back: 194.999 INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 7171247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.518 Prop: 6737.247 PropClause: 6555.37 Set: 1426.223 Check: 0.0 Back: 195.908 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 7204188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.534 Prop: 6765.385 PropClause: 6582.677 Set: 1432.103 Check: 0.0 Back: 196.844 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 7236522 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.548 Prop: 6792.657 PropClause: 6609.13 Set: 1437.824 Check: 0.0 Back: 197.748 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 7269462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.562 Prop: 6820.768 PropClause: 6636.399 Set: 1443.699 Check: 0.0 Back: 198.622 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 7302287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.577 Prop: 6848.268 PropClause: 6663.064 Set: 1449.513 Check: 0.0 Back: 199.539 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 7335248 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.592 Prop: 6877.019 PropClause: 6690.997 Set: 1455.344 Check: 0.0 Back: 200.422 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 7368052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.606 Prop: 6907.782 PropClause: 6720.924 Set: 1461.218 Check: 0.0 Back: 201.327 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 7400993 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.623 Prop: 6937.199 PropClause: 6749.518 Set: 1467.066 Check: 0.0 Back: 202.262 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 7433327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.636 Prop: 6965.589 PropClause: 6777.104 Set: 1472.822 Check: 0.0 Back: 203.175 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 7466268 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.65 Prop: 6994.378 PropClause: 6805.065 Set: 1478.682 Check: 0.0 Back: 204.061 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 7499092 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.662 Prop: 7022.249 PropClause: 6832.115 Set: 1484.481 Check: 0.0 Back: 204.951 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 7532068 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.677 Prop: 7051.561 PropClause: 6860.596 Set: 1490.342 Check: 0.0 Back: 205.832 INFO - Atoms: 32976/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 7564872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.691 Prop: 7081.051 PropClause: 6889.236 Set: 1496.22 Check: 0.0 Back: 206.739 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 7597813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.702 Prop: 7109.995 PropClause: 6917.348 Set: 1502.065 Check: 0.0 Back: 207.66 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 7630147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.713 Prop: 7138.285 PropClause: 6944.824 Set: 1507.772 Check: 0.0 Back: 208.565 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 7663087 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.725 Prop: 7166.934 PropClause: 6972.645 Set: 1513.675 Check: 0.0 Back: 209.433 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 7695912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.735 Prop: 7195.596 PropClause: 7000.479 Set: 1519.491 Check: 0.0 Back: 210.339 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 7728873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.747 Prop: 7224.795 PropClause: 7028.859 Set: 1525.308 Check: 0.0 Back: 211.243 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 7761677 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.758 Prop: 7253.805 PropClause: 7057.043 Set: 1531.204 Check: 0.0 Back: 212.155 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 7794618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.771 Prop: 7283.248 PropClause: 7085.66 Set: 1537.042 Check: 0.0 Back: 213.041 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 7826952 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.783 Prop: 7311.09 PropClause: 7112.688 Set: 1542.662 Check: 0.0 Back: 213.954 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 7859892 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.796 Prop: 7339.457 PropClause: 7140.235 Set: 1548.493 Check: 0.0 Back: 214.764 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 7892717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.812 Prop: 7368.042 PropClause: 7168.003 Set: 1554.306 Check: 0.0 Back: 215.664 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 7925678 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.827 Prop: 7398.963 PropClause: 7198.1 Set: 1560.269 Check: 0.0 Back: 216.544 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 7958482 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.841 Prop: 7431.894 PropClause: 7230.199 Set: 1566.073 Check: 0.0 Back: 217.444 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 7991423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.853 Prop: 7460.449 PropClause: 7257.933 Set: 1571.904 Check: 0.0 Back: 218.32 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 8023757 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.867 Prop: 7488.243 PropClause: 7284.912 Set: 1577.619 Check: 0.0 Back: 219.205 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 8056698 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.883 Prop: 7516.863 PropClause: 7312.713 Set: 1583.571 Check: 0.0 Back: 220.058 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 8089522 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.897 Prop: 7547.573 PropClause: 7342.61 Set: 1589.397 Check: 0.0 Back: 220.94 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 8122483 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.909 Prop: 7578.604 PropClause: 7372.821 Set: 1595.264 Check: 0.0 Back: 221.804 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 8155287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.924 Prop: 7609.568 PropClause: 7402.967 Set: 1601.109 Check: 0.0 Back: 222.688 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 8188228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.939 Prop: 7642.188 PropClause: 7434.758 Set: 1606.983 Check: 0.0 Back: 223.544 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 8220562 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.952 Prop: 7673.165 PropClause: 7464.93 Set: 1612.715 Check: 0.0 Back: 224.437 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 8253502 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.966 Prop: 7701.42 PropClause: 7492.364 Set: 1624.645 Check: 0.0 Back: 225.295 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 8286327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.979 Prop: 7733.594 PropClause: 7523.716 Set: 1630.533 Check: 0.0 Back: 226.177 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 8319288 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.992 Prop: 7764.419 PropClause: 7553.721 Set: 1636.45 Check: 0.0 Back: 227.079 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 8352092 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.005 Prop: 7795.426 PropClause: 7583.915 Set: 1642.277 Check: 0.0 Back: 227.974 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 8385033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.019 Prop: 7827.264 PropClause: 7614.922 Set: 1648.126 Check: 0.0 Back: 228.838 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 8417367 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.033 Prop: 7857.879 PropClause: 7644.738 Set: 1653.851 Check: 0.0 Back: 229.732 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 8450307 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.046 Prop: 7888.33 PropClause: 7674.375 Set: 1659.736 Check: 0.0 Back: 230.578 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 8483132 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.058 Prop: 7916.997 PropClause: 7702.209 Set: 1665.534 Check: 0.0 Back: 231.464 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 8516093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.07 Prop: 7946.12 PropClause: 7730.498 Set: 1671.438 Check: 0.0 Back: 232.332 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 8548897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.081 Prop: 7975.157 PropClause: 7758.726 Set: 1677.219 Check: 0.0 Back: 233.211 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 8581838 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.09 Prop: 8003.319 PropClause: 7786.071 Set: 1683.034 Check: 0.0 Back: 234.065 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 8614172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.101 Prop: 8031.212 PropClause: 7813.155 Set: 1688.748 Check: 0.0 Back: 234.945 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 8647113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.111 Prop: 8058.66 PropClause: 7839.789 Set: 1694.555 Check: 0.0 Back: 235.794 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 8679937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.121 Prop: 8085.922 PropClause: 7866.24 Set: 1700.374 Check: 0.0 Back: 236.689 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 8712898 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.131 Prop: 8113.226 PropClause: 7892.73 Set: 1706.153 Check: 0.0 Back: 237.539 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 8745702 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.141 Prop: 8142.251 PropClause: 7920.936 Set: 1711.938 Check: 0.0 Back: 238.414 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 8778643 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.151 Prop: 8169.425 PropClause: 7947.294 Set: 1717.678 Check: 0.0 Back: 239.285 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 8810977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.164 Prop: 8196.968 PropClause: 7974.023 Set: 1723.394 Check: 0.0 Back: 240.146 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 8843918 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.178 Prop: 8224.209 PropClause: 8000.446 Set: 1729.197 Check: 0.0 Back: 240.985 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 8876742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.192 Prop: 8251.962 PropClause: 8027.381 Set: 1735.005 Check: 0.0 Back: 241.859 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 8909717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.205 Prop: 8279.153 PropClause: 8053.743 Set: 1740.772 Check: 0.0 Back: 242.721 INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 8942521 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.217 Prop: 8306.782 PropClause: 8080.559 Set: 1746.492 Check: 0.0 Back: 243.607 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 8975462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.228 Prop: 8334.551 PropClause: 8107.505 Set: 1752.296 Check: 0.0 Back: 244.458 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 9007796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.24 Prop: 8362.193 PropClause: 8134.34 Set: 1758.004 Check: 0.0 Back: 245.331 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 9040737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.251 Prop: 8390.029 PropClause: 8161.358 Set: 1763.867 Check: 0.0 Back: 246.186 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 9073561 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.262 Prop: 8417.386 PropClause: 8187.898 Set: 1769.682 Check: 0.0 Back: 247.054 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 9106536 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.273 Prop: 8444.889 PropClause: 8214.556 Set: 1775.562 Check: 0.0 Back: 247.924 INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 9139340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.286 Prop: 8471.766 PropClause: 8240.591 Set: 1781.369 Check: 0.0 Back: 248.866 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 9172281 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.299 Prop: 8499.826 PropClause: 8267.839 Set: 1787.088 Check: 0.0 Back: 249.733 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 9204615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.312 Prop: 8527.11 PropClause: 8294.305 Set: 1792.756 Check: 0.0 Back: 250.601 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 9237555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.324 Prop: 8557.573 PropClause: 8323.943 Set: 1798.619 Check: 0.0 Back: 251.479 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 9270380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.335 Prop: 8586.531 PropClause: 8352.09 Set: 1804.412 Check: 0.0 Back: 252.369 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 9303341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.346 Prop: 8615.861 PropClause: 8380.583 Set: 1810.321 Check: 0.0 Back: 253.251 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 9336145 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.357 Prop: 8644.221 PropClause: 8408.12 Set: 1816.087 Check: 0.0 Back: 254.143 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 9369086 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.368 Prop: 8675.141 PropClause: 8438.221 Set: 1821.983 Check: 0.0 Back: 255.019 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 9401420 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.378 Prop: 8703.835 PropClause: 8466.105 Set: 1827.7 Check: 0.0 Back: 255.9 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 9434361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.388 Prop: 8731.996 PropClause: 8493.441 Set: 1833.545 Check: 0.0 Back: 256.769 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 9467185 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.401 Prop: 8760.439 PropClause: 8521.068 Set: 1839.333 Check: 0.0 Back: 257.655 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 9500146 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.411 Prop: 8789.177 PropClause: 8548.984 Set: 1845.174 Check: 0.0 Back: 258.523 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 9532950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.423 Prop: 8818.292 PropClause: 8577.288 Set: 1850.982 Check: 0.0 Back: 259.42 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 9565891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.435 Prop: 8848.871 PropClause: 8607.051 Set: 1856.937 Check: 0.0 Back: 260.304 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 9598225 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.447 Prop: 8878.202 PropClause: 8635.58 Set: 1862.662 Check: 0.0 Back: 261.193 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 9631165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.458 Prop: 8905.828 PropClause: 8662.378 Set: 1868.491 Check: 0.0 Back: 262.048 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 9663990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.469 Prop: 8937.293 PropClause: 8693.029 Set: 1874.33 Check: 0.0 Back: 262.932 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 9696323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.483 Prop: 8966.203 PropClause: 8721.138 Set: 1880.002 Check: 0.0 Back: 263.811 INFO - Atoms: 32333/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 9729145 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.494 Prop: 8996.793 PropClause: 8750.909 Set: 1885.922 Check: 0.0 Back: 264.67 INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 9762088 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.505 Prop: 9025.175 PropClause: 8778.477 Set: 1891.728 Check: 0.0 Back: 265.558 INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 9794422 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.516 Prop: 9053.998 PropClause: 8806.499 Set: 1897.433 Check: 0.0 Back: 266.43 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 9827365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.527 Prop: 9081.987 PropClause: 8833.667 Set: 1903.208 Check: 0.0 Back: 267.286 INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 9860187 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.535 Prop: 9110.955 PropClause: 8861.822 Set: 1909.013 Check: 0.0 Back: 268.161 INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 9892520 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.545 Prop: 9139.62 PropClause: 8889.684 Set: 1914.712 Check: 0.0 Back: 269.027 INFO - Atoms: 32333/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 9925344 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.559 Prop: 9169.152 PropClause: 8918.404 Set: 1920.585 Check: 0.0 Back: 269.896 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 9958285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.569 Prop: 9197.738 PropClause: 8946.174 Set: 1926.418 Check: 0.0 Back: 270.776 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 9991247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.582 Prop: 9227.932 PropClause: 8975.559 Set: 1932.272 Check: 0.0 Back: 271.659 INFO - Atoms: 32962/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 10024188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.592 Prop: 9258.333 PropClause: 9005.15 Set: 1938.118 Check: 0.0 Back: 272.518 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 10056994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.602 Prop: 9289.962 PropClause: 9035.972 Set: 1943.887 Check: 0.0 Back: 273.392 INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 10089955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.611 Prop: 9320.995 PropClause: 9066.195 Set: 1949.699 Check: 0.0 Back: 274.267 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 10122759 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.621 Prop: 9350.24 PropClause: 9094.632 Set: 1955.434 Check: 0.0 Back: 275.139 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 10155700 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.634 Prop: 9378.536 PropClause: 9122.101 Set: 1961.23 Check: 0.0 Back: 275.99 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 10188034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.645 Prop: 9405.871 PropClause: 9148.625 Set: 1966.811 Check: 0.0 Back: 276.867 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 10220976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.659 Prop: 9432.108 PropClause: 9174.052 Set: 1972.605 Check: 0.0 Back: 277.707 INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 10253799 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.669 Prop: 9457.997 PropClause: 9199.132 Set: 1978.334 Check: 0.0 Back: 278.574 INFO - Atoms: 32823/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 10286774 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.679 Prop: 9484.087 PropClause: 9224.413 Set: 1984.053 Check: 0.0 Back: 279.439 INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 10319578 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.688 Prop: 9512.663 PropClause: 9252.184 Set: 1989.79 Check: 0.0 Back: 280.303 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 10352519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.698 Prop: 9541.677 PropClause: 9280.39 Set: 1995.527 Check: 0.0 Back: 281.163 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 10384853 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.707 Prop: 9571.027 PropClause: 9308.943 Set: 2001.149 Check: 0.0 Back: 282.029 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 10417794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.719 Prop: 9598.22 PropClause: 9335.327 Set: 2006.915 Check: 0.0 Back: 282.876 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 10450618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.729 Prop: 9629.187 PropClause: 9365.487 Set: 2012.673 Check: 0.0 Back: 283.754 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 10483593 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.739 Prop: 9657.947 PropClause: 9393.425 Set: 2018.593 Check: 0.0 Back: 284.611 INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 10516397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.751 Prop: 9685.029 PropClause: 9419.696 Set: 2024.362 Check: 0.0 Back: 285.497 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 10549338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.763 Prop: 9712.275 PropClause: 9446.129 Set: 2030.155 Check: 0.0 Back: 286.38 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 10581672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.774 Prop: 9739.482 PropClause: 9472.536 Set: 2035.782 Check: 0.0 Back: 287.256 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 10614612 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.787 Prop: 9766.443 PropClause: 9498.684 Set: 2041.65 Check: 0.0 Back: 288.111 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 10647437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.8 Prop: 9795.871 PropClause: 9527.289 Set: 2047.481 Check: 0.0 Back: 288.992 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 10680412 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.81 Prop: 9824.695 PropClause: 9555.297 Set: 2053.276 Check: 0.0 Back: 289.867 INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 10713216 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.821 Prop: 9852.358 PropClause: 9582.152 Set: 2059.022 Check: 0.0 Back: 290.753 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 10746157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.831 Prop: 9881.073 PropClause: 9610.053 Set: 2064.907 Check: 0.0 Back: 291.629 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 10778491 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.84 Prop: 9910.676 PropClause: 9638.857 Set: 2070.603 Check: 0.0 Back: 292.537 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 10811432 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.85 Prop: 9942.193 PropClause: 9669.561 Set: 2076.487 Check: 0.0 Back: 293.4 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 10844256 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.861 Prop: 9973.039 PropClause: 9699.597 Set: 2082.349 Check: 0.0 Back: 294.278 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 10877230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.873 Prop: 10001.195 PropClause: 9726.935 Set: 2088.272 Check: 0.0 Back: 295.138 INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 10910034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.883 Prop: 10031.418 PropClause: 9756.349 Set: 2094.087 Check: 0.0 Back: 296.028 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 10942975 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.892 Prop: 10060.938 PropClause: 9785.054 Set: 2099.961 Check: 0.0 Back: 296.912 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 10975309 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.901 Prop: 10090.579 PropClause: 9813.894 Set: 2105.68 Check: 0.0 Back: 297.805 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 11008250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.911 Prop: 10119.989 PropClause: 9842.488 Set: 2111.607 Check: 0.0 Back: 298.665 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 11041074 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.921 Prop: 10149.485 PropClause: 9871.174 Set: 2117.441 Check: 0.0 Back: 299.553 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 11074035 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.931 Prop: 10178.877 PropClause: 9899.757 Set: 2123.281 Check: 0.0 Back: 300.423 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 11106839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.94 Prop: 10207.721 PropClause: 9927.792 Set: 2129.081 Check: 0.0 Back: 301.302 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 11139780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.951 Prop: 10237.714 PropClause: 9956.967 Set: 2134.997 Check: 0.0 Back: 302.168 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 11172114 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.961 Prop: 10267.747 PropClause: 9986.203 Set: 2140.722 Check: 0.0 Back: 303.049 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 11205055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.972 Prop: 10297.02 PropClause: 10014.663 Set: 2146.677 Check: 0.0 Back: 303.895 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 11237879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.982 Prop: 10327.144 PropClause: 10043.974 Set: 2152.518 Check: 0.0 Back: 304.79 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 11270840 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.993 Prop: 10355.859 PropClause: 10071.875 Set: 2158.41 Check: 0.0 Back: 305.664 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 11303644 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.007 Prop: 10385.936 PropClause: 10101.13 Set: 2164.331 Check: 0.0 Back: 306.549 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 11336585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.018 Prop: 10416.245 PropClause: 10130.625 Set: 2170.233 Check: 0.0 Back: 307.421 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 11368919 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.032 Prop: 10448.348 PropClause: 10161.933 Set: 2176.007 Check: 0.0 Back: 308.313 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 11401860 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.045 Prop: 10477.259 PropClause: 10190.011 Set: 2181.922 Check: 0.0 Back: 309.162 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 11434684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.056 Prop: 10502.991 PropClause: 10214.937 Set: 2187.649 Check: 0.0 Back: 310.036 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 11467645 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.065 Prop: 10530.019 PropClause: 10241.158 Set: 2193.404 Check: 0.0 Back: 310.846 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 11500449 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.076 Prop: 10556.477 PropClause: 10266.813 Set: 2199.092 Check: 0.0 Back: 311.713 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 11533390 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.085 Prop: 10581.545 PropClause: 10291.073 Set: 2204.859 Check: 0.0 Back: 312.58 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 11565724 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.095 Prop: 10606.82 PropClause: 10315.543 Set: 2210.508 Check: 0.0 Back: 313.464 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 11598664 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.104 Prop: 10633.791 PropClause: 10341.696 Set: 2216.354 Check: 0.0 Back: 314.312 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 11631489 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.113 Prop: 10660.435 PropClause: 10367.534 Set: 2222.168 Check: 0.0 Back: 315.198 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 11664450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.124 Prop: 10686.452 PropClause: 10392.744 Set: 2227.984 Check: 0.0 Back: 316.061 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 11697254 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.135 Prop: 10712.445 PropClause: 10417.932 Set: 2233.753 Check: 0.0 Back: 316.932 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 11730195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.145 Prop: 10738.645 PropClause: 10443.315 Set: 2239.587 Check: 0.0 Back: 317.786 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 11762529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.155 Prop: 10764.371 PropClause: 10468.248 Set: 2245.241 Check: 0.0 Back: 318.668 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 11795469 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.166 Prop: 10790.355 PropClause: 10493.421 Set: 2251.058 Check: 0.0 Back: 319.513 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 11828294 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.176 Prop: 10816.364 PropClause: 10518.624 Set: 2256.797 Check: 0.0 Back: 320.38 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 11861255 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.186 Prop: 10842.031 PropClause: 10543.481 Set: 2262.591 Check: 0.0 Back: 321.233 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 11894059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.196 Prop: 10868.896 PropClause: 10569.538 Set: 2268.332 Check: 0.0 Back: 322.113 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 11927000 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.205 Prop: 10896.336 PropClause: 10596.156 Set: 2274.19 Check: 0.0 Back: 322.957 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 11959334 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.218 Prop: 10922.977 PropClause: 10621.995 Set: 2279.873 Check: 0.0 Back: 323.817 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 11992274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.227 Prop: 10948.463 PropClause: 10646.66 Set: 2285.648 Check: 0.0 Back: 324.664 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 12025099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.235 Prop: 10975.123 PropClause: 10672.514 Set: 2291.424 Check: 0.0 Back: 325.528 INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 12057432 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.245 Prop: 11000.364 PropClause: 10696.955 Set: 2297.04 Check: 0.0 Back: 326.408 INFO - Atoms: 32333/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 12090254 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.255 Prop: 11025.827 PropClause: 10721.61 Set: 2302.802 Check: 0.0 Back: 327.266 INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 12123197 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.265 Prop: 11051.744 PropClause: 10746.717 Set: 2308.598 Check: 0.0 Back: 328.127 INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 12155531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.278 Prop: 11077.674 PropClause: 10771.851 Set: 2314.294 Check: 0.0 Back: 329.001 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 12188473 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.286 Prop: 11106.544 PropClause: 10799.913 Set: 2320.153 Check: 0.0 Back: 329.848 INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 12221296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.295 Prop: 11132.791 PropClause: 10825.356 Set: 2325.967 Check: 0.0 Back: 330.73 INFO - Atoms: 32823/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 12253644 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.304 Prop: 11158.735 PropClause: 10850.506 Set: 2331.555 Check: 0.0 Back: 331.59 INFO - Atoms: 32348/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 12286468 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.314 Prop: 11185.22 PropClause: 10876.184 Set: 2337.359 Check: 0.0 Back: 332.437 INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 12319409 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.326 Prop: 11212.367 PropClause: 10902.523 Set: 2343.19 Check: 0.0 Back: 333.3 INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 12352371 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.336 Prop: 11243.381 PropClause: 10932.729 Set: 2349.09 Check: 0.0 Back: 334.166 INFO - Atoms: 32962/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 12385311 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.348 Prop: 11270.712 PropClause: 10959.247 Set: 2354.913 Check: 0.0 Back: 335.04 INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 12418117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.359 Prop: 11298.055 PropClause: 10985.784 Set: 2360.644 Check: 0.0 Back: 335.914 INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 12451078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.369 Prop: 11323.839 PropClause: 11010.759 Set: 2366.46 Check: 0.0 Back: 336.783 INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 12483882 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.38 Prop: 11350.707 PropClause: 11036.825 Set: 2372.226 Check: 0.0 Back: 337.66 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 12516760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.39 Prop: 11376.894 PropClause: 11062.187 Set: 2377.979 Check: 0.0 Back: 338.522 INFO - Atoms: 32878/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 12549094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.399 Prop: 11404.211 PropClause: 11088.709 Set: 2383.619 Check: 0.0 Back: 339.402 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 12581898 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.412 Prop: 11434.426 PropClause: 11118.097 Set: 2389.495 Check: 0.0 Back: 340.252 INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 12614641 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.421 Prop: 11462.772 PropClause: 11145.641 Set: 2395.256 Check: 0.0 Back: 341.139 INFO - Atoms: 32743/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 12647470 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.43 Prop: 11490.254 PropClause: 11172.32 Set: 2400.987 Check: 0.0 Back: 341.995 INFO - Atoms: 32829/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 12680126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.441 Prop: 11519.804 PropClause: 11201.07 Set: 2406.723 Check: 0.0 Back: 342.879 INFO - Atoms: 32656/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 12712785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.455 Prop: 11544.182 PropClause: 11224.647 Set: 2412.371 Check: 0.0 Back: 343.75 INFO - Atoms: 32659/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 12745119 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.469 Prop: 11570.296 PropClause: 11249.965 Set: 2424.182 Check: 0.0 Back: 344.606 INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 12777617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.607 Prop: 11598.04 PropClause: 11276.917 Set: 2429.982 Check: 0.0 Back: 345.436 INFO - Atoms: 32498/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 12810115 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.619 Prop: 11627.761 PropClause: 11305.828 Set: 2435.753 Check: 0.0 Back: 346.288 INFO - Atoms: 32498/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 12842613 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.715 Prop: 11654.864 PropClause: 11332.112 Set: 2441.455 Check: 0.0 Back: 347.162 INFO - Atoms: 32498/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 12874949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.724 Prop: 11682.393 PropClause: 11358.85 Set: 2447.118 Check: 0.0 Back: 348.053 INFO - Atoms: 32336/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 12907435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.731 Prop: 11708.457 PropClause: 11384.118 Set: 2452.836 Check: 0.0 Back: 348.892 INFO - Atoms: 32486/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 12939750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.743 Prop: 11735.926 PropClause: 11410.794 Set: 2458.438 Check: 0.0 Back: 349.757 INFO - Atoms: 32315/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 12972222 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.752 Prop: 11762.236 PropClause: 11436.309 Set: 2464.13 Check: 0.0 Back: 350.595 INFO - Atoms: 32472/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 13004233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.84 Prop: 11789.629 PropClause: 11462.918 Set: 2469.628 Check: 0.0 Back: 351.452 INFO - Atoms: 32011/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 13036424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.849 Prop: 11816.345 PropClause: 11488.845 Set: 2475.182 Check: 0.0 Back: 352.278 INFO - Atoms: 32191/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 13068437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.858 Prop: 11843.929 PropClause: 11515.635 Set: 2480.741 Check: 0.0 Back: 353.116 INFO - Atoms: 32013/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 13100298 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.868 Prop: 11871.001 PropClause: 11541.921 Set: 2486.255 Check: 0.0 Back: 353.963 INFO - Atoms: 31861/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 13132290 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.88 Prop: 11901.747 PropClause: 11571.842 Set: 2497.375 Check: 0.0 Back: 354.788 INFO - Atoms: 31992/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 13164447 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.891 Prop: 11928.205 PropClause: 11597.495 Set: 2502.806 Check: 0.0 Back: 355.605 INFO - Atoms: 32157/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 13196787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.93 Prop: 11956.955 PropClause: 11625.448 Set: 2508.125 Check: 0.0 Back: 356.44 INFO - Atoms: 32340/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 13229270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.965 Prop: 11984.585 PropClause: 11652.275 Set: 2513.513 Check: 0.0 Back: 357.273 INFO - Atoms: 32483/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 13261934 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.996 Prop: 12014.392 PropClause: 11681.266 Set: 2518.841 Check: 0.0 Back: 358.117 INFO - Atoms: 32664/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 13294743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.06 Prop: 12040.911 PropClause: 11706.962 Set: 2524.149 Check: 0.0 Back: 358.96 INFO - Atoms: 32809/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 13327733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.096 Prop: 12070.34 PropClause: 11735.574 Set: 2529.561 Check: 0.0 Back: 359.818 INFO - Atoms: 32990/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 386 Props: 13360868 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.158 Prop: 12099.016 PropClause: 11763.429 Set: 2534.963 Check: 0.0 Back: 360.681 INFO - Atoms: 33135/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 387 Props: 13394184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.192 Prop: 12127.878 PropClause: 11791.467 Set: 2540.417 Check: 0.0 Back: 361.542 INFO - Atoms: 33316/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 388 Props: 13427645 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.245 Prop: 12157.127 PropClause: 11819.89 Set: 2545.872 Check: 0.0 Back: 362.411 INFO - Atoms: 33461/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 389 Props: 13461287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.25 Prop: 12182.862 PropClause: 11844.799 Set: 2551.481 Check: 0.0 Back: 363.272 INFO - Atoms: 33642/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 390 Props: 13495074 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.256 Prop: 12209.014 PropClause: 11870.117 Set: 2556.954 Check: 0.0 Back: 364.145 INFO - Atoms: 33787/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 391 Props: 13529042 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.261 Prop: 12236.865 PropClause: 11897.133 Set: 2562.479 Check: 0.0 Back: 365.038 INFO - Atoms: 33968/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 392 Props: 13563155 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.266 Prop: 12265.599 PropClause: 11925.02 Set: 2567.996 Check: 0.0 Back: 365.908 INFO - Atoms: 34113/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 393 Props: 13597449 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.271 Prop: 12296.177 PropClause: 11954.744 Set: 2573.598 Check: 0.0 Back: 366.795 INFO - Atoms: 34294/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 394 Props: 13631888 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.275 Prop: 12327.055 PropClause: 11984.776 Set: 2579.253 Check: 0.0 Back: 367.674 INFO - Atoms: 34439/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 395 Props: 13666508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.28 Prop: 12361.402 PropClause: 12018.268 Set: 2585.129 Check: 0.0 Back: 368.577 INFO - Atoms: 34620/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 396 Props: 13701273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.286 Prop: 12390.736 PropClause: 12046.748 Set: 2590.783 Check: 0.0 Back: 369.49 INFO - Atoms: 34765/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 397 Props: 13736219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.292 Prop: 12422.417 PropClause: 12077.567 Set: 2596.567 Check: 0.0 Back: 370.422 INFO - Atoms: 34946/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 398 Props: 13771310 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.298 Prop: 12454.273 PropClause: 12108.561 Set: 2602.379 Check: 0.0 Back: 371.333 INFO - Atoms: 35091/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 399 Props: 13806582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.302 Prop: 12488.204 PropClause: 12141.622 Set: 2608.279 Check: 0.0 Back: 372.275 INFO - Atoms: 35272/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 400 Props: 13841999 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.307 Prop: 12520.869 PropClause: 12173.41 Set: 2614.188 Check: 0.0 Back: 373.198 INFO - Atoms: 35417/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 401 Props: 13877597 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.311 Prop: 12555.334 PropClause: 12207.0 Set: 2620.155 Check: 0.0 Back: 374.131 INFO - Atoms: 35598/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 402 Props: 13913340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.316 Prop: 12586.845 PropClause: 12237.632 Set: 2626.02 Check: 0.0 Back: 375.081 INFO - Atoms: 35743/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 403 Props: 13949264 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.319 Prop: 12621.071 PropClause: 12270.975 Set: 2632.018 Check: 0.0 Back: 376.033 INFO - Atoms: 35924/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 404 Props: 13985333 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.323 Prop: 12654.446 PropClause: 12303.455 Set: 2637.902 Check: 0.0 Back: 377.006 INFO - Atoms: 36069/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 405 Props: 14021583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.327 Prop: 12688.388 PropClause: 12336.506 Set: 2643.945 Check: 0.0 Back: 377.974 INFO - Atoms: 36250/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 406 Props: 14057978 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.331 Prop: 12722.449 PropClause: 12369.672 Set: 2650.049 Check: 0.0 Back: 378.948 INFO - Atoms: 36395/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 407 Props: 14094554 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.336 Prop: 12759.833 PropClause: 12406.155 Set: 2656.509 Check: 0.0 Back: 379.933 INFO - Atoms: 36576/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 408 Props: 14131275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.34 Prop: 12795.306 PropClause: 12440.724 Set: 2662.671 Check: 0.0 Back: 380.92 INFO - Atoms: 36721/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 409 Props: 14168177 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.345 Prop: 12832.98 PropClause: 12477.49 Set: 2669.086 Check: 0.0 Back: 381.929 INFO - Atoms: 36902/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 410 Props: 14205224 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.35 Prop: 12869.48 PropClause: 12513.07 Set: 2675.277 Check: 0.0 Back: 382.923 INFO - Atoms: 37047/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 411 Props: 14242452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.353 Prop: 12906.39 PropClause: 12549.063 Set: 2681.543 Check: 0.0 Back: 383.937 INFO - Atoms: 37228/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 412 Props: 14279825 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.358 Prop: 12943.553 PropClause: 12585.304 Set: 2687.93 Check: 0.0 Back: 384.957 INFO - Atoms: 37373/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 413 Props: 14317379 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.364 Prop: 12986.67 PropClause: 12627.481 Set: 2694.4 Check: 0.0 Back: 385.995 INFO - Atoms: 37554/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 414 Props: 14355078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.368 Prop: 13023.588 PropClause: 12663.474 Set: 2700.675 Check: 0.0 Back: 387.042 INFO - Atoms: 37699/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 415 Props: 14392958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.372 Prop: 13061.191 PropClause: 12700.135 Set: 2707.049 Check: 0.0 Back: 388.076 INFO - Atoms: 37880/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 416 Props: 14430983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.376 Prop: 13097.188 PropClause: 12735.201 Set: 2713.732 Check: 0.0 Back: 389.105 INFO - Atoms: 38025/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 417 Props: 14469189 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.381 Prop: 13135.52 PropClause: 12772.592 Set: 2720.224 Check: 0.0 Back: 390.13 INFO - Atoms: 38206/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 418 Props: 14507540 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.387 Prop: 13172.943 PropClause: 12809.072 Set: 2726.747 Check: 0.0 Back: 391.164 INFO - Atoms: 38351/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 419 Props: 14546072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.392 Prop: 13208.796 PropClause: 12843.968 Set: 2733.221 Check: 0.0 Back: 392.198 INFO - Atoms: 38532/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 420 Props: 14584749 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.399 Prop: 13247.767 PropClause: 12881.971 Set: 2739.778 Check: 0.0 Back: 393.229 INFO - Atoms: 38677/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 421 Props: 14623607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.404 Prop: 13286.024 PropClause: 12919.273 Set: 2746.334 Check: 0.0 Back: 394.312 INFO - Atoms: 38858/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 422 Props: 14662610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.408 Prop: 13323.711 PropClause: 12955.992 Set: 2752.981 Check: 0.0 Back: 395.366 INFO - Atoms: 39003/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 423 Props: 14701794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.413 Prop: 13364.467 PropClause: 12995.781 Set: 2759.635 Check: 0.0 Back: 396.435 INFO - Atoms: 39184/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 424 Props: 14741123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.417 Prop: 13402.606 PropClause: 13032.952 Set: 2766.314 Check: 0.0 Back: 397.484 INFO - Atoms: 39329/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 425 Props: 14780633 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.422 Prop: 13442.354 PropClause: 13071.721 Set: 2779.633 Check: 0.0 Back: 398.563 INFO - Atoms: 39510/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 426 Props: 14820288 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.426 Prop: 13479.473 PropClause: 13107.844 Set: 2786.246 Check: 0.0 Back: 399.634 INFO - Atoms: 39655/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 427 Props: 14860124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.431 Prop: 13520.456 PropClause: 13147.843 Set: 2793.063 Check: 0.0 Back: 400.709 INFO - Atoms: 39836/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 428 Props: 14900105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.436 Prop: 13558.647 PropClause: 13185.055 Set: 2799.789 Check: 0.0 Back: 401.797 INFO - Atoms: 39981/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 429 Props: 14940267 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.44 Prop: 13598.014 PropClause: 13223.436 Set: 2806.559 Check: 0.0 Back: 402.92 INFO - Atoms: 40162/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 430 Props: 14980574 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.444 Prop: 13637.74 PropClause: 13262.162 Set: 2813.268 Check: 0.0 Back: 404.019 INFO - Atoms: 40307/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 431 Props: 15021062 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.449 Prop: 13680.612 PropClause: 13304.038 Set: 2820.213 Check: 0.0 Back: 405.112 INFO - Atoms: 40488/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 432 Props: 15061695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.454 Prop: 13723.432 PropClause: 13345.824 Set: 2827.087 Check: 0.0 Back: 406.228 INFO - Atoms: 40633/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 433 Props: 15102509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.458 Prop: 13767.608 PropClause: 13388.983 Set: 2834.464 Check: 0.0 Back: 407.37 INFO - Atoms: 40814/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 434 Props: 15143468 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.462 Prop: 13808.584 PropClause: 13428.952 Set: 2841.351 Check: 0.0 Back: 408.5 INFO - Atoms: 40959/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 435 Props: 15184608 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.467 Prop: 13852.327 PropClause: 13471.677 Set: 2848.359 Check: 0.0 Back: 409.639 INFO - Atoms: 41140/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 436 Props: 15225893 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.472 Prop: 13895.655 PropClause: 13513.976 Set: 2855.419 Check: 0.0 Back: 410.78 INFO - Atoms: 41285/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 437 Props: 15267359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.477 Prop: 13942.656 PropClause: 13559.956 Set: 2862.573 Check: 0.0 Back: 411.949 INFO - Atoms: 41466/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 438 Props: 15308970 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.483 Prop: 13989.961 PropClause: 13606.231 Set: 2869.74 Check: 0.0 Back: 413.093 INFO - Atoms: 41611/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 439 Props: 15350762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.488 Prop: 14040.935 PropClause: 13656.168 Set: 2877.089 Check: 0.0 Back: 414.284 INFO - Atoms: 41792/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 440 Props: 15392699 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.494 Prop: 14091.621 PropClause: 13705.817 Set: 2884.408 Check: 0.0 Back: 415.461 INFO - Atoms: 41937/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 441 Props: 15434817 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.498 Prop: 14143.744 PropClause: 13756.898 Set: 2891.797 Check: 0.0 Back: 416.646 INFO - Atoms: 42118/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 442 Props: 15477080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.504 Prop: 14189.338 PropClause: 13801.438 Set: 2899.089 Check: 0.0 Back: 417.829 INFO - Atoms: 42263/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 443 Props: 15519524 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.511 Prop: 14241.063 PropClause: 13852.112 Set: 2906.626 Check: 0.0 Back: 419.007 INFO - Atoms: 42444/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 444 Props: 15562113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.516 Prop: 14288.293 PropClause: 13898.283 Set: 2913.97 Check: 0.0 Back: 420.212 INFO - Atoms: 42589/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 445 Props: 15604883 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.521 Prop: 14339.456 PropClause: 13948.389 Set: 2921.452 Check: 0.0 Back: 421.423 INFO - Atoms: 42770/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 446 Props: 15647798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.527 Prop: 14387.656 PropClause: 13995.526 Set: 2928.84 Check: 0.0 Back: 422.603 INFO - Atoms: 42915/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 447 Props: 15690894 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.535 Prop: 14443.765 PropClause: 14050.574 Set: 2936.297 Check: 0.0 Back: 423.837 INFO - Atoms: 43096/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 448 Props: 15734135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.541 Prop: 14491.732 PropClause: 14097.466 Set: 2943.789 Check: 0.0 Back: 425.038 INFO - Atoms: 43241/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 449 Props: 15777557 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.547 Prop: 14540.719 PropClause: 14145.381 Set: 2951.414 Check: 0.0 Back: 426.266 INFO - Atoms: 43422/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 450 Props: 15821124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.553 Prop: 14589.985 PropClause: 14193.574 Set: 2959.018 Check: 0.0 Back: 427.494 INFO - Atoms: 43567/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 451 Props: 15864872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.559 Prop: 14642.623 PropClause: 14245.132 Set: 2973.178 Check: 0.0 Back: 428.732 INFO - Atoms: 43748/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 452 Props: 15908765 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.564 Prop: 14692.453 PropClause: 14293.877 Set: 2980.766 Check: 0.0 Back: 430.031 INFO - Atoms: 43893/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 453 Props: 15952839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.569 Prop: 14745.73 PropClause: 14346.053 Set: 2988.936 Check: 0.0 Back: 431.283 INFO - Atoms: 44074/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 454 Props: 15997058 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.573 Prop: 14797.214 PropClause: 14396.444 Set: 2997.16 Check: 0.0 Back: 432.549 INFO - Atoms: 44219/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 455 Props: 16041458 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.578 Prop: 14850.344 PropClause: 14448.479 Set: 3004.936 Check: 0.0 Back: 433.827 INFO - Atoms: 44400/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 456 Props: 16086003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.583 Prop: 14899.465 PropClause: 14496.503 Set: 3012.541 Check: 0.0 Back: 435.086 INFO - Atoms: 44545/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 457 Props: 16130729 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.589 Prop: 14951.298 PropClause: 14547.229 Set: 3020.313 Check: 0.0 Back: 436.364 INFO - Atoms: 44726/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 458 Props: 16175600 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.594 Prop: 15000.391 PropClause: 14595.21 Set: 3028.027 Check: 0.0 Back: 437.631 INFO - Atoms: 44871/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 459 Props: 16220652 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.6 Prop: 15055.471 PropClause: 14649.162 Set: 3036.307 Check: 0.0 Back: 438.921 INFO - Atoms: 45052/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 460 Props: 16265849 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.606 Prop: 15108.112 PropClause: 14700.682 Set: 3044.237 Check: 0.0 Back: 440.194 INFO - Atoms: 45197/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 461 Props: 16311227 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.612 Prop: 15160.502 PropClause: 14751.952 Set: 3052.761 Check: 0.0 Back: 441.523 INFO - Atoms: 45378/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 462 Props: 16356750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.616 Prop: 15213.718 PropClause: 14804.046 Set: 3060.71 Check: 0.0 Back: 442.815 INFO - Atoms: 45523/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 463 Props: 16402454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.62 Prop: 15267.568 PropClause: 14856.769 Set: 3068.654 Check: 0.0 Back: 444.139 INFO - Atoms: 45704/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 464 Props: 16448303 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.625 Prop: 15318.654 PropClause: 14906.721 Set: 3076.623 Check: 0.0 Back: 445.419 INFO - Atoms: 45849/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 465 Props: 16494333 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.63 Prop: 15372.697 PropClause: 14959.631 Set: 3084.663 Check: 0.0 Back: 446.758 INFO - Atoms: 46030/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 466 Props: 16540508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.634 Prop: 15423.958 PropClause: 15009.752 Set: 3092.579 Check: 0.0 Back: 448.077 INFO - Atoms: 46175/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 467 Props: 16586864 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.638 Prop: 15478.863 PropClause: 15063.516 Set: 3100.744 Check: 0.0 Back: 449.4 INFO - Atoms: 46356/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 468 Props: 16633365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.642 Prop: 15531.151 PropClause: 15114.663 Set: 3108.82 Check: 0.0 Back: 450.706 INFO - Atoms: 46501/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 469 Props: 16680046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.648 Prop: 15592.998 PropClause: 15175.356 Set: 3117.023 Check: 0.0 Back: 452.082 INFO - Atoms: 46681/47328 Clauses: 581 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 969 Props: 18016104 Tprops: 0 Decides: 4590 RSplits: 0 INFO - Times: Expl: 799.079 Prop: 16770.908 PropClause: 16317.446 Set: 3151.506 Check: 0.12 Back: 484.727 INFO - Atoms: 15637/47328 Clauses: 1080 Axioms: 155954 INFO - Restart INFO - Confl: 1469 Props: 19213321 Tprops: 0 Decides: 8157 RSplits: 0 INFO - Times: Expl: 1226.533 Prop: 17772.675 PropClause: 17287.371 Set: 3180.488 Check: 0.212 Back: 513.082 INFO - Atoms: 15655/47328 Clauses: 1580 Axioms: 155954 INFO - Confl: 1661 Props: 19663549 Tprops: 0 Decides: 9244 RSplits: 0 INFO - Times: Expl: 1387.405 Prop: 18137.587 PropClause: 17639.899 Set: 3191.627 Check: 0.242 Back: 523.839 INFO - Atoms: 16296/47328 Clauses: 1772 Axioms: 155954 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 471 Props: 43856 Tprops: 11342 Decides: 51669 RSplits: 0 INFO - Times: Expl: 254.139 Prop: 39945.523 PropClause: 17.651 Set: 7483.901 Check: 206.839 Back: 206.885 INFO - Atoms: 680/870 Clauses: 471 Axioms: 870 INFO - CCTimes: iE 485663 eq 23010975 cc 95763362 setRep 60387224 INFO - Merges: 375276, cc:655277 INFO - BVTimes: BB 136400784 BB_DPLL 36071968593 Graph 1376732 INFO - BitBlastingClauses: 428554 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat