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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1556004551
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 220026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.667 Prop: 528.744 PropClause: 516.211 Set: 159.735 Check: 0.0 Back: 0.0
INFO - Atoms: 220026/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 440052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.768 Prop: 867.529 PropClause: 844.45 Set: 318.817 Check: 0.0 Back: 6.076
INFO - Atoms: 220026/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 660067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.823 Prop: 1167.443 PropClause: 1138.488 Set: 444.309 Check: 0.0 Back: 11.809
INFO - Atoms: 220015/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 880073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.908 Prop: 1451.122 PropClause: 1416.774 Set: 483.229 Check: 0.0 Back: 16.82
INFO - Atoms: 220006/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 1100072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.975 Prop: 1726.122 PropClause: 1686.363 Set: 521.752 Check: 0.0 Back: 21.978
INFO - Atoms: 219999/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1320066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.018 Prop: 1999.169 PropClause: 1954.065 Set: 559.754 Check: 0.0 Back: 27.082
INFO - Atoms: 219994/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1540056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.066 Prop: 2287.975 PropClause: 2237.474 Set: 681.538 Check: 0.0 Back: 32.342
INFO - Atoms: 219990/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 1760049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.11 Prop: 2572.919 PropClause: 2517.026 Set: 720.531 Check: 0.0 Back: 37.409
INFO - Atoms: 219993/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1979558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.156 Prop: 2847.611 PropClause: 2786.328 Set: 759.148 Check: 0.0 Back: 42.69
INFO - Atoms: 219509/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 2198434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.21 Prop: 3122.764 PropClause: 3056.126 Set: 797.561 Check: 0.0 Back: 48.025
INFO - Atoms: 218876/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 2416984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.256 Prop: 3391.58 PropClause: 3319.592 Set: 836.187 Check: 0.0 Back: 53.053
INFO - Atoms: 218550/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 2635212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.299 Prop: 3651.868 PropClause: 3574.491 Set: 874.431 Check: 0.0 Back: 58.01
INFO - Atoms: 218228/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 2853429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.345 Prop: 3911.753 PropClause: 3829.045 Set: 912.129 Check: 0.0 Back: 63.031
INFO - Atoms: 218217/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 3071388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.399 Prop: 4172.541 PropClause: 4084.479 Set: 950.699 Check: 0.0 Back: 68.072
INFO - Atoms: 217959/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 3288959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.445 Prop: 4433.735 PropClause: 4340.371 Set: 988.447 Check: 0.0 Back: 73.106
INFO - Atoms: 217571/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 3506272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.489 Prop: 4701.7 PropClause: 4603.069 Set: 1025.796 Check: 0.0 Back: 78.098
INFO - Atoms: 217313/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 3723195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.529 Prop: 4966.39 PropClause: 4862.454 Set: 1065.038 Check: 0.0 Back: 83.091
INFO - Atoms: 216923/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 3940017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.571 Prop: 5231.451 PropClause: 5122.237 Set: 1103.041 Check: 0.0 Back: 88.041
INFO - Atoms: 216822/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 4156453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.616 Prop: 5499.594 PropClause: 5385.106 Set: 1245.456 Check: 0.0 Back: 92.995
INFO - Atoms: 216436/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 4372565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.658 Prop: 5769.761 PropClause: 5650.019 Set: 1282.938 Check: 0.0 Back: 97.954
INFO - Atoms: 216112/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 4588202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.693 Prop: 6048.365 PropClause: 5923.327 Set: 1430.229 Check: 0.0 Back: 102.888
INFO - Atoms: 215637/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 4803581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.739 Prop: 6323.062 PropClause: 6192.752 Set: 1468.054 Check: 0.0 Back: 107.905
INFO - Atoms: 215379/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 5018570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.782 Prop: 6597.247 PropClause: 6461.724 Set: 1506.419 Check: 0.0 Back: 112.816
INFO - Atoms: 214989/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 5233301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.827 Prop: 6862.82 PropClause: 6722.077 Set: 1543.81 Check: 0.0 Back: 117.761
INFO - Atoms: 214731/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 5447647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.933 Prop: 7124.527 PropClause: 6978.579 Set: 1580.912 Check: 0.0 Back: 122.651
INFO - Atoms: 214346/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 5661914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.953 Prop: 7393.406 PropClause: 7242.214 Set: 1617.967 Check: 0.0 Back: 127.518
INFO - Atoms: 214267/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 5875458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.971 Prop: 7654.486 PropClause: 7498.117 Set: 1654.332 Check: 0.0 Back: 132.449
INFO - Atoms: 213544/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 6088712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.991 Prop: 7938.885 PropClause: 7777.067 Set: 1693.977 Check: 0.0 Back: 137.298
INFO - Atoms: 213254/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 6301610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.009 Prop: 8207.944 PropClause: 8040.923 Set: 1732.061 Check: 0.0 Back: 143.04
INFO - Atoms: 212898/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 6514184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.026 Prop: 8474.099 PropClause: 8301.925 Set: 1769.778 Check: 0.0 Back: 147.975
INFO - Atoms: 212574/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 6726436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.044 Prop: 8742.89 PropClause: 8565.574 Set: 1806.364 Check: 0.0 Back: 152.827
INFO - Atoms: 212252/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 6938430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.065 Prop: 9011.702 PropClause: 8829.19 Set: 1934.435 Check: 0.0 Back: 157.664
INFO - Atoms: 211994/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 7150036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.084 Prop: 9282.893 PropClause: 9095.203 Set: 1971.9 Check: 0.0 Back: 162.507
INFO - Atoms: 211606/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 7361384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.105 Prop: 9554.119 PropClause: 9361.272 Set: 2009.095 Check: 0.0 Back: 167.39
INFO - Atoms: 211348/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 7572344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.124 Prop: 9829.836 PropClause: 9631.706 Set: 2047.824 Check: 0.0 Back: 172.708
INFO - Atoms: 210960/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 7782980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.143 Prop: 10094.86 PropClause: 9891.615 Set: 2085.298 Check: 0.0 Back: 177.595
INFO - Atoms: 210636/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 7993292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.164 Prop: 10364.871 PropClause: 10156.492 Set: 2182.831 Check: 0.0 Back: 182.459
INFO - Atoms: 210312/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 8203346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.181 Prop: 10614.852 PropClause: 10401.331 Set: 2219.558 Check: 0.0 Back: 187.266
INFO - Atoms: 210054/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 8413012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.198 Prop: 10863.112 PropClause: 10644.465 Set: 2255.57 Check: 0.0 Back: 192.021
INFO - Atoms: 209666/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 8622420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.215 Prop: 11113.685 PropClause: 10889.966 Set: 2291.67 Check: 0.0 Back: 196.818
INFO - Atoms: 209408/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 8831442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.232 Prop: 11366.215 PropClause: 11137.435 Set: 2327.509 Check: 0.0 Back: 201.572
INFO - Atoms: 209022/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 9040206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.262 Prop: 11616.551 PropClause: 11382.697 Set: 2452.529 Check: 0.0 Back: 206.345
INFO - Atoms: 208764/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 9248582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.281 Prop: 11877.389 PropClause: 11638.474 Set: 2488.941 Check: 0.0 Back: 211.163
INFO - Atoms: 208376/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 9456700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.3 Prop: 12137.386 PropClause: 11893.447 Set: 2524.467 Check: 0.0 Back: 215.927
INFO - Atoms: 208118/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 9664428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.319 Prop: 12394.751 PropClause: 12145.728 Set: 2560.414 Check: 0.0 Back: 220.653
INFO - Atoms: 207728/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 9871898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.342 Prop: 12661.047 PropClause: 12406.966 Set: 2596.988 Check: 0.0 Back: 225.424
INFO - Atoms: 207470/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 10078982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.363 Prop: 12935.624 PropClause: 12676.328 Set: 2634.925 Check: 0.0 Back: 230.166
INFO - Atoms: 207084/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 10285808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.384 Prop: 13204.823 PropClause: 12940.21 Set: 2673.321 Check: 0.0 Back: 234.917
INFO - Atoms: 206826/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 10492246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.406 Prop: 13488.817 PropClause: 13218.711 Set: 2712.601 Check: 0.0 Back: 239.703
INFO - Atoms: 206438/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 10698426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.426 Prop: 13751.647 PropClause: 13476.471 Set: 2748.861 Check: 0.0 Back: 245.177
INFO - Atoms: 206180/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 10904218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.447 Prop: 14006.258 PropClause: 13726.067 Set: 2783.93 Check: 0.0 Back: 249.916
INFO - Atoms: 205792/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 11109686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.468 Prop: 14253.924 PropClause: 13968.691 Set: 2819.668 Check: 0.0 Back: 254.616
INFO - Atoms: 205468/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 11314830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.49 Prop: 14514.674 PropClause: 14224.38 Set: 2913.003 Check: 0.0 Back: 259.333
INFO - Atoms: 205144/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 11519652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.511 Prop: 14772.271 PropClause: 14476.941 Set: 2949.668 Check: 0.0 Back: 264.101
INFO - Atoms: 204822/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 11724152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.533 Prop: 15030.432 PropClause: 14729.977 Set: 2985.748 Check: 0.0 Back: 268.798
INFO - Atoms: 204500/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 11928328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.554 Prop: 15291.595 PropClause: 14986.102 Set: 3022.594 Check: 0.0 Back: 273.517
INFO - Atoms: 204176/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 12132182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.574 Prop: 15554.814 PropClause: 15244.241 Set: 3058.879 Check: 0.0 Back: 278.329
INFO - Atoms: 203854/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 12335778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.596 Prop: 15819.008 PropClause: 15503.391 Set: 3095.063 Check: 0.0 Back: 283.13
INFO - Atoms: 203596/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 12538986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.615 Prop: 16074.69 PropClause: 15754.154 Set: 3130.074 Check: 0.0 Back: 287.855
INFO - Atoms: 203208/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 12741870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.633 Prop: 16334.687 PropClause: 16009.213 Set: 3166.489 Check: 0.0 Back: 292.521
INFO - Atoms: 202884/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 12944432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.65 Prop: 16591.518 PropClause: 16261.09 Set: 3202.831 Check: 0.0 Back: 297.187
INFO - Atoms: 202562/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 13146670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.668 Prop: 16856.242 PropClause: 16520.882 Set: 3238.786 Check: 0.0 Back: 301.871
INFO - Atoms: 202238/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 13348586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.689 Prop: 17164.53 PropClause: 16823.917 Set: 3278.133 Check: 0.0 Back: 307.087
INFO - Atoms: 201916/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 13550178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.711 Prop: 17485.424 PropClause: 17139.372 Set: 3320.746 Check: 0.0 Back: 312.051
INFO - Atoms: 201592/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 13751448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.74 Prop: 17778.519 PropClause: 17427.347 Set: 3359.71 Check: 0.0 Back: 317.387
INFO - Atoms: 201270/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 13952452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.758 Prop: 18065.633 PropClause: 17708.56 Set: 3402.444 Check: 0.0 Back: 322.42
INFO - Atoms: 201004/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 14153076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.777 Prop: 18329.598 PropClause: 17967.412 Set: 3439.999 Check: 0.0 Back: 327.1
INFO - Atoms: 200624/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 14353442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.796 Prop: 18583.754 PropClause: 18216.551 Set: 3475.87 Check: 0.0 Back: 331.845
INFO - Atoms: 200366/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 14553420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.815 Prop: 18838.988 PropClause: 18466.801 Set: 3512.083 Check: 0.0 Back: 336.484
INFO - Atoms: 199978/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 14753140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.834 Prop: 19116.919 PropClause: 18739.787 Set: 3548.76 Check: 0.0 Back: 341.162
INFO - Atoms: 199720/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 14952472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.853 Prop: 19376.194 PropClause: 18994.144 Set: 3632.951 Check: 0.0 Back: 345.854
INFO - Atoms: 199332/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 15151546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.872 Prop: 19634.325 PropClause: 19247.383 Set: 3667.389 Check: 0.0 Back: 350.461
INFO - Atoms: 199074/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 15350232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.908 Prop: 19902.935 PropClause: 19510.905 Set: 3704.494 Check: 0.0 Back: 355.043
INFO - Atoms: 198686/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 15548660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.927 Prop: 20189.912 PropClause: 19792.421 Set: 3746.904 Check: 0.0 Back: 359.839
INFO - Atoms: 198428/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 15746700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.948 Prop: 20496.588 PropClause: 20093.602 Set: 3790.934 Check: 0.0 Back: 364.392
INFO - Atoms: 198040/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 15944482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.967 Prop: 20796.291 PropClause: 20387.461 Set: 3835.919 Check: 0.0 Back: 368.947
INFO - Atoms: 197782/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 16141876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.985 Prop: 21088.441 PropClause: 20674.471 Set: 3875.008 Check: 0.0 Back: 373.969
INFO - Atoms: 197394/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 16338946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.003 Prop: 21346.226 PropClause: 20927.225 Set: 3910.954 Check: 0.0 Back: 379.04
INFO - Atoms: 197070/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 16535694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.02 Prop: 21597.181 PropClause: 21173.152 Set: 3947.176 Check: 0.0 Back: 383.733
INFO - Atoms: 196748/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 16732184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.036 Prop: 21849.917 PropClause: 21421.063 Set: 3982.115 Check: 0.0 Back: 388.376
INFO - Atoms: 196490/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 16928286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.052 Prop: 22086.225 PropClause: 21652.581 Set: 4016.05 Check: 0.0 Back: 393.027
INFO - Atoms: 196102/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 17124064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.069 Prop: 22313.255 PropClause: 21874.848 Set: 4050.076 Check: 0.0 Back: 397.537
INFO - Atoms: 195778/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 17319520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.087 Prop: 22557.356 PropClause: 22114.163 Set: 4084.845 Check: 0.0 Back: 402.016
INFO - Atoms: 195456/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 17514710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.128 Prop: 22828.913 PropClause: 22380.894 Set: 4182.251 Check: 0.0 Back: 406.578
INFO - Atoms: 195190/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 17709520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.19 Prop: 23089.851 PropClause: 22636.987 Set: 4216.836 Check: 0.0 Back: 411.097
INFO - Atoms: 194810/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 17904006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.203 Prop: 23356.559 PropClause: 22898.634 Set: 4254.112 Check: 0.0 Back: 415.731
INFO - Atoms: 194486/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 18098168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.217 Prop: 23652.02 PropClause: 23188.718 Set: 4295.559 Check: 0.0 Back: 420.521
INFO - Atoms: 194162/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 18292072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.23 Prop: 23938.302 PropClause: 23469.764 Set: 4336.16 Check: 0.0 Back: 425.472
INFO - Atoms: 193904/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 18485590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.243 Prop: 24222.217 PropClause: 23747.889 Set: 4378.41 Check: 0.0 Back: 430.805
INFO - Atoms: 193518/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 18678850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.256 Prop: 24478.453 PropClause: 23999.137 Set: 4414.542 Check: 0.0 Back: 435.852
INFO - Atoms: 193260/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 18871722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.268 Prop: 24744.639 PropClause: 24260.378 Set: 4451.355 Check: 0.0 Back: 440.699
INFO - Atoms: 192872/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 19064270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.282 Prop: 25028.755 PropClause: 24538.623 Set: 4493.913 Check: 0.0 Back: 445.167
INFO - Atoms: 192548/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 19256496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.295 Prop: 25299.1 PropClause: 24803.073 Set: 4535.87 Check: 0.0 Back: 450.579
INFO - Atoms: 192226/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 19448464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.31 Prop: 25534.939 PropClause: 25034.123 Set: 4569.518 Check: 0.0 Back: 455.985
INFO - Atoms: 191968/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 19640044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.322 Prop: 25763.654 PropClause: 25258.133 Set: 4603.328 Check: 0.0 Back: 460.761
INFO - Atoms: 191580/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 19831366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.334 Prop: 26009.385 PropClause: 25499.123 Set: 4636.773 Check: 0.0 Back: 465.2
INFO - Atoms: 191322/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 20022300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.347 Prop: 26289.65 PropClause: 25773.914 Set: 4677.547 Check: 0.0 Back: 469.73
INFO - Atoms: 190934/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 20212974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.359 Prop: 26531.09 PropClause: 26010.641 Set: 4749.105 Check: 0.0 Back: 474.803
INFO - Atoms: 190674/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 20403262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.374 Prop: 26774.688 PropClause: 26249.562 Set: 4782.168 Check: 0.0 Back: 479.193
INFO - Atoms: 190288/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 20593292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.388 Prop: 27022.484 PropClause: 26492.618 Set: 4816.986 Check: 0.0 Back: 483.6
INFO - Atoms: 190030/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 20782932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.401 Prop: 27278.85 PropClause: 26744.141 Set: 4852.16 Check: 0.0 Back: 488.038
INFO - Atoms: 189640/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 20972314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 27519.546 PropClause: 26980.141 Set: 4886.557 Check: 0.0 Back: 492.616
INFO - Atoms: 189382/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 21161310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.428 Prop: 27768.51 PropClause: 27224.042 Set: 4924.2 Check: 0.0 Back: 497.634
INFO - Atoms: 188996/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 21349982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.441 Prop: 28029.953 PropClause: 27480.725 Set: 4958.634 Check: 0.0 Back: 502.05
INFO - Atoms: 188672/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 21538332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.464 Prop: 28279.72 PropClause: 27725.438 Set: 4995.712 Check: 0.0 Back: 506.742
INFO - Atoms: 188350/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 21726358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.483 Prop: 28509.259 PropClause: 27950.306 Set: 5028.511 Check: 0.0 Back: 511.215
INFO - Atoms: 188026/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 21914062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.497 Prop: 28766.925 PropClause: 28203.015 Set: 5064.629 Check: 0.0 Back: 515.567
INFO - Atoms: 187704/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 22101506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.51 Prop: 29005.138 PropClause: 28436.404 Set: 5099.623 Check: 0.0 Back: 519.926
INFO - Atoms: 187444/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 22288562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.521 Prop: 29253.548 PropClause: 28680.014 Set: 5133.85 Check: 0.0 Back: 524.252
INFO - Atoms: 187056/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 22475362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.534 Prop: 29493.602 PropClause: 28915.46 Set: 5167.656 Check: 0.0 Back: 529.0
INFO - Atoms: 186800/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 22661774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.546 Prop: 29731.514 PropClause: 29148.526 Set: 5203.086 Check: 0.0 Back: 534.213
INFO - Atoms: 186412/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 22847926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.56 Prop: 29967.281 PropClause: 29379.704 Set: 5235.106 Check: 0.0 Back: 538.611
INFO - Atoms: 186152/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 23033692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.574 Prop: 30215.478 PropClause: 29623.312 Set: 5268.977 Check: 0.0 Back: 542.894
INFO - Atoms: 185766/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 23219134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.587 Prop: 30463.186 PropClause: 29866.269 Set: 5303.887 Check: 0.0 Back: 547.189
INFO - Atoms: 185442/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 23404254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.601 Prop: 30721.179 PropClause: 30119.368 Set: 5339.923 Check: 0.0 Back: 551.719
INFO - Atoms: 185120/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 23589111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.613 Prop: 30968.37 PropClause: 30361.571 Set: 5378.708 Check: 0.0 Back: 556.448
INFO - Atoms: 184857/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 23773583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.626 Prop: 31194.961 PropClause: 30583.641 Set: 5411.774 Check: 0.0 Back: 560.772
INFO - Atoms: 184472/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 23957799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.639 Prop: 31436.789 PropClause: 30820.786 Set: 5445.173 Check: 0.0 Back: 565.003
INFO - Atoms: 184216/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 24141627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 31676.103 PropClause: 31055.38 Set: 5479.414 Check: 0.0 Back: 569.772
INFO - Atoms: 183828/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 24325189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.665 Prop: 31905.212 PropClause: 31279.919 Set: 5512.248 Check: 0.0 Back: 574.04
INFO - Atoms: 183562/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 24508369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.678 Prop: 32133.034 PropClause: 31503.236 Set: 5544.439 Check: 0.0 Back: 578.266
INFO - Atoms: 183180/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 24691291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.689 Prop: 32353.255 PropClause: 31718.975 Set: 5576.567 Check: 0.0 Back: 582.72
INFO - Atoms: 182922/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 24873825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.702 Prop: 32584.56 PropClause: 31945.651 Set: 5609.279 Check: 0.0 Back: 587.009
INFO - Atoms: 182534/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 25056101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.716 Prop: 32821.994 PropClause: 32178.27 Set: 5642.855 Check: 0.0 Back: 591.486
INFO - Atoms: 182276/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 25237991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.728 Prop: 33053.054 PropClause: 32404.805 Set: 5675.516 Check: 0.0 Back: 595.803
INFO - Atoms: 181890/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 25419623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 33288.061 PropClause: 32635.296 Set: 5707.688 Check: 0.0 Back: 600.116
INFO - Atoms: 181632/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 25600865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.752 Prop: 33526.602 PropClause: 32869.164 Set: 5741.199 Check: 0.0 Back: 604.454
INFO - Atoms: 181242/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 25781844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 33754.155 PropClause: 33092.227 Set: 5863.358 Check: 0.0 Back: 608.768
INFO - Atoms: 180979/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 25962442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.776 Prop: 33991.3 PropClause: 33324.857 Set: 5895.549 Check: 0.0 Back: 613.181
INFO - Atoms: 180598/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 26142782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 34220.49 PropClause: 33549.546 Set: 5927.407 Check: 0.0 Back: 617.521
INFO - Atoms: 180340/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 26322734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.801 Prop: 34461.138 PropClause: 33785.593 Set: 5960.18 Check: 0.0 Back: 621.71
INFO - Atoms: 179952/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 26502421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.816 Prop: 34695.23 PropClause: 34015.166 Set: 5992.959 Check: 0.0 Back: 625.847
INFO - Atoms: 179687/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 26681725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.832 Prop: 34944.078 PropClause: 34258.706 Set: 6031.302 Check: 0.0 Back: 630.3
INFO - Atoms: 179304/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 26860773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.844 Prop: 35154.495 PropClause: 34464.75 Set: 6061.608 Check: 0.0 Back: 635.056
INFO - Atoms: 179048/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 27039433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.857 Prop: 35365.459 PropClause: 34671.319 Set: 6092.857 Check: 0.0 Back: 639.159
INFO - Atoms: 178660/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 27217829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.869 Prop: 35587.063 PropClause: 34888.55 Set: 6124.343 Check: 0.0 Back: 643.263
INFO - Atoms: 178396/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 27395843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.882 Prop: 35800.372 PropClause: 35097.454 Set: 6155.565 Check: 0.0 Back: 647.414
INFO - Atoms: 178014/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 27573533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.897 Prop: 36009.468 PropClause: 35302.257 Set: 6186.168 Check: 0.0 Back: 651.592
INFO - Atoms: 177690/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 27750901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.909 Prop: 36221.55 PropClause: 35509.999 Set: 6216.88 Check: 0.0 Back: 655.674
INFO - Atoms: 177368/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 27928011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.922 Prop: 36432.301 PropClause: 35716.381 Set: 6248.148 Check: 0.0 Back: 659.786
INFO - Atoms: 177110/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 28104733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.935 Prop: 36653.298 PropClause: 35932.988 Set: 6279.679 Check: 0.0 Back: 663.906
INFO - Atoms: 176722/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 28281195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.947 Prop: 36875.153 PropClause: 36150.517 Set: 6309.877 Check: 0.0 Back: 668.024
INFO - Atoms: 176462/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 28457269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.972 Prop: 37096.039 PropClause: 36367.088 Set: 6340.157 Check: 0.0 Back: 672.079
INFO - Atoms: 176074/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 28633021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.986 Prop: 37321.613 PropClause: 36588.313 Set: 6371.217 Check: 0.0 Back: 676.149
INFO - Atoms: 175752/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 28808449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.0 Prop: 37540.627 PropClause: 36803.023 Set: 6401.623 Check: 0.0 Back: 680.267
INFO - Atoms: 175428/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 28983619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.013 Prop: 37760.386 PropClause: 37018.44 Set: 6432.002 Check: 0.0 Back: 684.335
INFO - Atoms: 175170/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 29158401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.027 Prop: 37977.144 PropClause: 37230.743 Set: 6464.23 Check: 0.0 Back: 688.377
INFO - Atoms: 174782/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 29332861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.038 Prop: 38204.041 PropClause: 37452.81 Set: 6499.106 Check: 0.0 Back: 692.408
INFO - Atoms: 174460/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 29506997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.05 Prop: 38417.702 PropClause: 37662.218 Set: 6529.139 Check: 0.0 Back: 696.423
INFO - Atoms: 174136/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 29680811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.06 Prop: 38620.656 PropClause: 37860.924 Set: 6558.48 Check: 0.0 Back: 700.434
INFO - Atoms: 173814/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 29854301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.074 Prop: 38824.673 PropClause: 38060.729 Set: 6587.724 Check: 0.0 Back: 704.421
INFO - Atoms: 173490/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 30027533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 39029.226 PropClause: 38261.022 Set: 6617.765 Check: 0.0 Back: 708.369
INFO - Atoms: 173232/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 30200379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.095 Prop: 39235.698 PropClause: 38463.269 Set: 6647.047 Check: 0.0 Back: 712.345
INFO - Atoms: 172846/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 30372967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.108 Prop: 39436.203 PropClause: 38659.537 Set: 6677.041 Check: 0.0 Back: 716.296
INFO - Atoms: 172588/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 30545167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.12 Prop: 39649.702 PropClause: 38868.736 Set: 6706.919 Check: 0.0 Back: 720.332
INFO - Atoms: 172200/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 30717109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.135 Prop: 39874.614 PropClause: 39088.552 Set: 6743.82 Check: 0.0 Back: 724.341
INFO - Atoms: 171942/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 30888663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.149 Prop: 40093.021 PropClause: 39302.738 Set: 6773.4 Check: 0.0 Back: 729.072
INFO - Atoms: 171554/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 31059954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.162 Prop: 40303.409 PropClause: 39508.88 Set: 6803.373 Check: 0.0 Back: 733.193
INFO - Atoms: 171291/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 31230862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.175 Prop: 40508.83 PropClause: 39710.061 Set: 6833.406 Check: 0.0 Back: 737.154
INFO - Atoms: 170908/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 31401507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 40733.402 PropClause: 39930.327 Set: 6864.786 Check: 0.0 Back: 741.14
INFO - Atoms: 170645/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 31571769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.202 Prop: 40964.32 PropClause: 40156.701 Set: 6899.251 Check: 0.0 Back: 745.223
INFO - Atoms: 170262/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 31741771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.213 Prop: 41178.564 PropClause: 40366.631 Set: 6987.674 Check: 0.0 Back: 749.473
INFO - Atoms: 170002/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 31911387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.226 Prop: 41392.182 PropClause: 40576.047 Set: 7017.545 Check: 0.0 Back: 753.39
INFO - Atoms: 169616/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 32080745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.239 Prop: 41597.388 PropClause: 40777.076 Set: 7047.137 Check: 0.0 Back: 757.304
INFO - Atoms: 169358/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 32249713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.251 Prop: 41816.413 PropClause: 40991.926 Set: 7077.306 Check: 0.0 Back: 761.267
INFO - Atoms: 168968/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 32418423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.262 Prop: 42004.428 PropClause: 41175.799 Set: 7106.076 Check: 0.0 Back: 765.249
INFO - Atoms: 168710/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 32586747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.274 Prop: 42197.713 PropClause: 41364.985 Set: 7134.236 Check: 0.0 Back: 769.15
INFO - Atoms: 168324/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 32754813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.287 Prop: 42390.004 PropClause: 41553.164 Set: 7162.855 Check: 0.0 Back: 772.991
INFO - Atoms: 168066/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 32922489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.299 Prop: 42585.101 PropClause: 41744.202 Set: 7190.86 Check: 0.0 Back: 776.846
INFO - Atoms: 167676/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 33089909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.313 Prop: 42784.513 PropClause: 41939.487 Set: 7219.42 Check: 0.0 Back: 780.717
INFO - Atoms: 167420/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 33256941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.325 Prop: 42971.745 PropClause: 42122.631 Set: 7248.133 Check: 0.0 Back: 784.54
INFO - Atoms: 167032/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 33423715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.337 Prop: 43172.832 PropClause: 42319.66 Set: 7276.49 Check: 0.0 Back: 788.382
INFO - Atoms: 166774/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 33590099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.35 Prop: 43379.931 PropClause: 42522.563 Set: 7306.612 Check: 0.0 Back: 792.275
INFO - Atoms: 166384/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 33756227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.364 Prop: 43579.781 PropClause: 42718.322 Set: 7335.255 Check: 0.0 Back: 796.218
INFO - Atoms: 166128/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 33921967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.376 Prop: 43785.425 PropClause: 42919.835 Set: 7365.02 Check: 0.0 Back: 800.078
INFO - Atoms: 165740/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 34087447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.39 Prop: 43996.908 PropClause: 43126.951 Set: 7396.457 Check: 0.0 Back: 803.893
INFO - Atoms: 165480/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 34252539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.402 Prop: 44201.154 PropClause: 43327.155 Set: 7425.448 Check: 0.0 Back: 807.917
INFO - Atoms: 165092/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 34417373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 44405.105 PropClause: 43527.016 Set: 7454.807 Check: 0.0 Back: 811.951
INFO - Atoms: 164834/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 34581821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 44609.826 PropClause: 43727.653 Set: 7484.121 Check: 0.0 Back: 815.924
INFO - Atoms: 164448/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 34746011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.444 Prop: 44811.197 PropClause: 43924.687 Set: 7514.888 Check: 0.0 Back: 819.792
INFO - Atoms: 164190/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 34909813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.455 Prop: 45008.884 PropClause: 44118.324 Set: 7543.314 Check: 0.0 Back: 823.654
INFO - Atoms: 163802/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 35073357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.468 Prop: 45196.792 PropClause: 44302.15 Set: 7571.37 Check: 0.0 Back: 827.593
INFO - Atoms: 163544/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 35236513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.48 Prop: 45382.256 PropClause: 44483.64 Set: 7599.262 Check: 0.0 Back: 831.562
INFO - Atoms: 163156/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 35399411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.493 Prop: 45567.588 PropClause: 44664.961 Set: 7626.638 Check: 0.0 Back: 835.316
INFO - Atoms: 162898/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 35561919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.505 Prop: 45750.462 PropClause: 44843.85 Set: 7654.239 Check: 0.0 Back: 839.054
INFO - Atoms: 162508/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 35724105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.517 Prop: 45938.038 PropClause: 45027.467 Set: 7681.923 Check: 0.0 Back: 842.79
INFO - Atoms: 162186/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 35885967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.529 Prop: 46115.623 PropClause: 45201.083 Set: 7708.914 Check: 0.0 Back: 846.514
INFO - Atoms: 161862/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 36047571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.542 Prop: 46315.069 PropClause: 45395.994 Set: 7740.51 Check: 0.0 Back: 850.257
INFO - Atoms: 161604/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 36208789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.554 Prop: 46509.542 PropClause: 45586.275 Set: 7770.091 Check: 0.0 Back: 854.799
INFO - Atoms: 161218/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 36369749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.566 Prop: 46699.493 PropClause: 45772.275 Set: 7797.605 Check: 0.0 Back: 858.516
INFO - Atoms: 160960/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 36530321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.581 Prop: 46889.495 PropClause: 45958.346 Set: 7824.919 Check: 0.0 Back: 862.219
INFO - Atoms: 160572/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 36690569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.594 Prop: 47078.612 PropClause: 46143.545 Set: 7852.182 Check: 0.0 Back: 865.915
INFO - Atoms: 160248/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 36850495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.612 Prop: 47271.415 PropClause: 46332.384 Set: 7880.729 Check: 0.0 Back: 869.616
INFO - Atoms: 159926/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 37010161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.651 Prop: 47452.75 PropClause: 46509.846 Set: 7907.533 Check: 0.0 Back: 873.327
INFO - Atoms: 159666/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 37169441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.658 Prop: 47638.174 PropClause: 46691.378 Set: 7934.47 Check: 0.0 Back: 876.966
INFO - Atoms: 159280/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 37328463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.665 Prop: 47822.875 PropClause: 46872.188 Set: 7962.294 Check: 0.0 Back: 880.633
INFO - Atoms: 159022/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 37487097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.704 Prop: 48008.462 PropClause: 47053.903 Set: 7989.741 Check: 0.0 Back: 884.255
INFO - Atoms: 158634/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 37645473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.745 Prop: 48193.22 PropClause: 47234.779 Set: 8017.306 Check: 0.0 Back: 887.912
INFO - Atoms: 158376/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 37803459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.785 Prop: 48392.671 PropClause: 47429.729 Set: 8052.146 Check: 0.0 Back: 891.561
INFO - Atoms: 157986/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 37961123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.792 Prop: 48564.149 PropClause: 47597.346 Set: 8078.941 Check: 0.0 Back: 895.211
INFO - Atoms: 157664/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 38118465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.834 Prop: 48739.465 PropClause: 47768.827 Set: 8105.182 Check: 0.0 Back: 898.828
INFO - Atoms: 157342/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 38275483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.896 Prop: 48924.109 PropClause: 47949.602 Set: 8132.015 Check: 0.0 Back: 902.418
INFO - Atoms: 157018/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 38432179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.903 Prop: 49099.756 PropClause: 48121.362 Set: 8158.685 Check: 0.0 Back: 906.003
INFO - Atoms: 156696/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 38588617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.91 Prop: 49278.257 PropClause: 48296.029 Set: 8185.216 Check: 0.0 Back: 909.62
INFO - Atoms: 156438/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 38744667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.917 Prop: 49455.071 PropClause: 48468.947 Set: 8212.294 Check: 0.0 Back: 913.505
INFO - Atoms: 156050/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 38900393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.924 Prop: 49634.309 PropClause: 48644.392 Set: 8238.639 Check: 0.0 Back: 917.242
INFO - Atoms: 155726/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 39055795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 49801.019 PropClause: 48807.325 Set: 8264.47 Check: 0.0 Back: 920.802
INFO - Atoms: 155402/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 39210936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.938 Prop: 49977.067 PropClause: 48979.586 Set: 8291.008 Check: 0.0 Back: 924.35
INFO - Atoms: 155141/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 39365692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.943 Prop: 50152.793 PropClause: 49151.524 Set: 8317.62 Check: 0.0 Back: 927.92
INFO - Atoms: 154756/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 39520190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.95 Prop: 50333.44 PropClause: 49328.394 Set: 8343.723 Check: 0.0 Back: 931.495
INFO - Atoms: 154498/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 39674302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.958 Prop: 50508.009 PropClause: 49499.211 Set: 8406.449 Check: 0.0 Back: 935.036
INFO - Atoms: 154112/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 39828154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.963 Prop: 50685.601 PropClause: 49673.054 Set: 8432.979 Check: 0.0 Back: 938.556
INFO - Atoms: 153852/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 39981618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.971 Prop: 50860.501 PropClause: 49844.206 Set: 8459.441 Check: 0.0 Back: 942.089
INFO - Atoms: 153464/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 40134824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.978 Prop: 51043.46 PropClause: 50023.402 Set: 8485.593 Check: 0.0 Back: 945.605
INFO - Atoms: 153206/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 40287644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.986 Prop: 51217.012 PropClause: 50193.222 Set: 8511.858 Check: 0.0 Back: 949.109
INFO - Atoms: 152820/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 40440206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.992 Prop: 51392.343 PropClause: 50364.839 Set: 8537.969 Check: 0.0 Back: 952.606
INFO - Atoms: 152562/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 40592380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.002 Prop: 51563.464 PropClause: 50532.225 Set: 8564.232 Check: 0.0 Back: 956.099
INFO - Atoms: 152174/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 40744296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.009 Prop: 51733.843 PropClause: 50698.915 Set: 8589.695 Check: 0.0 Back: 959.628
INFO - Atoms: 151916/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 40895822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.016 Prop: 51901.178 PropClause: 50862.547 Set: 8615.596 Check: 0.0 Back: 963.098
INFO - Atoms: 151526/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 41047090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.022 Prop: 52070.755 PropClause: 51028.44 Set: 8640.901 Check: 0.0 Back: 966.609
INFO - Atoms: 151268/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 41197972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.029 Prop: 52236.402 PropClause: 51190.41 Set: 8666.006 Check: 0.0 Back: 970.049
INFO - Atoms: 150882/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 41348594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.036 Prop: 52408.837 PropClause: 51359.178 Set: 8691.461 Check: 0.0 Back: 973.489
INFO - Atoms: 150622/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 41498828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.044 Prop: 52577.043 PropClause: 51523.705 Set: 8716.809 Check: 0.0 Back: 976.925
INFO - Atoms: 150234/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 41648804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.051 Prop: 52751.955 PropClause: 51694.926 Set: 8742.526 Check: 0.0 Back: 980.359
INFO - Atoms: 149976/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 41798394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.058 Prop: 52924.165 PropClause: 51863.465 Set: 8767.846 Check: 0.0 Back: 983.849
INFO - Atoms: 149590/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 41947726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.066 Prop: 53102.799 PropClause: 52038.421 Set: 8793.957 Check: 0.0 Back: 987.329
INFO - Atoms: 149332/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 42096670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 53274.501 PropClause: 52206.426 Set: 8819.432 Check: 0.0 Back: 990.853
INFO - Atoms: 148944/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 42245354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 53443.976 PropClause: 52372.254 Set: 8844.976 Check: 0.0 Back: 994.4
INFO - Atoms: 148684/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 42393650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.086 Prop: 53612.934 PropClause: 52537.567 Set: 8870.679 Check: 0.0 Back: 997.829
INFO - Atoms: 148296/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 42541690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.093 Prop: 53781.447 PropClause: 52702.453 Set: 8896.233 Check: 0.0 Back: 1001.235
INFO - Atoms: 148040/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 42689340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 53949.812 PropClause: 52867.199 Set: 8921.72 Check: 0.0 Back: 1004.648
INFO - Atoms: 147650/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 42836668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.108 Prop: 54120.415 PropClause: 53034.178 Set: 8946.814 Check: 0.0 Back: 1008.036
INFO - Atoms: 147328/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 42983674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 54292.749 PropClause: 53202.89 Set: 9007.955 Check: 0.0 Back: 1011.428
INFO - Atoms: 147006/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 43130356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.122 Prop: 54459.591 PropClause: 53366.128 Set: 9033.029 Check: 0.0 Back: 1014.815
INFO - Atoms: 146682/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 43276714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.129 Prop: 54628.402 PropClause: 53531.358 Set: 9057.743 Check: 0.0 Back: 1018.197
INFO - Atoms: 146358/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 43422750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.136 Prop: 54793.943 PropClause: 53693.336 Set: 9082.862 Check: 0.0 Back: 1021.576
INFO - Atoms: 146036/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 43568464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.142 Prop: 54955.381 PropClause: 53851.202 Set: 9107.664 Check: 0.0 Back: 1024.895
INFO - Atoms: 145714/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 43713920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.148 Prop: 55114.677 PropClause: 54006.919 Set: 9132.573 Check: 0.0 Back: 1028.241
INFO - Atoms: 145456/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 43858986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.156 Prop: 55268.395 PropClause: 54157.077 Set: 9156.969 Check: 0.0 Back: 1031.58
INFO - Atoms: 145066/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 44003794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.163 Prop: 55420.413 PropClause: 54305.539 Set: 9181.025 Check: 0.0 Back: 1034.917
INFO - Atoms: 144808/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 44148216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 55575.188 PropClause: 54456.728 Set: 9205.566 Check: 0.0 Back: 1038.26
INFO - Atoms: 144422/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 44292372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.176 Prop: 55727.694 PropClause: 54605.665 Set: 9229.849 Check: 0.0 Back: 1041.593
INFO - Atoms: 144156/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 44436146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 55882.575 PropClause: 54757.021 Set: 9254.328 Check: 0.0 Back: 1044.903
INFO - Atoms: 143774/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 44579662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.188 Prop: 56041.238 PropClause: 54912.162 Set: 9278.68 Check: 0.0 Back: 1048.235
INFO - Atoms: 143516/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 44722792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.195 Prop: 56202.062 PropClause: 55069.497 Set: 9302.614 Check: 0.0 Back: 1051.521
INFO - Atoms: 143130/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 44865664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.201 Prop: 56360.63 PropClause: 55224.564 Set: 9326.638 Check: 0.0 Back: 1054.772
INFO - Atoms: 142872/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 45008148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.208 Prop: 56517.485 PropClause: 55377.957 Set: 9350.795 Check: 0.0 Back: 1058.046
INFO - Atoms: 142484/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 45150308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.213 Prop: 56675.216 PropClause: 55532.204 Set: 9374.518 Check: 0.0 Back: 1061.299
INFO - Atoms: 142160/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 45292146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.219 Prop: 56829.561 PropClause: 55683.107 Set: 9398.534 Check: 0.0 Back: 1064.539
INFO - Atoms: 141838/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 45433720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.225 Prop: 56986.823 PropClause: 55836.942 Set: 9422.204 Check: 0.0 Back: 1067.777
INFO - Atoms: 141574/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 45574910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.233 Prop: 57140.701 PropClause: 55987.357 Set: 9446.162 Check: 0.0 Back: 1071.023
INFO - Atoms: 141190/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 45715842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.239 Prop: 57296.677 PropClause: 56139.887 Set: 9469.837 Check: 0.0 Back: 1074.282
INFO - Atoms: 140932/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 45856386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.245 Prop: 57448.834 PropClause: 56288.598 Set: 9493.846 Check: 0.0 Back: 1077.484
INFO - Atoms: 140544/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 45996674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.252 Prop: 57608.626 PropClause: 56444.982 Set: 9517.392 Check: 0.0 Back: 1080.735
INFO - Atoms: 140288/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 46136572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.258 Prop: 57759.252 PropClause: 56592.18 Set: 9540.807 Check: 0.0 Back: 1083.953
INFO - Atoms: 139898/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 46276212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.265 Prop: 57905.3 PropClause: 56734.823 Set: 9564.119 Check: 0.0 Back: 1087.144
INFO - Atoms: 139640/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 46415466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 58047.867 PropClause: 56873.993 Set: 9587.033 Check: 0.0 Back: 1090.335
INFO - Atoms: 139254/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 46554460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.279 Prop: 58193.137 PropClause: 57015.902 Set: 9609.975 Check: 0.0 Back: 1093.532
INFO - Atoms: 138994/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 46693066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.286 Prop: 58340.133 PropClause: 57159.12 Set: 9635.4 Check: 0.0 Back: 1096.674
INFO - Atoms: 138606/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 46831414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.292 Prop: 58487.352 PropClause: 57302.793 Set: 9661.002 Check: 0.0 Back: 1099.92
INFO - Atoms: 138348/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 46969376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.3 Prop: 58625.204 PropClause: 57437.29 Set: 9684.018 Check: 0.0 Back: 1103.057
INFO - Atoms: 137962/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 47107078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.307 Prop: 58767.442 PropClause: 57576.194 Set: 9706.507 Check: 0.0 Back: 1106.247
INFO - Atoms: 137702/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 47244392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.313 Prop: 58908.206 PropClause: 57713.592 Set: 9729.345 Check: 0.0 Back: 1109.364
INFO - Atoms: 137314/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 47381450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.32 Prop: 59055.477 PropClause: 57857.471 Set: 9752.518 Check: 0.0 Back: 1112.506
INFO - Atoms: 137058/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 47518120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 59194.908 PropClause: 57993.566 Set: 9775.067 Check: 0.0 Back: 1115.651
INFO - Atoms: 136670/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 47654532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.337 Prop: 59344.577 PropClause: 58139.881 Set: 9797.834 Check: 0.0 Back: 1119.168
INFO - Atoms: 136412/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 47790556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.344 Prop: 59488.258 PropClause: 58280.214 Set: 9821.114 Check: 0.0 Back: 1122.294
INFO - Atoms: 136024/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 47926322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.351 Prop: 59636.387 PropClause: 58425.019 Set: 9844.063 Check: 0.0 Back: 1125.59
INFO - Atoms: 135766/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 48061698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.359 Prop: 59776.983 PropClause: 58562.254 Set: 9866.666 Check: 0.0 Back: 1128.731
INFO - Atoms: 135376/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 48196818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.366 Prop: 59924.047 PropClause: 58705.962 Set: 9889.98 Check: 0.0 Back: 1131.899
INFO - Atoms: 135120/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 48331550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.373 Prop: 60064.575 PropClause: 58843.141 Set: 9912.954 Check: 0.0 Back: 1135.073
INFO - Atoms: 134732/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 48466017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.381 Prop: 60210.311 PropClause: 58985.577 Set: 9936.008 Check: 0.0 Back: 1138.185
INFO - Atoms: 134467/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 48600103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.389 Prop: 60354.209 PropClause: 59126.157 Set: 9958.636 Check: 0.0 Back: 1141.337
INFO - Atoms: 134086/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 48733925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.396 Prop: 60497.831 PropClause: 59266.492 Set: 9981.364 Check: 0.0 Back: 1144.417
INFO - Atoms: 133822/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 48867363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.404 Prop: 60649.132 PropClause: 59414.455 Set: 10004.644 Check: 0.0 Back: 1147.53
INFO - Atoms: 133438/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 49000479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 60783.531 PropClause: 59545.602 Set: 10026.618 Check: 0.0 Back: 1150.604
INFO - Atoms: 133116/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 49133271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 60919.973 PropClause: 59678.776 Set: 10048.618 Check: 0.0 Back: 1153.675
INFO - Atoms: 132792/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 49265807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 61058.332 PropClause: 59813.878 Set: 10070.804 Check: 0.0 Back: 1156.774
INFO - Atoms: 132536/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 49397955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 61198.751 PropClause: 59951.035 Set: 10093.11 Check: 0.0 Back: 1159.848
INFO - Atoms: 132148/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 49529779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.438 Prop: 61325.37 PropClause: 60074.441 Set: 10114.522 Check: 0.0 Back: 1162.883
INFO - Atoms: 131824/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 49661279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.444 Prop: 61457.002 PropClause: 60202.849 Set: 10136.443 Check: 0.0 Back: 1165.903
INFO - Atoms: 131500/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 49792521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.451 Prop: 61583.651 PropClause: 60326.29 Set: 10157.877 Check: 0.0 Back: 1168.9
INFO - Atoms: 131242/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 49923377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.458 Prop: 61731.948 PropClause: 60471.315 Set: 10180.493 Check: 0.0 Back: 1171.915
INFO - Atoms: 130856/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 50053975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.466 Prop: 61871.776 PropClause: 60607.809 Set: 10203.807 Check: 0.0 Back: 1174.923
INFO - Atoms: 130598/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 50184185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.473 Prop: 62016.292 PropClause: 60749.12 Set: 10225.561 Check: 0.0 Back: 1177.922
INFO - Atoms: 130210/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 50314137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.48 Prop: 62143.318 PropClause: 60872.976 Set: 10246.996 Check: 0.0 Back: 1180.936
INFO - Atoms: 129952/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 50443701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 62278.468 PropClause: 61004.93 Set: 10268.739 Check: 0.0 Back: 1183.924
INFO - Atoms: 129564/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 50572941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.512 Prop: 62407.06 PropClause: 61130.35 Set: 10290.43 Check: 0.0 Back: 1186.958
INFO - Atoms: 129240/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 50700263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 62543.859 PropClause: 61264.003 Set: 10312.049 Check: 0.0 Back: 1190.013
INFO - Atoms: 127322/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 50827327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.528 Prop: 62670.291 PropClause: 61387.324 Set: 10332.802 Check: 0.0 Back: 1193.048
INFO - Atoms: 127064/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 50954003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 62804.024 PropClause: 61517.956 Set: 10353.593 Check: 0.0 Back: 1195.969
INFO - Atoms: 126676/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 51080421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.545 Prop: 62937.477 PropClause: 61648.151 Set: 10375.723 Check: 0.0 Back: 1198.886
INFO - Atoms: 126418/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 51206451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.552 Prop: 63068.258 PropClause: 61775.819 Set: 10396.703 Check: 0.0 Back: 1202.067
INFO - Atoms: 126030/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 51332225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.558 Prop: 63191.834 PropClause: 61896.323 Set: 10417.214 Check: 0.0 Back: 1205.026
INFO - Atoms: 125774/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 51457609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.565 Prop: 63321.697 PropClause: 62023.126 Set: 10437.772 Check: 0.0 Back: 1207.91
INFO - Atoms: 125384/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 51582735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.571 Prop: 63451.238 PropClause: 62149.52 Set: 10522.483 Check: 0.0 Back: 1210.809
INFO - Atoms: 125126/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 51707473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.579 Prop: 63574.034 PropClause: 62269.275 Set: 10543.085 Check: 0.0 Back: 1213.726
INFO - Atoms: 124738/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 51831955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.586 Prop: 63700.171 PropClause: 62392.148 Set: 10565.047 Check: 0.0 Back: 1216.586
INFO - Atoms: 124482/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 51956047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.593 Prop: 63818.888 PropClause: 62507.799 Set: 10585.398 Check: 0.0 Back: 1219.484
INFO - Atoms: 124092/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 52079883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.6 Prop: 63934.805 PropClause: 62620.725 Set: 10605.267 Check: 0.0 Back: 1222.437
INFO - Atoms: 123836/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 52203331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 64048.177 PropClause: 62730.992 Set: 10626.049 Check: 0.0 Back: 1225.262
INFO - Atoms: 123448/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 52326455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.615 Prop: 64169.709 PropClause: 62849.5 Set: 10646.163 Check: 0.0 Back: 1228.173
INFO - Atoms: 123124/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 52449255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 64282.838 PropClause: 62959.648 Set: 10665.698 Check: 0.0 Back: 1231.004
INFO - Atoms: 122800/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 52571799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.628 Prop: 64400.86 PropClause: 63074.606 Set: 10686.038 Check: 0.0 Back: 1233.797
INFO - Atoms: 122544/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 52693955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.635 Prop: 64515.858 PropClause: 63186.539 Set: 10706.82 Check: 0.0 Back: 1236.675
INFO - Atoms: 122156/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 52815851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.642 Prop: 64634.299 PropClause: 63302.011 Set: 10726.651 Check: 0.0 Back: 1239.482
INFO - Atoms: 121896/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 52937359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.651 Prop: 64754.978 PropClause: 63419.713 Set: 10746.401 Check: 0.0 Back: 1242.272
INFO - Atoms: 121508/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 53058603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.658 Prop: 64873.627 PropClause: 63535.388 Set: 10766.446 Check: 0.0 Back: 1245.059
INFO - Atoms: 121244/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 53179465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.665 Prop: 64995.023 PropClause: 63653.827 Set: 10786.458 Check: 0.0 Back: 1247.848
INFO - Atoms: 120862/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 53300071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.671 Prop: 65106.073 PropClause: 63761.927 Set: 10806.221 Check: 0.0 Back: 1250.619
INFO - Atoms: 120606/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 53420289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.679 Prop: 65226.449 PropClause: 63879.353 Set: 10825.842 Check: 0.0 Back: 1253.408
INFO - Atoms: 120218/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 53540247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.686 Prop: 65345.074 PropClause: 63995.033 Set: 10845.756 Check: 0.0 Back: 1256.176
INFO - Atoms: 119958/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 53659819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.693 Prop: 65465.2 PropClause: 64112.21 Set: 10865.804 Check: 0.0 Back: 1258.967
INFO - Atoms: 119572/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 53779067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 65580.887 PropClause: 64224.913 Set: 10885.978 Check: 0.0 Back: 1261.719
INFO - Atoms: 119248/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 53897991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.708 Prop: 65698.594 PropClause: 64339.702 Set: 10905.711 Check: 0.0 Back: 1264.557
INFO - Atoms: 118924/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 54016657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.716 Prop: 65816.097 PropClause: 64454.294 Set: 10925.54 Check: 0.0 Back: 1267.276
INFO - Atoms: 118666/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 54134937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.723 Prop: 65928.821 PropClause: 64564.127 Set: 10944.807 Check: 0.0 Back: 1269.994
INFO - Atoms: 118280/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 54252959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.73 Prop: 66043.349 PropClause: 64675.773 Set: 10964.171 Check: 0.0 Back: 1272.735
INFO - Atoms: 118022/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 54370593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.736 Prop: 66149.68 PropClause: 64779.22 Set: 10982.923 Check: 0.0 Back: 1275.46
INFO - Atoms: 117634/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 54487903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.741 Prop: 66259.572 PropClause: 64886.26 Set: 11001.716 Check: 0.0 Back: 1278.164
INFO - Atoms: 117310/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 54603295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.748 Prop: 66366.318 PropClause: 64990.195 Set: 11020.478 Check: 0.0 Back: 1280.83
INFO - Atoms: 115392/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 54718431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.754 Prop: 66477.868 PropClause: 65098.925 Set: 11038.889 Check: 0.0 Back: 1283.472
INFO - Atoms: 115136/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 54833177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.761 Prop: 66583.104 PropClause: 65201.368 Set: 11057.286 Check: 0.0 Back: 1286.124
INFO - Atoms: 114746/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 54947665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.768 Prop: 66690.916 PropClause: 65306.399 Set: 11075.479 Check: 0.0 Back: 1288.732
INFO - Atoms: 114488/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 55061767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.775 Prop: 66796.113 PropClause: 65408.788 Set: 11093.954 Check: 0.0 Back: 1291.327
INFO - Atoms: 114102/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 55175609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.783 Prop: 66908.411 PropClause: 65518.259 Set: 11112.358 Check: 0.0 Back: 1293.953
INFO - Atoms: 113842/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 55289063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.789 Prop: 67015.988 PropClause: 65623.054 Set: 11130.535 Check: 0.0 Back: 1296.566
INFO - Atoms: 113454/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 55402259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.796 Prop: 67122.34 PropClause: 65726.618 Set: 11148.79 Check: 0.0 Back: 1299.161
INFO - Atoms: 113196/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 55515069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.803 Prop: 67228.549 PropClause: 65830.079 Set: 11166.677 Check: 0.0 Back: 1301.786
INFO - Atoms: 112810/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 55627619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.81 Prop: 67330.656 PropClause: 65929.421 Set: 11184.953 Check: 0.0 Back: 1304.386
INFO - Atoms: 112550/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 55739781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.817 Prop: 67429.525 PropClause: 66025.531 Set: 11202.754 Check: 0.0 Back: 1306.999
INFO - Atoms: 112162/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 55851685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 67534.107 PropClause: 66127.284 Set: 11221.479 Check: 0.0 Back: 1309.578
INFO - Atoms: 111904/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 55963203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.831 Prop: 67631.628 PropClause: 66222.066 Set: 11286.377 Check: 0.0 Back: 1312.272
INFO - Atoms: 111518/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 56074463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.839 Prop: 67729.58 PropClause: 66317.282 Set: 11304.302 Check: 0.0 Back: 1314.827
INFO - Atoms: 111260/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 56185335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.845 Prop: 67823.423 PropClause: 66408.421 Set: 11321.938 Check: 0.0 Back: 1317.399
INFO - Atoms: 110872/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 56295949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.853 Prop: 67931.844 PropClause: 66513.794 Set: 11342.276 Check: 0.0 Back: 1319.926
INFO - Atoms: 110614/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 56406175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.86 Prop: 68028.229 PropClause: 66607.485 Set: 11359.587 Check: 0.0 Back: 1322.481
INFO - Atoms: 110226/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 56516143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.868 Prop: 68129.172 PropClause: 66705.416 Set: 11379.186 Check: 0.0 Back: 1325.02
INFO - Atoms: 109968/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 56625721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.876 Prop: 68226.857 PropClause: 66800.383 Set: 11397.022 Check: 0.0 Back: 1327.601
INFO - Atoms: 109578/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 56735041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.882 Prop: 68315.883 PropClause: 66886.732 Set: 11414.364 Check: 0.0 Back: 1330.144
INFO - Atoms: 109320/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 56843975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.889 Prop: 68416.093 PropClause: 66984.199 Set: 11473.203 Check: 0.0 Back: 1332.661
INFO - Atoms: 108934/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 56952651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.896 Prop: 68507.638 PropClause: 67073.103 Set: 11490.333 Check: 0.0 Back: 1335.157
INFO - Atoms: 108676/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 57060939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 68600.972 PropClause: 67163.772 Set: 11507.681 Check: 0.0 Back: 1337.673
INFO - Atoms: 108288/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 57168967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.915 Prop: 68693.216 PropClause: 67253.336 Set: 11524.756 Check: 0.0 Back: 1340.16
INFO - Atoms: 108028/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 57276607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.921 Prop: 68777.719 PropClause: 67335.214 Set: 11541.423 Check: 0.0 Back: 1342.649
INFO - Atoms: 107640/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 57383989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.928 Prop: 68867.483 PropClause: 67422.338 Set: 11558.395 Check: 0.0 Back: 1345.118
INFO - Atoms: 107382/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 57490985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.935 Prop: 68953.825 PropClause: 67506.063 Set: 11574.883 Check: 0.0 Back: 1347.601
INFO - Atoms: 106996/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 57597723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.941 Prop: 69043.016 PropClause: 67592.663 Set: 11591.432 Check: 0.0 Back: 1350.057
INFO - Atoms: 106738/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 57704073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 69130.854 PropClause: 67677.921 Set: 11660.811 Check: 0.0 Back: 1352.477
INFO - Atoms: 106350/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 57810165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.954 Prop: 69211.642 PropClause: 67756.113 Set: 11677.419 Check: 0.0 Back: 1354.913
INFO - Atoms: 106092/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 57915869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.961 Prop: 69299.262 PropClause: 67841.153 Set: 11693.775 Check: 0.0 Back: 1357.347
INFO - Atoms: 105704/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 58021313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.968 Prop: 69383.816 PropClause: 67923.142 Set: 11710.149 Check: 0.0 Back: 1359.782
INFO - Atoms: 105444/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 58126369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.975 Prop: 69469.879 PropClause: 68006.594 Set: 11726.817 Check: 0.0 Back: 1362.196
INFO - Atoms: 105056/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 58231169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.982 Prop: 69558.148 PropClause: 68092.274 Set: 11743.809 Check: 0.0 Back: 1364.619
INFO - Atoms: 104800/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 58335579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.989 Prop: 69639.685 PropClause: 68171.252 Set: 11760.031 Check: 0.0 Back: 1367.038
INFO - Atoms: 104410/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 58439733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.996 Prop: 69729.982 PropClause: 68258.837 Set: 11777.736 Check: 0.0 Back: 1369.444
INFO - Atoms: 104154/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 58543497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.004 Prop: 69810.02 PropClause: 68336.329 Set: 11793.857 Check: 0.0 Back: 1371.87
INFO - Atoms: 103764/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 58647005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.01 Prop: 69894.077 PropClause: 68417.85 Set: 11809.938 Check: 0.0 Back: 1374.265
INFO - Atoms: 103508/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 58750125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.018 Prop: 69985.83 PropClause: 68507.008 Set: 11826.89 Check: 0.0 Back: 1376.635
INFO - Atoms: 103120/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 58852985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.025 Prop: 70063.721 PropClause: 68582.373 Set: 11842.95 Check: 0.0 Back: 1379.071
INFO - Atoms: 102860/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 58955459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.032 Prop: 70148.343 PropClause: 68664.474 Set: 11859.178 Check: 0.0 Back: 1381.549
INFO - Atoms: 102474/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 59057675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.039 Prop: 70232.029 PropClause: 68745.618 Set: 11875.601 Check: 0.0 Back: 1383.963
INFO - Atoms: 102216/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 59159503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 70314.92 PropClause: 68826.006 Set: 11891.664 Check: 0.0 Back: 1386.567
INFO - Atoms: 101828/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 59261073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.053 Prop: 70397.092 PropClause: 68905.699 Set: 11907.5 Check: 0.0 Back: 1388.92
INFO - Atoms: 101570/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 59362255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.06 Prop: 70477.916 PropClause: 68984.039 Set: 11923.493 Check: 0.0 Back: 1391.322
INFO - Atoms: 101182/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 59463179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.076 Prop: 70560.72 PropClause: 69064.339 Set: 11989.093 Check: 0.0 Back: 1393.684
INFO - Atoms: 100924/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 59563713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.083 Prop: 70645.374 PropClause: 69146.466 Set: 12005.05 Check: 0.0 Back: 1396.074
INFO - Atoms: 100534/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 59663989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.09 Prop: 70722.104 PropClause: 69220.732 Set: 12020.545 Check: 0.0 Back: 1398.42
INFO - Atoms: 100276/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 59763879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.098 Prop: 70801.075 PropClause: 69297.243 Set: 12036.095 Check: 0.0 Back: 1400.718
INFO - Atoms: 99890/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 59863509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.105 Prop: 70873.342 PropClause: 69367.045 Set: 12051.722 Check: 0.0 Back: 1403.071
INFO - Atoms: 99630/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 59962753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.112 Prop: 70946.929 PropClause: 69438.214 Set: 12066.95 Check: 0.0 Back: 1405.47
INFO - Atoms: 99244/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 60061739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.118 Prop: 71016.884 PropClause: 69505.753 Set: 12082.032 Check: 0.0 Back: 1407.723
INFO - Atoms: 98986/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 60160335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.126 Prop: 71091.894 PropClause: 69578.335 Set: 12097.338 Check: 0.0 Back: 1409.979
INFO - Atoms: 98596/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 60258673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.133 Prop: 71168.432 PropClause: 69652.388 Set: 12113.045 Check: 0.0 Back: 1412.346
INFO - Atoms: 98338/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 60356625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.141 Prop: 71236.063 PropClause: 69717.629 Set: 12166.259 Check: 0.0 Back: 1414.619
INFO - Atoms: 97952/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 60454317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.149 Prop: 71307.908 PropClause: 69787.092 Set: 12181.345 Check: 0.0 Back: 1416.866
INFO - Atoms: 97692/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 60551621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.156 Prop: 71375.664 PropClause: 69852.454 Set: 12196.214 Check: 0.0 Back: 1419.112
INFO - Atoms: 97304/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 60648667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.162 Prop: 71449.367 PropClause: 69923.797 Set: 12211.241 Check: 0.0 Back: 1421.365
INFO - Atoms: 97046/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 60745325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.17 Prop: 71521.309 PropClause: 69993.337 Set: 12226.494 Check: 0.0 Back: 1423.579
INFO - Atoms: 96658/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 60841725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.177 Prop: 71594.616 PropClause: 70064.212 Set: 12242.052 Check: 0.0 Back: 1425.795
INFO - Atoms: 96400/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 60937739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.185 Prop: 71670.478 PropClause: 70137.729 Set: 12256.938 Check: 0.0 Back: 1428.037
INFO - Atoms: 96014/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 61033493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.192 Prop: 71742.82 PropClause: 70207.742 Set: 12271.746 Check: 0.0 Back: 1430.246
INFO - Atoms: 95754/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 61128859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.198 Prop: 71812.168 PropClause: 70274.757 Set: 12286.234 Check: 0.0 Back: 1432.423
INFO - Atoms: 95366/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 61223969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.205 Prop: 71882.531 PropClause: 70342.788 Set: 12300.684 Check: 0.0 Back: 1434.625
INFO - Atoms: 95110/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 61318691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.212 Prop: 71950.444 PropClause: 70408.403 Set: 12315.106 Check: 0.0 Back: 1436.791
INFO - Atoms: 94722/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 61413155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.218 Prop: 72020.004 PropClause: 70475.653 Set: 12329.668 Check: 0.0 Back: 1438.946
INFO - Atoms: 94464/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 61507231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.225 Prop: 72088.201 PropClause: 70541.546 Set: 12344.046 Check: 0.0 Back: 1441.132
INFO - Atoms: 94076/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 61601049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.232 Prop: 72154.242 PropClause: 70605.295 Set: 12362.407 Check: 0.0 Back: 1443.311
INFO - Atoms: 93818/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 61694479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.239 Prop: 72221.875 PropClause: 70670.634 Set: 12376.551 Check: 0.0 Back: 1445.476
INFO - Atoms: 93430/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 61787649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.246 Prop: 72288.746 PropClause: 70735.201 Set: 12390.702 Check: 0.0 Back: 1447.62
INFO - Atoms: 93170/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 61880433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.253 Prop: 72352.404 PropClause: 70796.593 Set: 12404.855 Check: 0.0 Back: 1449.771
INFO - Atoms: 92784/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 61972959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.258 Prop: 72419.961 PropClause: 70861.884 Set: 12418.897 Check: 0.0 Back: 1451.9
INFO - Atoms: 92526/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 62065095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.264 Prop: 72487.52 PropClause: 70927.193 Set: 12432.933 Check: 0.0 Back: 1454.051
INFO - Atoms: 92136/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 62156973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.271 Prop: 72550.897 PropClause: 70988.318 Set: 12446.934 Check: 0.0 Back: 1456.186
INFO - Atoms: 91878/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 62248463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.279 Prop: 72610.877 PropClause: 71046.086 Set: 12460.638 Check: 0.0 Back: 1458.294
INFO - Atoms: 91490/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 62339695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.285 Prop: 72669.334 PropClause: 71102.337 Set: 12474.116 Check: 0.0 Back: 1460.371
INFO - Atoms: 91232/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 62430541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 72727.191 PropClause: 71157.974 Set: 12487.729 Check: 0.0 Back: 1462.458
INFO - Atoms: 90846/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 62521129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.299 Prop: 72784.308 PropClause: 71212.882 Set: 12501.194 Check: 0.0 Back: 1464.536
INFO - Atoms: 90588/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 62611329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.306 Prop: 72840.424 PropClause: 71266.79 Set: 12514.681 Check: 0.0 Back: 1466.61
INFO - Atoms: 90200/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 62701271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.323 Prop: 72897.703 PropClause: 71321.894 Set: 12527.968 Check: 0.0 Back: 1468.689
INFO - Atoms: 89942/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 62790825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.33 Prop: 72953.495 PropClause: 71375.504 Set: 12541.376 Check: 0.0 Back: 1470.736
INFO - Atoms: 89554/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 62880121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.337 Prop: 73005.106 PropClause: 71424.958 Set: 12554.517 Check: 0.0 Back: 1472.818
INFO - Atoms: 89296/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 62969029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.345 Prop: 73065.525 PropClause: 71483.104 Set: 12568.612 Check: 0.0 Back: 1474.839
INFO - Atoms: 88908/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 63057679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.352 Prop: 73121.781 PropClause: 71537.193 Set: 12581.818 Check: 0.0 Back: 1476.884
INFO - Atoms: 88650/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 63145939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.359 Prop: 73175.416 PropClause: 71588.656 Set: 12595.047 Check: 0.0 Back: 1478.921
INFO - Atoms: 88260/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 63233941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.365 Prop: 73232.467 PropClause: 71643.541 Set: 12608.087 Check: 0.0 Back: 1480.947
INFO - Atoms: 88002/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 63321557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.371 Prop: 73285.367 PropClause: 71694.293 Set: 12621.044 Check: 0.0 Back: 1482.949
INFO - Atoms: 87616/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 63408850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.377 Prop: 73338.673 PropClause: 71745.467 Set: 12634.101 Check: 0.0 Back: 1484.941
INFO - Atoms: 87293/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 63494867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.385 Prop: 73393.406 PropClause: 71798.093 Set: 12646.879 Check: 0.0 Back: 1486.943
INFO - Atoms: 86017/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 63580626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.392 Prop: 73444.098 PropClause: 71846.7 Set: 12659.416 Check: 0.0 Back: 1488.94
INFO - Atoms: 85759/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 63665999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.398 Prop: 73498.334 PropClause: 71898.848 Set: 12672.175 Check: 0.0 Back: 1490.908
INFO - Atoms: 85373/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 63751114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.406 Prop: 73549.314 PropClause: 71947.738 Set: 12684.765 Check: 0.0 Back: 1492.872
INFO - Atoms: 85115/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 63835841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.412 Prop: 73599.358 PropClause: 71995.725 Set: 12697.178 Check: 0.0 Back: 1494.841
INFO - Atoms: 84727/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 63920310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.42 Prop: 73651.0 PropClause: 72045.316 Set: 12709.614 Check: 0.0 Back: 1496.777
INFO - Atoms: 84469/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 64004391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 73703.032 PropClause: 72095.226 Set: 12722.475 Check: 0.0 Back: 1498.733
INFO - Atoms: 84081/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 64088214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.435 Prop: 73756.05 PropClause: 72146.122 Set: 12735.436 Check: 0.0 Back: 1500.718
INFO - Atoms: 83823/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 64171649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.442 Prop: 73806.91 PropClause: 72194.934 Set: 12747.72 Check: 0.0 Back: 1502.733
INFO - Atoms: 83435/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 64254826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.448 Prop: 73856.603 PropClause: 72242.611 Set: 12759.9 Check: 0.0 Back: 1504.631
INFO - Atoms: 83177/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 64337615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.455 Prop: 73905.33 PropClause: 72289.289 Set: 12772.011 Check: 0.0 Back: 1506.554
INFO - Atoms: 82789/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 64420146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.463 Prop: 73953.185 PropClause: 72335.135 Set: 12784.074 Check: 0.0 Back: 1508.467
INFO - Atoms: 82531/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 64502289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.47 Prop: 74000.528 PropClause: 72380.476 Set: 12796.009 Check: 0.0 Back: 1510.354
INFO - Atoms: 82143/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 64584174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.478 Prop: 74051.65 PropClause: 72429.239 Set: 12810.504 Check: 0.0 Back: 1512.233
INFO - Atoms: 81885/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 64665671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.485 Prop: 74099.937 PropClause: 72475.53 Set: 12822.535 Check: 0.0 Back: 1514.286
INFO - Atoms: 81497/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 64746910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.492 Prop: 74143.798 PropClause: 72517.428 Set: 12834.139 Check: 0.0 Back: 1516.172
INFO - Atoms: 81239/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 64827761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.498 Prop: 74184.702 PropClause: 72556.369 Set: 12845.665 Check: 0.0 Back: 1518.013
INFO - Atoms: 80851/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 64908354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.514 Prop: 74229.358 PropClause: 72599.042 Set: 12857.389 Check: 0.0 Back: 1519.866
INFO - Atoms: 80593/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 64988559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.521 Prop: 74272.886 PropClause: 72640.613 Set: 12868.99 Check: 0.0 Back: 1521.72
INFO - Atoms: 80205/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 65068506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.528 Prop: 74312.676 PropClause: 72678.468 Set: 12880.344 Check: 0.0 Back: 1523.555
INFO - Atoms: 79947/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 65148065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.534 Prop: 74355.058 PropClause: 72718.913 Set: 12891.797 Check: 0.0 Back: 1525.359
INFO - Atoms: 79559/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 65227366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.541 Prop: 74395.769 PropClause: 72757.685 Set: 12903.169 Check: 0.0 Back: 1527.199
INFO - Atoms: 79301/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 65306279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.547 Prop: 74434.505 PropClause: 72794.489 Set: 12914.429 Check: 0.0 Back: 1529.02
INFO - Atoms: 78913/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 65384934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.552 Prop: 74475.953 PropClause: 72834.021 Set: 12925.672 Check: 0.0 Back: 1530.834
INFO - Atoms: 78655/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 65463201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.557 Prop: 74515.605 PropClause: 72871.76 Set: 12936.791 Check: 0.0 Back: 1532.637
INFO - Atoms: 78267/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 65541210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.563 Prop: 74554.826 PropClause: 72909.062 Set: 12948.121 Check: 0.0 Back: 1534.424
INFO - Atoms: 78009/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 65618831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.57 Prop: 74593.706 PropClause: 72946.046 Set: 12959.18 Check: 0.0 Back: 1536.222
INFO - Atoms: 77621/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 65696194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.576 Prop: 74633.55 PropClause: 72984.022 Set: 12970.213 Check: 0.0 Back: 1538.0
INFO - Atoms: 77363/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 65773169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.582 Prop: 74671.175 PropClause: 73019.778 Set: 12981.154 Check: 0.0 Back: 1539.758
INFO - Atoms: 76975/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 65849886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.588 Prop: 74710.214 PropClause: 73056.948 Set: 12992.092 Check: 0.0 Back: 1541.516
INFO - Atoms: 76717/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 65926215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.593 Prop: 74748.634 PropClause: 73093.496 Set: 13003.039 Check: 0.0 Back: 1543.302
INFO - Atoms: 76329/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 66002286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 74784.932 PropClause: 73127.932 Set: 13013.828 Check: 0.0 Back: 1545.07
INFO - Atoms: 76071/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 66077969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.606 Prop: 74823.283 PropClause: 73164.437 Set: 13024.618 Check: 0.0 Back: 1546.828
INFO - Atoms: 75683/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 66153394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.612 Prop: 74860.692 PropClause: 73199.985 Set: 13035.41 Check: 0.0 Back: 1548.579
INFO - Atoms: 75425/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 66228431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.619 Prop: 74895.307 PropClause: 73232.764 Set: 13046.006 Check: 0.0 Back: 1550.338
INFO - Atoms: 75037/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 66303210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.626 Prop: 74929.921 PropClause: 73265.549 Set: 13056.575 Check: 0.0 Back: 1552.073
INFO - Atoms: 74779/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 66377601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.634 Prop: 74966.067 PropClause: 73299.871 Set: 13067.112 Check: 0.0 Back: 1553.809
INFO - Atoms: 74391/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 66451734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.64 Prop: 75001.242 PropClause: 73333.242 Set: 13077.528 Check: 0.0 Back: 1555.514
INFO - Atoms: 74133/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 66525479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.646 Prop: 75035.939 PropClause: 73366.128 Set: 13087.989 Check: 0.0 Back: 1557.209
INFO - Atoms: 73745/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 66598966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.653 Prop: 75072.191 PropClause: 73400.578 Set: 13098.423 Check: 0.0 Back: 1558.917
INFO - Atoms: 73487/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 948 Props: 77151990 Tprops: 0 Decides: 39388 RSplits: 0
INFO - Times: Expl: 4982.398 Prop: 85586.292 PropClause: 83623.7 Set: 13364.964 Check: 0.955 Back: 1815.27
INFO - Atoms: 72360/220030 Clauses: 1860 Axioms: 731330
INFO - Restart
INFO - Confl: 1448 Props: 81894268 Tprops: 0 Decides: 52286 RSplits: 0
INFO - Times: Expl: 7197.118 Prop: 90363.588 PropClause: 88271.089 Set: 13481.308 Check: 1.356 Back: 1945.54
INFO - Atoms: 72447/220030 Clauses: 2360 Axioms: 731330
INFO - Confl: 1476 Props: 82107677 Tprops: 0 Decides: 52762 RSplits: 0
INFO - Times: Expl: 7296.084 Prop: 90571.167 PropClause: 88472.832 Set: 13486.391 Check: 1.368 Back: 1950.66
INFO - Atoms: 72555/220030 Clauses: 2388 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1976 Props: 90581432 Tprops: 0 Decides: 83612 RSplits: 0
INFO - Times: Expl: 11483.552 Prop: 99419.994 PropClause: 97083.37 Set: 13703.274 Check: 2.115 Back: 2155.093
INFO - Atoms: 72364/220030 Clauses: 1860 Axioms: 731330
INFO - Confl: 2333 Props: 94041182 Tprops: 0 Decides: 92330 RSplits: 0
INFO - Times: Expl: 13061.161 Prop: 102818.918 PropClause: 100388.488 Set: 13787.879 Check: 2.337 Back: 2235.696
INFO - Atoms: 72809/220030 Clauses: 2217 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2833 Props: 109013113 Tprops: 0 Decides: 148913 RSplits: 0
INFO - Times: Expl: 19498.657 Prop: 118547.552 PropClause: 115699.182 Set: 14165.286 Check: 3.685 Back: 2588.238
INFO - Atoms: 72364/220030 Clauses: 1860 Axioms: 731330
INFO - Confl: 3263 Props: 112823913 Tprops: 0 Decides: 158393 RSplits: 0
INFO - Times: Expl: 21179.077 Prop: 122341.128 PropClause: 119390.068 Set: 14257.977 Check: 3.928 Back: 2676.825
INFO - Atoms: 73563/220030 Clauses: 2290 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3763 Props: 122964971 Tprops: 0 Decides: 194317 RSplits: 0
INFO - Times: Expl: 25603.752 Prop: 132767.415 PropClause: 129538.918 Set: 14513.866 Check: 4.811 Back: 2914.088
INFO - Atoms: 72369/220030 Clauses: 1860 Axioms: 731330
INFO - Confl: 4171 Props: 126551227 Tprops: 0 Decides: 203337 RSplits: 0
INFO - Times: Expl: 27299.257 Prop: 136317.746 PropClause: 132991.344 Set: 14602.118 Check: 5.045 Back: 2998.611
INFO - Atoms: 73497/220030 Clauses: 2268 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4671 Props: 136463783 Tprops: 0 Decides: 238105 RSplits: 0
INFO - Times: Expl: 32084.399 Prop: 147059.878 PropClause: 143450.841 Set: 14860.246 Check: 5.958 Back: 3237.174
INFO - Atoms: 72376/220030 Clauses: 1860 Axioms: 731330
INFO - Confl: 5100 Props: 140206753 Tprops: 0 Decides: 247339 RSplits: 0
INFO - Times: Expl: 34022.358 Prop: 151082.236 PropClause: 147366.275 Set: 14955.274 Check: 6.227 Back: 3328.85
INFO - Atoms: 73440/220030 Clauses: 2289 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5600 Props: 150264158 Tprops: 0 Decides: 281921 RSplits: 0
INFO - Times: Expl: 39152.727 Prop: 162399.112 PropClause: 158391.249 Set: 15218.581 Check: 7.155 Back: 3573.363
INFO - Atoms: 72357/220030 Clauses: 1860 Axioms: 731330
INFO - Confl: 6034 Props: 154215685 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.244 Prop: 166643.363 PropClause: 162522.431 Set: 15318.175 Check: 7.449 Back: 3668.536
INFO - Atoms: 72941/220030 Clauses: 2294 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6035 Props: 154314189 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.32 Prop: 166799.328 PropClause: 162675.382 Set: 15365.881 Check: 7.449 Back: 3670.261
INFO - Atoms: 98504/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6036 Props: 154412758 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.371 Prop: 166875.255 PropClause: 162748.88 Set: 15382.702 Check: 7.449 Back: 3672.531
INFO - Atoms: 98569/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6037 Props: 154511907 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.476 Prop: 166964.14 PropClause: 162835.197 Set: 15401.409 Check: 7.449 Back: 3674.807
INFO - Atoms: 99149/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6038 Props: 154611126 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.595 Prop: 167053.535 PropClause: 162921.964 Set: 15420.59 Check: 7.449 Back: 3677.328
INFO - Atoms: 99219/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6039 Props: 154710980 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.633 Prop: 167143.411 PropClause: 163009.211 Set: 15439.444 Check: 7.449 Back: 3679.854
INFO - Atoms: 99854/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6040 Props: 154803579 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.639 Prop: 167226.453 PropClause: 163089.853 Set: 15456.402 Check: 7.449 Back: 3682.429
INFO - Atoms: 92599/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6041 Props: 154952922 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.645 Prop: 167355.517 PropClause: 163215.209 Set: 15484.361 Check: 7.449 Back: 3684.612
INFO - Atoms: 149343/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6042 Props: 155102529 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.649 Prop: 167512.976 PropClause: 163369.017 Set: 15511.541 Check: 7.449 Back: 3688.177
INFO - Atoms: 149607/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6043 Props: 155252465 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.654 Prop: 167677.279 PropClause: 163529.439 Set: 15539.734 Check: 7.449 Back: 3691.594
INFO - Atoms: 149936/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6044 Props: 155402722 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.658 Prop: 167834.227 PropClause: 163682.698 Set: 15566.285 Check: 7.449 Back: 3695.074
INFO - Atoms: 150257/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6045 Props: 155553298 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.663 Prop: 167998.876 PropClause: 163843.662 Set: 15593.152 Check: 7.449 Back: 3698.536
INFO - Atoms: 150576/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6046 Props: 155703936 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.668 Prop: 168157.718 PropClause: 163998.773 Set: 15620.513 Check: 7.449 Back: 3702.007
INFO - Atoms: 150638/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6047 Props: 155854847 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.674 Prop: 168344.887 PropClause: 164181.877 Set: 15654.924 Check: 7.449 Back: 3705.442
INFO - Atoms: 150911/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6048 Props: 156006069 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.679 Prop: 168518.64 PropClause: 164351.825 Set: 15683.752 Check: 7.449 Back: 3709.039
INFO - Atoms: 151222/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6049 Props: 156156329 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.684 Prop: 168697.737 PropClause: 164527.097 Set: 15713.162 Check: 7.449 Back: 3712.608
INFO - Atoms: 150260/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6050 Props: 156306908 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.83 Prop: 168872.591 PropClause: 164698.127 Set: 15741.848 Check: 7.449 Back: 3716.241
INFO - Atoms: 150579/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6051 Props: 156459422 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.876 Prop: 169060.752 PropClause: 164882.005 Set: 15772.94 Check: 7.449 Back: 3720.118
INFO - Atoms: 152514/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6052 Props: 156624684 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.888 Prop: 169252.659 PropClause: 165069.539 Set: 15804.263 Check: 7.449 Back: 3723.813
INFO - Atoms: 165262/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6053 Props: 156790272 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.899 Prop: 169452.279 PropClause: 165264.801 Set: 15913.263 Check: 7.449 Back: 3727.65
INFO - Atoms: 165588/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6054 Props: 156956496 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.909 Prop: 169657.508 PropClause: 165465.309 Set: 15946.59 Check: 7.449 Back: 3731.469
INFO - Atoms: 166224/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6055 Props: 157121999 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.921 Prop: 169867.204 PropClause: 165670.36 Set: 15981.5 Check: 7.449 Back: 3735.451
INFO - Atoms: 165503/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6056 Props: 157287620 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.931 Prop: 170062.601 PropClause: 165861.581 Set: 16012.608 Check: 7.449 Back: 3739.568
INFO - Atoms: 165621/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6057 Props: 157453506 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.942 Prop: 170253.906 PropClause: 166048.624 Set: 16045.198 Check: 7.449 Back: 3743.432
INFO - Atoms: 165886/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6058 Props: 157619775 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.953 Prop: 170442.843 PropClause: 166233.482 Set: 16076.267 Check: 7.449 Back: 3747.433
INFO - Atoms: 166269/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6059 Props: 157786366 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.963 Prop: 170635.895 PropClause: 166422.388 Set: 16106.803 Check: 7.449 Back: 3751.348
INFO - Atoms: 166591/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6060 Props: 157953241 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.977 Prop: 170839.412 PropClause: 166621.714 Set: 16139.414 Check: 7.449 Back: 3755.171
INFO - Atoms: 166875/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6061 Props: 158120421 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.987 Prop: 171029.186 PropClause: 166807.44 Set: 16289.204 Check: 7.449 Back: 3759.241
INFO - Atoms: 167180/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6062 Props: 158287923 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41147.998 Prop: 171232.757 PropClause: 167006.452 Set: 16322.441 Check: 7.449 Back: 3763.053
INFO - Atoms: 167502/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6063 Props: 158455755 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.01 Prop: 171434.503 PropClause: 167204.025 Set: 16354.288 Check: 7.449 Back: 3766.968
INFO - Atoms: 167832/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6064 Props: 158623914 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.021 Prop: 171634.523 PropClause: 167399.83 Set: 16385.832 Check: 7.449 Back: 3770.879
INFO - Atoms: 168159/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6065 Props: 158792446 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.033 Prop: 171843.508 PropClause: 167604.502 Set: 16420.096 Check: 7.449 Back: 3774.764
INFO - Atoms: 168532/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6066 Props: 158961299 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.117 Prop: 172049.254 PropClause: 167806.106 Set: 16451.711 Check: 7.449 Back: 3778.865
INFO - Atoms: 168853/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6067 Props: 159130415 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.152 Prop: 172247.065 PropClause: 167999.711 Set: 16483.301 Check: 7.449 Back: 3783.114
INFO - Atoms: 169116/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6068 Props: 159299882 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.158 Prop: 172455.665 PropClause: 168204.104 Set: 16515.406 Check: 7.449 Back: 3787.035
INFO - Atoms: 169467/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 18745 Tprops: 2228 Decides: 178067 RSplits: 0
INFO - Times: Expl: 732.731 Prop: 375058.13 PropClause: 22.464 Set: 33652.748 Check: 1885.765 Back: 319.422
INFO - Atoms: 19/1923 Clauses: 500 Axioms: 1923
INFO - CCTimes: iE 1939134 eq 80315341 cc 465515832 setRep 236950548
INFO - Merges: 1266449, cc:3457472
INFO - BVTimes: BB 1555980245 BB_DPLL 352134674907 Graph 1012944929
INFO - BitBlastingClauses: 1395010 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 6069 Props: 159469645 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.163 Prop: 172662.36 PropClause: 168406.64 Set: 16546.581 Check: 7.449 Back: 3791.165
INFO - Atoms: 169763/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6070 Props: 159639788 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.169 Prop: 172859.826 PropClause: 168599.933 Set: 16577.874 Check: 7.449 Back: 3795.082
INFO - Atoms: 170143/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6071 Props: 159810214 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.174 Prop: 173068.56 PropClause: 168804.41 Set: 16611.421 Check: 7.449 Back: 3799.185
INFO - Atoms: 170426/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6072 Props: 159981203 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.178 Prop: 173265.052 PropClause: 168996.747 Set: 16643.597 Check: 7.449 Back: 3803.095
INFO - Atoms: 170989/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6073 Props: 160152316 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.184 Prop: 173468.252 PropClause: 169195.7 Set: 16675.586 Check: 7.449 Back: 3807.314
INFO - Atoms: 171113/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6074 Props: 160323695 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.189 Prop: 173663.803 PropClause: 169387.077 Set: 16706.748 Check: 7.449 Back: 3811.331
INFO - Atoms: 171379/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6075 Props: 160495456 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.193 Prop: 173855.809 PropClause: 169574.886 Set: 16738.665 Check: 7.449 Back: 3815.292
INFO - Atoms: 171761/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6076 Props: 160667802 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.198 Prop: 174051.768 PropClause: 169766.576 Set: 16863.332 Check: 7.449 Back: 3819.267
INFO - Atoms: 172346/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6077 Props: 160840472 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.204 Prop: 174270.353 PropClause: 169980.89 Set: 16897.047 Check: 7.449 Back: 3823.435
INFO - Atoms: 172670/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6078 Props: 161013723 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.212 Prop: 174476.68 PropClause: 170182.921 Set: 16929.813 Check: 7.449 Back: 3827.639
INFO - Atoms: 173251/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6079 Props: 161187038 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.217 Prop: 174678.035 PropClause: 170379.972 Set: 16962.774 Check: 7.449 Back: 3831.793
INFO - Atoms: 173315/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6080 Props: 161360993 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.222 Prop: 174889.3 PropClause: 170586.869 Set: 16996.802 Check: 7.449 Back: 3835.878
INFO - Atoms: 173955/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6081 Props: 161535014 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.226 Prop: 175094.496 PropClause: 170787.799 Set: 17028.954 Check: 7.449 Back: 3840.43
INFO - Atoms: 174021/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6082 Props: 161709308 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.232 Prop: 175302.898 PropClause: 170991.804 Set: 17063.36 Check: 7.449 Back: 3844.431
INFO - Atoms: 174294/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6083 Props: 161884244 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.237 Prop: 175522.85 PropClause: 171207.405 Set: 17194.871 Check: 7.449 Back: 3848.509
INFO - Atoms: 174936/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6084 Props: 162059498 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.242 Prop: 175724.177 PropClause: 171404.458 Set: 17227.238 Check: 7.449 Back: 3852.519
INFO - Atoms: 175254/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6085 Props: 162235086 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.247 Prop: 175959.945 PropClause: 171635.014 Set: 17267.362 Check: 7.449 Back: 3856.557
INFO - Atoms: 175588/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6086 Props: 162410995 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.252 Prop: 176156.228 PropClause: 171827.029 Set: 17299.222 Check: 7.449 Back: 3861.341
INFO - Atoms: 175909/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6087 Props: 162587219 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.257 Prop: 176349.498 PropClause: 172016.009 Set: 17331.038 Check: 7.449 Back: 3865.364
INFO - Atoms: 176224/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6088 Props: 162763825 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.261 Prop: 176542.224 PropClause: 172204.47 Set: 17363.506 Check: 7.449 Back: 3869.893
INFO - Atoms: 176606/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6089 Props: 162940695 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.267 Prop: 176744.533 PropClause: 172402.382 Set: 17396.84 Check: 7.449 Back: 3873.924
INFO - Atoms: 176870/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6090 Props: 163117888 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.272 Prop: 176944.754 PropClause: 172598.262 Set: 17429.441 Check: 7.449 Back: 3878.063
INFO - Atoms: 177193/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6091 Props: 163295410 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.276 Prop: 177153.381 PropClause: 172802.523 Set: 17462.48 Check: 7.449 Back: 3882.158
INFO - Atoms: 177522/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6092 Props: 163473564 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.282 Prop: 177374.712 PropClause: 173019.452 Set: 17585.433 Check: 7.449 Back: 3886.269
INFO - Atoms: 178154/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6093 Props: 163651783 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.286 Prop: 177602.514 PropClause: 173242.173 Set: 17623.593 Check: 7.449 Back: 3890.988
INFO - Atoms: 178219/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6094 Props: 163830323 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.291 Prop: 177816.612 PropClause: 173451.864 Set: 17656.796 Check: 7.449 Back: 3895.112
INFO - Atoms: 178540/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6095 Props: 164009191 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.296 Prop: 178027.839 PropClause: 173658.723 Set: 17689.823 Check: 7.449 Back: 3899.358
INFO - Atoms: 178868/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6096 Props: 164188322 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.301 Prop: 178265.778 PropClause: 173891.266 Set: 17731.162 Check: 7.449 Back: 3903.58
INFO - Atoms: 179131/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6097 Props: 164367784 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.306 Prop: 178482.353 PropClause: 174103.424 Set: 17764.482 Check: 7.449 Back: 3908.605
INFO - Atoms: 179462/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6098 Props: 164547618 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.31 Prop: 178706.182 PropClause: 174322.81 Set: 17799.438 Check: 7.449 Back: 3912.753
INFO - Atoms: 179834/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6099 Props: 164727716 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.315 Prop: 178929.752 PropClause: 174541.979 Set: 17833.917 Check: 7.449 Back: 3916.89
INFO - Atoms: 180098/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6100 Props: 164908141 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.32 Prop: 179151.515 PropClause: 174759.151 Set: 17869.076 Check: 7.449 Back: 3921.027
INFO - Atoms: 180425/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6101 Props: 165088886 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.325 Prop: 179373.306 PropClause: 174976.499 Set: 17903.517 Check: 7.449 Back: 3925.452
INFO - Atoms: 180745/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6102 Props: 165269953 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.33 Prop: 179590.072 PropClause: 175188.727 Set: 17937.221 Check: 7.449 Back: 3929.677
INFO - Atoms: 181067/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6103 Props: 165451347 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.334 Prop: 179796.258 PropClause: 175390.486 Set: 17970.753 Check: 7.449 Back: 3933.884
INFO - Atoms: 181394/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6104 Props: 165633061 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.339 Prop: 180011.11 PropClause: 175600.913 Set: 18004.415 Check: 7.449 Back: 3938.071
INFO - Atoms: 181714/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6105 Props: 165815097 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.344 Prop: 180218.104 PropClause: 175803.446 Set: 18037.941 Check: 7.449 Back: 3942.333
INFO - Atoms: 182036/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6106 Props: 165997456 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.349 Prop: 180428.861 PropClause: 176009.747 Set: 18071.888 Check: 7.449 Back: 3946.515
INFO - Atoms: 182359/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6107 Props: 166180140 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.354 Prop: 180640.329 PropClause: 176216.747 Set: 18105.45 Check: 7.449 Back: 3950.749
INFO - Atoms: 182684/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6108 Props: 166363145 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.359 Prop: 180863.762 PropClause: 176435.678 Set: 18139.914 Check: 7.449 Back: 3954.934
INFO - Atoms: 183005/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6109 Props: 166546533 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.363 Prop: 181081.922 PropClause: 176649.378 Set: 18173.717 Check: 7.449 Back: 3959.17
INFO - Atoms: 183388/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6110 Props: 166730188 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.367 Prop: 181302.704 PropClause: 176865.656 Set: 18208.754 Check: 7.449 Back: 3963.36
INFO - Atoms: 183655/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6111 Props: 166914164 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.372 Prop: 181533.635 PropClause: 177091.99 Set: 18244.757 Check: 7.449 Back: 3967.615
INFO - Atoms: 183976/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6112 Props: 167098522 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.377 Prop: 181758.168 PropClause: 177312.028 Set: 18280.052 Check: 7.449 Back: 3971.848
INFO - Atoms: 184358/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6113 Props: 167283144 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.381 Prop: 181977.278 PropClause: 177526.591 Set: 18313.937 Check: 7.449 Back: 3976.06
INFO - Atoms: 184622/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6114 Props: 167468091 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.385 Prop: 182202.603 PropClause: 177747.333 Set: 18421.854 Check: 7.449 Back: 3980.337
INFO - Atoms: 184947/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6115 Props: 167653358 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.39 Prop: 182432.771 PropClause: 177973.015 Set: 18457.329 Check: 7.449 Back: 3984.596
INFO - Atoms: 185267/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6116 Props: 167838948 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.395 Prop: 182654.971 PropClause: 178190.691 Set: 18492.605 Check: 7.449 Back: 3988.884
INFO - Atoms: 185590/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6117 Props: 168024872 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.4 Prop: 182868.066 PropClause: 178399.235 Set: 18527.131 Check: 7.449 Back: 3993.179
INFO - Atoms: 185924/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6118 Props: 168211108 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.404 Prop: 183075.746 PropClause: 178602.375 Set: 18561.606 Check: 7.449 Back: 3997.511
INFO - Atoms: 186236/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6119 Props: 168397668 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.409 Prop: 183287.757 PropClause: 178809.74 Set: 18596.859 Check: 7.449 Back: 4001.817
INFO - Atoms: 186560/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6120 Props: 168584559 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.413 Prop: 183502.85 PropClause: 179020.247 Set: 18631.317 Check: 7.449 Back: 4006.14
INFO - Atoms: 186891/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6121 Props: 168771823 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.418 Prop: 183724.37 PropClause: 179237.049 Set: 18666.393 Check: 7.449 Back: 4010.473
INFO - Atoms: 187264/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6122 Props: 168959350 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.423 Prop: 183943.366 PropClause: 179451.465 Set: 18701.649 Check: 7.449 Back: 4014.78
INFO - Atoms: 187527/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6123 Props: 169147259 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.428 Prop: 184163.175 PropClause: 179666.668 Set: 18784.706 Check: 7.449 Back: 4019.109
INFO - Atoms: 187909/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6124 Props: 169335432 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.433 Prop: 184389.589 PropClause: 179888.41 Set: 18819.589 Check: 7.449 Back: 4023.439
INFO - Atoms: 188173/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6125 Props: 169523936 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.438 Prop: 184615.601 PropClause: 180109.776 Set: 18855.66 Check: 7.449 Back: 4027.799
INFO - Atoms: 188504/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6126 Props: 169712757 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.442 Prop: 184839.415 PropClause: 180328.956 Set: 18890.755 Check: 7.449 Back: 4032.441
INFO - Atoms: 188821/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6127 Props: 169901909 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.447 Prop: 185081.865 PropClause: 180566.675 Set: 18926.175 Check: 7.449 Back: 4036.797
INFO - Atoms: 189152/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6128 Props: 170091378 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.452 Prop: 185310.753 PropClause: 180790.91 Set: 18961.625 Check: 7.449 Back: 4041.24
INFO - Atoms: 189469/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6129 Props: 170281166 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.458 Prop: 185545.029 PropClause: 181020.419 Set: 18998.87 Check: 7.449 Back: 4045.622
INFO - Atoms: 189788/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6130 Props: 170471278 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.463 Prop: 185774.17 PropClause: 181244.845 Set: 19035.016 Check: 7.449 Back: 4050.202
INFO - Atoms: 190112/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6131 Props: 170661712 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.468 Prop: 186003.139 PropClause: 181469.13 Set: 19071.037 Check: 7.449 Back: 4054.614
INFO - Atoms: 190434/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6132 Props: 170852471 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.472 Prop: 186221.098 PropClause: 181682.399 Set: 19106.461 Check: 7.449 Back: 4059.054
INFO - Atoms: 190759/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6133 Props: 171043567 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.477 Prop: 186436.69 PropClause: 181893.281 Set: 19141.714 Check: 7.449 Back: 4063.485
INFO - Atoms: 191096/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6134 Props: 171234970 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.481 Prop: 186651.828 PropClause: 182103.763 Set: 19177.705 Check: 7.449 Back: 4067.953
INFO - Atoms: 191403/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6135 Props: 171426696 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.487 Prop: 186873.769 PropClause: 182321.03 Set: 19212.616 Check: 7.449 Back: 4072.34
INFO - Atoms: 191726/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6136 Props: 171618747 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.492 Prop: 187085.861 PropClause: 182528.445 Set: 19247.676 Check: 7.449 Back: 4076.743
INFO - Atoms: 192051/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6137 Props: 171811119 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.496 Prop: 187307.887 PropClause: 182745.782 Set: 19282.912 Check: 7.449 Back: 4081.133
INFO - Atoms: 192372/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6138 Props: 172003820 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.501 Prop: 187542.426 PropClause: 182975.603 Set: 19319.92 Check: 7.449 Back: 4085.543
INFO - Atoms: 192701/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6139 Props: 172196840 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.506 Prop: 187772.11 PropClause: 183200.578 Set: 19355.603 Check: 7.449 Back: 4090.026
INFO - Atoms: 193020/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6140 Props: 172390182 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.511 Prop: 188013.904 PropClause: 183437.551 Set: 19393.542 Check: 7.449 Back: 4094.458
INFO - Atoms: 193342/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6141 Props: 172583846 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.515 Prop: 188249.591 PropClause: 183668.45 Set: 19429.775 Check: 7.449 Back: 4099.05
INFO - Atoms: 193664/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6142 Props: 172777839 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.52 Prop: 188487.169 PropClause: 183901.145 Set: 19467.39 Check: 7.449 Back: 4103.573
INFO - Atoms: 193993/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6143 Props: 172972159 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.525 Prop: 188745.023 PropClause: 184154.029 Set: 19506.408 Check: 7.449 Back: 4108.058
INFO - Atoms: 194320/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6144 Props: 173166806 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.531 Prop: 189011.304 PropClause: 184414.878 Set: 19548.629 Check: 7.449 Back: 4112.571
INFO - Atoms: 194647/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6145 Props: 173361762 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.535 Prop: 189252.929 PropClause: 184651.239 Set: 19651.982 Check: 7.449 Back: 4117.7
INFO - Atoms: 194956/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6146 Props: 173557041 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.541 Prop: 189488.045 PropClause: 184881.608 Set: 19688.141 Check: 7.449 Back: 4122.176
INFO - Atoms: 195279/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6147 Props: 173752902 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.546 Prop: 189719.349 PropClause: 185108.117 Set: 19724.902 Check: 7.449 Back: 4126.672
INFO - Atoms: 195861/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6148 Props: 173948835 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.551 Prop: 189948.428 PropClause: 185332.454 Set: 19761.111 Check: 7.449 Back: 4131.25
INFO - Atoms: 195933/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6149 Props: 174145085 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.556 Prop: 190186.314 PropClause: 185565.519 Set: 19797.465 Check: 7.449 Back: 4135.758
INFO - Atoms: 196250/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6150 Props: 174341656 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.56 Prop: 190415.804 PropClause: 185790.24 Set: 19833.952 Check: 7.449 Back: 4140.247
INFO - Atoms: 196571/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6151 Props: 174538608 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.565 Prop: 190641.372 PropClause: 186010.99 Set: 19870.872 Check: 7.449 Back: 4144.784
INFO - Atoms: 196952/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6152 Props: 174735886 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.571 Prop: 190882.596 PropClause: 186247.382 Set: 19908.221 Check: 7.449 Back: 4149.333
INFO - Atoms: 197278/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6153 Props: 174933428 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.577 Prop: 191118.096 PropClause: 186478.017 Set: 19945.485 Check: 7.449 Back: 4153.896
INFO - Atoms: 197542/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6154 Props: 175131140 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.582 Prop: 191351.059 PropClause: 186706.174 Set: 19982.644 Check: 7.449 Back: 4158.469
INFO - Atoms: 197712/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6155 Props: 175329177 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.588 Prop: 191586.509 PropClause: 186936.764 Set: 20020.248 Check: 7.449 Back: 4163.003
INFO - Atoms: 198037/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6156 Props: 175527394 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.593 Prop: 191821.922 PropClause: 187167.335 Set: 20056.673 Check: 7.449 Back: 4167.621
INFO - Atoms: 198217/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6157 Props: 175725290 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.598 Prop: 192077.806 PropClause: 187418.252 Set: 20095.653 Check: 7.449 Back: 4172.203
INFO - Atoms: 197896/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6158 Props: 175923768 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.603 Prop: 192332.309 PropClause: 187667.905 Set: 20132.845 Check: 7.449 Back: 4176.757
INFO - Atoms: 198478/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6159 Props: 176122626 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.608 Prop: 192569.571 PropClause: 187900.371 Set: 20170.312 Check: 7.449 Back: 4181.359
INFO - Atoms: 198858/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6160 Props: 176321491 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.612 Prop: 192805.017 PropClause: 188130.913 Set: 20206.944 Check: 7.449 Back: 4185.909
INFO - Atoms: 198865/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6161 Props: 176520740 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.616 Prop: 193036.555 PropClause: 188357.586 Set: 20283.224 Check: 7.449 Back: 4190.494
INFO - Atoms: 199249/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6162 Props: 176703078 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.622 Prop: 193268.078 PropClause: 188584.614 Set: 20316.716 Check: 7.449 Back: 4195.034
INFO - Atoms: 182338/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6163 Props: 176885483 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.627 Prop: 193483.891 PropClause: 188796.009 Set: 20350.407 Check: 7.449 Back: 4199.248
INFO - Atoms: 182405/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6164 Props: 177068222 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.632 Prop: 193703.621 PropClause: 189011.294 Set: 20384.053 Check: 7.449 Back: 4203.409
INFO - Atoms: 182739/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6165 Props: 177251756 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.637 Prop: 193924.893 PropClause: 189228.044 Set: 20417.853 Check: 7.449 Back: 4207.636
INFO - Atoms: 183534/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6166 Props: 177435291 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.641 Prop: 194136.389 PropClause: 189435.087 Set: 20451.654 Check: 7.449 Back: 4211.864
INFO - Atoms: 183535/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6167 Props: 177618088 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.645 Prop: 194348.725 PropClause: 189642.983 Set: 20484.691 Check: 7.449 Back: 4216.065
INFO - Atoms: 182797/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6168 Props: 177801151 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.65 Prop: 194551.946 PropClause: 189841.778 Set: 20517.795 Check: 7.449 Back: 4220.261
INFO - Atoms: 183063/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6169 Props: 177982743 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.654 Prop: 194762.452 PropClause: 190047.901 Set: 20550.382 Check: 7.449 Back: 4224.441
INFO - Atoms: 181592/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6170 Props: 178163693 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.659 Prop: 194963.031 PropClause: 190244.088 Set: 20583.657 Check: 7.449 Back: 4228.613
INFO - Atoms: 180950/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6171 Props: 178346412 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.663 Prop: 195168.851 PropClause: 190445.507 Set: 20616.205 Check: 7.449 Back: 4232.803
INFO - Atoms: 182719/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6172 Props: 178529211 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.668 Prop: 195372.105 PropClause: 190644.301 Set: 20648.735 Check: 7.449 Back: 4236.981
INFO - Atoms: 182799/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6173 Props: 178712279 Tprops: 0 Decides: 292186 RSplits: 0
INFO - Times: Expl: 41148.674 Prop: 195579.984 PropClause: 190847.773 Set: 20682.259 Check: 7.449 Back: 4241.17
INFO - Atoms: 183068/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 736 Props: 148298 Tprops: 7405 Decides: 189688 RSplits: 0
INFO - Times: Expl: 932.648 Prop: 433824.116 PropClause: 71.234 Set: 50101.927 Check: 2144.239 Back: 676.403
INFO - Atoms: 71/1923 Clauses: 736 Axioms: 1923
INFO - CCTimes: iE 2341324 eq 99763319 cc 577624800 setRep 305426017
INFO - Merges: 1667758, cc:6065429
INFO - BVTimes: BB 1555980245 BB_DPLL 405185032797 Graph 1065753508
INFO - BitBlastingClauses: 1537810 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat