/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: 278820275
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 62907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.649 Prop: 125.861 PropClause: 108.241 Set: 41.867 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.688 Prop: 265.084 PropClause: 242.642 Set: 63.092 Check: 0.0 Back: 1.609
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.751 Prop: 344.405 PropClause: 318.963 Set: 77.262 Check: 0.0 Back: 3.271
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.833 Prop: 419.868 PropClause: 392.344 Set: 91.469 Check: 0.0 Back: 4.766
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.897 Prop: 488.749 PropClause: 459.253 Set: 103.979 Check: 0.0 Back: 6.296
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: 0.944 Prop: 556.236 PropClause: 524.812 Set: 116.803 Check: 0.0 Back: 7.741
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: 0.992 Prop: 640.685 PropClause: 607.102 Set: 141.266 Check: 0.0 Back: 9.164
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.038 Prop: 719.553 PropClause: 683.794 Set: 164.317 Check: 0.0 Back: 10.739
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.083 Prop: 787.023 PropClause: 749.547 Set: 176.494 Check: 0.0 Back: 12.294
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.133 Prop: 851.669 PropClause: 812.47 Set: 188.307 Check: 0.0 Back: 13.753
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.178 Prop: 917.477 PropClause: 876.573 Set: 200.218 Check: 0.0 Back: 15.193
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.219 Prop: 978.588 PropClause: 935.995 Set: 211.827 Check: 0.0 Back: 16.624
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.264 Prop: 1044.447 PropClause: 1000.16 Set: 223.51 Check: 0.0 Back: 18.171
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.303 Prop: 1108.667 PropClause: 1062.712 Set: 235.145 Check: 0.0 Back: 19.704
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.349 Prop: 1174.545 PropClause: 1126.925 Set: 246.701 Check: 0.0 Back: 21.247
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.39 Prop: 1238.636 PropClause: 1189.363 Set: 263.724 Check: 0.0 Back: 22.651
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.429 Prop: 1302.287 PropClause: 1251.374 Set: 280.28 Check: 0.0 Back: 24.008
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.471 Prop: 1364.903 PropClause: 1312.345 Set: 296.814 Check: 0.0 Back: 25.366
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.512 Prop: 1429.25 PropClause: 1375.065 Set: 308.301 Check: 0.0 Back: 26.701
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.555 Prop: 1497.071 PropClause: 1441.25 Set: 320.082 Check: 0.0 Back: 28.05
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.6 Prop: 1561.071 PropClause: 1503.637 Set: 331.475 Check: 0.0 Back: 29.395
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.648 Prop: 1622.799 PropClause: 1563.731 Set: 342.839 Check: 0.0 Back: 30.758
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.689 Prop: 1683.117 PropClause: 1622.457 Set: 354.107 Check: 0.0 Back: 32.065
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.734 Prop: 1743.765 PropClause: 1681.52 Set: 365.193 Check: 0.0 Back: 33.374
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.777 Prop: 1806.114 PropClause: 1742.276 Set: 376.319 Check: 0.0 Back: 34.663
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: 1.825 Prop: 1876.099 PropClause: 1810.332 Set: 416.434 Check: 0.0 Back: 35.96
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: 1.927 Prop: 1937.673 PropClause: 1870.35 Set: 427.484 Check: 0.0 Back: 37.269
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: 1.966 Prop: 1995.207 PropClause: 1926.329 Set: 438.137 Check: 0.0 Back: 38.557
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.008 Prop: 2054.67 PropClause: 1984.237 Set: 449.04 Check: 0.0 Back: 39.823
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.052 Prop: 2116.369 PropClause: 2044.359 Set: 459.903 Check: 0.0 Back: 41.092
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.098 Prop: 2180.025 PropClause: 2106.467 Set: 470.786 Check: 0.0 Back: 42.363
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.139 Prop: 2239.154 PropClause: 2164.057 Set: 481.431 Check: 0.0 Back: 43.65
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.186 Prop: 2299.434 PropClause: 2222.795 Set: 492.058 Check: 0.0 Back: 44.91
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.227 Prop: 2356.586 PropClause: 2278.413 Set: 505.667 Check: 0.0 Back: 46.163
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.268 Prop: 2417.013 PropClause: 2337.367 Set: 521.028 Check: 0.0 Back: 47.411
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.305 Prop: 2473.929 PropClause: 2392.771 Set: 536.177 Check: 0.0 Back: 48.663
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.344 Prop: 2529.105 PropClause: 2446.454 Set: 551.101 Check: 0.0 Back: 49.913
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.39 Prop: 2583.0 PropClause: 2498.863 Set: 566.074 Check: 0.0 Back: 51.137
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.431 Prop: 2642.294 PropClause: 2556.691 Set: 580.656 Check: 0.0 Back: 52.364
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.47 Prop: 2697.321 PropClause: 2610.252 Set: 594.906 Check: 0.0 Back: 53.576
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.509 Prop: 2753.088 PropClause: 2664.564 Set: 609.031 Check: 0.0 Back: 54.785
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.564 Prop: 2805.393 PropClause: 2715.41 Set: 633.908 Check: 0.0 Back: 55.984
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.606 Prop: 2859.373 PropClause: 2767.932 Set: 643.936 Check: 0.0 Back: 57.173
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.65 Prop: 2913.088 PropClause: 2820.201 Set: 653.792 Check: 0.0 Back: 58.378
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.695 Prop: 2967.35 PropClause: 2873.039 Set: 663.686 Check: 0.0 Back: 59.548
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.741 Prop: 3021.39 PropClause: 2925.654 Set: 673.483 Check: 0.0 Back: 60.719
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: 2.781 Prop: 3075.309 PropClause: 2978.174 Set: 683.037 Check: 0.0 Back: 61.934
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: 2.824 Prop: 3132.424 PropClause: 3033.896 Set: 692.739 Check: 0.0 Back: 63.103
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: 2.879 Prop: 3188.369 PropClause: 3088.456 Set: 702.231 Check: 0.0 Back: 64.255
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: 2.918 Prop: 3238.787 PropClause: 3137.493 Set: 711.46 Check: 0.0 Back: 65.4
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: 2.959 Prop: 3289.408 PropClause: 3186.737 Set: 720.704 Check: 0.0 Back: 66.525
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: 2.999 Prop: 3339.875 PropClause: 3235.85 Set: 729.833 Check: 0.0 Back: 67.647
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.142 Prop: 3389.503 PropClause: 3284.13 Set: 739.076 Check: 0.0 Back: 68.754
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.162 Prop: 3437.674 PropClause: 3330.945 Set: 748.196 Check: 0.0 Back: 69.855
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.183 Prop: 3486.907 PropClause: 3378.855 Set: 757.836 Check: 0.0 Back: 70.953
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.205 Prop: 3534.644 PropClause: 3425.286 Set: 766.563 Check: 0.0 Back: 72.021
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.227 Prop: 3582.96 PropClause: 3472.292 Set: 775.462 Check: 0.0 Back: 73.106
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.247 Prop: 3629.617 PropClause: 3517.663 Set: 784.199 Check: 0.0 Back: 74.174
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.266 Prop: 3676.729 PropClause: 3563.494 Set: 792.984 Check: 0.0 Back: 75.224
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.286 Prop: 3723.092 PropClause: 3608.59 Set: 801.501 Check: 0.0 Back: 76.269
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.305 Prop: 3764.392 PropClause: 3648.647 Set: 809.89 Check: 0.0 Back: 77.302
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.325 Prop: 3804.097 PropClause: 3687.102 Set: 818.314 Check: 0.0 Back: 78.328
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.345 Prop: 3843.735 PropClause: 3725.499 Set: 826.643 Check: 0.0 Back: 79.354
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.363 Prop: 3882.256 PropClause: 3762.795 Set: 834.887 Check: 0.0 Back: 80.372
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.381 Prop: 3921.526 PropClause: 3800.836 Set: 843.066 Check: 0.0 Back: 81.394
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.401 Prop: 3961.438 PropClause: 3839.541 Set: 851.023 Check: 0.0 Back: 82.399
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.42 Prop: 4002.828 PropClause: 3879.725 Set: 859.157 Check: 0.0 Back: 83.392
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.44 Prop: 4041.942 PropClause: 3917.642 Set: 867.05 Check: 0.0 Back: 84.398
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.461 Prop: 4080.092 PropClause: 3954.61 Set: 874.818 Check: 0.0 Back: 85.375
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.483 Prop: 4117.88 PropClause: 3991.176 Set: 882.957 Check: 0.0 Back: 86.347
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.504 Prop: 4165.603 PropClause: 4037.391 Set: 894.101 Check: 0.0 Back: 87.33
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.526 Prop: 4213.508 PropClause: 4083.778 Set: 904.889 Check: 0.0 Back: 88.433
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.547 Prop: 4262.117 PropClause: 4130.843 Set: 916.003 Check: 0.0 Back: 89.56
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.569 Prop: 4312.039 PropClause: 4179.226 Set: 927.379 Check: 0.0 Back: 90.684
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.591 Prop: 4360.613 PropClause: 4226.306 Set: 938.29 Check: 0.0 Back: 91.826
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.614 Prop: 4410.376 PropClause: 4274.5 Set: 948.874 Check: 0.0 Back: 92.926
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.634 Prop: 4453.085 PropClause: 4315.951 Set: 957.304 Check: 0.0 Back: 94.091
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.654 Prop: 4491.077 PropClause: 4352.742 Set: 965.435 Check: 0.0 Back: 95.108
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.674 Prop: 4531.287 PropClause: 4391.703 Set: 973.958 Check: 0.0 Back: 96.093
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.693 Prop: 4570.554 PropClause: 4429.729 Set: 982.451 Check: 0.0 Back: 97.102
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.711 Prop: 4611.387 PropClause: 4469.322 Set: 994.331 Check: 0.0 Back: 98.112
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: 3.729 Prop: 4653.867 PropClause: 4510.569 Set: 1006.488 Check: 0.0 Back: 99.13
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: 3.755 Prop: 4696.332 PropClause: 4551.792 Set: 1018.574 Check: 0.0 Back: 100.135
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: 3.774 Prop: 4736.386 PropClause: 4590.625 Set: 1030.225 Check: 0.0 Back: 101.153
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: 3.796 Prop: 4775.705 PropClause: 4628.706 Set: 1060.536 Check: 0.0 Back: 102.139
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: 3.815 Prop: 4813.464 PropClause: 4665.211 Set: 1068.901 Check: 0.0 Back: 103.177
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: 3.834 Prop: 4854.56 PropClause: 4705.058 Set: 1077.419 Check: 0.0 Back: 104.199
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: 3.857 Prop: 4901.266 PropClause: 4750.194 Set: 1087.964 Check: 0.0 Back: 105.23
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: 3.878 Prop: 4943.709 PropClause: 4791.386 Set: 1096.427 Check: 0.0 Back: 106.348
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: 3.895 Prop: 4983.827 PropClause: 4830.282 Set: 1104.415 Check: 0.0 Back: 107.368
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: 3.913 Prop: 5021.952 PropClause: 4867.171 Set: 1112.779 Check: 0.0 Back: 108.357
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: 3.93 Prop: 5063.29 PropClause: 4907.255 Set: 1121.441 Check: 0.0 Back: 109.372
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: 3.948 Prop: 5105.454 PropClause: 4948.168 Set: 1130.094 Check: 0.0 Back: 110.405
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: 3.968 Prop: 5148.448 PropClause: 4989.919 Set: 1138.655 Check: 0.0 Back: 111.441
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.02 Prop: 5189.785 PropClause: 5030.014 Set: 1147.153 Check: 0.0 Back: 112.481
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.079 Prop: 5229.823 PropClause: 5068.832 Set: 1155.403 Check: 0.0 Back: 113.495
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.096 Prop: 5270.456 PropClause: 5108.235 Set: 1163.912 Check: 0.0 Back: 114.485
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.155 Prop: 5311.188 PropClause: 5147.718 Set: 1172.33 Check: 0.0 Back: 115.511
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.216 Prop: 5351.472 PropClause: 5186.742 Set: 1180.944 Check: 0.0 Back: 116.55
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.23 Prop: 5391.608 PropClause: 5225.64 Set: 1189.472 Check: 0.0 Back: 117.574
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.247 Prop: 5429.888 PropClause: 5262.682 Set: 1197.936 Check: 0.0 Back: 118.59
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.261 Prop: 5467.241 PropClause: 5298.815 Set: 1206.142 Check: 0.0 Back: 119.622
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.278 Prop: 5506.958 PropClause: 5337.293 Set: 1214.819 Check: 0.0 Back: 120.615
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.293 Prop: 5545.098 PropClause: 5374.207 Set: 1223.335 Check: 0.0 Back: 121.626
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.309 Prop: 5591.943 PropClause: 5419.496 Set: 1234.024 Check: 0.0 Back: 122.656
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.323 Prop: 5630.902 PropClause: 5457.217 Set: 1242.445 Check: 0.0 Back: 123.688
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.339 Prop: 5669.398 PropClause: 5494.47 Set: 1251.0 Check: 0.0 Back: 124.699
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.355 Prop: 5707.149 PropClause: 5531.016 Set: 1259.111 Check: 0.0 Back: 125.732
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.41 Prop: 5746.098 PropClause: 5568.72 Set: 1267.581 Check: 0.0 Back: 126.727
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.48 Prop: 5786.97 PropClause: 5608.342 Set: 1276.244 Check: 0.0 Back: 127.807
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.534 Prop: 5826.397 PropClause: 5646.522 Set: 1298.978 Check: 0.0 Back: 128.859
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.581 Prop: 5864.34 PropClause: 5683.23 Set: 1307.428 Check: 0.0 Back: 129.879
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.594 Prop: 5904.078 PropClause: 5721.699 Set: 1316.047 Check: 0.0 Back: 130.905
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.608 Prop: 5943.122 PropClause: 5759.508 Set: 1324.363 Check: 0.0 Back: 131.947
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.625 Prop: 5982.413 PropClause: 5797.538 Set: 1333.04 Check: 0.0 Back: 132.958
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.637 Prop: 6020.651 PropClause: 5834.524 Set: 1341.669 Check: 0.0 Back: 133.991
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.649 Prop: 6059.177 PropClause: 5871.803 Set: 1350.137 Check: 0.0 Back: 135.014
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.662 Prop: 6097.348 PropClause: 5908.729 Set: 1358.5 Check: 0.0 Back: 136.04
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.676 Prop: 6136.099 PropClause: 5946.23 Set: 1367.087 Check: 0.0 Back: 137.06
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.69 Prop: 6174.006 PropClause: 5982.909 Set: 1375.32 Check: 0.0 Back: 138.084
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.703 Prop: 6212.733 PropClause: 6020.397 Set: 1383.9 Check: 0.0 Back: 139.071
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.72 Prop: 6261.448 PropClause: 6067.552 Set: 1394.732 Check: 0.0 Back: 140.086
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.737 Prop: 6311.839 PropClause: 6116.373 Set: 1405.424 Check: 0.0 Back: 141.215
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.78 Prop: 6349.959 PropClause: 6153.253 Set: 1413.84 Check: 0.0 Back: 142.364
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.789 Prop: 6389.304 PropClause: 6191.365 Set: 1422.298 Check: 0.0 Back: 143.386
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.797 Prop: 6428.318 PropClause: 6229.173 Set: 1430.543 Check: 0.0 Back: 144.411
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.806 Prop: 6467.5 PropClause: 6267.117 Set: 1439.057 Check: 0.0 Back: 145.402
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.815 Prop: 6507.62 PropClause: 6305.966 Set: 1447.673 Check: 0.0 Back: 146.424
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.824 Prop: 6547.346 PropClause: 6344.445 Set: 1456.407 Check: 0.0 Back: 147.504
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.833 Prop: 6589.531 PropClause: 6385.379 Set: 1465.155 Check: 0.0 Back: 148.534
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.843 Prop: 6631.515 PropClause: 6426.113 Set: 1473.963 Check: 0.0 Back: 149.552
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.853 Prop: 6670.066 PropClause: 6463.452 Set: 1482.174 Check: 0.0 Back: 150.64
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.863 Prop: 6708.473 PropClause: 6500.624 Set: 1490.673 Check: 0.0 Back: 151.631
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.872 Prop: 6747.102 PropClause: 6538.011 Set: 1499.136 Check: 0.0 Back: 152.644
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.881 Prop: 6788.333 PropClause: 6577.987 Set: 1507.837 Check: 0.0 Back: 153.656
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.889 Prop: 6827.062 PropClause: 6615.478 Set: 1516.425 Check: 0.0 Back: 154.689
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.897 Prop: 6866.889 PropClause: 6654.067 Set: 1545.92 Check: 0.0 Back: 155.698
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.906 Prop: 6905.605 PropClause: 6691.568 Set: 1554.198 Check: 0.0 Back: 156.72
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.918 Prop: 6949.661 PropClause: 6734.288 Set: 1563.713 Check: 0.0 Back: 157.727
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.928 Prop: 6997.366 PropClause: 6780.35 Set: 1574.538 Check: 0.0 Back: 158.785
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.938 Prop: 7036.544 PropClause: 6818.278 Set: 1583.178 Check: 0.0 Back: 159.831
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.946 Prop: 7075.664 PropClause: 6856.177 Set: 1591.682 Check: 0.0 Back: 160.855
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: 4.954 Prop: 7115.831 PropClause: 6895.1 Set: 1600.312 Check: 0.0 Back: 161.879
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: 4.963 Prop: 7154.67 PropClause: 6932.722 Set: 1608.573 Check: 0.0 Back: 162.917
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: 4.972 Prop: 7194.168 PropClause: 6970.971 Set: 1617.179 Check: 0.0 Back: 163.917
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: 4.98 Prop: 7233.132 PropClause: 7008.691 Set: 1625.792 Check: 0.0 Back: 164.933
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: 4.989 Prop: 7273.11 PropClause: 7047.427 Set: 1634.423 Check: 0.0 Back: 165.943
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: 4.997 Prop: 7311.248 PropClause: 7084.328 Set: 1642.824 Check: 0.0 Back: 166.971
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.006 Prop: 7350.405 PropClause: 7122.25 Set: 1651.411 Check: 0.0 Back: 167.978
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.017 Prop: 7393.074 PropClause: 7163.639 Set: 1660.506 Check: 0.0 Back: 169.02
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.027 Prop: 7433.784 PropClause: 7203.126 Set: 1669.165 Check: 0.0 Back: 170.108
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.036 Prop: 7473.484 PropClause: 7241.591 Set: 1677.685 Check: 0.0 Back: 171.144
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.045 Prop: 7511.53 PropClause: 7278.424 Set: 1685.979 Check: 0.0 Back: 172.151
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.053 Prop: 7549.455 PropClause: 7315.104 Set: 1694.494 Check: 0.0 Back: 173.142
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.062 Prop: 7588.294 PropClause: 7352.699 Set: 1703.065 Check: 0.0 Back: 174.16
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.071 Prop: 7627.267 PropClause: 7390.441 Set: 1711.723 Check: 0.0 Back: 175.182
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.08 Prop: 7667.611 PropClause: 7429.561 Set: 1720.377 Check: 0.0 Back: 176.214
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.089 Prop: 7708.749 PropClause: 7469.449 Set: 1728.924 Check: 0.0 Back: 177.246
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.1 Prop: 7750.899 PropClause: 7510.322 Set: 1737.9 Check: 0.0 Back: 178.281
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.109 Prop: 7790.61 PropClause: 7548.802 Set: 1746.571 Check: 0.0 Back: 179.337
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.117 Prop: 7829.087 PropClause: 7586.052 Set: 1755.265 Check: 0.0 Back: 180.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.127 Prop: 7866.762 PropClause: 7622.526 Set: 1763.519 Check: 0.0 Back: 181.439
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.137 Prop: 7909.564 PropClause: 7664.027 Set: 1772.812 Check: 0.0 Back: 182.435
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.148 Prop: 7950.813 PropClause: 7704.023 Set: 1781.558 Check: 0.0 Back: 183.484
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.158 Prop: 7989.672 PropClause: 7741.647 Set: 1790.128 Check: 0.0 Back: 184.511
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.166 Prop: 8028.497 PropClause: 7779.237 Set: 1798.703 Check: 0.0 Back: 185.53
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.175 Prop: 8067.431 PropClause: 7816.928 Set: 1807.279 Check: 0.0 Back: 186.546
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.184 Prop: 8105.401 PropClause: 7853.686 Set: 1815.484 Check: 0.0 Back: 187.567
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.191 Prop: 8143.633 PropClause: 7890.684 Set: 1824.021 Check: 0.0 Back: 188.549
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.199 Prop: 8182.807 PropClause: 7928.613 Set: 1832.599 Check: 0.0 Back: 189.559
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.207 Prop: 8224.367 PropClause: 7968.929 Set: 1841.308 Check: 0.0 Back: 190.572
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.214 Prop: 8262.738 PropClause: 8006.064 Set: 1849.821 Check: 0.0 Back: 191.593
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.224 Prop: 8302.484 PropClause: 8044.567 Set: 1858.466 Check: 0.0 Back: 192.603
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.233 Prop: 8340.887 PropClause: 8081.75 Set: 1866.715 Check: 0.0 Back: 193.63
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.241 Prop: 8379.099 PropClause: 8118.728 Set: 1875.213 Check: 0.0 Back: 194.615
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.25 Prop: 8417.77 PropClause: 8156.154 Set: 1883.76 Check: 0.0 Back: 195.628
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.258 Prop: 8458.651 PropClause: 8195.791 Set: 1892.412 Check: 0.0 Back: 196.645
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.266 Prop: 8500.37 PropClause: 8236.252 Set: 1901.043 Check: 0.0 Back: 197.679
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.274 Prop: 8540.065 PropClause: 8274.7 Set: 1909.613 Check: 0.0 Back: 198.702
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.282 Prop: 8580.17 PropClause: 8313.602 Set: 1917.957 Check: 0.0 Back: 199.731
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.29 Prop: 8621.063 PropClause: 8353.252 Set: 1926.725 Check: 0.0 Back: 200.732
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.299 Prop: 8661.072 PropClause: 8392.014 Set: 1935.37 Check: 0.0 Back: 201.75
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.307 Prop: 8701.107 PropClause: 8430.801 Set: 1944.025 Check: 0.0 Back: 202.768
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.315 Prop: 8740.038 PropClause: 8468.484 Set: 1952.449 Check: 0.0 Back: 203.799
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.324 Prop: 8778.902 PropClause: 8506.1 Set: 1961.093 Check: 0.0 Back: 204.809
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.331 Prop: 8819.035 PropClause: 8545.018 Set: 1969.445 Check: 0.0 Back: 205.847
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.339 Prop: 8857.691 PropClause: 8582.426 Set: 1978.069 Check: 0.0 Back: 206.839
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.348 Prop: 8896.98 PropClause: 8620.464 Set: 1986.843 Check: 0.0 Back: 207.859
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.357 Prop: 8939.487 PropClause: 8661.713 Set: 1995.847 Check: 0.0 Back: 208.9
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.367 Prop: 8980.382 PropClause: 8701.356 Set: 2004.576 Check: 0.0 Back: 209.955
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.375 Prop: 9023.59 PropClause: 8743.311 Set: 2013.354 Check: 0.0 Back: 210.986
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.384 Prop: 9063.267 PropClause: 8781.765 Set: 2021.71 Check: 0.0 Back: 212.01
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.394 Prop: 9101.814 PropClause: 8819.07 Set: 2030.422 Check: 0.0 Back: 213.013
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.402 Prop: 9140.961 PropClause: 8856.971 Set: 2039.089 Check: 0.0 Back: 214.035
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.412 Prop: 9180.72 PropClause: 8895.485 Set: 2047.807 Check: 0.0 Back: 215.061
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.422 Prop: 9221.432 PropClause: 8934.957 Set: 2056.425 Check: 0.0 Back: 216.096
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.431 Prop: 9260.299 PropClause: 8972.574 Set: 2065.076 Check: 0.0 Back: 217.112
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.442 Prop: 9301.813 PropClause: 9012.873 Set: 2073.495 Check: 0.0 Back: 218.136
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.451 Prop: 9340.543 PropClause: 9050.363 Set: 2082.139 Check: 0.0 Back: 219.142
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.458 Prop: 9378.327 PropClause: 9086.903 Set: 2090.701 Check: 0.0 Back: 220.161
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.465 Prop: 9417.602 PropClause: 9124.932 Set: 2099.26 Check: 0.0 Back: 221.188
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.474 Prop: 9456.172 PropClause: 9162.262 Set: 2107.814 Check: 0.0 Back: 222.204
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.484 Prop: 9495.667 PropClause: 9200.505 Set: 2116.489 Check: 0.0 Back: 223.22
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.492 Prop: 9533.942 PropClause: 9237.56 Set: 2124.812 Check: 0.0 Back: 224.249
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.501 Prop: 9572.892 PropClause: 9275.268 Set: 2133.479 Check: 0.0 Back: 225.243
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.509 Prop: 9611.51 PropClause: 9312.638 Set: 2142.164 Check: 0.0 Back: 226.26
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.518 Prop: 9650.82 PropClause: 9350.699 Set: 2150.789 Check: 0.0 Back: 227.274
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.527 Prop: 9690.425 PropClause: 9389.063 Set: 2159.521 Check: 0.0 Back: 228.297
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.537 Prop: 9730.001 PropClause: 9427.389 Set: 2168.176 Check: 0.0 Back: 229.312
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.547 Prop: 9769.848 PropClause: 9466.008 Set: 2176.501 Check: 0.0 Back: 230.335
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.557 Prop: 9810.982 PropClause: 9505.898 Set: 2185.244 Check: 0.0 Back: 231.321
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.568 Prop: 9851.348 PropClause: 9545.025 Set: 2193.901 Check: 0.0 Back: 232.345
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.577 Prop: 9892.692 PropClause: 9585.138 Set: 2202.641 Check: 0.0 Back: 233.364
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.586 Prop: 9933.584 PropClause: 9624.79 Set: 2211.276 Check: 0.0 Back: 234.386
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.594 Prop: 9977.287 PropClause: 9667.244 Set: 2220.138 Check: 0.0 Back: 235.394
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.602 Prop: 10021.005 PropClause: 9709.739 Set: 2228.698 Check: 0.0 Back: 236.42
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.611 Prop: 10061.267 PropClause: 9748.759 Set: 2237.461 Check: 0.0 Back: 237.427
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.62 Prop: 10102.814 PropClause: 9789.07 Set: 2246.312 Check: 0.0 Back: 238.444
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.627 Prop: 10144.004 PropClause: 9829.036 Set: 2254.834 Check: 0.0 Back: 239.477
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.636 Prop: 10184.753 PropClause: 9868.536 Set: 2263.609 Check: 0.0 Back: 240.477
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: 10226.417 PropClause: 9908.948 Set: 2272.361 Check: 0.0 Back: 241.514
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.656 Prop: 10267.238 PropClause: 9948.511 Set: 2281.158 Check: 0.0 Back: 242.538
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.665 Prop: 10309.064 PropClause: 9989.081 Set: 2290.032 Check: 0.0 Back: 243.566
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.674 Prop: 10352.452 PropClause: 10031.22 Set: 2298.808 Check: 0.0 Back: 244.592
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.683 Prop: 10392.863 PropClause: 10070.412 Set: 2307.251 Check: 0.0 Back: 245.63
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.692 Prop: 10433.174 PropClause: 10109.471 Set: 2316.066 Check: 0.0 Back: 246.628
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.702 Prop: 10473.983 PropClause: 10149.026 Set: 2324.737 Check: 0.0 Back: 247.655
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.709 Prop: 10514.036 PropClause: 10187.821 Set: 2333.452 Check: 0.0 Back: 248.684
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.718 Prop: 10555.193 PropClause: 10227.728 Set: 2342.234 Check: 0.0 Back: 249.715
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.728 Prop: 10596.255 PropClause: 10267.543 Set: 2351.02 Check: 0.0 Back: 250.743
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.737 Prop: 10638.43 PropClause: 10308.464 Set: 2359.834 Check: 0.0 Back: 251.778
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.746 Prop: 10679.962 PropClause: 10348.732 Set: 2368.539 Check: 0.0 Back: 252.801
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.754 Prop: 10720.528 PropClause: 10388.043 Set: 2377.219 Check: 0.0 Back: 253.841
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.764 Prop: 10760.442 PropClause: 10426.736 Set: 2385.665 Check: 0.0 Back: 254.879
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.773 Prop: 10800.341 PropClause: 10465.394 Set: 2394.296 Check: 0.0 Back: 255.891
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.784 Prop: 10840.779 PropClause: 10504.589 Set: 2402.925 Check: 0.0 Back: 256.909
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.876 Prop: 10881.796 PropClause: 10544.387 Set: 2411.695 Check: 0.0 Back: 257.925
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.886 Prop: 10920.912 PropClause: 10582.27 Set: 2420.334 Check: 0.0 Back: 258.957
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.895 Prop: 10958.508 PropClause: 10618.645 Set: 2428.699 Check: 0.0 Back: 259.962
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.902 Prop: 10997.066 PropClause: 10655.963 Set: 2437.209 Check: 0.0 Back: 260.971
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.911 Prop: 11034.966 PropClause: 10692.634 Set: 2445.627 Check: 0.0 Back: 261.973
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.92 Prop: 11072.351 PropClause: 10728.793 Set: 2454.144 Check: 0.0 Back: 262.979
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.93 Prop: 11111.478 PropClause: 10766.699 Set: 2462.534 Check: 0.0 Back: 263.98
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.938 Prop: 11149.525 PropClause: 10803.53 Set: 2471.05 Check: 0.0 Back: 264.98
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.947 Prop: 11186.639 PropClause: 10839.423 Set: 2479.402 Check: 0.0 Back: 266.002
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.955 Prop: 11225.754 PropClause: 10877.319 Set: 2487.691 Check: 0.0 Back: 267.005
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.963 Prop: 11262.409 PropClause: 10912.79 Set: 2495.731 Check: 0.0 Back: 267.995
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: 15514915 Tprops: 0 Decides: 17410 RSplits: 0
INFO - Times: Expl: 2023.258 Prop: 14545.096 PropClause: 14067.667 Set: 2596.789 Check: 0.434 Back: 363.409
INFO - Atoms: 20883/62912 Clauses: 888 Axioms: 208498
INFO - Confl: 878 Props: 16276103 Tprops: 0 Decides: 20976 RSplits: 0
INFO - Times: Expl: 2276.707 Prop: 15112.179 PropClause: 14610.784 Set: 2615.216 Check: 0.522 Back: 381.375
INFO - Atoms: 21174/62912 Clauses: 1019 Axioms: 208498
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 249 Props: 20957 Tprops: 4816 Decides: 20572 RSplits: 0
INFO - Times: Expl: 117.628 Prop: 35325.516 PropClause: 7.493 Set: 2317.253 Check: 143.545 Back: 74.989
INFO - Atoms: 460/582 Clauses: 249 Axioms: 582
INFO - CCTimes: iE 233603 eq 14955710 cc 38587710 setRep 22507908
INFO - Merges: 160449, cc:250754
INFO - BVTimes: BB 278803824 BB_DPLL 32088812806 Graph 57396487
INFO - BitBlastingClauses: 304722 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat