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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 478811233
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 197334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.625 Prop: 270.301 PropClause: 263.387 Set: 91.793 Check: 0.0 Back: 0.0
INFO - Atoms: 197334/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 394696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.671 Prop: 525.462 PropClause: 511.706 Set: 127.535 Check: 0.0 Back: 4.494
INFO - Atoms: 197362/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 592058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.745 Prop: 762.773 PropClause: 743.907 Set: 178.751 Check: 0.0 Back: 8.969
INFO - Atoms: 197362/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 789401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.831 Prop: 1018.27 PropClause: 994.354 Set: 214.264 Check: 0.0 Back: 13.438
INFO - Atoms: 197343/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 986744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.898 Prop: 1250.003 PropClause: 1221.04 Set: 249.679 Check: 0.0 Back: 17.913
INFO - Atoms: 197343/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1184069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.973 Prop: 1495.718 PropClause: 1461.922 Set: 284.314 Check: 0.0 Back: 22.398
INFO - Atoms: 197325/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1381377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.025 Prop: 1727.119 PropClause: 1688.383 Set: 319.112 Check: 0.0 Back: 26.886
INFO - Atoms: 197308/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 1577423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.074 Prop: 1976.508 PropClause: 1932.914 Set: 353.738 Check: 0.0 Back: 31.379
INFO - Atoms: 196046/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1773454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.125 Prop: 2206.303 PropClause: 2157.821 Set: 388.115 Check: 0.0 Back: 35.864
INFO - Atoms: 196031/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1969475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.176 Prop: 2452.076 PropClause: 2398.739 Set: 422.455 Check: 0.0 Back: 40.327
INFO - Atoms: 196021/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 2164228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.227 Prop: 2676.261 PropClause: 2618.1 Set: 457.015 Check: 0.0 Back: 44.78
INFO - Atoms: 194753/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 2357873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.269 Prop: 2919.769 PropClause: 2856.853 Set: 491.48 Check: 0.0 Back: 49.243
INFO - Atoms: 193645/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 2551507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.315 Prop: 3145.264 PropClause: 3077.548 Set: 614.839 Check: 0.0 Back: 53.624
INFO - Atoms: 193634/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 2745144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.368 Prop: 3399.769 PropClause: 3327.236 Set: 649.746 Check: 0.0 Back: 58.017
INFO - Atoms: 193637/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 2937983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.417 Prop: 3624.729 PropClause: 3547.417 Set: 750.699 Check: 0.0 Back: 62.431
INFO - Atoms: 192839/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 3130559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.464 Prop: 3857.766 PropClause: 3775.731 Set: 784.502 Check: 0.0 Back: 66.785
INFO - Atoms: 192576/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 3322752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.514 Prop: 4072.134 PropClause: 3985.351 Set: 817.605 Check: 0.0 Back: 71.134
INFO - Atoms: 192193/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 3515181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.562 Prop: 4308.861 PropClause: 4217.342 Set: 851.223 Check: 0.0 Back: 75.482
INFO - Atoms: 192429/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 3707044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.61 Prop: 4524.989 PropClause: 4428.773 Set: 884.817 Check: 0.0 Back: 79.82
INFO - Atoms: 191863/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 3898649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.654 Prop: 4769.716 PropClause: 4668.726 Set: 918.261 Check: 0.0 Back: 84.189
INFO - Atoms: 191605/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 4089864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.736 Prop: 4986.716 PropClause: 4880.975 Set: 951.478 Check: 0.0 Back: 88.538
INFO - Atoms: 191215/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 4280603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.783 Prop: 5227.993 PropClause: 5117.547 Set: 985.159 Check: 0.0 Back: 92.884
INFO - Atoms: 190739/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 4470703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.832 Prop: 5446.526 PropClause: 5331.349 Set: 1018.893 Check: 0.0 Back: 97.204
INFO - Atoms: 190100/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 4660389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.878 Prop: 5686.387 PropClause: 5566.504 Set: 1100.626 Check: 0.0 Back: 101.535
INFO - Atoms: 189686/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 4849687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.96 Prop: 5905.757 PropClause: 5781.156 Set: 1134.39 Check: 0.0 Back: 105.83
INFO - Atoms: 189298/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 5038727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.017 Prop: 6141.716 PropClause: 6012.452 Set: 1167.462 Check: 0.0 Back: 110.155
INFO - Atoms: 189040/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 5227379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.063 Prop: 6360.705 PropClause: 6226.756 Set: 1200.549 Check: 0.0 Back: 114.468
INFO - Atoms: 188652/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 5415773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.105 Prop: 6596.75 PropClause: 6458.159 Set: 1233.942 Check: 0.0 Back: 118.718
INFO - Atoms: 188394/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 5603777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.217 Prop: 6821.397 PropClause: 6678.101 Set: 1308.217 Check: 0.0 Back: 122.981
INFO - Atoms: 188004/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 5791209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.236 Prop: 7054.608 PropClause: 6906.705 Set: 1340.627 Check: 0.0 Back: 127.27
INFO - Atoms: 187432/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 5978255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.258 Prop: 7267.662 PropClause: 7115.121 Set: 1373.247 Check: 0.0 Back: 131.519
INFO - Atoms: 187046/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 6165041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.277 Prop: 7498.584 PropClause: 7341.413 Set: 1406.37 Check: 0.0 Back: 135.812
INFO - Atoms: 186786/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 6351441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.298 Prop: 7709.653 PropClause: 7547.833 Set: 1438.711 Check: 0.0 Back: 140.059
INFO - Atoms: 186400/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 6537519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.319 Prop: 7943.965 PropClause: 7777.438 Set: 1472.244 Check: 0.0 Back: 144.318
INFO - Atoms: 186078/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 6723116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.339 Prop: 8154.666 PropClause: 7983.536 Set: 1504.983 Check: 0.0 Back: 148.595
INFO - Atoms: 185597/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 6908486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.357 Prop: 8396.295 PropClause: 8220.551 Set: 1537.729 Check: 0.0 Back: 152.813
INFO - Atoms: 185370/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 7093435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.379 Prop: 8613.903 PropClause: 8433.499 Set: 1570.559 Check: 0.0 Back: 157.014
INFO - Atoms: 184949/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 7278061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.401 Prop: 8852.77 PropClause: 8667.736 Set: 1603.636 Check: 0.0 Back: 161.215
INFO - Atoms: 184626/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 7462671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.422 Prop: 9071.964 PropClause: 8882.301 Set: 1636.898 Check: 0.0 Back: 165.526
INFO - Atoms: 184610/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 7646177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.443 Prop: 9309.81 PropClause: 9115.522 Set: 1669.882 Check: 0.0 Back: 169.796
INFO - Atoms: 183506/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 7829361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.475 Prop: 9526.435 PropClause: 9327.513 Set: 1702.758 Check: 0.0 Back: 174.022
INFO - Atoms: 183184/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 8012220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.495 Prop: 9761.122 PropClause: 9557.604 Set: 1736.01 Check: 0.0 Back: 178.243
INFO - Atoms: 182859/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 8195072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.517 Prop: 9982.206 PropClause: 9774.023 Set: 1769.171 Check: 0.0 Back: 182.437
INFO - Atoms: 182852/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 8377668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.54 Prop: 10216.201 PropClause: 10003.494 Set: 1801.535 Check: 0.0 Back: 186.691
INFO - Atoms: 182596/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 8559874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.558 Prop: 10428.02 PropClause: 10210.809 Set: 1833.638 Check: 0.0 Back: 190.887
INFO - Atoms: 182206/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 8742140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.579 Prop: 10661.488 PropClause: 10439.74 Set: 1866.097 Check: 0.0 Back: 195.0
INFO - Atoms: 182266/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 8924020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.599 Prop: 10874.015 PropClause: 10647.763 Set: 1898.172 Check: 0.0 Back: 199.131
INFO - Atoms: 181880/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 9105642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.621 Prop: 11105.465 PropClause: 10874.721 Set: 1982.852 Check: 0.0 Back: 203.227
INFO - Atoms: 181622/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 9286874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.646 Prop: 11314.676 PropClause: 11079.373 Set: 2015.002 Check: 0.0 Back: 207.335
INFO - Atoms: 181232/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 9467848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.668 Prop: 11539.197 PropClause: 11299.39 Set: 2047.293 Check: 0.0 Back: 211.501
INFO - Atoms: 180974/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 9648434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.692 Prop: 11741.806 PropClause: 11497.51 Set: 2116.689 Check: 0.0 Back: 215.602
INFO - Atoms: 180586/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 9828795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.709 Prop: 11959.901 PropClause: 11711.168 Set: 2148.235 Check: 0.0 Back: 219.749
INFO - Atoms: 180361/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 10008737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.728 Prop: 12163.391 PropClause: 11910.199 Set: 2179.357 Check: 0.0 Back: 223.798
INFO - Atoms: 179942/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 10188421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.749 Prop: 12385.454 PropClause: 12127.846 Set: 2243.714 Check: 0.0 Back: 227.903
INFO - Atoms: 179684/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 10367715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.768 Prop: 12587.303 PropClause: 12325.263 Set: 2275.17 Check: 0.0 Back: 231.934
INFO - Atoms: 179294/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 10546744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.79 Prop: 12815.92 PropClause: 12549.458 Set: 2307.108 Check: 0.0 Back: 235.982
INFO - Atoms: 179029/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 10725394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.811 Prop: 13021.886 PropClause: 12750.989 Set: 2379.001 Check: 0.0 Back: 240.072
INFO - Atoms: 178650/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 10903722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.833 Prop: 13248.511 PropClause: 12973.209 Set: 2410.287 Check: 0.0 Back: 244.108
INFO - Atoms: 178328/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 11081883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.853 Prop: 13452.398 PropClause: 13172.676 Set: 2441.556 Check: 0.0 Back: 248.198
INFO - Atoms: 178161/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 11259777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.874 Prop: 13676.46 PropClause: 13392.365 Set: 2473.301 Check: 0.0 Back: 252.241
INFO - Atoms: 177894/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 11437290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.895 Prop: 13882.605 PropClause: 13594.084 Set: 2504.844 Check: 0.0 Back: 256.355
INFO - Atoms: 177513/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 11614540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.913 Prop: 14107.933 PropClause: 13815.045 Set: 2536.483 Check: 0.0 Back: 260.356
INFO - Atoms: 177250/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 11791409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.932 Prop: 14312.49 PropClause: 14015.23 Set: 2567.445 Check: 0.0 Back: 264.364
INFO - Atoms: 176869/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 11968018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.953 Prop: 14527.396 PropClause: 14225.738 Set: 2598.686 Check: 0.0 Back: 268.377
INFO - Atoms: 176609/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 12144241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.98 Prop: 14734.893 PropClause: 14428.876 Set: 2629.482 Check: 0.0 Back: 272.347
INFO - Atoms: 176223/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 12320175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.997 Prop: 14950.312 PropClause: 14639.939 Set: 2660.399 Check: 0.0 Back: 276.39
INFO - Atoms: 175934/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 12495752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.014 Prop: 15145.46 PropClause: 14830.754 Set: 2690.913 Check: 0.0 Back: 280.373
INFO - Atoms: 175577/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 12671004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.03 Prop: 15366.52 PropClause: 15047.477 Set: 2721.588 Check: 0.0 Back: 284.396
INFO - Atoms: 175252/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 12846244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.046 Prop: 15566.006 PropClause: 15242.618 Set: 2751.885 Check: 0.0 Back: 288.356
INFO - Atoms: 175240/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 13021226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.066 Prop: 15780.451 PropClause: 15452.707 Set: 2782.676 Check: 0.0 Back: 292.344
INFO - Atoms: 174982/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 13195818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.083 Prop: 15976.012 PropClause: 15643.929 Set: 2813.186 Check: 0.0 Back: 296.317
INFO - Atoms: 174592/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 13370152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.103 Prop: 16201.946 PropClause: 15865.498 Set: 2844.322 Check: 0.0 Back: 300.312
INFO - Atoms: 174334/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 13544098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.121 Prop: 16403.375 PropClause: 16062.585 Set: 2907.546 Check: 0.0 Back: 304.278
INFO - Atoms: 173946/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 13717786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.139 Prop: 16618.797 PropClause: 16273.696 Set: 2938.0 Check: 0.0 Back: 308.236
INFO - Atoms: 173688/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 13891086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.156 Prop: 16813.866 PropClause: 16464.453 Set: 2967.992 Check: 0.0 Back: 312.167
INFO - Atoms: 173300/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 14064122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.174 Prop: 17023.404 PropClause: 16669.663 Set: 2998.519 Check: 0.0 Back: 316.111
INFO - Atoms: 173036/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 14236776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.194 Prop: 17213.454 PropClause: 16855.394 Set: 3028.676 Check: 0.0 Back: 320.059
INFO - Atoms: 172654/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 14409168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.211 Prop: 17425.799 PropClause: 17063.467 Set: 3059.275 Check: 0.0 Back: 323.987
INFO - Atoms: 172392/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 14581176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.231 Prop: 17620.887 PropClause: 17254.284 Set: 3089.681 Check: 0.0 Back: 327.896
INFO - Atoms: 172008/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 14752862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.249 Prop: 17832.735 PropClause: 17461.844 Set: 3120.033 Check: 0.0 Back: 331.8
INFO - Atoms: 171686/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 14924224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.267 Prop: 18029.28 PropClause: 17654.099 Set: 3150.643 Check: 0.0 Back: 335.748
INFO - Atoms: 171362/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 15095324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.286 Prop: 18243.035 PropClause: 17863.559 Set: 3181.261 Check: 0.0 Back: 339.676
INFO - Atoms: 171100/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 15266040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.34 Prop: 18435.334 PropClause: 18051.612 Set: 3246.256 Check: 0.0 Back: 343.602
INFO - Atoms: 170716/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 15436500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.404 Prop: 18638.63 PropClause: 18250.683 Set: 3276.242 Check: 0.0 Back: 347.485
INFO - Atoms: 170460/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 15606572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 18823.02 PropClause: 18430.879 Set: 3305.427 Check: 0.0 Back: 351.347
INFO - Atoms: 170072/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 15776386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.428 Prop: 19020.5 PropClause: 18624.147 Set: 3334.886 Check: 0.0 Back: 355.228
INFO - Atoms: 169814/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 15945810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.442 Prop: 19203.001 PropClause: 18802.444 Set: 3364.476 Check: 0.0 Back: 359.065
INFO - Atoms: 169424/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 16114351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.456 Prop: 19400.759 PropClause: 18996.019 Set: 3394.013 Check: 0.0 Back: 362.891
INFO - Atoms: 168541/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 16282506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 19589.257 PropClause: 19180.347 Set: 3423.391 Check: 0.0 Back: 366.701
INFO - Atoms: 168155/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 16450403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.496 Prop: 19797.39 PropClause: 19384.296 Set: 3496.594 Check: 0.0 Back: 370.546
INFO - Atoms: 167897/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 16617910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.507 Prop: 19981.743 PropClause: 19564.476 Set: 3525.489 Check: 0.0 Back: 374.402
INFO - Atoms: 167507/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 16785159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.521 Prop: 20190.727 PropClause: 19769.326 Set: 3554.839 Check: 0.0 Back: 378.183
INFO - Atoms: 167249/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 16952020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.534 Prop: 20386.807 PropClause: 19961.235 Set: 3584.115 Check: 0.0 Back: 382.023
INFO - Atoms: 166861/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 17118623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.549 Prop: 20600.487 PropClause: 20170.764 Set: 3613.916 Check: 0.0 Back: 385.858
INFO - Atoms: 166603/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 17284838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 20794.851 PropClause: 20360.99 Set: 3643.379 Check: 0.0 Back: 389.659
INFO - Atoms: 166215/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 17450795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.576 Prop: 21008.159 PropClause: 20570.152 Set: 3672.833 Check: 0.0 Back: 393.459
INFO - Atoms: 165957/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 17616364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.59 Prop: 21197.702 PropClause: 20755.6 Set: 3755.759 Check: 0.0 Back: 397.299
INFO - Atoms: 165569/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 17781675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.602 Prop: 21404.039 PropClause: 20957.808 Set: 3785.28 Check: 0.0 Back: 401.16
INFO - Atoms: 165311/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 17946600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.615 Prop: 21591.539 PropClause: 21141.18 Set: 3814.205 Check: 0.0 Back: 404.947
INFO - Atoms: 164925/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 18111267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.629 Prop: 21798.493 PropClause: 21344.062 Set: 3842.997 Check: 0.0 Back: 408.689
INFO - Atoms: 164667/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 18275544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.642 Prop: 21987.902 PropClause: 21529.385 Set: 3872.138 Check: 0.0 Back: 412.422
INFO - Atoms: 164277/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 18439565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.655 Prop: 22189.852 PropClause: 21727.279 Set: 3900.91 Check: 0.0 Back: 416.147
INFO - Atoms: 164021/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 18603196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.667 Prop: 22367.352 PropClause: 21900.747 Set: 3929.43 Check: 0.0 Back: 419.831
INFO - Atoms: 163631/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 18766571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.681 Prop: 22564.436 PropClause: 22093.759 Set: 3958.326 Check: 0.0 Back: 423.56
INFO - Atoms: 163375/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 18929556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.694 Prop: 22746.744 PropClause: 22272.027 Set: 3986.465 Check: 0.0 Back: 427.254
INFO - Atoms: 162985/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 19092283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.706 Prop: 22943.583 PropClause: 22464.823 Set: 4014.944 Check: 0.0 Back: 430.981
INFO - Atoms: 162727/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 19254624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 23123.362 PropClause: 22640.529 Set: 4043.18 Check: 0.0 Back: 434.639
INFO - Atoms: 162341/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 19416641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.733 Prop: 23318.564 PropClause: 22831.734 Set: 4071.615 Check: 0.0 Back: 438.298
INFO - Atoms: 162017/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 19578336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.749 Prop: 23499.555 PropClause: 23008.716 Set: 4100.003 Check: 0.0 Back: 442.031
INFO - Atoms: 161695/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 19739773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.761 Prop: 23693.049 PropClause: 23198.205 Set: 4128.415 Check: 0.0 Back: 445.669
INFO - Atoms: 161437/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 19900820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.775 Prop: 23874.082 PropClause: 23375.247 Set: 4156.498 Check: 0.0 Back: 449.32
INFO - Atoms: 161047/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 20061606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.789 Prop: 24068.073 PropClause: 23565.245 Set: 4214.303 Check: 0.0 Back: 453.0
INFO - Atoms: 160786/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 20222007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.802 Prop: 24250.73 PropClause: 23743.922 Set: 4242.356 Check: 0.0 Back: 456.65
INFO - Atoms: 160401/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 20382086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.815 Prop: 24447.867 PropClause: 23937.059 Set: 4270.792 Check: 0.0 Back: 460.301
INFO - Atoms: 160079/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 20541841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.828 Prop: 24622.044 PropClause: 24107.27 Set: 4298.406 Check: 0.0 Back: 463.952
INFO - Atoms: 159755/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 20701338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.841 Prop: 24815.699 PropClause: 24296.926 Set: 4326.855 Check: 0.0 Back: 467.563
INFO - Atoms: 159497/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 20860449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.854 Prop: 24988.682 PropClause: 24465.948 Set: 4354.206 Check: 0.0 Back: 471.186
INFO - Atoms: 159111/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 21019302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.867 Prop: 25181.026 PropClause: 24654.372 Set: 4382.114 Check: 0.0 Back: 474.804
INFO - Atoms: 158853/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 21177765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.878 Prop: 25353.521 PropClause: 24822.94 Set: 4409.406 Check: 0.0 Back: 478.393
INFO - Atoms: 158463/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 21335970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.891 Prop: 25543.619 PropClause: 25009.139 Set: 4437.286 Check: 0.0 Back: 481.981
INFO - Atoms: 158205/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 21493787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.904 Prop: 25717.823 PropClause: 25179.412 Set: 4464.779 Check: 0.0 Back: 485.592
INFO - Atoms: 157817/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 21651342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.917 Prop: 25906.768 PropClause: 25364.429 Set: 4491.88 Check: 0.0 Back: 489.156
INFO - Atoms: 157555/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 21808515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.931 Prop: 26071.113 PropClause: 25524.883 Set: 4519.036 Check: 0.0 Back: 492.748
INFO - Atoms: 157173/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 21965428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.945 Prop: 26256.82 PropClause: 25706.688 Set: 4546.063 Check: 0.0 Back: 496.296
INFO - Atoms: 156913/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 22121955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.956 Prop: 26424.268 PropClause: 25870.259 Set: 4572.795 Check: 0.0 Back: 499.84
INFO - Atoms: 156527/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 22278224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.967 Prop: 26601.228 PropClause: 26043.388 Set: 4600.014 Check: 0.0 Back: 503.455
INFO - Atoms: 156269/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 22434103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.979 Prop: 26764.282 PropClause: 26202.553 Set: 4626.9 Check: 0.0 Back: 507.041
INFO - Atoms: 155879/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 22589724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.992 Prop: 26948.678 PropClause: 26383.072 Set: 4654.291 Check: 0.0 Back: 510.556
INFO - Atoms: 155621/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 22744957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.006 Prop: 27117.696 PropClause: 26548.256 Set: 4681.28 Check: 0.0 Back: 514.094
INFO - Atoms: 155233/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 22899934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.018 Prop: 27303.687 PropClause: 26730.393 Set: 4708.281 Check: 0.0 Back: 517.616
INFO - Atoms: 154977/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 23054523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.032 Prop: 27472.193 PropClause: 26895.066 Set: 4735.16 Check: 0.0 Back: 521.129
INFO - Atoms: 154589/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 23208846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.045 Prop: 27656.419 PropClause: 27075.436 Set: 4761.897 Check: 0.0 Back: 524.66
INFO - Atoms: 154323/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 23362787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 27823.436 PropClause: 27238.637 Set: 4788.802 Check: 0.0 Back: 528.157
INFO - Atoms: 153941/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 23516463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 28006.817 PropClause: 27418.181 Set: 4815.799 Check: 0.0 Back: 531.638
INFO - Atoms: 153676/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 23669760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.082 Prop: 28172.668 PropClause: 27580.247 Set: 4842.373 Check: 0.0 Back: 535.117
INFO - Atoms: 153297/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 23822733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.095 Prop: 28355.173 PropClause: 27758.967 Set: 4869.182 Check: 0.0 Back: 538.598
INFO - Atoms: 152973/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 23975384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.109 Prop: 28520.003 PropClause: 27920.009 Set: 4895.911 Check: 0.0 Back: 542.064
INFO - Atoms: 152651/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 24127777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.122 Prop: 28699.869 PropClause: 28096.106 Set: 4922.253 Check: 0.0 Back: 545.516
INFO - Atoms: 152393/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 24279782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.135 Prop: 28861.609 PropClause: 28254.083 Set: 4948.154 Check: 0.0 Back: 549.023
INFO - Atoms: 152005/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 24431527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.148 Prop: 29033.467 PropClause: 28422.178 Set: 5000.971 Check: 0.0 Back: 552.461
INFO - Atoms: 151745/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 24582884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.16 Prop: 29195.205 PropClause: 28580.159 Set: 5027.219 Check: 0.0 Back: 555.882
INFO - Atoms: 151357/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 24733985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.171 Prop: 29365.5 PropClause: 28746.734 Set: 5053.323 Check: 0.0 Back: 559.302
INFO - Atoms: 151101/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 24884698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.183 Prop: 29522.502 PropClause: 28899.959 Set: 5079.104 Check: 0.0 Back: 562.741
INFO - Atoms: 150713/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 25035153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.195 Prop: 29690.555 PropClause: 29064.279 Set: 5105.164 Check: 0.0 Back: 566.155
INFO - Atoms: 150455/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 25185220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.208 Prop: 29846.882 PropClause: 29216.878 Set: 5131.119 Check: 0.0 Back: 569.551
INFO - Atoms: 150067/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 25335029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.219 Prop: 30015.117 PropClause: 29381.447 Set: 5156.888 Check: 0.0 Back: 572.949
INFO - Atoms: 149809/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 25484448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.232 Prop: 30172.859 PropClause: 29535.483 Set: 5182.713 Check: 0.0 Back: 576.337
INFO - Atoms: 149419/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 25633609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.244 Prop: 30343.828 PropClause: 29702.75 Set: 5208.363 Check: 0.0 Back: 579.841
INFO - Atoms: 149161/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 25782384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.257 Prop: 30499.863 PropClause: 29855.071 Set: 5233.932 Check: 0.0 Back: 583.208
INFO - Atoms: 148775/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 25930899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.27 Prop: 30672.949 PropClause: 30024.5 Set: 5259.882 Check: 0.0 Back: 586.59
INFO - Atoms: 148515/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 26079026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 30833.206 PropClause: 30181.06 Set: 5285.874 Check: 0.0 Back: 589.949
INFO - Atoms: 148127/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 26226897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 31002.251 PropClause: 30346.45 Set: 5311.674 Check: 0.0 Back: 593.325
INFO - Atoms: 147871/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 26374378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.311 Prop: 31158.038 PropClause: 30498.601 Set: 5357.803 Check: 0.0 Back: 596.679
INFO - Atoms: 147481/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 26521537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.324 Prop: 31327.208 PropClause: 30664.149 Set: 5383.356 Check: 0.0 Back: 600.028
INFO - Atoms: 147159/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 26668374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.337 Prop: 31484.309 PropClause: 30817.597 Set: 5408.974 Check: 0.0 Back: 603.346
INFO - Atoms: 146837/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 26814953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.35 Prop: 31658.461 PropClause: 30988.085 Set: 5434.288 Check: 0.0 Back: 606.706
INFO - Atoms: 146579/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 26961142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.362 Prop: 31813.438 PropClause: 31139.418 Set: 5459.766 Check: 0.0 Back: 610.08
INFO - Atoms: 146189/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 27107075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.375 Prop: 31984.409 PropClause: 31306.768 Set: 5485.65 Check: 0.0 Back: 613.41
INFO - Atoms: 145933/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 27252620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.388 Prop: 32140.03 PropClause: 31458.778 Set: 5510.986 Check: 0.0 Back: 616.765
INFO - Atoms: 145545/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 27397900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.401 Prop: 32304.269 PropClause: 31619.398 Set: 5536.25 Check: 0.0 Back: 620.068
INFO - Atoms: 145280/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 27542797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.413 Prop: 32457.514 PropClause: 31769.03 Set: 5561.21 Check: 0.0 Back: 623.384
INFO - Atoms: 144897/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 27687436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.425 Prop: 32618.105 PropClause: 31926.025 Set: 5585.945 Check: 0.0 Back: 626.696
INFO - Atoms: 144639/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 27831689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.436 Prop: 32766.67 PropClause: 32071.02 Set: 5610.515 Check: 0.0 Back: 629.953
INFO - Atoms: 144253/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 27975682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.447 Prop: 32926.899 PropClause: 32227.686 Set: 5635.432 Check: 0.0 Back: 633.22
INFO - Atoms: 143993/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 28119289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.46 Prop: 33069.555 PropClause: 32366.796 Set: 5659.917 Check: 0.0 Back: 636.495
INFO - Atoms: 143607/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 28262631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.472 Prop: 33226.779 PropClause: 32520.468 Set: 5684.539 Check: 0.0 Back: 639.749
INFO - Atoms: 143342/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 28405592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.485 Prop: 33366.883 PropClause: 32657.041 Set: 5708.958 Check: 0.0 Back: 643.01
INFO - Atoms: 142961/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 28548293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.497 Prop: 33522.825 PropClause: 32809.459 Set: 5733.554 Check: 0.0 Back: 646.244
INFO - Atoms: 142701/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 28690606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.511 Prop: 33667.432 PropClause: 32950.531 Set: 5758.204 Check: 0.0 Back: 649.486
INFO - Atoms: 142313/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 28832661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 33824.446 PropClause: 33104.047 Set: 5782.493 Check: 0.0 Back: 652.728
INFO - Atoms: 142055/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 28974330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.538 Prop: 33967.69 PropClause: 33243.775 Set: 5860.506 Check: 0.0 Back: 655.948
INFO - Atoms: 141669/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 29115739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.55 Prop: 34128.822 PropClause: 33401.393 Set: 5884.932 Check: 0.0 Back: 659.133
INFO - Atoms: 141409/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 29256762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.565 Prop: 34278.653 PropClause: 33547.693 Set: 5909.451 Check: 0.0 Back: 662.36
INFO - Atoms: 141023/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 29397525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.575 Prop: 34435.807 PropClause: 33701.364 Set: 5933.486 Check: 0.0 Back: 665.578
INFO - Atoms: 140763/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 29537900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.588 Prop: 34578.465 PropClause: 33840.558 Set: 5957.715 Check: 0.0 Back: 668.769
INFO - Atoms: 140375/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 29678019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.602 Prop: 34735.468 PropClause: 33994.103 Set: 5981.783 Check: 0.0 Back: 671.99
INFO - Atoms: 140119/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 29817750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.614 Prop: 34878.218 PropClause: 34133.392 Set: 6005.517 Check: 0.0 Back: 675.188
INFO - Atoms: 139731/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 29957221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.627 Prop: 35033.258 PropClause: 34284.974 Set: 6029.53 Check: 0.0 Back: 678.348
INFO - Atoms: 139471/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 30096304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.638 Prop: 35174.925 PropClause: 34423.191 Set: 6053.311 Check: 0.0 Back: 681.502
INFO - Atoms: 139083/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 30235129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.651 Prop: 35333.7 PropClause: 34578.508 Set: 6077.662 Check: 0.0 Back: 684.636
INFO - Atoms: 138825/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 30373566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.664 Prop: 35477.799 PropClause: 34719.137 Set: 6101.462 Check: 0.0 Back: 687.827
INFO - Atoms: 138437/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 30511747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 35632.762 PropClause: 34870.656 Set: 6125.517 Check: 0.0 Back: 690.955
INFO - Atoms: 138181/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 30649540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.689 Prop: 35774.434 PropClause: 35008.9 Set: 6149.697 Check: 0.0 Back: 694.092
INFO - Atoms: 137793/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 30787009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.701 Prop: 35920.497 PropClause: 35151.565 Set: 6172.848 Check: 0.0 Back: 697.257
INFO - Atoms: 137469/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 30924156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.713 Prop: 36051.635 PropClause: 35279.33 Set: 6195.746 Check: 0.0 Back: 700.368
INFO - Atoms: 137147/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 31060979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.725 Prop: 36192.234 PropClause: 35416.545 Set: 6218.594 Check: 0.0 Back: 703.469
INFO - Atoms: 136823/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 31197480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.737 Prop: 36323.529 PropClause: 35544.466 Set: 6241.543 Check: 0.0 Back: 706.543
INFO - Atoms: 136501/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 31333723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 36471.544 PropClause: 35689.081 Set: 6265.185 Check: 0.0 Back: 709.629
INFO - Atoms: 136243/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 31469576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.762 Prop: 36600.606 PropClause: 35814.788 Set: 6288.177 Check: 0.0 Back: 712.791
INFO - Atoms: 135853/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 31605173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.774 Prop: 36739.462 PropClause: 35950.308 Set: 6310.899 Check: 0.0 Back: 715.836
INFO - Atoms: 135597/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 31740380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.787 Prop: 36874.697 PropClause: 36082.226 Set: 6334.026 Check: 0.0 Back: 718.888
INFO - Atoms: 135207/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 31875329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.814 Prop: 37018.188 PropClause: 36222.389 Set: 6357.037 Check: 0.0 Back: 721.96
INFO - Atoms: 134949/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 32009892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.827 Prop: 37151.191 PropClause: 36352.066 Set: 6379.668 Check: 0.0 Back: 725.046
INFO - Atoms: 134563/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 32144190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.839 Prop: 37295.435 PropClause: 36493.0 Set: 6402.811 Check: 0.0 Back: 728.095
INFO - Atoms: 134298/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 32278105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.85 Prop: 37425.939 PropClause: 36620.209 Set: 6425.655 Check: 0.0 Back: 731.131
INFO - Atoms: 133915/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 32411698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.862 Prop: 37568.976 PropClause: 36759.95 Set: 6448.507 Check: 0.0 Back: 734.155
INFO - Atoms: 133593/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 32544967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 37697.867 PropClause: 36885.557 Set: 6470.956 Check: 0.0 Back: 737.167
INFO - Atoms: 133269/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 32677974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.885 Prop: 37840.313 PropClause: 37024.716 Set: 6493.446 Check: 0.0 Back: 740.198
INFO - Atoms: 133007/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 32810597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.897 Prop: 37973.874 PropClause: 37154.949 Set: 6516.218 Check: 0.0 Back: 743.235
INFO - Atoms: 132623/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 32941304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.943 Prop: 38114.253 PropClause: 37292.091 Set: 6538.39 Check: 0.0 Back: 746.266
INFO - Atoms: 130707/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 33071689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.003 Prop: 38241.21 PropClause: 37415.824 Set: 6560.537 Check: 0.0 Back: 749.228
INFO - Atoms: 130385/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 33201814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.02 Prop: 38378.356 PropClause: 37549.745 Set: 6582.614 Check: 0.0 Back: 752.196
INFO - Atoms: 130125/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 33331553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.062 Prop: 38501.307 PropClause: 37669.5 Set: 6604.53 Check: 0.0 Back: 755.138
INFO - Atoms: 129739/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 33461034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.071 Prop: 38638.007 PropClause: 37802.959 Set: 6626.624 Check: 0.0 Back: 758.072
INFO - Atoms: 129481/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 33590125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 38762.137 PropClause: 37923.891 Set: 6648.403 Check: 0.0 Back: 761.003
INFO - Atoms: 129091/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 33718960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.088 Prop: 38897.307 PropClause: 38055.863 Set: 6669.84 Check: 0.0 Back: 763.917
INFO - Atoms: 128835/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 33847407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.094 Prop: 39016.131 PropClause: 38171.518 Set: 6691.154 Check: 0.0 Back: 766.817
INFO - Atoms: 128447/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 33975594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 39146.548 PropClause: 38298.776 Set: 6712.677 Check: 0.0 Back: 769.711
INFO - Atoms: 128187/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 34103393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.109 Prop: 39264.073 PropClause: 38413.153 Set: 6733.767 Check: 0.0 Back: 772.58
INFO - Atoms: 127799/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 34230934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.117 Prop: 39389.66 PropClause: 38535.585 Set: 6754.873 Check: 0.0 Back: 775.462
INFO - Atoms: 127541/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 34358089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.124 Prop: 39508.055 PropClause: 38650.828 Set: 6807.107 Check: 0.0 Back: 778.324
INFO - Atoms: 127155/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 34484984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.132 Prop: 39636.121 PropClause: 38775.764 Set: 6828.345 Check: 0.0 Back: 781.172
INFO - Atoms: 126895/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 34611493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.14 Prop: 39751.557 PropClause: 38888.076 Set: 6849.374 Check: 0.0 Back: 784.068
INFO - Atoms: 126509/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 34737744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.148 Prop: 39875.798 PropClause: 39009.218 Set: 6870.342 Check: 0.0 Back: 786.926
INFO - Atoms: 126251/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 34863607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.156 Prop: 39994.302 PropClause: 39124.633 Set: 6891.392 Check: 0.0 Back: 789.79
INFO - Atoms: 125863/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 34989210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.164 Prop: 40122.984 PropClause: 39250.2 Set: 6912.274 Check: 0.0 Back: 792.628
INFO - Atoms: 125603/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 35114425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.172 Prop: 40242.628 PropClause: 39366.719 Set: 6933.78 Check: 0.0 Back: 795.477
INFO - Atoms: 125215/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 35239384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 40371.61 PropClause: 39492.623 Set: 6954.683 Check: 0.0 Back: 798.34
INFO - Atoms: 124959/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 35363955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.19 Prop: 40490.813 PropClause: 39608.731 Set: 6975.589 Check: 0.0 Back: 801.215
INFO - Atoms: 124571/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 35488259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.198 Prop: 40619.009 PropClause: 39733.831 Set: 6996.551 Check: 0.0 Back: 804.059
INFO - Atoms: 124304/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 35612182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.206 Prop: 40736.81 PropClause: 39848.569 Set: 7017.57 Check: 0.0 Back: 806.891
INFO - Atoms: 123923/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 35735847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.215 Prop: 40863.53 PropClause: 39972.236 Set: 7065.2 Check: 0.0 Back: 809.695
INFO - Atoms: 123665/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 35859124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.224 Prop: 40982.378 PropClause: 40088.047 Set: 7085.916 Check: 0.0 Back: 812.483
INFO - Atoms: 123277/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 35982137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 41112.685 PropClause: 40215.271 Set: 7107.114 Check: 0.0 Back: 815.285
INFO - Atoms: 123013/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 36104770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.24 Prop: 41230.136 PropClause: 40329.674 Set: 7127.739 Check: 0.0 Back: 818.107
INFO - Atoms: 122633/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 36227145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.25 Prop: 41353.889 PropClause: 40450.396 Set: 7148.485 Check: 0.0 Back: 820.885
INFO - Atoms: 122375/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 36349132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.258 Prop: 41468.808 PropClause: 40562.303 Set: 7168.844 Check: 0.0 Back: 823.679
INFO - Atoms: 121987/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 36470861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.265 Prop: 41593.807 PropClause: 40684.214 Set: 7189.304 Check: 0.0 Back: 826.437
INFO - Atoms: 121729/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 36592202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.274 Prop: 41707.797 PropClause: 40795.211 Set: 7209.474 Check: 0.0 Back: 829.187
INFO - Atoms: 121341/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 36713283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.281 Prop: 41825.443 PropClause: 40909.875 Set: 7229.455 Check: 0.0 Back: 831.916
INFO - Atoms: 121081/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 36833978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.289 Prop: 41931.083 PropClause: 41012.543 Set: 7249.473 Check: 0.0 Back: 834.64
INFO - Atoms: 120695/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 36954413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.295 Prop: 42043.123 PropClause: 41121.635 Set: 7269.138 Check: 0.0 Back: 837.383
INFO - Atoms: 120435/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 37074462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.304 Prop: 42150.779 PropClause: 41226.329 Set: 7289.077 Check: 0.0 Back: 840.107
INFO - Atoms: 120049/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 37194309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.312 Prop: 42264.341 PropClause: 41336.906 Set: 7308.958 Check: 0.0 Back: 842.814
INFO - Atoms: 119847/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 37312116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.32 Prop: 42369.914 PropClause: 41439.534 Set: 7328.259 Check: 0.0 Back: 845.527
INFO - Atoms: 117807/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 37429665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.328 Prop: 42479.325 PropClause: 41546.067 Set: 7347.476 Check: 0.0 Back: 848.166
INFO - Atoms: 117549/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 37546828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.335 Prop: 42581.123 PropClause: 41644.978 Set: 7366.619 Check: 0.0 Back: 850.83
INFO - Atoms: 117163/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 37663667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.343 Prop: 42691.166 PropClause: 41752.137 Set: 7385.779 Check: 0.0 Back: 853.506
INFO - Atoms: 116839/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 37780184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.351 Prop: 42790.234 PropClause: 41848.343 Set: 7404.654 Check: 0.0 Back: 856.133
INFO - Atoms: 116517/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 37896443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.359 Prop: 42899.242 PropClause: 41954.512 Set: 7423.697 Check: 0.0 Back: 858.735
INFO - Atoms: 116259/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 38012312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 43002.52 PropClause: 42054.922 Set: 7442.951 Check: 0.0 Back: 861.368
INFO - Atoms: 115869/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 38127923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.376 Prop: 43112.772 PropClause: 42162.304 Set: 7461.74 Check: 0.0 Back: 864.044
INFO - Atoms: 115611/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 38243148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.384 Prop: 43217.092 PropClause: 42263.787 Set: 7480.819 Check: 0.0 Back: 866.66
INFO - Atoms: 115225/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 38358113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 43328.539 PropClause: 42372.393 Set: 7499.791 Check: 0.0 Back: 869.264
INFO - Atoms: 114965/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 38472692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 43429.238 PropClause: 42470.237 Set: 7518.471 Check: 0.0 Back: 871.865
INFO - Atoms: 114579/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 38587011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 43539.028 PropClause: 42577.215 Set: 7537.207 Check: 0.0 Back: 874.447
INFO - Atoms: 114319/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 38700942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 43638.611 PropClause: 42673.978 Set: 7555.753 Check: 0.0 Back: 877.041
INFO - Atoms: 113931/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 38814615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 43744.233 PropClause: 42776.795 Set: 7574.509 Check: 0.0 Back: 879.612
INFO - Atoms: 113673/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 38927900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.432 Prop: 43842.184 PropClause: 42871.947 Set: 7593.067 Check: 0.0 Back: 882.181
INFO - Atoms: 113285/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 39040927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.44 Prop: 43946.561 PropClause: 42973.53 Set: 7611.433 Check: 0.0 Back: 884.759
INFO - Atoms: 113027/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 39153568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.449 Prop: 44043.46 PropClause: 43067.654 Set: 7629.796 Check: 0.0 Back: 887.31
INFO - Atoms: 112641/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 39265885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.458 Prop: 44144.968 PropClause: 43166.379 Set: 7648.024 Check: 0.0 Back: 889.856
INFO - Atoms: 112317/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 39377880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.465 Prop: 44237.899 PropClause: 43256.547 Set: 7666.238 Check: 0.0 Back: 892.401
INFO - Atoms: 111995/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 39489617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.473 Prop: 44337.49 PropClause: 43353.367 Set: 7684.635 Check: 0.0 Back: 894.937
INFO - Atoms: 111737/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 39600966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 44431.995 PropClause: 43445.102 Set: 7703.228 Check: 0.0 Back: 897.47
INFO - Atoms: 111349/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 39712057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.488 Prop: 44530.804 PropClause: 43541.117 Set: 7721.328 Check: 0.0 Back: 899.997
INFO - Atoms: 111091/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 39822758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.497 Prop: 44623.449 PropClause: 43630.995 Set: 7739.137 Check: 0.0 Back: 902.508
INFO - Atoms: 110701/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 39933203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.504 Prop: 44717.677 PropClause: 43722.468 Set: 7757.063 Check: 0.0 Back: 905.004
INFO - Atoms: 110445/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 40043260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.512 Prop: 44805.4 PropClause: 43807.479 Set: 7774.719 Check: 0.0 Back: 907.512
INFO - Atoms: 110057/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 40153057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 44898.834 PropClause: 43898.193 Set: 7792.481 Check: 0.0 Back: 909.988
INFO - Atoms: 109797/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 40262466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.529 Prop: 44986.121 PropClause: 43982.769 Set: 7810.057 Check: 0.0 Back: 912.519
INFO - Atoms: 109409/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 40371617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.537 Prop: 45081.707 PropClause: 44075.676 Set: 7827.795 Check: 0.0 Back: 914.987
INFO - Atoms: 109151/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 40480382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.542 Prop: 45168.497 PropClause: 44159.782 Set: 7845.466 Check: 0.0 Back: 917.434
INFO - Atoms: 108765/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 40588889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.552 Prop: 45261.741 PropClause: 44250.365 Set: 7893.119 Check: 0.0 Back: 919.889
INFO - Atoms: 108507/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 40697006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.559 Prop: 45348.613 PropClause: 44334.546 Set: 7910.544 Check: 0.0 Back: 922.34
INFO - Atoms: 108117/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 40804867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.569 Prop: 45451.634 PropClause: 44434.879 Set: 7928.571 Check: 0.0 Back: 924.784
INFO - Atoms: 107861/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 40912340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.577 Prop: 45545.435 PropClause: 44525.999 Set: 7946.295 Check: 0.0 Back: 927.248
INFO - Atoms: 107473/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 41019489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.584 Prop: 45641.597 PropClause: 44619.392 Set: 7963.973 Check: 0.0 Back: 929.723
INFO - Atoms: 107149/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 41126316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.593 Prop: 45728.615 PropClause: 44703.769 Set: 7981.222 Check: 0.0 Back: 932.172
INFO - Atoms: 106827/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 41232880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.601 Prop: 45819.345 PropClause: 44791.871 Set: 7998.493 Check: 0.0 Back: 934.596
INFO - Atoms: 106564/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 41339059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.61 Prop: 45904.182 PropClause: 44874.078 Set: 8016.029 Check: 0.0 Back: 937.108
INFO - Atoms: 106179/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 41444980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.618 Prop: 45994.822 PropClause: 44962.098 Set: 8033.018 Check: 0.0 Back: 939.508
INFO - Atoms: 105921/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 41550513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.626 Prop: 46080.607 PropClause: 45045.26 Set: 8050.187 Check: 0.0 Back: 941.896
INFO - Atoms: 105533/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 41655788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.634 Prop: 46174.078 PropClause: 45136.123 Set: 8067.478 Check: 0.0 Back: 944.314
INFO - Atoms: 105275/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 41760675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 46258.291 PropClause: 45217.74 Set: 8084.465 Check: 0.0 Back: 946.705
INFO - Atoms: 104887/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 41865306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.648 Prop: 46346.414 PropClause: 45303.27 Set: 8101.525 Check: 0.0 Back: 949.083
INFO - Atoms: 104631/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 41969547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.654 Prop: 46429.766 PropClause: 45384.045 Set: 8118.448 Check: 0.0 Back: 951.463
INFO - Atoms: 104241/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 42073530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 46516.936 PropClause: 45468.666 Set: 8135.087 Check: 0.0 Back: 953.822
INFO - Atoms: 103983/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 42177127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.672 Prop: 46599.776 PropClause: 45548.957 Set: 8151.694 Check: 0.0 Back: 956.163
INFO - Atoms: 103597/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 42280466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.68 Prop: 46685.968 PropClause: 45632.564 Set: 8168.484 Check: 0.0 Back: 958.498
INFO - Atoms: 103339/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 42383417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.688 Prop: 46765.721 PropClause: 45709.763 Set: 8185.098 Check: 0.0 Back: 960.846
INFO - Atoms: 102951/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 42484516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.696 Prop: 46849.451 PropClause: 45790.987 Set: 8201.087 Check: 0.0 Back: 963.17
INFO - Atoms: 101099/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 42585227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.704 Prop: 46926.423 PropClause: 45865.474 Set: 8217.197 Check: 0.0 Back: 965.45
INFO - Atoms: 100711/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 42685678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.713 Prop: 47010.172 PropClause: 45946.744 Set: 8233.158 Check: 0.0 Back: 967.725
INFO - Atoms: 100451/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 42785741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 47088.788 PropClause: 46022.886 Set: 8249.047 Check: 0.0 Back: 969.999
INFO - Atoms: 100063/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 42885546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.729 Prop: 47170.817 PropClause: 46102.462 Set: 8264.776 Check: 0.0 Back: 972.27
INFO - Atoms: 99805/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 42984965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.736 Prop: 47245.411 PropClause: 46174.618 Set: 8280.387 Check: 0.0 Back: 974.554
INFO - Atoms: 99419/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 43084126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.743 Prop: 47326.205 PropClause: 46252.978 Set: 8296.182 Check: 0.0 Back: 976.79
INFO - Atoms: 99161/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 43182899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.751 Prop: 47400.225 PropClause: 46324.549 Set: 8311.792 Check: 0.0 Back: 979.016
INFO - Atoms: 98773/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 43281414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.757 Prop: 47481.044 PropClause: 46402.95 Set: 8327.328 Check: 0.0 Back: 981.248
INFO - Atoms: 98515/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 43379539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.763 Prop: 47554.268 PropClause: 46473.768 Set: 8342.816 Check: 0.0 Back: 983.487
INFO - Atoms: 98125/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 43477406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.773 Prop: 47633.168 PropClause: 46550.245 Set: 8358.452 Check: 0.0 Back: 985.702
INFO - Atoms: 97867/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 43574887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.78 Prop: 47704.155 PropClause: 46618.825 Set: 8373.828 Check: 0.0 Back: 987.903
INFO - Atoms: 97481/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 43672108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.789 Prop: 47782.496 PropClause: 46694.73 Set: 8389.423 Check: 0.0 Back: 990.126
INFO - Atoms: 97221/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 43768943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.796 Prop: 47855.576 PropClause: 46765.339 Set: 8404.884 Check: 0.0 Back: 992.333
INFO - Atoms: 96835/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 43865520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.804 Prop: 47932.443 PropClause: 46839.831 Set: 8420.072 Check: 0.0 Back: 994.541
INFO - Atoms: 96577/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 43961709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.811 Prop: 48000.578 PropClause: 46905.591 Set: 8435.183 Check: 0.0 Back: 996.731
INFO - Atoms: 96189/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 44057638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.819 Prop: 48074.482 PropClause: 46977.143 Set: 8450.181 Check: 0.0 Back: 998.911
INFO - Atoms: 95929/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 44153181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.827 Prop: 48145.012 PropClause: 47045.288 Set: 8465.199 Check: 0.0 Back: 1001.081
INFO - Atoms: 95543/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 44248466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 48219.114 PropClause: 47117.039 Set: 8480.26 Check: 0.0 Back: 1003.262
INFO - Atoms: 95285/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 44343363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.846 Prop: 48287.048 PropClause: 47182.623 Set: 8495.207 Check: 0.0 Back: 1005.421
INFO - Atoms: 94897/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 44438000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.854 Prop: 48360.293 PropClause: 47253.519 Set: 8510.205 Check: 0.0 Back: 1007.591
INFO - Atoms: 94637/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 44532251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.863 Prop: 48429.548 PropClause: 47320.444 Set: 8525.114 Check: 0.0 Back: 1009.73
INFO - Atoms: 94251/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 44626244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 48499.576 PropClause: 47388.132 Set: 8539.972 Check: 0.0 Back: 1011.875
INFO - Atoms: 93993/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 44719847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.877 Prop: 48565.296 PropClause: 47451.542 Set: 8554.647 Check: 0.0 Back: 1014.0
INFO - Atoms: 93603/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 44813192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.886 Prop: 48638.119 PropClause: 47522.063 Set: 8588.444 Check: 0.0 Back: 1016.115
INFO - Atoms: 93345/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 44906149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.892 Prop: 48702.112 PropClause: 47583.747 Set: 8602.99 Check: 0.0 Back: 1018.241
INFO - Atoms: 92957/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 44998848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.901 Prop: 48771.807 PropClause: 47651.144 Set: 8617.598 Check: 0.0 Back: 1020.352
INFO - Atoms: 92699/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 45091159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.909 Prop: 48834.712 PropClause: 47711.773 Set: 8632.038 Check: 0.0 Back: 1022.448
INFO - Atoms: 92311/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 45183212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.917 Prop: 48904.436 PropClause: 47779.214 Set: 8646.602 Check: 0.0 Back: 1024.54
INFO - Atoms: 92053/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 45274879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.926 Prop: 48968.895 PropClause: 47841.378 Set: 8661.173 Check: 0.0 Back: 1026.649
INFO - Atoms: 91667/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 45366288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.935 Prop: 49039.42 PropClause: 47909.616 Set: 8675.75 Check: 0.0 Back: 1028.747
INFO - Atoms: 91409/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 45457309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.941 Prop: 49101.059 PropClause: 47969.005 Set: 8690.054 Check: 0.0 Back: 1030.844
INFO - Atoms: 91021/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 45548070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 49165.393 PropClause: 48031.08 Set: 8704.228 Check: 0.0 Back: 1032.923
INFO - Atoms: 90761/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 45638445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.957 Prop: 49223.073 PropClause: 48086.512 Set: 8718.193 Check: 0.0 Back: 1034.986
INFO - Atoms: 90375/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 45728560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.963 Prop: 49283.354 PropClause: 48144.565 Set: 8731.931 Check: 0.0 Back: 1037.023
INFO - Atoms: 90115/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 45818287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.978 Prop: 49339.694 PropClause: 48198.709 Set: 8745.794 Check: 0.0 Back: 1039.048
INFO - Atoms: 89727/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 45907758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.986 Prop: 49401.015 PropClause: 48257.809 Set: 8759.565 Check: 0.0 Back: 1041.073
INFO - Atoms: 89471/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 45996841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.993 Prop: 49455.812 PropClause: 48310.412 Set: 8773.277 Check: 0.0 Back: 1043.117
INFO - Atoms: 89083/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 46085664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 49514.123 PropClause: 48366.514 Set: 8787.021 Check: 0.0 Back: 1045.13
INFO - Atoms: 88823/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 46174099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.008 Prop: 49569.629 PropClause: 48419.838 Set: 8800.609 Check: 0.0 Back: 1047.144
INFO - Atoms: 88435/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 46262278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 49626.898 PropClause: 48474.942 Set: 8814.134 Check: 0.0 Back: 1049.126
INFO - Atoms: 88179/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 46350069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.023 Prop: 49679.895 PropClause: 48525.778 Set: 8827.442 Check: 0.0 Back: 1051.115
INFO - Atoms: 87791/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 46437600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.031 Prop: 49735.932 PropClause: 48579.66 Set: 8840.791 Check: 0.0 Back: 1053.085
INFO - Atoms: 87531/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 46524743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.038 Prop: 49790.212 PropClause: 48631.809 Set: 8854.148 Check: 0.0 Back: 1055.046
INFO - Atoms: 87143/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 46611628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.045 Prop: 49845.382 PropClause: 48684.838 Set: 8867.356 Check: 0.0 Back: 1057.008
INFO - Atoms: 86885/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 46698127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.054 Prop: 49898.296 PropClause: 48735.613 Set: 8880.694 Check: 0.0 Back: 1058.993
INFO - Atoms: 86499/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 46784368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 49955.152 PropClause: 48790.332 Set: 8894.099 Check: 0.0 Back: 1060.974
INFO - Atoms: 86241/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 46870219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.069 Prop: 50010.028 PropClause: 48843.079 Set: 8907.31 Check: 0.0 Back: 1062.922
INFO - Atoms: 85851/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 46955812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.076 Prop: 50062.78 PropClause: 48893.722 Set: 8920.304 Check: 0.0 Back: 1064.859
INFO - Atoms: 85593/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 47041019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.083 Prop: 50113.259 PropClause: 48942.109 Set: 8933.333 Check: 0.0 Back: 1066.795
INFO - Atoms: 85207/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 47125966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.091 Prop: 50167.323 PropClause: 48994.08 Set: 8946.275 Check: 0.0 Back: 1068.713
INFO - Atoms: 84947/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 47210527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.098 Prop: 50219.64 PropClause: 49044.315 Set: 8959.303 Check: 0.0 Back: 1070.656
INFO - Atoms: 84561/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 47294830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.106 Prop: 50271.848 PropClause: 49094.443 Set: 8972.21 Check: 0.0 Back: 1072.562
INFO - Atoms: 84303/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 47378745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.114 Prop: 50322.388 PropClause: 49142.917 Set: 8985.189 Check: 0.0 Back: 1074.481
INFO - Atoms: 83915/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 47462400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 50374.285 PropClause: 49192.752 Set: 8997.912 Check: 0.0 Back: 1076.385
INFO - Atoms: 83655/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 47545669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.129 Prop: 50421.598 PropClause: 49238.016 Set: 9010.521 Check: 0.0 Back: 1078.278
INFO - Atoms: 83269/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 47628680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.138 Prop: 50471.139 PropClause: 49285.508 Set: 9044.229 Check: 0.0 Back: 1080.165
INFO - Atoms: 83011/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 47711301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.146 Prop: 50517.368 PropClause: 49329.692 Set: 9056.749 Check: 0.0 Back: 1082.058
INFO - Atoms: 82621/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 47793664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.155 Prop: 50565.966 PropClause: 49376.253 Set: 9069.082 Check: 0.0 Back: 1083.921
INFO - Atoms: 82363/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 47875706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.164 Prop: 50611.152 PropClause: 49419.413 Set: 9081.575 Check: 0.0 Back: 1085.786
INFO - Atoms: 82042/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 47955997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.172 Prop: 50657.883 PropClause: 49464.161 Set: 9093.625 Check: 0.0 Back: 1087.639
INFO - Atoms: 80291/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 48035900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.181 Prop: 50700.08 PropClause: 49504.385 Set: 9105.598 Check: 0.0 Back: 1089.461
INFO - Atoms: 79903/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 48115545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.19 Prop: 50745.403 PropClause: 49547.729 Set: 9117.576 Check: 0.0 Back: 1091.286
INFO - Atoms: 79645/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 48194802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.198 Prop: 50787.469 PropClause: 49587.831 Set: 9129.416 Check: 0.0 Back: 1093.1
INFO - Atoms: 79257/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 48273799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 50831.136 PropClause: 49629.54 Set: 9141.248 Check: 0.0 Back: 1094.902
INFO - Atoms: 78997/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 48352408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.216 Prop: 50871.583 PropClause: 49668.031 Set: 9152.975 Check: 0.0 Back: 1096.691
INFO - Atoms: 78609/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 48430759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.225 Prop: 50914.584 PropClause: 49709.074 Set: 9164.84 Check: 0.0 Back: 1098.485
INFO - Atoms: 78351/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 48508724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.233 Prop: 50954.019 PropClause: 49746.559 Set: 9176.514 Check: 0.0 Back: 1100.285
INFO - Atoms: 77965/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 48586429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.242 Prop: 50996.77 PropClause: 49787.377 Set: 9188.165 Check: 0.0 Back: 1102.065
INFO - Atoms: 77705/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 48663748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 51034.162 PropClause: 49822.866 Set: 9199.59 Check: 0.0 Back: 1103.842
INFO - Atoms: 77319/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 48740807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.256 Prop: 51072.644 PropClause: 49859.424 Set: 9211.046 Check: 0.0 Back: 1105.594
INFO - Atoms: 77059/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 48817478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.262 Prop: 51109.305 PropClause: 49894.201 Set: 9222.304 Check: 0.0 Back: 1107.353
INFO - Atoms: 76671/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 48893893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.271 Prop: 51147.42 PropClause: 49930.41 Set: 9233.664 Check: 0.0 Back: 1109.078
INFO - Atoms: 76415/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 48969918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.278 Prop: 51184.223 PropClause: 49965.309 Set: 9245.015 Check: 0.0 Back: 1110.848
INFO - Atoms: 76025/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 49045685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.287 Prop: 51220.109 PropClause: 49999.296 Set: 9272.115 Check: 0.0 Back: 1112.592
INFO - Atoms: 75767/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 49121066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.293 Prop: 51258.115 PropClause: 50035.435 Set: 9283.292 Check: 0.0 Back: 1114.301
INFO - Atoms: 75381/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 49196189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.342 Prop: 51294.038 PropClause: 50069.506 Set: 9294.226 Check: 0.0 Back: 1115.999
INFO - Atoms: 75123/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 49270922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.385 Prop: 51328.507 PropClause: 50102.129 Set: 9305.232 Check: 0.0 Back: 1117.702
INFO - Atoms: 74733/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 49345397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.431 Prop: 51364.202 PropClause: 50135.979 Set: 9316.087 Check: 0.0 Back: 1119.396
INFO - Atoms: 74475/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 49419486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.439 Prop: 51397.499 PropClause: 50167.424 Set: 9327.029 Check: 0.0 Back: 1121.086
INFO - Atoms: 74089/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 49493315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.447 Prop: 51434.16 PropClause: 50202.207 Set: 9338.017 Check: 0.0 Back: 1122.777
INFO - Atoms: 73829/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 49566758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.456 Prop: 51470.873 PropClause: 50237.036 Set: 9349.148 Check: 0.0 Back: 1124.473
INFO - Atoms: 73443/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 49638672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.465 Prop: 51504.428 PropClause: 50268.803 Set: 9359.514 Check: 0.0 Back: 1126.172
INFO - Atoms: 71914/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 49710198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.473 Prop: 51536.886 PropClause: 50299.473 Set: 9369.995 Check: 0.0 Back: 1127.805
INFO - Atoms: 71526/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 49781466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.482 Prop: 51568.978 PropClause: 50329.802 Set: 9380.339 Check: 0.0 Back: 1129.442
INFO - Atoms: 71268/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 49852348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.49 Prop: 51599.859 PropClause: 50358.915 Set: 9390.855 Check: 0.0 Back: 1131.064
INFO - Atoms: 70882/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 49922972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.497 Prop: 51630.933 PropClause: 50388.221 Set: 9401.081 Check: 0.0 Back: 1132.697
INFO - Atoms: 70624/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 49993208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.504 Prop: 51660.882 PropClause: 50416.388 Set: 9411.322 Check: 0.0 Back: 1134.319
INFO - Atoms: 70236/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 50063186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.51 Prop: 51690.404 PropClause: 50444.15 Set: 9421.383 Check: 0.0 Back: 1135.927
INFO - Atoms: 69978/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 50132776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.517 Prop: 51718.645 PropClause: 50470.641 Set: 9431.459 Check: 0.0 Back: 1137.537
INFO - Atoms: 69590/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 50202108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.525 Prop: 51747.539 PropClause: 50497.802 Set: 9441.401 Check: 0.0 Back: 1139.149
INFO - Atoms: 69332/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 50270735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.532 Prop: 51775.623 PropClause: 50524.166 Set: 9451.314 Check: 0.0 Back: 1140.748
INFO - Atoms: 68627/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 50339423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.54 Prop: 51803.885 PropClause: 50550.712 Set: 9461.251 Check: 0.0 Back: 1142.326
INFO - Atoms: 68688/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 50408042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.547 Prop: 51831.274 PropClause: 50576.38 Set: 9471.225 Check: 0.0 Back: 1143.896
INFO - Atoms: 68619/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 50476094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.555 Prop: 51859.257 PropClause: 50602.662 Set: 9481.014 Check: 0.0 Back: 1145.465
INFO - Atoms: 68052/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 50543756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.561 Prop: 51886.386 PropClause: 50628.102 Set: 9490.749 Check: 0.0 Back: 1147.021
INFO - Atoms: 67662/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 50611165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.567 Prop: 51914.114 PropClause: 50654.166 Set: 9500.269 Check: 0.0 Back: 1148.578
INFO - Atoms: 67409/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 50678184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.574 Prop: 51941.672 PropClause: 50680.065 Set: 9509.888 Check: 0.0 Back: 1150.115
INFO - Atoms: 67019/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 50744945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.581 Prop: 51969.972 PropClause: 50706.717 Set: 9519.387 Check: 0.0 Back: 1151.628
INFO - Atoms: 66761/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 50811318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.587 Prop: 51996.59 PropClause: 50731.677 Set: 9528.89 Check: 0.0 Back: 1153.143
INFO - Atoms: 66373/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 50875841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.593 Prop: 52022.477 PropClause: 50755.974 Set: 9537.773 Check: 0.0 Back: 1154.648
INFO - Atoms: 64523/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 50939976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.601 Prop: 52047.785 PropClause: 50779.653 Set: 9546.962 Check: 0.0 Back: 1156.103
INFO - Atoms: 64135/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 51003853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.608 Prop: 52072.183 PropClause: 50802.466 Set: 9555.781 Check: 0.0 Back: 1157.618
INFO - Atoms: 63877/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 51067342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.614 Prop: 52095.488 PropClause: 50824.204 Set: 9564.617 Check: 0.0 Back: 1159.071
INFO - Atoms: 63489/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 51130508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.62 Prop: 52118.546 PropClause: 50845.694 Set: 9573.247 Check: 0.0 Back: 1160.508
INFO - Atoms: 63166/197370 Clauses: 1217 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 886 Props: 60023221 Tprops: 0 Decides: 81784 RSplits: 0
INFO - Times: Expl: 3762.256 Prop: 62214.263 PropClause: 60678.084 Set: 9797.091 Check: 1.944 Back: 1371.17
INFO - Atoms: 62185/197370 Clauses: 1716 Axioms: 666882
INFO - Confl: 947 Props: 60170773 Tprops: 0 Decides: 82519 RSplits: 0
INFO - Times: Expl: 3869.702 Prop: 62361.49 PropClause: 60821.033 Set: 9800.717 Check: 1.963 Back: 1374.661
INFO - Atoms: 62608/197370 Clauses: 1777 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1447 Props: 66369428 Tprops: 0 Decides: 124130 RSplits: 0
INFO - Times: Expl: 6952.085 Prop: 69267.804 PropClause: 67548.089 Set: 9956.997 Check: 2.94 Back: 1520.78
INFO - Atoms: 62192/197370 Clauses: 1716 Axioms: 666882
INFO - Confl: 1476 Props: 66460086 Tprops: 0 Decides: 124575 RSplits: 0
INFO - Times: Expl: 7018.221 Prop: 69354.631 PropClause: 67632.218 Set: 9959.254 Check: 2.951 Back: 1522.926
INFO - Atoms: 62602/197370 Clauses: 1745 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1976 Props: 81539261 Tprops: 0 Decides: 249560 RSplits: 0
INFO - Times: Expl: 14004.123 Prop: 86901.588 PropClause: 84738.378 Set: 10336.553 Check: 5.997 Back: 1884.351
INFO - Atoms: 62176/197370 Clauses: 1716 Axioms: 666882
INFO - Confl: 2041 Props: 81790875 Tprops: 0 Decides: 250895 RSplits: 0
INFO - Times: Expl: 14153.643 Prop: 87136.795 PropClause: 84966.083 Set: 10342.659 Check: 6.029 Back: 1890.316
INFO - Atoms: 62526/197370 Clauses: 1781 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2505 Props: 92317583 Tprops: 0 Decides: 333426 RSplits: 0
INFO - Times: Expl: 19259.115 Prop: 99292.082 PropClause: 96811.103 Set: 10605.629 Check: 7.966 Back: 2146.054
INFO - Atoms: 62444/197370 Clauses: 1680 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2982 Props: 98531639 Tprops: 0 Decides: 375520 RSplits: 0
INFO - Times: Expl: 22522.244 Prop: 106535.992 PropClause: 103875.501 Set: 10763.834 Check: 8.956 Back: 2294.57
INFO - Atoms: 62514/197370 Clauses: 1693 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3482 Props: 104806962 Tprops: 0 Decides: 417523 RSplits: 0
INFO - Times: Expl: 25770.927 Prop: 113654.289 PropClause: 110812.408 Set: 10924.174 Check: 9.941 Back: 2444.992
INFO - Atoms: 62194/197370 Clauses: 1717 Axioms: 666882
INFO - Confl: 3500 Props: 104872953 Tprops: 0 Decides: 417849 RSplits: 0
INFO - Times: Expl: 25830.15 Prop: 113724.531 PropClause: 110880.794 Set: 10925.894 Check: 9.949 Back: 2446.562
INFO - Atoms: 62609/197370 Clauses: 1735 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3998 Props: 111018340 Tprops: 0 Decides: 459077 RSplits: 0
INFO - Times: Expl: 29027.608 Prop: 120800.267 PropClause: 117778.81 Set: 11083.316 Check: 10.921 Back: 2593.495
INFO - Atoms: 62511/197370 Clauses: 1715 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4477 Props: 116973509 Tprops: 0 Decides: 498964 RSplits: 0
INFO - Times: Expl: 32065.272 Prop: 127510.119 PropClause: 124317.339 Set: 11235.377 Check: 11.867 Back: 2735.993
INFO - Atoms: 62608/197370 Clauses: 1696 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4965 Props: 128413961 Tprops: 0 Decides: 589646 RSplits: 0
INFO - Times: Expl: 37410.021 Prop: 140902.516 PropClause: 137369.122 Set: 11522.946 Check: 14.069 Back: 3009.05
INFO - Atoms: 62522/197370 Clauses: 1705 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5461 Props: 141313091 Tprops: 0 Decides: 706115 RSplits: 0
INFO - Times: Expl: 42885.486 Prop: 156409.571 PropClause: 152489.92 Set: 11846.223 Check: 16.769 Back: 3318.002
INFO - Atoms: 62561/197370 Clauses: 1713 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5937 Props: 146674188 Tprops: 0 Decides: 753282 RSplits: 0
INFO - Times: Expl: 45633.565 Prop: 162566.943 PropClause: 158485.377 Set: 11985.018 Check: 17.878 Back: 3447.293
INFO - Atoms: 62517/197370 Clauses: 1693 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 6437 Props: 165079884 Tprops: 0 Decides: 907436 RSplits: 0
INFO - Times: Expl: 53862.852 Prop: 185112.21 PropClause: 180476.237 Set: 12447.87 Check: 21.672 Back: 3889.944
INFO - Atoms: 62200/197370 Clauses: 1717 Axioms: 666882
INFO - Confl: 6444 Props: 165097008 Tprops: 0 Decides: 907514 RSplits: 0
INFO - Times: Expl: 53887.991 Prop: 185133.663 PropClause: 180497.167 Set: 12448.37 Check: 21.674 Back: 3890.352
INFO - Atoms: 62443/197370 Clauses: 1724 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 6944 Props: 175028601 Tprops: 0 Decides: 993811 RSplits: 0
INFO - Times: Expl: 58469.502 Prop: 197121.812 PropClause: 192188.76 Set: 12698.297 Check: 23.713 Back: 4128.524
INFO - Atoms: 62201/197370 Clauses: 1717 Axioms: 666882
INFO - Confl: 6952 Props: 175050309 Tprops: 0 Decides: 993912 RSplits: 0
INFO - Times: Expl: 58493.074 Prop: 197147.001 PropClause: 192213.289 Set: 12698.915 Check: 23.715 Back: 4129.031
INFO - Atoms: 62662/197370 Clauses: 1725 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 7452 Props: 185344460 Tprops: 0 Decides: 1074416 RSplits: 0
INFO - Times: Expl: 63517.638 Prop: 209541.334 PropClause: 204305.546 Set: 12958.628 Check: 25.611 Back: 4375.926
INFO - Atoms: 62197/197370 Clauses: 1717 Axioms: 666882
INFO - Confl: 7460 Props: 185375574 Tprops: 0 Decides: 1074571 RSplits: 0
INFO - Times: Expl: 63557.096 Prop: 209571.581 PropClause: 204334.922 Set: 12959.477 Check: 25.615 Back: 4376.66
INFO - Atoms: 62611/197370 Clauses: 1725 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 7960 Props: 191650406 Tprops: 0 Decides: 1116792 RSplits: 0
INFO - Times: Expl: 66708.545 Prop: 216811.27 PropClause: 211393.607 Set: 13119.262 Check: 26.599 Back: 4526.222
INFO - Atoms: 62197/197370 Clauses: 1717 Axioms: 666882
INFO - Confl: 7973 Props: 191664977 Tprops: 0 Decides: 1116860 RSplits: 0
INFO - Times: Expl: 66731.168 Prop: 216821.654 PropClause: 211403.581 Set: 13119.678 Check: 26.601 Back: 4526.549
INFO - Atoms: 62545/197370 Clauses: 1730 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8467 Props: 206819098 Tprops: 0 Decides: 1253828 RSplits: 0
INFO - Times: Expl: 73006.539 Prop: 234772.434 PropClause: 228891.906 Set: 13497.113 Check: 30.023 Back: 4887.594
INFO - Atoms: 62513/197370 Clauses: 1712 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 8967 Props: 212939439 Tprops: 0 Decides: 1294245 RSplits: 0
INFO - Times: Expl: 76165.403 Prop: 241758.655 PropClause: 235700.74 Set: 13654.894 Check: 30.988 Back: 5034.761
INFO - Atoms: 62195/197370 Clauses: 1718 Axioms: 666882
INFO - Confl: 8979 Props: 212984006 Tprops: 0 Decides: 1294459 RSplits: 0
INFO - Times: Expl: 76205.686 Prop: 241800.908 PropClause: 235741.74 Set: 13656.068 Check: 30.993 Back: 5035.824
INFO - Atoms: 62606/197370 Clauses: 1730 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9451 Props: 221499489 Tprops: 0 Decides: 1370470 RSplits: 0
INFO - Times: Expl: 79983.512 Prop: 251837.231 PropClause: 245523.875 Set: 13870.041 Check: 32.746 Back: 5239.14
INFO - Atoms: 62491/197370 Clauses: 1690 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9948 Props: 231924338 Tprops: 0 Decides: 1452173 RSplits: 0
INFO - Times: Expl: 85004.29 Prop: 264137.639 PropClause: 257518.427 Set: 14130.986 Check: 34.676 Back: 5488.026
INFO - Atoms: 62479/197370 Clauses: 1715 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 10448 Props: 237806931 Tprops: 0 Decides: 1491111 RSplits: 0
INFO - Times: Expl: 88095.76 Prop: 270753.933 PropClause: 263965.386 Set: 14281.344 Check: 35.598 Back: 5628.794
INFO - Atoms: 62200/197370 Clauses: 1718 Axioms: 666882
INFO - Confl: 10456 Props: 237824376 Tprops: 0 Decides: 1491194 RSplits: 0
INFO - Times: Expl: 88118.795 Prop: 270778.632 PropClause: 263989.595 Set: 14281.82 Check: 35.6 Back: 5629.225
INFO - Atoms: 62439/197370 Clauses: 1726 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10933 Props: 244362911 Tprops: 0 Decides: 1535870 RSplits: 0
INFO - Times: Expl: 91401.777 Prop: 278055.155 PropClause: 271076.189 Set: 14448.377 Check: 36.654 Back: 5786.142
INFO - Atoms: 62611/197370 Clauses: 1695 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 11433 Props: 250226416 Tprops: 0 Decides: 1574901 RSplits: 0
INFO - Times: Expl: 94479.49 Prop: 284503.907 PropClause: 277354.983 Set: 14598.542 Check: 37.57 Back: 5927.077
INFO - Atoms: 62199/197370 Clauses: 1718 Axioms: 666882
INFO - Confl: 11439 Props: 250242081 Tprops: 0 Decides: 1574977 RSplits: 0
INFO - Times: Expl: 94495.199 Prop: 284520.847 PropClause: 277371.488 Set: 14598.922 Check: 37.572 Back: 5927.453
INFO - Atoms: 62232/197370 Clauses: 1724 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11929 Props: 263641794 Tprops: 0 Decides: 1684454 RSplits: 0
INFO - Times: Expl: 100738.283 Prop: 300343.054 PropClause: 292788.064 Set: 14937.636 Check: 40.412 Back: 6249.706
INFO - Atoms: 62654/197370 Clauses: 1708 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12418 Props: 269679873 Tprops: 0 Decides: 1724673 RSplits: 0
INFO - Times: Expl: 103878.08 Prop: 307211.052 PropClause: 299480.966 Set: 15093.662 Check: 41.362 Back: 6395.89
INFO - Atoms: 62609/197370 Clauses: 1708 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12889 Props: 275687714 Tprops: 0 Decides: 1764887 RSplits: 0
INFO - Times: Expl: 107015.692 Prop: 314166.25 PropClause: 306261.784 Set: 15250.198 Check: 42.319 Back: 6541.894
INFO - Atoms: 62439/197370 Clauses: 1690 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13373 Props: 281955831 Tprops: 0 Decides: 1806921 RSplits: 0
INFO - Times: Expl: 110194.189 Prop: 321329.647 PropClause: 313242.932 Set: 15412.02 Check: 43.314 Back: 6693.784
INFO - Atoms: 62724/197370 Clauses: 1703 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13870 Props: 288206380 Tprops: 0 Decides: 1849174 RSplits: 0
INFO - Times: Expl: 113495.876 Prop: 328680.63 PropClause: 320411.723 Set: 15574.118 Check: 44.325 Back: 6845.183
INFO - Atoms: 62611/197370 Clauses: 1716 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14368 Props: 294259786 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.451 Prop: 335545.972 PropClause: 327101.135 Set: 15731.297 Check: 45.279 Back: 6991.781
INFO - Atoms: 62714/197370 Clauses: 1717 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14369 Props: 294345846 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.457 Prop: 335637.138 PropClause: 327190.133 Set: 15752.628 Check: 45.279 Back: 6993.216
INFO - Atoms: 86060/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14370 Props: 294432065 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.462 Prop: 335702.948 PropClause: 327253.796 Set: 15766.742 Check: 45.279 Back: 6995.176
INFO - Atoms: 86219/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14371 Props: 294518771 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.468 Prop: 335764.334 PropClause: 327313.02 Set: 15780.886 Check: 45.279 Back: 6997.159
INFO - Atoms: 86706/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14372 Props: 294605951 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.472 Prop: 335830.623 PropClause: 327377.14 Set: 15795.031 Check: 45.279 Back: 6999.136
INFO - Atoms: 87180/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14373 Props: 294693138 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.478 Prop: 335896.259 PropClause: 327440.604 Set: 15809.268 Check: 45.279 Back: 7001.137
INFO - Atoms: 87187/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14374 Props: 294780904 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.483 Prop: 335964.897 PropClause: 327507.023 Set: 15823.916 Check: 45.279 Back: 7003.14
INFO - Atoms: 87766/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14375 Props: 294868736 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.49 Prop: 336030.263 PropClause: 327570.199 Set: 15838.703 Check: 45.279 Back: 7005.165
INFO - Atoms: 87832/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14376 Props: 294956897 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.494 Prop: 336099.037 PropClause: 327636.772 Set: 15853.486 Check: 45.279 Back: 7007.178
INFO - Atoms: 88161/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14377 Props: 295045375 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.5 Prop: 336166.976 PropClause: 327702.517 Set: 15867.952 Check: 45.279 Back: 7009.194
INFO - Atoms: 88478/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14378 Props: 295134234 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.505 Prop: 336236.033 PropClause: 327769.369 Set: 15882.532 Check: 45.279 Back: 7011.206
INFO - Atoms: 88859/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14379 Props: 295223372 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.51 Prop: 336303.783 PropClause: 327834.908 Set: 15897.151 Check: 45.279 Back: 7013.237
INFO - Atoms: 89138/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14380 Props: 295312819 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.515 Prop: 336372.137 PropClause: 327901.036 Set: 15911.899 Check: 45.279 Back: 7015.27
INFO - Atoms: 89447/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14381 Props: 295402647 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.519 Prop: 336442.899 PropClause: 327969.556 Set: 15926.82 Check: 45.279 Back: 7017.308
INFO - Atoms: 89828/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14382 Props: 295492799 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.525 Prop: 336516.687 PropClause: 328041.081 Set: 15942.246 Check: 45.279 Back: 7019.372
INFO - Atoms: 90152/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14383 Props: 295583216 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.53 Prop: 336595.691 PropClause: 328117.797 Set: 15957.587 Check: 45.279 Back: 7021.451
INFO - Atoms: 90417/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14384 Props: 295673973 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.536 Prop: 336667.553 PropClause: 328187.376 Set: 15972.691 Check: 45.279 Back: 7023.545
INFO - Atoms: 90757/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14385 Props: 295765055 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.541 Prop: 336742.641 PropClause: 328260.181 Set: 15987.814 Check: 45.279 Back: 7025.627
INFO - Atoms: 91082/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14386 Props: 295856757 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.546 Prop: 336815.737 PropClause: 328330.983 Set: 16003.283 Check: 45.279 Back: 7027.725
INFO - Atoms: 91702/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14387 Props: 295948465 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.552 Prop: 336890.778 PropClause: 328403.734 Set: 16018.618 Check: 45.279 Back: 7029.835
INFO - Atoms: 91708/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14388 Props: 296040557 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.556 Prop: 336969.164 PropClause: 328479.823 Set: 16034.053 Check: 45.279 Back: 7031.948
INFO - Atoms: 92092/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14389 Props: 296132915 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.562 Prop: 337044.977 PropClause: 328553.317 Set: 16049.51 Check: 45.279 Back: 7034.074
INFO - Atoms: 92358/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14390 Props: 296225653 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.568 Prop: 337125.865 PropClause: 328631.885 Set: 16112.269 Check: 45.279 Back: 7036.208
INFO - Atoms: 92738/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14391 Props: 296318655 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.574 Prop: 337210.775 PropClause: 328714.466 Set: 16128.109 Check: 45.279 Back: 7038.339
INFO - Atoms: 93002/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14392 Props: 296412295 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.579 Prop: 337294.124 PropClause: 328795.469 Set: 16143.891 Check: 45.279 Back: 7040.49
INFO - Atoms: 93640/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14393 Props: 296505941 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.583 Prop: 337370.065 PropClause: 328869.071 Set: 16159.475 Check: 45.279 Back: 7042.643
INFO - Atoms: 93646/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14394 Props: 296599914 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.59 Prop: 337451.109 PropClause: 328947.765 Set: 16175.081 Check: 45.279 Back: 7044.817
INFO - Atoms: 93973/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14395 Props: 296694206 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.595 Prop: 337527.988 PropClause: 329022.282 Set: 16190.811 Check: 45.279 Back: 7046.99
INFO - Atoms: 94292/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14396 Props: 296788831 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.6 Prop: 337604.755 PropClause: 329096.687 Set: 16206.438 Check: 45.279 Back: 7049.17
INFO - Atoms: 94625/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14397 Props: 296883770 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.605 Prop: 337682.149 PropClause: 329171.702 Set: 16222.308 Check: 45.279 Back: 7051.353
INFO - Atoms: 94939/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14398 Props: 296979043 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.608 Prop: 337763.331 PropClause: 329250.508 Set: 16238.439 Check: 45.279 Back: 7053.529
INFO - Atoms: 95273/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14399 Props: 297074629 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.615 Prop: 337841.623 PropClause: 329326.411 Set: 16254.291 Check: 45.279 Back: 7055.738
INFO - Atoms: 95586/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14400 Props: 297170594 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.619 Prop: 337920.338 PropClause: 329402.742 Set: 16270.145 Check: 45.279 Back: 7057.935
INFO - Atoms: 95965/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14401 Props: 297266884 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.624 Prop: 337997.342 PropClause: 329477.356 Set: 16286.331 Check: 45.279 Back: 7060.129
INFO - Atoms: 96290/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14402 Props: 297363445 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.629 Prop: 338074.153 PropClause: 329551.768 Set: 16302.288 Check: 45.279 Back: 7062.319
INFO - Atoms: 96561/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14403 Props: 297460341 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.633 Prop: 338158.246 PropClause: 329633.446 Set: 16374.524 Check: 45.279 Back: 7064.525
INFO - Atoms: 96896/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14404 Props: 297557599 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.638 Prop: 338244.002 PropClause: 329716.777 Set: 16390.746 Check: 45.279 Back: 7066.738
INFO - Atoms: 97258/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14405 Props: 297655143 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.642 Prop: 338331.002 PropClause: 329801.34 Set: 16407.537 Check: 45.279 Back: 7068.963
INFO - Atoms: 97544/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14406 Props: 297752988 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.647 Prop: 338415.202 PropClause: 329883.098 Set: 16423.937 Check: 45.279 Back: 7071.204
INFO - Atoms: 97845/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14407 Props: 297851213 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.652 Prop: 338503.238 PropClause: 329968.678 Set: 16440.487 Check: 45.279 Back: 7073.45
INFO - Atoms: 98225/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14408 Props: 297949761 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.659 Prop: 338590.555 PropClause: 330053.532 Set: 16457.068 Check: 45.279 Back: 7075.704
INFO - Atoms: 98548/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14409 Props: 298048585 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.664 Prop: 338673.7 PropClause: 330134.222 Set: 16473.911 Check: 45.279 Back: 7077.961
INFO - Atoms: 98824/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14410 Props: 298147981 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.669 Prop: 338758.892 PropClause: 330216.95 Set: 16490.539 Check: 45.279 Back: 7080.217
INFO - Atoms: 99396/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14411 Props: 298247441 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.675 Prop: 338847.327 PropClause: 330302.911 Set: 16507.456 Check: 45.279 Back: 7082.524
INFO - Atoms: 99460/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14412 Props: 298347224 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.679 Prop: 338934.457 PropClause: 330387.561 Set: 16524.229 Check: 45.279 Back: 7084.8
INFO - Atoms: 99783/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14413 Props: 298447348 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.683 Prop: 339025.721 PropClause: 330476.326 Set: 16541.223 Check: 45.279 Back: 7087.098
INFO - Atoms: 100124/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14414 Props: 298547775 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.689 Prop: 339117.077 PropClause: 330565.175 Set: 16558.288 Check: 45.279 Back: 7089.396
INFO - Atoms: 100427/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14415 Props: 298648207 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.694 Prop: 339207.564 PropClause: 330653.16 Set: 16575.173 Check: 45.279 Back: 7091.704
INFO - Atoms: 100432/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14416 Props: 298748635 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.699 Prop: 339294.586 PropClause: 330737.667 Set: 16591.963 Check: 45.279 Back: 7094.017
INFO - Atoms: 100428/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14417 Props: 298849386 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.705 Prop: 339379.38 PropClause: 330819.949 Set: 16608.895 Check: 45.279 Back: 7096.317
INFO - Atoms: 100751/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14418 Props: 298950481 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.711 Prop: 339466.519 PropClause: 330904.562 Set: 16625.813 Check: 45.279 Back: 7098.626
INFO - Atoms: 101095/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14419 Props: 299051935 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.716 Prop: 339551.433 PropClause: 330986.936 Set: 16643.117 Check: 45.279 Back: 7100.948
INFO - Atoms: 101454/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14420 Props: 299153713 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.722 Prop: 339640.606 PropClause: 331073.572 Set: 16660.274 Check: 45.279 Back: 7103.313
INFO - Atoms: 101778/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14421 Props: 299255757 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.726 Prop: 339728.495 PropClause: 331158.881 Set: 16677.532 Check: 45.279 Back: 7105.644
INFO - Atoms: 102044/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14422 Props: 299358222 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.734 Prop: 339825.146 PropClause: 331252.958 Set: 16740.022 Check: 45.279 Back: 7107.99
INFO - Atoms: 102465/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14423 Props: 299460912 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.739 Prop: 339916.916 PropClause: 331342.173 Set: 16757.579 Check: 45.279 Back: 7110.339
INFO - Atoms: 102690/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14424 Props: 299563927 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.745 Prop: 340003.901 PropClause: 331426.604 Set: 16774.777 Check: 45.279 Back: 7112.708
INFO - Atoms: 103015/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14425 Props: 299667324 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.75 Prop: 340096.779 PropClause: 331516.913 Set: 16792.393 Check: 45.279 Back: 7115.057
INFO - Atoms: 103397/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14426 Props: 299771044 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.756 Prop: 340186.291 PropClause: 331603.842 Set: 16809.946 Check: 45.279 Back: 7117.423
INFO - Atoms: 103720/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14427 Props: 299875026 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.762 Prop: 340283.223 PropClause: 331698.171 Set: 16827.608 Check: 45.279 Back: 7119.817
INFO - Atoms: 103982/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14428 Props: 299979390 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.769 Prop: 340376.796 PropClause: 331789.118 Set: 16845.523 Check: 45.279 Back: 7122.194
INFO - Atoms: 104364/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14429 Props: 300084148 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.773 Prop: 340474.623 PropClause: 331884.316 Set: 16863.605 Check: 45.279 Back: 7124.605
INFO - Atoms: 104758/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14430 Props: 300189153 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.778 Prop: 340568.091 PropClause: 331975.163 Set: 16881.33 Check: 45.279 Back: 7127.041
INFO - Atoms: 105005/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14431 Props: 300294429 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.781 Prop: 340661.594 PropClause: 332066.031 Set: 16899.078 Check: 45.279 Back: 7129.459
INFO - Atoms: 105276/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14432 Props: 300400052 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.786 Prop: 340755.769 PropClause: 332157.569 Set: 16917.025 Check: 45.279 Back: 7131.875
INFO - Atoms: 105623/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14433 Props: 300506033 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.791 Prop: 340848.195 PropClause: 332247.351 Set: 16934.915 Check: 45.279 Back: 7134.306
INFO - Atoms: 105981/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14434 Props: 300612278 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.796 Prop: 340941.758 PropClause: 332338.257 Set: 16952.746 Check: 45.279 Back: 7136.767
INFO - Atoms: 106245/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14435 Props: 300718906 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.801 Prop: 341034.532 PropClause: 332428.368 Set: 16971.176 Check: 45.279 Back: 7139.206
INFO - Atoms: 106628/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14436 Props: 300825853 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.806 Prop: 341127.361 PropClause: 332518.528 Set: 16989.311 Check: 45.279 Back: 7141.661
INFO - Atoms: 106947/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14437 Props: 300933101 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.81 Prop: 341221.743 PropClause: 332610.236 Set: 17007.476 Check: 45.279 Back: 7144.12
INFO - Atoms: 107248/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14438 Props: 301040694 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.815 Prop: 341321.435 PropClause: 332707.232 Set: 17025.924 Check: 45.279 Back: 7146.581
INFO - Atoms: 107593/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14439 Props: 301148612 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.819 Prop: 341417.839 PropClause: 332800.926 Set: 17044.547 Check: 45.279 Back: 7149.058
INFO - Atoms: 107918/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14440 Props: 301256799 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.825 Prop: 341516.729 PropClause: 332897.109 Set: 17063.55 Check: 45.279 Back: 7151.537
INFO - Atoms: 108187/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14441 Props: 301365304 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.831 Prop: 341618.513 PropClause: 332996.178 Set: 17082.284 Check: 45.279 Back: 7154.051
INFO - Atoms: 108505/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14442 Props: 301474133 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.835 Prop: 341718.234 PropClause: 333093.167 Set: 17100.892 Check: 45.279 Back: 7156.544
INFO - Atoms: 108829/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14443 Props: 301583283 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.841 Prop: 341818.209 PropClause: 333190.422 Set: 17119.47 Check: 45.279 Back: 7159.053
INFO - Atoms: 109150/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14444 Props: 301692862 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.846 Prop: 341915.45 PropClause: 333284.921 Set: 17138.144 Check: 45.279 Back: 7161.562
INFO - Atoms: 109579/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14445 Props: 301802658 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.85 Prop: 342010.944 PropClause: 333377.661 Set: 17156.616 Check: 45.279 Back: 7164.11
INFO - Atoms: 109796/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14446 Props: 301912777 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.855 Prop: 342106.609 PropClause: 333470.57 Set: 17175.222 Check: 45.279 Back: 7166.631
INFO - Atoms: 110119/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14447 Props: 302023220 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.859 Prop: 342204.778 PropClause: 333565.973 Set: 17194.419 Check: 45.279 Back: 7169.188
INFO - Atoms: 110443/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14448 Props: 302133986 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.865 Prop: 342306.285 PropClause: 333664.716 Set: 17213.252 Check: 45.279 Back: 7171.734
INFO - Atoms: 110766/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14449 Props: 302245086 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.871 Prop: 342406.643 PropClause: 333762.273 Set: 17232.254 Check: 45.279 Back: 7174.3
INFO - Atoms: 111100/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14450 Props: 302356497 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.876 Prop: 342506.485 PropClause: 333859.327 Set: 17251.05 Check: 45.279 Back: 7176.883
INFO - Atoms: 111411/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14451 Props: 302468233 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.88 Prop: 342610.279 PropClause: 333960.317 Set: 17271.019 Check: 45.279 Back: 7179.462
INFO - Atoms: 111736/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14452 Props: 302580294 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.885 Prop: 342708.19 PropClause: 334055.44 Set: 17290.092 Check: 45.279 Back: 7182.028
INFO - Atoms: 112061/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 66723 Tprops: 9059 Decides: 117550 RSplits: 0
INFO - Times: Expl: 628.391 Prop: 599979.833 PropClause: 44.577 Set: 23881.825 Check: 636.038 Back: 292.965
INFO - Atoms: 92/1651 Clauses: 500 Axioms: 1651
INFO - CCTimes: iE 1301732 eq 61412556 cc 322260247 setRep 187160881
INFO - Merges: 954377, cc:2135742
INFO - BVTimes: BB 478787348 BB_DPLL 583712879050 Graph 2638584
INFO - BitBlastingClauses: 1272450 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 14453 Props: 302692672 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.889 Prop: 342817.231 PropClause: 334160.749 Set: 17309.541 Check: 45.279 Back: 7184.582
INFO - Atoms: 112378/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14454 Props: 302805433 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.895 Prop: 342920.494 PropClause: 334261.213 Set: 17328.639 Check: 45.279 Back: 7187.169
INFO - Atoms: 112761/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14455 Props: 302918470 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.9 Prop: 343030.919 PropClause: 334368.825 Set: 17348.356 Check: 45.279 Back: 7189.749
INFO - Atoms: 113037/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14456 Props: 303031874 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.906 Prop: 343141.761 PropClause: 334476.872 Set: 17368.183 Check: 45.279 Back: 7192.343
INFO - Atoms: 113404/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14457 Props: 303145859 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.91 Prop: 343252.866 PropClause: 334585.155 Set: 17387.749 Check: 45.279 Back: 7194.95
INFO - Atoms: 113985/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14458 Props: 303259859 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.916 Prop: 343365.171 PropClause: 334694.645 Set: 17407.4 Check: 45.279 Back: 7197.607
INFO - Atoms: 114000/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14459 Props: 303374183 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.922 Prop: 343474.426 PropClause: 334801.087 Set: 17426.942 Check: 45.279 Back: 7200.206
INFO - Atoms: 114324/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14460 Props: 303488842 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.927 Prop: 343582.569 PropClause: 334906.396 Set: 17446.48 Check: 45.279 Back: 7202.816
INFO - Atoms: 114659/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14461 Props: 303603866 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.931 Prop: 343691.455 PropClause: 335012.449 Set: 17466.256 Check: 45.279 Back: 7205.444
INFO - Atoms: 115024/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14462 Props: 303719213 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.936 Prop: 343805.059 PropClause: 335123.204 Set: 17487.346 Check: 45.279 Back: 7208.078
INFO - Atoms: 115347/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14463 Props: 303834883 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.94 Prop: 343915.509 PropClause: 335230.79 Set: 17507.042 Check: 45.279 Back: 7210.752
INFO - Atoms: 115670/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14464 Props: 303950877 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.945 Prop: 344030.458 PropClause: 335342.859 Set: 17527.048 Check: 45.279 Back: 7213.404
INFO - Atoms: 115994/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14465 Props: 304067137 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.949 Prop: 344149.613 PropClause: 335459.143 Set: 17547.345 Check: 45.279 Back: 7216.062
INFO - Atoms: 116260/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14466 Props: 304183776 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.955 Prop: 344265.094 PropClause: 335571.744 Set: 17567.481 Check: 45.279 Back: 7218.736
INFO - Atoms: 116639/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14467 Props: 304300739 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.96 Prop: 344381.978 PropClause: 335685.749 Set: 17588.424 Check: 45.279 Back: 7221.421
INFO - Atoms: 116963/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14468 Props: 304417994 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.965 Prop: 344498.735 PropClause: 335799.588 Set: 17609.283 Check: 45.279 Back: 7224.115
INFO - Atoms: 117255/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14469 Props: 304535858 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.97 Prop: 344617.978 PropClause: 335915.93 Set: 17629.532 Check: 45.279 Back: 7226.803
INFO - Atoms: 117864/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14470 Props: 304653790 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.974 Prop: 344726.673 PropClause: 336021.721 Set: 17649.736 Check: 45.279 Back: 7229.508
INFO - Atoms: 117932/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14471 Props: 304772018 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.979 Prop: 344834.004 PropClause: 336126.145 Set: 17669.765 Check: 45.279 Back: 7232.193
INFO - Atoms: 118228/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14472 Props: 304890536 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.984 Prop: 344945.583 PropClause: 336234.799 Set: 17690.279 Check: 45.279 Back: 7234.878
INFO - Atoms: 118518/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14473 Props: 305009437 Tprops: 0 Decides: 1889270 RSplits: 0
INFO - Times: Expl: 116656.989 Prop: 345060.125 PropClause: 336346.409 Set: 17711.011 Check: 45.279 Back: 7237.608
INFO - Atoms: 118901/197370 Clauses: 1220 Axioms: 666882
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 539 Props: 77309 Tprops: 9256 Decides: 121524 RSplits: 0
INFO - Times: Expl: 642.471 Prop: 607748.564 PropClause: 48.522 Set: 24659.222 Check: 645.364 Back: 314.514
INFO - Atoms: 1536/1651 Clauses: 539 Axioms: 1651
INFO - CCTimes: iE 1316967 eq 62510106 cc 327110753 setRep 190302084
INFO - Merges: 974456, cc:2197695
INFO - BVTimes: BB 478787348 BB_DPLL 590860826900 Graph 2729807
INFO - BitBlastingClauses: 1297986 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat