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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 383962216
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 114042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.657 Prop: 227.724 PropClause: 220.197 Set: 78.627 Check: 0.0 Back: 0.0
INFO - Atoms: 114042/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 228084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.705 Prop: 444.475 PropClause: 433.221 Set: 106.313 Check: 0.0 Back: 2.915
INFO - Atoms: 114042/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 342115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.784 Prop: 611.153 PropClause: 595.052 Set: 184.759 Check: 0.0 Back: 5.907
INFO - Atoms: 114031/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 456137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.87 Prop: 795.055 PropClause: 775.375 Set: 212.298 Check: 0.0 Back: 8.692
INFO - Atoms: 114022/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 570152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.922 Prop: 983.581 PropClause: 960.204 Set: 255.719 Check: 0.0 Back: 11.605
INFO - Atoms: 114015/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 684167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.975 Prop: 1137.838 PropClause: 1110.895 Set: 281.043 Check: 0.0 Back: 14.531
INFO - Atoms: 114015/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 798172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.025 Prop: 1305.051 PropClause: 1274.839 Set: 308.032 Check: 0.0 Back: 17.383
INFO - Atoms: 114005/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 911845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.081 Prop: 1471.543 PropClause: 1438.075 Set: 334.506 Check: 0.0 Back: 20.285
INFO - Atoms: 113673/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1025274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.127 Prop: 1607.118 PropClause: 1570.794 Set: 355.614 Check: 0.0 Back: 23.155
INFO - Atoms: 113429/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1138701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.176 Prop: 1746.941 PropClause: 1707.806 Set: 377.486 Check: 0.0 Back: 25.794
INFO - Atoms: 113427/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1251931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.249 Prop: 1886.649 PropClause: 1844.692 Set: 410.123 Check: 0.0 Back: 28.404
INFO - Atoms: 113230/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1364899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.299 Prop: 2027.744 PropClause: 1983.01 Set: 442.365 Check: 0.0 Back: 31.031
INFO - Atoms: 112968/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1477647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.346 Prop: 2166.971 PropClause: 2119.401 Set: 463.54 Check: 0.0 Back: 33.623
INFO - Atoms: 112748/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1590223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.394 Prop: 2303.399 PropClause: 2253.05 Set: 484.089 Check: 0.0 Back: 36.228
INFO - Atoms: 112576/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1702579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.442 Prop: 2441.353 PropClause: 2388.207 Set: 505.302 Check: 0.0 Back: 38.785
INFO - Atoms: 112356/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1814767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.494 Prop: 2618.882 PropClause: 2562.522 Set: 531.666 Check: 0.0 Back: 41.379
INFO - Atoms: 112188/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1926735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.539 Prop: 2760.847 PropClause: 2701.68 Set: 552.977 Check: 0.0 Back: 44.005
INFO - Atoms: 111968/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 2038531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.583 Prop: 2910.653 PropClause: 2848.71 Set: 574.01 Check: 0.0 Back: 46.857
INFO - Atoms: 111796/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 2150107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.632 Prop: 3054.255 PropClause: 2989.524 Set: 595.211 Check: 0.0 Back: 49.675
INFO - Atoms: 111576/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 2261513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.681 Prop: 3200.482 PropClause: 3132.993 Set: 616.197 Check: 0.0 Back: 52.539
INFO - Atoms: 111406/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 2372699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.725 Prop: 3337.79 PropClause: 3267.554 Set: 636.647 Check: 0.0 Back: 55.078
INFO - Atoms: 111186/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2483507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.774 Prop: 3478.881 PropClause: 3405.899 Set: 661.698 Check: 0.0 Back: 57.66
INFO - Atoms: 110808/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2594317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.82 Prop: 3616.939 PropClause: 3541.201 Set: 718.778 Check: 0.0 Back: 60.227
INFO - Atoms: 110810/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2704933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.865 Prop: 3756.724 PropClause: 3678.22 Set: 739.623 Check: 0.0 Back: 62.773
INFO - Atoms: 110616/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2815353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.907 Prop: 3899.135 PropClause: 3817.905 Set: 760.41 Check: 0.0 Back: 65.28
INFO - Atoms: 110420/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2925603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.957 Prop: 4041.67 PropClause: 3957.689 Set: 781.12 Check: 0.0 Back: 67.832
INFO - Atoms: 110250/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 3035633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.01 Prop: 4189.105 PropClause: 4102.356 Set: 802.275 Check: 0.0 Back: 70.368
INFO - Atoms: 110030/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 3145493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.115 Prop: 4332.544 PropClause: 4243.058 Set: 822.89 Check: 0.0 Back: 73.05
INFO - Atoms: 109860/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 3255133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.137 Prop: 4469.327 PropClause: 4377.112 Set: 843.392 Check: 0.0 Back: 75.571
INFO - Atoms: 109640/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 3364603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.161 Prop: 4608.037 PropClause: 4513.066 Set: 863.55 Check: 0.0 Back: 78.094
INFO - Atoms: 109470/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 3473851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.182 Prop: 4752.017 PropClause: 4654.238 Set: 885.758 Check: 0.0 Back: 80.636
INFO - Atoms: 109248/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 3582929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.206 Prop: 4885.147 PropClause: 4784.658 Set: 905.593 Check: 0.0 Back: 83.198
INFO - Atoms: 109078/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 3691787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.227 Prop: 5014.745 PropClause: 4911.537 Set: 925.775 Check: 0.0 Back: 85.729
INFO - Atoms: 108858/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3800475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.247 Prop: 5148.096 PropClause: 5042.189 Set: 945.843 Check: 0.0 Back: 88.225
INFO - Atoms: 108688/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 3908943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.269 Prop: 5277.176 PropClause: 5168.562 Set: 966.15 Check: 0.0 Back: 90.76
INFO - Atoms: 108468/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 4017328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.289 Prop: 5412.771 PropClause: 5301.453 Set: 986.144 Check: 0.0 Back: 93.276
INFO - Atoms: 108385/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 4125501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.312 Prop: 5543.547 PropClause: 5429.52 Set: 1006.176 Check: 0.0 Back: 95.775
INFO - Atoms: 108173/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 4233502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.33 Prop: 5674.771 PropClause: 5558.071 Set: 1026.128 Check: 0.0 Back: 98.276
INFO - Atoms: 108001/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 4341285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.347 Prop: 5803.633 PropClause: 5684.261 Set: 1045.774 Check: 0.0 Back: 100.733
INFO - Atoms: 107783/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 4448886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.366 Prop: 5931.629 PropClause: 5809.589 Set: 1065.535 Check: 0.0 Back: 103.22
INFO - Atoms: 107601/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 4556279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.389 Prop: 6066.424 PropClause: 5941.723 Set: 1085.682 Check: 0.0 Back: 105.656
INFO - Atoms: 107393/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 4663500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.419 Prop: 6204.57 PropClause: 6077.172 Set: 1105.677 Check: 0.0 Back: 108.137
INFO - Atoms: 107221/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 4770501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.439 Prop: 6345.078 PropClause: 6215.04 Set: 1125.552 Check: 0.0 Back: 110.58
INFO - Atoms: 107001/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 4877334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.46 Prop: 6483.181 PropClause: 6350.476 Set: 1145.803 Check: 0.0 Back: 113.081
INFO - Atoms: 106833/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 4983947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.478 Prop: 6614.202 PropClause: 6478.848 Set: 1165.37 Check: 0.0 Back: 115.559
INFO - Atoms: 106613/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 5090388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.496 Prop: 6747.105 PropClause: 6609.113 Set: 1184.928 Check: 0.0 Back: 118.01
INFO - Atoms: 106441/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 5196611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.517 Prop: 6878.373 PropClause: 6737.748 Set: 1240.636 Check: 0.0 Back: 120.452
INFO - Atoms: 106223/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 5302664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.541 Prop: 7015.976 PropClause: 6872.718 Set: 1260.262 Check: 0.0 Back: 122.886
INFO - Atoms: 106053/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 5408495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.56 Prop: 7146.673 PropClause: 7000.776 Set: 1280.102 Check: 0.0 Back: 125.324
INFO - Atoms: 105831/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 5514156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.578 Prop: 7278.549 PropClause: 7130.038 Set: 1299.36 Check: 0.0 Back: 127.768
INFO - Atoms: 105661/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 5619599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.597 Prop: 7411.048 PropClause: 7259.909 Set: 1318.91 Check: 0.0 Back: 130.188
INFO - Atoms: 105443/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 5724870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.616 Prop: 7542.126 PropClause: 7388.374 Set: 1338.583 Check: 0.0 Back: 132.624
INFO - Atoms: 105271/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 5829923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.635 Prop: 7666.625 PropClause: 7510.257 Set: 1358.052 Check: 0.0 Back: 135.034
INFO - Atoms: 105053/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 5934806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.657 Prop: 7800.612 PropClause: 7641.629 Set: 1377.435 Check: 0.0 Back: 137.469
INFO - Atoms: 104883/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 6039467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.678 Prop: 7928.408 PropClause: 7766.821 Set: 1396.871 Check: 0.0 Back: 139.87
INFO - Atoms: 104661/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 6143934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.698 Prop: 8057.657 PropClause: 7893.447 Set: 1416.13 Check: 0.0 Back: 142.329
INFO - Atoms: 104467/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 6248207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.717 Prop: 8186.083 PropClause: 8019.268 Set: 1435.72 Check: 0.0 Back: 144.744
INFO - Atoms: 104273/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 6352308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.738 Prop: 8314.426 PropClause: 8145.014 Set: 1454.751 Check: 0.0 Back: 147.157
INFO - Atoms: 104101/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 6456191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.757 Prop: 8439.058 PropClause: 8267.045 Set: 1474.145 Check: 0.0 Back: 149.546
INFO - Atoms: 103883/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 6559896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.776 Prop: 8560.658 PropClause: 8386.066 Set: 1492.968 Check: 0.0 Back: 151.955
INFO - Atoms: 103705/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 6663387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.794 Prop: 8678.814 PropClause: 8501.629 Set: 1512.054 Check: 0.0 Back: 154.327
INFO - Atoms: 103491/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 6766708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.815 Prop: 8799.403 PropClause: 8619.671 Set: 1530.876 Check: 0.0 Back: 156.712
INFO - Atoms: 103321/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 6869809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.835 Prop: 8922.297 PropClause: 8740.003 Set: 1549.969 Check: 0.0 Back: 159.034
INFO - Atoms: 103101/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 6972740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.856 Prop: 9050.658 PropClause: 8865.779 Set: 1569.029 Check: 0.0 Back: 161.414
INFO - Atoms: 102931/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 7075453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.879 Prop: 9171.588 PropClause: 8984.165 Set: 1587.451 Check: 0.0 Back: 163.782
INFO - Atoms: 102713/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 7177996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.895 Prop: 9292.82 PropClause: 9102.84 Set: 1605.998 Check: 0.0 Back: 166.154
INFO - Atoms: 102543/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 7280319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.913 Prop: 9413.533 PropClause: 9221.041 Set: 1624.527 Check: 0.0 Back: 168.476
INFO - Atoms: 102323/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 7382472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.928 Prop: 9535.354 PropClause: 9340.315 Set: 1643.055 Check: 0.0 Back: 170.787
INFO - Atoms: 102153/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 7484405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.943 Prop: 9656.415 PropClause: 9458.846 Set: 1661.505 Check: 0.0 Back: 173.126
INFO - Atoms: 101933/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 7586142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.963 Prop: 9785.797 PropClause: 9585.687 Set: 1680.345 Check: 0.0 Back: 175.432
INFO - Atoms: 101737/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 7687685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.98 Prop: 9909.481 PropClause: 9706.825 Set: 1698.882 Check: 0.0 Back: 177.802
INFO - Atoms: 101543/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 7789058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.997 Prop: 10029.97 PropClause: 9824.801 Set: 1717.327 Check: 0.0 Back: 180.147
INFO - Atoms: 101373/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 7890211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.016 Prop: 10149.734 PropClause: 9942.044 Set: 1762.589 Check: 0.0 Back: 182.466
INFO - Atoms: 101153/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 7991168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.032 Prop: 10273.45 PropClause: 10063.26 Set: 1781.012 Check: 0.0 Back: 184.801
INFO - Atoms: 100957/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 8091931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.048 Prop: 10392.282 PropClause: 10179.588 Set: 1799.531 Check: 0.0 Back: 187.103
INFO - Atoms: 100763/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 8192522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.064 Prop: 10516.281 PropClause: 10301.112 Set: 1817.977 Check: 0.0 Back: 189.43
INFO - Atoms: 100591/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 8292895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.085 Prop: 10634.617 PropClause: 10416.955 Set: 1836.308 Check: 0.0 Back: 191.721
INFO - Atoms: 100373/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 8393098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.103 Prop: 10753.338 PropClause: 10533.169 Set: 1854.61 Check: 0.0 Back: 194.032
INFO - Atoms: 100203/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 8493081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.121 Prop: 10873.033 PropClause: 10650.401 Set: 1872.853 Check: 0.0 Back: 196.333
INFO - Atoms: 99983/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 8592894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.138 Prop: 10994.531 PropClause: 10769.41 Set: 1891.304 Check: 0.0 Back: 198.667
INFO - Atoms: 99813/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 8692485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.152 Prop: 11112.012 PropClause: 10884.437 Set: 1909.402 Check: 0.0 Back: 200.961
INFO - Atoms: 99591/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 8791908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.169 Prop: 11232.07 PropClause: 11002.01 Set: 1927.792 Check: 0.0 Back: 203.238
INFO - Atoms: 99423/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 8891111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.186 Prop: 11348.273 PropClause: 11115.759 Set: 1946.121 Check: 0.0 Back: 205.509
INFO - Atoms: 99203/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 8990142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.24 Prop: 11469.331 PropClause: 11234.263 Set: 1964.81 Check: 0.0 Back: 207.789
INFO - Atoms: 99031/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 9088955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.302 Prop: 11584.266 PropClause: 11346.737 Set: 1982.932 Check: 0.0 Back: 210.123
INFO - Atoms: 98813/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 9187572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.316 Prop: 11701.981 PropClause: 11461.997 Set: 2000.885 Check: 0.0 Back: 212.44
INFO - Atoms: 98617/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 9285993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.329 Prop: 11828.618 PropClause: 11586.055 Set: 2020.231 Check: 0.0 Back: 214.725
INFO - Atoms: 98421/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 9384240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.343 Prop: 11956.087 PropClause: 11711.068 Set: 2038.49 Check: 0.0 Back: 217.032
INFO - Atoms: 98247/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 9482273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.357 Prop: 12070.581 PropClause: 11823.147 Set: 2056.33 Check: 0.0 Back: 219.321
INFO - Atoms: 98033/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 9580136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.371 Prop: 12183.785 PropClause: 11933.911 Set: 2073.937 Check: 0.0 Back: 221.618
INFO - Atoms: 97863/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 9677779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.384 Prop: 12295.207 PropClause: 12042.915 Set: 2091.426 Check: 0.0 Back: 223.859
INFO - Atoms: 97643/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 9775250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.398 Prop: 12408.946 PropClause: 12154.23 Set: 2109.253 Check: 0.0 Back: 226.125
INFO - Atoms: 97471/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 9872501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.411 Prop: 12519.972 PropClause: 12262.828 Set: 2126.791 Check: 0.0 Back: 228.345
INFO - Atoms: 97251/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 9969558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.423 Prop: 12635.614 PropClause: 12376.048 Set: 2144.312 Check: 0.0 Back: 230.583
INFO - Atoms: 97057/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 10066421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.437 Prop: 12744.549 PropClause: 12482.583 Set: 2161.641 Check: 0.0 Back: 232.814
INFO - Atoms: 96863/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 10163114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.451 Prop: 12855.951 PropClause: 12591.592 Set: 2178.873 Check: 0.0 Back: 235.03
INFO - Atoms: 96693/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 10259587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.463 Prop: 12963.722 PropClause: 12697.002 Set: 2196.16 Check: 0.0 Back: 237.232
INFO - Atoms: 96473/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 10355890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.476 Prop: 13072.508 PropClause: 12803.396 Set: 2213.26 Check: 0.0 Back: 239.447
INFO - Atoms: 96303/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 10451973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.491 Prop: 13181.093 PropClause: 12909.613 Set: 2230.526 Check: 0.0 Back: 241.617
INFO - Atoms: 96083/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 10547860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.506 Prop: 13287.565 PropClause: 13013.696 Set: 2247.827 Check: 0.0 Back: 243.83
INFO - Atoms: 95887/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 10643551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.521 Prop: 13395.593 PropClause: 13119.363 Set: 2298.404 Check: 0.0 Back: 246.035
INFO - Atoms: 95691/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 10739068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.534 Prop: 13502.391 PropClause: 13223.794 Set: 2315.35 Check: 0.0 Back: 248.256
INFO - Atoms: 95517/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 10834371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.548 Prop: 13631.738 PropClause: 13350.259 Set: 2336.873 Check: 0.0 Back: 250.45
INFO - Atoms: 95303/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 10929478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.563 Prop: 13746.419 PropClause: 13462.58 Set: 2354.208 Check: 0.0 Back: 253.006
INFO - Atoms: 95107/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 11024391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.576 Prop: 13857.39 PropClause: 13571.186 Set: 2371.469 Check: 0.0 Back: 255.173
INFO - Atoms: 94913/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 11119108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.589 Prop: 13978.541 PropClause: 13689.533 Set: 2392.356 Check: 0.0 Back: 257.376
INFO - Atoms: 94717/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 11213629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.604 Prop: 14089.195 PropClause: 13797.829 Set: 2409.484 Check: 0.0 Back: 259.629
INFO - Atoms: 94521/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 11307980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.618 Prop: 14201.163 PropClause: 13907.452 Set: 2426.64 Check: 0.0 Back: 261.841
INFO - Atoms: 94351/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 11402111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.632 Prop: 14326.972 PropClause: 14030.661 Set: 2446.059 Check: 0.0 Back: 264.014
INFO - Atoms: 94131/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 11496072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.645 Prop: 14439.834 PropClause: 14141.175 Set: 2463.201 Check: 0.0 Back: 266.291
INFO - Atoms: 93961/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 11589815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.659 Prop: 14551.682 PropClause: 14250.702 Set: 2480.464 Check: 0.0 Back: 268.469
INFO - Atoms: 93743/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 11683388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 14681.275 PropClause: 14377.583 Set: 2501.944 Check: 0.0 Back: 270.717
INFO - Atoms: 93573/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 11776741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.685 Prop: 14795.276 PropClause: 14489.233 Set: 2519.273 Check: 0.0 Back: 272.885
INFO - Atoms: 93353/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 11869924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.7 Prop: 14909.866 PropClause: 14601.493 Set: 2536.182 Check: 0.0 Back: 275.034
INFO - Atoms: 93183/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 11962887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.715 Prop: 15023.417 PropClause: 14712.711 Set: 2553.331 Check: 0.0 Back: 277.19
INFO - Atoms: 92963/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 12055680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.73 Prop: 15138.475 PropClause: 14825.434 Set: 2602.647 Check: 0.0 Back: 279.362
INFO - Atoms: 92793/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 12148251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.743 Prop: 15248.54 PropClause: 14933.182 Set: 2619.604 Check: 0.0 Back: 281.523
INFO - Atoms: 92571/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 12240652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.759 Prop: 15361.8 PropClause: 15044.148 Set: 2636.434 Check: 0.0 Back: 283.677
INFO - Atoms: 92401/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 12332835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 15472.998 PropClause: 15153.048 Set: 2653.559 Check: 0.0 Back: 285.856
INFO - Atoms: 92183/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 12424848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 15577.458 PropClause: 15255.2 Set: 2670.169 Check: 0.0 Back: 287.975
INFO - Atoms: 92013/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 12516641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.802 Prop: 15681.467 PropClause: 15356.944 Set: 2686.724 Check: 0.0 Back: 290.077
INFO - Atoms: 91793/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 12608264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.816 Prop: 15789.228 PropClause: 15462.092 Set: 2705.288 Check: 0.0 Back: 292.166
INFO - Atoms: 91623/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 12699667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.83 Prop: 15892.607 PropClause: 15563.179 Set: 2721.959 Check: 0.0 Back: 294.282
INFO - Atoms: 91403/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 12790900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.844 Prop: 15993.246 PropClause: 15661.54 Set: 2738.309 Check: 0.0 Back: 296.42
INFO - Atoms: 91233/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 12881913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.857 Prop: 16094.727 PropClause: 15760.754 Set: 2754.701 Check: 0.0 Back: 298.517
INFO - Atoms: 91013/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 12972730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.871 Prop: 16193.025 PropClause: 15856.795 Set: 2770.63 Check: 0.0 Back: 300.635
INFO - Atoms: 90817/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 13063353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.884 Prop: 16291.734 PropClause: 15953.204 Set: 2787.297 Check: 0.0 Back: 302.711
INFO - Atoms: 90623/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 13153804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.898 Prop: 16384.267 PropClause: 16043.485 Set: 2803.077 Check: 0.0 Back: 304.869
INFO - Atoms: 90451/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 13244035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.912 Prop: 16480.347 PropClause: 16137.327 Set: 2819.33 Check: 0.0 Back: 306.954
INFO - Atoms: 90231/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 13334091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.925 Prop: 16574.527 PropClause: 16229.264 Set: 2835.283 Check: 0.0 Back: 309.003
INFO - Atoms: 90056/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 13423934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.938 Prop: 16673.55 PropClause: 16326.052 Set: 2851.336 Check: 0.0 Back: 311.073
INFO - Atoms: 89843/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 13513598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.953 Prop: 16773.54 PropClause: 16423.818 Set: 2867.382 Check: 0.0 Back: 313.231
INFO - Atoms: 89664/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 13603051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.967 Prop: 16871.823 PropClause: 16519.856 Set: 2883.429 Check: 0.0 Back: 315.294
INFO - Atoms: 89453/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 13692334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.983 Prop: 16975.749 PropClause: 16621.51 Set: 2900.086 Check: 0.0 Back: 317.403
INFO - Atoms: 89283/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 13781397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.998 Prop: 17079.434 PropClause: 16722.958 Set: 2916.59 Check: 0.0 Back: 319.509
INFO - Atoms: 89063/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 13870290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.011 Prop: 17177.891 PropClause: 16819.17 Set: 2932.494 Check: 0.0 Back: 321.58
INFO - Atoms: 88893/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 13958963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.025 Prop: 17275.674 PropClause: 16914.739 Set: 2948.654 Check: 0.0 Back: 323.616
INFO - Atoms: 88673/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 14047464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.039 Prop: 17378.744 PropClause: 17015.478 Set: 2965.674 Check: 0.0 Back: 325.639
INFO - Atoms: 88501/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 14135745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.053 Prop: 17476.034 PropClause: 17110.567 Set: 2981.773 Check: 0.0 Back: 327.789
INFO - Atoms: 88281/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 14223856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.067 Prop: 17578.6 PropClause: 17210.911 Set: 3020.975 Check: 0.0 Back: 329.819
INFO - Atoms: 88111/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 14311749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.08 Prop: 17681.991 PropClause: 17312.103 Set: 3036.918 Check: 0.0 Back: 331.855
INFO - Atoms: 87893/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 14399472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.096 Prop: 17785.407 PropClause: 17413.34 Set: 3053.022 Check: 0.0 Back: 333.901
INFO - Atoms: 87723/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 14486975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.11 Prop: 17884.498 PropClause: 17510.252 Set: 3068.937 Check: 0.0 Back: 335.944
INFO - Atoms: 87503/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 14574308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.123 Prop: 17985.316 PropClause: 17608.893 Set: 3084.654 Check: 0.0 Back: 337.975
INFO - Atoms: 87333/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 14661421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.138 Prop: 18081.584 PropClause: 17702.974 Set: 3100.42 Check: 0.0 Back: 339.975
INFO - Atoms: 87113/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 14748364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.158 Prop: 18182.462 PropClause: 17801.682 Set: 3115.93 Check: 0.0 Back: 341.982
INFO - Atoms: 86943/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 14835085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.174 Prop: 18281.843 PropClause: 17898.859 Set: 3131.741 Check: 0.0 Back: 343.988
INFO - Atoms: 86721/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 14921638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.188 Prop: 18381.063 PropClause: 17995.919 Set: 3147.324 Check: 0.0 Back: 345.989
INFO - Atoms: 86553/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 15007971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.201 Prop: 18478.343 PropClause: 18091.025 Set: 3163.148 Check: 0.0 Back: 347.969
INFO - Atoms: 86333/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 15094132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.215 Prop: 18576.213 PropClause: 18186.741 Set: 3178.501 Check: 0.0 Back: 350.006
INFO - Atoms: 86161/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 15180075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.232 Prop: 18674.079 PropClause: 18282.417 Set: 3194.434 Check: 0.0 Back: 352.033
INFO - Atoms: 85943/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 15265848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.247 Prop: 18775.525 PropClause: 18381.725 Set: 3209.856 Check: 0.0 Back: 354.04
INFO - Atoms: 85773/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 15351401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.26 Prop: 18862.935 PropClause: 18466.997 Set: 3225.051 Check: 0.0 Back: 356.02
INFO - Atoms: 85553/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 15436782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.274 Prop: 18957.567 PropClause: 18559.341 Set: 3241.584 Check: 0.0 Back: 358.001
INFO - Atoms: 85381/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 15521943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.288 Prop: 19044.816 PropClause: 18644.477 Set: 3256.575 Check: 0.0 Back: 359.975
INFO - Atoms: 85161/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 15606934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.301 Prop: 19131.63 PropClause: 18729.181 Set: 3271.455 Check: 0.0 Back: 361.96
INFO - Atoms: 84991/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 15691707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.315 Prop: 19219.86 PropClause: 18815.29 Set: 3310.981 Check: 0.0 Back: 363.903
INFO - Atoms: 84773/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 15776303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.33 Prop: 19313.321 PropClause: 18906.657 Set: 3326.086 Check: 0.0 Back: 365.862
INFO - Atoms: 84596/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 15860686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.345 Prop: 19405.796 PropClause: 18997.023 Set: 3341.351 Check: 0.0 Back: 367.847
INFO - Atoms: 84383/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 15944873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.359 Prop: 19497.984 PropClause: 19087.11 Set: 3356.457 Check: 0.0 Back: 369.811
INFO - Atoms: 84187/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 16028864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.374 Prop: 19587.678 PropClause: 19174.704 Set: 3371.449 Check: 0.0 Back: 371.768
INFO - Atoms: 83991/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 16112687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.387 Prop: 19675.483 PropClause: 19260.43 Set: 3386.371 Check: 0.0 Back: 373.764
INFO - Atoms: 83823/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 16196290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.403 Prop: 19772.848 PropClause: 19355.475 Set: 3403.004 Check: 0.0 Back: 375.725
INFO - Atoms: 83603/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 16279721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.417 Prop: 19865.03 PropClause: 19445.598 Set: 3417.617 Check: 0.0 Back: 377.865
INFO - Atoms: 83431/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 16362934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 19956.886 PropClause: 19535.382 Set: 3432.609 Check: 0.0 Back: 379.783
INFO - Atoms: 83213/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 16445977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.445 Prop: 20050.851 PropClause: 19627.257 Set: 3447.612 Check: 0.0 Back: 381.716
INFO - Atoms: 83043/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 16528800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.46 Prop: 20149.097 PropClause: 19723.11 Set: 3465.007 Check: 0.0 Back: 383.621
INFO - Atoms: 82823/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 16611453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.473 Prop: 20237.645 PropClause: 19809.566 Set: 3479.818 Check: 0.0 Back: 385.544
INFO - Atoms: 82653/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 16693884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.487 Prop: 20325.155 PropClause: 19895.013 Set: 3494.543 Check: 0.0 Back: 387.44
INFO - Atoms: 82431/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 16776145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.5 Prop: 20419.215 PropClause: 19986.998 Set: 3509.237 Check: 0.0 Back: 389.34
INFO - Atoms: 82261/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 16858188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 20507.821 PropClause: 20073.553 Set: 3523.962 Check: 0.0 Back: 391.276
INFO - Atoms: 82043/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 16940059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.528 Prop: 20596.461 PropClause: 20160.14 Set: 3538.451 Check: 0.0 Back: 393.179
INFO - Atoms: 81871/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 17021712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.542 Prop: 20688.903 PropClause: 20250.543 Set: 3553.038 Check: 0.0 Back: 395.047
INFO - Atoms: 81653/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 17103195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.556 Prop: 20778.637 PropClause: 20338.237 Set: 3567.416 Check: 0.0 Back: 396.967
INFO - Atoms: 81483/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 17184458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 20866.004 PropClause: 20423.594 Set: 3606.881 Check: 0.0 Back: 398.852
INFO - Atoms: 81263/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 17265551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.584 Prop: 20949.945 PropClause: 20505.488 Set: 3621.389 Check: 0.0 Back: 400.741
INFO - Atoms: 81093/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 17346422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.598 Prop: 21030.761 PropClause: 20584.279 Set: 3635.647 Check: 0.0 Back: 402.615
INFO - Atoms: 80871/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 17427125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.612 Prop: 21118.25 PropClause: 20669.739 Set: 3650.174 Check: 0.0 Back: 404.486
INFO - Atoms: 80703/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 17507608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.626 Prop: 21207.316 PropClause: 20756.729 Set: 3664.882 Check: 0.0 Back: 406.382
INFO - Atoms: 80483/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 17587919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.64 Prop: 21295.563 PropClause: 20842.991 Set: 3679.06 Check: 0.0 Back: 408.262
INFO - Atoms: 80311/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 17668010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.653 Prop: 21379.09 PropClause: 20924.515 Set: 3693.445 Check: 0.0 Back: 410.107
INFO - Atoms: 80091/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 17747907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.668 Prop: 21464.575 PropClause: 21007.995 Set: 3707.609 Check: 0.0 Back: 411.952
INFO - Atoms: 79897/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 17827610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.682 Prop: 21553.14 PropClause: 21094.542 Set: 3722.208 Check: 0.0 Back: 413.934
INFO - Atoms: 79703/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 17907141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.695 Prop: 21638.3 PropClause: 21177.725 Set: 3736.42 Check: 0.0 Back: 415.798
INFO - Atoms: 79531/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 17986454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.709 Prop: 21727.513 PropClause: 21264.903 Set: 3751.016 Check: 0.0 Back: 417.624
INFO - Atoms: 79313/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 18065597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.722 Prop: 21826.953 PropClause: 21362.056 Set: 3767.636 Check: 0.0 Back: 419.488
INFO - Atoms: 79143/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 18144520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 21913.191 PropClause: 21446.318 Set: 3781.624 Check: 0.0 Back: 421.367
INFO - Atoms: 78923/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 18223271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.749 Prop: 21995.997 PropClause: 21527.144 Set: 3795.493 Check: 0.0 Back: 423.187
INFO - Atoms: 78751/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 18301802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.763 Prop: 22077.483 PropClause: 21606.705 Set: 3809.157 Check: 0.0 Back: 424.991
INFO - Atoms: 78531/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 18380139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.776 Prop: 22158.588 PropClause: 21685.884 Set: 3822.696 Check: 0.0 Back: 426.784
INFO - Atoms: 78337/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 18458280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.803 Prop: 22239.038 PropClause: 21764.384 Set: 3836.472 Check: 0.0 Back: 428.576
INFO - Atoms: 78141/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 18536227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.816 Prop: 22321.831 PropClause: 21845.245 Set: 3849.91 Check: 0.0 Back: 430.397
INFO - Atoms: 77947/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 18613980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.831 Prop: 22405.356 PropClause: 21926.824 Set: 3863.579 Check: 0.0 Back: 432.202
INFO - Atoms: 77753/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 18691555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.846 Prop: 22485.077 PropClause: 22004.611 Set: 3911.942 Check: 0.0 Back: 434.015
INFO - Atoms: 77575/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 18768918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.859 Prop: 22563.591 PropClause: 22081.205 Set: 3925.458 Check: 0.0 Back: 435.785
INFO - Atoms: 77363/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 18846111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.872 Prop: 22651.98 PropClause: 22167.654 Set: 3939.263 Check: 0.0 Back: 437.574
INFO - Atoms: 77193/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 18923084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.886 Prop: 22726.609 PropClause: 22240.352 Set: 3952.641 Check: 0.0 Back: 439.576
INFO - Atoms: 76973/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 18999885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.929 Prop: 22801.479 PropClause: 22313.304 Set: 3966.106 Check: 0.0 Back: 441.358
INFO - Atoms: 76801/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 19076468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.971 Prop: 22875.929 PropClause: 22385.843 Set: 3979.5 Check: 0.0 Back: 443.118
INFO - Atoms: 76583/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 19152881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.985 Prop: 22952.215 PropClause: 22460.239 Set: 3992.718 Check: 0.0 Back: 444.897
INFO - Atoms: 76413/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 19229072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.998 Prop: 23025.937 PropClause: 22532.072 Set: 4006.07 Check: 0.0 Back: 446.637
INFO - Atoms: 76191/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 19305095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.012 Prop: 23102.829 PropClause: 22607.064 Set: 4019.308 Check: 0.0 Back: 448.421
INFO - Atoms: 76023/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 19380898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.026 Prop: 23179.86 PropClause: 22682.165 Set: 4032.826 Check: 0.0 Back: 450.196
INFO - Atoms: 75803/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 19456505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.04 Prop: 23258.179 PropClause: 22758.608 Set: 4045.965 Check: 0.0 Back: 451.974
INFO - Atoms: 75607/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 19531918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.055 Prop: 23341.115 PropClause: 22839.631 Set: 4059.622 Check: 0.0 Back: 453.704
INFO - Atoms: 75413/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 19607159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.069 Prop: 23422.995 PropClause: 22919.614 Set: 4072.804 Check: 0.0 Back: 455.475
INFO - Atoms: 75241/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 19682182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.084 Prop: 23502.76 PropClause: 22997.503 Set: 4086.206 Check: 0.0 Back: 457.211
INFO - Atoms: 75023/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 19757035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.098 Prop: 23581.774 PropClause: 23074.632 Set: 4099.457 Check: 0.0 Back: 458.955
INFO - Atoms: 74853/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 19831668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.112 Prop: 23665.012 PropClause: 23156.004 Set: 4112.912 Check: 0.0 Back: 460.687
INFO - Atoms: 74633/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 19906105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.125 Prop: 23747.981 PropClause: 23237.111 Set: 4126.184 Check: 0.0 Back: 462.478
INFO - Atoms: 74437/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 19980348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.139 Prop: 23826.986 PropClause: 23314.251 Set: 4139.383 Check: 0.0 Back: 464.196
INFO - Atoms: 74243/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 20054421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.154 Prop: 23910.159 PropClause: 23395.529 Set: 4152.863 Check: 0.0 Back: 465.917
INFO - Atoms: 74073/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 20128272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.168 Prop: 23994.912 PropClause: 23478.384 Set: 4166.518 Check: 0.0 Back: 467.765
INFO - Atoms: 73851/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 20201953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 24072.68 PropClause: 23554.287 Set: 4179.658 Check: 0.0 Back: 469.509
INFO - Atoms: 73681/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 20275416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.227 Prop: 24152.02 PropClause: 23631.641 Set: 4193.905 Check: 0.0 Back: 471.284
INFO - Atoms: 73463/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 20348709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.249 Prop: 24229.849 PropClause: 23707.552 Set: 4207.377 Check: 0.0 Back: 473.03
INFO - Atoms: 73293/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 20421782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.293 Prop: 24323.598 PropClause: 23799.166 Set: 4224.491 Check: 0.0 Back: 474.738
INFO - Atoms: 73073/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 20494683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.301 Prop: 24405.15 PropClause: 23878.799 Set: 4238.077 Check: 0.0 Back: 476.65
INFO - Atoms: 72901/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 20567366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.31 Prop: 24488.842 PropClause: 23960.615 Set: 4252.086 Check: 0.0 Back: 478.359
INFO - Atoms: 72683/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 20639879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.319 Prop: 24581.26 PropClause: 24050.864 Set: 4268.168 Check: 0.0 Back: 480.336
INFO - Atoms: 72513/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 20712172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.327 Prop: 24656.758 PropClause: 24124.55 Set: 4280.865 Check: 0.0 Back: 482.345
INFO - Atoms: 72293/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 20784293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.335 Prop: 24732.497 PropClause: 24198.481 Set: 4293.528 Check: 0.0 Back: 484.046
INFO - Atoms: 72121/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 20856196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.343 Prop: 24807.296 PropClause: 24271.468 Set: 4306.249 Check: 0.0 Back: 485.72
INFO - Atoms: 71903/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 20927929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.353 Prop: 24882.402 PropClause: 24344.751 Set: 4319.013 Check: 0.0 Back: 487.383
INFO - Atoms: 71733/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 20999442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.363 Prop: 24950.354 PropClause: 24410.917 Set: 4331.471 Check: 0.0 Back: 489.06
INFO - Atoms: 71513/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 21070785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 25013.452 PropClause: 24472.24 Set: 4343.559 Check: 0.0 Back: 490.725
INFO - Atoms: 71343/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 21141908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.378 Prop: 25077.822 PropClause: 24534.841 Set: 4355.944 Check: 0.0 Back: 492.359
INFO - Atoms: 71123/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 21212861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.384 Prop: 25141.546 PropClause: 24596.795 Set: 4368.059 Check: 0.0 Back: 494.012
INFO - Atoms: 70953/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 21283592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.394 Prop: 25206.465 PropClause: 24659.946 Set: 4380.211 Check: 0.0 Back: 495.654
INFO - Atoms: 70731/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 21354153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.403 Prop: 25269.05 PropClause: 24720.764 Set: 4392.192 Check: 0.0 Back: 497.281
INFO - Atoms: 70561/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 21424494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 25329.081 PropClause: 24779.046 Set: 4404.214 Check: 0.0 Back: 498.907
INFO - Atoms: 70341/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 21494665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.417 Prop: 25389.508 PropClause: 24837.726 Set: 4416.134 Check: 0.0 Back: 500.533
INFO - Atoms: 70171/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 21564618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 25449.084 PropClause: 24895.562 Set: 4427.979 Check: 0.0 Back: 502.14
INFO - Atoms: 69953/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 21634399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.43 Prop: 25508.441 PropClause: 24953.194 Set: 4439.678 Check: 0.0 Back: 503.746
INFO - Atoms: 69781/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 21703962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.438 Prop: 25566.865 PropClause: 25009.877 Set: 4451.395 Check: 0.0 Back: 505.344
INFO - Atoms: 69563/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 21773353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.447 Prop: 25627.425 PropClause: 25068.699 Set: 4463.134 Check: 0.0 Back: 506.941
INFO - Atoms: 69391/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 21842526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 25686.243 PropClause: 25125.786 Set: 4474.665 Check: 0.0 Back: 508.529
INFO - Atoms: 69173/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 21911529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.463 Prop: 25743.909 PropClause: 25181.739 Set: 4486.261 Check: 0.0 Back: 510.12
INFO - Atoms: 69003/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 21980312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.469 Prop: 25801.183 PropClause: 25237.321 Set: 4497.824 Check: 0.0 Back: 511.695
INFO - Atoms: 68783/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 22048925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.476 Prop: 25862.349 PropClause: 25296.814 Set: 4509.338 Check: 0.0 Back: 513.264
INFO - Atoms: 68613/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 22117316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.483 Prop: 25921.407 PropClause: 25354.185 Set: 4520.884 Check: 0.0 Back: 514.821
INFO - Atoms: 68391/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 22185531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 25982.452 PropClause: 25413.546 Set: 4532.585 Check: 0.0 Back: 516.389
INFO - Atoms: 68215/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 22253534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.496 Prop: 26044.333 PropClause: 25473.739 Set: 4544.247 Check: 0.0 Back: 517.947
INFO - Atoms: 68003/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 22321365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.504 Prop: 26104.175 PropClause: 25531.928 Set: 4555.508 Check: 0.0 Back: 519.513
INFO - Atoms: 67831/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 22388976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.511 Prop: 26164.783 PropClause: 25590.847 Set: 4566.862 Check: 0.0 Back: 521.044
INFO - Atoms: 67611/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 22456417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.519 Prop: 26227.646 PropClause: 25652.041 Set: 4578.211 Check: 0.0 Back: 522.601
INFO - Atoms: 67441/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 22523638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.527 Prop: 26289.674 PropClause: 25712.39 Set: 4589.777 Check: 0.0 Back: 524.13
INFO - Atoms: 67221/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 22590691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.534 Prop: 26347.771 PropClause: 25768.819 Set: 4600.97 Check: 0.0 Back: 525.677
INFO - Atoms: 67053/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 22657524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.542 Prop: 26402.827 PropClause: 25822.211 Set: 4612.203 Check: 0.0 Back: 527.211
INFO - Atoms: 66833/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 22723233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 26459.656 PropClause: 25877.41 Set: 4623.049 Check: 0.0 Back: 528.767
INFO - Atoms: 65709/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 22788722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.556 Prop: 26514.059 PropClause: 25930.199 Set: 4633.839 Check: 0.0 Back: 530.27
INFO - Atoms: 65489/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 22854039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.565 Prop: 26571.233 PropClause: 25985.754 Set: 4644.588 Check: 0.0 Back: 531.756
INFO - Atoms: 65317/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 22919138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.571 Prop: 26627.265 PropClause: 26040.184 Set: 4655.329 Check: 0.0 Back: 533.245
INFO - Atoms: 65099/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 22984067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.577 Prop: 26686.731 PropClause: 26098.051 Set: 4666.019 Check: 0.0 Back: 534.729
INFO - Atoms: 64929/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 23048774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.584 Prop: 26744.045 PropClause: 26153.766 Set: 4676.731 Check: 0.0 Back: 536.213
INFO - Atoms: 64707/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 23113311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.593 Prop: 26801.289 PropClause: 26209.402 Set: 4687.546 Check: 0.0 Back: 537.706
INFO - Atoms: 64537/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 23177630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.6 Prop: 26857.567 PropClause: 26264.098 Set: 4698.068 Check: 0.0 Back: 539.217
INFO - Atoms: 64319/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 23241777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.608 Prop: 26914.816 PropClause: 26319.758 Set: 4708.517 Check: 0.0 Back: 540.68
INFO - Atoms: 64147/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 23305706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.615 Prop: 26970.169 PropClause: 26373.52 Set: 4719.119 Check: 0.0 Back: 542.152
INFO - Atoms: 63929/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 23369465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.623 Prop: 27023.409 PropClause: 26425.172 Set: 4729.55 Check: 0.0 Back: 543.631
INFO - Atoms: 63759/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 23433002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 27075.288 PropClause: 26475.476 Set: 4740.065 Check: 0.0 Back: 545.102
INFO - Atoms: 63537/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 23496371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.638 Prop: 27130.239 PropClause: 26528.849 Set: 4750.48 Check: 0.0 Back: 546.555
INFO - Atoms: 63369/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 23559520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.648 Prop: 27184.675 PropClause: 26581.694 Set: 4761.231 Check: 0.0 Back: 548.012
INFO - Atoms: 63149/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 23622497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.655 Prop: 27236.356 PropClause: 26631.789 Set: 4771.76 Check: 0.0 Back: 549.501
INFO - Atoms: 62977/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 23685254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 27288.05 PropClause: 26681.928 Set: 4782.079 Check: 0.0 Back: 550.934
INFO - Atoms: 62757/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 23747843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.671 Prop: 27342.86 PropClause: 26735.181 Set: 4792.342 Check: 0.0 Back: 552.37
INFO - Atoms: 62589/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 23810212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.679 Prop: 27396.11 PropClause: 26786.886 Set: 4802.667 Check: 0.0 Back: 553.81
INFO - Atoms: 62369/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 23872409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.687 Prop: 27449.431 PropClause: 26838.664 Set: 4812.869 Check: 0.0 Back: 555.235
INFO - Atoms: 62197/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 23934386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.694 Prop: 27505.02 PropClause: 26892.644 Set: 4823.853 Check: 0.0 Back: 556.661
INFO - Atoms: 61977/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 23996193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.702 Prop: 27554.298 PropClause: 26940.371 Set: 4833.899 Check: 0.0 Back: 558.095
INFO - Atoms: 61807/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 24057782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.71 Prop: 27601.465 PropClause: 26985.988 Set: 4843.962 Check: 0.0 Back: 559.511
INFO - Atoms: 61589/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 24119199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.719 Prop: 27650.157 PropClause: 27033.163 Set: 4853.863 Check: 0.0 Back: 560.937
INFO - Atoms: 61417/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 24180396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.728 Prop: 27697.702 PropClause: 27079.183 Set: 4863.976 Check: 0.0 Back: 562.347
INFO - Atoms: 61197/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 24241425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.735 Prop: 27741.694 PropClause: 27121.658 Set: 4873.82 Check: 0.0 Back: 563.772
INFO - Atoms: 61029/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 24302234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.743 Prop: 27785.602 PropClause: 27164.059 Set: 4883.501 Check: 0.0 Back: 565.164
INFO - Atoms: 60809/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 24362871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.752 Prop: 27829.433 PropClause: 27206.38 Set: 4893.26 Check: 0.0 Back: 566.555
INFO - Atoms: 60637/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 24423290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.76 Prop: 27876.371 PropClause: 27251.721 Set: 4904.055 Check: 0.0 Back: 567.961
INFO - Atoms: 60419/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 24483537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.768 Prop: 27923.782 PropClause: 27297.577 Set: 4914.251 Check: 0.0 Back: 569.413
INFO - Atoms: 60247/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 24543564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.776 Prop: 27971.154 PropClause: 27343.454 Set: 4924.007 Check: 0.0 Back: 570.801
INFO - Atoms: 60027/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 24603421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.784 Prop: 28014.456 PropClause: 27385.292 Set: 4933.459 Check: 0.0 Back: 572.182
INFO - Atoms: 59857/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 24663058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.793 Prop: 28057.972 PropClause: 27427.321 Set: 4943.062 Check: 0.0 Back: 573.536
INFO - Atoms: 59637/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 24722525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.801 Prop: 28099.401 PropClause: 27467.29 Set: 4952.488 Check: 0.0 Back: 574.932
INFO - Atoms: 59467/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 24781774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.808 Prop: 28140.721 PropClause: 27507.139 Set: 4961.97 Check: 0.0 Back: 576.276
INFO - Atoms: 59249/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 24840851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.816 Prop: 28187.983 PropClause: 27552.83 Set: 4972.17 Check: 0.0 Back: 577.633
INFO - Atoms: 59077/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 24899708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 28236.958 PropClause: 27600.116 Set: 4983.955 Check: 0.0 Back: 579.096
INFO - Atoms: 58857/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 24958397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.834 Prop: 28283.2 PropClause: 27644.893 Set: 4993.584 Check: 0.0 Back: 580.485
INFO - Atoms: 58689/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 25016866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.842 Prop: 28331.094 PropClause: 27691.323 Set: 5003.249 Check: 0.0 Back: 581.838
INFO - Atoms: 58469/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 25075163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.851 Prop: 28378.836 PropClause: 27737.606 Set: 5012.907 Check: 0.0 Back: 583.21
INFO - Atoms: 58297/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 25133240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.859 Prop: 28428.396 PropClause: 27785.695 Set: 5022.729 Check: 0.0 Back: 584.567
INFO - Atoms: 58077/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 25191147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.867 Prop: 28481.022 PropClause: 27836.72 Set: 5034.245 Check: 0.0 Back: 586.205
INFO - Atoms: 57907/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 25248834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.875 Prop: 28528.462 PropClause: 27882.693 Set: 5043.844 Check: 0.0 Back: 587.57
INFO - Atoms: 57687/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 25306353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 28575.167 PropClause: 27927.949 Set: 5053.303 Check: 0.0 Back: 588.932
INFO - Atoms: 57519/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 25363652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 28619.839 PropClause: 27971.201 Set: 5062.691 Check: 0.0 Back: 590.264
INFO - Atoms: 57299/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 25420781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.9 Prop: 28667.758 PropClause: 28017.695 Set: 5072.044 Check: 0.0 Back: 591.6
INFO - Atoms: 57129/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 25477688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.909 Prop: 28715.611 PropClause: 28064.125 Set: 5081.633 Check: 0.0 Back: 592.927
INFO - Atoms: 56907/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 25534425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.918 Prop: 28762.139 PropClause: 28109.205 Set: 5090.889 Check: 0.0 Back: 594.263
INFO - Atoms: 56737/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 25590944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.925 Prop: 28806.491 PropClause: 28152.13 Set: 5100.143 Check: 0.0 Back: 595.589
INFO - Atoms: 56519/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 25647293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.934 Prop: 28853.53 PropClause: 28197.762 Set: 5109.438 Check: 0.0 Back: 596.915
INFO - Atoms: 56349/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 25703420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.944 Prop: 28900.214 PropClause: 28243.02 Set: 5118.868 Check: 0.0 Back: 598.234
INFO - Atoms: 56127/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 25759379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.953 Prop: 28944.092 PropClause: 28285.503 Set: 5127.907 Check: 0.0 Back: 599.592
INFO - Atoms: 55959/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 25815118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.962 Prop: 28989.731 PropClause: 28329.715 Set: 5137.234 Check: 0.0 Back: 600.9
INFO - Atoms: 55739/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 25870687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.97 Prop: 29034.424 PropClause: 28373.022 Set: 5146.207 Check: 0.0 Back: 602.205
INFO - Atoms: 55569/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 25926036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.979 Prop: 29076.96 PropClause: 28414.177 Set: 5155.138 Check: 0.0 Back: 603.496
INFO - Atoms: 55349/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 25981213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.987 Prop: 29121.115 PropClause: 28456.94 Set: 5164.056 Check: 0.0 Back: 604.8
INFO - Atoms: 55177/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 26036172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 29162.796 PropClause: 28497.25 Set: 5172.942 Check: 0.0 Back: 606.107
INFO - Atoms: 54959/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 26090961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.004 Prop: 29211.641 PropClause: 28544.685 Set: 5182.143 Check: 0.0 Back: 607.391
INFO - Atoms: 54789/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 26145530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.012 Prop: 29257.046 PropClause: 28588.65 Set: 5191.838 Check: 0.0 Back: 608.678
INFO - Atoms: 54569/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 26199929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.021 Prop: 29299.554 PropClause: 28629.798 Set: 5200.661 Check: 0.0 Back: 609.966
INFO - Atoms: 54399/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 26254108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.029 Prop: 29338.532 PropClause: 28667.425 Set: 5209.354 Check: 0.0 Back: 611.235
INFO - Atoms: 54179/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 26308117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.038 Prop: 29378.151 PropClause: 28705.696 Set: 5218.053 Check: 0.0 Back: 612.546
INFO - Atoms: 54009/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 26361904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.045 Prop: 29416.75 PropClause: 28742.938 Set: 5226.787 Check: 0.0 Back: 613.787
INFO - Atoms: 53787/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 26415521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.054 Prop: 29454.823 PropClause: 28779.662 Set: 5235.385 Check: 0.0 Back: 615.08
INFO - Atoms: 53617/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 26468918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.064 Prop: 29493.261 PropClause: 28816.668 Set: 5244.7 Check: 0.0 Back: 616.341
INFO - Atoms: 53397/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 26522145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 29530.474 PropClause: 28852.539 Set: 5253.228 Check: 0.0 Back: 617.639
INFO - Atoms: 53227/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 26575154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.08 Prop: 29570.718 PropClause: 28891.398 Set: 5262.346 Check: 0.0 Back: 618.886
INFO - Atoms: 53009/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 26627993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.088 Prop: 29607.471 PropClause: 28926.827 Set: 5270.751 Check: 0.0 Back: 620.124
INFO - Atoms: 52839/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 26680612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.098 Prop: 29646.225 PropClause: 28964.243 Set: 5279.355 Check: 0.0 Back: 621.359
INFO - Atoms: 52619/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 26733061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.106 Prop: 29688.787 PropClause: 29005.332 Set: 5289.301 Check: 0.0 Back: 622.6
INFO - Atoms: 52449/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 26785290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.114 Prop: 29725.652 PropClause: 29040.888 Set: 5297.642 Check: 0.0 Back: 623.909
INFO - Atoms: 52229/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 26837347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 29760.774 PropClause: 29074.71 Set: 5305.946 Check: 0.0 Back: 625.144
INFO - Atoms: 52057/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 26889184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.13 Prop: 29793.237 PropClause: 29105.873 Set: 5314.052 Check: 0.0 Back: 626.358
INFO - Atoms: 51837/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 26940851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.138 Prop: 29827.826 PropClause: 29139.17 Set: 5322.278 Check: 0.0 Back: 627.569
INFO - Atoms: 51667/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 26992300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.146 Prop: 29860.985 PropClause: 29171.039 Set: 5330.435 Check: 0.0 Back: 628.767
INFO - Atoms: 51449/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 27043577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.154 Prop: 29895.1 PropClause: 29203.872 Set: 5338.553 Check: 0.0 Back: 629.962
INFO - Atoms: 51277/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 27094636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.161 Prop: 29927.716 PropClause: 29235.21 Set: 5346.521 Check: 0.0 Back: 631.138
INFO - Atoms: 51059/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 27145523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 29959.649 PropClause: 29265.884 Set: 5354.395 Check: 0.0 Back: 632.318
INFO - Atoms: 50887/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 27196190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.177 Prop: 29991.143 PropClause: 29296.12 Set: 5362.246 Check: 0.0 Back: 633.478
INFO - Atoms: 50667/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 27246687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.185 Prop: 30023.574 PropClause: 29327.287 Set: 5370.108 Check: 0.0 Back: 634.648
INFO - Atoms: 50497/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 27296966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.193 Prop: 30054.639 PropClause: 29357.092 Set: 5377.976 Check: 0.0 Back: 635.809
INFO - Atoms: 50279/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 27347073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 30086.596 PropClause: 29387.823 Set: 5385.623 Check: 0.0 Back: 636.96
INFO - Atoms: 50107/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 27396960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.21 Prop: 30118.79 PropClause: 29418.768 Set: 5393.393 Check: 0.0 Back: 638.09
INFO - Atoms: 49887/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 27446679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.219 Prop: 30150.149 PropClause: 29448.898 Set: 5401.038 Check: 0.0 Back: 639.228
INFO - Atoms: 49719/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 27496178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.228 Prop: 30182.086 PropClause: 29479.613 Set: 5408.635 Check: 0.0 Back: 640.36
INFO - Atoms: 49499/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 27545505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.237 Prop: 30212.685 PropClause: 29509.001 Set: 5416.217 Check: 0.0 Back: 641.5
INFO - Atoms: 49327/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 27594612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.246 Prop: 30242.831 PropClause: 29537.931 Set: 5423.821 Check: 0.0 Back: 642.685
INFO - Atoms: 49107/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 27643549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.254 Prop: 30272.798 PropClause: 29566.673 Set: 5431.351 Check: 0.0 Back: 643.812
INFO - Atoms: 48937/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 27692266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.262 Prop: 30301.91 PropClause: 29594.556 Set: 5438.86 Check: 0.0 Back: 644.925
INFO - Atoms: 48717/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 27740813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.27 Prop: 30329.64 PropClause: 29621.091 Set: 5446.252 Check: 0.0 Back: 646.059
INFO - Atoms: 48547/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 27789142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.279 Prop: 30356.179 PropClause: 29646.447 Set: 5453.528 Check: 0.0 Back: 647.173
INFO - Atoms: 48329/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 27837301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.288 Prop: 30382.349 PropClause: 29671.42 Set: 5460.843 Check: 0.0 Back: 648.269
INFO - Atoms: 48159/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 27885238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.296 Prop: 30407.979 PropClause: 29695.859 Set: 5468.107 Check: 0.0 Back: 649.371
INFO - Atoms: 47937/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 27933007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.305 Prop: 30433.893 PropClause: 29720.597 Set: 5475.308 Check: 0.0 Back: 650.536
INFO - Atoms: 47769/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 27980554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.313 Prop: 30459.69 PropClause: 29745.227 Set: 5482.436 Check: 0.0 Back: 651.618
INFO - Atoms: 47547/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 28027931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.321 Prop: 30486.593 PropClause: 29770.958 Set: 5489.62 Check: 0.0 Back: 652.704
INFO - Atoms: 47377/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 28075090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.33 Prop: 30512.052 PropClause: 29795.248 Set: 5496.756 Check: 0.0 Back: 653.801
INFO - Atoms: 47159/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 28122077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.335 Prop: 30538.291 PropClause: 29820.322 Set: 5503.914 Check: 0.0 Back: 654.881
INFO - Atoms: 46987/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 28168844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.342 Prop: 30565.216 PropClause: 29846.087 Set: 5510.996 Check: 0.0 Back: 655.951
INFO - Atoms: 46767/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 28215443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.394 Prop: 30593.006 PropClause: 29872.728 Set: 5518.038 Check: 0.0 Back: 657.026
INFO - Atoms: 46599/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 28261822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.442 Prop: 30620.776 PropClause: 29899.325 Set: 5525.259 Check: 0.0 Back: 658.111
INFO - Atoms: 46379/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 28308031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.482 Prop: 30647.483 PropClause: 29924.873 Set: 5532.294 Check: 0.0 Back: 659.207
INFO - Atoms: 46209/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 28354018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.489 Prop: 30673.982 PropClause: 29950.234 Set: 5539.231 Check: 0.0 Back: 660.272
INFO - Atoms: 45987/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 28399835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.495 Prop: 30700.451 PropClause: 29975.566 Set: 5546.159 Check: 0.0 Back: 661.329
INFO - Atoms: 45817/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 28445434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.501 Prop: 30726.267 PropClause: 30000.252 Set: 5553.065 Check: 0.0 Back: 662.385
INFO - Atoms: 45599/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 28490863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.509 Prop: 30754.317 PropClause: 30027.153 Set: 5560.038 Check: 0.0 Back: 663.449
INFO - Atoms: 45429/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 28536072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.517 Prop: 30780.182 PropClause: 30051.893 Set: 5566.919 Check: 0.0 Back: 664.537
INFO - Atoms: 45209/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 28581109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.523 Prop: 30805.218 PropClause: 30075.815 Set: 5573.72 Check: 0.0 Back: 665.583
INFO - Atoms: 45037/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 28625928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.53 Prop: 30830.401 PropClause: 30099.894 Set: 5580.456 Check: 0.0 Back: 666.622
INFO - Atoms: 44819/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 28670577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.538 Prop: 30855.363 PropClause: 30123.748 Set: 5587.21 Check: 0.0 Back: 667.645
INFO - Atoms: 44649/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 28715006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.547 Prop: 30880.163 PropClause: 30147.442 Set: 5593.947 Check: 0.0 Back: 668.666
INFO - Atoms: 44429/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 28759265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.553 Prop: 30905.269 PropClause: 30171.449 Set: 5600.65 Check: 0.0 Back: 669.694
INFO - Atoms: 44259/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 28803304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.561 Prop: 30930.033 PropClause: 30195.13 Set: 5607.278 Check: 0.0 Back: 670.74
INFO - Atoms: 44039/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 28847171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.568 Prop: 30952.956 PropClause: 30216.967 Set: 5613.844 Check: 0.0 Back: 671.753
INFO - Atoms: 43867/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 28890820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.574 Prop: 30974.975 PropClause: 30237.9 Set: 5620.366 Check: 0.0 Back: 672.767
INFO - Atoms: 43649/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 28934299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.582 Prop: 30996.684 PropClause: 30258.533 Set: 5626.811 Check: 0.0 Back: 673.773
INFO - Atoms: 43479/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 28977556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.589 Prop: 31018.074 PropClause: 30278.851 Set: 5633.246 Check: 0.0 Back: 674.774
INFO - Atoms: 43257/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 29020643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.596 Prop: 31039.509 PropClause: 30299.226 Set: 5639.632 Check: 0.0 Back: 675.769
INFO - Atoms: 43087/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 29063512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.602 Prop: 31060.414 PropClause: 30319.077 Set: 5645.958 Check: 0.0 Back: 676.749
INFO - Atoms: 42869/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 29106211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.609 Prop: 31080.931 PropClause: 30338.541 Set: 5652.269 Check: 0.0 Back: 677.722
INFO - Atoms: 42699/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 29148690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.618 Prop: 31102.084 PropClause: 30358.625 Set: 5658.596 Check: 0.0 Back: 678.698
INFO - Atoms: 42479/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 29190974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.627 Prop: 31126.66 PropClause: 30381.929 Set: 5666.652 Check: 0.0 Back: 679.68
INFO - Atoms: 42284/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 29232874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.635 Prop: 31152.402 PropClause: 30406.401 Set: 5674.737 Check: 0.0 Back: 680.803
INFO - Atoms: 41900/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 29274797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.643 Prop: 31175.516 PropClause: 30428.451 Set: 5681.041 Check: 0.0 Back: 681.921
INFO - Atoms: 41923/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 29316498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.651 Prop: 31197.819 PropClause: 30449.713 Set: 5687.331 Check: 0.0 Back: 682.894
INFO - Atoms: 41701/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 29357935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.659 Prop: 31219.719 PropClause: 30470.58 Set: 5693.573 Check: 0.0 Back: 683.877
INFO - Atoms: 41437/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 29399152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.667 Prop: 31240.269 PropClause: 30490.095 Set: 5699.667 Check: 0.0 Back: 684.837
INFO - Atoms: 41217/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 29440111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.675 Prop: 31261.161 PropClause: 30509.966 Set: 5705.741 Check: 0.0 Back: 685.783
INFO - Atoms: 40959/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 29480850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.682 Prop: 31281.202 PropClause: 30528.986 Set: 5711.736 Check: 0.0 Back: 686.716
INFO - Atoms: 40739/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 29521393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.69 Prop: 31301.102 PropClause: 30547.874 Set: 5717.78 Check: 0.0 Back: 687.656
INFO - Atoms: 40543/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 29561742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.698 Prop: 31323.773 PropClause: 30569.35 Set: 5725.404 Check: 0.0 Back: 688.608
INFO - Atoms: 40349/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 29601921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.707 Prop: 31346.344 PropClause: 30590.751 Set: 5732.853 Check: 0.0 Back: 689.684
INFO - Atoms: 40179/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 29641880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.715 Prop: 31368.613 PropClause: 30611.822 Set: 5740.491 Check: 0.0 Back: 690.766
INFO - Atoms: 39959/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 29681664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.723 Prop: 31387.508 PropClause: 30629.729 Set: 5746.276 Check: 0.0 Back: 691.841
INFO - Atoms: 39784/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 29721233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.73 Prop: 31405.762 PropClause: 30646.999 Set: 5752.015 Check: 0.0 Back: 692.76
INFO - Atoms: 39569/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 29759678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.737 Prop: 31423.536 PropClause: 30663.83 Set: 5757.415 Check: 0.0 Back: 693.67
INFO - Atoms: 38445/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 29797903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.744 Prop: 31440.295 PropClause: 30679.659 Set: 5762.763 Check: 0.0 Back: 694.536
INFO - Atoms: 38225/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 29835933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.751 Prop: 31457.193 PropClause: 30695.615 Set: 5768.134 Check: 0.0 Back: 695.416
INFO - Atoms: 38030/114046 Clauses: 1169 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 886 Props: 32360196 Tprops: 0 Decides: 11005 RSplits: 0
INFO - Times: Expl: 1891.909 Prop: 33900.488 PropClause: 33066.094 Set: 5834.509 Check: 0.273 Back: 756.727
INFO - Atoms: 37367/114046 Clauses: 1668 Axioms: 377794
INFO - Confl: 1355 Props: 34255454 Tprops: 0 Decides: 16683 RSplits: 0
INFO - Times: Expl: 2694.125 Prop: 35749.458 PropClause: 34862.348 Set: 5880.547 Check: 0.417 Back: 802.064
INFO - Atoms: 37900/114046 Clauses: 2137 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1855 Props: 37472892 Tprops: 0 Decides: 30365 RSplits: 0
INFO - Times: Expl: 4213.174 Prop: 38999.104 PropClause: 38022.196 Set: 5962.981 Check: 0.741 Back: 879.303
INFO - Atoms: 37366/114046 Clauses: 1672 Axioms: 377794
INFO - Confl: 2259 Props: 39059151 Tprops: 0 Decides: 34751 RSplits: 0
INFO - Times: Expl: 4807.111 Prop: 40369.212 PropClause: 39348.927 Set: 6001.595 Check: 0.849 Back: 917.152
INFO - Atoms: 38066/114046 Clauses: 2076 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2759 Props: 41463691 Tprops: 0 Decides: 43888 RSplits: 0
INFO - Times: Expl: 6037.582 Prop: 42794.233 PropClause: 41706.324 Set: 6064.92 Check: 1.069 Back: 974.798
INFO - Atoms: 37363/114046 Clauses: 1678 Axioms: 377794
INFO - Confl: 3207 Props: 43193652 Tprops: 0 Decides: 48576 RSplits: 0
INFO - Times: Expl: 6730.439 Prop: 44387.719 PropClause: 43251.835 Set: 6106.808 Check: 1.186 Back: 1015.946
INFO - Atoms: 38033/114046 Clauses: 2126 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3707 Props: 45662348 Tprops: 0 Decides: 58374 RSplits: 0
INFO - Times: Expl: 7879.645 Prop: 46753.891 PropClause: 45547.765 Set: 6172.647 Check: 1.42 Back: 1074.68
INFO - Atoms: 37366/114046 Clauses: 1678 Axioms: 377794
INFO - Confl: 4207 Props: 47152053 Tprops: 0 Decides: 62472 RSplits: 0
INFO - Times: Expl: 8496.642 Prop: 48021.064 PropClause: 46773.619 Set: 6209.612 Check: 1.525 Back: 1110.568
INFO - Atoms: 38450/114046 Clauses: 2178 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4707 Props: 49924766 Tprops: 0 Decides: 73041 RSplits: 0
INFO - Times: Expl: 9939.581 Prop: 50865.473 PropClause: 49540.691 Set: 6282.641 Check: 1.781 Back: 1176.925
INFO - Atoms: 37364/114046 Clauses: 1680 Axioms: 377794
INFO - Confl: 5113 Props: 51653452 Tprops: 0 Decides: 78144 RSplits: 0
INFO - Times: Expl: 10573.841 Prop: 52470.451 PropClause: 51098.944 Set: 6324.116 Check: 1.91 Back: 1218.002
INFO - Atoms: 37893/114046 Clauses: 2086 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5613 Props: 54460031 Tprops: 0 Decides: 89481 RSplits: 0
INFO - Times: Expl: 11699.125 Prop: 55268.858 PropClause: 53820.084 Set: 6395.97 Check: 2.177 Back: 1285.0
INFO - Atoms: 37370/114046 Clauses: 1686 Axioms: 377794
INFO - Confl: 6023 Props: 56062509 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.023 Prop: 56869.849 PropClause: 55376.239 Set: 6435.381 Check: 2.293 Back: 1323.773
INFO - Atoms: 38330/114046 Clauses: 2096 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6024 Props: 56103256 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.045 Prop: 56932.47 PropClause: 55437.643 Set: 6449.141 Check: 2.293 Back: 1324.72
INFO - Atoms: 40747/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6025 Props: 56144187 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.051 Prop: 56956.499 PropClause: 55460.661 Set: 6455.346 Check: 2.293 Back: 1325.674
INFO - Atoms: 40931/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6026 Props: 56185308 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.057 Prop: 56979.503 PropClause: 55482.636 Set: 6461.64 Check: 2.293 Back: 1326.603
INFO - Atoms: 41121/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6027 Props: 56226428 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.062 Prop: 57002.582 PropClause: 55504.69 Set: 6467.882 Check: 2.293 Back: 1327.54
INFO - Atoms: 41120/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6028 Props: 56267083 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.128 Prop: 57026.494 PropClause: 55527.577 Set: 6474.059 Check: 2.293 Back: 1328.482
INFO - Atoms: 40655/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6029 Props: 56307725 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.258 Prop: 57048.886 PropClause: 55548.956 Set: 6480.176 Check: 2.293 Back: 1329.414
INFO - Atoms: 40642/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6030 Props: 56348751 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.268 Prop: 57072.766 PropClause: 55571.818 Set: 6486.451 Check: 2.293 Back: 1330.345
INFO - Atoms: 41026/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6031 Props: 56389801 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.28 Prop: 57096.978 PropClause: 55595.003 Set: 6492.79 Check: 2.293 Back: 1331.287
INFO - Atoms: 41050/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6032 Props: 56431033 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.29 Prop: 57121.927 PropClause: 55618.919 Set: 6499.257 Check: 2.293 Back: 1332.226
INFO - Atoms: 41232/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6033 Props: 56472458 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.301 Prop: 57147.069 PropClause: 55643.028 Set: 6505.66 Check: 2.293 Back: 1333.173
INFO - Atoms: 41425/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6034 Props: 56514094 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.313 Prop: 57173.737 PropClause: 55668.656 Set: 6539.042 Check: 2.293 Back: 1334.128
INFO - Atoms: 41636/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6035 Props: 56555907 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.324 Prop: 57199.485 PropClause: 55693.357 Set: 6545.621 Check: 2.293 Back: 1335.084
INFO - Atoms: 41813/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6036 Props: 56597921 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.334 Prop: 57225.904 PropClause: 55718.728 Set: 6552.102 Check: 2.293 Back: 1336.044
INFO - Atoms: 42014/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6037 Props: 56640124 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.345 Prop: 57252.487 PropClause: 55744.254 Set: 6558.599 Check: 2.293 Back: 1337.024
INFO - Atoms: 42203/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6038 Props: 56682540 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.354 Prop: 57278.656 PropClause: 55769.365 Set: 6565.179 Check: 2.293 Back: 1338.007
INFO - Atoms: 42416/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6039 Props: 56725137 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.364 Prop: 57304.43 PropClause: 55794.078 Set: 6571.643 Check: 2.293 Back: 1338.986
INFO - Atoms: 42597/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6040 Props: 56767925 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.375 Prop: 57331.037 PropClause: 55819.609 Set: 6578.258 Check: 2.293 Back: 1339.978
INFO - Atoms: 42788/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6041 Props: 56810912 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.385 Prop: 57358.48 PropClause: 55845.97 Set: 6584.857 Check: 2.293 Back: 1340.956
INFO - Atoms: 42987/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6042 Props: 56854109 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.396 Prop: 57386.471 PropClause: 55872.882 Set: 6591.62 Check: 2.293 Back: 1341.941
INFO - Atoms: 43197/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6043 Props: 56897494 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.408 Prop: 57415.216 PropClause: 55900.533 Set: 6598.501 Check: 2.293 Back: 1342.932
INFO - Atoms: 43385/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6044 Props: 56941062 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.418 Prop: 57443.534 PropClause: 55927.764 Set: 6605.394 Check: 2.293 Back: 1343.936
INFO - Atoms: 43568/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6045 Props: 56984843 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.428 Prop: 57472.133 PropClause: 55955.27 Set: 6612.13 Check: 2.293 Back: 1344.935
INFO - Atoms: 43781/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6046 Props: 57028820 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.437 Prop: 57501.851 PropClause: 55983.889 Set: 6618.991 Check: 2.293 Back: 1345.937
INFO - Atoms: 43977/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6047 Props: 57072993 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.447 Prop: 57530.804 PropClause: 56011.735 Set: 6625.919 Check: 2.293 Back: 1346.958
INFO - Atoms: 44173/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6048 Props: 57117343 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.458 Prop: 57560.417 PropClause: 56040.23 Set: 6632.932 Check: 2.293 Back: 1347.972
INFO - Atoms: 44350/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6049 Props: 57161886 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.467 Prop: 57590.348 PropClause: 56069.048 Set: 6639.953 Check: 2.293 Back: 1348.995
INFO - Atoms: 44543/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6050 Props: 57206813 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.478 Prop: 57620.057 PropClause: 56097.629 Set: 6647.064 Check: 2.293 Back: 1350.016
INFO - Atoms: 44927/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6051 Props: 57251766 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.489 Prop: 57649.749 PropClause: 56126.21 Set: 6653.929 Check: 2.293 Back: 1351.045
INFO - Atoms: 44953/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6052 Props: 57296904 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.499 Prop: 57680.097 PropClause: 56155.434 Set: 6661.0 Check: 2.293 Back: 1352.064
INFO - Atoms: 45138/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6053 Props: 57342246 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.509 Prop: 57710.704 PropClause: 56184.907 Set: 6668.287 Check: 2.293 Back: 1353.096
INFO - Atoms: 45342/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6054 Props: 57387790 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.519 Prop: 57741.418 PropClause: 56214.487 Set: 6675.513 Check: 2.293 Back: 1354.136
INFO - Atoms: 45544/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6055 Props: 57433672 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.53 Prop: 57772.984 PropClause: 56244.91 Set: 6682.677 Check: 2.293 Back: 1355.179
INFO - Atoms: 45882/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6056 Props: 57479580 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.54 Prop: 57804.752 PropClause: 56275.532 Set: 6689.874 Check: 2.293 Back: 1356.239
INFO - Atoms: 45908/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6057 Props: 57525872 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.551 Prop: 57837.992 PropClause: 56307.613 Set: 6697.312 Check: 2.293 Back: 1357.295
INFO - Atoms: 46292/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6058 Props: 57572190 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.562 Prop: 57872.067 PropClause: 56340.521 Set: 6704.816 Check: 2.293 Back: 1358.385
INFO - Atoms: 46318/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6059 Props: 57618695 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.574 Prop: 57906.078 PropClause: 56373.369 Set: 6712.388 Check: 2.293 Back: 1359.472
INFO - Atoms: 46505/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6060 Props: 57665401 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.583 Prop: 57938.631 PropClause: 56404.753 Set: 6719.865 Check: 2.293 Back: 1360.556
INFO - Atoms: 46706/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6061 Props: 57712285 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.594 Prop: 57970.577 PropClause: 56435.531 Set: 6727.295 Check: 2.293 Back: 1361.632
INFO - Atoms: 46884/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6062 Props: 57759533 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.605 Prop: 58003.626 PropClause: 56467.402 Set: 6734.893 Check: 2.293 Back: 1362.716
INFO - Atoms: 47248/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6063 Props: 57806806 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.615 Prop: 58036.088 PropClause: 56498.685 Set: 6742.256 Check: 2.293 Back: 1363.799
INFO - Atoms: 47273/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6064 Props: 57854292 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.625 Prop: 58068.199 PropClause: 56529.615 Set: 6749.762 Check: 2.293 Back: 1364.899
INFO - Atoms: 47486/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6065 Props: 57902126 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.636 Prop: 58101.499 PropClause: 56561.715 Set: 6757.405 Check: 2.293 Back: 1365.994
INFO - Atoms: 47834/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6066 Props: 57949985 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.645 Prop: 58136.686 PropClause: 56595.706 Set: 6765.13 Check: 2.293 Back: 1367.088
INFO - Atoms: 47859/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6067 Props: 57998058 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.656 Prop: 58171.021 PropClause: 56628.833 Set: 6772.763 Check: 2.293 Back: 1368.189
INFO - Atoms: 48073/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6068 Props: 58046316 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.668 Prop: 58206.234 PropClause: 56662.834 Set: 6780.544 Check: 2.293 Back: 1369.288
INFO - Atoms: 48258/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6069 Props: 58094759 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.68 Prop: 58241.264 PropClause: 56696.651 Set: 6788.285 Check: 2.293 Back: 1370.403
INFO - Atoms: 48443/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6070 Props: 58143565 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.69 Prop: 58276.489 PropClause: 56730.656 Set: 6796.165 Check: 2.293 Back: 1371.517
INFO - Atoms: 48806/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6071 Props: 58192399 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.7 Prop: 58310.879 PropClause: 56763.818 Set: 6803.921 Check: 2.293 Back: 1372.641
INFO - Atoms: 48834/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6072 Props: 58241461 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.711 Prop: 58345.929 PropClause: 56797.642 Set: 6811.747 Check: 2.293 Back: 1373.765
INFO - Atoms: 49062/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6073 Props: 58290704 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.72 Prop: 58382.098 PropClause: 56832.582 Set: 6819.536 Check: 2.293 Back: 1374.928
INFO - Atoms: 49243/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6074 Props: 58340126 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.73 Prop: 58419.102 PropClause: 56868.354 Set: 6827.416 Check: 2.293 Back: 1376.065
INFO - Atoms: 49422/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6075 Props: 58389928 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.741 Prop: 58457.798 PropClause: 56905.785 Set: 6835.611 Check: 2.293 Back: 1377.197
INFO - Atoms: 49802/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6076 Props: 58439736 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.753 Prop: 58495.14 PropClause: 56941.88 Set: 6843.715 Check: 2.293 Back: 1378.331
INFO - Atoms: 49808/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6077 Props: 58489745 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.764 Prop: 58533.664 PropClause: 56979.154 Set: 6851.818 Check: 2.293 Back: 1379.468
INFO - Atoms: 50009/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6078 Props: 58539944 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.774 Prop: 58571.09 PropClause: 57015.327 Set: 6859.997 Check: 2.293 Back: 1380.619
INFO - Atoms: 50199/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6079 Props: 58590337 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.785 Prop: 58610.744 PropClause: 57053.725 Set: 6868.105 Check: 2.293 Back: 1381.77
INFO - Atoms: 50393/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6080 Props: 58640937 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.796 Prop: 58649.854 PropClause: 57091.572 Set: 6876.348 Check: 2.293 Back: 1382.928
INFO - Atoms: 50600/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6081 Props: 58691720 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.807 Prop: 58689.604 PropClause: 57130.046 Set: 6884.682 Check: 2.293 Back: 1384.098
INFO - Atoms: 50783/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6082 Props: 58742706 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.817 Prop: 58730.677 PropClause: 57169.83 Set: 6893.182 Check: 2.293 Back: 1385.263
INFO - Atoms: 50986/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6083 Props: 58793881 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.829 Prop: 58773.752 PropClause: 57211.591 Set: 6902.279 Check: 2.293 Back: 1386.44
INFO - Atoms: 51175/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6084 Props: 58845438 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.84 Prop: 58814.924 PropClause: 57251.473 Set: 6910.718 Check: 2.293 Back: 1387.752
INFO - Atoms: 51557/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6085 Props: 58897023 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.851 Prop: 58858.467 PropClause: 57293.693 Set: 6919.768 Check: 2.293 Back: 1388.947
INFO - Atoms: 51585/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6086 Props: 58948797 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.861 Prop: 58900.992 PropClause: 57334.916 Set: 6953.63 Check: 2.293 Back: 1390.171
INFO - Atoms: 51774/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6087 Props: 59000751 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.872 Prop: 58945.803 PropClause: 57378.366 Set: 6962.877 Check: 2.293 Back: 1391.365
INFO - Atoms: 51954/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6088 Props: 59052899 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.883 Prop: 58987.291 PropClause: 57418.527 Set: 6971.544 Check: 2.293 Back: 1392.58
INFO - Atoms: 52148/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6089 Props: 59105242 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.896 Prop: 59030.409 PropClause: 57460.327 Set: 6980.242 Check: 2.293 Back: 1393.794
INFO - Atoms: 52343/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6090 Props: 59157953 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.908 Prop: 59076.842 PropClause: 57505.394 Set: 6989.572 Check: 2.293 Back: 1395.036
INFO - Atoms: 52711/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6091 Props: 59210705 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.919 Prop: 59127.538 PropClause: 57554.536 Set: 7000.481 Check: 2.293 Back: 1396.305
INFO - Atoms: 52752/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6092 Props: 59263654 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.929 Prop: 59172.931 PropClause: 57598.597 Set: 7009.2 Check: 2.293 Back: 1397.56
INFO - Atoms: 52949/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6093 Props: 59316777 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.941 Prop: 59218.698 PropClause: 57643.028 Set: 7018.029 Check: 2.293 Back: 1398.806
INFO - Atoms: 53123/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6094 Props: 59370095 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.951 Prop: 59262.943 PropClause: 57685.922 Set: 7026.891 Check: 2.293 Back: 1400.028
INFO - Atoms: 53318/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6095 Props: 59423776 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.964 Prop: 59306.976 PropClause: 57728.612 Set: 7035.666 Check: 2.293 Back: 1401.268
INFO - Atoms: 53681/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6096 Props: 59477484 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.975 Prop: 59351.977 PropClause: 57772.271 Set: 7044.571 Check: 2.293 Back: 1402.504
INFO - Atoms: 53708/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6097 Props: 59531387 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.986 Prop: 59396.463 PropClause: 57815.391 Set: 7053.76 Check: 2.293 Back: 1403.727
INFO - Atoms: 53903/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6098 Props: 59585655 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12365.998 Prop: 59440.711 PropClause: 57858.288 Set: 7062.538 Check: 2.293 Back: 1404.997
INFO - Atoms: 54268/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6099 Props: 59639969 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.009 Prop: 59489.408 PropClause: 57905.493 Set: 7072.814 Check: 2.293 Back: 1406.267
INFO - Atoms: 54314/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6100 Props: 59694475 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.02 Prop: 59535.411 PropClause: 57950.122 Set: 7081.962 Check: 2.293 Back: 1407.519
INFO - Atoms: 54506/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6101 Props: 59749176 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.031 Prop: 59579.829 PropClause: 57993.166 Set: 7090.858 Check: 2.293 Back: 1408.802
INFO - Atoms: 54701/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6102 Props: 59804054 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.042 Prop: 59624.342 PropClause: 58036.309 Set: 7099.795 Check: 2.293 Back: 1410.06
INFO - Atoms: 54878/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6103 Props: 59859297 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.052 Prop: 59670.469 PropClause: 58081.052 Set: 7108.822 Check: 2.293 Back: 1411.314
INFO - Atoms: 55243/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6104 Props: 59914567 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.063 Prop: 59716.08 PropClause: 58125.281 Set: 7117.99 Check: 2.293 Back: 1412.576
INFO - Atoms: 55270/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6105 Props: 59970044 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.072 Prop: 59760.94 PropClause: 58168.763 Set: 7127.078 Check: 2.293 Back: 1413.854
INFO - Atoms: 55477/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6106 Props: 60025702 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.083 Prop: 59806.339 PropClause: 58212.776 Set: 7135.991 Check: 2.293 Back: 1415.127
INFO - Atoms: 55658/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6107 Props: 60081573 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.092 Prop: 59853.615 PropClause: 58258.661 Set: 7145.03 Check: 2.293 Back: 1416.4
INFO - Atoms: 55871/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6108 Props: 60137640 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.104 Prop: 59902.63 PropClause: 58306.273 Set: 7154.343 Check: 2.293 Back: 1417.679
INFO - Atoms: 56067/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6109 Props: 60193899 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.114 Prop: 59949.661 PropClause: 58351.895 Set: 7163.436 Check: 2.293 Back: 1418.963
INFO - Atoms: 56259/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6110 Props: 60250337 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.126 Prop: 59998.611 PropClause: 58399.437 Set: 7172.847 Check: 2.293 Back: 1420.249
INFO - Atoms: 56438/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6111 Props: 60306989 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.136 Prop: 60047.641 PropClause: 58447.037 Set: 7182.255 Check: 2.293 Back: 1421.543
INFO - Atoms: 56652/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6112 Props: 60363817 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.145 Prop: 60097.125 PropClause: 58495.105 Set: 7191.512 Check: 2.293 Back: 1422.851
INFO - Atoms: 56828/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6113 Props: 60421009 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.156 Prop: 60145.338 PropClause: 58541.888 Set: 7200.916 Check: 2.293 Back: 1424.166
INFO - Atoms: 57192/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6114 Props: 60478228 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.168 Prop: 60195.848 PropClause: 58590.979 Set: 7210.193 Check: 2.293 Back: 1425.482
INFO - Atoms: 57219/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6115 Props: 60535642 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.179 Prop: 60245.941 PropClause: 58639.637 Set: 7219.673 Check: 2.293 Back: 1426.78
INFO - Atoms: 57414/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6116 Props: 60593250 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.189 Prop: 60298.401 PropClause: 58690.652 Set: 7229.15 Check: 2.293 Back: 1428.105
INFO - Atoms: 57608/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6117 Props: 60651063 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.198 Prop: 60349.373 PropClause: 58740.179 Set: 7238.549 Check: 2.293 Back: 1429.438
INFO - Atoms: 57813/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6118 Props: 60709061 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.21 Prop: 60401.094 PropClause: 58790.448 Set: 7248.269 Check: 2.293 Back: 1430.765
INFO - Atoms: 57998/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6119 Props: 60767424 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.221 Prop: 60451.827 PropClause: 58839.723 Set: 7258.04 Check: 2.293 Back: 1432.093
INFO - Atoms: 58363/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6120 Props: 60825829 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.231 Prop: 60503.157 PropClause: 58889.592 Set: 7267.8 Check: 2.293 Back: 1433.445
INFO - Atoms: 58405/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6121 Props: 60884416 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.242 Prop: 60555.907 PropClause: 58940.87 Set: 7277.435 Check: 2.293 Back: 1434.782
INFO - Atoms: 58587/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6122 Props: 60943203 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.253 Prop: 60607.926 PropClause: 58991.4 Set: 7287.34 Check: 2.293 Back: 1436.129
INFO - Atoms: 58787/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6123 Props: 61002080 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.264 Prop: 60659.416 PropClause: 59041.423 Set: 7296.948 Check: 2.293 Back: 1437.48
INFO - Atoms: 58877/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6124 Props: 61060961 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.275 Prop: 60712.903 PropClause: 59093.425 Set: 7306.781 Check: 2.293 Back: 1438.833
INFO - Atoms: 58881/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6125 Props: 61120055 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.286 Prop: 60769.11 PropClause: 59148.145 Set: 7316.686 Check: 2.293 Back: 1440.212
INFO - Atoms: 59094/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6126 Props: 61179326 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.296 Prop: 60832.377 PropClause: 59209.652 Set: 7329.977 Check: 2.293 Back: 1441.574
INFO - Atoms: 59271/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6127 Props: 61238792 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.34 Prop: 60885.117 PropClause: 59260.906 Set: 7339.692 Check: 2.293 Back: 1442.937
INFO - Atoms: 59466/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6128 Props: 61298465 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.373 Prop: 60938.395 PropClause: 59312.689 Set: 7349.696 Check: 2.293 Back: 1444.3
INFO - Atoms: 59673/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6129 Props: 61358333 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.378 Prop: 60991.195 PropClause: 59363.993 Set: 7359.738 Check: 2.293 Back: 1445.685
INFO - Atoms: 59868/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 98645 Tprops: 2240 Decides: 158342 RSplits: 0
INFO - Times: Expl: 536.369 Prop: 147081.118 PropClause: 55.814 Set: 25542.419 Check: 1611.739 Back: 482.823
INFO - Atoms: 19/1651 Clauses: 500 Axioms: 1651
INFO - CCTimes: iE 1088844 eq 57694526 cc 293069224 setRep 140534676
INFO - Merges: 938692, cc:1999300
INFO - BVTimes: BB 383944192 BB_DPLL 136615358035 Graph 1084728162
INFO - BitBlastingClauses: 959458 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 6130 Props: 61418398 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.383 Prop: 61060.437 PropClause: 59431.214 Set: 7374.01 Check: 2.293 Back: 1447.07
INFO - Atoms: 60065/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6131 Props: 61478642 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.39 Prop: 61126.41 PropClause: 59495.025 Set: 7387.584 Check: 2.293 Back: 1448.6
INFO - Atoms: 60244/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6132 Props: 61539097 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.396 Prop: 61179.192 PropClause: 59546.279 Set: 7422.016 Check: 2.293 Back: 1450.185
INFO - Atoms: 60455/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6133 Props: 61599733 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.402 Prop: 61233.49 PropClause: 59599.048 Set: 7432.223 Check: 2.293 Back: 1451.585
INFO - Atoms: 60636/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6134 Props: 61660583 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.407 Prop: 61285.768 PropClause: 59649.826 Set: 7442.436 Check: 2.293 Back: 1452.987
INFO - Atoms: 60850/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6135 Props: 61721609 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.412 Prop: 61337.38 PropClause: 59699.94 Set: 7452.666 Check: 2.293 Back: 1454.382
INFO - Atoms: 61026/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6136 Props: 61782847 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.417 Prop: 61389.213 PropClause: 59750.252 Set: 7462.744 Check: 2.293 Back: 1455.778
INFO - Atoms: 61238/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6137 Props: 61844273 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.423 Prop: 61457.178 PropClause: 59816.387 Set: 7476.596 Check: 2.293 Back: 1457.211
INFO - Atoms: 61426/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6138 Props: 61905901 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.428 Prop: 61507.766 PropClause: 59865.458 Set: 7486.779 Check: 2.293 Back: 1458.818
INFO - Atoms: 61628/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6139 Props: 61967725 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.433 Prop: 61558.04 PropClause: 59914.204 Set: 7496.836 Check: 2.293 Back: 1460.234
INFO - Atoms: 61824/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6140 Props: 62029743 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.437 Prop: 61610.485 PropClause: 59965.11 Set: 7507.186 Check: 2.293 Back: 1461.649
INFO - Atoms: 62018/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6141 Props: 62091949 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.442 Prop: 61661.734 PropClause: 60014.825 Set: 7517.475 Check: 2.293 Back: 1463.076
INFO - Atoms: 62206/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6142 Props: 62154352 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.447 Prop: 61717.301 PropClause: 60068.776 Set: 7528.476 Check: 2.293 Back: 1464.496
INFO - Atoms: 62403/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6143 Props: 62216957 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.453 Prop: 61771.626 PropClause: 60121.524 Set: 7539.289 Check: 2.293 Back: 1465.972
INFO - Atoms: 62605/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6144 Props: 62279759 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.457 Prop: 61826.604 PropClause: 60174.935 Set: 7549.892 Check: 2.293 Back: 1467.437
INFO - Atoms: 62802/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6145 Props: 62342735 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.462 Prop: 61878.142 PropClause: 60224.916 Set: 7560.282 Check: 2.293 Back: 1468.882
INFO - Atoms: 62976/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6146 Props: 62405912 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.468 Prop: 61932.025 PropClause: 60277.234 Set: 7571.069 Check: 2.293 Back: 1470.314
INFO - Atoms: 63177/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6147 Props: 62469288 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.473 Prop: 61985.664 PropClause: 60329.291 Set: 7581.574 Check: 2.293 Back: 1471.779
INFO - Atoms: 63376/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6148 Props: 62532853 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.478 Prop: 62039.668 PropClause: 60381.726 Set: 7591.996 Check: 2.293 Back: 1473.263
INFO - Atoms: 63565/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6149 Props: 62596609 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.483 Prop: 62104.348 PropClause: 60444.545 Set: 7605.085 Check: 2.293 Back: 1474.724
INFO - Atoms: 63756/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6150 Props: 62660560 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.488 Prop: 62161.936 PropClause: 60500.44 Set: 7616.527 Check: 2.293 Back: 1476.181
INFO - Atoms: 63951/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6151 Props: 62724723 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.493 Prop: 62217.16 PropClause: 60554.078 Set: 7627.287 Check: 2.293 Back: 1477.68
INFO - Atoms: 64163/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6152 Props: 62789070 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.498 Prop: 62273.244 PropClause: 60608.57 Set: 7637.924 Check: 2.293 Back: 1479.152
INFO - Atoms: 64347/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6153 Props: 62853778 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.503 Prop: 62328.667 PropClause: 60662.395 Set: 7648.875 Check: 2.293 Back: 1480.626
INFO - Atoms: 64708/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6154 Props: 62918527 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.507 Prop: 62388.261 PropClause: 60720.39 Set: 7659.864 Check: 2.293 Back: 1482.125
INFO - Atoms: 64749/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6155 Props: 62983473 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.513 Prop: 62447.604 PropClause: 60778.111 Set: 7670.76 Check: 2.293 Back: 1483.631
INFO - Atoms: 64946/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6156 Props: 63048594 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.518 Prop: 62508.065 PropClause: 60836.969 Set: 7681.867 Check: 2.293 Back: 1485.147
INFO - Atoms: 65121/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6157 Props: 63113912 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.524 Prop: 62567.002 PropClause: 60894.291 Set: 7692.845 Check: 2.293 Back: 1486.645
INFO - Atoms: 65318/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6158 Props: 63179435 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.529 Prop: 62631.032 PropClause: 60956.639 Set: 7704.446 Check: 2.293 Back: 1488.145
INFO - Atoms: 65523/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6159 Props: 63245160 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.534 Prop: 62692.465 PropClause: 61016.44 Set: 7715.507 Check: 2.293 Back: 1489.73
INFO - Atoms: 65725/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6160 Props: 63311082 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.54 Prop: 62754.572 PropClause: 61076.924 Set: 7726.601 Check: 2.293 Back: 1491.241
INFO - Atoms: 65922/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6161 Props: 63377178 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.547 Prop: 62818.546 PropClause: 61139.273 Set: 7737.809 Check: 2.293 Back: 1492.761
INFO - Atoms: 66096/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6162 Props: 63443471 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.551 Prop: 62880.677 PropClause: 61199.75 Set: 7749.172 Check: 2.293 Back: 1494.29
INFO - Atoms: 66293/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6163 Props: 63509959 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.557 Prop: 62945.016 PropClause: 61262.415 Set: 7760.933 Check: 2.293 Back: 1495.837
INFO - Atoms: 66488/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6164 Props: 63576829 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.564 Prop: 63009.21 PropClause: 61324.936 Set: 7772.538 Check: 2.293 Back: 1497.391
INFO - Atoms: 66870/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6165 Props: 63643706 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.57 Prop: 63071.862 PropClause: 61385.935 Set: 7783.992 Check: 2.293 Back: 1498.962
INFO - Atoms: 66877/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6166 Props: 63710777 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.574 Prop: 63133.785 PropClause: 61446.206 Set: 7795.246 Check: 2.293 Back: 1500.502
INFO - Atoms: 67071/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6167 Props: 63778045 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.579 Prop: 63195.335 PropClause: 61506.101 Set: 7806.564 Check: 2.293 Back: 1502.042
INFO - Atoms: 67268/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6168 Props: 63845506 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.585 Prop: 63260.424 PropClause: 61569.519 Set: 7818.062 Check: 2.293 Back: 1503.582
INFO - Atoms: 67461/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6169 Props: 63913162 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.591 Prop: 63326.374 PropClause: 61633.79 Set: 7829.617 Check: 2.293 Back: 1505.146
INFO - Atoms: 67656/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6170 Props: 63981032 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.596 Prop: 63391.438 PropClause: 61697.167 Set: 7841.232 Check: 2.293 Back: 1506.718
INFO - Atoms: 67870/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6171 Props: 64049099 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.601 Prop: 63455.864 PropClause: 61759.913 Set: 7852.689 Check: 2.293 Back: 1508.304
INFO - Atoms: 68067/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6172 Props: 64117350 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.607 Prop: 63521.78 PropClause: 61824.15 Set: 7864.387 Check: 2.293 Back: 1509.884
INFO - Atoms: 68251/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6173 Props: 64185798 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.612 Prop: 63587.353 PropClause: 61888.027 Set: 7875.987 Check: 2.293 Back: 1511.473
INFO - Atoms: 68448/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6174 Props: 64254433 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.617 Prop: 63655.976 PropClause: 61954.955 Set: 7887.619 Check: 2.293 Back: 1513.062
INFO - Atoms: 68635/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6175 Props: 64323259 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.622 Prop: 63721.839 PropClause: 62019.109 Set: 7899.319 Check: 2.293 Back: 1514.651
INFO - Atoms: 68826/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6176 Props: 64392300 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.628 Prop: 63788.015 PropClause: 62083.584 Set: 7911.079 Check: 2.293 Back: 1516.242
INFO - Atoms: 69041/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6177 Props: 64461522 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.633 Prop: 63853.05 PropClause: 62146.903 Set: 7922.736 Check: 2.293 Back: 1517.88
INFO - Atoms: 69222/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6178 Props: 64531121 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.638 Prop: 63919.666 PropClause: 62211.808 Set: 7934.641 Check: 2.293 Back: 1519.483
INFO - Atoms: 69599/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6179 Props: 64600728 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.642 Prop: 63987.072 PropClause: 62277.498 Set: 7946.592 Check: 2.293 Back: 1521.101
INFO - Atoms: 69607/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6180 Props: 64670529 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.647 Prop: 64054.744 PropClause: 62343.424 Set: 7958.495 Check: 2.293 Back: 1522.713
INFO - Atoms: 69801/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6181 Props: 64740526 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.652 Prop: 64119.56 PropClause: 62406.506 Set: 7970.356 Check: 2.293 Back: 1524.308
INFO - Atoms: 69997/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6182 Props: 64810737 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.658 Prop: 64187.595 PropClause: 62472.824 Set: 7982.322 Check: 2.293 Back: 1525.922
INFO - Atoms: 70211/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6183 Props: 64881124 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.663 Prop: 64254.856 PropClause: 62538.343 Set: 7994.156 Check: 2.293 Back: 1527.531
INFO - Atoms: 70387/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6184 Props: 64951894 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.669 Prop: 64323.619 PropClause: 62605.352 Set: 8006.29 Check: 2.293 Back: 1529.155
INFO - Atoms: 70770/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6185 Props: 65022682 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.674 Prop: 64390.778 PropClause: 62670.756 Set: 8018.173 Check: 2.293 Back: 1530.785
INFO - Atoms: 70788/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6186 Props: 65093669 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.679 Prop: 64456.579 PropClause: 62734.798 Set: 8030.105 Check: 2.293 Back: 1532.41
INFO - Atoms: 70987/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6187 Props: 65164836 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.683 Prop: 64523.041 PropClause: 62799.497 Set: 8042.016 Check: 2.293 Back: 1534.067
INFO - Atoms: 71167/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6188 Props: 65236198 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.688 Prop: 64590.457 PropClause: 62865.153 Set: 8054.075 Check: 2.293 Back: 1535.699
INFO - Atoms: 71362/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6189 Props: 65307755 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.693 Prop: 64658.404 PropClause: 62931.337 Set: 8066.471 Check: 2.293 Back: 1537.349
INFO - Atoms: 71557/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6190 Props: 65379676 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.699 Prop: 64726.569 PropClause: 62997.718 Set: 8078.958 Check: 2.293 Back: 1538.992
INFO - Atoms: 71921/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6191 Props: 65451630 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.704 Prop: 64795.493 PropClause: 63064.866 Set: 8091.181 Check: 2.293 Back: 1540.641
INFO - Atoms: 71954/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6192 Props: 65523941 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.709 Prop: 64867.399 PropClause: 63134.983 Set: 8103.627 Check: 2.293 Back: 1542.309
INFO - Atoms: 72311/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6193 Props: 65596295 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.715 Prop: 64939.419 PropClause: 63205.202 Set: 8116.275 Check: 2.293 Back: 1543.981
INFO - Atoms: 72354/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6194 Props: 65668843 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.72 Prop: 65021.158 PropClause: 63285.108 Set: 8129.441 Check: 2.293 Back: 1545.666
INFO - Atoms: 72548/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6195 Props: 65741569 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.725 Prop: 65093.681 PropClause: 63355.828 Set: 8141.798 Check: 2.293 Back: 1547.345
INFO - Atoms: 72726/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6196 Props: 65814491 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.729 Prop: 65165.318 PropClause: 63425.655 Set: 8154.211 Check: 2.293 Back: 1549.036
INFO - Atoms: 72922/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6197 Props: 65887627 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.734 Prop: 65238.162 PropClause: 63496.697 Set: 8166.759 Check: 2.293 Back: 1550.722
INFO - Atoms: 73136/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6198 Props: 65960957 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.739 Prop: 65315.137 PropClause: 63571.864 Set: 8179.271 Check: 2.293 Back: 1552.402
INFO - Atoms: 73330/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6199 Props: 66034633 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.745 Prop: 65389.552 PropClause: 63644.454 Set: 8191.938 Check: 2.293 Back: 1554.1
INFO - Atoms: 73676/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6200 Props: 66108504 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.75 Prop: 65465.136 PropClause: 63718.22 Set: 8204.844 Check: 2.293 Back: 1555.798
INFO - Atoms: 73871/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6201 Props: 66182414 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.755 Prop: 65541.591 PropClause: 63792.848 Set: 8245.286 Check: 2.293 Back: 1557.507
INFO - Atoms: 73910/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6202 Props: 66256523 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.759 Prop: 65618.501 PropClause: 63867.915 Set: 8258.105 Check: 2.293 Back: 1559.208
INFO - Atoms: 74109/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6203 Props: 66330977 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.765 Prop: 65698.289 PropClause: 63945.858 Set: 8271.344 Check: 2.293 Back: 1560.912
INFO - Atoms: 74454/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6204 Props: 66405477 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.77 Prop: 65775.676 PropClause: 64021.399 Set: 8284.441 Check: 2.293 Back: 1562.625
INFO - Atoms: 74500/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6205 Props: 66480169 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.775 Prop: 65850.817 PropClause: 64094.692 Set: 8297.34 Check: 2.293 Back: 1564.334
INFO - Atoms: 74692/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6206 Props: 66555041 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.78 Prop: 65926.522 PropClause: 64168.553 Set: 8310.179 Check: 2.293 Back: 1566.06
INFO - Atoms: 74872/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6207 Props: 66630123 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.785 Prop: 66002.486 PropClause: 64242.67 Set: 8323.015 Check: 2.293 Back: 1567.796
INFO - Atoms: 75082/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6208 Props: 66705386 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.79 Prop: 66078.401 PropClause: 64316.729 Set: 8336.119 Check: 2.293 Back: 1569.514
INFO - Atoms: 75263/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6209 Props: 66780843 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.795 Prop: 66153.169 PropClause: 64389.636 Set: 8349.035 Check: 2.293 Back: 1571.284
INFO - Atoms: 75457/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6210 Props: 66856494 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.802 Prop: 66230.0 PropClause: 64464.601 Set: 8362.03 Check: 2.293 Back: 1573.029
INFO - Atoms: 75651/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6211 Props: 66932360 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.807 Prop: 66306.778 PropClause: 64539.506 Set: 8375.353 Check: 2.293 Back: 1574.778
INFO - Atoms: 75866/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6212 Props: 67008590 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.812 Prop: 66386.78 PropClause: 64617.632 Set: 8388.529 Check: 2.293 Back: 1576.519
INFO - Atoms: 76230/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6213 Props: 67084826 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.817 Prop: 66465.782 PropClause: 64694.751 Set: 8401.769 Check: 2.293 Back: 1578.373
INFO - Atoms: 76236/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6214 Props: 67161259 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.822 Prop: 66543.928 PropClause: 64771.006 Set: 8414.859 Check: 2.293 Back: 1580.122
INFO - Atoms: 76433/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6215 Props: 67237885 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.827 Prop: 66622.967 PropClause: 64848.162 Set: 8428.319 Check: 2.293 Back: 1581.88
INFO - Atoms: 76626/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6216 Props: 67314710 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.833 Prop: 66704.47 PropClause: 64927.771 Set: 8441.7 Check: 2.293 Back: 1583.643
INFO - Atoms: 76825/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6217 Props: 67391747 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.838 Prop: 66784.829 PropClause: 65006.226 Set: 8455.243 Check: 2.293 Back: 1585.427
INFO - Atoms: 77037/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6218 Props: 67468958 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.844 Prop: 66866.429 PropClause: 65085.918 Set: 8468.915 Check: 2.293 Back: 1587.205
INFO - Atoms: 77211/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6219 Props: 67546382 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.85 Prop: 66952.181 PropClause: 65169.749 Set: 8482.629 Check: 2.293 Back: 1588.986
INFO - Atoms: 77424/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6220 Props: 67623985 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.855 Prop: 67033.388 PropClause: 65249.023 Set: 8496.327 Check: 2.293 Back: 1590.786
INFO - Atoms: 77603/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6221 Props: 67701781 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.859 Prop: 67117.88 PropClause: 65331.576 Set: 8509.937 Check: 2.293 Back: 1592.578
INFO - Atoms: 77796/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6222 Props: 67779778 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.865 Prop: 67208.53 PropClause: 65420.301 Set: 8523.708 Check: 2.293 Back: 1594.377
INFO - Atoms: 77997/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6223 Props: 67857964 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.87 Prop: 67294.443 PropClause: 65504.124 Set: 8538.727 Check: 2.293 Back: 1596.202
INFO - Atoms: 78186/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6224 Props: 67936513 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.875 Prop: 67377.835 PropClause: 65585.579 Set: 8552.67 Check: 2.293 Back: 1598.021
INFO - Atoms: 78549/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6225 Props: 68015259 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.879 Prop: 67458.556 PropClause: 65664.353 Set: 8566.179 Check: 2.293 Back: 1599.832
INFO - Atoms: 78746/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6226 Props: 68094040 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.884 Prop: 67540.088 PropClause: 65743.94 Set: 8579.933 Check: 2.293 Back: 1601.665
INFO - Atoms: 78781/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6227 Props: 68173007 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.89 Prop: 67627.507 PropClause: 65829.407 Set: 8594.16 Check: 2.293 Back: 1603.494
INFO - Atoms: 78967/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6228 Props: 68252168 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.894 Prop: 67710.32 PropClause: 65910.265 Set: 8607.718 Check: 2.293 Back: 1605.318
INFO - Atoms: 79161/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6229 Props: 68331545 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.899 Prop: 67794.133 PropClause: 65992.124 Set: 8621.226 Check: 2.293 Back: 1607.15
INFO - Atoms: 79377/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6230 Props: 68411284 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.905 Prop: 67877.101 PropClause: 66073.123 Set: 8635.387 Check: 2.293 Back: 1608.998
INFO - Atoms: 79739/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6231 Props: 68491031 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.918 Prop: 67962.779 PropClause: 66156.832 Set: 8649.339 Check: 2.293 Back: 1610.943
INFO - Atoms: 79747/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6232 Props: 68570972 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.923 Prop: 68052.348 PropClause: 66244.422 Set: 8663.568 Check: 2.293 Back: 1612.77
INFO - Atoms: 79941/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6233 Props: 68651108 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.928 Prop: 68135.656 PropClause: 66325.751 Set: 8677.556 Check: 2.293 Back: 1614.606
INFO - Atoms: 80136/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6234 Props: 68731627 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.934 Prop: 68215.464 PropClause: 66403.576 Set: 8691.364 Check: 2.293 Back: 1616.457
INFO - Atoms: 80519/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6235 Props: 68812342 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.938 Prop: 68296.241 PropClause: 66482.369 Set: 8705.035 Check: 2.293 Back: 1618.312
INFO - Atoms: 80715/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6236 Props: 68893069 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.944 Prop: 68380.825 PropClause: 66564.906 Set: 8719.026 Check: 2.293 Back: 1620.159
INFO - Atoms: 80727/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6237 Props: 68973986 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.948 Prop: 68463.846 PropClause: 66645.909 Set: 8732.861 Check: 2.293 Back: 1622.014
INFO - Atoms: 80917/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6238 Props: 69055098 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.954 Prop: 68552.97 PropClause: 66733.028 Set: 8771.795 Check: 2.293 Back: 1623.882
INFO - Atoms: 81112/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6239 Props: 69136404 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.959 Prop: 68639.97 PropClause: 66818.024 Set: 8785.863 Check: 2.293 Back: 1625.753
INFO - Atoms: 81306/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6240 Props: 69218094 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.964 Prop: 68724.592 PropClause: 66900.609 Set: 8800.616 Check: 2.293 Back: 1627.651
INFO - Atoms: 81690/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6241 Props: 69299811 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.969 Prop: 68809.6 PropClause: 66983.604 Set: 8814.615 Check: 2.293 Back: 1629.527
INFO - Atoms: 81717/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6242 Props: 69381721 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.974 Prop: 68897.824 PropClause: 67069.783 Set: 8829.24 Check: 2.293 Back: 1631.399
INFO - Atoms: 81910/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6243 Props: 69463827 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.979 Prop: 68986.294 PropClause: 67156.223 Set: 8843.564 Check: 2.293 Back: 1633.31
INFO - Atoms: 82106/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6244 Props: 69546120 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.984 Prop: 69076.258 PropClause: 67244.146 Set: 8857.931 Check: 2.293 Back: 1635.208
INFO - Atoms: 82293/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6245 Props: 69628610 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.989 Prop: 69168.224 PropClause: 67334.087 Set: 8872.476 Check: 2.293 Back: 1637.106
INFO - Atoms: 82490/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6246 Props: 69711291 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12366.994 Prop: 69255.9 PropClause: 67419.713 Set: 8887.248 Check: 2.293 Back: 1639.003
INFO - Atoms: 82681/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6247 Props: 69794181 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12367.0 Prop: 69345.857 PropClause: 67507.627 Set: 8901.784 Check: 2.293 Back: 1640.911
INFO - Atoms: 82890/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6248 Props: 69877243 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12367.006 Prop: 69436.736 PropClause: 67596.449 Set: 8916.471 Check: 2.293 Back: 1642.815
INFO - Atoms: 83062/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6249 Props: 69960499 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12367.011 Prop: 69526.297 PropClause: 67683.944 Set: 8931.2 Check: 2.293 Back: 1644.738
INFO - Atoms: 83256/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6250 Props: 70043970 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12367.016 Prop: 69619.505 PropClause: 67775.082 Set: 8945.999 Check: 2.293 Back: 1646.652
INFO - Atoms: 83471/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6251 Props: 70127616 Tprops: 0 Decides: 93855 RSplits: 0
INFO - Times: Expl: 12367.022 Prop: 69713.243 PropClause: 67866.744 Set: 8960.767 Check: 2.293 Back: 1648.584
INFO - Atoms: 83646/114046 Clauses: 1187 Axioms: 377794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 717 Props: 178286 Tprops: 7803 Decides: 188290 RSplits: 0
INFO - Times: Expl: 626.615 Prop: 173481.071 PropClause: 90.049 Set: 33248.649 Check: 1828.615 Back: 720.842
INFO - Atoms: 1454/1651 Clauses: 717 Axioms: 1651
INFO - CCTimes: iE 1835860 eq 66913916 cc 335086730 setRep 162974056
INFO - Merges: 1098320, cc:2520639
INFO - BVTimes: BB 383944192 BB_DPLL 160630142309 Graph 1225978773
INFO - BitBlastingClauses: 1101954 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat