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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 128843864
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 38011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.592 Prop: 51.999 PropClause: 50.124 Set: 28.068 Check: 0.0 Back: 0.0
INFO - Atoms: 38011/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 75770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.634 Prop: 97.886 PropClause: 94.674 Set: 34.704 Check: 0.0 Back: 0.89
INFO - Atoms: 37759/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 113533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.685 Prop: 140.73 PropClause: 135.948 Set: 41.362 Check: 0.0 Back: 1.754
INFO - Atoms: 37763/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 151291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.737 Prop: 183.846 PropClause: 177.811 Set: 48.287 Check: 0.0 Back: 2.623
INFO - Atoms: 37758/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 188922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.809 Prop: 219.834 PropClause: 212.607 Set: 55.082 Check: 0.0 Back: 3.498
INFO - Atoms: 37631/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 226421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.85 Prop: 256.883 PropClause: 248.704 Set: 65.929 Check: 0.0 Back: 4.353
INFO - Atoms: 37499/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 263790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.922 Prop: 286.436 PropClause: 277.319 Set: 72.634 Check: 0.0 Back: 5.203
INFO - Atoms: 37369/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 301026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.984 Prop: 319.162 PropClause: 309.122 Set: 79.282 Check: 0.0 Back: 6.05
INFO - Atoms: 37236/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 338789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.027 Prop: 353.636 PropClause: 342.662 Set: 86.224 Check: 0.0 Back: 6.895
INFO - Atoms: 37763/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 376547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.071 Prop: 387.045 PropClause: 375.138 Set: 92.947 Check: 0.0 Back: 7.755
INFO - Atoms: 37758/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 414178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.119 Prop: 418.824 PropClause: 405.977 Set: 99.618 Check: 0.0 Back: 8.607
INFO - Atoms: 37631/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 451677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.205 Prop: 453.451 PropClause: 439.672 Set: 106.583 Check: 0.0 Back: 9.462
INFO - Atoms: 37499/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 489046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.243 Prop: 488.456 PropClause: 473.755 Set: 113.235 Check: 0.0 Back: 10.315
INFO - Atoms: 37369/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 526282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.314 Prop: 519.726 PropClause: 504.108 Set: 119.872 Check: 0.0 Back: 11.171
INFO - Atoms: 37236/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 563517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.357 Prop: 555.269 PropClause: 538.728 Set: 130.741 Check: 0.0 Back: 12.024
INFO - Atoms: 37235/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 600622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.404 Prop: 592.675 PropClause: 575.21 Set: 141.543 Check: 0.0 Back: 12.874
INFO - Atoms: 37105/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 637597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.451 Prop: 623.175 PropClause: 604.786 Set: 148.359 Check: 0.0 Back: 13.72
INFO - Atoms: 36975/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 674440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.495 Prop: 655.284 PropClause: 635.979 Set: 154.97 Check: 0.0 Back: 14.576
INFO - Atoms: 36843/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 711153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.54 Prop: 687.632 PropClause: 667.406 Set: 161.601 Check: 0.0 Back: 15.422
INFO - Atoms: 36713/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 747734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.583 Prop: 723.927 PropClause: 702.794 Set: 168.246 Check: 0.0 Back: 16.273
INFO - Atoms: 36581/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 784185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.629 Prop: 755.125 PropClause: 733.085 Set: 174.841 Check: 0.0 Back: 17.109
INFO - Atoms: 36451/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 820504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.676 Prop: 784.705 PropClause: 761.766 Set: 181.237 Check: 0.0 Back: 17.947
INFO - Atoms: 36319/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 856693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.726 Prop: 815.685 PropClause: 791.845 Set: 187.864 Check: 0.0 Back: 18.778
INFO - Atoms: 36189/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 892750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.774 Prop: 845.947 PropClause: 821.215 Set: 194.279 Check: 0.0 Back: 19.613
INFO - Atoms: 36057/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 928677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.822 Prop: 874.593 PropClause: 848.972 Set: 200.767 Check: 0.0 Back: 20.435
INFO - Atoms: 35927/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 964472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.873 Prop: 906.346 PropClause: 879.843 Set: 207.248 Check: 0.0 Back: 21.254
INFO - Atoms: 35795/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1000137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.918 Prop: 933.739 PropClause: 906.349 Set: 213.586 Check: 0.0 Back: 22.077
INFO - Atoms: 35665/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1035670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.965 Prop: 963.167 PropClause: 934.886 Set: 219.949 Check: 0.0 Back: 22.889
INFO - Atoms: 35533/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1071073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.012 Prop: 992.451 PropClause: 963.296 Set: 229.467 Check: 0.0 Back: 23.698
INFO - Atoms: 35403/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1106344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.061 Prop: 1022.946 PropClause: 992.919 Set: 238.831 Check: 0.0 Back: 24.51
INFO - Atoms: 35271/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1141485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.111 Prop: 1054.199 PropClause: 1023.291 Set: 248.342 Check: 0.0 Back: 25.309
INFO - Atoms: 35141/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1176494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.161 Prop: 1090.601 PropClause: 1058.823 Set: 257.886 Check: 0.0 Back: 26.11
INFO - Atoms: 35009/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1211373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.208 Prop: 1121.068 PropClause: 1088.427 Set: 267.33 Check: 0.0 Back: 26.915
INFO - Atoms: 34879/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1246120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.258 Prop: 1151.144 PropClause: 1117.561 Set: 276.588 Check: 0.0 Back: 27.716
INFO - Atoms: 34747/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1280737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.306 Prop: 1178.579 PropClause: 1144.123 Set: 282.686 Check: 0.0 Back: 28.506
INFO - Atoms: 34617/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1315222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.356 Prop: 1205.506 PropClause: 1170.143 Set: 288.69 Check: 0.0 Back: 29.285
INFO - Atoms: 34485/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1349577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.399 Prop: 1230.93 PropClause: 1194.722 Set: 294.679 Check: 0.0 Back: 30.064
INFO - Atoms: 34355/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1383800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.446 Prop: 1258.938 PropClause: 1221.888 Set: 300.727 Check: 0.0 Back: 30.844
INFO - Atoms: 34223/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1417893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.493 Prop: 1287.408 PropClause: 1249.504 Set: 306.77 Check: 0.0 Back: 31.635
INFO - Atoms: 34093/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1451854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.533 Prop: 1312.943 PropClause: 1274.197 Set: 312.657 Check: 0.0 Back: 32.412
INFO - Atoms: 33961/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1485685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.586 Prop: 1336.847 PropClause: 1297.273 Set: 318.465 Check: 0.0 Back: 33.177
INFO - Atoms: 33831/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1519384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.633 Prop: 1360.773 PropClause: 1320.372 Set: 324.275 Check: 0.0 Back: 33.944
INFO - Atoms: 33699/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1552953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.676 Prop: 1383.44 PropClause: 1342.208 Set: 329.972 Check: 0.0 Back: 34.697
INFO - Atoms: 33569/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1586390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.718 Prop: 1407.702 PropClause: 1365.649 Set: 335.703 Check: 0.0 Back: 35.458
INFO - Atoms: 33437/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1619697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.758 Prop: 1430.402 PropClause: 1387.535 Set: 341.398 Check: 0.0 Back: 36.213
INFO - Atoms: 33307/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1652872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.822 Prop: 1453.723 PropClause: 1410.038 Set: 347.069 Check: 0.0 Back: 36.956
INFO - Atoms: 33175/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1685917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.865 Prop: 1478.131 PropClause: 1433.63 Set: 352.797 Check: 0.0 Back: 37.704
INFO - Atoms: 33045/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1718830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.908 Prop: 1502.428 PropClause: 1457.112 Set: 358.531 Check: 0.0 Back: 38.453
INFO - Atoms: 32913/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1751613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.951 Prop: 1524.76 PropClause: 1478.631 Set: 364.202 Check: 0.0 Back: 39.199
INFO - Atoms: 32783/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1784264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.994 Prop: 1547.398 PropClause: 1500.46 Set: 369.83 Check: 0.0 Back: 39.944
INFO - Atoms: 32651/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1816785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.039 Prop: 1570.023 PropClause: 1522.284 Set: 375.393 Check: 0.0 Back: 40.683
INFO - Atoms: 32521/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1849174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.182 Prop: 1592.65 PropClause: 1544.099 Set: 380.902 Check: 0.0 Back: 41.431
INFO - Atoms: 32389/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1881433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 1614.43 PropClause: 1565.083 Set: 386.415 Check: 0.0 Back: 42.164
INFO - Atoms: 32259/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1913560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.223 Prop: 1637.057 PropClause: 1586.922 Set: 391.89 Check: 0.0 Back: 42.887
INFO - Atoms: 32127/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1945557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.241 Prop: 1658.285 PropClause: 1607.365 Set: 397.345 Check: 0.0 Back: 43.61
INFO - Atoms: 31997/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1977422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.26 Prop: 1680.103 PropClause: 1628.4 Set: 402.782 Check: 0.0 Back: 44.343
INFO - Atoms: 31865/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2009157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.28 Prop: 1700.596 PropClause: 1648.103 Set: 408.217 Check: 0.0 Back: 45.06
INFO - Atoms: 31735/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2040760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.298 Prop: 1723.621 PropClause: 1670.347 Set: 413.617 Check: 0.0 Back: 45.78
INFO - Atoms: 31603/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 2072233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.319 Prop: 1747.526 PropClause: 1693.472 Set: 419.048 Check: 0.0 Back: 46.499
INFO - Atoms: 31473/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 2103574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.338 Prop: 1769.493 PropClause: 1714.667 Set: 424.397 Check: 0.0 Back: 47.216
INFO - Atoms: 31341/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 2134785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.358 Prop: 1789.844 PropClause: 1734.246 Set: 429.68 Check: 0.0 Back: 47.939
INFO - Atoms: 31211/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 2165864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.376 Prop: 1812.389 PropClause: 1756.029 Set: 437.527 Check: 0.0 Back: 48.643
INFO - Atoms: 31079/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 2196813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.394 Prop: 1833.818 PropClause: 1776.699 Set: 445.342 Check: 0.0 Back: 49.336
INFO - Atoms: 30949/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 2227630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.413 Prop: 1856.805 PropClause: 1798.932 Set: 453.111 Check: 0.0 Back: 50.031
INFO - Atoms: 30817/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 2258317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.434 Prop: 1882.706 PropClause: 1824.064 Set: 461.056 Check: 0.0 Back: 50.736
INFO - Atoms: 30687/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 2288872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.453 Prop: 1902.681 PropClause: 1843.28 Set: 466.21 Check: 0.0 Back: 51.443
INFO - Atoms: 30555/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 2319297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.474 Prop: 1921.92 PropClause: 1861.76 Set: 471.332 Check: 0.0 Back: 52.133
INFO - Atoms: 30425/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 2349590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.494 Prop: 1943.439 PropClause: 1882.53 Set: 476.442 Check: 0.0 Back: 52.828
INFO - Atoms: 30293/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 2379753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.512 Prop: 1962.673 PropClause: 1901.016 Set: 481.59 Check: 0.0 Back: 53.513
INFO - Atoms: 30163/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 2409784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.532 Prop: 1981.44 PropClause: 1919.041 Set: 486.671 Check: 0.0 Back: 54.198
INFO - Atoms: 30031/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 2439685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.553 Prop: 2000.281 PropClause: 1937.142 Set: 491.716 Check: 0.0 Back: 54.878
INFO - Atoms: 29901/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 2469454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.572 Prop: 2020.663 PropClause: 1956.786 Set: 496.839 Check: 0.0 Back: 55.556
INFO - Atoms: 29769/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 2499093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.596 Prop: 2039.674 PropClause: 1975.057 Set: 501.878 Check: 0.0 Back: 56.233
INFO - Atoms: 29639/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 2528600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.617 Prop: 2059.659 PropClause: 1994.32 Set: 506.903 Check: 0.0 Back: 56.9
INFO - Atoms: 29507/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 2557977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 2077.265 PropClause: 2011.202 Set: 511.8 Check: 0.0 Back: 57.569
INFO - Atoms: 29377/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 2587222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.652 Prop: 2096.198 PropClause: 2029.415 Set: 516.734 Check: 0.0 Back: 58.223
INFO - Atoms: 29245/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 2616337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 2113.985 PropClause: 2046.486 Set: 521.602 Check: 0.0 Back: 58.876
INFO - Atoms: 29115/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 2645320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.69 Prop: 2132.901 PropClause: 2064.691 Set: 526.491 Check: 0.0 Back: 59.529
INFO - Atoms: 28983/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 2674173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.709 Prop: 2154.822 PropClause: 2085.9 Set: 531.441 Check: 0.0 Back: 60.177
INFO - Atoms: 28853/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 2702894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.726 Prop: 2178.187 PropClause: 2108.553 Set: 536.346 Check: 0.0 Back: 60.831
INFO - Atoms: 28721/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 2731485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.801 Prop: 2195.038 PropClause: 2124.703 Set: 541.115 Check: 0.0 Back: 61.479
INFO - Atoms: 28591/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 2759944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.816 Prop: 2214.144 PropClause: 2143.109 Set: 545.946 Check: 0.0 Back: 62.119
INFO - Atoms: 28459/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 2788273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.831 Prop: 2230.097 PropClause: 2158.36 Set: 550.63 Check: 0.0 Back: 62.759
INFO - Atoms: 28329/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 2816470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.845 Prop: 2248.834 PropClause: 2176.4 Set: 555.382 Check: 0.0 Back: 63.398
INFO - Atoms: 28197/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 2844537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.858 Prop: 2265.521 PropClause: 2192.394 Set: 560.036 Check: 0.0 Back: 64.041
INFO - Atoms: 28067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 2872472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.874 Prop: 2283.29 PropClause: 2209.475 Set: 564.752 Check: 0.0 Back: 64.684
INFO - Atoms: 27935/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 2900277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.887 Prop: 2299.678 PropClause: 2225.175 Set: 569.426 Check: 0.0 Back: 65.317
INFO - Atoms: 27805/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 2927950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.904 Prop: 2316.847 PropClause: 2241.663 Set: 574.038 Check: 0.0 Back: 65.944
INFO - Atoms: 27673/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 2955493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.918 Prop: 2332.889 PropClause: 2257.022 Set: 578.603 Check: 0.0 Back: 66.574
INFO - Atoms: 27543/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 2982904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.93 Prop: 2349.488 PropClause: 2272.941 Set: 583.15 Check: 0.0 Back: 67.2
INFO - Atoms: 27411/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 3010185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.944 Prop: 2365.489 PropClause: 2288.27 Set: 587.739 Check: 0.0 Back: 67.813
INFO - Atoms: 27281/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 3037334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.957 Prop: 2381.836 PropClause: 2303.948 Set: 592.284 Check: 0.0 Back: 68.423
INFO - Atoms: 27149/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 3064353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.97 Prop: 2397.149 PropClause: 2318.593 Set: 596.795 Check: 0.0 Back: 69.03
INFO - Atoms: 27019/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 3091240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.016 Prop: 2413.508 PropClause: 2334.285 Set: 601.26 Check: 0.0 Back: 69.645
INFO - Atoms: 26887/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 3117997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.07 Prop: 2428.504 PropClause: 2348.622 Set: 605.668 Check: 0.0 Back: 70.246
INFO - Atoms: 26757/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 3144622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.081 Prop: 2444.609 PropClause: 2364.071 Set: 610.074 Check: 0.0 Back: 70.849
INFO - Atoms: 26625/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 3171117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.093 Prop: 2460.313 PropClause: 2379.12 Set: 614.519 Check: 0.0 Back: 71.445
INFO - Atoms: 26495/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 3197480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.102 Prop: 2475.894 PropClause: 2394.051 Set: 618.897 Check: 0.0 Back: 72.04
INFO - Atoms: 26363/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 3223713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.111 Prop: 2491.011 PropClause: 2408.519 Set: 623.256 Check: 0.0 Back: 72.635
INFO - Atoms: 26233/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 3249814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.123 Prop: 2506.749 PropClause: 2423.612 Set: 627.619 Check: 0.0 Back: 73.225
INFO - Atoms: 26101/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 3275785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.134 Prop: 2521.626 PropClause: 2437.849 Set: 631.898 Check: 0.0 Back: 73.814
INFO - Atoms: 25971/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 3301624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.144 Prop: 2536.631 PropClause: 2452.218 Set: 636.195 Check: 0.0 Back: 74.398
INFO - Atoms: 25839/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 3327333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.154 Prop: 2551.028 PropClause: 2465.979 Set: 640.461 Check: 0.0 Back: 74.979
INFO - Atoms: 25709/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 3352910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.165 Prop: 2565.848 PropClause: 2480.167 Set: 644.738 Check: 0.0 Back: 75.564
INFO - Atoms: 25577/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 3378855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.177 Prop: 2581.567 PropClause: 2495.237 Set: 649.1 Check: 0.0 Back: 76.143
INFO - Atoms: 25945/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 3404803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 2598.672 PropClause: 2511.696 Set: 653.483 Check: 0.0 Back: 76.729
INFO - Atoms: 25948/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 3430375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.2 Prop: 2613.023 PropClause: 2525.415 Set: 657.734 Check: 0.0 Back: 77.318
INFO - Atoms: 25572/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 3456321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 2631.224 PropClause: 2542.978 Set: 662.114 Check: 0.0 Back: 77.901
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 3482266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.384 Prop: 2645.482 PropClause: 2556.588 Set: 666.468 Check: 0.0 Back: 78.497
INFO - Atoms: 25945/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 3507837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.4 Prop: 2660.104 PropClause: 2570.582 Set: 670.712 Check: 0.0 Back: 79.088
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 3533902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.416 Prop: 2674.785 PropClause: 2584.608 Set: 675.121 Check: 0.0 Back: 79.666
INFO - Atoms: 26065/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 3559847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.43 Prop: 2690.426 PropClause: 2599.607 Set: 679.514 Check: 0.0 Back: 80.258
INFO - Atoms: 25945/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 3585916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.445 Prop: 2704.94 PropClause: 2613.476 Set: 683.931 Check: 0.0 Back: 80.845
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 3611862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.46 Prop: 2720.127 PropClause: 2628.022 Set: 688.328 Check: 0.0 Back: 81.435
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 3637929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.479 Prop: 2734.124 PropClause: 2641.376 Set: 692.736 Check: 0.0 Back: 82.023
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 3663500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.491 Prop: 2749.229 PropClause: 2655.848 Set: 696.989 Check: 0.0 Back: 82.61
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 3689566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.505 Prop: 2763.599 PropClause: 2669.574 Set: 701.381 Check: 0.0 Back: 83.186
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 3715633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.519 Prop: 2779.069 PropClause: 2684.397 Set: 705.741 Check: 0.0 Back: 83.772
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 3741702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.533 Prop: 2793.151 PropClause: 2697.837 Set: 710.084 Check: 0.0 Back: 84.359
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 3767648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.547 Prop: 2809.321 PropClause: 2713.368 Set: 714.438 Check: 0.0 Back: 84.945
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 3793715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.56 Prop: 2823.498 PropClause: 2726.905 Set: 718.798 Check: 0.0 Back: 85.528
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 3819783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.573 Prop: 2838.489 PropClause: 2741.256 Set: 723.132 Check: 0.0 Back: 86.113
INFO - Atoms: 26068/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 3845849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.588 Prop: 2852.793 PropClause: 2754.921 Set: 727.464 Check: 0.0 Back: 86.702
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 3871796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.603 Prop: 2868.025 PropClause: 2769.516 Set: 731.774 Check: 0.0 Back: 87.287
INFO - Atoms: 25947/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 3897865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.618 Prop: 2882.134 PropClause: 2782.985 Set: 736.121 Check: 0.0 Back: 87.875
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 3923811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 2897.864 PropClause: 2798.072 Set: 740.465 Check: 0.0 Back: 88.459
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 3949878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.667 Prop: 2911.702 PropClause: 2811.265 Set: 744.811 Check: 0.0 Back: 89.044
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 3975449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.685 Prop: 2926.697 PropClause: 2825.629 Set: 749.064 Check: 0.0 Back: 89.632
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 4001515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.725 Prop: 2940.961 PropClause: 2839.254 Set: 753.419 Check: 0.0 Back: 90.208
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 4027582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 2955.917 PropClause: 2853.568 Set: 757.829 Check: 0.0 Back: 90.79
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 4053651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.745 Prop: 2970.336 PropClause: 2867.345 Set: 762.263 Check: 0.0 Back: 91.374
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 4079597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.757 Prop: 2985.555 PropClause: 2881.926 Set: 766.638 Check: 0.0 Back: 91.967
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 4105664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.768 Prop: 3000.139 PropClause: 2895.862 Set: 771.022 Check: 0.0 Back: 92.55
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 4131235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.777 Prop: 3015.37 PropClause: 2910.464 Set: 775.292 Check: 0.0 Back: 93.135
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 4157301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.787 Prop: 3029.964 PropClause: 2924.416 Set: 779.714 Check: 0.0 Back: 93.711
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 4183368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.798 Prop: 3045.166 PropClause: 2938.967 Set: 784.093 Check: 0.0 Back: 94.297
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 4209437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.81 Prop: 3060.114 PropClause: 2953.269 Set: 788.493 Check: 0.0 Back: 94.888
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 4235383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.82 Prop: 3075.514 PropClause: 2968.026 Set: 792.857 Check: 0.0 Back: 95.491
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 4261450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 3089.937 PropClause: 2981.804 Set: 797.285 Check: 0.0 Back: 96.086
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 4287021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.877 Prop: 3104.108 PropClause: 2995.339 Set: 801.575 Check: 0.0 Back: 96.678
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 4313087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.921 Prop: 3118.456 PropClause: 3009.048 Set: 805.971 Check: 0.0 Back: 97.26
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 4339154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.935 Prop: 3134.302 PropClause: 3024.248 Set: 810.455 Check: 0.0 Back: 97.855
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 4365223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.945 Prop: 3149.251 PropClause: 3038.55 Set: 814.885 Check: 0.0 Back: 98.446
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 4391169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.956 Prop: 3164.691 PropClause: 3053.346 Set: 819.227 Check: 0.0 Back: 99.036
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 4417236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.968 Prop: 3180.856 PropClause: 3068.86 Set: 823.654 Check: 0.0 Back: 99.62
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 4442807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.98 Prop: 3197.254 PropClause: 3084.625 Set: 827.961 Check: 0.0 Back: 100.212
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 4468873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.991 Prop: 3212.94 PropClause: 3099.667 Set: 832.433 Check: 0.0 Back: 100.793
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 4494940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.003 Prop: 3229.198 PropClause: 3115.284 Set: 836.932 Check: 0.0 Back: 101.387
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 4521009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.014 Prop: 3244.819 PropClause: 3130.262 Set: 841.331 Check: 0.0 Back: 101.975
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 4546955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.025 Prop: 3260.716 PropClause: 3145.515 Set: 845.72 Check: 0.0 Back: 102.562
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 4573022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.036 Prop: 3277.599 PropClause: 3161.749 Set: 850.174 Check: 0.0 Back: 103.158
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 4598593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.046 Prop: 3293.654 PropClause: 3177.169 Set: 854.531 Check: 0.0 Back: 103.746
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 4624659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.057 Prop: 3309.026 PropClause: 3191.892 Set: 858.952 Check: 0.0 Back: 104.327
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 4650726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.065 Prop: 3323.526 PropClause: 3205.741 Set: 863.357 Check: 0.0 Back: 104.92
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 4676795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.075 Prop: 3338.115 PropClause: 3219.687 Set: 867.73 Check: 0.0 Back: 105.507
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 4702741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.086 Prop: 3353.481 PropClause: 3234.413 Set: 872.065 Check: 0.0 Back: 106.096
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 4728808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.095 Prop: 3368.067 PropClause: 3248.353 Set: 876.432 Check: 0.0 Back: 106.678
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 4754379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.104 Prop: 3382.912 PropClause: 3262.567 Set: 880.712 Check: 0.0 Back: 107.264
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 4780445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 3396.989 PropClause: 3276.0 Set: 885.096 Check: 0.0 Back: 107.839
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 4806512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.125 Prop: 3412.267 PropClause: 3290.635 Set: 889.478 Check: 0.0 Back: 108.426
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 4832581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.134 Prop: 3427.137 PropClause: 3304.862 Set: 893.865 Check: 0.0 Back: 109.02
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 4858527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.144 Prop: 3442.292 PropClause: 3319.378 Set: 898.217 Check: 0.0 Back: 109.607
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 4884594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.153 Prop: 3457.469 PropClause: 3333.915 Set: 902.579 Check: 0.0 Back: 110.192
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 4910165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.161 Prop: 3473.808 PropClause: 3349.625 Set: 906.855 Check: 0.0 Back: 110.777
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 4936231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 3489.097 PropClause: 3364.266 Set: 911.269 Check: 0.0 Back: 111.359
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 4962298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 3504.276 PropClause: 3378.805 Set: 915.695 Check: 0.0 Back: 111.944
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 4988367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.193 Prop: 3518.619 PropClause: 3392.504 Set: 920.044 Check: 0.0 Back: 112.528
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 5014313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.201 Prop: 3533.035 PropClause: 3406.281 Set: 924.376 Check: 0.0 Back: 113.114
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 5040380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 3547.435 PropClause: 3420.041 Set: 928.762 Check: 0.0 Back: 113.7
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 5065951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.22 Prop: 3562.077 PropClause: 3434.055 Set: 932.995 Check: 0.0 Back: 114.285
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 5092017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.23 Prop: 3576.152 PropClause: 3447.487 Set: 937.386 Check: 0.0 Back: 114.86
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 5118084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.239 Prop: 3590.183 PropClause: 3460.869 Set: 941.742 Check: 0.0 Back: 115.454
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 5144153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.249 Prop: 3605.952 PropClause: 3475.997 Set: 946.122 Check: 0.0 Back: 116.04
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 5170099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 3623.894 PropClause: 3493.298 Set: 950.529 Check: 0.0 Back: 116.624
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 5196166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 3638.691 PropClause: 3507.445 Set: 954.977 Check: 0.0 Back: 117.215
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 5221737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 3652.978 PropClause: 3521.104 Set: 959.233 Check: 0.0 Back: 117.799
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 5247803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.291 Prop: 3668.614 PropClause: 3536.101 Set: 963.662 Check: 0.0 Back: 118.375
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 5273870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.301 Prop: 3683.872 PropClause: 3550.718 Set: 968.058 Check: 0.0 Back: 118.963
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 5299939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.312 Prop: 3698.389 PropClause: 3564.591 Set: 972.424 Check: 0.0 Back: 119.544
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 5325885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.321 Prop: 3713.608 PropClause: 3579.171 Set: 976.814 Check: 0.0 Back: 120.132
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 5351952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 3728.738 PropClause: 3593.662 Set: 981.187 Check: 0.0 Back: 120.717
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 5377523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.341 Prop: 3743.341 PropClause: 3607.636 Set: 985.439 Check: 0.0 Back: 121.308
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 5403589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.352 Prop: 3757.628 PropClause: 3621.281 Set: 989.87 Check: 0.0 Back: 121.881
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 5429656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.363 Prop: 3777.569 PropClause: 3640.574 Set: 994.393 Check: 0.0 Back: 122.489
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 5455725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.375 Prop: 3794.703 PropClause: 3657.062 Set: 998.828 Check: 0.0 Back: 123.083
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 5481671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.387 Prop: 3814.555 PropClause: 3676.271 Set: 1003.366 Check: 0.0 Back: 123.677
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 5507738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.44 Prop: 3832.133 PropClause: 3693.202 Set: 1007.828 Check: 0.0 Back: 124.267
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 5533309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.472 Prop: 3846.876 PropClause: 3707.313 Set: 1012.098 Check: 0.0 Back: 124.863
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 5559375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.477 Prop: 3863.133 PropClause: 3722.926 Set: 1016.568 Check: 0.0 Back: 125.438
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 5585442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 3882.109 PropClause: 3741.249 Set: 1021.138 Check: 0.0 Back: 126.027
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 5611511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.486 Prop: 3896.847 PropClause: 3755.342 Set: 1025.522 Check: 0.0 Back: 126.633
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 5637457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.491 Prop: 3912.846 PropClause: 3770.695 Set: 1029.966 Check: 0.0 Back: 127.223
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 5663524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.496 Prop: 3928.844 PropClause: 3786.034 Set: 1034.464 Check: 0.0 Back: 127.814
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 5689095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.5 Prop: 3945.065 PropClause: 3801.617 Set: 1038.81 Check: 0.0 Back: 128.414
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 5715161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 3959.496 PropClause: 3815.405 Set: 1043.275 Check: 0.0 Back: 129.01
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 5741228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.509 Prop: 3973.896 PropClause: 3829.161 Set: 1047.654 Check: 0.0 Back: 129.6
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 5767297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.513 Prop: 3988.112 PropClause: 3842.727 Set: 1052.06 Check: 0.0 Back: 130.187
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 5793243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.517 Prop: 4003.898 PropClause: 3857.875 Set: 1056.464 Check: 0.0 Back: 130.781
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 5819310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 4018.623 PropClause: 3871.957 Set: 1060.879 Check: 0.0 Back: 131.366
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 5844881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.526 Prop: 4033.507 PropClause: 3886.206 Set: 1065.12 Check: 0.0 Back: 131.957
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 5870947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.531 Prop: 4048.205 PropClause: 3900.259 Set: 1069.552 Check: 0.0 Back: 132.534
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 5897014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.535 Prop: 4066.302 PropClause: 3917.704 Set: 1074.128 Check: 0.0 Back: 133.122
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 5923083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.539 Prop: 4082.007 PropClause: 3932.753 Set: 1078.519 Check: 0.0 Back: 133.732
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 5949029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.545 Prop: 4096.858 PropClause: 3946.962 Set: 1082.93 Check: 0.0 Back: 134.321
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 5975096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.549 Prop: 4112.972 PropClause: 3962.432 Set: 1087.446 Check: 0.0 Back: 134.903
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 6000667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.553 Prop: 4127.769 PropClause: 3976.597 Set: 1091.712 Check: 0.0 Back: 135.492
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 6026733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.557 Prop: 4142.404 PropClause: 3990.589 Set: 1096.122 Check: 0.0 Back: 136.068
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 6052800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.562 Prop: 4156.397 PropClause: 4003.933 Set: 1100.518 Check: 0.0 Back: 136.657
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 6078869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.567 Prop: 4170.735 PropClause: 4017.627 Set: 1104.928 Check: 0.0 Back: 137.245
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 6104815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.572 Prop: 4186.458 PropClause: 4032.708 Set: 1109.403 Check: 0.0 Back: 137.831
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 6130882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.577 Prop: 4201.135 PropClause: 4046.741 Set: 1113.855 Check: 0.0 Back: 138.427
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 6156453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.581 Prop: 4215.023 PropClause: 4059.999 Set: 1118.058 Check: 0.0 Back: 139.012
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 6182519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.585 Prop: 4228.813 PropClause: 4073.148 Set: 1122.46 Check: 0.0 Back: 139.587
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 6208586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.589 Prop: 4244.024 PropClause: 4087.716 Set: 1126.847 Check: 0.0 Back: 140.171
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 6234655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.592 Prop: 4257.935 PropClause: 4100.985 Set: 1131.262 Check: 0.0 Back: 140.764
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 6260601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.596 Prop: 4273.349 PropClause: 4115.759 Set: 1135.676 Check: 0.0 Back: 141.351
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 6286668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.602 Prop: 4288.198 PropClause: 4129.961 Set: 1140.1 Check: 0.0 Back: 141.935
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 6312239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 4306.443 PropClause: 4147.566 Set: 1144.457 Check: 0.0 Back: 142.52
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 6338305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.611 Prop: 4321.374 PropClause: 4161.85 Set: 1148.925 Check: 0.0 Back: 143.1
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 6364372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 4338.252 PropClause: 4178.084 Set: 1153.365 Check: 0.0 Back: 143.689
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 6390441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.62 Prop: 4353.04 PropClause: 4192.218 Set: 1157.756 Check: 0.0 Back: 144.278
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 6416387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.624 Prop: 4371.878 PropClause: 4210.414 Set: 1162.213 Check: 0.0 Back: 144.875
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 6442454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.629 Prop: 4387.502 PropClause: 4225.393 Set: 1166.642 Check: 0.0 Back: 145.465
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 6468025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.633 Prop: 4402.01 PropClause: 4239.27 Set: 1170.924 Check: 0.0 Back: 146.049
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 6494091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.637 Prop: 4416.418 PropClause: 4253.035 Set: 1175.352 Check: 0.0 Back: 146.627
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 6520158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 4436.171 PropClause: 4272.144 Set: 1179.941 Check: 0.0 Back: 147.219
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 6546227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.646 Prop: 4451.024 PropClause: 4286.358 Set: 1184.328 Check: 0.0 Back: 147.814
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 6572173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.65 Prop: 4465.604 PropClause: 4300.297 Set: 1188.715 Check: 0.0 Back: 148.404
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 6598240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.654 Prop: 4480.691 PropClause: 4314.736 Set: 1193.155 Check: 0.0 Back: 148.991
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 6623811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.66 Prop: 4496.017 PropClause: 4329.431 Set: 1197.414 Check: 0.0 Back: 149.575
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 6649877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.664 Prop: 4511.605 PropClause: 4344.377 Set: 1201.855 Check: 0.0 Back: 150.157
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 6675944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.668 Prop: 4526.948 PropClause: 4359.079 Set: 1206.304 Check: 0.0 Back: 150.747
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 6702013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.673 Prop: 4541.176 PropClause: 4372.665 Set: 1210.706 Check: 0.0 Back: 151.339
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 6727959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.677 Prop: 4555.634 PropClause: 4386.485 Set: 1215.055 Check: 0.0 Back: 151.924
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 6754026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.682 Prop: 4569.914 PropClause: 4400.12 Set: 1219.448 Check: 0.0 Back: 152.507
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 6779597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.687 Prop: 4584.437 PropClause: 4414.016 Set: 1223.713 Check: 0.0 Back: 153.094
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 6805663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.691 Prop: 4598.803 PropClause: 4427.744 Set: 1228.159 Check: 0.0 Back: 153.671
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 6831730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.695 Prop: 4614.278 PropClause: 4442.567 Set: 1232.586 Check: 0.0 Back: 154.257
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 6857799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 4629.434 PropClause: 4457.077 Set: 1237.096 Check: 0.0 Back: 154.843
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 6883745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.704 Prop: 4645.037 PropClause: 4472.042 Set: 1241.534 Check: 0.0 Back: 155.442
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 6909812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.709 Prop: 4659.787 PropClause: 4486.151 Set: 1245.972 Check: 0.0 Back: 156.038
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 6935882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.712 Prop: 4677.379 PropClause: 4503.099 Set: 1250.524 Check: 0.0 Back: 156.632
INFO - Atoms: 26070/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 6961948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.716 Prop: 4692.156 PropClause: 4517.228 Set: 1254.999 Check: 0.0 Back: 157.227
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 6987895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 4707.952 PropClause: 4532.377 Set: 1259.501 Check: 0.0 Back: 157.831
INFO - Atoms: 25947/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 7013964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.726 Prop: 4723.297 PropClause: 4547.075 Set: 1264.007 Check: 0.0 Back: 158.422
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 7039910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.731 Prop: 4738.852 PropClause: 4561.976 Set: 1268.469 Check: 0.0 Back: 159.014
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 7065977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.736 Prop: 4753.898 PropClause: 4576.375 Set: 1272.963 Check: 0.0 Back: 159.603
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 7091548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.74 Prop: 4769.205 PropClause: 4591.044 Set: 1277.313 Check: 0.0 Back: 160.195
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 7117614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.746 Prop: 4784.111 PropClause: 4605.3 Set: 1281.816 Check: 0.0 Back: 160.777
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 7143681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.75 Prop: 4801.636 PropClause: 4622.176 Set: 1286.433 Check: 0.0 Back: 161.371
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 7169750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.754 Prop: 4818.893 PropClause: 4638.786 Set: 1290.91 Check: 0.0 Back: 161.963
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 7195696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 4834.997 PropClause: 4654.236 Set: 1295.381 Check: 0.0 Back: 162.557
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 7221763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.763 Prop: 4853.165 PropClause: 4671.758 Set: 1299.883 Check: 0.0 Back: 163.145
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 7247334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.768 Prop: 4873.266 PropClause: 4691.225 Set: 1304.338 Check: 0.0 Back: 163.737
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 7273400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.772 Prop: 4889.833 PropClause: 4707.143 Set: 1308.864 Check: 0.0 Back: 164.321
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 7299467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.775 Prop: 4905.036 PropClause: 4721.703 Set: 1313.322 Check: 0.0 Back: 164.913
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 7325536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.779 Prop: 4919.563 PropClause: 4735.584 Set: 1317.755 Check: 0.0 Back: 165.505
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 7351482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.785 Prop: 4934.305 PropClause: 4749.686 Set: 1322.184 Check: 0.0 Back: 166.096
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 7377549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.789 Prop: 4949.319 PropClause: 4764.038 Set: 1326.661 Check: 0.0 Back: 166.682
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 7403120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.793 Prop: 4964.107 PropClause: 4778.192 Set: 1331.009 Check: 0.0 Back: 167.272
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 7429186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.798 Prop: 4978.525 PropClause: 4791.962 Set: 1335.484 Check: 0.0 Back: 167.85
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 7455253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.803 Prop: 4993.666 PropClause: 4806.459 Set: 1339.961 Check: 0.0 Back: 168.439
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 7481322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.807 Prop: 5008.411 PropClause: 4820.553 Set: 1344.728 Check: 0.0 Back: 169.033
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 7507268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.812 Prop: 5023.021 PropClause: 4834.517 Set: 1349.121 Check: 0.0 Back: 169.619
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 7533335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.816 Prop: 5037.585 PropClause: 4848.437 Set: 1353.574 Check: 0.0 Back: 170.268
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 7559405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.821 Prop: 5054.778 PropClause: 4864.982 Set: 1358.082 Check: 0.0 Back: 170.907
INFO - Atoms: 26070/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 7585471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 5069.203 PropClause: 4878.759 Set: 1362.55 Check: 0.0 Back: 171.5
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 7611418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.829 Prop: 5084.138 PropClause: 4893.048 Set: 1366.962 Check: 0.0 Back: 172.093
INFO - Atoms: 25947/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 7637487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.833 Prop: 5098.464 PropClause: 4906.725 Set: 1371.392 Check: 0.0 Back: 172.682
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 7663433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.838 Prop: 5112.864 PropClause: 4920.484 Set: 1375.768 Check: 0.0 Back: 173.275
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 7689500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.843 Prop: 5127.22 PropClause: 4934.191 Set: 1380.213 Check: 0.0 Back: 173.868
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 7715071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.847 Prop: 5143.465 PropClause: 4949.799 Set: 1384.725 Check: 0.0 Back: 174.461
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 7741137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.852 Prop: 5157.6 PropClause: 4963.28 Set: 1389.254 Check: 0.0 Back: 175.047
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 7767204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.856 Prop: 5172.71 PropClause: 4977.732 Set: 1393.858 Check: 0.0 Back: 175.654
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 7793273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.861 Prop: 5186.904 PropClause: 4991.278 Set: 1398.383 Check: 0.0 Back: 176.264
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 7819219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.865 Prop: 5201.45 PropClause: 5005.171 Set: 1402.806 Check: 0.0 Back: 176.863
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 7845286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.869 Prop: 5216.021 PropClause: 5019.095 Set: 1407.267 Check: 0.0 Back: 177.46
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 7870857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.874 Prop: 5230.783 PropClause: 5033.223 Set: 1411.64 Check: 0.0 Back: 178.058
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 7896923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.878 Prop: 5244.78 PropClause: 5046.574 Set: 1416.14 Check: 0.0 Back: 178.659
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 7922990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.882 Prop: 5259.139 PropClause: 5060.273 Set: 1420.624 Check: 0.0 Back: 179.257
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 7949059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.886 Prop: 5274.106 PropClause: 5074.597 Set: 1425.111 Check: 0.0 Back: 179.855
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 7975005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.89 Prop: 5290.841 PropClause: 5090.691 Set: 1429.571 Check: 0.0 Back: 180.449
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 8001072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.894 Prop: 5305.208 PropClause: 5104.418 Set: 1434.036 Check: 0.0 Back: 181.048
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 8026643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.898 Prop: 5320.256 PropClause: 5118.833 Set: 1438.44 Check: 0.0 Back: 181.646
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 8052709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.903 Prop: 5334.407 PropClause: 5132.332 Set: 1442.944 Check: 0.0 Back: 182.233
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 8078776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.907 Prop: 5349.263 PropClause: 5146.548 Set: 1447.437 Check: 0.0 Back: 182.829
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 8104845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.911 Prop: 5363.871 PropClause: 5160.511 Set: 1451.929 Check: 0.0 Back: 183.424
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 8130791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.915 Prop: 5378.327 PropClause: 5174.325 Set: 1456.388 Check: 0.0 Back: 184.021
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 8156858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.919 Prop: 5392.966 PropClause: 5188.32 Set: 1460.862 Check: 0.0 Back: 184.613
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 8182429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.923 Prop: 5409.231 PropClause: 5203.953 Set: 1465.269 Check: 0.0 Back: 185.21
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 8208495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.928 Prop: 5423.46 PropClause: 5217.539 Set: 1469.799 Check: 0.0 Back: 185.795
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 8234562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 5438.214 PropClause: 5231.648 Set: 1474.295 Check: 0.0 Back: 186.401
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 8260631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.937 Prop: 5452.701 PropClause: 5245.491 Set: 1478.793 Check: 0.0 Back: 186.997
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 8286577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.941 Prop: 5468.572 PropClause: 5260.72 Set: 1483.273 Check: 0.0 Back: 187.598
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 8312644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.945 Prop: 5483.058 PropClause: 5274.563 Set: 1487.787 Check: 0.0 Back: 188.188
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 8338215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 5498.8 PropClause: 5289.673 Set: 1492.178 Check: 0.0 Back: 188.793
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 8364281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.953 Prop: 5514.35 PropClause: 5304.571 Set: 1496.727 Check: 0.0 Back: 189.377
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 8390348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.957 Prop: 5529.261 PropClause: 5318.838 Set: 1501.214 Check: 0.0 Back: 189.974
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 8416417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.961 Prop: 5543.745 PropClause: 5332.67 Set: 1505.74 Check: 0.0 Back: 190.579
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 8442363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.965 Prop: 5558.167 PropClause: 5346.451 Set: 1510.162 Check: 0.0 Back: 191.191
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 8468430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.97 Prop: 5572.338 PropClause: 5359.977 Set: 1514.583 Check: 0.0 Back: 191.786
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 8494001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 5587.146 PropClause: 5374.149 Set: 1518.945 Check: 0.0 Back: 192.395
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 8520067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.979 Prop: 5602.149 PropClause: 5388.508 Set: 1523.455 Check: 0.0 Back: 192.981
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 8546134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.983 Prop: 5619.43 PropClause: 5405.131 Set: 1528.053 Check: 0.0 Back: 193.579
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 8572203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.988 Prop: 5635.286 PropClause: 5420.341 Set: 1532.628 Check: 0.0 Back: 194.187
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 8598149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.991 Prop: 5650.352 PropClause: 5434.765 Set: 1537.092 Check: 0.0 Back: 194.784
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 8624216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.996 Prop: 5665.584 PropClause: 5449.353 Set: 1541.583 Check: 0.0 Back: 195.379
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 8649787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.0 Prop: 5681.759 PropClause: 5464.882 Set: 1546.062 Check: 0.0 Back: 195.977
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 8675853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.005 Prop: 5696.672 PropClause: 5479.147 Set: 1550.634 Check: 0.0 Back: 196.568
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 8701920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.009 Prop: 5711.518 PropClause: 5493.348 Set: 1555.158 Check: 0.0 Back: 197.165
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 8727989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.013 Prop: 5725.593 PropClause: 5506.778 Set: 1559.603 Check: 0.0 Back: 197.76
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 8753935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.017 Prop: 5740.518 PropClause: 5521.061 Set: 1564.109 Check: 0.0 Back: 198.361
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 8780002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.022 Prop: 5755.404 PropClause: 5535.302 Set: 1568.666 Check: 0.0 Back: 198.954
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 8806070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.027 Prop: 5769.741 PropClause: 5548.985 Set: 1573.2 Check: 0.0 Back: 199.549
INFO - Atoms: 26068/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 8832136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.031 Prop: 5785.506 PropClause: 5564.103 Set: 1577.764 Check: 0.0 Back: 200.151
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 8858083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.036 Prop: 5801.088 PropClause: 5579.031 Set: 1582.318 Check: 0.0 Back: 200.752
INFO - Atoms: 25947/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 8884152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.041 Prop: 5816.54 PropClause: 5593.827 Set: 1586.862 Check: 0.0 Back: 201.352
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 8910098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 5832.057 PropClause: 5608.698 Set: 1591.395 Check: 0.0 Back: 201.96
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 8936165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.051 Prop: 5846.163 PropClause: 5622.161 Set: 1595.871 Check: 0.0 Back: 202.573
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 8961736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 5860.75 PropClause: 5636.113 Set: 1600.24 Check: 0.0 Back: 203.171
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 8987802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.06 Prop: 5874.667 PropClause: 5649.383 Set: 1604.733 Check: 0.0 Back: 203.77
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 9013869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 5891.223 PropClause: 5665.296 Set: 1609.236 Check: 0.0 Back: 204.379
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 9039938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.07 Prop: 5905.679 PropClause: 5679.108 Set: 1613.656 Check: 0.0 Back: 204.97
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 9065884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.074 Prop: 5919.878 PropClause: 5692.665 Set: 1618.038 Check: 0.0 Back: 205.559
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 9091951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.078 Prop: 5933.53 PropClause: 5705.674 Set: 1622.432 Check: 0.0 Back: 206.145
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 9117522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.083 Prop: 5947.48 PropClause: 5718.976 Set: 1626.76 Check: 0.0 Back: 206.733
INFO - Atoms: 25571/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 9143588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.088 Prop: 5962.782 PropClause: 5733.635 Set: 1631.239 Check: 0.0 Back: 207.31
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 9169655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.092 Prop: 5977.244 PropClause: 5747.447 Set: 1635.661 Check: 0.0 Back: 207.9
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 9195724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.097 Prop: 5991.468 PropClause: 5761.03 Set: 1640.1 Check: 0.0 Back: 208.489
INFO - Atoms: 26069/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 9221670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.103 Prop: 6005.717 PropClause: 5774.633 Set: 1644.551 Check: 0.0 Back: 209.08
INFO - Atoms: 25946/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 9247737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 6019.856 PropClause: 5788.108 Set: 1649.002 Check: 0.0 Back: 209.666
INFO - Atoms: 26067/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 9273805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.112 Prop: 6034.141 PropClause: 5801.747 Set: 1653.45 Check: 0.0 Back: 210.254
INFO - Atoms: 26068/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 9299871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.118 Prop: 6048.328 PropClause: 5815.288 Set: 1657.906 Check: 0.0 Back: 210.853
INFO - Atoms: 26066/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 9325818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.121 Prop: 6061.9 PropClause: 5828.223 Set: 1662.284 Check: 0.0 Back: 211.441
INFO - Atoms: 25947/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 9351390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.125 Prop: 6076.009 PropClause: 5841.696 Set: 1666.612 Check: 0.0 Back: 212.037
INFO - Atoms: 25572/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 9377467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.13 Prop: 6091.226 PropClause: 5856.267 Set: 1671.013 Check: 0.0 Back: 212.612
INFO - Atoms: 26077/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 9403665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.134 Prop: 6105.169 PropClause: 5869.562 Set: 1675.405 Check: 0.0 Back: 213.209
INFO - Atoms: 26198/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 9429367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.139 Prop: 6119.637 PropClause: 5883.393 Set: 1679.657 Check: 0.0 Back: 213.803
INFO - Atoms: 25702/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 9454939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.143 Prop: 6133.098 PropClause: 5896.222 Set: 1683.87 Check: 0.0 Back: 214.383
INFO - Atoms: 25572/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 9481826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.146 Prop: 6149.081 PropClause: 5911.54 Set: 1688.393 Check: 0.0 Back: 214.962
INFO - Atoms: 26887/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 9508583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.149 Prop: 6165.508 PropClause: 5927.305 Set: 1692.856 Check: 0.0 Back: 215.58
INFO - Atoms: 26757/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 9535208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.154 Prop: 6182.305 PropClause: 5943.442 Set: 1697.301 Check: 0.0 Back: 216.184
INFO - Atoms: 26625/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 9561703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.158 Prop: 6197.604 PropClause: 5958.087 Set: 1701.73 Check: 0.0 Back: 216.785
INFO - Atoms: 26495/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 9588066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.162 Prop: 6216.167 PropClause: 5975.992 Set: 1706.226 Check: 0.0 Back: 217.386
INFO - Atoms: 26363/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 9614299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.166 Prop: 6233.92 PropClause: 5993.095 Set: 1710.637 Check: 0.0 Back: 217.982
INFO - Atoms: 26233/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 9640400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.171 Prop: 6250.891 PropClause: 6009.417 Set: 1715.017 Check: 0.0 Back: 218.574
INFO - Atoms: 26101/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 9666371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.176 Prop: 6266.732 PropClause: 6024.618 Set: 1719.355 Check: 0.0 Back: 219.174
INFO - Atoms: 25971/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 9692210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.18 Prop: 6281.143 PropClause: 6038.394 Set: 1723.603 Check: 0.0 Back: 219.756
INFO - Atoms: 25839/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 9717919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.184 Prop: 6295.07 PropClause: 6051.687 Set: 1727.827 Check: 0.0 Back: 220.341
INFO - Atoms: 25709/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 9743497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.187 Prop: 6309.205 PropClause: 6065.188 Set: 1732.063 Check: 0.0 Back: 220.923
INFO - Atoms: 25578/38016 Clauses: 581 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 850 Props: 10730965 Tprops: 0 Decides: 1902 RSplits: 0
INFO - Times: Expl: 706.713 Prop: 6682.179 PropClause: 6412.946 Set: 1757.573 Check: 0.047 Back: 243.606
INFO - Atoms: 12549/38016 Clauses: 1080 Axioms: 124914
INFO - Restart
INFO - Confl: 1350 Props: 11440308 Tprops: 0 Decides: 2856 RSplits: 0
INFO - Times: Expl: 1058.745 Prop: 6899.474 PropClause: 6611.856 Set: 1773.774 Check: 0.069 Back: 259.686
INFO - Atoms: 12549/38016 Clauses: 1580 Axioms: 124914
INFO - Restart
INFO - Confl: 2350 Props: 12805628 Tprops: 0 Decides: 6273 RSplits: 0
INFO - Times: Expl: 1418.437 Prop: 7386.017 PropClause: 7063.026 Set: 1805.317 Check: 0.15 Back: 290.944
INFO - Atoms: 12549/38016 Clauses: 2580 Axioms: 124914
INFO - Restart
INFO - Confl: 2850 Props: 13434914 Tprops: 0 Decides: 7341 RSplits: 0
INFO - Times: Expl: 1617.899 Prop: 7607.974 PropClause: 7268.679 Set: 1819.807 Check: 0.177 Back: 305.347
INFO - Atoms: 12549/38016 Clauses: 3080 Axioms: 124914
INFO - Restart
INFO - Confl: 3350 Props: 13916763 Tprops: 0 Decides: 8222 RSplits: 0
INFO - Times: Expl: 1747.759 Prop: 7758.234 PropClause: 7406.644 Set: 1830.837 Check: 0.198 Back: 316.264
INFO - Atoms: 12576/38016 Clauses: 3580 Axioms: 124914
INFO - Confl: 3386 Props: 13943185 Tprops: 0 Decides: 8271 RSplits: 0
INFO - Times: Expl: 1753.045 Prop: 7765.18 PropClause: 7412.922 Set: 1831.519 Check: 0.199 Back: 316.846
INFO - Atoms: 13110/38016 Clauses: 3616 Axioms: 124914
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 359 Props: 38372 Tprops: 11608 Decides: 42964 RSplits: 0
INFO - Times: Expl: 227.031 Prop: 20789.939 PropClause: 12.137 Set: 6802.733 Check: 150.384 Back: 181.353
INFO - Atoms: 680/870 Clauses: 359 Axioms: 870
INFO - CCTimes: iE 366714 eq 28212223 cc 60001472 setRep 48195189
INFO - Merges: 342182, cc:602738
INFO - BVTimes: BB 128825439 BB_DPLL 18701512855 Graph 1083705
INFO - BitBlastingClauses: 328494 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat