/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/brummayerbiere/countbitsrotate008.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 31353385
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.254 Prop: 1.788 PropClause: 1.679 Set: 0.817 Check: 0.0 Back: 0.0
INFO - Atoms: 171/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.265 Prop: 2.061 PropClause: 1.9 Set: 1.491 Check: 0.0 Back: 0.009
INFO - Atoms: 288/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.278 Prop: 2.199 PropClause: 1.983 Set: 2.077 Check: 0.0 Back: 0.025
INFO - Atoms: 307/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 1095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.304 Prop: 2.336 PropClause: 2.05 Set: 2.294 Check: 0.0 Back: 0.032
INFO - Atoms: 329/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 1517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.314 Prop: 2.497 PropClause: 2.146 Set: 2.422 Check: 0.0 Back: 0.04
INFO - Atoms: 422/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 2225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.325 Prop: 2.777 PropClause: 2.312 Set: 2.683 Check: 0.0 Back: 0.049
INFO - Atoms: 708/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 3035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.352 Prop: 3.119 PropClause: 2.512 Set: 2.981 Check: 0.0 Back: 0.066
INFO - Atoms: 810/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 3799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.379 Prop: 3.455 PropClause: 2.716 Set: 3.261 Check: 0.0 Back: 0.085
INFO - Atoms: 764/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 4502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.389 Prop: 3.764 PropClause: 2.912 Set: 3.514 Check: 0.0 Back: 0.102
INFO - Atoms: 703/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 5229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.405 Prop: 4.065 PropClause: 3.1 Set: 3.8 Check: 0.0 Back: 0.119
INFO - Atoms: 727/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 5986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.421 Prop: 4.401 PropClause: 3.314 Set: 4.078 Check: 0.0 Back: 0.136
INFO - Atoms: 757/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 6688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.431 Prop: 4.703 PropClause: 3.501 Set: 4.267 Check: 0.0 Back: 0.154
INFO - Atoms: 702/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 7469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.441 Prop: 5.035 PropClause: 3.707 Set: 4.578 Check: 0.0 Back: 0.17
INFO - Atoms: 781/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 8297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.451 Prop: 5.273 PropClause: 3.92 Set: 4.85 Check: 0.0 Back: 0.188
INFO - Atoms: 828/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 9117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.46 Prop: 5.512 PropClause: 4.136 Set: 5.117 Check: 0.0 Back: 0.208
INFO - Atoms: 820/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 9898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.47 Prop: 5.74 PropClause: 4.339 Set: 5.368 Check: 0.0 Back: 0.227
INFO - Atoms: 781/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 10622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.48 Prop: 5.959 PropClause: 4.537 Set: 5.608 Check: 0.0 Back: 0.245
INFO - Atoms: 724/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 11379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.489 Prop: 6.182 PropClause: 4.738 Set: 5.861 Check: 0.0 Back: 0.262
INFO - Atoms: 757/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 12105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.499 Prop: 6.396 PropClause: 4.93 Set: 6.093 Check: 0.0 Back: 0.279
INFO - Atoms: 726/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 12790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.508 Prop: 6.596 PropClause: 5.109 Set: 6.312 Check: 0.0 Back: 0.296
INFO - Atoms: 685/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 13539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.52 Prop: 6.814 PropClause: 5.304 Set: 6.557 Check: 0.0 Back: 0.312
INFO - Atoms: 749/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 14341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.532 Prop: 7.043 PropClause: 5.508 Set: 6.824 Check: 0.0 Back: 0.33
INFO - Atoms: 802/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 15110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.542 Prop: 7.272 PropClause: 5.714 Set: 7.081 Check: 0.0 Back: 0.349
INFO - Atoms: 769/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 15832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.553 Prop: 7.497 PropClause: 5.917 Set: 8.263 Check: 0.0 Back: 0.367
INFO - Atoms: 722/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 16557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.562 Prop: 7.711 PropClause: 6.109 Set: 8.509 Check: 0.0 Back: 0.383
INFO - Atoms: 725/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 17361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.571 Prop: 7.946 PropClause: 6.319 Set: 8.791 Check: 0.0 Back: 0.4
INFO - Atoms: 804/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 18152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.581 Prop: 8.177 PropClause: 6.527 Set: 9.055 Check: 0.0 Back: 0.419
INFO - Atoms: 791/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 18896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.597 Prop: 8.414 PropClause: 6.733 Set: 9.311 Check: 0.0 Back: 0.438
INFO - Atoms: 744/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 19597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.607 Prop: 8.627 PropClause: 6.925 Set: 9.519 Check: 0.0 Back: 0.455
INFO - Atoms: 701/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 20367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.616 Prop: 8.855 PropClause: 7.129 Set: 9.768 Check: 0.0 Back: 0.471
INFO - Atoms: 770/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 21466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.63 Prop: 9.328 PropClause: 7.425 Set: 10.108 Check: 0.0 Back: 0.489
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 22302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.64 Prop: 9.611 PropClause: 7.683 Set: 10.367 Check: 0.0 Back: 0.515
INFO - Atoms: 836/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 23401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.649 Prop: 9.926 PropClause: 7.966 Set: 10.695 Check: 0.0 Back: 0.534
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 24500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.662 Prop: 11.363 PropClause: 8.295 Set: 11.029 Check: 0.0 Back: 0.56
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 25280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.671 Prop: 11.625 PropClause: 8.525 Set: 11.253 Check: 0.0 Back: 0.585
INFO - Atoms: 780/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 26379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.688 Prop: 11.995 PropClause: 8.851 Set: 16.565 Check: 0.0 Back: 0.603
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 27478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.697 Prop: 12.362 PropClause: 9.175 Set: 16.897 Check: 0.0 Back: 0.629
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 28577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.706 Prop: 12.724 PropClause: 9.493 Set: 17.23 Check: 0.0 Back: 0.654
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 29676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.716 Prop: 13.083 PropClause: 9.815 Set: 17.565 Check: 0.0 Back: 0.679
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 30775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.829 Prop: 13.449 PropClause: 10.142 Set: 17.902 Check: 0.0 Back: 0.705
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 31874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.843 Prop: 13.824 PropClause: 10.474 Set: 18.249 Check: 0.0 Back: 0.731
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 32973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.851 Prop: 14.183 PropClause: 10.794 Set: 18.582 Check: 0.0 Back: 0.756
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 34072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.864 Prop: 14.542 PropClause: 11.115 Set: 18.945 Check: 0.0 Back: 0.782
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 35171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.873 Prop: 14.92 PropClause: 11.45 Set: 19.304 Check: 0.0 Back: 0.807
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 35841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.882 Prop: 15.162 PropClause: 11.668 Set: 19.49 Check: 0.0 Back: 0.833
INFO - Atoms: 670/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 36698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.891 Prop: 15.405 PropClause: 11.881 Set: 19.76 Check: 0.0 Back: 0.849
INFO - Atoms: 857/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 37797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.902 Prop: 15.734 PropClause: 12.174 Set: 20.093 Check: 0.0 Back: 0.869
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 38896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.911 Prop: 16.095 PropClause: 12.496 Set: 20.426 Check: 0.0 Back: 0.894
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 39702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.919 Prop: 16.388 PropClause: 12.761 Set: 20.68 Check: 0.0 Back: 0.92
INFO - Atoms: 806/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 40801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.929 Prop: 16.715 PropClause: 13.049 Set: 21.011 Check: 0.0 Back: 0.938
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 41900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.937 Prop: 17.074 PropClause: 13.372 Set: 21.352 Check: 0.0 Back: 0.964
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 42999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.007 Prop: 17.444 PropClause: 13.702 Set: 21.69 Check: 0.0 Back: 0.99
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 43432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.018 Prop: 19.373 PropClause: 15.614 Set: 21.801 Check: 0.0 Back: 1.015
INFO - Atoms: 433/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 44100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.021 Prop: 19.541 PropClause: 15.76 Set: 21.987 Check: 0.0 Back: 1.025
INFO - Atoms: 668/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 44957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.023 Prop: 19.784 PropClause: 15.966 Set: 22.238 Check: 0.0 Back: 1.041
INFO - Atoms: 857/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 46056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.025 Prop: 20.109 PropClause: 16.255 Set: 22.569 Check: 0.0 Back: 1.06
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 46350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.034 Prop: 20.267 PropClause: 16.403 Set: 22.643 Check: 0.0 Back: 1.086
INFO - Atoms: 294/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 47449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.037 Prop: 20.548 PropClause: 16.647 Set: 22.971 Check: 0.0 Back: 1.093
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 47772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.043 Prop: 20.707 PropClause: 16.795 Set: 23.033 Check: 0.0 Back: 1.119
INFO - Atoms: 323/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 48391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.05 Prop: 20.857 PropClause: 16.922 Set: 23.119 Check: 0.0 Back: 1.127
INFO - Atoms: 619/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 49201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.052 Prop: 21.082 PropClause: 17.12 Set: 23.24 Check: 0.0 Back: 1.141
INFO - Atoms: 810/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 50300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.054 Prop: 21.4 PropClause: 17.401 Set: 23.407 Check: 0.0 Back: 1.16
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 51399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.057 Prop: 21.761 PropClause: 17.727 Set: 23.679 Check: 0.0 Back: 1.186
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 52498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.059 Prop: 22.127 PropClause: 18.056 Set: 23.955 Check: 0.0 Back: 1.211
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 53337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.061 Prop: 22.404 PropClause: 18.305 Set: 24.145 Check: 0.0 Back: 1.237
INFO - Atoms: 839/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 54436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.065 Prop: 22.739 PropClause: 18.603 Set: 24.408 Check: 0.0 Back: 1.257
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 55535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.067 Prop: 23.098 PropClause: 18.926 Set: 24.675 Check: 0.0 Back: 1.282
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 56634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.075 Prop: 23.468 PropClause: 19.249 Set: 24.937 Check: 0.0 Back: 1.308
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 57733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.077 Prop: 23.83 PropClause: 19.575 Set: 25.192 Check: 0.0 Back: 1.334
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 58832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.08 Prop: 24.189 PropClause: 19.897 Set: 25.453 Check: 0.0 Back: 1.359
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 59931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.083 Prop: 24.548 PropClause: 20.22 Set: 25.71 Check: 0.0 Back: 1.385
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 61030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.086 Prop: 24.917 PropClause: 20.553 Set: 25.971 Check: 0.0 Back: 1.411
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 62129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.089 Prop: 25.283 PropClause: 20.883 Set: 26.225 Check: 0.0 Back: 1.436
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 63228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.092 Prop: 26.401 PropClause: 21.963 Set: 26.487 Check: 0.0 Back: 1.462
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 64327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.1 Prop: 26.78 PropClause: 22.294 Set: 26.751 Check: 0.0 Back: 1.488
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 64853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.102 Prop: 26.987 PropClause: 22.482 Set: 26.868 Check: 0.0 Back: 1.513
INFO - Atoms: 526/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 65350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.104 Prop: 27.131 PropClause: 22.61 Set: 26.972 Check: 0.0 Back: 1.525
INFO - Atoms: 497/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 65808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.106 Prop: 27.267 PropClause: 22.731 Set: 27.072 Check: 0.0 Back: 1.537
INFO - Atoms: 458/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 66306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.108 Prop: 27.409 PropClause: 22.856 Set: 27.181 Check: 0.0 Back: 1.548
INFO - Atoms: 498/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 66824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.11 Prop: 27.575 PropClause: 23.004 Set: 27.284 Check: 0.0 Back: 1.559
INFO - Atoms: 518/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 67315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.112 Prop: 27.718 PropClause: 23.131 Set: 27.391 Check: 0.0 Back: 1.572
INFO - Atoms: 491/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 68414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.115 Prop: 28.043 PropClause: 23.419 Set: 27.651 Check: 0.0 Back: 1.583
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 69270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.119 Prop: 28.349 PropClause: 23.696 Set: 30.296 Check: 0.0 Back: 1.608
INFO - Atoms: 856/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 70369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.121 Prop: 28.687 PropClause: 23.997 Set: 30.464 Check: 0.0 Back: 1.628
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 71468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.123 Prop: 29.057 PropClause: 24.33 Set: 30.636 Check: 0.0 Back: 1.654
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 72349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.126 Prop: 29.353 PropClause: 24.596 Set: 30.769 Check: 0.0 Back: 1.679
INFO - Atoms: 881/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 73448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.129 Prop: 29.709 PropClause: 24.896 Set: 30.942 Check: 0.0 Back: 1.7
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 74547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.131 Prop: 30.078 PropClause: 25.228 Set: 31.113 Check: 0.0 Back: 1.726
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 75646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.134 Prop: 30.487 PropClause: 25.592 Set: 31.308 Check: 0.0 Back: 1.751
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 76509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.136 Prop: 30.787 PropClause: 25.863 Set: 31.441 Check: 0.0 Back: 1.777
INFO - Atoms: 863/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 77608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.138 Prop: 31.129 PropClause: 26.168 Set: 31.607 Check: 0.0 Back: 1.797
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 78707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.141 Prop: 31.504 PropClause: 26.506 Set: 31.778 Check: 0.0 Back: 1.824
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 79440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.143 Prop: 31.759 PropClause: 26.737 Set: 31.887 Check: 0.0 Back: 1.85
INFO - Atoms: 733/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 80539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.145 Prop: 32.084 PropClause: 27.024 Set: 32.058 Check: 0.0 Back: 1.867
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 81638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.148 Prop: 32.433 PropClause: 27.326 Set: 32.228 Check: 0.0 Back: 1.892
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 82737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.15 Prop: 32.733 PropClause: 27.591 Set: 32.397 Check: 0.0 Back: 1.918
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 83836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.153 Prop: 33.024 PropClause: 27.847 Set: 32.561 Check: 0.0 Back: 1.943
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 84935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.155 Prop: 33.308 PropClause: 28.095 Set: 32.728 Check: 0.0 Back: 1.969
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 86034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.158 Prop: 33.594 PropClause: 28.346 Set: 32.892 Check: 0.0 Back: 1.994
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 87133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.16 Prop: 33.874 PropClause: 28.591 Set: 33.057 Check: 0.0 Back: 2.02
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 88232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.163 Prop: 34.165 PropClause: 28.846 Set: 33.219 Check: 0.0 Back: 2.046
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 89331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.165 Prop: 34.456 PropClause: 29.1 Set: 33.384 Check: 0.0 Back: 2.071
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 90430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.167 Prop: 34.745 PropClause: 29.353 Set: 33.548 Check: 0.0 Back: 2.097
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 91529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.17 Prop: 35.028 PropClause: 29.6 Set: 33.712 Check: 0.0 Back: 2.123
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 92628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.172 Prop: 35.311 PropClause: 29.847 Set: 33.883 Check: 0.0 Back: 2.148
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 93346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.175 Prop: 35.509 PropClause: 30.023 Set: 33.985 Check: 0.0 Back: 2.174
INFO - Atoms: 718/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 94445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.176 Prop: 35.763 PropClause: 30.24 Set: 34.144 Check: 0.0 Back: 2.191
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 95544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.179 Prop: 36.044 PropClause: 30.486 Set: 34.306 Check: 0.0 Back: 2.216
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 96643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.181 Prop: 36.338 PropClause: 30.745 Set: 34.468 Check: 0.0 Back: 2.241
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 97742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.184 Prop: 36.626 PropClause: 30.996 Set: 34.632 Check: 0.0 Back: 2.267
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 98443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.186 Prop: 36.822 PropClause: 31.17 Set: 34.73 Check: 0.0 Back: 2.293
INFO - Atoms: 701/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 99312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.188 Prop: 37.019 PropClause: 31.338 Set: 34.856 Check: 0.0 Back: 2.309
INFO - Atoms: 869/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 100411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.19 Prop: 37.289 PropClause: 31.573 Set: 35.017 Check: 0.0 Back: 2.329
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 101510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.193 Prop: 37.573 PropClause: 31.82 Set: 35.184 Check: 0.0 Back: 2.355
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 102609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.195 Prop: 37.854 PropClause: 32.066 Set: 35.348 Check: 0.0 Back: 2.381
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 103460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.197 Prop: 38.086 PropClause: 32.27 Set: 35.472 Check: 0.0 Back: 2.406
INFO - Atoms: 851/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 104559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.2 Prop: 38.357 PropClause: 32.505 Set: 35.639 Check: 0.0 Back: 2.426
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 105658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.203 Prop: 38.641 PropClause: 32.752 Set: 35.801 Check: 0.0 Back: 2.451
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 106757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.205 Prop: 38.928 PropClause: 33.003 Set: 35.966 Check: 0.0 Back: 2.477
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 107618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.209 Prop: 39.164 PropClause: 33.212 Set: 36.088 Check: 0.0 Back: 2.503
INFO - Atoms: 861/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 108717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.211 Prop: 39.431 PropClause: 33.443 Set: 36.256 Check: 0.0 Back: 2.523
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 109816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.213 Prop: 39.726 PropClause: 33.703 Set: 36.415 Check: 0.0 Back: 2.548
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 110915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.215 Prop: 40.009 PropClause: 33.951 Set: 36.579 Check: 0.0 Back: 2.574
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 112014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.217 Prop: 40.29 PropClause: 34.196 Set: 36.738 Check: 0.0 Back: 2.599
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 112898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.219 Prop: 40.524 PropClause: 34.399 Set: 36.864 Check: 0.0 Back: 2.625
INFO - Atoms: 884/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 113997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.427 Prop: 40.787 PropClause: 34.627 Set: 37.027 Check: 0.0 Back: 2.645
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 115096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.431 Prop: 41.073 PropClause: 34.877 Set: 37.193 Check: 0.0 Back: 2.671
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 116195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.433 Prop: 41.468 PropClause: 35.134 Set: 37.353 Check: 0.0 Back: 2.698
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 117093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.435 Prop: 41.703 PropClause: 35.339 Set: 37.481 Check: 0.0 Back: 2.723
INFO - Atoms: 898/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 118192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.437 Prop: 41.961 PropClause: 35.563 Set: 37.642 Check: 0.0 Back: 2.744
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 119291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.439 Prop: 42.237 PropClause: 35.803 Set: 37.802 Check: 0.0 Back: 2.77
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 120191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.441 Prop: 42.474 PropClause: 36.011 Set: 37.934 Check: 0.0 Back: 2.796
INFO - Atoms: 900/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 121290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.442 Prop: 42.739 PropClause: 36.241 Set: 38.096 Check: 0.0 Back: 2.816
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 122389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.444 Prop: 43.021 PropClause: 36.487 Set: 38.259 Check: 0.0 Back: 2.842
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 123488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.446 Prop: 43.3 PropClause: 36.731 Set: 38.424 Check: 0.0 Back: 2.867
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 124385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.448 Prop: 43.553 PropClause: 36.954 Set: 38.56 Check: 0.0 Back: 2.893
INFO - Atoms: 897/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 125484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.45 Prop: 43.812 PropClause: 37.178 Set: 38.724 Check: 0.0 Back: 2.914
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 126583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.452 Prop: 44.09 PropClause: 37.421 Set: 38.888 Check: 0.0 Back: 2.94
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 127682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.454 Prop: 44.38 PropClause: 37.676 Set: 39.052 Check: 0.0 Back: 2.965
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 128592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.461 Prop: 44.614 PropClause: 37.881 Set: 39.183 Check: 0.0 Back: 2.991
INFO - Atoms: 910/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 129691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.463 Prop: 44.887 PropClause: 38.117 Set: 39.345 Check: 0.0 Back: 3.012
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 130790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.465 Prop: 45.166 PropClause: 38.36 Set: 39.512 Check: 0.0 Back: 3.038
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 131682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.466 Prop: 45.395 PropClause: 38.561 Set: 39.642 Check: 0.0 Back: 3.064
INFO - Atoms: 892/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 132781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.468 Prop: 45.652 PropClause: 38.782 Set: 39.801 Check: 0.0 Back: 3.085
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 133880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.47 Prop: 45.93 PropClause: 39.025 Set: 39.964 Check: 0.0 Back: 3.11
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 134979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.472 Prop: 46.209 PropClause: 39.269 Set: 40.126 Check: 0.0 Back: 3.136
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 136078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.474 Prop: 46.483 PropClause: 39.507 Set: 40.289 Check: 0.0 Back: 3.162
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 137177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.476 Prop: 46.75 PropClause: 39.737 Set: 40.453 Check: 0.0 Back: 3.187
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 138276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.478 Prop: 47.021 PropClause: 39.972 Set: 40.619 Check: 0.0 Back: 3.213
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 139375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.479 Prop: 47.297 PropClause: 40.212 Set: 40.78 Check: 0.0 Back: 3.239
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 140474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.481 Prop: 47.569 PropClause: 40.45 Set: 40.943 Check: 0.0 Back: 3.264
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 141573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.483 Prop: 47.855 PropClause: 40.699 Set: 41.106 Check: 0.0 Back: 3.29
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 142456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.485 Prop: 48.074 PropClause: 40.891 Set: 41.232 Check: 0.0 Back: 3.316
INFO - Atoms: 883/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 143311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.486 Prop: 48.281 PropClause: 41.07 Set: 41.353 Check: 0.0 Back: 3.336
INFO - Atoms: 855/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 144161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.488 Prop: 48.483 PropClause: 41.245 Set: 41.475 Check: 0.0 Back: 3.356
INFO - Atoms: 850/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 145038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.501 Prop: 48.697 PropClause: 41.429 Set: 41.6 Check: 0.0 Back: 3.376
INFO - Atoms: 877/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 145928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.507 Prop: 48.921 PropClause: 41.623 Set: 41.73 Check: 0.0 Back: 3.396
INFO - Atoms: 890/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 146805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.509 Prop: 49.126 PropClause: 41.8 Set: 41.857 Check: 0.0 Back: 3.417
INFO - Atoms: 877/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 147679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.511 Prop: 49.337 PropClause: 41.982 Set: 41.983 Check: 0.0 Back: 3.438
INFO - Atoms: 874/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 148582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.512 Prop: 49.544 PropClause: 42.161 Set: 42.122 Check: 0.0 Back: 3.458
INFO - Atoms: 903/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 149681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.514 Prop: 49.792 PropClause: 42.373 Set: 42.282 Check: 0.0 Back: 3.48
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 150780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.516 Prop: 50.063 PropClause: 42.608 Set: 42.448 Check: 0.0 Back: 3.505
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 151879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.519 Prop: 50.335 PropClause: 42.845 Set: 42.613 Check: 0.0 Back: 3.531
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 152978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.521 Prop: 50.613 PropClause: 43.088 Set: 42.779 Check: 0.0 Back: 3.556
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 154077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.523 Prop: 50.88 PropClause: 43.318 Set: 42.939 Check: 0.0 Back: 3.582
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 155176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.524 Prop: 51.153 PropClause: 43.555 Set: 43.103 Check: 0.0 Back: 3.608
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 156275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.526 Prop: 51.42 PropClause: 43.786 Set: 43.264 Check: 0.0 Back: 3.633
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 157374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.528 Prop: 51.698 PropClause: 44.029 Set: 43.427 Check: 0.0 Back: 3.659
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 158018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.53 Prop: 51.876 PropClause: 44.185 Set: 43.515 Check: 0.0 Back: 3.684
INFO - Atoms: 644/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 158705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.532 Prop: 52.032 PropClause: 44.32 Set: 43.61 Check: 0.0 Back: 3.699
INFO - Atoms: 687/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 159417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.534 Prop: 52.189 PropClause: 44.453 Set: 43.71 Check: 0.0 Back: 3.715
INFO - Atoms: 712/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 160060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.536 Prop: 52.335 PropClause: 44.578 Set: 43.797 Check: 0.0 Back: 3.732
INFO - Atoms: 643/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 160680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.538 Prop: 52.474 PropClause: 44.698 Set: 43.879 Check: 0.0 Back: 3.747
INFO - Atoms: 620/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 161779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.54 Prop: 52.714 PropClause: 44.9 Set: 44.041 Check: 0.0 Back: 3.761
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 162597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.541 Prop: 52.926 PropClause: 45.087 Set: 44.157 Check: 0.0 Back: 3.786
INFO - Atoms: 818/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 163696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.543 Prop: 53.179 PropClause: 45.304 Set: 44.319 Check: 0.0 Back: 3.806
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 164795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.545 Prop: 53.467 PropClause: 45.557 Set: 44.59 Check: 0.0 Back: 3.831
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 165669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.548 Prop: 53.704 PropClause: 45.764 Set: 44.785 Check: 0.0 Back: 3.857
INFO - Atoms: 874/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 166768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.55 Prop: 53.959 PropClause: 45.984 Set: 44.984 Check: 0.0 Back: 3.877
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 167867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.553 Prop: 54.23 PropClause: 46.219 Set: 45.148 Check: 0.0 Back: 3.907
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 168747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.619 Prop: 54.47 PropClause: 46.431 Set: 45.347 Check: 0.0 Back: 3.933
INFO - Atoms: 880/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 169846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.621 Prop: 54.734 PropClause: 46.659 Set: 45.599 Check: 0.0 Back: 3.953
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 170945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.624 Prop: 55.011 PropClause: 46.9 Set: 45.861 Check: 0.0 Back: 3.979
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 171772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.626 Prop: 55.241 PropClause: 47.103 Set: 46.05 Check: 0.0 Back: 4.005
INFO - Atoms: 827/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 172871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.627 Prop: 55.501 PropClause: 47.328 Set: 46.31 Check: 0.0 Back: 4.024
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 173970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.63 Prop: 55.789 PropClause: 47.581 Set: 46.585 Check: 0.0 Back: 4.05
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 175069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.632 Prop: 56.078 PropClause: 47.834 Set: 46.851 Check: 0.0 Back: 4.08
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 175940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.635 Prop: 56.341 PropClause: 48.062 Set: 47.079 Check: 0.0 Back: 4.105
INFO - Atoms: 871/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 177039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.636 Prop: 56.608 PropClause: 48.293 Set: 47.331 Check: 0.0 Back: 4.125
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 178138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.64 Prop: 56.896 PropClause: 48.545 Set: 47.584 Check: 0.0 Back: 4.151
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 179237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.643 Prop: 57.182 PropClause: 48.796 Set: 47.841 Check: 0.0 Back: 4.178
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 180044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.645 Prop: 57.407 PropClause: 48.994 Set: 48.024 Check: 0.0 Back: 4.203
INFO - Atoms: 807/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 181143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.647 Prop: 57.664 PropClause: 49.216 Set: 48.29 Check: 0.0 Back: 4.222
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 182242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.649 Prop: 57.957 PropClause: 49.465 Set: 48.548 Check: 0.0 Back: 4.248
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 183081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.652 Prop: 58.174 PropClause: 49.655 Set: 48.744 Check: 0.0 Back: 4.274
INFO - Atoms: 839/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 184180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.655 Prop: 58.435 PropClause: 49.88 Set: 48.994 Check: 0.0 Back: 4.293
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 185279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.656 Prop: 58.724 PropClause: 50.133 Set: 49.247 Check: 0.0 Back: 4.319
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 186378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.661 Prop: 59.007 PropClause: 50.379 Set: 49.508 Check: 0.0 Back: 4.345
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 187477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.664 Prop: 59.29 PropClause: 50.627 Set: 49.771 Check: 0.0 Back: 4.371
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 188576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.668 Prop: 59.567 PropClause: 50.867 Set: 50.035 Check: 0.0 Back: 4.396
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 189675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.671 Prop: 59.847 PropClause: 51.112 Set: 50.298 Check: 0.0 Back: 4.422
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 190774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.675 Prop: 60.124 PropClause: 51.354 Set: 50.551 Check: 0.0 Back: 4.448
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 191873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.677 Prop: 60.408 PropClause: 51.603 Set: 50.805 Check: 0.0 Back: 4.473
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 192972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.678 Prop: 60.695 PropClause: 51.854 Set: 51.057 Check: 0.0 Back: 4.499
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 193820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.683 Prop: 60.923 PropClause: 52.051 Set: 51.244 Check: 0.0 Back: 4.525
INFO - Atoms: 848/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 194705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.685 Prop: 61.141 PropClause: 52.24 Set: 51.438 Check: 0.0 Back: 4.544
INFO - Atoms: 885/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 195565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.687 Prop: 61.358 PropClause: 52.428 Set: 51.626 Check: 0.0 Back: 4.565
INFO - Atoms: 860/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 196374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.689 Prop: 61.575 PropClause: 52.609 Set: 51.798 Check: 0.0 Back: 4.585
INFO - Atoms: 809/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 197186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.691 Prop: 61.78 PropClause: 52.788 Set: 51.975 Check: 0.0 Back: 4.604
INFO - Atoms: 812/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 198026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.694 Prop: 61.99 PropClause: 52.971 Set: 52.159 Check: 0.0 Back: 4.623
INFO - Atoms: 840/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 198882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.696 Prop: 62.201 PropClause: 53.154 Set: 52.344 Check: 0.0 Back: 4.643
INFO - Atoms: 856/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 199691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.698 Prop: 62.405 PropClause: 53.332 Set: 52.515 Check: 0.0 Back: 4.663
INFO - Atoms: 809/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 200790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.702 Prop: 62.657 PropClause: 53.549 Set: 52.758 Check: 0.0 Back: 4.681
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 201889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.703 Prop: 62.937 PropClause: 53.791 Set: 53.002 Check: 0.0 Back: 4.707
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 202988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.706 Prop: 63.237 PropClause: 54.056 Set: 53.241 Check: 0.0 Back: 4.733
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 204087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.71 Prop: 63.532 PropClause: 54.316 Set: 53.476 Check: 0.0 Back: 4.759
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 205186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.713 Prop: 63.818 PropClause: 54.566 Set: 53.727 Check: 0.0 Back: 4.784
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 206285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.715 Prop: 64.097 PropClause: 54.81 Set: 53.975 Check: 0.0 Back: 4.81
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 207384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.72 Prop: 64.393 PropClause: 55.07 Set: 54.221 Check: 0.0 Back: 4.836
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 208483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.722 Prop: 64.684 PropClause: 55.326 Set: 54.467 Check: 0.0 Back: 4.861
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 209582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.725 Prop: 64.971 PropClause: 55.578 Set: 54.709 Check: 0.0 Back: 4.887
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 210681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.728 Prop: 65.254 PropClause: 55.822 Set: 54.872 Check: 0.0 Back: 4.913
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 211574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 65.478 PropClause: 56.018 Set: 55.012 Check: 0.0 Back: 4.938
INFO - Atoms: 893/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 212482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.732 Prop: 65.687 PropClause: 56.198 Set: 55.143 Check: 0.0 Back: 4.959
INFO - Atoms: 908/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 213581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.733 Prop: 65.943 PropClause: 56.418 Set: 55.305 Check: 0.0 Back: 4.98
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 214680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.736 Prop: 66.214 PropClause: 56.653 Set: 55.473 Check: 0.0 Back: 5.005
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 215779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.738 Prop: 66.485 PropClause: 56.888 Set: 55.639 Check: 0.0 Back: 5.031
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 216878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.741 Prop: 66.755 PropClause: 57.123 Set: 55.806 Check: 0.0 Back: 5.057
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 217778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.743 Prop: 66.979 PropClause: 57.317 Set: 55.936 Check: 0.0 Back: 5.083
INFO - Atoms: 900/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 218877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.745 Prop: 67.257 PropClause: 57.54 Set: 56.103 Check: 0.0 Back: 5.104
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 219976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.747 Prop: 67.536 PropClause: 57.783 Set: 56.267 Check: 0.0 Back: 5.13
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 221075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.749 Prop: 67.814 PropClause: 58.025 Set: 56.432 Check: 0.0 Back: 5.155
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 221951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.751 Prop: 68.032 PropClause: 58.214 Set: 56.556 Check: 0.0 Back: 5.181
INFO - Atoms: 876/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 223050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.754 Prop: 68.283 PropClause: 58.431 Set: 56.718 Check: 0.0 Back: 5.201
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 224149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.755 Prop: 68.559 PropClause: 58.671 Set: 56.883 Check: 0.0 Back: 5.227
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 225030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.757 Prop: 68.779 PropClause: 58.862 Set: 57.011 Check: 0.0 Back: 5.252
INFO - Atoms: 881/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 226129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.76 Prop: 69.028 PropClause: 59.074 Set: 57.174 Check: 0.0 Back: 5.273
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 227228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.762 Prop: 69.312 PropClause: 59.323 Set: 57.338 Check: 0.0 Back: 5.299
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 228327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.764 Prop: 69.582 PropClause: 59.557 Set: 57.503 Check: 0.0 Back: 5.324
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 229218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.766 Prop: 69.816 PropClause: 59.762 Set: 57.63 Check: 0.0 Back: 5.35
INFO - Atoms: 891/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 230317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.768 Prop: 70.067 PropClause: 59.976 Set: 57.797 Check: 0.0 Back: 5.371
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 231416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.77 Prop: 70.35 PropClause: 60.225 Set: 57.962 Check: 0.0 Back: 5.396
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 232214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.772 Prop: 70.554 PropClause: 60.403 Set: 58.078 Check: 0.0 Back: 5.422
INFO - Atoms: 798/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 233022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.775 Prop: 70.741 PropClause: 60.563 Set: 58.193 Check: 0.0 Back: 5.44
INFO - Atoms: 808/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 233810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.777 Prop: 70.924 PropClause: 60.721 Set: 58.307 Check: 0.0 Back: 5.459
INFO - Atoms: 788/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 234547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.78 Prop: 71.094 PropClause: 60.865 Set: 58.41 Check: 0.0 Back: 5.478
INFO - Atoms: 737/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 235312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.781 Prop: 71.266 PropClause: 61.012 Set: 58.519 Check: 0.0 Back: 5.495
INFO - Atoms: 765/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 236085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.783 Prop: 71.449 PropClause: 61.17 Set: 58.628 Check: 0.0 Back: 5.513
INFO - Atoms: 773/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 236896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.786 Prop: 71.629 PropClause: 61.323 Set: 58.745 Check: 0.0 Back: 5.531
INFO - Atoms: 811/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 237642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.788 Prop: 71.803 PropClause: 61.473 Set: 58.848 Check: 0.0 Back: 5.55
INFO - Atoms: 746/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 238741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.79 Prop: 72.049 PropClause: 61.683 Set: 59.009 Check: 0.0 Back: 5.567
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 239446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.813 Prop: 72.247 PropClause: 61.859 Set: 59.108 Check: 0.0 Back: 5.593
INFO - Atoms: 705/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 240545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.815 Prop: 72.488 PropClause: 62.064 Set: 59.277 Check: 0.0 Back: 5.609
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 241644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.818 Prop: 72.757 PropClause: 62.297 Set: 59.443 Check: 0.0 Back: 5.636
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 242406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.82 Prop: 73.031 PropClause: 62.472 Set: 59.554 Check: 0.0 Back: 5.662
INFO - Atoms: 762/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 243505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.823 Prop: 73.351 PropClause: 62.675 Set: 59.721 Check: 0.0 Back: 5.68
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 244604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.825 Prop: 73.632 PropClause: 62.914 Set: 59.883 Check: 0.0 Back: 5.706
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 245330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.828 Prop: 73.826 PropClause: 63.084 Set: 59.994 Check: 0.0 Back: 5.731
INFO - Atoms: 726/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 246429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.829 Prop: 74.061 PropClause: 63.284 Set: 60.159 Check: 0.0 Back: 5.748
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 247528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.832 Prop: 74.331 PropClause: 63.518 Set: 60.329 Check: 0.0 Back: 5.773
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 248189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.834 Prop: 74.51 PropClause: 63.676 Set: 60.42 Check: 0.0 Back: 5.799
INFO - Atoms: 661/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 249288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.836 Prop: 74.748 PropClause: 63.879 Set: 60.581 Check: 0.0 Back: 5.814
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 250387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.838 Prop: 75.072 PropClause: 64.131 Set: 60.746 Check: 0.0 Back: 5.84
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 251486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.84 Prop: 75.351 PropClause: 64.374 Set: 60.906 Check: 0.0 Back: 5.866
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 252585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.842 Prop: 75.634 PropClause: 64.621 Set: 61.075 Check: 0.0 Back: 5.891
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 253684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.844 Prop: 75.91 PropClause: 64.862 Set: 61.238 Check: 0.0 Back: 5.917
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 254417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.846 Prop: 76.113 PropClause: 65.04 Set: 61.341 Check: 0.0 Back: 5.943
INFO - Atoms: 733/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 255516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.848 Prop: 76.351 PropClause: 65.244 Set: 61.503 Check: 0.0 Back: 5.96
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 256615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.851 Prop: 76.634 PropClause: 65.491 Set: 61.665 Check: 0.0 Back: 5.985
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 257714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.853 Prop: 76.909 PropClause: 65.728 Set: 61.84 Check: 0.0 Back: 6.011
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 258813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.855 Prop: 77.257 PropClause: 65.968 Set: 62.009 Check: 0.0 Back: 6.037
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 259562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.857 Prop: 77.456 PropClause: 66.143 Set: 62.113 Check: 0.0 Back: 6.063
INFO - Atoms: 749/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 260470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.859 Prop: 77.649 PropClause: 66.306 Set: 62.245 Check: 0.0 Back: 6.08
INFO - Atoms: 908/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 261569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.862 Prop: 77.896 PropClause: 66.518 Set: 62.409 Check: 0.0 Back: 6.101
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 262668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.863 Prop: 78.162 PropClause: 66.749 Set: 62.572 Check: 0.0 Back: 6.127
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 263767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.866 Prop: 78.432 PropClause: 66.984 Set: 62.737 Check: 0.0 Back: 6.153
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 264667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.868 Prop: 78.658 PropClause: 67.178 Set: 62.875 Check: 0.0 Back: 6.178
INFO - Atoms: 900/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 265766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.871 Prop: 78.911 PropClause: 67.392 Set: 63.039 Check: 0.0 Back: 6.199
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 266865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.873 Prop: 79.204 PropClause: 67.649 Set: 63.233 Check: 0.0 Back: 6.225
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 267964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.875 Prop: 79.482 PropClause: 67.895 Set: 63.398 Check: 0.0 Back: 6.251
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 268848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.877 Prop: 79.7 PropClause: 68.088 Set: 63.526 Check: 0.0 Back: 6.276
INFO - Atoms: 884/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 269947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.879 Prop: 79.946 PropClause: 68.302 Set: 63.69 Check: 0.0 Back: 6.297
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 271046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.883 Prop: 80.226 PropClause: 68.55 Set: 63.854 Check: 0.0 Back: 6.322
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 272145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.884 Prop: 80.496 PropClause: 68.789 Set: 64.02 Check: 0.0 Back: 6.348
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 273244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.887 Prop: 80.762 PropClause: 69.023 Set: 64.188 Check: 0.0 Back: 6.373
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 274128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.889 Prop: 80.979 PropClause: 69.216 Set: 64.315 Check: 0.0 Back: 6.399
INFO - Atoms: 884/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 275227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.892 Prop: 81.223 PropClause: 69.428 Set: 64.478 Check: 0.0 Back: 6.42
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 276326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.894 Prop: 81.489 PropClause: 69.663 Set: 64.641 Check: 0.0 Back: 6.445
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 277425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.896 Prop: 81.766 PropClause: 69.908 Set: 64.803 Check: 0.0 Back: 6.471
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 278285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.898 Prop: 81.98 PropClause: 70.097 Set: 64.925 Check: 0.0 Back: 6.497
INFO - Atoms: 860/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 279384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.906 Prop: 82.225 PropClause: 70.31 Set: 65.09 Check: 0.0 Back: 6.516
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 280483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.908 Prop: 82.512 PropClause: 70.566 Set: 65.255 Check: 0.0 Back: 6.542
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 281373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.91 Prop: 82.746 PropClause: 70.772 Set: 65.384 Check: 0.0 Back: 6.568
INFO - Atoms: 890/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 282472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.912 Prop: 82.993 PropClause: 70.988 Set: 65.549 Check: 0.0 Back: 6.589
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 283307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.914 Prop: 83.203 PropClause: 71.173 Set: 65.669 Check: 0.0 Back: 6.614
INFO - Atoms: 835/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 284131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.916 Prop: 83.391 PropClause: 71.336 Set: 65.79 Check: 0.0 Back: 6.634
INFO - Atoms: 824/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 284972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.918 Prop: 83.585 PropClause: 71.506 Set: 65.909 Check: 0.0 Back: 6.653
INFO - Atoms: 841/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 285813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.92 Prop: 83.774 PropClause: 71.67 Set: 66.029 Check: 0.0 Back: 6.673
INFO - Atoms: 841/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 286641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.922 Prop: 83.958 PropClause: 71.83 Set: 66.146 Check: 0.0 Back: 6.693
INFO - Atoms: 828/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 287464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.924 Prop: 84.144 PropClause: 71.993 Set: 66.276 Check: 0.0 Back: 6.713
INFO - Atoms: 823/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 288259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.926 Prop: 84.32 PropClause: 72.146 Set: 66.387 Check: 0.0 Back: 6.732
INFO - Atoms: 795/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 289048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.927 Prop: 84.493 PropClause: 72.296 Set: 66.5 Check: 0.0 Back: 6.751
INFO - Atoms: 789/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 290147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.929 Prop: 84.753 PropClause: 72.512 Set: 66.666 Check: 0.0 Back: 6.769
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 291044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.931 Prop: 84.973 PropClause: 72.705 Set: 66.797 Check: 0.0 Back: 6.795
INFO - Atoms: 897/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 292143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.934 Prop: 85.219 PropClause: 72.92 Set: 66.961 Check: 0.0 Back: 6.816
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 293242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.936 Prop: 85.497 PropClause: 73.165 Set: 67.123 Check: 0.0 Back: 6.847
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 294139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.938 Prop: 85.725 PropClause: 73.368 Set: 67.251 Check: 0.0 Back: 6.873
INFO - Atoms: 897/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 295238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.94 Prop: 85.988 PropClause: 73.6 Set: 67.416 Check: 0.0 Back: 6.894
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 296337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.942 Prop: 86.257 PropClause: 73.836 Set: 67.58 Check: 0.0 Back: 6.919
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 297254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.944 Prop: 86.484 PropClause: 74.037 Set: 67.713 Check: 0.0 Back: 6.945
INFO - Atoms: 917/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 298353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.946 Prop: 86.731 PropClause: 74.252 Set: 67.88 Check: 0.0 Back: 6.967
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 299452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.948 Prop: 87.007 PropClause: 74.496 Set: 68.047 Check: 0.0 Back: 6.992
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 300363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.95 Prop: 87.232 PropClause: 74.694 Set: 68.18 Check: 0.0 Back: 7.018
INFO - Atoms: 911/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 301462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.952 Prop: 87.492 PropClause: 74.922 Set: 68.349 Check: 0.0 Back: 7.04
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 302561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.955 Prop: 87.781 PropClause: 75.179 Set: 68.513 Check: 0.0 Back: 7.066
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 303660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.958 Prop: 88.042 PropClause: 75.409 Set: 68.678 Check: 0.0 Back: 7.092
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 304759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.959 Prop: 88.314 PropClause: 75.649 Set: 68.843 Check: 0.0 Back: 7.118
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 305858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.962 Prop: 88.583 PropClause: 75.887 Set: 69.008 Check: 0.0 Back: 7.144
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 306768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.964 Prop: 88.806 PropClause: 76.084 Set: 69.14 Check: 0.0 Back: 7.169
INFO - Atoms: 910/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 307867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.966 Prop: 89.05 PropClause: 76.296 Set: 69.303 Check: 0.0 Back: 7.19
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 308966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.968 Prop: 89.313 PropClause: 76.527 Set: 69.465 Check: 0.0 Back: 7.215
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 310065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.969 Prop: 89.589 PropClause: 76.771 Set: 69.635 Check: 0.0 Back: 7.24
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 311164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.972 Prop: 89.85 PropClause: 77.0 Set: 69.795 Check: 0.0 Back: 7.265
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 311791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.974 Prop: 90.029 PropClause: 77.161 Set: 69.88 Check: 0.0 Back: 7.291
INFO - Atoms: 627/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 312380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.976 Prop: 90.164 PropClause: 77.278 Set: 69.962 Check: 0.0 Back: 7.305
INFO - Atoms: 589/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 312893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.978 Prop: 90.277 PropClause: 77.376 Set: 70.03 Check: 0.0 Back: 7.318
INFO - Atoms: 513/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 313444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.98 Prop: 90.392 PropClause: 77.475 Set: 70.103 Check: 0.0 Back: 7.33
INFO - Atoms: 551/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 314043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.981 Prop: 90.516 PropClause: 77.581 Set: 70.183 Check: 0.0 Back: 7.343
INFO - Atoms: 599/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 314633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.983 Prop: 90.647 PropClause: 77.695 Set: 70.262 Check: 0.0 Back: 7.356
INFO - Atoms: 590/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 315229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.985 Prop: 90.776 PropClause: 77.806 Set: 70.341 Check: 0.0 Back: 7.37
INFO - Atoms: 596/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 315859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.986 Prop: 90.912 PropClause: 77.925 Set: 70.425 Check: 0.0 Back: 7.384
INFO - Atoms: 630/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 316958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.988 Prop: 91.142 PropClause: 78.123 Set: 70.592 Check: 0.0 Back: 7.398
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 317868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.99 Prop: 91.365 PropClause: 78.32 Set: 70.725 Check: 0.0 Back: 7.423
INFO - Atoms: 910/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 318967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.992 Prop: 91.609 PropClause: 78.532 Set: 70.888 Check: 0.0 Back: 7.444
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 319768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.994 Prop: 91.808 PropClause: 78.708 Set: 71.002 Check: 0.0 Back: 7.469
INFO - Atoms: 801/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 320867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.995 Prop: 92.054 PropClause: 78.923 Set: 71.167 Check: 0.0 Back: 7.487
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 321736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.997 Prop: 92.268 PropClause: 79.111 Set: 71.294 Check: 0.0 Back: 7.512
INFO - Atoms: 869/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 322835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.0 Prop: 92.512 PropClause: 79.323 Set: 71.458 Check: 0.0 Back: 7.532
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 323934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.001 Prop: 92.776 PropClause: 79.555 Set: 71.622 Check: 0.0 Back: 7.557
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 325033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.004 Prop: 93.053 PropClause: 79.8 Set: 71.787 Check: 0.0 Back: 7.582
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 325914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.005 Prop: 93.268 PropClause: 79.99 Set: 71.912 Check: 0.0 Back: 7.608
INFO - Atoms: 881/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 327013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.007 Prop: 93.523 PropClause: 80.214 Set: 72.076 Check: 0.0 Back: 7.628
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 328112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.009 Prop: 93.787 PropClause: 80.447 Set: 72.244 Check: 0.0 Back: 7.653
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 329211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.011 Prop: 94.066 PropClause: 80.693 Set: 72.407 Check: 0.0 Back: 7.678
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 329887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.013 Prop: 94.248 PropClause: 80.856 Set: 72.508 Check: 0.0 Back: 7.703
INFO - Atoms: 676/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 330986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.015 Prop: 94.485 PropClause: 81.06 Set: 72.67 Check: 0.0 Back: 7.719
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 332085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.017 Prop: 94.752 PropClause: 81.295 Set: 72.838 Check: 0.0 Back: 7.744
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 332950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.018 Prop: 94.966 PropClause: 81.484 Set: 72.963 Check: 0.0 Back: 7.769
INFO - Atoms: 865/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 334049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.02 Prop: 95.213 PropClause: 81.7 Set: 73.13 Check: 0.0 Back: 7.789
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 335148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.022 Prop: 95.482 PropClause: 81.937 Set: 73.307 Check: 0.0 Back: 7.815
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 335994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.024 Prop: 95.69 PropClause: 82.121 Set: 73.428 Check: 0.0 Back: 7.84
INFO - Atoms: 846/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 337093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.029 Prop: 95.939 PropClause: 82.338 Set: 73.594 Check: 0.0 Back: 7.859
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 337875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.031 Prop: 96.137 PropClause: 82.513 Set: 73.705 Check: 0.0 Back: 7.884
INFO - Atoms: 782/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 338974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.034 Prop: 96.378 PropClause: 82.722 Set: 73.87 Check: 0.0 Back: 7.902
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 339859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.035 Prop: 96.593 PropClause: 82.911 Set: 73.997 Check: 0.0 Back: 7.927
INFO - Atoms: 885/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 340958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.038 Prop: 96.85 PropClause: 83.137 Set: 74.16 Check: 0.0 Back: 7.948
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 342057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.039 Prop: 97.127 PropClause: 83.382 Set: 74.326 Check: 0.0 Back: 7.973
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 343156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.041 Prop: 97.391 PropClause: 83.615 Set: 74.489 Check: 0.0 Back: 7.998
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 343909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.043 Prop: 97.582 PropClause: 83.784 Set: 74.595 Check: 0.0 Back: 8.023
INFO - Atoms: 753/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 345008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.045 Prop: 97.826 PropClause: 83.997 Set: 74.764 Check: 0.0 Back: 8.04
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 346107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.047 Prop: 98.097 PropClause: 84.237 Set: 74.93 Check: 0.0 Back: 8.066
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 346875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.049 Prop: 98.295 PropClause: 84.409 Set: 75.038 Check: 0.0 Back: 8.091
INFO - Atoms: 768/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 347974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.061 Prop: 98.527 PropClause: 84.609 Set: 75.199 Check: 0.0 Back: 8.108
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 348668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.063 Prop: 98.706 PropClause: 84.768 Set: 75.294 Check: 0.0 Back: 8.134
INFO - Atoms: 694/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 349767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.065 Prop: 98.933 PropClause: 84.963 Set: 75.454 Check: 0.0 Back: 8.149
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 350866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.067 Prop: 99.202 PropClause: 85.2 Set: 75.615 Check: 0.0 Back: 8.174
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 351965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.069 Prop: 99.459 PropClause: 85.425 Set: 75.775 Check: 0.0 Back: 8.199
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 352623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.071 Prop: 99.632 PropClause: 85.579 Set: 75.864 Check: 0.0 Back: 8.224
INFO - Atoms: 658/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 353722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.073 Prop: 99.857 PropClause: 85.772 Set: 76.028 Check: 0.0 Back: 8.239
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 354821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.075 Prop: 100.13 PropClause: 86.013 Set: 76.193 Check: 0.0 Back: 8.264
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 355920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.083 Prop: 100.405 PropClause: 86.255 Set: 76.355 Check: 0.0 Back: 8.29
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 357019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.09 Prop: 100.67 PropClause: 86.488 Set: 76.522 Check: 0.0 Back: 8.315
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 358118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.092 Prop: 100.926 PropClause: 86.712 Set: 76.68 Check: 0.0 Back: 8.34
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 359217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.094 Prop: 101.184 PropClause: 86.936 Set: 76.841 Check: 0.0 Back: 8.365
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 360046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.096 Prop: 101.387 PropClause: 87.116 Set: 76.962 Check: 0.0 Back: 8.39
INFO - Atoms: 829/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 361145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.098 Prop: 101.625 PropClause: 87.321 Set: 77.124 Check: 0.0 Back: 8.409
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 362244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.103 Prop: 101.881 PropClause: 87.545 Set: 77.288 Check: 0.0 Back: 8.435
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 363343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.105 Prop: 102.143 PropClause: 87.776 Set: 77.446 Check: 0.0 Back: 8.459
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 364442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.107 Prop: 102.404 PropClause: 88.004 Set: 77.613 Check: 0.0 Back: 8.485
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 365134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.109 Prop: 102.595 PropClause: 88.174 Set: 77.71 Check: 0.0 Back: 8.511
INFO - Atoms: 692/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 366233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.111 Prop: 102.825 PropClause: 88.372 Set: 77.873 Check: 0.0 Back: 8.527
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 367332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.13 Prop: 103.084 PropClause: 88.599 Set: 78.034 Check: 0.0 Back: 8.552
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 368431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.147 Prop: 103.356 PropClause: 88.839 Set: 78.199 Check: 0.0 Back: 8.577
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 369301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.149 Prop: 103.569 PropClause: 89.027 Set: 78.323 Check: 0.0 Back: 8.608
INFO - Atoms: 870/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 370400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.15 Prop: 103.813 PropClause: 89.238 Set: 78.487 Check: 0.0 Back: 8.627
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 371499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.153 Prop: 104.083 PropClause: 89.476 Set: 78.654 Check: 0.0 Back: 8.652
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 372186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.174 Prop: 104.262 PropClause: 89.635 Set: 78.748 Check: 0.0 Back: 8.677
INFO - Atoms: 687/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 373285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.175 Prop: 104.489 PropClause: 89.83 Set: 78.912 Check: 0.0 Back: 8.693
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 374384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.178 Prop: 104.754 PropClause: 90.063 Set: 79.077 Check: 0.0 Back: 8.718
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 375483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.18 Prop: 105.013 PropClause: 90.291 Set: 79.239 Check: 0.0 Back: 8.743
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 376582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.183 Prop: 105.289 PropClause: 90.535 Set: 79.4 Check: 0.0 Back: 8.768
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 377681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.185 Prop: 105.548 PropClause: 90.762 Set: 79.564 Check: 0.0 Back: 8.793
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 378570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.186 Prop: 105.763 PropClause: 90.95 Set: 79.697 Check: 0.0 Back: 8.818
INFO - Atoms: 889/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 379669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.189 Prop: 106.002 PropClause: 91.158 Set: 79.859 Check: 0.0 Back: 8.839
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 380768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.191 Prop: 106.26 PropClause: 91.384 Set: 80.022 Check: 0.0 Back: 8.864
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 381867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.193 Prop: 106.52 PropClause: 91.612 Set: 80.186 Check: 0.0 Back: 8.89
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 382966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.195 Prop: 106.781 PropClause: 91.841 Set: 80.351 Check: 0.0 Back: 8.915
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 383618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.197 Prop: 106.953 PropClause: 91.994 Set: 80.44 Check: 0.0 Back: 8.94
INFO - Atoms: 652/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 384717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.199 Prop: 107.177 PropClause: 92.187 Set: 80.602 Check: 0.0 Back: 8.955
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 385604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 107.392 PropClause: 92.375 Set: 80.727 Check: 0.0 Back: 8.98
INFO - Atoms: 887/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 386703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.211 Prop: 107.636 PropClause: 92.588 Set: 80.89 Check: 0.0 Back: 9.0
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 387802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.228 Prop: 107.898 PropClause: 92.817 Set: 81.055 Check: 0.0 Back: 9.026
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 388644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.231 Prop: 108.118 PropClause: 93.012 Set: 81.174 Check: 0.0 Back: 9.051
INFO - Atoms: 842/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 389743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.245 Prop: 108.354 PropClause: 93.216 Set: 81.335 Check: 0.0 Back: 9.07
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 390842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.247 Prop: 108.612 PropClause: 93.442 Set: 81.497 Check: 0.0 Back: 9.095
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 391941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.262 Prop: 108.87 PropClause: 93.669 Set: 81.661 Check: 0.0 Back: 9.12
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 392856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.264 Prop: 109.098 PropClause: 93.869 Set: 81.792 Check: 0.0 Back: 9.145
INFO - Atoms: 915/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 393955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.265 Prop: 109.337 PropClause: 94.076 Set: 81.952 Check: 0.0 Back: 9.166
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 395054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.268 Prop: 109.599 PropClause: 94.306 Set: 82.113 Check: 0.0 Back: 9.191
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 395807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.27 Prop: 109.801 PropClause: 94.486 Set: 82.219 Check: 0.0 Back: 9.216
INFO - Atoms: 753/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 396494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.271 Prop: 109.956 PropClause: 94.621 Set: 82.313 Check: 0.0 Back: 9.233
INFO - Atoms: 687/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 397280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.273 Prop: 110.122 PropClause: 94.764 Set: 82.424 Check: 0.0 Back: 9.249
INFO - Atoms: 786/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 398094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.275 Prop: 110.307 PropClause: 94.926 Set: 82.605 Check: 0.0 Back: 9.267
INFO - Atoms: 814/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 399193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.276 Prop: 110.562 PropClause: 95.149 Set: 82.855 Check: 0.0 Back: 9.29
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 400064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.278 Prop: 110.773 PropClause: 95.334 Set: 82.986 Check: 0.0 Back: 9.316
INFO - Atoms: 871/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 401163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.281 Prop: 111.022 PropClause: 95.55 Set: 83.148 Check: 0.0 Back: 9.335
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 402262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.283 Prop: 111.288 PropClause: 95.784 Set: 83.363 Check: 0.0 Back: 9.36
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 403108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.294 Prop: 111.508 PropClause: 95.98 Set: 83.544 Check: 0.0 Back: 9.386
INFO - Atoms: 846/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 404207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.317 Prop: 111.755 PropClause: 96.196 Set: 83.793 Check: 0.0 Back: 9.405
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 405306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.319 Prop: 112.032 PropClause: 96.44 Set: 84.035 Check: 0.0 Back: 9.43
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 406405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.322 Prop: 112.307 PropClause: 96.683 Set: 84.277 Check: 0.0 Back: 9.455
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 407226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.324 Prop: 112.528 PropClause: 96.88 Set: 84.452 Check: 0.0 Back: 9.48
INFO - Atoms: 821/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 408325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.328 Prop: 112.768 PropClause: 97.089 Set: 84.692 Check: 0.0 Back: 9.499
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 409424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.331 Prop: 113.047 PropClause: 97.337 Set: 84.937 Check: 0.0 Back: 9.524
INFO - Atoms: 1099/1101 Clauses: 45 Axioms: 3594
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 440 Props: 2988 Tprops: 661 Decides: 1001 RSplits: 0
INFO - Times: Expl: 40.009 Prop: 882.331 PropClause: 1.654 Set: 160.564 Check: 15.468 Back: 4.317
INFO - Atoms: 44/45 Clauses: 440 Axioms: 36
INFO - CCTimes: iE 25584 eq 2233529 cc 2124763 setRep 554034
INFO - Merges: 2463, cc:824
INFO - BVTimes: BB 31344619 BB_DPLL 457265827 Graph 13314280
INFO - BitBlastingClauses: 22250 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat