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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 301135313
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 62907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.678 Prop: 121.401 PropClause: 107.497 Set: 31.07 Check: 0.0 Back: 0.0
INFO - Atoms: 62907/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 125817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.741 Prop: 224.108 PropClause: 206.283 Set: 96.723 Check: 0.0 Back: 1.74
INFO - Atoms: 62910/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 188092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.819 Prop: 302.965 PropClause: 283.4 Set: 110.365 Check: 0.0 Back: 3.214
INFO - Atoms: 62275/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 250362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.906 Prop: 373.943 PropClause: 352.81 Set: 122.545 Check: 0.0 Back: 4.817
INFO - Atoms: 62270/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 312637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.961 Prop: 465.17 PropClause: 442.248 Set: 138.969 Check: 0.0 Back: 6.373
INFO - Atoms: 62275/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 374907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.014 Prop: 555.282 PropClause: 530.558 Set: 154.974 Check: 0.0 Back: 7.986
INFO - Atoms: 62270/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 436857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.062 Prop: 628.659 PropClause: 602.388 Set: 174.191 Check: 0.0 Back: 9.611
INFO - Atoms: 61950/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 498863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.113 Prop: 699.75 PropClause: 671.929 Set: 232.154 Check: 0.0 Back: 11.07
INFO - Atoms: 62006/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 560811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.161 Prop: 776.793 PropClause: 747.418 Set: 244.393 Check: 0.0 Back: 12.486
INFO - Atoms: 61948/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 622438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.228 Prop: 865.492 PropClause: 834.349 Set: 260.408 Check: 0.0 Back: 13.94
INFO - Atoms: 61627/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 683743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.282 Prop: 952.629 PropClause: 919.726 Set: 276.659 Check: 0.0 Back: 15.532
INFO - Atoms: 61305/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 744783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.335 Prop: 1039.516 PropClause: 1004.849 Set: 291.888 Check: 0.0 Back: 17.119
INFO - Atoms: 61040/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 805442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.381 Prop: 1109.99 PropClause: 1073.816 Set: 303.847 Check: 0.0 Back: 18.694
INFO - Atoms: 60659/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 865777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.434 Prop: 1183.503 PropClause: 1145.826 Set: 315.847 Check: 0.0 Back: 20.252
INFO - Atoms: 60335/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 925790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.496 Prop: 1258.32 PropClause: 1219.125 Set: 328.129 Check: 0.0 Back: 21.79
INFO - Atoms: 60013/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 985537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.55 Prop: 1327.935 PropClause: 1287.252 Set: 346.559 Check: 0.0 Back: 23.319
INFO - Atoms: 59747/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1044904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.601 Prop: 1399.946 PropClause: 1357.777 Set: 363.853 Check: 0.0 Back: 24.706
INFO - Atoms: 59367/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1104005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.649 Prop: 1465.574 PropClause: 1421.923 Set: 380.868 Check: 0.0 Back: 26.101
INFO - Atoms: 59101/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1162726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.699 Prop: 1535.003 PropClause: 1489.886 Set: 392.324 Check: 0.0 Back: 27.464
INFO - Atoms: 58721/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1221181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.75 Prop: 1601.887 PropClause: 1555.301 Set: 403.688 Check: 0.0 Back: 28.853
INFO - Atoms: 58455/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1279256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.798 Prop: 1669.053 PropClause: 1621.023 Set: 414.956 Check: 0.0 Back: 30.213
INFO - Atoms: 58075/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1337065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.843 Prop: 1731.386 PropClause: 1681.932 Set: 425.801 Check: 0.0 Back: 31.592
INFO - Atoms: 57809/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1394494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.883 Prop: 1790.748 PropClause: 1739.869 Set: 436.664 Check: 0.0 Back: 32.931
INFO - Atoms: 57429/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1451656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.931 Prop: 1852.818 PropClause: 1800.519 Set: 447.267 Check: 0.0 Back: 34.268
INFO - Atoms: 57162/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1508439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.981 Prop: 1917.358 PropClause: 1863.642 Set: 458.491 Check: 0.0 Back: 35.59
INFO - Atoms: 56783/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1564898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.038 Prop: 1987.636 PropClause: 1932.287 Set: 498.295 Check: 0.0 Back: 36.961
INFO - Atoms: 56459/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1621035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.082 Prop: 2052.384 PropClause: 1995.627 Set: 509.087 Check: 0.0 Back: 38.417
INFO - Atoms: 56137/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1676848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.13 Prop: 2116.384 PropClause: 2058.236 Set: 519.762 Check: 0.0 Back: 39.726
INFO - Atoms: 55813/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1732339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.176 Prop: 2177.997 PropClause: 2118.474 Set: 530.242 Check: 0.0 Back: 41.042
INFO - Atoms: 55491/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1787564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.221 Prop: 2236.919 PropClause: 2176.022 Set: 540.717 Check: 0.0 Back: 42.356
INFO - Atoms: 55225/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1842409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.259 Prop: 2295.679 PropClause: 2233.429 Set: 550.983 Check: 0.0 Back: 43.641
INFO - Atoms: 54845/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1896930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.302 Prop: 2353.09 PropClause: 2289.485 Set: 561.212 Check: 0.0 Back: 44.936
INFO - Atoms: 54521/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1951129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.345 Prop: 2408.74 PropClause: 2343.781 Set: 571.489 Check: 0.0 Back: 46.208
INFO - Atoms: 54199/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2005062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.384 Prop: 2465.107 PropClause: 2398.818 Set: 586.078 Check: 0.0 Back: 47.51
INFO - Atoms: 53933/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2058615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.429 Prop: 2525.709 PropClause: 2458.099 Set: 601.662 Check: 0.0 Back: 48.791
INFO - Atoms: 53553/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2111844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.468 Prop: 2581.477 PropClause: 2512.557 Set: 616.342 Check: 0.0 Back: 50.052
INFO - Atoms: 53229/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2164751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.513 Prop: 2638.416 PropClause: 2568.174 Set: 631.337 Check: 0.0 Back: 51.287
INFO - Atoms: 52907/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2217393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.556 Prop: 2693.029 PropClause: 2621.484 Set: 645.887 Check: 0.0 Back: 52.536
INFO - Atoms: 52642/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2269654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.599 Prop: 2748.396 PropClause: 2675.542 Set: 660.492 Check: 0.0 Back: 53.784
INFO - Atoms: 52261/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2321649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.643 Prop: 2803.652 PropClause: 2729.517 Set: 675.029 Check: 0.0 Back: 55.052
INFO - Atoms: 51995/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2373264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.687 Prop: 2859.268 PropClause: 2783.858 Set: 689.594 Check: 0.0 Back: 56.291
INFO - Atoms: 51615/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2424555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.741 Prop: 2909.637 PropClause: 2832.955 Set: 713.824 Check: 0.0 Back: 57.508
INFO - Atoms: 51291/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2475524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.781 Prop: 2963.963 PropClause: 2886.02 Set: 723.35 Check: 0.0 Back: 58.715
INFO - Atoms: 50969/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2526227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.823 Prop: 3011.853 PropClause: 2932.65 Set: 732.761 Check: 0.0 Back: 59.936
INFO - Atoms: 50703/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2576550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.861 Prop: 3064.37 PropClause: 2983.919 Set: 742.09 Check: 0.0 Back: 61.134
INFO - Atoms: 50323/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2626606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.956 Prop: 3115.957 PropClause: 3034.265 Set: 751.577 Check: 0.0 Back: 62.321
INFO - Atoms: 50056/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2676283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.006 Prop: 3173.091 PropClause: 3090.143 Set: 761.236 Check: 0.0 Back: 63.573
INFO - Atoms: 49677/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2725636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.058 Prop: 3224.764 PropClause: 3140.576 Set: 770.62 Check: 0.0 Back: 64.771
INFO - Atoms: 49353/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2774667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.109 Prop: 3280.828 PropClause: 3195.409 Set: 779.997 Check: 0.0 Back: 65.963
INFO - Atoms: 49031/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2823374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.159 Prop: 3332.776 PropClause: 3246.152 Set: 789.029 Check: 0.0 Back: 67.149
INFO - Atoms: 48707/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2871759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.202 Prop: 3385.548 PropClause: 3297.717 Set: 798.094 Check: 0.0 Back: 68.303
INFO - Atoms: 48385/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2919820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.25 Prop: 3432.458 PropClause: 3343.422 Set: 807.008 Check: 0.0 Back: 69.468
INFO - Atoms: 48061/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2967559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.396 Prop: 3484.577 PropClause: 3394.339 Set: 815.944 Check: 0.0 Back: 70.624
INFO - Atoms: 47739/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3015032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 3531.485 PropClause: 3440.062 Set: 824.661 Check: 0.0 Back: 71.771
INFO - Atoms: 47473/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3062125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.44 Prop: 3580.625 PropClause: 3488.03 Set: 834.406 Check: 0.0 Back: 72.904
INFO - Atoms: 47093/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3108894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.461 Prop: 3630.581 PropClause: 3536.808 Set: 843.125 Check: 0.0 Back: 74.032
INFO - Atoms: 46769/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 3155341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.481 Prop: 3677.979 PropClause: 3583.048 Set: 851.906 Check: 0.0 Back: 75.162
INFO - Atoms: 46447/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3201464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.505 Prop: 3723.993 PropClause: 3627.905 Set: 860.501 Check: 0.0 Back: 76.284
INFO - Atoms: 46123/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3247265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.526 Prop: 3769.171 PropClause: 3671.939 Set: 869.077 Check: 0.0 Back: 77.392
INFO - Atoms: 45801/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3292742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.551 Prop: 3813.278 PropClause: 3714.893 Set: 898.71 Check: 0.0 Back: 78.496
INFO - Atoms: 45477/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3337897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.57 Prop: 3856.874 PropClause: 3757.362 Set: 907.175 Check: 0.0 Back: 79.58
INFO - Atoms: 45155/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3382787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.595 Prop: 3900.58 PropClause: 3799.945 Set: 915.562 Check: 0.0 Back: 80.678
INFO - Atoms: 44890/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3427296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.617 Prop: 3941.711 PropClause: 3839.96 Set: 923.761 Check: 0.0 Back: 81.741
INFO - Atoms: 44509/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3471538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 3981.673 PropClause: 3878.816 Set: 931.803 Check: 0.0 Back: 82.822
INFO - Atoms: 44242/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3515401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.656 Prop: 4024.315 PropClause: 3920.361 Set: 939.942 Check: 0.0 Back: 83.887
INFO - Atoms: 43863/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3558940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 4065.65 PropClause: 3960.595 Set: 947.904 Check: 0.0 Back: 84.967
INFO - Atoms: 43539/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3602157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.698 Prop: 4107.682 PropClause: 4001.55 Set: 955.932 Check: 0.0 Back: 86.066
INFO - Atoms: 43217/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3645109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.719 Prop: 4146.45 PropClause: 4039.25 Set: 963.699 Check: 0.0 Back: 87.113
INFO - Atoms: 42952/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 3687679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 4187.17 PropClause: 4078.911 Set: 971.601 Check: 0.0 Back: 88.147
INFO - Atoms: 42570/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 3731195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.761 Prop: 4223.303 PropClause: 4113.948 Set: 979.608 Check: 0.0 Back: 89.19
INFO - Atoms: 43516/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 3775099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.784 Prop: 4280.182 PropClause: 4169.565 Set: 991.053 Check: 0.0 Back: 90.253
INFO - Atoms: 43904/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3819327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 4328.341 PropClause: 4216.45 Set: 1002.027 Check: 0.0 Back: 91.399
INFO - Atoms: 44228/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3863814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.83 Prop: 4379.684 PropClause: 4266.498 Set: 1013.309 Check: 0.0 Back: 92.546
INFO - Atoms: 44487/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3908365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.855 Prop: 4431.725 PropClause: 4317.248 Set: 1024.207 Check: 0.0 Back: 93.708
INFO - Atoms: 44551/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3951898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.877 Prop: 4470.729 PropClause: 4355.175 Set: 1032.121 Check: 0.0 Back: 94.858
INFO - Atoms: 43533/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3996638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.896 Prop: 4513.029 PropClause: 4396.366 Set: 1040.675 Check: 0.0 Back: 95.916
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 4041185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.914 Prop: 4552.898 PropClause: 4435.131 Set: 1048.996 Check: 0.0 Back: 96.98
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 4084777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.934 Prop: 4593.458 PropClause: 4474.607 Set: 1057.067 Check: 0.0 Back: 98.07
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 4129325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.957 Prop: 4636.173 PropClause: 4516.21 Set: 1065.644 Check: 0.0 Back: 99.12
INFO - Atoms: 44548/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 4174064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.977 Prop: 4677.783 PropClause: 4556.711 Set: 1074.073 Check: 0.0 Back: 100.205
INFO - Atoms: 44739/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 4218869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.994 Prop: 4720.217 PropClause: 4598.036 Set: 1087.395 Check: 0.0 Back: 101.274
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 4263354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.015 Prop: 4759.416 PropClause: 4636.124 Set: 1100.393 Check: 0.0 Back: 102.366
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4308094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.044 Prop: 4801.849 PropClause: 4677.448 Set: 1112.958 Check: 0.0 Back: 103.426
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4351628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.062 Prop: 4842.216 PropClause: 4716.736 Set: 1124.952 Check: 0.0 Back: 104.51
INFO - Atoms: 43534/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4396174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 4886.599 PropClause: 4760.011 Set: 1150.542 Check: 0.0 Back: 105.564
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 4440915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.107 Prop: 4926.803 PropClause: 4799.085 Set: 1158.976 Check: 0.0 Back: 106.627
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 4485718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.128 Prop: 4969.475 PropClause: 4840.629 Set: 1167.377 Check: 0.0 Back: 107.733
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4530203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.151 Prop: 5020.805 PropClause: 4890.642 Set: 1177.809 Check: 0.0 Back: 108.821
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 4574941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.174 Prop: 5061.49 PropClause: 4930.216 Set: 1186.193 Check: 0.0 Back: 109.963
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 4618533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 5096.546 PropClause: 4964.185 Set: 1194.161 Check: 0.0 Back: 111.036
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 4663079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.212 Prop: 5138.377 PropClause: 5004.905 Set: 1202.724 Check: 0.0 Back: 112.081
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 4707820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.231 Prop: 5179.629 PropClause: 5045.052 Set: 1210.993 Check: 0.0 Back: 113.151
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 4752625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 5220.557 PropClause: 5084.871 Set: 1219.46 Check: 0.0 Back: 114.224
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 4797110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.271 Prop: 5260.35 PropClause: 5123.56 Set: 1227.745 Check: 0.0 Back: 115.312
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 4841848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.325 Prop: 5296.465 PropClause: 5158.563 Set: 1236.03 Check: 0.0 Back: 116.372
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 4885382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.383 Prop: 5337.554 PropClause: 5198.564 Set: 1244.199 Check: 0.0 Back: 117.454
INFO - Atoms: 43534/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 4929928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.399 Prop: 5377.439 PropClause: 5237.333 Set: 1252.683 Check: 0.0 Back: 118.494
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 4974669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.413 Prop: 5418.512 PropClause: 5277.296 Set: 1261.106 Check: 0.0 Back: 119.564
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 5019474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.426 Prop: 5461.981 PropClause: 5319.654 Set: 1269.588 Check: 0.0 Back: 120.627
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 5063959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.441 Prop: 5500.939 PropClause: 5357.508 Set: 1277.959 Check: 0.0 Back: 121.707
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 5108697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 5546.033 PropClause: 5401.479 Set: 1286.421 Check: 0.0 Back: 122.78
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 5152290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.472 Prop: 5584.547 PropClause: 5438.901 Set: 1294.544 Check: 0.0 Back: 123.847
INFO - Atoms: 43593/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 5196836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 5626.438 PropClause: 5479.68 Set: 1303.082 Check: 0.0 Back: 124.912
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 5241577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.503 Prop: 5665.59 PropClause: 5517.716 Set: 1311.359 Check: 0.0 Back: 125.994
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 5286382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.522 Prop: 5716.899 PropClause: 5567.728 Set: 1322.126 Check: 0.0 Back: 127.071
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 5330867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.538 Prop: 5758.388 PropClause: 5608.092 Set: 1330.51 Check: 0.0 Back: 128.196
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 5375605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.554 Prop: 5799.154 PropClause: 5647.75 Set: 1338.992 Check: 0.0 Back: 129.266
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 5419139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.568 Prop: 5839.163 PropClause: 5686.678 Set: 1347.112 Check: 0.0 Back: 130.349
INFO - Atoms: 43534/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 5463686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.581 Prop: 5875.376 PropClause: 5721.774 Set: 1355.549 Check: 0.0 Back: 131.405
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 5508426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.597 Prop: 5915.858 PropClause: 5761.147 Set: 1364.098 Check: 0.0 Back: 132.499
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 5553229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.623 Prop: 5957.098 PropClause: 5801.282 Set: 1372.55 Check: 0.0 Back: 133.563
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 5597714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.639 Prop: 5997.179 PropClause: 5840.257 Set: 1381.01 Check: 0.0 Back: 134.641
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 5642452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.653 Prop: 6036.951 PropClause: 5878.927 Set: 1389.242 Check: 0.0 Back: 135.688
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 5686045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.668 Prop: 6078.112 PropClause: 5919.013 Set: 1397.392 Check: 0.0 Back: 136.789
INFO - Atoms: 43593/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 5730592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.68 Prop: 6121.767 PropClause: 5961.557 Set: 1406.004 Check: 0.0 Back: 137.844
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 5775332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.693 Prop: 6161.395 PropClause: 6000.073 Set: 1414.371 Check: 0.0 Back: 138.934
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 5820135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 6204.546 PropClause: 6042.102 Set: 1422.937 Check: 0.0 Back: 140.001
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 5864620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.723 Prop: 6243.368 PropClause: 6079.813 Set: 1431.389 Check: 0.0 Back: 141.077
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 5909358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.741 Prop: 6287.206 PropClause: 6122.528 Set: 1439.869 Check: 0.0 Back: 142.147
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 5952892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.757 Prop: 6328.03 PropClause: 6162.265 Set: 1447.966 Check: 0.0 Back: 143.235
INFO - Atoms: 43534/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 5997438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.772 Prop: 6371.886 PropClause: 6204.998 Set: 1456.613 Check: 0.0 Back: 144.273
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 6042179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.792 Prop: 6425.529 PropClause: 6257.358 Set: 1467.783 Check: 0.0 Back: 145.378
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 6086984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.808 Prop: 6475.552 PropClause: 6306.062 Set: 1478.216 Check: 0.0 Back: 146.528
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 6131469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.846 Prop: 6520.976 PropClause: 6350.381 Set: 1486.766 Check: 0.0 Back: 147.635
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 6176207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.853 Prop: 6564.406 PropClause: 6392.698 Set: 1495.358 Check: 0.0 Back: 148.699
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 6219799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.861 Prop: 6605.565 PropClause: 6432.77 Set: 1503.574 Check: 0.0 Back: 149.754
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 6264346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.869 Prop: 6644.344 PropClause: 6470.436 Set: 1512.183 Check: 0.0 Back: 150.799
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 6309086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.88 Prop: 6686.96 PropClause: 6511.899 Set: 1520.755 Check: 0.0 Back: 151.877
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 6353889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.888 Prop: 6729.026 PropClause: 6552.856 Set: 1529.342 Check: 0.0 Back: 152.953
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 6398374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.895 Prop: 6770.26 PropClause: 6592.982 Set: 1537.814 Check: 0.0 Back: 154.03
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 6443112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.904 Prop: 6810.836 PropClause: 6632.447 Set: 1546.307 Check: 0.0 Back: 155.095
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 6486704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.914 Prop: 6852.606 PropClause: 6673.133 Set: 1554.567 Check: 0.0 Back: 156.23
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 6531250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.921 Prop: 6894.876 PropClause: 6714.296 Set: 1563.191 Check: 0.0 Back: 157.273
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 6575991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.929 Prop: 6935.591 PropClause: 6753.902 Set: 1571.709 Check: 0.0 Back: 158.346
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 6620794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.936 Prop: 6977.153 PropClause: 6794.355 Set: 1580.329 Check: 0.0 Back: 159.431
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 6665279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.943 Prop: 7015.695 PropClause: 6831.786 Set: 1588.859 Check: 0.0 Back: 160.51
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 6710017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.954 Prop: 7058.604 PropClause: 6873.586 Set: 1609.406 Check: 0.0 Back: 161.584
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 6753609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 7097.969 PropClause: 6911.865 Set: 1617.594 Check: 0.0 Back: 162.662
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 6798156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.971 Prop: 7140.692 PropClause: 6953.453 Set: 1626.43 Check: 0.0 Back: 163.702
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 6842896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.979 Prop: 7181.969 PropClause: 6993.627 Set: 1634.855 Check: 0.0 Back: 164.797
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 6887699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.987 Prop: 7220.291 PropClause: 7030.83 Set: 1643.377 Check: 0.0 Back: 165.862
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 6932184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.995 Prop: 7261.617 PropClause: 7071.055 Set: 1651.907 Check: 0.0 Back: 166.954
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 6976922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.002 Prop: 7302.035 PropClause: 7110.361 Set: 1660.391 Check: 0.0 Back: 168.027
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 7020513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.011 Prop: 7342.475 PropClause: 7149.722 Set: 1668.561 Check: 0.0 Back: 169.107
INFO - Atoms: 43591/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 7065059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.019 Prop: 7382.859 PropClause: 7189.002 Set: 1677.1 Check: 0.0 Back: 170.152
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 7109800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.025 Prop: 7420.705 PropClause: 7225.727 Set: 1685.519 Check: 0.0 Back: 171.225
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 7154605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.036 Prop: 7464.302 PropClause: 7268.173 Set: 1694.429 Check: 0.0 Back: 172.285
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 7199090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.044 Prop: 7503.906 PropClause: 7306.673 Set: 1702.752 Check: 0.0 Back: 173.36
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 7243828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.051 Prop: 7544.58 PropClause: 7346.234 Set: 1711.191 Check: 0.0 Back: 174.413
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 7288632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.059 Prop: 7582.42 PropClause: 7382.962 Set: 1719.655 Check: 0.0 Back: 175.489
INFO - Atoms: 44804/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 7333371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 7625.584 PropClause: 7425.013 Set: 1728.351 Check: 0.0 Back: 176.574
INFO - Atoms: 44739/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 7377858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.079 Prop: 7670.236 PropClause: 7468.56 Set: 1736.851 Check: 0.0 Back: 177.653
INFO - Atoms: 44487/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 7421393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.091 Prop: 7714.311 PropClause: 7511.55 Set: 1745.319 Check: 0.0 Back: 178.742
INFO - Atoms: 43535/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 7466133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.102 Prop: 7757.797 PropClause: 7553.924 Set: 1754.129 Check: 0.0 Back: 179.812
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 7510680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.112 Prop: 7801.968 PropClause: 7596.967 Set: 1763.402 Check: 0.0 Back: 180.896
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 7555482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.122 Prop: 7845.529 PropClause: 7639.412 Set: 1771.984 Check: 0.0 Back: 181.986
INFO - Atoms: 44802/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 7600222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 7890.136 PropClause: 7682.875 Set: 1780.943 Check: 0.0 Back: 183.063
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 7644709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.141 Prop: 7932.137 PropClause: 7723.777 Set: 1789.466 Check: 0.0 Back: 184.171
INFO - Atoms: 44487/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 7689512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.15 Prop: 7974.641 PropClause: 7765.144 Set: 1798.178 Check: 0.0 Back: 185.235
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 7733997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.157 Prop: 8015.473 PropClause: 7804.878 Set: 1806.682 Check: 0.0 Back: 186.327
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 7778735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.164 Prop: 8057.929 PropClause: 7846.222 Set: 1815.122 Check: 0.0 Back: 187.392
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 7822328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.175 Prop: 8098.886 PropClause: 7886.091 Set: 1823.544 Check: 0.0 Back: 188.479
INFO - Atoms: 43593/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 7866876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.183 Prop: 8140.567 PropClause: 7926.667 Set: 1832.336 Check: 0.0 Back: 189.514
INFO - Atoms: 44548/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 7911615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.194 Prop: 8179.874 PropClause: 7964.852 Set: 1852.996 Check: 0.0 Back: 190.609
INFO - Atoms: 44739/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 7956418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.202 Prop: 8224.158 PropClause: 8008.025 Set: 1861.749 Check: 0.0 Back: 191.677
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 8000903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 8266.297 PropClause: 8049.061 Set: 1870.339 Check: 0.0 Back: 192.751
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 8045641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.216 Prop: 8308.277 PropClause: 8089.931 Set: 1878.888 Check: 0.0 Back: 193.813
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 8089232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.223 Prop: 8348.701 PropClause: 8129.273 Set: 1887.223 Check: 0.0 Back: 194.908
INFO - Atoms: 43591/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 8133778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 8391.32 PropClause: 8170.784 Set: 1896.002 Check: 0.0 Back: 195.957
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 8178519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.239 Prop: 8434.613 PropClause: 8212.956 Set: 1904.78 Check: 0.0 Back: 197.032
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 8223322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.248 Prop: 8477.581 PropClause: 8254.806 Set: 1913.499 Check: 0.0 Back: 198.12
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 8267807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.256 Prop: 8520.244 PropClause: 8296.359 Set: 1922.104 Check: 0.0 Back: 199.204
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 8312545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.264 Prop: 8559.043 PropClause: 8334.043 Set: 1930.723 Check: 0.0 Back: 200.27
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 8356137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.271 Prop: 8601.666 PropClause: 8375.575 Set: 1939.04 Check: 0.0 Back: 201.344
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 8400684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 8642.531 PropClause: 8415.332 Set: 1947.645 Check: 0.0 Back: 202.38
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 8445424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.29 Prop: 8687.543 PropClause: 8459.229 Set: 1956.473 Check: 0.0 Back: 203.459
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 8490227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.299 Prop: 8731.291 PropClause: 8501.853 Set: 1965.194 Check: 0.0 Back: 204.544
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 8534712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.306 Prop: 8771.886 PropClause: 8541.335 Set: 1973.812 Check: 0.0 Back: 205.635
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 8579450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 8817.362 PropClause: 8585.694 Set: 1982.569 Check: 0.0 Back: 206.714
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 8623042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.323 Prop: 8860.854 PropClause: 8628.099 Set: 1991.078 Check: 0.0 Back: 207.803
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 8667589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.33 Prop: 8904.234 PropClause: 8670.369 Set: 1999.788 Check: 0.0 Back: 208.856
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 8712329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.337 Prop: 8944.363 PropClause: 8709.374 Set: 2008.449 Check: 0.0 Back: 209.932
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 8757134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.345 Prop: 8988.117 PropClause: 8752.016 Set: 2017.193 Check: 0.0 Back: 211.015
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 8801619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.354 Prop: 9031.1 PropClause: 8793.885 Set: 2025.838 Check: 0.0 Back: 212.101
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 8846357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.363 Prop: 9074.294 PropClause: 8835.96 Set: 2034.634 Check: 0.0 Back: 213.177
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 8889949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 9117.953 PropClause: 8878.536 Set: 2043.032 Check: 0.0 Back: 214.26
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 8934496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.377 Prop: 9160.65 PropClause: 8920.108 Set: 2051.892 Check: 0.0 Back: 215.296
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 8979236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.386 Prop: 9202.221 PropClause: 8960.57 Set: 2060.486 Check: 0.0 Back: 216.39
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 9024041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.393 Prop: 9244.474 PropClause: 9001.696 Set: 2069.071 Check: 0.0 Back: 217.452
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 9068526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.4 Prop: 9285.494 PropClause: 9041.603 Set: 2077.505 Check: 0.0 Back: 218.535
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 9113264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 9323.715 PropClause: 9078.709 Set: 2086.079 Check: 0.0 Back: 219.593
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 9156856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 9364.882 PropClause: 9118.795 Set: 2116.101 Check: 0.0 Back: 220.674
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 9201402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.425 Prop: 9404.811 PropClause: 9157.613 Set: 2124.636 Check: 0.0 Back: 221.687
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 9246143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.432 Prop: 9446.44 PropClause: 9198.124 Set: 2133.317 Check: 0.0 Back: 222.748
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 9290948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.439 Prop: 9487.895 PropClause: 9238.462 Set: 2141.986 Check: 0.0 Back: 223.819
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 9335433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.448 Prop: 9530.113 PropClause: 9279.551 Set: 2150.526 Check: 0.0 Back: 224.914
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 9380171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.458 Prop: 9573.565 PropClause: 9321.885 Set: 2159.31 Check: 0.0 Back: 225.977
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 9423705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.467 Prop: 9614.551 PropClause: 9361.791 Set: 2167.66 Check: 0.0 Back: 227.072
INFO - Atoms: 43534/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 9468252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.475 Prop: 9656.817 PropClause: 9402.946 Set: 2176.529 Check: 0.0 Back: 228.113
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 9512992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 9697.548 PropClause: 9442.56 Set: 2185.071 Check: 0.0 Back: 229.189
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 9557795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 9739.182 PropClause: 9483.056 Set: 2193.598 Check: 0.0 Back: 230.259
INFO - Atoms: 44803/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 9602280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.497 Prop: 9783.239 PropClause: 9525.993 Set: 2202.133 Check: 0.0 Back: 231.336
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 9647018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.503 Prop: 9823.642 PropClause: 9565.282 Set: 2210.645 Check: 0.0 Back: 232.396
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 9690610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.51 Prop: 9863.154 PropClause: 9603.713 Set: 2218.849 Check: 0.0 Back: 233.48
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 9735157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 9905.937 PropClause: 9645.383 Set: 2227.671 Check: 0.0 Back: 234.532
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 9779897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.53 Prop: 9947.661 PropClause: 9685.967 Set: 2236.372 Check: 0.0 Back: 235.617
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 9824702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 9988.861 PropClause: 9726.052 Set: 2244.92 Check: 0.0 Back: 236.698
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 9869187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.546 Prop: 10029.389 PropClause: 9765.478 Set: 2253.311 Check: 0.0 Back: 237.774
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 9913925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.552 Prop: 10065.209 PropClause: 9800.185 Set: 2261.783 Check: 0.0 Back: 238.842
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 9957516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.559 Prop: 10105.687 PropClause: 9839.582 Set: 2270.064 Check: 0.0 Back: 239.928
INFO - Atoms: 43591/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 10002063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.567 Prop: 10147.256 PropClause: 9879.964 Set: 2278.874 Check: 0.0 Back: 240.966
INFO - Atoms: 44547/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 10046803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 10188.426 PropClause: 9920.02 Set: 2287.485 Check: 0.0 Back: 242.031
INFO - Atoms: 44740/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 10091608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.584 Prop: 10229.445 PropClause: 9959.927 Set: 2295.985 Check: 0.0 Back: 243.098
INFO - Atoms: 44805/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 10136093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.592 Prop: 10269.376 PropClause: 9998.755 Set: 2304.373 Check: 0.0 Back: 244.173
INFO - Atoms: 44485/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 10180831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.602 Prop: 10310.352 PropClause: 10038.625 Set: 2312.859 Check: 0.0 Back: 245.226
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 10224422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.611 Prop: 10350.782 PropClause: 10077.969 Set: 2321.164 Check: 0.0 Back: 246.29
INFO - Atoms: 43591/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 10268968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.619 Prop: 10391.399 PropClause: 10117.473 Set: 2329.824 Check: 0.0 Back: 247.32
INFO - Atoms: 44546/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 10313709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.626 Prop: 10432.754 PropClause: 10157.704 Set: 2338.286 Check: 0.0 Back: 248.368
INFO - Atoms: 44741/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 10357244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 10475.836 PropClause: 10199.703 Set: 2346.593 Check: 0.0 Back: 249.432
INFO - Atoms: 43535/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 10401982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.639 Prop: 10517.769 PropClause: 10240.528 Set: 2355.284 Check: 0.0 Back: 250.481
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 10446531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.647 Prop: 10558.83 PropClause: 10280.488 Set: 2363.801 Check: 0.0 Back: 251.541
INFO - Atoms: 44549/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 10491391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 10601.699 PropClause: 10322.179 Set: 2373.071 Check: 0.0 Back: 252.605
INFO - Atoms: 44860/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 10536128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.666 Prop: 10642.107 PropClause: 10361.471 Set: 2381.869 Check: 0.0 Back: 253.709
INFO - Atoms: 44737/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 10580615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.676 Prop: 10684.392 PropClause: 10402.651 Set: 2390.546 Check: 0.0 Back: 254.783
INFO - Atoms: 44487/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 10624150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.686 Prop: 10725.363 PropClause: 10442.536 Set: 2398.886 Check: 0.0 Back: 255.866
INFO - Atoms: 43535/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 10668888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.695 Prop: 10765.763 PropClause: 10481.819 Set: 2407.575 Check: 0.0 Back: 256.911
INFO - Atoms: 44738/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 10713437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.703 Prop: 10806.971 PropClause: 10521.919 Set: 2416.116 Check: 0.0 Back: 257.969
INFO - Atoms: 44549/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 10758297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.713 Prop: 10850.221 PropClause: 10563.944 Set: 2425.627 Check: 0.0 Back: 259.05
INFO - Atoms: 44860/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 10802915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 10892.336 PropClause: 10604.943 Set: 2434.377 Check: 0.0 Back: 260.131
INFO - Atoms: 44618/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 10847401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.733 Prop: 10932.826 PropClause: 10644.321 Set: 2442.936 Check: 0.0 Back: 261.217
INFO - Atoms: 44486/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 10892052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.743 Prop: 10975.768 PropClause: 10686.144 Set: 2451.886 Check: 0.0 Back: 262.286
INFO - Atoms: 44651/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 10936384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.753 Prop: 11015.646 PropClause: 10724.907 Set: 2460.55 Check: 0.0 Back: 263.367
INFO - Atoms: 44332/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 10980847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.763 Prop: 11058.681 PropClause: 10766.814 Set: 2469.337 Check: 0.0 Back: 264.458
INFO - Atoms: 44463/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 11024439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.772 Prop: 11102.64 PropClause: 10809.555 Set: 2478.77 Check: 0.0 Back: 265.62
INFO - Atoms: 43592/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 11068616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.781 Prop: 11143.735 PropClause: 10849.547 Set: 2487.589 Check: 0.0 Back: 266.675
INFO - Atoms: 44177/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 11112796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.792 Prop: 11187.167 PropClause: 10891.876 Set: 2496.304 Check: 0.0 Back: 267.735
INFO - Atoms: 44180/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 11156976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 11230.866 PropClause: 10934.465 Set: 2505.071 Check: 0.0 Back: 268.796
INFO - Atoms: 44180/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 11200868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.879 Prop: 11272.679 PropClause: 10975.185 Set: 2513.699 Check: 0.0 Back: 269.86
INFO - Atoms: 43892/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 11244383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.887 Prop: 11313.86 PropClause: 11015.281 Set: 2522.137 Check: 0.0 Back: 270.904
INFO - Atoms: 43515/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 11288215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.896 Prop: 11354.202 PropClause: 11054.529 Set: 2530.658 Check: 0.0 Back: 271.948
INFO - Atoms: 43832/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 11331985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 11393.183 PropClause: 11092.419 Set: 2539.02 Check: 0.0 Back: 272.992
INFO - Atoms: 43770/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 11375819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.914 Prop: 11432.719 PropClause: 11130.86 Set: 2547.356 Check: 0.0 Back: 274.057
INFO - Atoms: 43834/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 11419334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.923 Prop: 11473.532 PropClause: 11170.588 Set: 2555.74 Check: 0.0 Back: 275.097
INFO - Atoms: 43515/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 11463166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.933 Prop: 11516.714 PropClause: 11212.645 Set: 2564.558 Check: 0.0 Back: 276.149
INFO - Atoms: 43832/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 11506682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 11558.867 PropClause: 11253.696 Set: 2573.209 Check: 0.0 Back: 277.207
INFO - Atoms: 43516/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 11550199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.954 Prop: 11596.831 PropClause: 11290.572 Set: 2581.669 Check: 0.0 Back: 278.276
INFO - Atoms: 43517/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 11592767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.964 Prop: 11636.609 PropClause: 11329.283 Set: 2589.737 Check: 0.0 Back: 279.321
INFO - Atoms: 42568/62912 Clauses: 389 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 747 Props: 15406839 Tprops: 0 Decides: 15811 RSplits: 0
INFO - Times: Expl: 2178.983 Prop: 15022.231 PropClause: 14606.692 Set: 2692.397 Check: 0.402 Back: 372.368
INFO - Atoms: 20877/62912 Clauses: 888 Axioms: 208498
INFO - Confl: 903 Props: 16173101 Tprops: 0 Decides: 19744 RSplits: 0
INFO - Times: Expl: 2475.748 Prop: 15618.112 PropClause: 15179.839 Set: 2710.947 Check: 0.498 Back: 390.59
INFO - Atoms: 20931/62912 Clauses: 1044 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 249 Props: 20957 Tprops: 4816 Decides: 20572 RSplits: 0
INFO - Times: Expl: 121.932 Prop: 35642.269 PropClause: 9.189 Set: 2252.201 Check: 89.888 Back: 73.23
INFO - Atoms: 460/582 Clauses: 249 Axioms: 582
INFO - CCTimes: iE 242130 eq 15309239 cc 42854095 setRep 23336231
INFO - Merges: 160449, cc:250754
INFO - BVTimes: BB 301117880 BB_DPLL 32357675437 Graph 544548
INFO - BitBlastingClauses: 304722 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat