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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1146776166
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 507103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.602 Prop: 1031.089 PropClause: 1008.962 Set: 4746.966 Check: 0.0 Back: 0.0
INFO - Atoms: 507103/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 1014213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.662 Prop: 1993.164 PropClause: 1956.329 Set: 5078.544 Check: 0.0 Back: 11.941
INFO - Atoms: 507110/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1521323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.72 Prop: 2982.134 PropClause: 2930.663 Set: 5347.845 Check: 0.0 Back: 23.922
INFO - Atoms: 507110/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2028445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.802 Prop: 3930.351 PropClause: 3866.233 Set: 5573.171 Check: 0.0 Back: 35.855
INFO - Atoms: 507122/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 2535548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.849 Prop: 4917.599 PropClause: 4840.818 Set: 5669.401 Check: 0.0 Back: 47.879
INFO - Atoms: 507103/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 3042634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.897 Prop: 5888.369 PropClause: 5798.976 Set: 5765.426 Check: 0.0 Back: 60.006
INFO - Atoms: 507086/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 3549705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.947 Prop: 6851.598 PropClause: 6749.606 Set: 5862.507 Check: 0.0 Back: 72.209
INFO - Atoms: 507071/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 4056763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.993 Prop: 7739.563 PropClause: 7625.02 Set: 5955.3 Check: 0.0 Back: 84.328
INFO - Atoms: 507058/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 4563810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.039 Prop: 8660.533 PropClause: 8533.482 Set: 6049.657 Check: 0.0 Back: 96.298
INFO - Atoms: 507047/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 5070848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.095 Prop: 9620.95 PropClause: 9481.327 Set: 6278.923 Check: 0.0 Back: 108.472
INFO - Atoms: 507038/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 5577886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.144 Prop: 10576.023 PropClause: 10423.824 Set: 6374.226 Check: 0.0 Back: 120.389
INFO - Atoms: 507038/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 6084906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.194 Prop: 11524.786 PropClause: 11360.008 Set: 6469.359 Check: 0.0 Back: 132.371
INFO - Atoms: 507020/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 6591926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.241 Prop: 12469.363 PropClause: 12292.007 Set: 6563.799 Check: 0.0 Back: 144.445
INFO - Atoms: 507020/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 7098930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.348 Prop: 13411.18 PropClause: 13221.166 Set: 6662.906 Check: 0.0 Back: 156.535
INFO - Atoms: 507004/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 7605934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.37 Prop: 14317.884 PropClause: 14115.283 Set: 6879.25 Check: 0.0 Back: 168.862
INFO - Atoms: 507004/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 8112934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.389 Prop: 15249.754 PropClause: 15034.561 Set: 6973.924 Check: 0.0 Back: 180.703
INFO - Atoms: 507000/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 8618978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.411 Prop: 16238.814 PropClause: 16011.032 Set: 7070.694 Check: 0.0 Back: 192.607
INFO - Atoms: 506044/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 9125010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.434 Prop: 17216.594 PropClause: 16976.101 Set: 7169.827 Check: 0.0 Back: 204.68
INFO - Atoms: 506032/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 9629778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.455 Prop: 18105.858 PropClause: 17852.852 Set: 7263.07 Check: 0.0 Back: 216.765
INFO - Atoms: 504768/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 10133751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.478 Prop: 19039.923 PropClause: 18774.436 Set: 7357.813 Check: 0.0 Back: 228.802
INFO - Atoms: 503973/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 10636618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.501 Prop: 20013.001 PropClause: 19735.024 Set: 7453.518 Check: 0.0 Back: 240.688
INFO - Atoms: 502867/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 11139485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.521 Prop: 20990.634 PropClause: 20700.182 Set: 7548.813 Check: 0.0 Back: 252.645
INFO - Atoms: 502867/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 11642347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.541 Prop: 21899.105 PropClause: 21596.199 Set: 7642.186 Check: 0.0 Back: 264.493
INFO - Atoms: 502862/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 12145205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.562 Prop: 22839.527 PropClause: 22524.127 Set: 7736.553 Check: 0.0 Back: 276.349
INFO - Atoms: 502858/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 12647272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.584 Prop: 23798.824 PropClause: 23470.963 Set: 7832.533 Check: 0.0 Back: 288.168
INFO - Atoms: 502067/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 13149010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.605 Prop: 24725.347 PropClause: 24385.076 Set: 7923.288 Check: 0.0 Back: 300.115
INFO - Atoms: 501738/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 13650426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.624 Prop: 25647.259 PropClause: 25294.566 Set: 8016.428 Check: 0.0 Back: 311.829
INFO - Atoms: 501416/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 14151518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.646 Prop: 26608.423 PropClause: 26243.289 Set: 8110.695 Check: 0.0 Back: 323.776
INFO - Atoms: 501092/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 14652288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.669 Prop: 27607.469 PropClause: 27229.867 Set: 8207.054 Check: 0.0 Back: 335.739
INFO - Atoms: 500770/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 15152888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.688 Prop: 28542.627 PropClause: 28152.576 Set: 8300.515 Check: 0.0 Back: 347.822
INFO - Atoms: 500600/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 15652700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.708 Prop: 29495.401 PropClause: 29092.88 Set: 8394.19 Check: 0.0 Back: 359.59
INFO - Atoms: 499812/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 16152035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.729 Prop: 30498.201 PropClause: 30083.244 Set: 8490.009 Check: 0.0 Back: 371.478
INFO - Atoms: 499335/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 16650733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.757 Prop: 31525.686 PropClause: 31098.219 Set: 8586.522 Check: 0.0 Back: 383.363
INFO - Atoms: 498698/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 17149173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.778 Prop: 32439.152 PropClause: 31999.347 Set: 8679.181 Check: 0.0 Back: 395.323
INFO - Atoms: 498440/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 17647225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.798 Prop: 33387.839 PropClause: 32935.611 Set: 8772.279 Check: 0.0 Back: 407.124
INFO - Atoms: 498052/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 18145019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.82 Prop: 34342.688 PropClause: 33878.102 Set: 8866.217 Check: 0.0 Back: 418.913
INFO - Atoms: 497794/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 18642425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.842 Prop: 35294.521 PropClause: 34817.534 Set: 8959.524 Check: 0.0 Back: 430.785
INFO - Atoms: 497406/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 19139565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.865 Prop: 36264.752 PropClause: 35775.36 Set: 9053.466 Check: 0.0 Back: 442.513
INFO - Atoms: 497140/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 19636325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.885 Prop: 37229.748 PropClause: 36727.965 Set: 9149.066 Check: 0.0 Back: 454.476
INFO - Atoms: 496760/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 20132761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.906 Prop: 38157.836 PropClause: 37643.71 Set: 9241.612 Check: 0.0 Back: 466.31
INFO - Atoms: 496436/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 20628248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.939 Prop: 39051.304 PropClause: 38524.849 Set: 9332.915 Check: 0.0 Back: 478.114
INFO - Atoms: 495487/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 21123162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.962 Prop: 39987.974 PropClause: 39449.196 Set: 9425.548 Check: 0.0 Back: 489.763
INFO - Atoms: 494914/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 21617688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.983 Prop: 40938.843 PropClause: 40387.785 Set: 9519.268 Check: 0.0 Back: 501.686
INFO - Atoms: 494526/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 22111565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.004 Prop: 41908.683 PropClause: 41345.325 Set: 9612.702 Check: 0.0 Back: 513.482
INFO - Atoms: 493877/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 22604982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.025 Prop: 42776.197 PropClause: 42200.623 Set: 9701.973 Check: 0.0 Back: 525.237
INFO - Atoms: 493417/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 23098072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.046 Prop: 43679.163 PropClause: 43091.256 Set: 9793.912 Check: 0.0 Back: 536.901
INFO - Atoms: 493090/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 23590840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.068 Prop: 44625.618 PropClause: 44025.454 Set: 9885.56 Check: 0.0 Back: 548.509
INFO - Atoms: 492768/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 24083350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.087 Prop: 45586.916 PropClause: 44974.495 Set: 9978.257 Check: 0.0 Back: 560.209
INFO - Atoms: 492510/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 24575475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.107 Prop: 46479.572 PropClause: 45854.962 Set: 10068.865 Check: 0.0 Back: 571.639
INFO - Atoms: 492125/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 25067337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.128 Prop: 47415.092 PropClause: 46778.379 Set: 10159.671 Check: 0.0 Back: 583.07
INFO - Atoms: 491862/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 25558811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.185 Prop: 48365.536 PropClause: 47716.621 Set: 10252.9 Check: 0.0 Back: 594.562
INFO - Atoms: 491474/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 26050027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.251 Prop: 49295.9 PropClause: 48634.857 Set: 10343.099 Check: 0.0 Back: 606.28
INFO - Atoms: 491216/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 26540855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.272 Prop: 50187.524 PropClause: 49514.42 Set: 10433.493 Check: 0.0 Back: 617.627
INFO - Atoms: 490828/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 27031269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.295 Prop: 51136.022 PropClause: 50450.723 Set: 10525.315 Check: 0.0 Back: 629.166
INFO - Atoms: 490414/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 27521295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.316 Prop: 52081.954 PropClause: 51384.537 Set: 10617.404 Check: 0.0 Back: 640.782
INFO - Atoms: 490026/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 28011058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 52964.977 PropClause: 52255.541 Set: 10706.228 Check: 0.0 Back: 652.312
INFO - Atoms: 489763/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 28500440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.355 Prop: 53868.311 PropClause: 53146.552 Set: 10797.411 Check: 0.0 Back: 663.797
INFO - Atoms: 489382/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 28989564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.374 Prop: 54807.581 PropClause: 54073.784 Set: 10888.528 Check: 0.0 Back: 675.574
INFO - Atoms: 489124/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 29478300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.396 Prop: 55736.063 PropClause: 54990.157 Set: 10979.321 Check: 0.0 Back: 687.131
INFO - Atoms: 488736/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 29966778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.417 Prop: 56572.234 PropClause: 55814.408 Set: 11065.938 Check: 0.0 Back: 698.686
INFO - Atoms: 488478/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 30454868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.439 Prop: 57455.527 PropClause: 56685.624 Set: 11156.048 Check: 0.0 Back: 710.128
INFO - Atoms: 488090/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 30942700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.461 Prop: 58377.879 PropClause: 57595.993 Set: 11246.264 Check: 0.0 Back: 721.612
INFO - Atoms: 487832/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 31430144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.481 Prop: 59303.503 PropClause: 58509.576 Set: 11337.049 Check: 0.0 Back: 733.209
INFO - Atoms: 487444/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 31917264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.501 Prop: 60197.818 PropClause: 59391.89 Set: 11426.061 Check: 0.0 Back: 744.621
INFO - Atoms: 487120/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 32404060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.524 Prop: 61111.855 PropClause: 60293.934 Set: 11515.594 Check: 0.0 Back: 755.967
INFO - Atoms: 486796/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 32890916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.542 Prop: 62060.322 PropClause: 61230.325 Set: 11606.468 Check: 0.0 Back: 767.575
INFO - Atoms: 486856/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 33377386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.559 Prop: 62954.932 PropClause: 62112.91 Set: 11695.875 Check: 0.0 Back: 779.039
INFO - Atoms: 486470/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 33863598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.575 Prop: 63822.18 PropClause: 62968.151 Set: 11784.324 Check: 0.0 Back: 790.414
INFO - Atoms: 486212/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 34349422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.592 Prop: 64731.946 PropClause: 63865.961 Set: 11873.389 Check: 0.0 Back: 801.797
INFO - Atoms: 485824/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 34834988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.651 Prop: 65667.17 PropClause: 64789.175 Set: 11963.747 Check: 0.0 Back: 813.286
INFO - Atoms: 485566/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 35320164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.706 Prop: 66536.1 PropClause: 65646.133 Set: 12052.267 Check: 0.0 Back: 824.788
INFO - Atoms: 485176/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 35805082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.76 Prop: 67431.132 PropClause: 66529.236 Set: 12140.934 Check: 0.0 Back: 836.087
INFO - Atoms: 484918/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 36289614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.78 Prop: 68346.357 PropClause: 67432.465 Set: 12231.055 Check: 0.0 Back: 847.526
INFO - Atoms: 484532/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 36773888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.796 Prop: 69269.347 PropClause: 68343.519 Set: 12320.413 Check: 0.0 Back: 858.892
INFO - Atoms: 484274/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 37257772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.815 Prop: 70161.477 PropClause: 69223.673 Set: 12408.384 Check: 0.0 Back: 870.428
INFO - Atoms: 483884/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 37741022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.832 Prop: 71066.278 PropClause: 70116.579 Set: 12496.947 Check: 0.0 Back: 881.688
INFO - Atoms: 483250/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 38224103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.85 Prop: 71997.114 PropClause: 71035.449 Set: 12586.689 Check: 0.0 Back: 893.105
INFO - Atoms: 483081/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 38706612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.868 Prop: 72914.734 PropClause: 71941.142 Set: 12676.759 Check: 0.0 Back: 904.52
INFO - Atoms: 482509/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 39188735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.886 Prop: 73781.664 PropClause: 72796.129 Set: 12764.655 Check: 0.0 Back: 915.861
INFO - Atoms: 482123/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 39670534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.904 Prop: 74701.088 PropClause: 73703.684 Set: 12853.452 Check: 0.0 Back: 927.136
INFO - Atoms: 481799/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 40152011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.922 Prop: 75633.813 PropClause: 74624.493 Set: 12943.736 Check: 0.0 Back: 938.454
INFO - Atoms: 481477/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 40633230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.938 Prop: 76533.608 PropClause: 75512.343 Set: 13032.06 Check: 0.0 Back: 949.876
INFO - Atoms: 481219/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 41114061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.99 Prop: 77407.85 PropClause: 76374.785 Set: 13119.401 Check: 0.0 Back: 961.06
INFO - Atoms: 480831/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 41594625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.057 Prop: 78317.204 PropClause: 77272.215 Set: 13208.332 Check: 0.0 Back: 972.309
INFO - Atoms: 480564/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 42074810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.071 Prop: 79231.392 PropClause: 78174.553 Set: 13298.583 Check: 0.0 Back: 983.592
INFO - Atoms: 480185/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 42554671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.085 Prop: 80092.96 PropClause: 79024.299 Set: 13385.085 Check: 0.0 Back: 994.997
INFO - Atoms: 479861/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 43034210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.097 Prop: 80968.691 PropClause: 79888.192 Set: 13472.53 Check: 0.0 Back: 1006.3
INFO - Atoms: 479539/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 43513425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.111 Prop: 81910.603 PropClause: 80818.306 Set: 13561.901 Check: 0.0 Back: 1017.555
INFO - Atoms: 479215/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 43992318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.126 Prop: 82820.426 PropClause: 81716.266 Set: 13651.728 Check: 0.0 Back: 1029.004
INFO - Atoms: 478893/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 44470951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.14 Prop: 83673.72 PropClause: 82557.887 Set: 13737.574 Check: 0.0 Back: 1040.254
INFO - Atoms: 478633/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 44949196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.152 Prop: 84548.478 PropClause: 83420.82 Set: 13825.111 Check: 0.0 Back: 1051.525
INFO - Atoms: 478245/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 45427178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.165 Prop: 85460.015 PropClause: 84320.545 Set: 13914.237 Check: 0.0 Back: 1062.622
INFO - Atoms: 477982/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 45904779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.179 Prop: 86389.138 PropClause: 85237.787 Set: 14004.186 Check: 0.0 Back: 1073.922
INFO - Atoms: 477601/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 46382122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.194 Prop: 87226.093 PropClause: 86063.012 Set: 14089.914 Check: 0.0 Back: 1085.288
INFO - Atoms: 477343/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 46859075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.207 Prop: 88068.295 PropClause: 86893.487 Set: 14175.729 Check: 0.0 Back: 1096.34
INFO - Atoms: 476953/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 47335772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.22 Prop: 88923.744 PropClause: 87737.113 Set: 14263.171 Check: 0.0 Back: 1107.503
INFO - Atoms: 476697/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 47812081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.234 Prop: 89834.922 PropClause: 88636.377 Set: 14353.282 Check: 0.0 Back: 1118.671
INFO - Atoms: 476309/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 48288132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.249 Prop: 90675.403 PropClause: 89465.044 Set: 14439.415 Check: 0.0 Back: 1129.896
INFO - Atoms: 476051/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 48763795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.261 Prop: 91530.336 PropClause: 90308.285 Set: 14526.617 Check: 0.0 Back: 1141.103
INFO - Atoms: 475663/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 49239134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.274 Prop: 92400.667 PropClause: 91166.93 Set: 14613.542 Check: 0.0 Back: 1152.204
INFO - Atoms: 475339/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 49714149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.287 Prop: 93292.53 PropClause: 92047.064 Set: 14700.13 Check: 0.0 Back: 1163.47
INFO - Atoms: 475015/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 50188902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.299 Prop: 94137.48 PropClause: 92880.292 Set: 14786.105 Check: 0.0 Back: 1174.578
INFO - Atoms: 474753/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 50663273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.312 Prop: 95010.013 PropClause: 93741.002 Set: 14873.495 Check: 0.0 Back: 1185.766
INFO - Atoms: 474371/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 51137379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.325 Prop: 95818.265 PropClause: 94537.54 Set: 14959.52 Check: 0.0 Back: 1197.029
INFO - Atoms: 474106/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 51611104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.338 Prop: 96593.178 PropClause: 95300.715 Set: 15190.464 Check: 0.0 Back: 1208.061
INFO - Atoms: 473725/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 52084571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.352 Prop: 97425.313 PropClause: 96121.151 Set: 15426.441 Check: 0.0 Back: 1219.072
INFO - Atoms: 473467/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 52557650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.365 Prop: 98252.045 PropClause: 96936.25 Set: 15686.484 Check: 0.0 Back: 1230.085
INFO - Atoms: 473079/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 53030471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.378 Prop: 99052.449 PropClause: 97724.923 Set: 15937.131 Check: 0.0 Back: 1241.119
INFO - Atoms: 472821/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 53502904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.392 Prop: 99845.149 PropClause: 98505.956 Set: 16191.896 Check: 0.0 Back: 1251.87
INFO - Atoms: 472433/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 53975079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.405 Prop: 100681.874 PropClause: 99329.921 Set: 16436.394 Check: 0.0 Back: 1262.851
INFO - Atoms: 472175/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 54446866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.419 Prop: 101510.592 PropClause: 100147.05 Set: 16663.947 Check: 0.0 Back: 1273.931
INFO - Atoms: 471787/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 54918393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.432 Prop: 102326.024 PropClause: 100950.816 Set: 16876.743 Check: 0.0 Back: 1284.865
INFO - Atoms: 471527/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 55389532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.445 Prop: 103103.146 PropClause: 101716.211 Set: 17080.157 Check: 0.0 Back: 1295.831
INFO - Atoms: 471139/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 55860415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.459 Prop: 103939.207 PropClause: 102540.668 Set: 17282.914 Check: 0.0 Back: 1306.861
INFO - Atoms: 470883/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 56330910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.472 Prop: 104795.144 PropClause: 103384.887 Set: 17482.598 Check: 0.0 Back: 1317.946
INFO - Atoms: 470495/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 56801141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.485 Prop: 105642.96 PropClause: 104221.004 Set: 17679.436 Check: 0.0 Back: 1329.05
INFO - Atoms: 470231/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 57270988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.5 Prop: 106437.681 PropClause: 105004.128 Set: 17876.522 Check: 0.0 Back: 1340.289
INFO - Atoms: 469847/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 57740577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.513 Prop: 107290.844 PropClause: 105845.621 Set: 18086.446 Check: 0.0 Back: 1351.623
INFO - Atoms: 469589/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 58209780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.531 Prop: 108141.135 PropClause: 106684.33 Set: 18304.317 Check: 0.0 Back: 1362.732
INFO - Atoms: 469203/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 58678725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.544 Prop: 108934.831 PropClause: 107466.353 Set: 18537.148 Check: 0.0 Back: 1374.034
INFO - Atoms: 468945/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 59147282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.558 Prop: 109745.831 PropClause: 108265.701 Set: 18792.354 Check: 0.0 Back: 1385.002
INFO - Atoms: 468557/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 59615581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.571 Prop: 110598.408 PropClause: 109106.553 Set: 19062.24 Check: 0.0 Back: 1396.072
INFO - Atoms: 468299/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 60083490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.586 Prop: 111470.189 PropClause: 109966.629 Set: 19357.063 Check: 0.0 Back: 1407.083
INFO - Atoms: 467909/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 60551141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.599 Prop: 112268.19 PropClause: 110752.994 Set: 19627.171 Check: 0.0 Back: 1417.949
INFO - Atoms: 467651/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 61018406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.612 Prop: 113073.627 PropClause: 111546.889 Set: 19893.787 Check: 0.0 Back: 1428.763
INFO - Atoms: 467265/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 61485413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.626 Prop: 113919.827 PropClause: 112381.54 Set: 20143.76 Check: 0.0 Back: 1439.627
INFO - Atoms: 467007/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 61952032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.639 Prop: 114789.935 PropClause: 113240.065 Set: 20377.403 Check: 0.0 Back: 1450.535
INFO - Atoms: 466619/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 62418393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.653 Prop: 115579.139 PropClause: 114017.703 Set: 20586.77 Check: 0.0 Back: 1461.526
INFO - Atoms: 466361/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 62884364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.674 Prop: 116416.577 PropClause: 114843.607 Set: 20787.009 Check: 0.0 Back: 1472.377
INFO - Atoms: 465971/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 63350079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.715 Prop: 117252.265 PropClause: 115667.741 Set: 20982.485 Check: 0.0 Back: 1483.258
INFO - Atoms: 465715/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 63815404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 118104.077 PropClause: 116508.0 Set: 21175.406 Check: 0.0 Back: 1494.245
INFO - Atoms: 465325/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 64280466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.732 Prop: 118882.369 PropClause: 117274.803 Set: 21362.24 Check: 0.0 Back: 1505.261
INFO - Atoms: 465062/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 64745147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 119700.015 PropClause: 118080.915 Set: 21550.676 Check: 0.0 Back: 1516.335
INFO - Atoms: 464681/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 65209562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.748 Prop: 120532.935 PropClause: 118902.311 Set: 21741.655 Check: 0.0 Back: 1527.363
INFO - Atoms: 464415/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 65673595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.757 Prop: 121405.266 PropClause: 119763.068 Set: 21938.636 Check: 0.0 Back: 1538.322
INFO - Atoms: 464033/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 66137370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.776 Prop: 122184.478 PropClause: 120530.792 Set: 22132.836 Check: 0.0 Back: 1549.379
INFO - Atoms: 463775/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 66600759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.784 Prop: 122979.177 PropClause: 121314.036 Set: 22336.151 Check: 0.0 Back: 1560.247
INFO - Atoms: 463389/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 67063888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.793 Prop: 123819.61 PropClause: 122142.955 Set: 22556.853 Check: 0.0 Back: 1571.127
INFO - Atoms: 463129/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 67526631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.803 Prop: 124686.51 PropClause: 122998.268 Set: 22800.83 Check: 0.0 Back: 1582.099
INFO - Atoms: 462743/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 67989050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.811 Prop: 125489.818 PropClause: 123789.896 Set: 23060.747 Check: 0.0 Back: 1593.011
INFO - Atoms: 462419/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 68451147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.849 Prop: 126300.021 PropClause: 124588.597 Set: 23146.339 Check: 0.0 Back: 1603.805
INFO - Atoms: 462097/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 68912981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.886 Prop: 127136.905 PropClause: 125413.96 Set: 23231.556 Check: 0.0 Back: 1614.876
INFO - Atoms: 461834/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 69374430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.894 Prop: 128030.934 PropClause: 126296.468 Set: 23321.034 Check: 0.0 Back: 1625.857
INFO - Atoms: 461449/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 69835621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.902 Prop: 128842.25 PropClause: 127096.338 Set: 23405.794 Check: 0.0 Back: 1636.977
INFO - Atoms: 461191/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 70296426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.91 Prop: 129676.924 PropClause: 127919.515 Set: 23491.2 Check: 0.0 Back: 1647.947
INFO - Atoms: 460805/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 70756971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.918 Prop: 130534.748 PropClause: 128765.88 Set: 23577.236 Check: 0.0 Back: 1659.056
INFO - Atoms: 460545/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 71217128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.925 Prop: 131401.47 PropClause: 129621.106 Set: 23665.547 Check: 0.0 Back: 1669.95
INFO - Atoms: 460157/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 71677027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.933 Prop: 132222.814 PropClause: 130431.053 Set: 23751.239 Check: 0.0 Back: 1680.776
INFO - Atoms: 459899/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 72136540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.941 Prop: 133047.394 PropClause: 131244.185 Set: 23837.375 Check: 0.0 Back: 1691.699
INFO - Atoms: 459513/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 72595795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.949 Prop: 133886.103 PropClause: 132071.526 Set: 23923.479 Check: 0.0 Back: 1702.602
INFO - Atoms: 459255/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 73054662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.956 Prop: 134744.466 PropClause: 132918.48 Set: 24010.977 Check: 0.0 Back: 1713.513
INFO - Atoms: 458867/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 73513271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 135549.619 PropClause: 133712.255 Set: 24094.824 Check: 0.0 Back: 1724.453
INFO - Atoms: 458609/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 73971492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.973 Prop: 136348.566 PropClause: 134499.819 Set: 24179.933 Check: 0.0 Back: 1735.442
INFO - Atoms: 458221/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 74429389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.981 Prop: 137172.286 PropClause: 135312.173 Set: 24265.137 Check: 0.0 Back: 1746.281
INFO - Atoms: 457897/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 74886964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.988 Prop: 138023.164 PropClause: 136151.698 Set: 24351.062 Check: 0.0 Back: 1757.036
INFO - Atoms: 457575/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 75344274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.996 Prop: 138848.857 PropClause: 136966.026 Set: 24434.847 Check: 0.0 Back: 1767.983
INFO - Atoms: 457310/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 75801201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.005 Prop: 139707.453 PropClause: 137813.049 Set: 24522.211 Check: 0.0 Back: 1778.788
INFO - Atoms: 456927/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 76257806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.012 Prop: 140551.645 PropClause: 138645.898 Set: 24606.999 Check: 0.0 Back: 1789.998
INFO - Atoms: 456605/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 76714087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.021 Prop: 141393.811 PropClause: 139476.433 Set: 24830.728 Check: 0.0 Back: 1800.845
INFO - Atoms: 456281/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 77170110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.029 Prop: 142189.898 PropClause: 140261.207 Set: 25093.401 Check: 0.0 Back: 1811.64
INFO - Atoms: 456023/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 77625747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.037 Prop: 142968.225 PropClause: 141028.201 Set: 25176.975 Check: 0.0 Back: 1822.256
INFO - Atoms: 455637/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 78081120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.045 Prop: 143784.901 PropClause: 141833.561 Set: 25261.167 Check: 0.0 Back: 1833.002
INFO - Atoms: 455373/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 78536109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.052 Prop: 144639.534 PropClause: 142676.869 Set: 25346.811 Check: 0.0 Back: 1843.9
INFO - Atoms: 454989/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 78990840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.06 Prop: 145414.658 PropClause: 143440.732 Set: 25429.825 Check: 0.0 Back: 1854.649
INFO - Atoms: 454731/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 79445185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.07 Prop: 146195.234 PropClause: 144209.998 Set: 25513.176 Check: 0.0 Back: 1865.432
INFO - Atoms: 454345/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 79899272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.078 Prop: 147008.907 PropClause: 145012.411 Set: 25597.61 Check: 0.0 Back: 1876.152
INFO - Atoms: 454087/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 80352969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 147842.978 PropClause: 145835.201 Set: 25682.598 Check: 0.0 Back: 1886.975
INFO - Atoms: 453697/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 80806408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.094 Prop: 148615.763 PropClause: 146596.706 Set: 25765.093 Check: 0.0 Back: 1897.747
INFO - Atoms: 453439/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 81259461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.102 Prop: 149403.566 PropClause: 147373.239 Set: 25848.542 Check: 0.0 Back: 1908.346
INFO - Atoms: 453053/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 81712249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.11 Prop: 150199.63 PropClause: 148158.121 Set: 25931.101 Check: 0.0 Back: 1919.031
INFO - Atoms: 452788/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 82164654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.118 Prop: 151033.317 PropClause: 148980.567 Set: 26015.734 Check: 0.0 Back: 1929.769
INFO - Atoms: 452405/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 82616737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.125 Prop: 151815.873 PropClause: 149751.887 Set: 26097.484 Check: 0.0 Back: 1940.507
INFO - Atoms: 452083/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 83068498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.134 Prop: 152596.362 PropClause: 150521.044 Set: 26294.989 Check: 0.0 Back: 1951.17
INFO - Atoms: 451761/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 83519935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.142 Prop: 153413.895 PropClause: 151327.396 Set: 26565.592 Check: 0.0 Back: 1961.737
INFO - Atoms: 451437/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 83971048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.151 Prop: 154239.222 PropClause: 152141.494 Set: 26650.142 Check: 0.0 Back: 1972.368
INFO - Atoms: 451113/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 84421905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.158 Prop: 155026.567 PropClause: 152917.637 Set: 26733.281 Check: 0.0 Back: 1983.181
INFO - Atoms: 450857/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 84872372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.166 Prop: 155777.718 PropClause: 153657.593 Set: 26816.152 Check: 0.0 Back: 1993.742
INFO - Atoms: 450467/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 85322517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.174 Prop: 156542.872 PropClause: 154411.537 Set: 26898.618 Check: 0.0 Back: 2004.244
INFO - Atoms: 450145/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 85772340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.183 Prop: 157355.248 PropClause: 155212.716 Set: 26982.362 Check: 0.0 Back: 2014.897
INFO - Atoms: 449823/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 86221896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.19 Prop: 158165.231 PropClause: 156011.201 Set: 27071.578 Check: 0.0 Back: 2025.522
INFO - Atoms: 449556/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 86671071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.198 Prop: 158959.807 PropClause: 156794.622 Set: 27154.881 Check: 0.0 Back: 2036.061
INFO - Atoms: 449175/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 87119988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.205 Prop: 159776.649 PropClause: 157600.328 Set: 27238.91 Check: 0.0 Back: 2046.613
INFO - Atoms: 448917/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 87568519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.214 Prop: 160575.871 PropClause: 158388.408 Set: 27322.602 Check: 0.0 Back: 2057.13
INFO - Atoms: 448531/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 88016792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.222 Prop: 161371.671 PropClause: 159173.087 Set: 27513.828 Check: 0.0 Back: 2067.724
INFO - Atoms: 448273/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 88464677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.231 Prop: 162131.481 PropClause: 159921.784 Set: 27781.259 Check: 0.0 Back: 2078.324
INFO - Atoms: 447885/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 88912304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.239 Prop: 162882.81 PropClause: 160662.038 Set: 27862.55 Check: 0.0 Back: 2088.649
INFO - Atoms: 447627/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 89359543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 163680.256 PropClause: 161448.386 Set: 27945.681 Check: 0.0 Back: 2099.09
INFO - Atoms: 447239/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 89806522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.255 Prop: 164470.713 PropClause: 162227.522 Set: 28030.467 Check: 0.0 Back: 2109.943
INFO - Atoms: 446979/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 90253115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.263 Prop: 165224.563 PropClause: 162970.19 Set: 28112.986 Check: 0.0 Back: 2120.579
INFO - Atoms: 446593/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 90699450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.271 Prop: 165964.312 PropClause: 163698.9 Set: 28193.659 Check: 0.0 Back: 2131.168
INFO - Atoms: 446335/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 91145395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.278 Prop: 166759.136 PropClause: 164482.603 Set: 28277.566 Check: 0.0 Back: 2141.671
INFO - Atoms: 445945/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 91591020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.286 Prop: 167549.66 PropClause: 165262.075 Set: 28359.449 Check: 0.0 Back: 2152.174
INFO - Atoms: 445625/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 92036476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.294 Prop: 168329.192 PropClause: 166030.51 Set: 28441.228 Check: 0.0 Back: 2162.661
INFO - Atoms: 445456/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 92481674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.302 Prop: 169065.369 PropClause: 166755.656 Set: 28631.116 Check: 0.0 Back: 2173.649
INFO - Atoms: 445198/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 92926486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.31 Prop: 169852.295 PropClause: 167531.508 Set: 28912.811 Check: 0.0 Back: 2184.081
INFO - Atoms: 444812/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 93370974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.32 Prop: 170650.599 PropClause: 168318.838 Set: 28996.026 Check: 0.0 Back: 2194.431
INFO - Atoms: 444488/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 93815138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.327 Prop: 171440.318 PropClause: 169097.478 Set: 29078.859 Check: 0.0 Back: 2204.894
INFO - Atoms: 444164/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 94259044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.335 Prop: 172196.721 PropClause: 169842.975 Set: 29158.84 Check: 0.0 Back: 2215.365
INFO - Atoms: 443906/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 94702564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.343 Prop: 172998.845 PropClause: 170633.715 Set: 29246.473 Check: 0.0 Back: 2225.859
INFO - Atoms: 443520/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 95145826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.353 Prop: 173798.283 PropClause: 171422.121 Set: 29328.181 Check: 0.0 Back: 2238.106
INFO - Atoms: 443262/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 95588700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.361 Prop: 174575.004 PropClause: 172187.854 Set: 29409.879 Check: 0.0 Back: 2248.635
INFO - Atoms: 442874/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 96031316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.369 Prop: 175306.954 PropClause: 172908.824 Set: 29489.958 Check: 0.0 Back: 2259.01
INFO - Atoms: 442616/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 96473544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.377 Prop: 176024.153 PropClause: 173615.112 Set: 29570.779 Check: 0.0 Back: 2269.417
INFO - Atoms: 442228/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 96915512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.385 Prop: 176862.289 PropClause: 174442.387 Set: 29794.547 Check: 0.0 Back: 2279.69
INFO - Atoms: 441968/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 97357094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.393 Prop: 177724.946 PropClause: 175294.123 Set: 29879.55 Check: 0.0 Back: 2290.118
INFO - Atoms: 441582/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 97798386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.403 Prop: 178523.241 PropClause: 176081.59 Set: 29959.776 Check: 0.0 Back: 2300.584
INFO - Atoms: 441292/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 98239322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.411 Prop: 179316.639 PropClause: 176864.099 Set: 30041.448 Check: 0.0 Back: 2310.98
INFO - Atoms: 440936/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 98679994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.419 Prop: 180184.73 PropClause: 177721.234 Set: 30125.793 Check: 0.0 Back: 2321.305
INFO - Atoms: 440672/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 99120284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.427 Prop: 181046.839 PropClause: 178572.469 Set: 30211.788 Check: 0.0 Back: 2331.774
INFO - Atoms: 440290/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 99560316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.436 Prop: 181856.871 PropClause: 179371.674 Set: 30293.595 Check: 0.0 Back: 2342.271
INFO - Atoms: 440032/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 99999960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.443 Prop: 182660.689 PropClause: 180164.675 Set: 30375.447 Check: 0.0 Back: 2352.643
INFO - Atoms: 439644/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 100439280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.452 Prop: 183509.771 PropClause: 181002.966 Set: 30457.558 Check: 0.0 Back: 2363.056
INFO - Atoms: 439320/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 100878278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.461 Prop: 184370.659 PropClause: 181853.004 Set: 30744.571 Check: 0.0 Back: 2373.425
INFO - Atoms: 438998/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 101317016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.47 Prop: 185180.488 PropClause: 182652.052 Set: 30826.055 Check: 0.0 Back: 2383.642
INFO - Atoms: 438738/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 101755366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.479 Prop: 185980.846 PropClause: 183441.585 Set: 30908.39 Check: 0.0 Back: 2393.889
INFO - Atoms: 438350/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 102193394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 186821.415 PropClause: 184271.379 Set: 30991.078 Check: 0.0 Back: 2404.258
INFO - Atoms: 438028/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 102631098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.497 Prop: 187671.488 PropClause: 185110.657 Set: 31075.451 Check: 0.0 Back: 2414.591
INFO - Atoms: 437704/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 103068546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.507 Prop: 188473.514 PropClause: 185901.962 Set: 31155.699 Check: 0.0 Back: 2424.963
INFO - Atoms: 437448/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 103505604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.513 Prop: 189277.775 PropClause: 186695.468 Set: 31237.398 Check: 0.0 Back: 2435.232
INFO - Atoms: 437058/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 103942404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.522 Prop: 190128.293 PropClause: 187535.206 Set: 31320.225 Check: 0.0 Back: 2445.528
INFO - Atoms: 436800/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 104378818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.531 Prop: 190983.641 PropClause: 188379.808 Set: 31404.123 Check: 0.0 Back: 2455.918
INFO - Atoms: 436414/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 104814966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.539 Prop: 191803.191 PropClause: 189188.598 Set: 31636.204 Check: 0.0 Back: 2466.422
INFO - Atoms: 436148/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 105250732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.548 Prop: 192611.733 PropClause: 189986.43 Set: 31717.854 Check: 0.0 Back: 2476.553
INFO - Atoms: 435766/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 105686176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.555 Prop: 193468.437 PropClause: 190832.397 Set: 31799.814 Check: 0.0 Back: 2486.892
INFO - Atoms: 435444/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 106121296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.564 Prop: 194321.981 PropClause: 191675.232 Set: 31883.808 Check: 0.0 Back: 2497.231
INFO - Atoms: 435120/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 106556158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.573 Prop: 195158.226 PropClause: 192500.762 Set: 31966.197 Check: 0.0 Back: 2507.686
INFO - Atoms: 434862/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 106990634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.581 Prop: 195944.978 PropClause: 193276.845 Set: 32047.308 Check: 0.0 Back: 2517.989
INFO - Atoms: 434476/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 107424852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.59 Prop: 196777.693 PropClause: 194098.858 Set: 32129.446 Check: 0.0 Back: 2528.222
INFO - Atoms: 434218/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 107858682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.599 Prop: 197622.357 PropClause: 194932.54 Set: 32215.788 Check: 0.0 Back: 2538.566
INFO - Atoms: 433830/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 108292188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.609 Prop: 198464.4 PropClause: 195763.87 Set: 32420.326 Check: 0.0 Back: 2548.905
INFO - Atoms: 433506/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 108725370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.617 Prop: 199245.175 PropClause: 196533.999 Set: 32500.079 Check: 0.0 Back: 2559.021
INFO - Atoms: 433182/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 109158230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.625 Prop: 200056.919 PropClause: 197335.098 Set: 32581.386 Check: 0.0 Back: 2569.206
INFO - Atoms: 432860/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 109590768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.634 Prop: 200889.859 PropClause: 198157.421 Set: 32664.082 Check: 0.0 Back: 2579.394
INFO - Atoms: 432538/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 110023039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.643 Prop: 201735.01 PropClause: 198991.904 Set: 32746.379 Check: 0.0 Back: 2589.79
INFO - Atoms: 432271/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 110454931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.651 Prop: 202515.508 PropClause: 199761.802 Set: 32826.081 Check: 0.0 Back: 2600.025
INFO - Atoms: 431892/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 110886499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.658 Prop: 203354.25 PropClause: 200589.916 Set: 32908.112 Check: 0.0 Back: 2610.249
INFO - Atoms: 431568/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 111317743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.666 Prop: 204206.057 PropClause: 201430.916 Set: 33128.6 Check: 0.0 Back: 2620.368
INFO - Atoms: 431244/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 111748665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.675 Prop: 205037.844 PropClause: 202252.025 Set: 33211.974 Check: 0.0 Back: 2630.569
INFO - Atoms: 430922/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 112179265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.683 Prop: 205815.006 PropClause: 203018.632 Set: 33291.309 Check: 0.0 Back: 2640.742
INFO - Atoms: 430600/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 112609602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.691 Prop: 206617.053 PropClause: 203810.087 Set: 33372.358 Check: 0.0 Back: 2650.883
INFO - Atoms: 430337/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 113039556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 207443.522 PropClause: 204625.945 Set: 33454.427 Check: 0.0 Back: 2661.01
INFO - Atoms: 429954/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 113469252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 208270.492 PropClause: 205442.34 Set: 33535.502 Check: 0.0 Back: 2671.273
INFO - Atoms: 429696/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 113898560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.716 Prop: 209045.82 PropClause: 206207.108 Set: 33710.801 Check: 0.0 Back: 2681.441
INFO - Atoms: 429308/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 114327610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.725 Prop: 209839.699 PropClause: 206990.376 Set: 33790.3 Check: 0.0 Back: 2691.577
INFO - Atoms: 429050/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 114756272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.734 Prop: 210650.261 PropClause: 207790.315 Set: 33872.387 Check: 0.0 Back: 2701.804
INFO - Atoms: 428662/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 115184670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.742 Prop: 211475.165 PropClause: 208604.587 Set: 33954.549 Check: 0.0 Back: 2711.987
INFO - Atoms: 428398/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 115612686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 212264.478 PropClause: 209383.359 Set: 34034.498 Check: 0.0 Back: 2722.153
INFO - Atoms: 428016/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 116040378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.759 Prop: 213037.816 PropClause: 210146.135 Set: 34113.816 Check: 0.0 Back: 2732.25
INFO - Atoms: 427692/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 116467748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.768 Prop: 213840.119 PropClause: 210937.911 Set: 34325.921 Check: 0.0 Back: 2742.323
INFO - Atoms: 427370/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 116894852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.783 Prop: 214669.626 PropClause: 211756.904 Set: 34407.078 Check: 0.0 Back: 2752.623
INFO - Atoms: 427104/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 117321576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 215489.102 PropClause: 212565.65 Set: 34491.352 Check: 0.0 Back: 2762.765
INFO - Atoms: 426724/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 117748042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.799 Prop: 216263.846 PropClause: 213329.911 Set: 34570.736 Check: 0.0 Back: 2772.897
INFO - Atoms: 426466/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 118174118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.809 Prop: 217068.054 PropClause: 214123.612 Set: 34651.356 Check: 0.0 Back: 2782.835
INFO - Atoms: 426076/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 118599929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.818 Prop: 217885.726 PropClause: 214930.818 Set: 34731.502 Check: 0.0 Back: 2793.13
INFO - Atoms: 425811/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 119025361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.827 Prop: 218696.164 PropClause: 215730.333 Set: 34816.357 Check: 0.0 Back: 2803.398
INFO - Atoms: 425432/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 119450533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.835 Prop: 219556.125 PropClause: 216579.751 Set: 34899.796 Check: 0.0 Back: 2814.151
INFO - Atoms: 425172/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 119875319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.846 Prop: 220476.364 PropClause: 217489.465 Set: 34984.885 Check: 0.0 Back: 2824.342
INFO - Atoms: 424786/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 120299845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 221406.451 PropClause: 218409.058 Set: 35071.185 Check: 0.0 Back: 2834.617
INFO - Atoms: 424526/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 120723983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.865 Prop: 222323.142 PropClause: 219314.94 Set: 35162.987 Check: 0.0 Back: 2844.908
INFO - Atoms: 424138/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 121147863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 223216.103 PropClause: 220197.439 Set: 35412.261 Check: 0.0 Back: 2855.132
INFO - Atoms: 423880/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 121571357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.885 Prop: 224168.551 PropClause: 221139.326 Set: 35501.837 Check: 0.0 Back: 2865.174
INFO - Atoms: 423494/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 121994527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.893 Prop: 225098.488 PropClause: 222058.803 Set: 35589.976 Check: 0.0 Back: 2875.659
INFO - Atoms: 423170/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 122417375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.903 Prop: 226052.216 PropClause: 223002.072 Set: 35677.525 Check: 0.0 Back: 2886.017
INFO - Atoms: 422848/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 122839899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.912 Prop: 226908.087 PropClause: 223847.5 Set: 35759.435 Check: 0.0 Back: 2896.201
INFO - Atoms: 422524/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 123262101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.921 Prop: 227794.936 PropClause: 224723.888 Set: 35845.79 Check: 0.0 Back: 2906.323
INFO - Atoms: 422202/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 123684045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.929 Prop: 228730.006 PropClause: 225648.463 Set: 36162.137 Check: 0.0 Back: 2916.476
INFO - Atoms: 421944/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 124105599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.938 Prop: 229633.685 PropClause: 226541.692 Set: 36246.723 Check: 0.0 Back: 2926.395
INFO - Atoms: 421554/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 124526889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.946 Prop: 230490.888 PropClause: 227388.443 Set: 36329.109 Check: 0.0 Back: 2936.537
INFO - Atoms: 421290/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 124947799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.954 Prop: 231397.126 PropClause: 228284.122 Set: 36414.005 Check: 0.0 Back: 2946.64
INFO - Atoms: 420910/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 125368451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.965 Prop: 232331.098 PropClause: 229207.641 Set: 36502.344 Check: 0.0 Back: 2956.924
INFO - Atoms: 420652/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 125788715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.974 Prop: 233180.703 PropClause: 230046.869 Set: 36584.242 Check: 0.0 Back: 2967.242
INFO - Atoms: 420264/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 126208719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.982 Prop: 234032.368 PropClause: 230888.129 Set: 36836.731 Check: 0.0 Back: 2977.2
INFO - Atoms: 420004/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 126628337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.99 Prop: 234937.486 PropClause: 231782.859 Set: 36921.082 Check: 0.0 Back: 2987.059
INFO - Atoms: 419618/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 127047697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.998 Prop: 235859.264 PropClause: 232694.168 Set: 37008.469 Check: 0.0 Back: 2997.358
INFO - Atoms: 419360/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 127466669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.007 Prop: 236706.534 PropClause: 233530.901 Set: 37092.42 Check: 0.0 Back: 3007.713
INFO - Atoms: 418972/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 127885381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.016 Prop: 237563.951 PropClause: 234377.914 Set: 37176.482 Check: 0.0 Back: 3017.753
INFO - Atoms: 418712/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 128303707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.025 Prop: 238452.323 PropClause: 235255.934 Set: 37260.031 Check: 0.0 Back: 3027.892
INFO - Atoms: 418326/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 128721767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.033 Prop: 239329.803 PropClause: 236123.007 Set: 37463.923 Check: 0.0 Back: 3037.983
INFO - Atoms: 418060/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 129139445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.043 Prop: 240148.259 PropClause: 236931.11 Set: 37545.015 Check: 0.0 Back: 3048.105
INFO - Atoms: 417678/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 129556865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.052 Prop: 241143.191 PropClause: 237915.673 Set: 37635.444 Check: 0.0 Back: 3058.263
INFO - Atoms: 417420/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 129973899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.064 Prop: 242187.637 PropClause: 238949.78 Set: 37727.151 Check: 0.0 Back: 3068.508
INFO - Atoms: 417034/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 130390609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.076 Prop: 243230.168 PropClause: 239981.92 Set: 37818.372 Check: 0.0 Back: 3078.88
INFO - Atoms: 416710/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 130806995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.087 Prop: 244225.371 PropClause: 240966.698 Set: 37908.34 Check: 0.0 Back: 3089.136
INFO - Atoms: 416386/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 131223123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.097 Prop: 245242.654 PropClause: 241973.577 Set: 38218.548 Check: 0.0 Back: 3099.199
INFO - Atoms: 416128/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 131638863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.109 Prop: 246273.165 PropClause: 242993.649 Set: 38312.945 Check: 0.0 Back: 3109.007
INFO - Atoms: 415740/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 132054339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.118 Prop: 247256.171 PropClause: 243966.341 Set: 38402.47 Check: 0.0 Back: 3119.279
INFO - Atoms: 415476/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 132469435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.13 Prop: 248253.049 PropClause: 244952.939 Set: 38492.076 Check: 0.0 Back: 3129.332
INFO - Atoms: 415096/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 132884207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.141 Prop: 249254.691 PropClause: 245944.31 Set: 38580.873 Check: 0.0 Back: 3139.517
INFO - Atoms: 414772/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 133298655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.151 Prop: 250290.998 PropClause: 246970.346 Set: 38672.315 Check: 0.0 Back: 3149.753
INFO - Atoms: 414448/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 133712845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.161 Prop: 251281.912 PropClause: 247950.96 Set: 38760.336 Check: 0.0 Back: 3159.918
INFO - Atoms: 414190/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 134126649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 252309.801 PropClause: 248968.603 Set: 38851.468 Check: 0.0 Back: 3170.074
INFO - Atoms: 413804/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 134540195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 253315.643 PropClause: 249964.205 Set: 38941.922 Check: 0.0 Back: 3180.196
INFO - Atoms: 413546/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 134953353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.193 Prop: 254324.537 PropClause: 250962.847 Set: 39032.519 Check: 0.0 Back: 3190.403
INFO - Atoms: 413158/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 135366253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.207 Prop: 255322.277 PropClause: 251950.385 Set: 39121.409 Check: 0.0 Back: 3200.448
INFO - Atoms: 412900/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 135778765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.219 Prop: 256353.349 PropClause: 252971.232 Set: 39335.6 Check: 0.0 Back: 3210.62
INFO - Atoms: 412512/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 136191017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 257369.7 PropClause: 253977.356 Set: 39425.989 Check: 0.0 Back: 3220.632
INFO - Atoms: 412252/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 136602883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.244 Prop: 258358.886 PropClause: 254956.354 Set: 39513.496 Check: 0.0 Back: 3230.736
INFO - Atoms: 411866/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 137014489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.255 Prop: 259361.49 PropClause: 255948.752 Set: 39602.189 Check: 0.0 Back: 3240.742
INFO - Atoms: 411606/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 137425709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.265 Prop: 260375.728 PropClause: 256952.77 Set: 39690.862 Check: 0.0 Back: 3250.866
INFO - Atoms: 411220/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 137836669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.277 Prop: 261369.098 PropClause: 257935.978 Set: 39884.039 Check: 0.0 Back: 3260.917
INFO - Atoms: 410960/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 138247243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 262355.507 PropClause: 258912.213 Set: 39975.356 Check: 0.0 Back: 3270.981
INFO - Atoms: 410574/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 138657552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.297 Prop: 263347.488 PropClause: 259894.03 Set: 40064.305 Check: 0.0 Back: 3280.957
INFO - Atoms: 410309/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 139067478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.308 Prop: 264360.073 PropClause: 260896.466 Set: 40154.045 Check: 0.0 Back: 3290.971
INFO - Atoms: 409926/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 139477082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.318 Prop: 265333.22 PropClause: 261859.444 Set: 40241.647 Check: 0.0 Back: 3301.005
INFO - Atoms: 409604/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 139886364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.328 Prop: 266353.487 PropClause: 262869.559 Set: 40522.728 Check: 0.0 Back: 3310.965
INFO - Atoms: 409282/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 140295380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.338 Prop: 267362.03 PropClause: 263867.935 Set: 40611.469 Check: 0.0 Back: 3320.651
INFO - Atoms: 409016/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 140704014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.35 Prop: 268374.346 PropClause: 264870.102 Set: 40701.179 Check: 0.0 Back: 3330.686
INFO - Atoms: 408634/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 141112385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.36 Prop: 269343.023 PropClause: 265828.661 Set: 40789.933 Check: 0.0 Back: 3340.653
INFO - Atoms: 408371/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 141520373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 270350.774 PropClause: 266826.308 Set: 40878.684 Check: 0.0 Back: 3350.654
INFO - Atoms: 407988/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 141928103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.381 Prop: 271365.728 PropClause: 267830.469 Set: 40972.745 Check: 0.0 Back: 3360.645
INFO - Atoms: 407730/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 142335447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 272325.634 PropClause: 268780.29 Set: 41059.845 Check: 0.0 Back: 3370.719
INFO - Atoms: 407344/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 142742533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 273315.37 PropClause: 269759.946 Set: 41147.721 Check: 0.0 Back: 3380.611
INFO - Atoms: 407086/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 143149229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.413 Prop: 274354.159 PropClause: 270788.649 Set: 41239.38 Check: 0.0 Back: 3390.571
INFO - Atoms: 406696/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 143555669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.423 Prop: 275344.502 PropClause: 271768.935 Set: 41452.567 Check: 0.0 Back: 3400.557
INFO - Atoms: 406440/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 143961719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.434 Prop: 276333.591 PropClause: 272747.925 Set: 41540.61 Check: 0.0 Back: 3410.394
INFO - Atoms: 406050/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 144367513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 277321.272 PropClause: 273725.558 Set: 41628.299 Check: 0.0 Back: 3420.338
INFO - Atoms: 405794/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 144772917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 278302.681 PropClause: 274696.884 Set: 41716.628 Check: 0.0 Back: 3430.324
INFO - Atoms: 405404/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 145178063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.465 Prop: 279278.106 PropClause: 275662.269 Set: 41803.065 Check: 0.0 Back: 3440.21
INFO - Atoms: 405146/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 145582823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.475 Prop: 280248.369 PropClause: 276622.491 Set: 41889.329 Check: 0.0 Back: 3450.108
INFO - Atoms: 404760/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 145987323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.486 Prop: 281245.657 PropClause: 277609.759 Set: 41977.719 Check: 0.0 Back: 3460.046
INFO - Atoms: 404500/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 146391437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.499 Prop: 282252.027 PropClause: 278606.107 Set: 42065.174 Check: 0.0 Back: 3470.052
INFO - Atoms: 404114/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 146795293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.509 Prop: 283207.834 PropClause: 279551.908 Set: 42153.392 Check: 0.0 Back: 3480.032
INFO - Atoms: 403856/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 147198759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.522 Prop: 284209.116 PropClause: 280543.162 Set: 42441.018 Check: 0.0 Back: 3489.89
INFO - Atoms: 403466/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 147601903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.534 Prop: 285290.211 PropClause: 281614.222 Set: 42530.953 Check: 0.0 Back: 3499.509
INFO - Atoms: 403144/507130 Clauses: 3137 Axioms: 1693442
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL: