/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/core/ext_con_036_128_1024.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 221605832
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 58988 Tprops: 0 Decides: 100 RSplits: 0
INFO - Times: Expl: 47.589 Prop: 137.251 PropClause: 133.792 Set: 142.537 Check: 0.008 Back: 0.229
INFO - Atoms: 51535/98816 Clauses: 14088 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 111176 Tprops: 0 Decides: 105 RSplits: 0
INFO - Times: Expl: 68.782 Prop: 182.197 PropClause: 177.023 Set: 149.603 Check: 0.008 Back: 1.67
INFO - Atoms: 51533/98816 Clauses: 14086 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 163423 Tprops: 0 Decides: 110 RSplits: 0
INFO - Times: Expl: 85.248 Prop: 219.664 PropClause: 213.119 Set: 155.442 Check: 0.008 Back: 3.03
INFO - Atoms: 51670/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 215364 Tprops: 0 Decides: 112 RSplits: 0
INFO - Times: Expl: 91.409 Prop: 254.473 PropClause: 246.59 Set: 161.413 Check: 0.008 Back: 4.342
INFO - Atoms: 51660/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 267566 Tprops: 0 Decides: 116 RSplits: 0
INFO - Times: Expl: 102.579 Prop: 289.455 PropClause: 280.246 Set: 167.353 Check: 0.008 Back: 5.63
INFO - Atoms: 51652/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 319483 Tprops: 0 Decides: 118 RSplits: 0
INFO - Times: Expl: 107.829 Prop: 325.148 PropClause: 314.603 Set: 173.132 Check: 0.009 Back: 6.987
INFO - Atoms: 51644/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 371382 Tprops: 0 Decides: 120 RSplits: 0
INFO - Times: Expl: 112.957 Prop: 362.708 PropClause: 350.83 Set: 179.164 Check: 0.009 Back: 8.188
INFO - Atoms: 51635/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 423282 Tprops: 0 Decides: 122 RSplits: 0
INFO - Times: Expl: 118.81 Prop: 398.917 PropClause: 385.716 Set: 185.057 Check: 0.009 Back: 9.379
INFO - Atoms: 51635/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 475217 Tprops: 0 Decides: 126 RSplits: 0
INFO - Times: Expl: 128.134 Prop: 435.358 PropClause: 420.83 Set: 190.909 Check: 0.009 Back: 10.554
INFO - Atoms: 51476/98816 Clauses: 14084 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 527102 Tprops: 0 Decides: 128 RSplits: 0
INFO - Times: Expl: 134.279 Prop: 472.877 PropClause: 457.013 Set: 197.075 Check: 0.01 Back: 11.75
INFO - Atoms: 51628/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 578970 Tprops: 0 Decides: 130 RSplits: 0
INFO - Times: Expl: 139.474 Prop: 508.566 PropClause: 491.373 Set: 227.804 Check: 0.01 Back: 12.945
INFO - Atoms: 51617/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 631076 Tprops: 0 Decides: 134 RSplits: 0
INFO - Times: Expl: 150.026 Prop: 544.972 PropClause: 526.439 Set: 233.84 Check: 0.01 Back: 14.146
INFO - Atoms: 51608/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 682914 Tprops: 0 Decides: 136 RSplits: 0
INFO - Times: Expl: 155.308 Prop: 580.581 PropClause: 560.716 Set: 239.789 Check: 0.01 Back: 15.328
INFO - Atoms: 51600/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 734736 Tprops: 0 Decides: 138 RSplits: 0
INFO - Times: Expl: 160.598 Prop: 617.828 PropClause: 596.629 Set: 245.824 Check: 0.011 Back: 16.521
INFO - Atoms: 51591/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 786583 Tprops: 0 Decides: 142 RSplits: 0
INFO - Times: Expl: 169.912 Prop: 653.779 PropClause: 631.254 Set: 251.719 Check: 0.011 Back: 17.721
INFO - Atoms: 51446/98816 Clauses: 14084 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 838510 Tprops: 0 Decides: 147 RSplits: 0
INFO - Times: Expl: 184.972 Prop: 692.084 PropClause: 668.2 Set: 514.684 Check: 0.011 Back: 18.92
INFO - Atoms: 51449/98816 Clauses: 14086 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 890531 Tprops: 0 Decides: 151 RSplits: 0
INFO - Times: Expl: 196.656 Prop: 728.67 PropClause: 703.477 Set: 520.792 Check: 0.012 Back: 20.107
INFO - Atoms: 51573/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 942308 Tprops: 0 Decides: 153 RSplits: 0
INFO - Times: Expl: 202.045 Prop: 765.084 PropClause: 738.585 Set: 526.698 Check: 0.012 Back: 21.329
INFO - Atoms: 51565/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 994069 Tprops: 0 Decides: 155 RSplits: 0
INFO - Times: Expl: 207.061 Prop: 800.994 PropClause: 773.198 Set: 553.163 Check: 0.013 Back: 22.518
INFO - Atoms: 51556/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 1045893 Tprops: 0 Decides: 159 RSplits: 0
INFO - Times: Expl: 218.233 Prop: 837.768 PropClause: 808.652 Set: 559.119 Check: 0.013 Back: 23.701
INFO - Atoms: 51430/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 1097709 Tprops: 0 Decides: 163 RSplits: 0
INFO - Times: Expl: 231.132 Prop: 878.102 PropClause: 847.621 Set: 565.255 Check: 0.013 Back: 24.904
INFO - Atoms: 51425/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 1149447 Tprops: 0 Decides: 165 RSplits: 0
INFO - Times: Expl: 235.756 Prop: 914.368 PropClause: 882.584 Set: 571.154 Check: 0.014 Back: 26.107
INFO - Atoms: 51541/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 1201259 Tprops: 0 Decides: 170 RSplits: 0
INFO - Times: Expl: 252.201 Prop: 951.358 PropClause: 918.269 Set: 577.086 Check: 0.014 Back: 27.288
INFO - Atoms: 51416/98816 Clauses: 14086 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 1252959 Tprops: 0 Decides: 172 RSplits: 0
INFO - Times: Expl: 257.735 Prop: 988.531 PropClause: 954.149 Set: 582.828 Check: 0.015 Back: 28.481
INFO - Atoms: 51526/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 1304738 Tprops: 0 Decides: 177 RSplits: 0
INFO - Times: Expl: 272.888 Prop: 1025.705 PropClause: 990.011 Set: 588.851 Check: 0.015 Back: 29.673
INFO - Atoms: 51407/98816 Clauses: 14086 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 1356423 Tprops: 0 Decides: 179 RSplits: 0
INFO - Times: Expl: 278.036 Prop: 1063.277 PropClause: 1026.286 Set: 594.899 Check: 0.016 Back: 30.86
INFO - Atoms: 51518/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 1408162 Tprops: 0 Decides: 183 RSplits: 0
INFO - Times: Expl: 294.513 Prop: 1102.572 PropClause: 1064.268 Set: 620.059 Check: 0.016 Back: 32.045
INFO - Atoms: 51403/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 1459818 Tprops: 0 Decides: 185 RSplits: 0
INFO - Times: Expl: 299.532 Prop: 1137.454 PropClause: 1097.859 Set: 625.913 Check: 0.016 Back: 33.238
INFO - Atoms: 51501/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 1511525 Tprops: 0 Decides: 189 RSplits: 0
INFO - Times: Expl: 308.252 Prop: 1175.763 PropClause: 1134.869 Set: 632.009 Check: 0.016 Back: 34.415
INFO - Atoms: 51394/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 1563156 Tprops: 0 Decides: 191 RSplits: 0
INFO - Times: Expl: 312.002 Prop: 1209.748 PropClause: 1167.541 Set: 637.952 Check: 0.017 Back: 35.608
INFO - Atoms: 51486/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 1614880 Tprops: 0 Decides: 196 RSplits: 0
INFO - Times: Expl: 324.284 Prop: 1246.171 PropClause: 1202.658 Set: 643.963 Check: 0.017 Back: 36.808
INFO - Atoms: 51385/98816 Clauses: 14086 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 1666517 Tprops: 0 Decides: 200 RSplits: 0
INFO - Times: Expl: 329.707 Prop: 1281.247 PropClause: 1236.437 Set: 649.981 Check: 0.017 Back: 38.009
INFO - Atoms: 51377/98816 Clauses: 14084 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 1718131 Tprops: 0 Decides: 202 RSplits: 0
INFO - Times: Expl: 334.153 Prop: 1317.747 PropClause: 1271.627 Set: 656.078 Check: 0.017 Back: 39.203
INFO - Atoms: 51461/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 1769839 Tprops: 0 Decides: 206 RSplits: 0
INFO - Times: Expl: 343.166 Prop: 1353.711 PropClause: 1306.272 Set: 662.118 Check: 0.017 Back: 40.398
INFO - Atoms: 51452/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 1821407 Tprops: 0 Decides: 208 RSplits: 0
INFO - Times: Expl: 348.202 Prop: 1392.377 PropClause: 1343.641 Set: 668.3 Check: 0.018 Back: 41.601
INFO - Atoms: 51444/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 1872959 Tprops: 0 Decides: 210 RSplits: 0
INFO - Times: Expl: 352.474 Prop: 1429.859 PropClause: 1379.826 Set: 923.335 Check: 0.018 Back: 42.799
INFO - Atoms: 51435/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 1924603 Tprops: 0 Decides: 214 RSplits: 0
INFO - Times: Expl: 358.212 Prop: 1468.198 PropClause: 1416.86 Set: 929.488 Check: 0.018 Back: 43.974
INFO - Atoms: 51426/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 1976123 Tprops: 0 Decides: 216 RSplits: 0
INFO - Times: Expl: 362.771 Prop: 1503.592 PropClause: 1450.963 Set: 935.47 Check: 0.018 Back: 45.18
INFO - Atoms: 51417/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 2027630 Tprops: 0 Decides: 218 RSplits: 0
INFO - Times: Expl: 366.788 Prop: 1540.086 PropClause: 1486.156 Set: 941.349 Check: 0.019 Back: 46.365
INFO - Atoms: 51409/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 2079210 Tprops: 0 Decides: 222 RSplits: 0
INFO - Times: Expl: 373.007 Prop: 1575.701 PropClause: 1520.479 Set: 947.393 Check: 0.019 Back: 47.557
INFO - Atoms: 51400/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 2130685 Tprops: 0 Decides: 224 RSplits: 0
INFO - Times: Expl: 378.437 Prop: 1614.129 PropClause: 1557.613 Set: 953.497 Check: 0.019 Back: 48.738
INFO - Atoms: 51391/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 2182144 Tprops: 0 Decides: 226 RSplits: 0
INFO - Times: Expl: 383.52 Prop: 1650.398 PropClause: 1592.582 Set: 959.35 Check: 0.02 Back: 49.948
INFO - Atoms: 51382/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 2233701 Tprops: 0 Decides: 230 RSplits: 0
INFO - Times: Expl: 389.821 Prop: 1686.006 PropClause: 1626.898 Set: 965.356 Check: 0.02 Back: 51.177
INFO - Atoms: 51391/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 2285204 Tprops: 0 Decides: 232 RSplits: 0
INFO - Times: Expl: 393.869 Prop: 1722.091 PropClause: 1661.688 Set: 971.388 Check: 0.021 Back: 52.375
INFO - Atoms: 51399/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 2336684 Tprops: 0 Decides: 234 RSplits: 0
INFO - Times: Expl: 398.973 Prop: 1761.717 PropClause: 1700.015 Set: 977.574 Check: 0.021 Back: 53.586
INFO - Atoms: 51390/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 2388259 Tprops: 0 Decides: 238 RSplits: 0
INFO - Times: Expl: 406.407 Prop: 1798.639 PropClause: 1735.633 Set: 983.415 Check: 0.021 Back: 54.78
INFO - Atoms: 51399/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 2439763 Tprops: 0 Decides: 240 RSplits: 0
INFO - Times: Expl: 410.9 Prop: 1837.771 PropClause: 1773.47 Set: 989.405 Check: 0.021 Back: 55.977
INFO - Atoms: 51408/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 2491330 Tprops: 0 Decides: 244 RSplits: 0
INFO - Times: Expl: 417.342 Prop: 1872.414 PropClause: 1806.811 Set: 995.375 Check: 0.022 Back: 57.171
INFO - Atoms: 51360/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 2542837 Tprops: 0 Decides: 246 RSplits: 0
INFO - Times: Expl: 422.069 Prop: 1912.409 PropClause: 1845.501 Set: 1001.626 Check: 0.022 Back: 58.365
INFO - Atoms: 51408/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 2594357 Tprops: 0 Decides: 248 RSplits: 0
INFO - Times: Expl: 426.219 Prop: 1948.1 PropClause: 1879.905 Set: 1007.613 Check: 0.022 Back: 59.558
INFO - Atoms: 51417/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 2646001 Tprops: 0 Decides: 252 RSplits: 0
INFO - Times: Expl: 432.516 Prop: 1984.773 PropClause: 1915.276 Set: 1013.488 Check: 0.022 Back: 60.771
INFO - Atoms: 51426/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 2697531 Tprops: 0 Decides: 254 RSplits: 0
INFO - Times: Expl: 436.388 Prop: 2020.487 PropClause: 1949.693 Set: 1019.512 Check: 0.022 Back: 61.962
INFO - Atoms: 51418/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 2749096 Tprops: 0 Decides: 258 RSplits: 0
INFO - Times: Expl: 442.226 Prop: 2057.049 PropClause: 1984.963 Set: 1025.554 Check: 0.022 Back: 63.158
INFO - Atoms: 51357/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 2800610 Tprops: 0 Decides: 260 RSplits: 0
INFO - Times: Expl: 447.016 Prop: 2094.849 PropClause: 2021.465 Set: 1031.448 Check: 0.023 Back: 64.348
INFO - Atoms: 51402/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 2852123 Tprops: 0 Decides: 262 RSplits: 0
INFO - Times: Expl: 451.138 Prop: 2131.092 PropClause: 2056.419 Set: 1037.529 Check: 0.023 Back: 65.529
INFO - Atoms: 51411/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 2903759 Tprops: 0 Decides: 266 RSplits: 0
INFO - Times: Expl: 457.927 Prop: 2167.277 PropClause: 2091.302 Set: 1043.587 Check: 0.023 Back: 66.725
INFO - Atoms: 51420/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 2955307 Tprops: 0 Decides: 268 RSplits: 0
INFO - Times: Expl: 461.861 Prop: 2204.812 PropClause: 2127.545 Set: 1049.707 Check: 0.023 Back: 67.961
INFO - Atoms: 51429/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 3006868 Tprops: 0 Decides: 270 RSplits: 0
INFO - Times: Expl: 465.876 Prop: 2241.889 PropClause: 2163.319 Set: 1055.728 Check: 0.023 Back: 69.159
INFO - Atoms: 51438/98816 Clauses: 14083 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 3058573 Tprops: 0 Decides: 274 RSplits: 0
INFO - Times: Expl: 472.229 Prop: 2282.422 PropClause: 2202.54 Set: 1061.992 Check: 0.024 Back: 70.353
INFO - Atoms: 51446/98816 Clauses: 14085 Axioms: 247040
INFO - Formula is unsat
INFO - Bitblasting DPLL finished