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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 218699598
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 65982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.619 Prop: 118.493 PropClause: 113.531 Set: 155.332 Check: 0.0 Back: 0.0
INFO - Atoms: 65982/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 131584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.671 Prop: 225.624 PropClause: 217.194 Set: 171.494 Check: 0.0 Back: 1.649
INFO - Atoms: 65602/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 197186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.765 Prop: 328.68 PropClause: 317.071 Set: 188.442 Check: 0.0 Back: 3.413
INFO - Atoms: 65602/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 262788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.857 Prop: 417.986 PropClause: 403.01 Set: 213.427 Check: 0.0 Back: 5.092
INFO - Atoms: 65602/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 328389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.908 Prop: 514.354 PropClause: 497.458 Set: 230.147 Check: 0.0 Back: 6.816
INFO - Atoms: 65601/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 393984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.96 Prop: 587.495 PropClause: 568.94 Set: 242.521 Check: 0.0 Back: 8.518
INFO - Atoms: 65595/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 459580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.015 Prop: 687.401 PropClause: 666.94 Set: 259.154 Check: 0.0 Back: 10.087
INFO - Atoms: 65596/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 524985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.103 Prop: 781.673 PropClause: 759.283 Set: 275.473 Check: 0.0 Back: 11.831
INFO - Atoms: 65405/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 590196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.159 Prop: 880.564 PropClause: 856.248 Set: 300.698 Check: 0.0 Back: 13.559
INFO - Atoms: 65211/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 655211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.24 Prop: 955.612 PropClause: 929.646 Set: 343.386 Check: 0.0 Back: 15.077
INFO - Atoms: 65015/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 720032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.29 Prop: 1027.453 PropClause: 999.869 Set: 355.592 Check: 0.0 Back: 16.573
INFO - Atoms: 64821/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 784675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.338 Prop: 1101.964 PropClause: 1072.768 Set: 368.044 Check: 0.0 Back: 18.074
INFO - Atoms: 64643/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 849106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.391 Prop: 1179.418 PropClause: 1148.484 Set: 381.771 Check: 0.0 Back: 19.567
INFO - Atoms: 64431/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 913359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.442 Prop: 1254.436 PropClause: 1221.899 Set: 393.661 Check: 0.0 Back: 21.058
INFO - Atoms: 64253/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 977400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.495 Prop: 1352.496 PropClause: 1318.086 Set: 410.231 Check: 0.0 Back: 22.587
INFO - Atoms: 64041/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1041263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.558 Prop: 1430.259 PropClause: 1394.267 Set: 422.192 Check: 0.0 Back: 24.255
INFO - Atoms: 63863/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1104914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.606 Prop: 1502.963 PropClause: 1465.397 Set: 433.887 Check: 0.0 Back: 25.795
INFO - Atoms: 63651/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1168386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.658 Prop: 1579.501 PropClause: 1540.357 Set: 452.212 Check: 0.0 Back: 27.416
INFO - Atoms: 63472/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1231647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.737 Prop: 1656.771 PropClause: 1616.043 Set: 471.49 Check: 0.0 Back: 29.043
INFO - Atoms: 63261/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1294730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.789 Prop: 1755.447 PropClause: 1712.841 Set: 495.809 Check: 0.0 Back: 30.663
INFO - Atoms: 63083/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1357601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.839 Prop: 1831.185 PropClause: 1787.03 Set: 513.643 Check: 0.0 Back: 32.316
INFO - Atoms: 62871/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1420276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.891 Prop: 1907.744 PropClause: 1862.032 Set: 525.427 Check: 0.0 Back: 33.843
INFO - Atoms: 62675/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1482757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.945 Prop: 1980.069 PropClause: 1932.807 Set: 537.001 Check: 0.0 Back: 35.381
INFO - Atoms: 62481/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1545061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.995 Prop: 2054.881 PropClause: 2006.045 Set: 548.587 Check: 0.0 Back: 36.857
INFO - Atoms: 62304/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1607152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.05 Prop: 2126.706 PropClause: 2076.316 Set: 559.973 Check: 0.0 Back: 38.345
INFO - Atoms: 62091/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1669047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.094 Prop: 2197.643 PropClause: 2145.718 Set: 571.265 Check: 0.0 Back: 39.816
INFO - Atoms: 61895/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1730748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.135 Prop: 2265.584 PropClause: 2212.132 Set: 582.495 Check: 0.0 Back: 41.275
INFO - Atoms: 61701/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1792253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.194 Prop: 2339.923 PropClause: 2284.895 Set: 594.207 Check: 0.0 Back: 42.74
INFO - Atoms: 61505/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1853564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.243 Prop: 2414.75 PropClause: 2358.161 Set: 605.943 Check: 0.0 Back: 44.289
INFO - Atoms: 61311/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1914697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.294 Prop: 2491.126 PropClause: 2432.969 Set: 617.79 Check: 0.0 Back: 45.803
INFO - Atoms: 61133/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1975618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.341 Prop: 2563.024 PropClause: 2503.329 Set: 628.932 Check: 0.0 Back: 47.255
INFO - Atoms: 60921/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2036343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.392 Prop: 2633.863 PropClause: 2572.649 Set: 640.39 Check: 0.0 Back: 48.771
INFO - Atoms: 60725/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2096874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.443 Prop: 2705.626 PropClause: 2642.906 Set: 651.568 Check: 0.0 Back: 50.211
INFO - Atoms: 60531/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2157227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.512 Prop: 2783.851 PropClause: 2719.609 Set: 662.833 Check: 0.0 Back: 51.676
INFO - Atoms: 60353/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2217368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.566 Prop: 2858.819 PropClause: 2793.043 Set: 674.356 Check: 0.0 Back: 53.146
INFO - Atoms: 60141/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2277330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.649 Prop: 2932.114 PropClause: 2864.817 Set: 685.898 Check: 0.0 Back: 54.652
INFO - Atoms: 59962/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2337081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.703 Prop: 2999.974 PropClause: 2931.195 Set: 696.685 Check: 0.0 Back: 56.117
INFO - Atoms: 59751/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2396654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.755 Prop: 3072.589 PropClause: 3002.32 Set: 710.006 Check: 0.0 Back: 57.553
INFO - Atoms: 59573/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2456015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.801 Prop: 3140.377 PropClause: 3068.633 Set: 726.34 Check: 0.0 Back: 58.967
INFO - Atoms: 59361/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2515198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.85 Prop: 3210.345 PropClause: 3137.126 Set: 785.195 Check: 0.0 Back: 60.398
INFO - Atoms: 59183/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2574169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.905 Prop: 3287.266 PropClause: 3212.415 Set: 797.369 Check: 0.0 Back: 61.903
INFO - Atoms: 58971/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2632944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.968 Prop: 3370.901 PropClause: 3294.416 Set: 810.836 Check: 0.0 Back: 63.438
INFO - Atoms: 58775/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2691525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.017 Prop: 3444.329 PropClause: 3366.327 Set: 821.821 Check: 0.0 Back: 64.96
INFO - Atoms: 58581/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2749928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.067 Prop: 3515.078 PropClause: 3435.597 Set: 832.877 Check: 0.0 Back: 66.418
INFO - Atoms: 58403/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2808119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.118 Prop: 3593.207 PropClause: 3512.156 Set: 844.896 Check: 0.0 Back: 67.867
INFO - Atoms: 58191/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2866114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.171 Prop: 3665.361 PropClause: 3582.838 Set: 855.602 Check: 0.0 Back: 69.378
INFO - Atoms: 57995/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2923915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.227 Prop: 3738.411 PropClause: 3654.364 Set: 867.222 Check: 0.0 Back: 70.854
INFO - Atoms: 57801/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2981520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.273 Prop: 3810.328 PropClause: 3724.799 Set: 878.508 Check: 0.0 Back: 72.27
INFO - Atoms: 57605/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3038931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.328 Prop: 3874.829 PropClause: 3787.815 Set: 889.152 Check: 0.0 Back: 73.724
INFO - Atoms: 57411/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3096164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.374 Prop: 3942.979 PropClause: 3854.506 Set: 900.115 Check: 0.0 Back: 75.188
INFO - Atoms: 57233/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3153185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.424 Prop: 4007.741 PropClause: 3917.836 Set: 926.636 Check: 0.0 Back: 76.589
INFO - Atoms: 57021/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3210028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.466 Prop: 4071.377 PropClause: 3980.07 Set: 936.875 Check: 0.0 Back: 77.958
INFO - Atoms: 56843/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3266659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.61 Prop: 4134.193 PropClause: 4041.473 Set: 946.917 Check: 0.0 Back: 79.324
INFO - Atoms: 56631/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3323112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.63 Prop: 4195.677 PropClause: 4101.542 Set: 957.067 Check: 0.0 Back: 80.673
INFO - Atoms: 56453/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3379353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.649 Prop: 4255.188 PropClause: 4159.664 Set: 966.98 Check: 0.0 Back: 82.036
INFO - Atoms: 56241/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3435416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.668 Prop: 4319.717 PropClause: 4222.8 Set: 977.109 Check: 0.0 Back: 83.375
INFO - Atoms: 56063/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 3491267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.687 Prop: 4376.179 PropClause: 4277.873 Set: 986.947 Check: 0.0 Back: 84.759
INFO - Atoms: 55851/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3546940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.707 Prop: 4437.071 PropClause: 4337.381 Set: 996.882 Check: 0.0 Back: 86.101
INFO - Atoms: 55673/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3602401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.727 Prop: 4494.404 PropClause: 4393.328 Set: 1006.632 Check: 0.0 Back: 87.451
INFO - Atoms: 55461/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3657684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.748 Prop: 4555.329 PropClause: 4452.885 Set: 1016.548 Check: 0.0 Back: 88.801
INFO - Atoms: 55283/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3712755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.769 Prop: 4613.967 PropClause: 4510.154 Set: 1026.267 Check: 0.0 Back: 90.146
INFO - Atoms: 55071/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3767630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 4672.309 PropClause: 4567.136 Set: 1036.05 Check: 0.0 Back: 91.474
INFO - Atoms: 54875/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3822311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.813 Prop: 4733.608 PropClause: 4627.073 Set: 1045.847 Check: 0.0 Back: 92.807
INFO - Atoms: 54681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3876815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 4792.852 PropClause: 4684.971 Set: 1055.606 Check: 0.0 Back: 94.144
INFO - Atoms: 54504/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3931106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.856 Prop: 4853.063 PropClause: 4743.813 Set: 1065.355 Check: 0.0 Back: 95.499
INFO - Atoms: 54291/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3985219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.875 Prop: 4912.235 PropClause: 4801.645 Set: 1075.024 Check: 0.0 Back: 96.818
INFO - Atoms: 54113/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 4039120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.897 Prop: 4971.907 PropClause: 4859.969 Set: 1084.725 Check: 0.0 Back: 98.132
INFO - Atoms: 53901/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4092843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.919 Prop: 5038.082 PropClause: 4924.739 Set: 1095.391 Check: 0.0 Back: 99.476
INFO - Atoms: 53723/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4146354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.943 Prop: 5101.435 PropClause: 4986.707 Set: 1105.802 Check: 0.0 Back: 100.901
INFO - Atoms: 53511/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4199669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 5157.651 PropClause: 5041.592 Set: 1115.234 Check: 0.0 Back: 102.268
INFO - Atoms: 53315/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4252790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.984 Prop: 5213.593 PropClause: 5096.215 Set: 1124.585 Check: 0.0 Back: 103.572
INFO - Atoms: 53121/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4305733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.004 Prop: 5270.441 PropClause: 5151.752 Set: 1133.993 Check: 0.0 Back: 104.851
INFO - Atoms: 52943/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 4358464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.026 Prop: 5326.293 PropClause: 5206.293 Set: 1143.346 Check: 0.0 Back: 106.136
INFO - Atoms: 52731/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 4410999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.049 Prop: 5385.002 PropClause: 5263.694 Set: 1152.873 Check: 0.0 Back: 107.43
INFO - Atoms: 52535/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 4463340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.069 Prop: 5445.124 PropClause: 5322.485 Set: 1162.633 Check: 0.0 Back: 108.857
INFO - Atoms: 52341/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 4515503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.091 Prop: 5504.446 PropClause: 5380.496 Set: 1172.322 Check: 0.0 Back: 110.171
INFO - Atoms: 52163/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 4567454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.113 Prop: 5561.062 PropClause: 5435.786 Set: 1181.911 Check: 0.0 Back: 111.482
INFO - Atoms: 51951/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 4619226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.137 Prop: 5620.267 PropClause: 5493.686 Set: 1191.522 Check: 0.0 Back: 112.796
INFO - Atoms: 51772/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 4670787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.157 Prop: 5677.894 PropClause: 5550.008 Set: 1201.037 Check: 0.0 Back: 114.084
INFO - Atoms: 51561/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 4722170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.181 Prop: 5747.218 PropClause: 5617.784 Set: 1212.762 Check: 0.0 Back: 115.361
INFO - Atoms: 51383/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 4773341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.285 Prop: 5804.39 PropClause: 5673.668 Set: 1222.037 Check: 0.0 Back: 116.728
INFO - Atoms: 51171/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 4824333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.303 Prop: 5870.395 PropClause: 5738.214 Set: 1232.696 Check: 0.0 Back: 117.999
INFO - Atoms: 50992/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4875114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.322 Prop: 5923.139 PropClause: 5789.693 Set: 1241.777 Check: 0.0 Back: 119.261
INFO - Atoms: 50781/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4925699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.34 Prop: 5976.072 PropClause: 5841.338 Set: 1251.084 Check: 0.0 Back: 120.552
INFO - Atoms: 50585/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4976090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.358 Prop: 6037.831 PropClause: 5901.78 Set: 1261.05 Check: 0.0 Back: 121.811
INFO - Atoms: 50391/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 5026285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.375 Prop: 6089.838 PropClause: 5952.53 Set: 1270.095 Check: 0.0 Back: 123.09
INFO - Atoms: 50195/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 5076286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.392 Prop: 6141.811 PropClause: 6003.211 Set: 1279.309 Check: 0.0 Back: 124.368
INFO - Atoms: 50001/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5126110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.412 Prop: 6199.44 PropClause: 6059.565 Set: 1288.74 Check: 0.0 Back: 125.637
INFO - Atoms: 49824/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 5175721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 6259.637 PropClause: 6118.448 Set: 1298.905 Check: 0.0 Back: 126.955
INFO - Atoms: 49611/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 5225136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.448 Prop: 6316.384 PropClause: 6173.952 Set: 1307.748 Check: 0.0 Back: 128.25
INFO - Atoms: 49415/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 5274357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.463 Prop: 6369.741 PropClause: 6226.08 Set: 1316.415 Check: 0.0 Back: 129.493
INFO - Atoms: 49221/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 5323400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.48 Prop: 6424.653 PropClause: 6279.778 Set: 1325.161 Check: 0.0 Back: 130.714
INFO - Atoms: 49043/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 5372231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.496 Prop: 6477.224 PropClause: 6331.134 Set: 1333.751 Check: 0.0 Back: 131.932
INFO - Atoms: 48831/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 5420884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.513 Prop: 6531.328 PropClause: 6384.039 Set: 1342.373 Check: 0.0 Back: 133.144
INFO - Atoms: 48653/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 5469325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.562 Prop: 6582.739 PropClause: 6434.257 Set: 1350.926 Check: 0.0 Back: 134.346
INFO - Atoms: 48441/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 5517570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.62 Prop: 6635.071 PropClause: 6485.39 Set: 1359.413 Check: 0.0 Back: 135.558
INFO - Atoms: 48245/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 5565621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.631 Prop: 6686.014 PropClause: 6535.149 Set: 1367.753 Check: 0.0 Back: 136.775
INFO - Atoms: 48051/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 5613476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.644 Prop: 6738.064 PropClause: 6586.011 Set: 1376.224 Check: 0.0 Back: 137.967
INFO - Atoms: 47855/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 5661137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.654 Prop: 6789.424 PropClause: 6636.184 Set: 1384.596 Check: 0.0 Back: 139.19
INFO - Atoms: 47661/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 5708620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.665 Prop: 6840.156 PropClause: 6685.738 Set: 1392.929 Check: 0.0 Back: 140.377
INFO - Atoms: 47483/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 5755891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.676 Prop: 6890.17 PropClause: 6734.588 Set: 1401.168 Check: 0.0 Back: 141.565
INFO - Atoms: 47271/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 5802983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.689 Prop: 6944.896 PropClause: 6787.99 Set: 1410.914 Check: 0.0 Back: 142.744
INFO - Atoms: 47092/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 5849864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.702 Prop: 6993.114 PropClause: 6835.035 Set: 1419.111 Check: 0.0 Back: 143.91
INFO - Atoms: 46881/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 5896567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.714 Prop: 7042.923 PropClause: 6883.681 Set: 1427.381 Check: 0.0 Back: 145.077
INFO - Atoms: 46703/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 5943058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.729 Prop: 7093.334 PropClause: 6932.929 Set: 1435.593 Check: 0.0 Back: 146.252
INFO - Atoms: 46491/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 5989371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.742 Prop: 7142.643 PropClause: 6981.076 Set: 1443.861 Check: 0.0 Back: 147.436
INFO - Atoms: 46313/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 6035472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.754 Prop: 7185.583 PropClause: 7022.874 Set: 1451.859 Check: 0.0 Back: 148.602
INFO - Atoms: 46101/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 6081377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.766 Prop: 7232.57 PropClause: 7068.694 Set: 1460.141 Check: 0.0 Back: 149.768
INFO - Atoms: 45905/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 6127088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.778 Prop: 7273.653 PropClause: 7108.641 Set: 1467.897 Check: 0.0 Back: 150.924
INFO - Atoms: 45711/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 6172621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.79 Prop: 7316.525 PropClause: 7150.381 Set: 1475.764 Check: 0.0 Back: 152.069
INFO - Atoms: 45533/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 6217942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.803 Prop: 7358.474 PropClause: 7191.196 Set: 1483.585 Check: 0.0 Back: 153.211
INFO - Atoms: 45321/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 6263067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.816 Prop: 7402.853 PropClause: 7234.449 Set: 1491.429 Check: 0.0 Back: 154.352
INFO - Atoms: 45125/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 6307998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.828 Prop: 7444.051 PropClause: 7274.537 Set: 1499.127 Check: 0.0 Back: 155.494
INFO - Atoms: 44931/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 6352751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.84 Prop: 7486.206 PropClause: 7315.58 Set: 1506.846 Check: 0.0 Back: 156.619
INFO - Atoms: 44753/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 6397292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.853 Prop: 7526.855 PropClause: 7355.125 Set: 1514.532 Check: 0.0 Back: 157.731
INFO - Atoms: 44541/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 6441636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.865 Prop: 7568.184 PropClause: 7395.356 Set: 1522.147 Check: 0.0 Back: 158.848
INFO - Atoms: 44344/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 6487131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.018 Prop: 7610.08 PropClause: 7436.122 Set: 1530.02 Check: 0.0 Back: 159.957
INFO - Atoms: 45495/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 6532625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.079 Prop: 7651.58 PropClause: 7476.492 Set: 1537.905 Check: 0.0 Back: 161.095
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 6578143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.092 Prop: 7695.415 PropClause: 7519.196 Set: 1545.789 Check: 0.0 Back: 162.246
INFO - Atoms: 45518/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 6623432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.275 Prop: 7736.692 PropClause: 7559.355 Set: 1553.598 Check: 0.0 Back: 163.401
INFO - Atoms: 45289/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 6668920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 7780.753 PropClause: 7602.28 Set: 1561.646 Check: 0.0 Back: 164.537
INFO - Atoms: 45488/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 6714408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.415 Prop: 7826.766 PropClause: 7647.082 Set: 1570.388 Check: 0.0 Back: 165.695
INFO - Atoms: 45488/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 6759328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.43 Prop: 7870.809 PropClause: 7689.932 Set: 1578.878 Check: 0.0 Back: 166.852
INFO - Atoms: 44920/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 6804248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.443 Prop: 7932.993 PropClause: 7750.995 Set: 1588.132 Check: 0.0 Back: 167.974
INFO - Atoms: 44920/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 6849155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 7973.818 PropClause: 7790.717 Set: 1595.823 Check: 0.0 Back: 169.12
INFO - Atoms: 44907/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 6894281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.468 Prop: 8015.67 PropClause: 7831.449 Set: 1603.652 Check: 0.0 Back: 170.229
INFO - Atoms: 45126/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 6939580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.48 Prop: 8058.484 PropClause: 7873.136 Set: 1611.479 Check: 0.0 Back: 171.355
INFO - Atoms: 45299/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 6985095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.492 Prop: 8099.388 PropClause: 7912.887 Set: 1619.415 Check: 0.0 Back: 172.477
INFO - Atoms: 45515/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 7030021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.504 Prop: 8139.907 PropClause: 7952.301 Set: 1627.187 Check: 0.0 Back: 173.597
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 7075539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.513 Prop: 8183.271 PropClause: 7994.543 Set: 1635.19 Check: 0.0 Back: 174.712
INFO - Atoms: 45518/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 7121033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.525 Prop: 8227.808 PropClause: 8037.958 Set: 1643.276 Check: 0.0 Back: 175.859
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 7166714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.537 Prop: 8273.727 PropClause: 8082.746 Set: 1651.344 Check: 0.0 Back: 177.032
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 7212370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 8317.608 PropClause: 8125.5 Set: 1659.331 Check: 0.0 Back: 178.192
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 7257864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.558 Prop: 8359.599 PropClause: 8166.365 Set: 1667.266 Check: 0.0 Back: 179.351
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 7302790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.568 Prop: 8401.149 PropClause: 8206.803 Set: 1675.051 Check: 0.0 Back: 180.482
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 7348282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.578 Prop: 8444.013 PropClause: 8248.543 Set: 1682.995 Check: 0.0 Back: 181.615
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 7393941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.588 Prop: 8486.716 PropClause: 8290.121 Set: 1690.928 Check: 0.0 Back: 182.773
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 7439622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.598 Prop: 8531.589 PropClause: 8333.855 Set: 1698.964 Check: 0.0 Back: 183.894
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 7485280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.609 Prop: 8576.199 PropClause: 8377.336 Set: 1706.937 Check: 0.0 Back: 185.014
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 7530774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 8621.668 PropClause: 8421.673 Set: 1714.929 Check: 0.0 Back: 186.15
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 7575700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.633 Prop: 8665.915 PropClause: 8464.8 Set: 1722.751 Check: 0.0 Back: 187.287
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 7621192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.643 Prop: 8710.601 PropClause: 8508.355 Set: 1730.71 Check: 0.0 Back: 188.399
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 7666849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.653 Prop: 8754.355 PropClause: 8550.978 Set: 1738.701 Check: 0.0 Back: 189.524
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 7712530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 8796.794 PropClause: 8592.294 Set: 1746.654 Check: 0.0 Back: 190.67
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 7758188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.671 Prop: 8840.707 PropClause: 8635.082 Set: 1754.636 Check: 0.0 Back: 191.815
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 7803682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.681 Prop: 8885.084 PropClause: 8678.341 Set: 1762.59 Check: 0.0 Back: 192.962
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 7848608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.693 Prop: 8926.698 PropClause: 8718.835 Set: 1770.356 Check: 0.0 Back: 194.077
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 7894100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.704 Prop: 8970.801 PropClause: 8761.823 Set: 1778.282 Check: 0.0 Back: 195.205
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 7939757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.713 Prop: 9014.178 PropClause: 8804.069 Set: 1786.256 Check: 0.0 Back: 196.348
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 7985456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.725 Prop: 9061.034 PropClause: 8849.801 Set: 1794.335 Check: 0.0 Back: 197.506
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 8031115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.735 Prop: 9108.423 PropClause: 8896.053 Set: 1802.407 Check: 0.0 Back: 198.658
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 8076609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.747 Prop: 9153.496 PropClause: 8939.994 Set: 1810.435 Check: 0.0 Back: 199.815
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 8121535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.757 Prop: 9199.532 PropClause: 8984.917 Set: 1818.386 Check: 0.0 Back: 200.946
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 8167027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.77 Prop: 9245.551 PropClause: 9029.809 Set: 1826.517 Check: 0.0 Back: 202.086
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 8212684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.779 Prop: 9290.658 PropClause: 9073.792 Set: 1834.526 Check: 0.0 Back: 203.232
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 8258365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.792 Prop: 9337.024 PropClause: 9119.02 Set: 1842.566 Check: 0.0 Back: 204.38
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 8304023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.804 Prop: 9381.938 PropClause: 9162.798 Set: 1850.539 Check: 0.0 Back: 205.546
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 8349517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.817 Prop: 9428.282 PropClause: 9208.008 Set: 1858.657 Check: 0.0 Back: 206.667
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 8394443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.83 Prop: 9472.81 PropClause: 9251.396 Set: 1866.469 Check: 0.0 Back: 207.839
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 8439935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.844 Prop: 9521.87 PropClause: 9299.262 Set: 1875.245 Check: 0.0 Back: 208.972
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 8485592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 9565.442 PropClause: 9341.697 Set: 1883.158 Check: 0.0 Back: 210.085
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 8531275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 9612.601 PropClause: 9387.731 Set: 1891.189 Check: 0.0 Back: 211.212
INFO - Atoms: 45683/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 8576934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 9657.579 PropClause: 9431.577 Set: 1899.151 Check: 0.0 Back: 212.354
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 8622428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.894 Prop: 9703.445 PropClause: 9476.308 Set: 1907.151 Check: 0.0 Back: 213.514
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 8667354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 9750.037 PropClause: 9521.774 Set: 1915.156 Check: 0.0 Back: 214.65
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 8712846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.919 Prop: 9793.899 PropClause: 9564.515 Set: 1923.203 Check: 0.0 Back: 215.778
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 8758503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 9836.172 PropClause: 9605.653 Set: 1931.188 Check: 0.0 Back: 216.941
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 8804184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.946 Prop: 9880.328 PropClause: 9648.673 Set: 1939.266 Check: 0.0 Back: 218.1
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 8849843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.959 Prop: 9923.488 PropClause: 9690.692 Set: 1947.283 Check: 0.0 Back: 219.238
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 8895337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.972 Prop: 9976.915 PropClause: 9742.75 Set: 1957.491 Check: 0.0 Back: 220.382
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 8940263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.984 Prop: 10026.912 PropClause: 9791.38 Set: 1967.378 Check: 0.0 Back: 221.61
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 8985755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.998 Prop: 10073.769 PropClause: 9837.101 Set: 1975.469 Check: 0.0 Back: 222.749
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 9031412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.011 Prop: 10119.077 PropClause: 9881.262 Set: 1983.66 Check: 0.0 Back: 223.9
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 9077114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 10165.898 PropClause: 9926.945 Set: 1991.862 Check: 0.0 Back: 225.059
INFO - Atoms: 45702/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 9122772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.036 Prop: 10211.211 PropClause: 9971.123 Set: 1999.922 Check: 0.0 Back: 226.221
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 9168266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.049 Prop: 10257.066 PropClause: 10015.831 Set: 2007.966 Check: 0.0 Back: 227.361
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 9213192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 10301.497 PropClause: 10059.131 Set: 2015.724 Check: 0.0 Back: 228.493
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 9258684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.102 Prop: 10343.243 PropClause: 10099.756 Set: 2023.65 Check: 0.0 Back: 229.613
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 9304341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.144 Prop: 10384.906 PropClause: 10140.295 Set: 2031.612 Check: 0.0 Back: 230.749
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 9350041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.156 Prop: 10426.687 PropClause: 10180.948 Set: 2039.65 Check: 0.0 Back: 231.92
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 9395700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.168 Prop: 10467.139 PropClause: 10220.266 Set: 2047.634 Check: 0.0 Back: 233.06
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 9441194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.181 Prop: 10505.231 PropClause: 10257.235 Set: 2055.341 Check: 0.0 Back: 234.191
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 9486120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.203 Prop: 10541.802 PropClause: 10292.688 Set: 2062.977 Check: 0.0 Back: 235.34
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 9531612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.216 Prop: 10580.999 PropClause: 10330.746 Set: 2070.821 Check: 0.0 Back: 236.463
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 9577269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.227 Prop: 10620.535 PropClause: 10369.153 Set: 2078.737 Check: 0.0 Back: 237.583
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 9622968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.241 Prop: 10659.484 PropClause: 10406.972 Set: 2086.524 Check: 0.0 Back: 238.715
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 9668626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.253 Prop: 10698.186 PropClause: 10444.55 Set: 2094.392 Check: 0.0 Back: 239.848
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 9714120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.265 Prop: 10737.954 PropClause: 10483.183 Set: 2102.359 Check: 0.0 Back: 240.972
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 9759046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.277 Prop: 10775.875 PropClause: 10519.989 Set: 2109.98 Check: 0.0 Back: 242.091
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 9804538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.289 Prop: 10818.838 PropClause: 10561.805 Set: 2117.982 Check: 0.0 Back: 243.202
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 9850195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.3 Prop: 10858.943 PropClause: 10600.774 Set: 2125.885 Check: 0.0 Back: 244.338
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 9895878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.313 Prop: 10900.308 PropClause: 10640.999 Set: 2133.828 Check: 0.0 Back: 245.476
INFO - Atoms: 45683/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 9941536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.325 Prop: 10943.296 PropClause: 10682.852 Set: 2141.753 Check: 0.0 Back: 246.613
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 9987030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.337 Prop: 10982.916 PropClause: 10721.338 Set: 2149.645 Check: 0.0 Back: 247.747
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 10032712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.349 Prop: 11022.7 PropClause: 10759.976 Set: 2157.556 Check: 0.0 Back: 248.896
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 10078204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.363 Prop: 11065.647 PropClause: 10801.788 Set: 2165.433 Check: 0.0 Back: 250.022
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 10123863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.374 Prop: 11105.277 PropClause: 10840.283 Set: 2173.261 Check: 0.0 Back: 251.171
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 10168807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.385 Prop: 11146.333 PropClause: 10880.232 Set: 2180.935 Check: 0.0 Back: 252.312
INFO - Atoms: 44944/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 10214465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.399 Prop: 11186.724 PropClause: 10919.489 Set: 2188.822 Check: 0.0 Back: 253.417
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 10259959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.412 Prop: 11231.296 PropClause: 10962.921 Set: 2196.93 Check: 0.0 Back: 254.555
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 10305641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.425 Prop: 11272.756 PropClause: 11003.255 Set: 2204.83 Check: 0.0 Back: 255.689
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 10351133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.44 Prop: 11318.071 PropClause: 11047.426 Set: 2212.902 Check: 0.0 Back: 256.841
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 10396790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.451 Prop: 11360.129 PropClause: 11088.344 Set: 2220.942 Check: 0.0 Back: 258.005
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 10441732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.464 Prop: 11401.672 PropClause: 11128.771 Set: 2228.821 Check: 0.0 Back: 259.138
INFO - Atoms: 44942/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 10487390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.477 Prop: 11442.005 PropClause: 11167.954 Set: 2236.793 Check: 0.0 Back: 260.313
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 10532884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.49 Prop: 11484.433 PropClause: 11209.249 Set: 2244.804 Check: 0.0 Back: 261.462
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 10577810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.502 Prop: 11526.206 PropClause: 11249.894 Set: 2252.647 Check: 0.0 Back: 262.604
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 10623302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.514 Prop: 11568.854 PropClause: 11291.399 Set: 2260.69 Check: 0.0 Back: 263.739
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 10668961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.526 Prop: 11609.568 PropClause: 11330.976 Set: 2268.605 Check: 0.0 Back: 264.886
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 10714642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.539 Prop: 11650.956 PropClause: 11371.216 Set: 2276.635 Check: 0.0 Back: 266.019
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 10760301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.551 Prop: 11694.401 PropClause: 11413.523 Set: 2284.612 Check: 0.0 Back: 267.169
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 10805795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.565 Prop: 11738.602 PropClause: 11456.583 Set: 2292.599 Check: 0.0 Back: 268.325
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 10850721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.577 Prop: 11780.846 PropClause: 11497.687 Set: 2300.424 Check: 0.0 Back: 269.461
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 10896213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.59 Prop: 11823.867 PropClause: 11539.553 Set: 2308.572 Check: 0.0 Back: 270.579
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 10941870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.602 Prop: 11862.371 PropClause: 11576.889 Set: 2316.515 Check: 0.0 Back: 271.726
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 10987551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.614 Prop: 11902.717 PropClause: 11616.068 Set: 2324.494 Check: 0.0 Back: 272.879
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 11033209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.627 Prop: 11944.768 PropClause: 11656.974 Set: 2332.61 Check: 0.0 Back: 274.039
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 11078703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.639 Prop: 11987.582 PropClause: 11698.648 Set: 2340.722 Check: 0.0 Back: 275.218
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 11123629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.651 Prop: 12029.511 PropClause: 11739.437 Set: 2348.596 Check: 0.0 Back: 276.387
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 11169121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.663 Prop: 12072.763 PropClause: 11781.553 Set: 2356.68 Check: 0.0 Back: 277.536
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 11214778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.676 Prop: 12113.809 PropClause: 11821.444 Set: 2364.664 Check: 0.0 Back: 278.684
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 11260479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.69 Prop: 12158.359 PropClause: 11864.855 Set: 2372.768 Check: 0.0 Back: 279.824
INFO - Atoms: 45701/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 11306138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.703 Prop: 12200.202 PropClause: 11905.544 Set: 2380.798 Check: 0.0 Back: 280.97
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 11351632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.717 Prop: 12246.656 PropClause: 11950.871 Set: 2388.905 Check: 0.0 Back: 282.114
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 11396558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.73 Prop: 12291.41 PropClause: 11994.418 Set: 2397.537 Check: 0.0 Back: 283.269
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 11442050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.744 Prop: 12334.218 PropClause: 12036.087 Set: 2405.716 Check: 0.0 Back: 284.408
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 11487707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.757 Prop: 12375.755 PropClause: 12076.49 Set: 2413.785 Check: 0.0 Back: 285.569
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 11533406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.77 Prop: 12418.023 PropClause: 12117.614 Set: 2421.745 Check: 0.0 Back: 286.727
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 11579065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.782 Prop: 12460.405 PropClause: 12158.842 Set: 2429.935 Check: 0.0 Back: 287.861
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 11624559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.794 Prop: 12502.671 PropClause: 12199.979 Set: 2437.915 Check: 0.0 Back: 288.985
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 11669485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.807 Prop: 12543.168 PropClause: 12239.36 Set: 2445.654 Check: 0.0 Back: 290.141
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 11714977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.82 Prop: 12584.462 PropClause: 12279.517 Set: 2453.604 Check: 0.0 Back: 291.269
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 11760634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.833 Prop: 12630.188 PropClause: 12324.071 Set: 2462.109 Check: 0.0 Back: 292.414
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 11806334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.848 Prop: 12676.134 PropClause: 12368.858 Set: 2470.529 Check: 0.0 Back: 293.588
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 11851992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.862 Prop: 12720.318 PropClause: 12411.896 Set: 2478.682 Check: 0.0 Back: 294.823
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 11897486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.875 Prop: 12762.244 PropClause: 12452.688 Set: 2502.196 Check: 0.0 Back: 295.983
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 11942412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.889 Prop: 12805.327 PropClause: 12494.639 Set: 2510.059 Check: 0.0 Back: 297.15
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 11987904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.902 Prop: 12850.732 PropClause: 12538.842 Set: 2518.829 Check: 0.0 Back: 298.291
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 12033561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.914 Prop: 12894.416 PropClause: 12581.354 Set: 2526.997 Check: 0.0 Back: 299.442
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 12079244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.926 Prop: 12942.551 PropClause: 12628.339 Set: 2535.361 Check: 0.0 Back: 300.628
INFO - Atoms: 45683/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 12124902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.939 Prop: 12983.129 PropClause: 12667.784 Set: 2543.336 Check: 0.0 Back: 301.796
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 12170396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.957 Prop: 13025.21 PropClause: 12708.729 Set: 2551.43 Check: 0.0 Back: 302.949
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 12215322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.969 Prop: 13066.473 PropClause: 12748.874 Set: 2559.254 Check: 0.0 Back: 304.101
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 12260814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.982 Prop: 13111.669 PropClause: 12792.79 Set: 2568.478 Check: 0.0 Back: 305.244
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 12306471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.994 Prop: 13155.988 PropClause: 12835.974 Set: 2576.427 Check: 0.0 Back: 306.513
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 12352171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.006 Prop: 13205.734 PropClause: 12884.367 Set: 2586.272 Check: 0.0 Back: 307.67
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 12397829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.02 Prop: 13248.061 PropClause: 12925.541 Set: 2594.411 Check: 0.0 Back: 308.839
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 12443323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.033 Prop: 13293.209 PropClause: 12969.54 Set: 2602.452 Check: 0.0 Back: 309.986
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 12488249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.047 Prop: 13334.252 PropClause: 13009.46 Set: 2610.21 Check: 0.0 Back: 311.131
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 12533741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.059 Prop: 13375.296 PropClause: 13049.369 Set: 2618.159 Check: 0.0 Back: 312.262
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 12579398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.072 Prop: 13416.402 PropClause: 13089.33 Set: 2644.292 Check: 0.0 Back: 313.437
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 12625097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.084 Prop: 13458.387 PropClause: 13130.175 Set: 2652.397 Check: 0.0 Back: 314.588
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 12670755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.099 Prop: 13500.492 PropClause: 13171.128 Set: 2660.46 Check: 0.0 Back: 315.742
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 12716249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.111 Prop: 13542.887 PropClause: 13212.374 Set: 2668.426 Check: 0.0 Back: 316.896
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 12761175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.124 Prop: 13578.947 PropClause: 13247.322 Set: 2676.028 Check: 0.0 Back: 318.042
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 12806667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.137 Prop: 13617.115 PropClause: 13284.331 Set: 2683.889 Check: 0.0 Back: 319.16
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 12852324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.15 Prop: 13656.258 PropClause: 13322.313 Set: 2691.75 Check: 0.0 Back: 320.288
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 12898022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.164 Prop: 13697.238 PropClause: 13362.163 Set: 2699.803 Check: 0.0 Back: 321.421
INFO - Atoms: 45698/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 12943680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.177 Prop: 13736.407 PropClause: 13400.197 Set: 2707.714 Check: 0.0 Back: 322.569
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 12989174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.188 Prop: 13776.012 PropClause: 13438.675 Set: 2715.586 Check: 0.0 Back: 323.709
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 13034100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.201 Prop: 13814.577 PropClause: 13476.115 Set: 2723.39 Check: 0.0 Back: 324.837
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 13079592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.214 Prop: 13854.014 PropClause: 13514.417 Set: 2731.348 Check: 0.0 Back: 325.966
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 13125249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.227 Prop: 13892.321 PropClause: 13551.594 Set: 2739.208 Check: 0.0 Back: 327.102
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 13170947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.24 Prop: 13935.798 PropClause: 13593.94 Set: 2747.237 Check: 0.0 Back: 328.279
INFO - Atoms: 45698/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 13216605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.254 Prop: 13975.98 PropClause: 13632.996 Set: 2755.135 Check: 0.0 Back: 329.422
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 13262099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.266 Prop: 14017.023 PropClause: 13672.907 Set: 2763.066 Check: 0.0 Back: 330.569
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 13307025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.279 Prop: 14058.405 PropClause: 13713.165 Set: 2771.064 Check: 0.0 Back: 331.718
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 13352517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.291 Prop: 14097.799 PropClause: 13751.433 Set: 2778.933 Check: 0.0 Back: 332.872
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 13398174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.304 Prop: 14138.73 PropClause: 13791.151 Set: 2787.436 Check: 0.0 Back: 333.982
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 13443855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.317 Prop: 14181.199 PropClause: 13832.488 Set: 2795.398 Check: 0.0 Back: 335.13
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 13489514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.33 Prop: 14220.047 PropClause: 13870.206 Set: 2803.202 Check: 0.0 Back: 336.264
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 13535008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.342 Prop: 14260.09 PropClause: 13909.128 Set: 2811.043 Check: 0.0 Back: 337.38
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 13579934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.355 Prop: 14298.257 PropClause: 13946.191 Set: 2818.694 Check: 0.0 Back: 338.529
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 13625426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.369 Prop: 14338.412 PropClause: 13985.219 Set: 2826.6 Check: 0.0 Back: 339.637
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 13671083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.383 Prop: 14377.77 PropClause: 14023.439 Set: 2834.51 Check: 0.0 Back: 340.711
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 13716783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.396 Prop: 14418.91 PropClause: 14063.455 Set: 2842.48 Check: 0.0 Back: 341.859
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 13762441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.408 Prop: 14458.518 PropClause: 14101.941 Set: 2850.341 Check: 0.0 Back: 343.006
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 13807935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.421 Prop: 14499.188 PropClause: 14141.478 Set: 2858.333 Check: 0.0 Back: 344.139
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 13852861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.434 Prop: 14537.828 PropClause: 14179.009 Set: 2866.041 Check: 0.0 Back: 345.259
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 13898353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.446 Prop: 14579.563 PropClause: 14219.613 Set: 2874.056 Check: 0.0 Back: 346.384
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 13944010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.458 Prop: 14619.125 PropClause: 14258.048 Set: 2881.876 Check: 0.0 Back: 347.531
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 13989710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.47 Prop: 14658.966 PropClause: 14296.76 Set: 2889.801 Check: 0.0 Back: 348.674
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 14035368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.484 Prop: 14699.674 PropClause: 14336.346 Set: 2897.722 Check: 0.0 Back: 349.814
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 14080862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.497 Prop: 14741.818 PropClause: 14377.353 Set: 2905.786 Check: 0.0 Back: 350.965
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 14125788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.509 Prop: 14781.604 PropClause: 14416.005 Set: 2913.501 Check: 0.0 Back: 352.106
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 14171280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.522 Prop: 14823.544 PropClause: 14456.82 Set: 2921.402 Check: 0.0 Back: 353.254
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 14216937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.535 Prop: 14865.849 PropClause: 14497.995 Set: 2929.328 Check: 0.0 Back: 354.389
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 14262636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.547 Prop: 14910.216 PropClause: 14541.231 Set: 2937.435 Check: 0.0 Back: 355.521
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 14308294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.564 Prop: 14953.287 PropClause: 14583.164 Set: 2945.578 Check: 0.0 Back: 356.676
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 14353788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.577 Prop: 14995.528 PropClause: 14624.261 Set: 2953.669 Check: 0.0 Back: 357.835
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 14398714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.589 Prop: 15036.133 PropClause: 14663.754 Set: 2961.37 Check: 0.0 Back: 358.978
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 14444206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.601 Prop: 15078.787 PropClause: 14705.291 Set: 2969.363 Check: 0.0 Back: 360.122
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 14489863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.614 Prop: 15118.867 PropClause: 14744.241 Set: 2977.253 Check: 0.0 Back: 361.259
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 14535544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.626 Prop: 15161.227 PropClause: 14785.465 Set: 2985.275 Check: 0.0 Back: 362.415
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 14581203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.639 Prop: 15202.924 PropClause: 14826.029 Set: 2993.226 Check: 0.0 Back: 363.571
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 14626697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.651 Prop: 15246.976 PropClause: 14868.916 Set: 3001.706 Check: 0.0 Back: 364.728
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 14671623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.664 Prop: 15292.01 PropClause: 14912.806 Set: 3009.938 Check: 0.0 Back: 365.886
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 14717115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.677 Prop: 15334.153 PropClause: 14953.827 Set: 3017.917 Check: 0.0 Back: 367.039
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 14762772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.691 Prop: 15375.496 PropClause: 14994.006 Set: 3026.193 Check: 0.0 Back: 368.179
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 14808471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.704 Prop: 15417.833 PropClause: 15035.206 Set: 3034.26 Check: 0.0 Back: 369.339
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 14854129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.725 Prop: 15458.489 PropClause: 15074.734 Set: 3042.153 Check: 0.0 Back: 370.487
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 14899623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.738 Prop: 15500.114 PropClause: 15115.224 Set: 3050.115 Check: 0.0 Back: 371.646
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 14944549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.752 Prop: 15541.001 PropClause: 15155.002 Set: 3057.817 Check: 0.0 Back: 372.806
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 14990041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.766 Prop: 15581.858 PropClause: 15194.733 Set: 3065.735 Check: 0.0 Back: 373.93
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 15035698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.778 Prop: 15622.892 PropClause: 15234.617 Set: 3073.879 Check: 0.0 Back: 375.07
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 15081381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.793 Prop: 15664.982 PropClause: 15275.568 Set: 3081.934 Check: 0.0 Back: 376.244
INFO - Atoms: 45683/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 15127040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.806 Prop: 15704.941 PropClause: 15314.393 Set: 3089.896 Check: 0.0 Back: 377.371
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 15172534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.819 Prop: 15745.54 PropClause: 15353.874 Set: 3097.85 Check: 0.0 Back: 378.538
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 15217460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.832 Prop: 15787.036 PropClause: 15394.233 Set: 3105.93 Check: 0.0 Back: 379.713
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 15262952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.844 Prop: 15825.477 PropClause: 15431.544 Set: 3113.975 Check: 0.0 Back: 380.825
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 15308609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.857 Prop: 15866.28 PropClause: 15471.205 Set: 3121.982 Check: 0.0 Back: 381.983
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 15354309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.868 Prop: 15907.162 PropClause: 15510.963 Set: 3130.01 Check: 0.0 Back: 383.142
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 15399967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.882 Prop: 15949.706 PropClause: 15552.371 Set: 3138.095 Check: 0.0 Back: 384.279
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 15445461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.896 Prop: 15993.912 PropClause: 15595.455 Set: 3146.134 Check: 0.0 Back: 385.469
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 15490387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.911 Prop: 16037.963 PropClause: 15638.39 Set: 3154.014 Check: 0.0 Back: 386.606
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 15535879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.925 Prop: 16079.655 PropClause: 15678.958 Set: 3161.969 Check: 0.0 Back: 387.734
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 15581536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.938 Prop: 16119.88 PropClause: 15718.048 Set: 3169.937 Check: 0.0 Back: 388.868
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 15627219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.951 Prop: 16161.648 PropClause: 15758.674 Set: 3177.987 Check: 0.0 Back: 390.029
INFO - Atoms: 45683/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 15672877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.963 Prop: 16211.574 PropClause: 15807.188 Set: 3187.834 Check: 0.0 Back: 391.206
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 15718371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.977 Prop: 16252.424 PropClause: 15846.911 Set: 3195.757 Check: 0.0 Back: 392.367
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 15763297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.997 Prop: 16294.282 PropClause: 15887.646 Set: 3203.616 Check: 0.0 Back: 393.52
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 15808789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.005 Prop: 16336.348 PropClause: 15928.565 Set: 3211.701 Check: 0.0 Back: 394.645
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 15854446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.012 Prop: 16376.427 PropClause: 15967.508 Set: 3219.689 Check: 0.0 Back: 395.803
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 15900145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.018 Prop: 16418.73 PropClause: 16008.664 Set: 3227.733 Check: 0.0 Back: 396.945
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 15945803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.025 Prop: 16458.453 PropClause: 16047.239 Set: 3235.807 Check: 0.0 Back: 398.096
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 15991297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.031 Prop: 16499.903 PropClause: 16087.557 Set: 3243.833 Check: 0.0 Back: 399.253
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 16036223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.038 Prop: 16539.722 PropClause: 16126.247 Set: 3251.674 Check: 0.0 Back: 400.417
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 16081715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.046 Prop: 16581.129 PropClause: 16166.511 Set: 3259.833 Check: 0.0 Back: 401.555
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 16127372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.053 Prop: 16621.179 PropClause: 16205.424 Set: 3267.875 Check: 0.0 Back: 402.712
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 16173053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.061 Prop: 16661.99 PropClause: 16245.095 Set: 3275.935 Check: 0.0 Back: 403.864
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 16218711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.068 Prop: 16700.901 PropClause: 16282.865 Set: 3283.88 Check: 0.0 Back: 405.019
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 16264205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.076 Prop: 16741.091 PropClause: 16321.919 Set: 3291.898 Check: 0.0 Back: 406.179
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 16309131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.082 Prop: 16779.651 PropClause: 16359.359 Set: 3299.6 Check: 0.0 Back: 407.333
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 16354623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.089 Prop: 16819.684 PropClause: 16398.255 Set: 3320.74 Check: 0.0 Back: 408.462
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 16400280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.096 Prop: 16858.823 PropClause: 16436.25 Set: 3328.807 Check: 0.0 Back: 409.653
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 16445980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.103 Prop: 16901.049 PropClause: 16477.326 Set: 3337.017 Check: 0.0 Back: 410.813
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 16491639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.11 Prop: 16941.057 PropClause: 16516.197 Set: 3344.946 Check: 0.0 Back: 411.94
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 16537133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.117 Prop: 16980.862 PropClause: 16554.862 Set: 3352.865 Check: 0.0 Back: 413.074
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 16582815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.126 Prop: 17023.005 PropClause: 16595.663 Set: 3362.65 Check: 0.0 Back: 414.225
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 16628307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.133 Prop: 17062.506 PropClause: 16634.036 Set: 3370.583 Check: 0.0 Back: 415.385
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 16673966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.14 Prop: 17101.181 PropClause: 16671.57 Set: 3378.457 Check: 0.0 Back: 416.524
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 16719664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.147 Prop: 17140.312 PropClause: 16709.568 Set: 3386.406 Check: 0.0 Back: 417.661
INFO - Atoms: 45698/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 16765321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.154 Prop: 17178.997 PropClause: 16747.11 Set: 3394.321 Check: 0.0 Back: 418.81
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 16810815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.161 Prop: 17218.571 PropClause: 16785.56 Set: 3402.215 Check: 0.0 Back: 419.954
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 16856497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.168 Prop: 17259.642 PropClause: 16825.484 Set: 3410.4 Check: 0.0 Back: 421.117
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 16901989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.175 Prop: 17303.949 PropClause: 16868.668 Set: 3418.547 Check: 0.0 Back: 422.274
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 16947648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.181 Prop: 17343.858 PropClause: 16907.448 Set: 3426.526 Check: 0.0 Back: 423.423
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 16992573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.188 Prop: 17384.107 PropClause: 16946.582 Set: 3434.374 Check: 0.0 Back: 424.566
INFO - Atoms: 44925/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 17038231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.195 Prop: 17423.18 PropClause: 16984.525 Set: 3442.335 Check: 0.0 Back: 425.696
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 17083725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.202 Prop: 17463.82 PropClause: 17024.038 Set: 3450.261 Check: 0.0 Back: 426.849
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 17128651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.21 Prop: 17503.34 PropClause: 17062.435 Set: 3458.03 Check: 0.0 Back: 428.062
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 17174143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.218 Prop: 17544.59 PropClause: 17102.542 Set: 3466.159 Check: 0.0 Back: 429.206
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 17219802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.225 Prop: 17588.162 PropClause: 17144.944 Set: 3474.456 Check: 0.0 Back: 430.369
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 17265485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.232 Prop: 17634.674 PropClause: 17190.213 Set: 3483.468 Check: 0.0 Back: 431.539
INFO - Atoms: 45683/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 17311144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.239 Prop: 17679.084 PropClause: 17233.32 Set: 3492.843 Check: 0.0 Back: 432.706
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 17356638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.247 Prop: 17729.401 PropClause: 17282.296 Set: 3502.646 Check: 0.0 Back: 433.873
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 17401564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.256 Prop: 17768.747 PropClause: 17320.531 Set: 3510.429 Check: 0.0 Back: 435.051
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 17447056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.263 Prop: 17809.453 PropClause: 17360.11 Set: 3518.351 Check: 0.0 Back: 436.18
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 17492713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.27 Prop: 17851.495 PropClause: 17401.014 Set: 3526.446 Check: 0.0 Back: 437.316
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 17538394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.277 Prop: 17895.468 PropClause: 17443.833 Set: 3534.855 Check: 0.0 Back: 438.466
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 17584052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.286 Prop: 17935.477 PropClause: 17482.706 Set: 3542.811 Check: 0.0 Back: 439.641
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 17629546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.292 Prop: 17976.521 PropClause: 17522.634 Set: 3550.825 Check: 0.0 Back: 440.793
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 17674472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.298 Prop: 18017.433 PropClause: 17562.433 Set: 3558.676 Check: 0.0 Back: 441.947
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 17719964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.305 Prop: 18061.921 PropClause: 17605.781 Set: 3566.978 Check: 0.0 Back: 443.109
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 17765621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.313 Prop: 18107.114 PropClause: 17649.677 Set: 3576.614 Check: 0.0 Back: 444.45
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 17811304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.32 Prop: 18156.833 PropClause: 17698.083 Set: 3586.099 Check: 0.0 Back: 445.64
INFO - Atoms: 45683/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 17856962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.328 Prop: 18199.366 PropClause: 17739.494 Set: 3594.14 Check: 0.0 Back: 446.803
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 17902456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.335 Prop: 18242.073 PropClause: 17781.074 Set: 3602.182 Check: 0.0 Back: 447.965
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 17947382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.343 Prop: 18285.61 PropClause: 17823.496 Set: 3610.175 Check: 0.0 Back: 449.119
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 17992874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.351 Prop: 18328.901 PropClause: 17865.656 Set: 3618.315 Check: 0.0 Back: 450.287
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 18038531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.359 Prop: 18372.179 PropClause: 17907.797 Set: 3626.556 Check: 0.0 Back: 451.463
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 18084212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.366 Prop: 18415.722 PropClause: 17950.193 Set: 3634.766 Check: 0.0 Back: 452.645
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 18129871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.374 Prop: 18461.357 PropClause: 17994.565 Set: 3643.813 Check: 0.0 Back: 453.808
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 18175365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.381 Prop: 18504.341 PropClause: 18036.414 Set: 3651.968 Check: 0.0 Back: 454.991
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 18220291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.388 Prop: 18547.415 PropClause: 18078.372 Set: 3659.914 Check: 0.0 Back: 456.175
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 18265783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.395 Prop: 18591.369 PropClause: 18121.193 Set: 3668.013 Check: 0.0 Back: 457.392
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 18311440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.417 Prop: 18632.791 PropClause: 18161.476 Set: 3676.122 Check: 0.0 Back: 458.578
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 18357139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.424 Prop: 18676.297 PropClause: 18203.836 Set: 3684.249 Check: 0.0 Back: 459.747
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 18402798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.432 Prop: 18718.437 PropClause: 18244.832 Set: 3692.452 Check: 0.0 Back: 460.896
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 18448292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.44 Prop: 18760.862 PropClause: 18286.122 Set: 3700.562 Check: 0.0 Back: 462.083
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 18493218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.447 Prop: 18801.049 PropClause: 18325.192 Set: 3708.394 Check: 0.0 Back: 463.247
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 18538710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.455 Prop: 18843.699 PropClause: 18366.711 Set: 3716.568 Check: 0.0 Back: 464.4
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 18584367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.462 Prop: 18884.759 PropClause: 18406.636 Set: 3724.604 Check: 0.0 Back: 465.546
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 18630068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.47 Prop: 18927.544 PropClause: 18448.298 Set: 3732.706 Check: 0.0 Back: 466.697
INFO - Atoms: 45701/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 18675726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.478 Prop: 18978.256 PropClause: 18497.809 Set: 3761.575 Check: 0.0 Back: 467.856
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 18721220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.485 Prop: 19021.438 PropClause: 18539.861 Set: 3769.663 Check: 0.0 Back: 469.059
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 18766146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.493 Prop: 19064.121 PropClause: 18581.383 Set: 3777.961 Check: 0.0 Back: 470.229
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 18811638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.501 Prop: 19108.414 PropClause: 18624.53 Set: 3786.247 Check: 0.0 Back: 471.383
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 18857295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.508 Prop: 19151.658 PropClause: 18666.637 Set: 3794.496 Check: 0.0 Back: 472.579
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 18902978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.515 Prop: 19195.72 PropClause: 18709.545 Set: 3802.72 Check: 0.0 Back: 473.753
INFO - Atoms: 45683/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 18948636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.524 Prop: 19236.575 PropClause: 18749.264 Set: 3810.777 Check: 0.0 Back: 474.922
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 18994130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.531 Prop: 19279.03 PropClause: 18790.585 Set: 3818.857 Check: 0.0 Back: 476.086
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 19039056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.54 Prop: 19319.302 PropClause: 18829.716 Set: 3826.833 Check: 0.0 Back: 477.249
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 19084548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.547 Prop: 19359.671 PropClause: 18868.96 Set: 3834.862 Check: 0.0 Back: 478.402
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 19130205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.553 Prop: 19398.39 PropClause: 18906.55 Set: 3842.879 Check: 0.0 Back: 479.564
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 19175904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.56 Prop: 19441.143 PropClause: 18948.157 Set: 3851.385 Check: 0.0 Back: 480.721
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 19221562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.566 Prop: 19483.37 PropClause: 18989.238 Set: 3859.547 Check: 0.0 Back: 481.873
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 19267056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.573 Prop: 19524.31 PropClause: 19029.058 Set: 3867.548 Check: 0.0 Back: 483.042
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 19311982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.58 Prop: 19568.029 PropClause: 19071.482 Set: 3876.781 Check: 0.0 Back: 484.21
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 19357474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.587 Prop: 19610.178 PropClause: 19112.488 Set: 3884.87 Check: 0.0 Back: 485.357
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 19403131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.594 Prop: 19654.211 PropClause: 19155.356 Set: 3893.263 Check: 0.0 Back: 486.518
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 19448830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.602 Prop: 19697.766 PropClause: 19197.76 Set: 3917.196 Check: 0.0 Back: 487.723
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 19494488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.608 Prop: 19737.172 PropClause: 19236.04 Set: 3925.13 Check: 0.0 Back: 488.865
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 19539982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.615 Prop: 19778.916 PropClause: 19276.62 Set: 3933.052 Check: 0.0 Back: 490.023
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 19584908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.62 Prop: 19817.756 PropClause: 19314.353 Set: 3940.783 Check: 0.0 Back: 491.162
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 19630400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.625 Prop: 19857.406 PropClause: 19352.877 Set: 3948.825 Check: 0.0 Back: 492.346
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 19676057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.63 Prop: 19897.143 PropClause: 19391.488 Set: 3956.834 Check: 0.0 Back: 493.492
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 19721738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.636 Prop: 19935.052 PropClause: 19428.269 Set: 3964.854 Check: 0.0 Back: 494.668
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 19767397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.641 Prop: 19972.923 PropClause: 19464.998 Set: 3972.763 Check: 0.0 Back: 495.806
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 19812891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.647 Prop: 20012.904 PropClause: 19503.858 Set: 3980.701 Check: 0.0 Back: 496.974
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 19858573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.654 Prop: 20054.616 PropClause: 19544.436 Set: 3988.772 Check: 0.0 Back: 498.123
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 19885733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.66 Prop: 20079.789 PropClause: 19568.94 Set: 3993.192 Check: 0.0 Back: 499.292
INFO - Atoms: 27160/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 19913850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.667 Prop: 20094.114 PropClause: 19582.575 Set: 3997.82 Check: 0.0 Back: 500.055
INFO - Atoms: 28117/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 19941961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.671 Prop: 20108.41 PropClause: 19596.182 Set: 4002.433 Check: 0.0 Back: 500.829
INFO - Atoms: 28111/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 19987453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.677 Prop: 20139.835 PropClause: 19626.479 Set: 4010.56 Check: 0.0 Back: 501.607
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 20033112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.684 Prop: 20182.231 PropClause: 19667.755 Set: 4018.556 Check: 0.0 Back: 502.716
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 20078792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.69 Prop: 20224.718 PropClause: 19709.123 Set: 4026.648 Check: 0.0 Back: 503.812
INFO - Atoms: 45680/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 20124448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.697 Prop: 20267.623 PropClause: 19750.898 Set: 4034.673 Check: 0.0 Back: 504.916
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 20169942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.703 Prop: 20309.592 PropClause: 19791.748 Set: 4042.793 Check: 0.0 Back: 506.024
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 20214867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.71 Prop: 20349.531 PropClause: 19830.575 Set: 4050.562 Check: 0.0 Back: 507.126
INFO - Atoms: 44925/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 20260383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.716 Prop: 20388.562 PropClause: 19868.48 Set: 4058.547 Check: 0.0 Back: 508.218
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 20306040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.722 Prop: 20428.013 PropClause: 19906.81 Set: 4066.516 Check: 0.0 Back: 509.317
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 20351724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.728 Prop: 20469.052 PropClause: 19946.724 Set: 4074.666 Check: 0.0 Back: 510.405
INFO - Atoms: 45684/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 20397383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.734 Prop: 20509.075 PropClause: 19985.628 Set: 4082.653 Check: 0.0 Back: 511.518
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 20442877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.741 Prop: 20551.01 PropClause: 20026.431 Set: 4090.745 Check: 0.0 Back: 512.624
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 20487802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.746 Prop: 20592.949 PropClause: 20067.247 Set: 4098.626 Check: 0.0 Back: 513.728
INFO - Atoms: 44925/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 20533307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.752 Prop: 20633.341 PropClause: 20106.512 Set: 4106.7 Check: 0.0 Back: 514.819
INFO - Atoms: 45505/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 20578888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.757 Prop: 20672.754 PropClause: 20144.8 Set: 4114.586 Check: 0.0 Back: 515.92
INFO - Atoms: 45581/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 20623814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.763 Prop: 20713.642 PropClause: 20184.585 Set: 4122.48 Check: 0.0 Back: 517.01
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 20669303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.769 Prop: 20754.029 PropClause: 20223.842 Set: 4130.521 Check: 0.0 Back: 518.105
INFO - Atoms: 45489/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 20714721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.774 Prop: 20795.588 PropClause: 20264.284 Set: 4138.573 Check: 0.0 Back: 519.209
INFO - Atoms: 45418/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 20760243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.779 Prop: 20835.939 PropClause: 20303.508 Set: 4146.532 Check: 0.0 Back: 520.314
INFO - Atoms: 45522/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 20805555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.785 Prop: 20876.404 PropClause: 20342.854 Set: 4154.529 Check: 0.0 Back: 521.403
INFO - Atoms: 45312/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 20850870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.79 Prop: 20915.277 PropClause: 20380.615 Set: 4162.346 Check: 0.0 Back: 522.486
INFO - Atoms: 45315/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 20895796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.798 Prop: 20955.385 PropClause: 20419.609 Set: 4186.907 Check: 0.0 Back: 523.579
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 20940918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.929 Prop: 20994.853 PropClause: 20457.955 Set: 4194.833 Check: 0.0 Back: 524.675
INFO - Atoms: 45122/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 20986041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.0 Prop: 21043.084 PropClause: 20504.858 Set: 4205.104 Check: 0.0 Back: 525.757
INFO - Atoms: 45123/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 21031163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.124 Prop: 21081.69 PropClause: 20542.345 Set: 4212.838 Check: 0.0 Back: 526.947
INFO - Atoms: 45122/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 21076094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.167 Prop: 21131.618 PropClause: 20590.972 Set: 4223.261 Check: 0.0 Back: 528.045
INFO - Atoms: 44931/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 21121190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.211 Prop: 21179.654 PropClause: 20637.679 Set: 4233.49 Check: 0.0 Back: 529.236
INFO - Atoms: 45096/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 21166097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.307 Prop: 21219.633 PropClause: 20676.538 Set: 4241.388 Check: 0.0 Back: 530.399
INFO - Atoms: 44907/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 21211213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.373 Prop: 21259.447 PropClause: 20715.232 Set: 4249.29 Check: 0.0 Back: 531.546
INFO - Atoms: 45116/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 21255470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.39 Prop: 21303.294 PropClause: 20757.951 Set: 4257.436 Check: 0.0 Back: 532.641
INFO - Atoms: 44257/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 21299940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.395 Prop: 21344.692 PropClause: 20798.247 Set: 4265.233 Check: 0.0 Back: 533.724
INFO - Atoms: 44470/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 21344196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.401 Prop: 21388.315 PropClause: 20840.769 Set: 4273.013 Check: 0.0 Back: 534.821
INFO - Atoms: 44256/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 21388256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.406 Prop: 21426.806 PropClause: 20878.163 Set: 4280.592 Check: 0.0 Back: 535.9
INFO - Atoms: 44060/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 21432800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.412 Prop: 21474.023 PropClause: 20924.098 Set: 4296.062 Check: 0.0 Back: 536.976
INFO - Atoms: 44544/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 21477517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.417 Prop: 21511.937 PropClause: 20960.928 Set: 4303.605 Check: 0.0 Back: 538.104
INFO - Atoms: 44717/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 21522592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.493 Prop: 21553.494 PropClause: 21001.377 Set: 4311.374 Check: 0.0 Back: 539.22
INFO - Atoms: 45075/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 21567699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.558 Prop: 21592.57 PropClause: 21039.343 Set: 4319.04 Check: 0.0 Back: 540.372
INFO - Atoms: 45107/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 21613218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.59 Prop: 21632.953 PropClause: 21078.606 Set: 4326.883 Check: 0.0 Back: 541.516
INFO - Atoms: 45519/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 21658910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.632 Prop: 21672.517 PropClause: 21117.039 Set: 4334.725 Check: 0.0 Back: 542.677
INFO - Atoms: 45692/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 21704819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.666 Prop: 21714.797 PropClause: 21158.181 Set: 4342.717 Check: 0.0 Back: 543.833
INFO - Atoms: 45909/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 21750901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.705 Prop: 21754.224 PropClause: 21196.469 Set: 4350.64 Check: 0.0 Back: 545.038
INFO - Atoms: 46082/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 21797200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.751 Prop: 21807.111 PropClause: 21248.011 Set: 4361.462 Check: 0.0 Back: 546.197
INFO - Atoms: 46299/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 21843672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.794 Prop: 21857.765 PropClause: 21297.305 Set: 4371.653 Check: 0.0 Back: 547.411
INFO - Atoms: 46472/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 21890361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.856 Prop: 21900.447 PropClause: 21338.848 Set: 4379.696 Check: 0.0 Back: 548.583
INFO - Atoms: 46689/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 21937223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.86 Prop: 21942.425 PropClause: 21379.665 Set: 4387.72 Check: 0.0 Back: 549.754
INFO - Atoms: 46862/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 21984302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.865 Prop: 21986.213 PropClause: 21422.306 Set: 4395.885 Check: 0.0 Back: 550.93
INFO - Atoms: 47079/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 22031554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.871 Prop: 22028.558 PropClause: 21463.493 Set: 4403.994 Check: 0.0 Back: 552.119
INFO - Atoms: 47252/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 22079023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.876 Prop: 22072.239 PropClause: 21505.992 Set: 4412.319 Check: 0.0 Back: 553.311
INFO - Atoms: 47469/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 22126665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.883 Prop: 22133.33 PropClause: 21565.704 Set: 4424.37 Check: 0.0 Back: 554.517
INFO - Atoms: 47642/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 22174524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.888 Prop: 22189.839 PropClause: 21620.83 Set: 4435.97 Check: 0.0 Back: 555.797
INFO - Atoms: 47859/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 22222556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.894 Prop: 22247.199 PropClause: 21676.802 Set: 4447.741 Check: 0.0 Back: 557.048
INFO - Atoms: 48032/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 22270805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.899 Prop: 22303.912 PropClause: 21732.121 Set: 4459.587 Check: 0.0 Back: 558.286
INFO - Atoms: 48249/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 22319227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.905 Prop: 22352.795 PropClause: 21779.711 Set: 4468.723 Check: 0.0 Back: 559.53
INFO - Atoms: 48422/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 22367866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.91 Prop: 22399.73 PropClause: 21825.457 Set: 4477.251 Check: 0.0 Back: 560.752
INFO - Atoms: 48639/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 22416678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.915 Prop: 22443.759 PropClause: 21868.297 Set: 4505.488 Check: 0.0 Back: 561.991
INFO - Atoms: 48812/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 22465707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.922 Prop: 22492.048 PropClause: 21915.364 Set: 4514.089 Check: 0.0 Back: 563.196
INFO - Atoms: 49029/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 22514909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.927 Prop: 22537.432 PropClause: 21959.509 Set: 4522.663 Check: 0.0 Back: 564.436
INFO - Atoms: 49202/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 22564328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.933 Prop: 22585.132 PropClause: 22005.985 Set: 4531.431 Check: 0.0 Back: 565.691
INFO - Atoms: 49419/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 22613920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.939 Prop: 22630.931 PropClause: 22050.539 Set: 4540.136 Check: 0.0 Back: 566.953
INFO - Atoms: 49592/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 22663729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.945 Prop: 22678.425 PropClause: 22096.794 Set: 4548.914 Check: 0.0 Back: 568.186
INFO - Atoms: 49809/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 22713711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.95 Prop: 22723.818 PropClause: 22140.959 Set: 4557.56 Check: 0.0 Back: 569.429
INFO - Atoms: 49982/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 22763910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.954 Prop: 22772.591 PropClause: 22188.508 Set: 4566.33 Check: 0.0 Back: 570.68
INFO - Atoms: 50199/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 22814282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.959 Prop: 22818.996 PropClause: 22233.687 Set: 4575.02 Check: 0.0 Back: 571.941
INFO - Atoms: 50372/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 22864871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.964 Prop: 22868.815 PropClause: 22282.278 Set: 4583.853 Check: 0.0 Back: 573.188
INFO - Atoms: 50589/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 22915633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.97 Prop: 22917.582 PropClause: 22329.809 Set: 4592.651 Check: 0.0 Back: 574.448
INFO - Atoms: 50762/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 22966612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.976 Prop: 22972.144 PropClause: 22383.122 Set: 4601.782 Check: 0.0 Back: 575.698
INFO - Atoms: 50979/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 23017764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.981 Prop: 23022.728 PropClause: 22432.445 Set: 4610.826 Check: 0.0 Back: 576.963
INFO - Atoms: 51152/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 23069133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.987 Prop: 23072.485 PropClause: 22480.939 Set: 4619.949 Check: 0.0 Back: 578.229
INFO - Atoms: 51369/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 23120675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.992 Prop: 23121.201 PropClause: 22528.389 Set: 4628.922 Check: 0.0 Back: 579.543
INFO - Atoms: 51542/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 23172434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.996 Prop: 23171.614 PropClause: 22577.532 Set: 4638.039 Check: 0.0 Back: 580.834
INFO - Atoms: 51759/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 23224366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.003 Prop: 23221.961 PropClause: 22626.581 Set: 4661.081 Check: 0.0 Back: 582.145
INFO - Atoms: 51932/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 23276515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.007 Prop: 23273.689 PropClause: 22677.034 Set: 4670.288 Check: 0.0 Back: 583.434
INFO - Atoms: 52149/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 23328837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.012 Prop: 23324.086 PropClause: 22726.15 Set: 4679.432 Check: 0.0 Back: 584.752
INFO - Atoms: 52322/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 23381376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.016 Prop: 23375.477 PropClause: 22776.248 Set: 4688.688 Check: 0.0 Back: 586.057
INFO - Atoms: 52539/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 23434088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.021 Prop: 23426.683 PropClause: 22826.165 Set: 4697.909 Check: 0.0 Back: 587.362
INFO - Atoms: 52712/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 23487017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.026 Prop: 23482.856 PropClause: 22881.032 Set: 4707.405 Check: 0.0 Back: 588.695
INFO - Atoms: 52929/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 23540119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.031 Prop: 23535.898 PropClause: 22932.765 Set: 4716.717 Check: 0.0 Back: 590.046
INFO - Atoms: 53102/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 23593438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.036 Prop: 23591.477 PropClause: 22987.009 Set: 4726.207 Check: 0.0 Back: 591.371
INFO - Atoms: 53319/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 23646930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.042 Prop: 23645.488 PropClause: 23039.712 Set: 4735.631 Check: 0.0 Back: 592.7
INFO - Atoms: 53492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 23700639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.048 Prop: 23700.424 PropClause: 23093.334 Set: 4745.158 Check: 0.0 Back: 594.049
INFO - Atoms: 53709/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 23754521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.053 Prop: 23752.77 PropClause: 23144.353 Set: 4754.604 Check: 0.0 Back: 595.395
INFO - Atoms: 53882/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 23808620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.058 Prop: 23808.43 PropClause: 23198.665 Set: 4764.224 Check: 0.0 Back: 596.728
INFO - Atoms: 54099/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 23862892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.065 Prop: 23861.578 PropClause: 23250.488 Set: 4773.774 Check: 0.0 Back: 598.094
INFO - Atoms: 54272/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 23917381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.07 Prop: 23919.029 PropClause: 23306.604 Set: 4783.532 Check: 0.0 Back: 599.398
INFO - Atoms: 54489/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 59110 Tprops: 15078 Decides: 68338 RSplits: 0
INFO - Times: Expl: 336.444 Prop: 59505.914 PropClause: 28.674 Set: 11676.964 Check: 305.173 Back: 327.043
INFO - Atoms: 792/1014 Clauses: 500 Axioms: 1014
INFO - CCTimes: iE 721754 eq 36634627 cc 145890172 setRep 93292826
INFO - Merges: 564206, cc:1194581
INFO - BVTimes: BB 218679129 BB_DPLL 53682525574 Graph 1750171
INFO - BitBlastingClauses: 553814 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 23972043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.075 Prop: 23974.77 PropClause: 23360.979 Set: 4793.161 Check: 0.0 Back: 600.767
INFO - Atoms: 54662/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 24026922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.081 Prop: 24031.09 PropClause: 23415.918 Set: 4802.96 Check: 0.0 Back: 602.126
INFO - Atoms: 54879/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 24081974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.087 Prop: 24088.774 PropClause: 23472.18 Set: 4813.484 Check: 0.0 Back: 603.494
INFO - Atoms: 55052/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 24137243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.093 Prop: 24144.359 PropClause: 23526.392 Set: 4823.213 Check: 0.0 Back: 604.878
INFO - Atoms: 55269/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 24192685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.097 Prop: 24198.851 PropClause: 23579.522 Set: 4832.867 Check: 0.0 Back: 606.249
INFO - Atoms: 55442/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 24248344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.103 Prop: 24256.493 PropClause: 23635.784 Set: 4842.829 Check: 0.0 Back: 607.641
INFO - Atoms: 55659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 24304176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.109 Prop: 24316.216 PropClause: 23694.037 Set: 4853.926 Check: 0.0 Back: 609.031
INFO - Atoms: 55832/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 24360225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.114 Prop: 24372.77 PropClause: 23749.209 Set: 4863.832 Check: 0.0 Back: 610.402
INFO - Atoms: 56049/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 24416447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.119 Prop: 24425.625 PropClause: 23800.659 Set: 4873.669 Check: 0.0 Back: 611.8
INFO - Atoms: 56222/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 24472886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.125 Prop: 24480.586 PropClause: 23854.2 Set: 4898.913 Check: 0.0 Back: 613.19
INFO - Atoms: 56439/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 24529498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.13 Prop: 24535.187 PropClause: 23907.39 Set: 4908.78 Check: 0.0 Back: 614.559
INFO - Atoms: 56612/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 24586327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.136 Prop: 24594.486 PropClause: 23965.262 Set: 4918.91 Check: 0.0 Back: 615.969
INFO - Atoms: 56829/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 24643329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.141 Prop: 24651.204 PropClause: 24020.559 Set: 4928.925 Check: 0.0 Back: 617.388
INFO - Atoms: 57002/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 24700548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.146 Prop: 24714.261 PropClause: 24082.182 Set: 4939.269 Check: 0.0 Back: 618.798
INFO - Atoms: 57219/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 24757940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.151 Prop: 24772.251 PropClause: 24138.735 Set: 4949.398 Check: 0.0 Back: 620.227
INFO - Atoms: 57392/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 24815549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.157 Prop: 24833.355 PropClause: 24198.403 Set: 4959.697 Check: 0.0 Back: 621.652
INFO - Atoms: 57609/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 24873331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.163 Prop: 24894.027 PropClause: 24257.611 Set: 4970.024 Check: 0.0 Back: 623.091
INFO - Atoms: 57782/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 24931330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.168 Prop: 24954.016 PropClause: 24316.156 Set: 4980.301 Check: 0.0 Back: 624.55
INFO - Atoms: 57999/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 24989502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.174 Prop: 25014.053 PropClause: 24374.73 Set: 4990.665 Check: 0.0 Back: 625.977
INFO - Atoms: 58172/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 25047891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.179 Prop: 25075.741 PropClause: 24434.991 Set: 5001.0 Check: 0.0 Back: 627.416
INFO - Atoms: 58389/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 25106453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.185 Prop: 25136.137 PropClause: 24493.904 Set: 5011.5 Check: 0.0 Back: 628.875
INFO - Atoms: 58562/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 25165232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.191 Prop: 25200.878 PropClause: 24557.138 Set: 5022.373 Check: 0.0 Back: 630.318
INFO - Atoms: 58779/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 25224184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.196 Prop: 25265.496 PropClause: 24620.27 Set: 5033.196 Check: 0.0 Back: 631.778
INFO - Atoms: 58952/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 25283353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.201 Prop: 25333.903 PropClause: 24687.157 Set: 5044.151 Check: 0.0 Back: 633.281
INFO - Atoms: 59169/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 25342695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.207 Prop: 25394.735 PropClause: 24746.5 Set: 5054.818 Check: 0.0 Back: 634.763
INFO - Atoms: 59342/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 25402254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.212 Prop: 25457.927 PropClause: 24808.21 Set: 5065.572 Check: 0.0 Back: 636.263
INFO - Atoms: 59559/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 25461986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.217 Prop: 25519.942 PropClause: 24868.728 Set: 5076.279 Check: 0.0 Back: 637.729
INFO - Atoms: 59732/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 25521935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.222 Prop: 25587.148 PropClause: 24934.431 Set: 5087.142 Check: 0.0 Back: 639.209
INFO - Atoms: 59949/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 25582057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.227 Prop: 25651.531 PropClause: 24997.318 Set: 5097.864 Check: 0.0 Back: 640.706
INFO - Atoms: 60122/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 25642396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.232 Prop: 25717.784 PropClause: 25062.073 Set: 5108.701 Check: 0.0 Back: 642.205
INFO - Atoms: 60339/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 25702908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.238 Prop: 25784.908 PropClause: 25127.658 Set: 5119.889 Check: 0.0 Back: 643.712
INFO - Atoms: 60512/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 25763637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.243 Prop: 25851.904 PropClause: 25193.138 Set: 5130.906 Check: 0.0 Back: 645.261
INFO - Atoms: 60729/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 25824539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.249 Prop: 25916.217 PropClause: 25255.933 Set: 5141.77 Check: 0.0 Back: 646.799
INFO - Atoms: 60902/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 25885658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.254 Prop: 25989.509 PropClause: 25327.684 Set: 5152.846 Check: 0.0 Back: 648.308
INFO - Atoms: 61119/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 25946950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.259 Prop: 26057.758 PropClause: 25394.393 Set: 5163.972 Check: 0.0 Back: 649.844
INFO - Atoms: 61292/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 26008459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.263 Prop: 26125.864 PropClause: 25460.949 Set: 5175.196 Check: 0.0 Back: 651.387
INFO - Atoms: 61509/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 26070141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.27 Prop: 26198.694 PropClause: 25531.938 Set: 5188.728 Check: 0.0 Back: 652.917
INFO - Atoms: 61682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 26132040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.274 Prop: 26266.626 PropClause: 25598.323 Set: 5200.079 Check: 0.0 Back: 654.458
INFO - Atoms: 61899/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 26194112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.281 Prop: 26330.34 PropClause: 25660.497 Set: 5210.969 Check: 0.0 Back: 656.001
INFO - Atoms: 62072/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 26256401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.287 Prop: 26397.096 PropClause: 25725.714 Set: 5222.1 Check: 0.0 Back: 657.52
INFO - Atoms: 62289/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 26318863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.292 Prop: 26461.732 PropClause: 25788.824 Set: 5233.012 Check: 0.0 Back: 659.07
INFO - Atoms: 62462/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 26381542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.297 Prop: 26534.136 PropClause: 25859.628 Set: 5244.824 Check: 0.0 Back: 660.588
INFO - Atoms: 62679/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 26444394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.301 Prop: 26599.873 PropClause: 25923.822 Set: 5255.891 Check: 0.0 Back: 662.169
INFO - Atoms: 62852/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 26507463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.307 Prop: 26672.525 PropClause: 25994.668 Set: 5269.112 Check: 0.0 Back: 663.73
INFO - Atoms: 63069/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 26570705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.313 Prop: 26739.158 PropClause: 26059.723 Set: 5280.287 Check: 0.0 Back: 665.292
INFO - Atoms: 63242/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 26634163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.319 Prop: 26811.007 PropClause: 26130.005 Set: 5291.759 Check: 0.0 Back: 666.84
INFO - Atoms: 63458/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 26697795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.325 Prop: 26878.182 PropClause: 26195.62 Set: 5303.033 Check: 0.0 Back: 668.408
INFO - Atoms: 63632/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 26761644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.33 Prop: 26950.82 PropClause: 26266.691 Set: 5314.519 Check: 0.0 Back: 669.966
INFO - Atoms: 63849/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 26825690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.336 Prop: 27019.443 PropClause: 26333.727 Set: 5326.014 Check: 0.0 Back: 671.528
INFO - Atoms: 64046/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 26889907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.341 Prop: 27090.684 PropClause: 26403.402 Set: 5337.561 Check: 0.0 Back: 673.079
INFO - Atoms: 64217/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 26954341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.347 Prop: 27159.016 PropClause: 26470.153 Set: 5349.008 Check: 0.0 Back: 674.634
INFO - Atoms: 64434/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 27018948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.353 Prop: 27231.956 PropClause: 26541.5 Set: 5360.707 Check: 0.0 Back: 676.201
INFO - Atoms: 64607/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 27083771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.359 Prop: 27301.721 PropClause: 26609.68 Set: 5372.186 Check: 0.0 Back: 677.78
INFO - Atoms: 64823/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 27148768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.365 Prop: 27374.143 PropClause: 26680.509 Set: 5404.003 Check: 0.0 Back: 679.362
INFO - Atoms: 64997/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 27213981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.371 Prop: 27449.75 PropClause: 26754.496 Set: 5415.825 Check: 0.0 Back: 680.937
INFO - Atoms: 65213/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 27279368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.377 Prop: 27524.704 PropClause: 26827.805 Set: 5427.723 Check: 0.0 Back: 682.53
INFO - Atoms: 65387/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 27345113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.382 Prop: 27596.699 PropClause: 26898.152 Set: 5439.718 Check: 0.0 Back: 684.125
INFO - Atoms: 65745/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 27411054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.386 Prop: 27671.254 PropClause: 26971.064 Set: 5451.588 Check: 0.0 Back: 685.731
INFO - Atoms: 65941/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 27477024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.392 Prop: 27749.665 PropClause: 27047.545 Set: 5465.566 Check: 0.0 Back: 687.333
INFO - Atoms: 65970/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1056 Props: 28789005 Tprops: 0 Decides: 3151 RSplits: 0
INFO - Times: Expl: 1414.778 Prop: 28828.569 PropClause: 28088.728 Set: 5500.191 Check: 0.084 Back: 720.166
INFO - Atoms: 21829/65984 Clauses: 1176 Axioms: 217842
INFO - Restart
INFO - Confl: 1556 Props: 31050355 Tprops: 0 Decides: 9846 RSplits: 0
INFO - Times: Expl: 2353.603 Prop: 30960.031 PropClause: 30159.628 Set: 5553.629 Check: 0.252 Back: 773.462
INFO - Atoms: 21830/65984 Clauses: 1676 Axioms: 217842
INFO - Confl: 2061 Props: 32834330 Tprops: 0 Decides: 13996 RSplits: 0
INFO - Times: Expl: 3170.706 Prop: 32624.09 PropClause: 31776.156 Set: 5596.283 Check: 0.366 Back: 815.551
INFO - Atoms: 23202/65984 Clauses: 2181 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 560 Props: 65870 Tprops: 15080 Decides: 70111 RSplits: 0
INFO - Times: Expl: 372.585 Prop: 76113.77 PropClause: 32.517 Set: 12695.755 Check: 341.881 Back: 348.346
INFO - Atoms: 1014/1014 Clauses: 560 Axioms: 1014
INFO - CCTimes: iE 732327 eq 39064192 cc 162614011 setRep 107809898
INFO - Merges: 643391, cc:1887174
INFO - BVTimes: BB 218679129 BB_DPLL 69445149219 Graph 1791167
INFO - BitBlastingClauses: 594374 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat