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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 41772163
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.367 Prop: 4.286 PropClause: 3.567 Set: 3.611 Check: 0.0 Back: 0.0
INFO - Atoms: 284/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.406 Prop: 4.587 PropClause: 3.747 Set: 4.621 Check: 0.0 Back: 0.014
INFO - Atoms: 588/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.441 Prop: 4.866 PropClause: 3.899 Set: 5.818 Check: 0.0 Back: 0.028
INFO - Atoms: 665/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.46 Prop: 6.993 PropClause: 5.925 Set: 6.008 Check: 0.0 Back: 0.043
INFO - Atoms: 663/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 2874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.474 Prop: 7.254 PropClause: 6.082 Set: 6.284 Check: 0.0 Back: 0.059
INFO - Atoms: 674/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 3781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.489 Prop: 7.527 PropClause: 6.326 Set: 6.629 Check: 0.0 Back: 0.075
INFO - Atoms: 907/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 4566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.509 Prop: 7.766 PropClause: 6.54 Set: 6.87 Check: 0.0 Back: 0.096
INFO - Atoms: 785/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 5388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.52 Prop: 8.012 PropClause: 6.761 Set: 7.42 Check: 0.0 Back: 0.115
INFO - Atoms: 822/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 6258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.538 Prop: 8.333 PropClause: 7.051 Set: 7.841 Check: 0.0 Back: 0.134
INFO - Atoms: 870/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 7182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.556 Prop: 8.686 PropClause: 7.372 Set: 10.488 Check: 0.0 Back: 0.158
INFO - Atoms: 924/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 8265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.568 Prop: 9.036 PropClause: 7.689 Set: 10.904 Check: 0.0 Back: 0.18
INFO - Atoms: 1083/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 9431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.585 Prop: 9.461 PropClause: 8.068 Set: 11.53 Check: 0.0 Back: 0.205
INFO - Atoms: 1166/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 10602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.6 Prop: 9.903 PropClause: 8.464 Set: 12.108 Check: 0.0 Back: 0.233
INFO - Atoms: 1171/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 11828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.615 Prop: 10.377 PropClause: 8.888 Set: 12.703 Check: 0.0 Back: 0.26
INFO - Atoms: 1226/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 13080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.628 Prop: 10.839 PropClause: 9.302 Set: 13.321 Check: 0.0 Back: 0.289
INFO - Atoms: 1252/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 14293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.638 Prop: 11.312 PropClause: 9.729 Set: 13.922 Check: 0.0 Back: 0.318
INFO - Atoms: 1213/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 15100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.651 Prop: 11.636 PropClause: 10.023 Set: 14.276 Check: 0.0 Back: 0.346
INFO - Atoms: 807/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 16354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.665 Prop: 12.062 PropClause: 10.4 Set: 14.902 Check: 0.0 Back: 0.365
INFO - Atoms: 1254/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 17077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.694 Prop: 12.395 PropClause: 10.699 Set: 15.239 Check: 0.0 Back: 0.394
INFO - Atoms: 723/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 18296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.713 Prop: 13.426 PropClause: 11.101 Set: 15.862 Check: 0.0 Back: 0.411
INFO - Atoms: 1219/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 19299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.738 Prop: 13.865 PropClause: 11.5 Set: 16.439 Check: 0.0 Back: 0.439
INFO - Atoms: 1003/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 20350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.752 Prop: 14.228 PropClause: 11.823 Set: 16.931 Check: 0.0 Back: 0.463
INFO - Atoms: 1051/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 21481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.762 Prop: 14.613 PropClause: 12.164 Set: 17.437 Check: 0.0 Back: 0.487
INFO - Atoms: 1131/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 22682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.776 Prop: 15.046 PropClause: 12.551 Set: 17.945 Check: 0.0 Back: 0.513
INFO - Atoms: 1201/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 23435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.908 Prop: 15.331 PropClause: 12.806 Set: 18.188 Check: 0.0 Back: 0.541
INFO - Atoms: 753/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 24325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.917 Prop: 15.603 PropClause: 13.045 Set: 18.572 Check: 0.0 Back: 0.559
INFO - Atoms: 890/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 25629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.929 Prop: 16.113 PropClause: 13.498 Set: 19.339 Check: 0.0 Back: 0.58
INFO - Atoms: 1304/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 26941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.95 Prop: 16.616 PropClause: 13.945 Set: 19.937 Check: 0.0 Back: 0.61
INFO - Atoms: 1312/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 28279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.963 Prop: 17.143 PropClause: 14.416 Set: 20.548 Check: 0.0 Back: 0.641
INFO - Atoms: 1338/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 29644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.984 Prop: 17.855 PropClause: 15.064 Set: 21.285 Check: 0.0 Back: 0.672
INFO - Atoms: 1365/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 31020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.997 Prop: 18.3 PropClause: 15.455 Set: 21.858 Check: 0.0 Back: 0.711
INFO - Atoms: 1376/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 32396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.009 Prop: 18.737 PropClause: 15.839 Set: 22.354 Check: 0.0 Back: 0.745
INFO - Atoms: 1376/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 33837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.028 Prop: 19.181 PropClause: 16.227 Set: 22.9 Check: 0.0 Back: 0.777
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 35278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.039 Prop: 20.328 PropClause: 16.646 Set: 23.498 Check: 0.0 Back: 0.811
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 36719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.053 Prop: 20.821 PropClause: 17.069 Set: 24.148 Check: 0.0 Back: 0.845
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 38160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.064 Prop: 21.311 PropClause: 17.49 Set: 24.757 Check: 0.0 Back: 0.879
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 38825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.077 Prop: 21.584 PropClause: 17.735 Set: 24.978 Check: 0.0 Back: 0.915
INFO - Atoms: 665/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 40266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.115 Prop: 22.065 PropClause: 18.15 Set: 25.627 Check: 0.0 Back: 0.931
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 41707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.132 Prop: 23.576 PropClause: 19.598 Set: 26.229 Check: 0.0 Back: 0.965
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 43148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.152 Prop: 24.062 PropClause: 20.033 Set: 26.528 Check: 0.0 Back: 1.002
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 44589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.165 Prop: 24.525 PropClause: 20.447 Set: 26.773 Check: 0.0 Back: 1.037
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 46030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.181 Prop: 24.979 PropClause: 20.855 Set: 27.001 Check: 0.0 Back: 1.071
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 47471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.192 Prop: 25.427 PropClause: 21.254 Set: 27.24 Check: 0.0 Back: 1.105
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 48912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.208 Prop: 25.882 PropClause: 21.663 Set: 27.473 Check: 0.0 Back: 1.139
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 50353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.22 Prop: 26.316 PropClause: 22.05 Set: 27.702 Check: 0.0 Back: 1.173
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 51031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.233 Prop: 26.593 PropClause: 22.305 Set: 27.79 Check: 0.0 Back: 1.207
INFO - Atoms: 678/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 52470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.32 Prop: 26.963 PropClause: 22.625 Set: 28.026 Check: 0.0 Back: 1.223
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 53911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.327 Prop: 27.447 PropClause: 23.057 Set: 28.302 Check: 0.0 Back: 1.256
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 55352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.332 Prop: 27.896 PropClause: 23.458 Set: 28.527 Check: 0.0 Back: 1.29
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 56793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.336 Prop: 28.341 PropClause: 23.856 Set: 28.759 Check: 0.0 Back: 1.323
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 57418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.342 Prop: 28.637 PropClause: 24.125 Set: 28.866 Check: 0.0 Back: 1.357
INFO - Atoms: 625/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 58859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.351 Prop: 29.076 PropClause: 24.503 Set: 29.163 Check: 0.0 Back: 1.373
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 60300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.36 Prop: 29.604 PropClause: 24.968 Set: 29.46 Check: 0.0 Back: 1.412
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 61741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.369 Prop: 30.044 PropClause: 25.362 Set: 29.691 Check: 0.0 Back: 1.452
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 63182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.38 Prop: 30.623 PropClause: 25.878 Set: 30.057 Check: 0.0 Back: 1.487
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 64623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.39 Prop: 31.117 PropClause: 26.319 Set: 30.313 Check: 0.0 Back: 1.525
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 66064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.393 Prop: 31.603 PropClause: 26.756 Set: 30.571 Check: 0.0 Back: 1.56
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 67505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.399 Prop: 32.092 PropClause: 27.2 Set: 30.917 Check: 0.0 Back: 1.594
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 68946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.403 Prop: 32.546 PropClause: 27.607 Set: 31.169 Check: 0.0 Back: 1.628
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 70387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.411 Prop: 33.059 PropClause: 28.072 Set: 31.525 Check: 0.0 Back: 1.662
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 71828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.414 Prop: 33.538 PropClause: 28.502 Set: 31.877 Check: 0.0 Back: 1.696
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 73269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.421 Prop: 34.117 PropClause: 29.01 Set: 32.326 Check: 0.0 Back: 1.731
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 74710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.426 Prop: 34.71 PropClause: 29.531 Set: 32.79 Check: 0.0 Back: 1.77
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 76151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.434 Prop: 35.197 PropClause: 29.969 Set: 33.131 Check: 0.0 Back: 1.809
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 77592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.441 Prop: 35.636 PropClause: 30.361 Set: 33.48 Check: 0.0 Back: 1.842
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 79033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.449 Prop: 36.181 PropClause: 30.843 Set: 33.921 Check: 0.0 Back: 1.876
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 80474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.459 Prop: 37.667 PropClause: 31.662 Set: 34.27 Check: 0.0 Back: 1.915
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 81915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.468 Prop: 38.132 PropClause: 32.07 Set: 34.605 Check: 0.0 Back: 1.949
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 83356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.471 Prop: 38.573 PropClause: 32.454 Set: 34.93 Check: 0.0 Back: 1.983
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 84797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.477 Prop: 39.106 PropClause: 32.927 Set: 35.29 Check: 0.0 Back: 2.017
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 86238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.488 Prop: 39.592 PropClause: 33.356 Set: 35.638 Check: 0.0 Back: 2.05
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 86856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.5 Prop: 39.868 PropClause: 33.608 Set: 35.761 Check: 0.0 Back: 2.084
INFO - Atoms: 618/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 87535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.504 Prop: 40.032 PropClause: 33.744 Set: 35.918 Check: 0.0 Back: 2.099
INFO - Atoms: 679/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 88976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.509 Prop: 40.422 PropClause: 34.076 Set: 36.271 Check: 0.0 Back: 2.115
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 90417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.513 Prop: 40.879 PropClause: 34.476 Set: 36.638 Check: 0.0 Back: 2.149
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 91858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.519 Prop: 41.353 PropClause: 34.892 Set: 36.986 Check: 0.0 Back: 2.183
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 93299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.528 Prop: 41.855 PropClause: 35.334 Set: 37.226 Check: 0.0 Back: 2.218
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 93881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.534 Prop: 42.106 PropClause: 35.559 Set: 37.303 Check: 0.0 Back: 2.252
INFO - Atoms: 582/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 95322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.541 Prop: 42.472 PropClause: 35.863 Set: 37.586 Check: 0.0 Back: 2.266
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 96763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.544 Prop: 42.937 PropClause: 36.265 Set: 37.83 Check: 0.0 Back: 2.301
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 98204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.549 Prop: 43.384 PropClause: 36.652 Set: 38.066 Check: 0.0 Back: 2.335
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 99645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.553 Prop: 43.827 PropClause: 37.036 Set: 38.296 Check: 0.0 Back: 2.369
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 100281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.556 Prop: 44.073 PropClause: 37.257 Set: 38.372 Check: 0.0 Back: 2.403
INFO - Atoms: 636/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 101720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.561 Prop: 44.452 PropClause: 37.551 Set: 38.603 Check: 0.0 Back: 2.418
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 103161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.566 Prop: 44.887 PropClause: 37.928 Set: 38.824 Check: 0.0 Back: 2.452
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 104602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.57 Prop: 45.463 PropClause: 38.314 Set: 39.057 Check: 0.0 Back: 2.486
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 106043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.574 Prop: 45.907 PropClause: 38.698 Set: 39.285 Check: 0.0 Back: 2.52
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 106674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.579 Prop: 46.173 PropClause: 38.937 Set: 39.368 Check: 0.0 Back: 2.555
INFO - Atoms: 631/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 108115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.583 Prop: 46.548 PropClause: 39.252 Set: 39.617 Check: 0.0 Back: 2.571
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 109556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.587 Prop: 47.011 PropClause: 39.654 Set: 39.856 Check: 0.0 Back: 2.605
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 110997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.815 Prop: 47.468 PropClause: 40.051 Set: 40.091 Check: 0.0 Back: 2.642
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 112438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.818 Prop: 48.032 PropClause: 40.448 Set: 40.333 Check: 0.0 Back: 2.676
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 113879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.821 Prop: 48.498 PropClause: 40.854 Set: 40.571 Check: 0.0 Back: 2.711
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 115320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.823 Prop: 48.944 PropClause: 41.242 Set: 40.806 Check: 0.0 Back: 2.745
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 116761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.826 Prop: 49.537 PropClause: 41.631 Set: 41.046 Check: 0.0 Back: 2.78
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 118202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.829 Prop: 50.109 PropClause: 42.015 Set: 41.286 Check: 0.0 Back: 2.814
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 119643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.833 Prop: 50.706 PropClause: 42.411 Set: 41.53 Check: 0.0 Back: 2.848
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 121084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.836 Prop: 51.294 PropClause: 42.81 Set: 41.775 Check: 0.0 Back: 2.882
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 122525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.839 Prop: 51.868 PropClause: 43.197 Set: 42.01 Check: 0.0 Back: 2.916
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 123966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.842 Prop: 52.45 PropClause: 43.589 Set: 42.248 Check: 0.0 Back: 2.951
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 125407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.845 Prop: 53.036 PropClause: 43.979 Set: 42.487 Check: 0.0 Back: 2.985
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 126848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.847 Prop: 53.621 PropClause: 44.373 Set: 42.74 Check: 0.0 Back: 3.019
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 128289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.85 Prop: 54.156 PropClause: 44.774 Set: 42.981 Check: 0.0 Back: 3.054
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 129730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.853 Prop: 54.576 PropClause: 45.15 Set: 43.205 Check: 0.0 Back: 3.088
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 130477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.856 Prop: 54.84 PropClause: 45.391 Set: 43.302 Check: 0.0 Back: 3.121
INFO - Atoms: 747/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 131918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.86 Prop: 55.2 PropClause: 45.706 Set: 43.524 Check: 0.0 Back: 3.139
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 133359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.863 Prop: 55.63 PropClause: 46.089 Set: 43.761 Check: 0.0 Back: 3.173
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 134800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.866 Prop: 56.054 PropClause: 46.469 Set: 43.986 Check: 0.0 Back: 3.207
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 136241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.869 Prop: 56.56 PropClause: 46.845 Set: 44.211 Check: 0.0 Back: 3.241
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 136827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.872 Prop: 56.806 PropClause: 47.072 Set: 44.281 Check: 0.0 Back: 3.276
INFO - Atoms: 586/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 138268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.875 Prop: 57.131 PropClause: 47.352 Set: 44.505 Check: 0.0 Back: 3.29
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 139709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.878 Prop: 57.566 PropClause: 47.742 Set: 44.739 Check: 0.0 Back: 3.322
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 141150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.881 Prop: 58.003 PropClause: 48.134 Set: 44.969 Check: 0.0 Back: 3.356
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 142591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.883 Prop: 58.437 PropClause: 48.521 Set: 45.202 Check: 0.0 Back: 3.389
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 144032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.887 Prop: 58.935 PropClause: 48.908 Set: 45.436 Check: 0.0 Back: 3.422
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 145473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.889 Prop: 59.362 PropClause: 49.291 Set: 45.662 Check: 0.0 Back: 3.455
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 146914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.894 Prop: 59.819 PropClause: 49.702 Set: 45.898 Check: 0.0 Back: 3.488
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 148355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.901 Prop: 60.413 PropClause: 50.244 Set: 46.201 Check: 0.0 Back: 3.521
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 149796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.908 Prop: 60.862 PropClause: 50.648 Set: 46.455 Check: 0.0 Back: 3.56
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 151237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.913 Prop: 61.323 PropClause: 51.061 Set: 46.698 Check: 0.0 Back: 3.593
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 152678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.92 Prop: 62.082 PropClause: 51.553 Set: 47.047 Check: 0.0 Back: 3.627
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 154119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.924 Prop: 62.533 PropClause: 51.957 Set: 47.294 Check: 0.0 Back: 3.664
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 155560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.928 Prop: 62.965 PropClause: 52.344 Set: 47.524 Check: 0.0 Back: 3.698
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 157001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.947 Prop: 63.395 PropClause: 52.729 Set: 47.747 Check: 0.0 Back: 3.731
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 158442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.953 Prop: 63.817 PropClause: 53.106 Set: 47.975 Check: 0.0 Back: 3.764
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 159883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.958 Prop: 64.262 PropClause: 53.5 Set: 48.2 Check: 0.0 Back: 3.797
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 161324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.963 Prop: 64.703 PropClause: 53.894 Set: 48.429 Check: 0.0 Back: 3.83
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 162765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.965 Prop: 65.134 PropClause: 54.282 Set: 48.661 Check: 0.0 Back: 3.864
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 164206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.967 Prop: 65.584 PropClause: 54.689 Set: 48.93 Check: 0.0 Back: 3.897
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 165647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.97 Prop: 66.035 PropClause: 55.095 Set: 49.193 Check: 0.0 Back: 3.93
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 167088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.975 Prop: 66.495 PropClause: 55.512 Set: 49.427 Check: 0.0 Back: 3.963
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 168529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.978 Prop: 66.945 PropClause: 55.919 Set: 49.678 Check: 0.0 Back: 3.996
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 169970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.981 Prop: 67.392 PropClause: 56.323 Set: 49.925 Check: 0.0 Back: 4.03
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 171411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.986 Prop: 67.938 PropClause: 56.817 Set: 50.258 Check: 0.0 Back: 4.063
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 172852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.993 Prop: 68.503 PropClause: 57.329 Set: 50.591 Check: 0.0 Back: 4.102
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 174293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.997 Prop: 69.016 PropClause: 57.79 Set: 50.892 Check: 0.0 Back: 4.141
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 175734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.008 Prop: 69.516 PropClause: 58.237 Set: 51.21 Check: 0.0 Back: 4.179
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 177175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.043 Prop: 70.026 PropClause: 58.694 Set: 51.518 Check: 0.0 Back: 4.218
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 178616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.055 Prop: 70.536 PropClause: 59.153 Set: 51.822 Check: 0.0 Back: 4.257
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 180057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.079 Prop: 71.032 PropClause: 59.597 Set: 52.123 Check: 0.0 Back: 4.296
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 181498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.082 Prop: 71.541 PropClause: 60.045 Set: 52.437 Check: 0.0 Back: 4.334
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 182939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.099 Prop: 72.043 PropClause: 60.495 Set: 52.75 Check: 0.0 Back: 4.373
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 184380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.102 Prop: 72.541 PropClause: 60.941 Set: 53.055 Check: 0.0 Back: 4.411
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 185821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.104 Prop: 73.046 PropClause: 61.393 Set: 53.363 Check: 0.0 Back: 4.449
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 187262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.12 Prop: 73.567 PropClause: 61.863 Set: 53.686 Check: 0.0 Back: 4.488
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 188703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.148 Prop: 74.059 PropClause: 62.303 Set: 53.995 Check: 0.0 Back: 4.527
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 189328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.166 Prop: 74.333 PropClause: 62.554 Set: 54.104 Check: 0.0 Back: 4.568
INFO - Atoms: 625/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 190015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.174 Prop: 74.521 PropClause: 62.717 Set: 54.222 Check: 0.0 Back: 4.585
INFO - Atoms: 687/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 191456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.178 Prop: 74.93 PropClause: 63.073 Set: 54.536 Check: 0.0 Back: 4.603
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 192897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.18 Prop: 75.432 PropClause: 63.522 Set: 54.843 Check: 0.0 Back: 4.642
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 194338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.183 Prop: 75.932 PropClause: 63.97 Set: 55.142 Check: 0.0 Back: 4.681
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 195779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.204 Prop: 76.44 PropClause: 64.426 Set: 55.445 Check: 0.0 Back: 4.719
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 197220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.208 Prop: 76.938 PropClause: 64.871 Set: 55.749 Check: 0.0 Back: 4.758
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 198661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.21 Prop: 77.447 PropClause: 65.328 Set: 56.053 Check: 0.0 Back: 4.797
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 200102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.213 Prop: 77.944 PropClause: 65.773 Set: 56.371 Check: 0.0 Back: 4.836
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 201543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.215 Prop: 78.466 PropClause: 66.243 Set: 56.696 Check: 0.0 Back: 4.875
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 202984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.219 Prop: 79.004 PropClause: 66.727 Set: 57.185 Check: 0.0 Back: 4.913
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 204425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.222 Prop: 79.522 PropClause: 67.193 Set: 57.494 Check: 0.0 Back: 4.952
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 205866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.225 Prop: 80.045 PropClause: 67.662 Set: 57.966 Check: 0.0 Back: 4.991
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 207307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.227 Prop: 80.581 PropClause: 68.144 Set: 58.428 Check: 0.0 Back: 5.03
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 208748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.234 Prop: 81.148 PropClause: 68.659 Set: 58.905 Check: 0.0 Back: 5.068
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 210189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.238 Prop: 81.703 PropClause: 69.16 Set: 59.377 Check: 0.0 Back: 5.106
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 211630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.243 Prop: 82.238 PropClause: 69.642 Set: 59.84 Check: 0.0 Back: 5.146
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 213071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.248 Prop: 82.78 PropClause: 70.13 Set: 60.315 Check: 0.0 Back: 5.185
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 214512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.255 Prop: 83.317 PropClause: 70.614 Set: 60.762 Check: 0.0 Back: 5.224
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 215953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.257 Prop: 83.835 PropClause: 71.079 Set: 61.235 Check: 0.0 Back: 5.262
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 217394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.278 Prop: 84.364 PropClause: 71.553 Set: 61.688 Check: 0.0 Back: 5.301
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 218835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.28 Prop: 84.906 PropClause: 72.042 Set: 62.142 Check: 0.0 Back: 5.34
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 220276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.287 Prop: 85.446 PropClause: 72.529 Set: 62.599 Check: 0.0 Back: 5.378
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 221717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.29 Prop: 85.967 PropClause: 72.996 Set: 63.041 Check: 0.0 Back: 5.417
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 223158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.296 Prop: 86.503 PropClause: 73.478 Set: 63.478 Check: 0.0 Back: 5.456
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 224599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.3 Prop: 87.027 PropClause: 73.948 Set: 63.946 Check: 0.0 Back: 5.494
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 226040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.307 Prop: 87.592 PropClause: 74.46 Set: 64.375 Check: 0.0 Back: 5.533
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 227481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.334 Prop: 88.123 PropClause: 74.937 Set: 64.826 Check: 0.0 Back: 5.571
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 228166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.351 Prop: 88.386 PropClause: 75.181 Set: 64.96 Check: 0.0 Back: 5.605
INFO - Atoms: 685/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 229607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.354 Prop: 88.737 PropClause: 75.491 Set: 65.29 Check: 0.0 Back: 5.62
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 231048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.356 Prop: 89.171 PropClause: 75.885 Set: 65.627 Check: 0.0 Back: 5.653
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 232489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.36 Prop: 89.621 PropClause: 76.295 Set: 65.957 Check: 0.0 Back: 5.686
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 233930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.362 Prop: 90.054 PropClause: 76.686 Set: 66.281 Check: 0.0 Back: 5.72
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 234649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.365 Prop: 90.336 PropClause: 76.948 Set: 66.414 Check: 0.0 Back: 5.753
INFO - Atoms: 719/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 236090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.368 Prop: 90.689 PropClause: 77.261 Set: 66.753 Check: 0.0 Back: 5.77
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 237531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.37 Prop: 91.134 PropClause: 77.666 Set: 67.102 Check: 0.0 Back: 5.803
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 238972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.373 Prop: 91.591 PropClause: 78.082 Set: 67.443 Check: 0.0 Back: 5.836
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 240413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.383 Prop: 92.04 PropClause: 78.491 Set: 67.783 Check: 0.0 Back: 5.869
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 241125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.386 Prop: 92.305 PropClause: 78.736 Set: 67.932 Check: 0.0 Back: 5.902
INFO - Atoms: 712/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 242566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.388 Prop: 92.67 PropClause: 79.06 Set: 68.276 Check: 0.0 Back: 5.918
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 244007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.39 Prop: 93.101 PropClause: 79.45 Set: 68.61 Check: 0.0 Back: 5.951
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 245448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.393 Prop: 93.559 PropClause: 79.868 Set: 68.977 Check: 0.0 Back: 5.984
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 246889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.395 Prop: 93.997 PropClause: 80.266 Set: 69.322 Check: 0.0 Back: 6.017
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 247603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.397 Prop: 94.274 PropClause: 80.523 Set: 69.476 Check: 0.0 Back: 6.05
INFO - Atoms: 714/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 249044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.401 Prop: 94.637 PropClause: 80.847 Set: 69.823 Check: 0.0 Back: 6.066
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 250485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.403 Prop: 95.085 PropClause: 81.255 Set: 70.168 Check: 0.0 Back: 6.1
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 251926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.406 Prop: 95.571 PropClause: 81.657 Set: 70.512 Check: 0.0 Back: 6.133
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 253367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.409 Prop: 96.104 PropClause: 82.062 Set: 70.844 Check: 0.0 Back: 6.166
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 254056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.412 Prop: 96.374 PropClause: 82.309 Set: 71.003 Check: 0.0 Back: 6.199
INFO - Atoms: 689/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 255497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.414 Prop: 96.729 PropClause: 82.62 Set: 71.329 Check: 0.0 Back: 6.215
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 256938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.419 Prop: 97.176 PropClause: 83.012 Set: 71.553 Check: 0.0 Back: 6.249
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 258379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.424 Prop: 97.609 PropClause: 83.398 Set: 71.788 Check: 0.0 Back: 6.281
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 259820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.426 Prop: 98.028 PropClause: 83.773 Set: 72.006 Check: 0.0 Back: 6.314
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 260560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.429 Prop: 98.309 PropClause: 84.029 Set: 72.106 Check: 0.0 Back: 6.347
INFO - Atoms: 740/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 262001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.431 Prop: 98.781 PropClause: 84.317 Set: 72.334 Check: 0.0 Back: 6.364
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 263442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.437 Prop: 99.207 PropClause: 84.696 Set: 72.574 Check: 0.0 Back: 6.397
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 264883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.44 Prop: 99.635 PropClause: 85.077 Set: 72.804 Check: 0.0 Back: 6.43
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 266324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.441 Prop: 100.069 PropClause: 85.462 Set: 73.037 Check: 0.0 Back: 6.463
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 267052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.444 Prop: 100.333 PropClause: 85.703 Set: 73.132 Check: 0.0 Back: 6.496
INFO - Atoms: 728/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 268493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.447 Prop: 100.698 PropClause: 86.021 Set: 73.367 Check: 0.0 Back: 6.513
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 269934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.449 Prop: 101.265 PropClause: 86.408 Set: 73.609 Check: 0.0 Back: 6.547
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 270609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.45 Prop: 101.521 PropClause: 86.642 Set: 73.689 Check: 0.0 Back: 6.581
INFO - Atoms: 675/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 272050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.452 Prop: 101.842 PropClause: 86.918 Set: 73.916 Check: 0.0 Back: 6.597
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 273491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.454 Prop: 102.264 PropClause: 87.294 Set: 74.142 Check: 0.0 Back: 6.63
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 274182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.456 Prop: 102.518 PropClause: 87.527 Set: 74.233 Check: 0.0 Back: 6.663
INFO - Atoms: 691/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 275623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.458 Prop: 102.856 PropClause: 87.819 Set: 74.464 Check: 0.0 Back: 6.678
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 277064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.459 Prop: 103.286 PropClause: 88.18 Set: 74.692 Check: 0.0 Back: 6.711
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 278505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.462 Prop: 103.706 PropClause: 88.555 Set: 74.918 Check: 0.0 Back: 6.744
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 279946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.463 Prop: 104.13 PropClause: 88.934 Set: 75.145 Check: 0.0 Back: 6.777
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 280660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.465 Prop: 104.391 PropClause: 89.173 Set: 75.234 Check: 0.0 Back: 6.81
INFO - Atoms: 714/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 282101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.467 Prop: 104.718 PropClause: 89.455 Set: 75.453 Check: 0.0 Back: 6.827
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 283542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.469 Prop: 105.132 PropClause: 89.824 Set: 75.673 Check: 0.0 Back: 6.86
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 284983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.471 Prop: 105.556 PropClause: 90.203 Set: 75.902 Check: 0.0 Back: 6.893
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 286424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.473 Prop: 106.104 PropClause: 90.569 Set: 76.12 Check: 0.0 Back: 6.926
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 287144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.475 Prop: 106.36 PropClause: 90.804 Set: 76.212 Check: 0.0 Back: 6.959
INFO - Atoms: 720/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 288585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.477 Prop: 106.705 PropClause: 91.102 Set: 76.44 Check: 0.0 Back: 6.975
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 290026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.479 Prop: 107.112 PropClause: 91.465 Set: 76.676 Check: 0.0 Back: 7.009
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 290724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.481 Prop: 107.364 PropClause: 91.696 Set: 76.769 Check: 0.0 Back: 7.041
INFO - Atoms: 698/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 291527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.483 Prop: 107.549 PropClause: 91.856 Set: 76.876 Check: 0.0 Back: 7.057
INFO - Atoms: 803/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 292968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.485 Prop: 107.885 PropClause: 92.147 Set: 77.109 Check: 0.0 Back: 7.075
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 294409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.488 Prop: 108.473 PropClause: 92.538 Set: 77.354 Check: 0.0 Back: 7.108
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 295172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.49 Prop: 108.757 PropClause: 92.79 Set: 77.454 Check: 0.0 Back: 7.141
INFO - Atoms: 763/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 296613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.493 Prop: 109.111 PropClause: 93.095 Set: 77.698 Check: 0.0 Back: 7.159
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 298054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.495 Prop: 109.531 PropClause: 93.472 Set: 77.93 Check: 0.0 Back: 7.192
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 299495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.497 Prop: 109.962 PropClause: 93.859 Set: 78.162 Check: 0.0 Back: 7.224
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 300936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.5 Prop: 110.387 PropClause: 94.242 Set: 78.403 Check: 0.0 Back: 7.257
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 301684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.503 Prop: 110.655 PropClause: 94.487 Set: 78.503 Check: 0.0 Back: 7.29
INFO - Atoms: 748/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 303125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.505 Prop: 111.001 PropClause: 94.79 Set: 78.734 Check: 0.0 Back: 7.307
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 304566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.507 Prop: 111.417 PropClause: 95.164 Set: 78.963 Check: 0.0 Back: 7.34
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 306007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.51 Prop: 111.831 PropClause: 95.538 Set: 79.184 Check: 0.0 Back: 7.373
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 307448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.511 Prop: 112.251 PropClause: 95.915 Set: 79.407 Check: 0.0 Back: 7.406
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 308184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.513 Prop: 112.51 PropClause: 96.153 Set: 79.498 Check: 0.0 Back: 7.439
INFO - Atoms: 736/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 309625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.515 Prop: 112.833 PropClause: 96.435 Set: 79.717 Check: 0.0 Back: 7.456
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 311066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.516 Prop: 113.237 PropClause: 96.797 Set: 79.94 Check: 0.0 Back: 7.488
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 312507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.519 Prop: 113.645 PropClause: 97.165 Set: 80.159 Check: 0.0 Back: 7.521
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 313948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.52 Prop: 114.046 PropClause: 97.526 Set: 80.381 Check: 0.0 Back: 7.554
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 314681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.522 Prop: 114.308 PropClause: 97.767 Set: 80.478 Check: 0.0 Back: 7.587
INFO - Atoms: 733/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 316122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.525 Prop: 114.636 PropClause: 98.055 Set: 80.712 Check: 0.0 Back: 7.604
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 317563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.527 Prop: 115.032 PropClause: 98.41 Set: 80.93 Check: 0.0 Back: 7.636
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 319004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.537 Prop: 115.433 PropClause: 98.771 Set: 81.147 Check: 0.0 Back: 7.67
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 320445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.553 Prop: 115.826 PropClause: 99.124 Set: 81.365 Check: 0.0 Back: 7.702
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 321155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 116.076 PropClause: 99.354 Set: 81.452 Check: 0.0 Back: 7.735
INFO - Atoms: 710/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 322596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.557 Prop: 116.389 PropClause: 99.627 Set: 81.667 Check: 0.0 Back: 7.751
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 324037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.559 Prop: 116.804 PropClause: 100.001 Set: 81.885 Check: 0.0 Back: 7.784
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 325478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.561 Prop: 117.207 PropClause: 100.364 Set: 82.112 Check: 0.0 Back: 7.817
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 326919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.562 Prop: 117.603 PropClause: 100.72 Set: 82.33 Check: 0.0 Back: 7.85
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 327612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.564 Prop: 117.854 PropClause: 100.949 Set: 82.417 Check: 0.0 Back: 7.882
INFO - Atoms: 693/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 329053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.566 Prop: 118.169 PropClause: 101.225 Set: 82.63 Check: 0.0 Back: 7.898
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 330494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.567 Prop: 118.561 PropClause: 101.576 Set: 82.848 Check: 0.0 Back: 7.931
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 331935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.569 Prop: 118.981 PropClause: 101.955 Set: 83.069 Check: 0.0 Back: 7.964
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 333376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.571 Prop: 119.404 PropClause: 102.336 Set: 83.307 Check: 0.0 Back: 7.996
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 334817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.573 Prop: 119.831 PropClause: 102.719 Set: 83.541 Check: 0.0 Back: 8.03
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 336258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.575 Prop: 120.255 PropClause: 103.1 Set: 83.774 Check: 0.0 Back: 8.063
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 337699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.577 Prop: 120.684 PropClause: 103.487 Set: 84.019 Check: 0.0 Back: 8.095
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 339140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.581 Prop: 121.125 PropClause: 103.884 Set: 84.26 Check: 0.0 Back: 8.128
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 339851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.583 Prop: 121.387 PropClause: 104.124 Set: 84.355 Check: 0.0 Back: 8.16
INFO - Atoms: 711/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 341292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.585 Prop: 121.728 PropClause: 104.422 Set: 84.599 Check: 0.0 Back: 8.177
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 342733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.587 Prop: 122.156 PropClause: 104.806 Set: 84.843 Check: 0.0 Back: 8.209
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 344174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.59 Prop: 122.592 PropClause: 105.199 Set: 85.085 Check: 0.0 Back: 8.242
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 345615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.592 Prop: 123.018 PropClause: 105.581 Set: 85.318 Check: 0.0 Back: 8.275
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 346343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.594 Prop: 123.281 PropClause: 105.823 Set: 85.411 Check: 0.0 Back: 8.308
INFO - Atoms: 728/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 347784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.596 Prop: 123.643 PropClause: 106.139 Set: 85.67 Check: 0.0 Back: 8.324
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 349225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.598 Prop: 124.068 PropClause: 106.522 Set: 85.898 Check: 0.0 Back: 8.357
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 350666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.6 Prop: 124.485 PropClause: 106.897 Set: 86.14 Check: 0.0 Back: 8.39
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 352107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.602 Prop: 124.9 PropClause: 107.267 Set: 86.366 Check: 0.0 Back: 8.423
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 353548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.604 Prop: 125.324 PropClause: 107.648 Set: 86.598 Check: 0.0 Back: 8.456
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 354989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.606 Prop: 125.75 PropClause: 108.029 Set: 86.831 Check: 0.0 Back: 8.488
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 356430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.609 Prop: 126.165 PropClause: 108.405 Set: 87.055 Check: 0.0 Back: 8.522
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 357871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.651 Prop: 126.592 PropClause: 108.788 Set: 87.296 Check: 0.0 Back: 8.554
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 358582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.653 Prop: 126.853 PropClause: 109.028 Set: 87.388 Check: 0.0 Back: 8.587
INFO - Atoms: 711/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 360023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.655 Prop: 127.183 PropClause: 109.315 Set: 87.608 Check: 0.0 Back: 8.604
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 361464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.659 Prop: 127.611 PropClause: 109.702 Set: 87.836 Check: 0.0 Back: 8.637
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 362905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.662 Prop: 128.048 PropClause: 110.096 Set: 88.075 Check: 0.0 Back: 8.67
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 364346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.666 Prop: 128.474 PropClause: 110.479 Set: 88.302 Check: 0.0 Back: 8.703
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 365084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.668 Prop: 128.725 PropClause: 110.71 Set: 88.395 Check: 0.0 Back: 8.736
INFO - Atoms: 738/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 366525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.672 Prop: 129.09 PropClause: 111.031 Set: 88.679 Check: 0.0 Back: 8.753
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 367966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.674 Prop: 129.518 PropClause: 111.416 Set: 88.902 Check: 0.0 Back: 8.786
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 369407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.694 Prop: 129.926 PropClause: 111.784 Set: 89.13 Check: 0.0 Back: 8.819
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 370848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 130.329 PropClause: 112.147 Set: 89.346 Check: 0.0 Back: 8.852
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 371541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.732 Prop: 130.575 PropClause: 112.373 Set: 89.43 Check: 0.0 Back: 8.884
INFO - Atoms: 693/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 372982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.734 Prop: 130.906 PropClause: 112.662 Set: 89.648 Check: 0.0 Back: 8.9
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 374423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.744 Prop: 131.304 PropClause: 113.021 Set: 89.864 Check: 0.0 Back: 8.932
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 375864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.747 Prop: 131.706 PropClause: 113.383 Set: 90.078 Check: 0.0 Back: 8.965
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 377305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.748 Prop: 132.111 PropClause: 113.748 Set: 90.294 Check: 0.0 Back: 8.998
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 378746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.75 Prop: 132.505 PropClause: 114.102 Set: 90.511 Check: 0.0 Back: 9.031
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 380187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.752 Prop: 132.902 PropClause: 114.458 Set: 90.725 Check: 0.0 Back: 9.064
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 381628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.754 Prop: 133.303 PropClause: 114.819 Set: 90.944 Check: 0.0 Back: 9.097
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 383069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.755 Prop: 133.703 PropClause: 115.179 Set: 91.158 Check: 0.0 Back: 9.13
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 384510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.757 Prop: 134.12 PropClause: 115.554 Set: 91.391 Check: 0.0 Back: 9.162
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 385951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.759 Prop: 134.545 PropClause: 115.936 Set: 91.627 Check: 0.0 Back: 9.195
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 387392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.761 Prop: 134.958 PropClause: 116.309 Set: 91.849 Check: 0.0 Back: 9.229
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 388833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.763 Prop: 135.366 PropClause: 116.676 Set: 92.07 Check: 0.0 Back: 9.262
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 389552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.765 Prop: 135.616 PropClause: 116.906 Set: 92.159 Check: 0.0 Back: 9.295
INFO - Atoms: 719/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 390993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.767 Prop: 135.941 PropClause: 117.19 Set: 92.377 Check: 0.0 Back: 9.311
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 392434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.768 Prop: 136.336 PropClause: 117.545 Set: 92.595 Check: 0.0 Back: 9.344
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 393875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.77 Prop: 136.745 PropClause: 117.912 Set: 92.814 Check: 0.0 Back: 9.376
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 395316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.772 Prop: 137.149 PropClause: 118.275 Set: 93.036 Check: 0.0 Back: 9.409
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 396027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.774 Prop: 137.397 PropClause: 118.504 Set: 93.121 Check: 0.0 Back: 9.442
INFO - Atoms: 711/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 397468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.777 Prop: 137.722 PropClause: 118.787 Set: 93.352 Check: 0.0 Back: 9.458
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 398909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.779 Prop: 138.117 PropClause: 119.142 Set: 93.571 Check: 0.0 Back: 9.491
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 400350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.781 Prop: 138.537 PropClause: 119.52 Set: 93.792 Check: 0.0 Back: 9.524
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 401791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.783 Prop: 138.972 PropClause: 119.911 Set: 94.043 Check: 0.0 Back: 9.565
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 402502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.784 Prop: 139.224 PropClause: 120.143 Set: 94.13 Check: 0.0 Back: 9.598
INFO - Atoms: 711/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 403943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.786 Prop: 139.545 PropClause: 120.424 Set: 94.351 Check: 0.0 Back: 9.614
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 405384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.788 Prop: 140.044 PropClause: 120.882 Set: 94.571 Check: 0.0 Back: 9.647
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 406825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.79 Prop: 140.457 PropClause: 121.254 Set: 94.795 Check: 0.0 Back: 9.68
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 408266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.791 Prop: 140.908 PropClause: 121.648 Set: 95.038 Check: 0.0 Back: 9.713
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 409707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.793 Prop: 141.338 PropClause: 122.036 Set: 95.269 Check: 0.0 Back: 9.746
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 411148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.794 Prop: 141.741 PropClause: 122.399 Set: 95.488 Check: 0.0 Back: 9.779
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 411828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.796 Prop: 141.989 PropClause: 122.627 Set: 95.57 Check: 0.0 Back: 9.812
INFO - Atoms: 680/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 413269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.798 Prop: 142.304 PropClause: 122.902 Set: 95.791 Check: 0.0 Back: 9.828
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 414710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.799 Prop: 142.712 PropClause: 123.269 Set: 96.009 Check: 0.0 Back: 9.861
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 415422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.801 Prop: 142.96 PropClause: 123.497 Set: 96.098 Check: 0.0 Back: 9.894
INFO - Atoms: 712/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 416863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.804 Prop: 143.282 PropClause: 123.779 Set: 96.32 Check: 0.0 Back: 9.911
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 418304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.805 Prop: 143.697 PropClause: 124.149 Set: 96.547 Check: 0.0 Back: 9.946
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 419745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.807 Prop: 144.128 PropClause: 124.538 Set: 96.777 Check: 0.0 Back: 9.979
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 421186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.816 Prop: 144.552 PropClause: 124.919 Set: 97.016 Check: 0.0 Back: 10.013
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 422627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.818 Prop: 144.97 PropClause: 125.296 Set: 97.235 Check: 0.0 Back: 10.046
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 424068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.82 Prop: 145.388 PropClause: 125.673 Set: 97.47 Check: 0.0 Back: 10.079
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 425509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.822 Prop: 145.825 PropClause: 126.066 Set: 97.704 Check: 0.0 Back: 10.111
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 426950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.823 Prop: 146.246 PropClause: 126.445 Set: 97.932 Check: 0.0 Back: 10.144
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 428391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.824 Prop: 146.656 PropClause: 126.814 Set: 98.153 Check: 0.0 Back: 10.177
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 429832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.826 Prop: 147.059 PropClause: 127.175 Set: 98.382 Check: 0.0 Back: 10.211
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 430676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.829 Prop: 147.354 PropClause: 127.444 Set: 98.506 Check: 0.0 Back: 10.243
INFO - Atoms: 844/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 432008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.83 Prop: 147.686 PropClause: 127.736 Set: 98.724 Check: 0.0 Back: 10.264
INFO - Atoms: 1332/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 432459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.833 Prop: 147.874 PropClause: 127.91 Set: 98.769 Check: 0.0 Back: 10.294
INFO - Atoms: 451/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 433726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.836 Prop: 148.185 PropClause: 128.18 Set: 100.859 Check: 0.0 Back: 10.304
INFO - Atoms: 1267/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 435004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.838 Prop: 148.57 PropClause: 128.525 Set: 102.853 Check: 0.0 Back: 10.333
INFO - Atoms: 1278/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 436443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.84 Prop: 149.011 PropClause: 128.917 Set: 105.262 Check: 0.0 Back: 10.362
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 437884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.848 Prop: 149.457 PropClause: 129.32 Set: 106.767 Check: 0.0 Back: 10.396
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 439085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.85 Prop: 149.847 PropClause: 129.673 Set: 107.398 Check: 0.0 Back: 10.429
INFO - Atoms: 1201/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 440522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.852 Prop: 150.242 PropClause: 130.025 Set: 108.098 Check: 0.0 Back: 10.456
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 441963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.854 Prop: 150.663 PropClause: 130.395 Set: 108.526 Check: 0.0 Back: 10.491
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 443404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.855 Prop: 151.078 PropClause: 130.77 Set: 108.948 Check: 0.0 Back: 10.524
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 444843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.857 Prop: 151.503 PropClause: 131.152 Set: 109.388 Check: 0.0 Back: 10.557
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 446280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.859 Prop: 151.924 PropClause: 131.531 Set: 109.827 Check: 0.0 Back: 10.59
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 447721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.883 Prop: 152.33 PropClause: 131.898 Set: 110.097 Check: 0.0 Back: 10.623
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 449162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.885 Prop: 152.74 PropClause: 132.266 Set: 110.335 Check: 0.0 Back: 10.656
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 450601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.886 Prop: 153.158 PropClause: 132.643 Set: 110.581 Check: 0.0 Back: 10.688
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 452038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.888 Prop: 153.571 PropClause: 133.015 Set: 110.822 Check: 0.0 Back: 10.721
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 453479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.889 Prop: 153.969 PropClause: 133.372 Set: 111.057 Check: 0.0 Back: 10.754
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 454920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.891 Prop: 154.391 PropClause: 133.753 Set: 111.299 Check: 0.0 Back: 10.787
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 456359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.892 Prop: 154.806 PropClause: 134.127 Set: 111.553 Check: 0.0 Back: 10.82
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 457796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.894 Prop: 155.22 PropClause: 134.501 Set: 111.798 Check: 0.0 Back: 10.853
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 459237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.895 Prop: 155.628 PropClause: 134.868 Set: 112.034 Check: 0.0 Back: 10.885
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 460678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.896 Prop: 156.044 PropClause: 135.244 Set: 112.277 Check: 0.0 Back: 10.918
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 462117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.898 Prop: 156.475 PropClause: 135.633 Set: 112.525 Check: 0.0 Back: 10.951
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 463554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.9 Prop: 156.905 PropClause: 136.02 Set: 112.786 Check: 0.0 Back: 10.984
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 464995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.901 Prop: 157.315 PropClause: 136.39 Set: 113.025 Check: 0.0 Back: 11.016
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 466436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.903 Prop: 157.718 PropClause: 136.752 Set: 113.266 Check: 0.0 Back: 11.049
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 467875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.904 Prop: 158.122 PropClause: 137.116 Set: 113.504 Check: 0.0 Back: 11.082
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 469312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.906 Prop: 158.541 PropClause: 137.494 Set: 113.843 Check: 0.0 Back: 11.115
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 470753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.908 Prop: 158.952 PropClause: 137.864 Set: 114.175 Check: 0.0 Back: 11.148
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 472194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.909 Prop: 159.377 PropClause: 138.249 Set: 114.522 Check: 0.0 Back: 11.181
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 473633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.911 Prop: 159.797 PropClause: 138.628 Set: 114.86 Check: 0.0 Back: 11.219
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 475070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.913 Prop: 160.227 PropClause: 139.018 Set: 115.206 Check: 0.0 Back: 11.252
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 476511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.915 Prop: 160.652 PropClause: 139.402 Set: 115.543 Check: 0.0 Back: 11.285
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 477952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.916 Prop: 161.084 PropClause: 139.793 Set: 115.895 Check: 0.0 Back: 11.318
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 479391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.918 Prop: 161.504 PropClause: 140.174 Set: 116.235 Check: 0.0 Back: 11.351
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 480828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.92 Prop: 161.927 PropClause: 140.556 Set: 116.584 Check: 0.0 Back: 11.384
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 482269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.922 Prop: 162.339 PropClause: 140.927 Set: 116.932 Check: 0.0 Back: 11.417
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 483031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.943 Prop: 162.605 PropClause: 141.172 Set: 117.098 Check: 0.0 Back: 11.451
INFO - Atoms: 762/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 484472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.946 Prop: 162.946 PropClause: 141.472 Set: 117.445 Check: 0.0 Back: 11.469
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 485911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.948 Prop: 163.367 PropClause: 141.853 Set: 117.762 Check: 0.0 Back: 11.502
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 487348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.949 Prop: 163.787 PropClause: 142.233 Set: 118.097 Check: 0.0 Back: 11.535
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 488789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.95 Prop: 164.224 PropClause: 142.628 Set: 118.432 Check: 0.0 Back: 11.568
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 490230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.953 Prop: 164.638 PropClause: 143.001 Set: 118.757 Check: 0.0 Back: 11.601
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 491669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.955 Prop: 165.058 PropClause: 143.381 Set: 119.088 Check: 0.0 Back: 11.634
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 493106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.957 Prop: 165.485 PropClause: 143.767 Set: 119.412 Check: 0.0 Back: 11.667
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 494547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.958 Prop: 165.9 PropClause: 144.142 Set: 119.748 Check: 0.0 Back: 11.699
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 495988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.96 Prop: 166.326 PropClause: 144.528 Set: 120.075 Check: 0.0 Back: 11.732
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 497427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.962 Prop: 166.761 PropClause: 144.911 Set: 120.401 Check: 0.0 Back: 11.765
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 498864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.967 Prop: 167.261 PropClause: 145.361 Set: 120.803 Check: 0.0 Back: 11.803
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 500305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.97 Prop: 167.718 PropClause: 145.774 Set: 121.217 Check: 0.0 Back: 11.838
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 501746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.975 Prop: 168.163 PropClause: 146.178 Set: 121.654 Check: 0.0 Back: 11.871
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 503185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.977 Prop: 168.621 PropClause: 146.595 Set: 122.058 Check: 0.0 Back: 11.908
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 504622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.98 Prop: 169.047 PropClause: 146.981 Set: 122.432 Check: 0.0 Back: 11.941
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 506063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.982 Prop: 169.554 PropClause: 147.438 Set: 122.93 Check: 0.0 Back: 11.973
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 507504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.985 Prop: 169.984 PropClause: 147.827 Set: 123.305 Check: 0.0 Back: 12.006
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 508943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.987 Prop: 170.424 PropClause: 148.228 Set: 123.658 Check: 0.0 Back: 12.039
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 510380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.991 Prop: 170.931 PropClause: 148.685 Set: 124.088 Check: 0.0 Back: 12.072
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 511821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.994 Prop: 171.433 PropClause: 149.137 Set: 124.535 Check: 0.0 Back: 12.105
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 513262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.997 Prop: 171.866 PropClause: 149.529 Set: 124.87 Check: 0.0 Back: 12.144
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 514701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.999 Prop: 172.282 PropClause: 149.904 Set: 125.206 Check: 0.0 Back: 12.177
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 516138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.068 Prop: 172.7 PropClause: 150.282 Set: 125.547 Check: 0.0 Back: 12.21
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 517579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.071 Prop: 173.132 PropClause: 150.673 Set: 125.886 Check: 0.0 Back: 12.243
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 519020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.18 Prop: 173.558 PropClause: 151.059 Set: 126.217 Check: 0.0 Back: 12.277
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 520459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.189 Prop: 173.987 PropClause: 151.446 Set: 126.562 Check: 0.0 Back: 12.31
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 521896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.192 Prop: 174.404 PropClause: 151.822 Set: 126.884 Check: 0.0 Back: 12.343
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 523337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.195 Prop: 174.83 PropClause: 152.208 Set: 127.224 Check: 0.0 Back: 12.378
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 524778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.199 Prop: 175.264 PropClause: 152.601 Set: 127.564 Check: 0.0 Back: 12.415
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 526217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.201 Prop: 175.697 PropClause: 152.994 Set: 127.899 Check: 0.0 Back: 12.449
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 527654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.203 Prop: 176.112 PropClause: 153.368 Set: 128.222 Check: 0.0 Back: 12.482
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 529095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.205 Prop: 176.534 PropClause: 153.749 Set: 128.552 Check: 0.0 Back: 12.515
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 530536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.208 Prop: 176.968 PropClause: 154.141 Set: 128.903 Check: 0.0 Back: 12.548
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 531975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.21 Prop: 177.403 PropClause: 154.534 Set: 129.268 Check: 0.0 Back: 12.582
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 533412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.212 Prop: 177.835 PropClause: 154.926 Set: 129.663 Check: 0.0 Back: 12.616
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 534853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.215 Prop: 178.268 PropClause: 155.316 Set: 130.015 Check: 0.0 Back: 12.648
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 536294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.218 Prop: 178.694 PropClause: 155.703 Set: 130.355 Check: 0.0 Back: 12.681
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 537733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.22 Prop: 179.126 PropClause: 156.094 Set: 130.704 Check: 0.0 Back: 12.715
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 539170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.223 Prop: 179.566 PropClause: 156.494 Set: 131.082 Check: 0.0 Back: 12.749
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 540611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.225 Prop: 180.006 PropClause: 156.893 Set: 131.429 Check: 0.0 Back: 12.781
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 542052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.227 Prop: 180.428 PropClause: 157.275 Set: 131.776 Check: 0.0 Back: 12.814
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 543491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.229 Prop: 180.848 PropClause: 157.655 Set: 132.144 Check: 0.0 Back: 12.847
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 544928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.233 Prop: 181.266 PropClause: 158.032 Set: 132.501 Check: 0.0 Back: 12.881
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 546369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.235 Prop: 181.697 PropClause: 158.424 Set: 132.87 Check: 0.0 Back: 12.914
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 547810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.237 Prop: 182.132 PropClause: 158.818 Set: 133.232 Check: 0.0 Back: 12.947
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 549249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.239 Prop: 182.567 PropClause: 159.213 Set: 133.585 Check: 0.0 Back: 12.98
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 550686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.243 Prop: 183.002 PropClause: 159.608 Set: 133.945 Check: 0.0 Back: 13.013
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 552127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.245 Prop: 183.43 PropClause: 159.995 Set: 134.294 Check: 0.0 Back: 13.046
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 553568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.25 Prop: 183.875 PropClause: 160.4 Set: 134.642 Check: 0.0 Back: 13.079
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 555007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.252 Prop: 184.308 PropClause: 160.792 Set: 135.007 Check: 0.0 Back: 13.112
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 556444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.255 Prop: 184.748 PropClause: 161.191 Set: 135.39 Check: 0.0 Back: 13.145
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 557885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.257 Prop: 185.17 PropClause: 161.572 Set: 135.751 Check: 0.0 Back: 13.18
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 559326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.268 Prop: 185.608 PropClause: 161.968 Set: 136.12 Check: 0.0 Back: 13.213
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 560765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.27 Prop: 186.037 PropClause: 162.357 Set: 136.55 Check: 0.0 Back: 13.246
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 562202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.274 Prop: 186.481 PropClause: 162.761 Set: 136.903 Check: 0.0 Back: 13.279
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 563643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.275 Prop: 186.914 PropClause: 163.152 Set: 137.266 Check: 0.0 Back: 13.312
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 565084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.278 Prop: 187.352 PropClause: 163.55 Set: 137.614 Check: 0.0 Back: 13.345
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 566523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.28 Prop: 187.781 PropClause: 163.939 Set: 137.964 Check: 0.0 Back: 13.378
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 567960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.282 Prop: 188.202 PropClause: 164.319 Set: 138.303 Check: 0.0 Back: 13.411
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 569401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.284 Prop: 188.622 PropClause: 164.699 Set: 138.65 Check: 0.0 Back: 13.444
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 570842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.286 Prop: 189.045 PropClause: 165.082 Set: 138.989 Check: 0.0 Back: 13.476
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 572281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.288 Prop: 189.473 PropClause: 165.47 Set: 139.34 Check: 0.0 Back: 13.509
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 573718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.291 Prop: 189.888 PropClause: 165.845 Set: 139.673 Check: 0.0 Back: 13.542
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 575159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.293 Prop: 190.317 PropClause: 166.233 Set: 140.033 Check: 0.0 Back: 13.574
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 576600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.295 Prop: 190.744 PropClause: 166.62 Set: 140.381 Check: 0.0 Back: 13.607
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 578039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.298 Prop: 191.173 PropClause: 167.009 Set: 140.738 Check: 0.0 Back: 13.639
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 579476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.3 Prop: 191.586 PropClause: 167.382 Set: 140.992 Check: 0.0 Back: 13.672
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 580917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.302 Prop: 191.991 PropClause: 167.747 Set: 141.236 Check: 0.0 Back: 13.704
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 582358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.305 Prop: 192.407 PropClause: 168.121 Set: 141.488 Check: 0.0 Back: 13.737
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 583797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.306 Prop: 192.816 PropClause: 168.491 Set: 141.725 Check: 0.0 Back: 13.769
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 585234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.308 Prop: 193.239 PropClause: 168.873 Set: 141.973 Check: 0.0 Back: 13.802
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 586675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.31 Prop: 193.648 PropClause: 169.242 Set: 142.214 Check: 0.0 Back: 13.834
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 588116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.312 Prop: 194.072 PropClause: 169.625 Set: 142.474 Check: 0.0 Back: 13.867
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 589555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.313 Prop: 194.492 PropClause: 170.004 Set: 142.727 Check: 0.0 Back: 13.899
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 590992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.316 Prop: 194.904 PropClause: 170.376 Set: 142.982 Check: 0.0 Back: 13.932
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 592433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.318 Prop: 195.32 PropClause: 170.752 Set: 143.236 Check: 0.0 Back: 13.965
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 593874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.32 Prop: 195.727 PropClause: 171.118 Set: 143.478 Check: 0.0 Back: 13.998
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 595313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.322 Prop: 196.14 PropClause: 171.49 Set: 143.722 Check: 0.0 Back: 14.032
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 596750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.325 Prop: 196.554 PropClause: 171.863 Set: 143.966 Check: 0.0 Back: 14.064
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 598191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.326 Prop: 196.968 PropClause: 172.237 Set: 144.215 Check: 0.0 Back: 14.097
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 599632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.328 Prop: 197.371 PropClause: 172.601 Set: 144.452 Check: 0.0 Back: 14.13
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 601071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.33 Prop: 197.773 PropClause: 172.963 Set: 144.688 Check: 0.0 Back: 14.163
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 602508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.332 Prop: 198.173 PropClause: 173.323 Set: 144.924 Check: 0.0 Back: 14.196
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 603949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.334 Prop: 198.591 PropClause: 173.699 Set: 145.182 Check: 0.0 Back: 14.228
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 605390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.337 Prop: 199.007 PropClause: 174.074 Set: 145.426 Check: 0.0 Back: 14.262
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 606829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.339 Prop: 199.424 PropClause: 174.45 Set: 145.673 Check: 0.0 Back: 14.295
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 608266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.341 Prop: 199.83 PropClause: 174.817 Set: 145.913 Check: 0.0 Back: 14.328
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 609707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.343 Prop: 200.24 PropClause: 175.186 Set: 146.147 Check: 0.0 Back: 14.361
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 611148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.345 Prop: 200.653 PropClause: 175.559 Set: 146.393 Check: 0.0 Back: 14.394
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 612587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.347 Prop: 201.066 PropClause: 175.932 Set: 146.631 Check: 0.0 Back: 14.428
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 614024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.349 Prop: 201.485 PropClause: 176.309 Set: 146.879 Check: 0.0 Back: 14.461
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 615465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.351 Prop: 201.902 PropClause: 176.687 Set: 147.113 Check: 0.0 Back: 14.494
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 616906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.353 Prop: 202.311 PropClause: 177.056 Set: 147.355 Check: 0.0 Back: 14.527
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 618345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.355 Prop: 202.736 PropClause: 177.44 Set: 147.601 Check: 0.0 Back: 14.56
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 619782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.357 Prop: 203.145 PropClause: 177.808 Set: 147.846 Check: 0.0 Back: 14.593
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 621223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.359 Prop: 203.57 PropClause: 178.193 Set: 148.084 Check: 0.0 Back: 14.625
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 622227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.361 Prop: 203.88 PropClause: 178.475 Set: 148.233 Check: 0.0 Back: 14.658
INFO - Atoms: 1004/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 623634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.362 Prop: 204.223 PropClause: 178.779 Set: 148.464 Check: 0.0 Back: 14.681
INFO - Atoms: 1407/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 625048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.382 Prop: 204.634 PropClause: 179.15 Set: 148.723 Check: 0.0 Back: 14.713
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 626459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.4 Prop: 205.035 PropClause: 179.511 Set: 148.957 Check: 0.0 Back: 14.745
INFO - Atoms: 1411/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 627873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.41 Prop: 205.438 PropClause: 179.874 Set: 149.198 Check: 0.0 Back: 14.779
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 629284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.412 Prop: 205.847 PropClause: 180.243 Set: 149.442 Check: 0.0 Back: 14.811
INFO - Atoms: 1411/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 630697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.414 Prop: 206.242 PropClause: 180.599 Set: 149.679 Check: 0.0 Back: 14.843
INFO - Atoms: 1413/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Restart
INFO - Confl: 500 Props: 2699 Tprops: 1244 Decides: 5180 RSplits: 0
INFO - Times: Expl: 46.409 Prop: 1521.563 PropClause: 2.94 Set: 795.714 Check: 30.648 Back: 6.063
INFO - Atoms: 5/101 Clauses: 500 Axioms: 84
INFO - CCTimes: iE 19673 eq 3778563 cc 2748456 setRep 753656
INFO - Merges: 3076, cc:1374
INFO - BVTimes: BB 41760550 BB_DPLL 836786053 Graph 22485782
INFO - BitBlastingClauses: 53354 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 632095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 206.642 PropClause: 180.959 Set: 149.918 Check: 0.0 Back: 14.875
INFO - Atoms: 1398/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 633496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.418 Prop: 207.035 PropClause: 181.313 Set: 150.155 Check: 0.0 Back: 14.907
INFO - Atoms: 1401/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 634906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.42 Prop: 207.456 PropClause: 181.693 Set: 150.406 Check: 0.0 Back: 14.938
INFO - Atoms: 1410/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 636307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.422 Prop: 207.846 PropClause: 182.044 Set: 150.648 Check: 0.0 Back: 14.97
INFO - Atoms: 1401/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 637718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.423 Prop: 208.247 PropClause: 182.405 Set: 150.888 Check: 0.0 Back: 15.002
INFO - Atoms: 1411/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 639132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.426 Prop: 208.65 PropClause: 182.768 Set: 151.137 Check: 0.0 Back: 15.033
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 640543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.428 Prop: 209.076 PropClause: 183.151 Set: 151.403 Check: 0.0 Back: 15.066
INFO - Atoms: 1411/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 641957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.43 Prop: 209.488 PropClause: 183.522 Set: 151.648 Check: 0.0 Back: 15.098
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 643363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.432 Prop: 209.894 PropClause: 183.887 Set: 151.889 Check: 0.0 Back: 15.132
INFO - Atoms: 1406/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 644772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.434 Prop: 210.301 PropClause: 184.254 Set: 152.129 Check: 0.0 Back: 15.164
INFO - Atoms: 1409/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 646147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.436 Prop: 210.7 PropClause: 184.614 Set: 152.371 Check: 0.0 Back: 15.196
INFO - Atoms: 1375/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 647264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.438 Prop: 211.046 PropClause: 184.929 Set: 152.573 Check: 0.0 Back: 15.227
INFO - Atoms: 1117/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 648654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.44 Prop: 211.414 PropClause: 185.257 Set: 152.812 Check: 0.0 Back: 15.253
INFO - Atoms: 1390/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 649774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.442 Prop: 211.753 PropClause: 185.563 Set: 152.994 Check: 0.0 Back: 15.285
INFO - Atoms: 1120/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 650951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 212.084 PropClause: 185.86 Set: 153.195 Check: 0.0 Back: 15.31
INFO - Atoms: 1177/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 652318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.445 Prop: 212.464 PropClause: 186.201 Set: 153.449 Check: 0.0 Back: 15.337
INFO - Atoms: 1367/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 653433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.448 Prop: 212.795 PropClause: 186.5 Set: 153.641 Check: 0.0 Back: 15.368
INFO - Atoms: 1115/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 654072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.45 Prop: 212.989 PropClause: 186.677 Set: 153.722 Check: 0.0 Back: 15.395
INFO - Atoms: 639/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 655378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.451 Prop: 213.28 PropClause: 186.932 Set: 153.947 Check: 0.0 Back: 15.409
INFO - Atoms: 1306/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 656363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.457 Prop: 213.63 PropClause: 187.248 Set: 154.174 Check: 0.0 Back: 15.439
INFO - Atoms: 985/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 657678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.46 Prop: 214.0 PropClause: 187.579 Set: 154.435 Check: 0.0 Back: 15.465
INFO - Atoms: 1315/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 658829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.461 Prop: 214.349 PropClause: 187.894 Set: 154.64 Check: 0.0 Back: 15.495
INFO - Atoms: 1151/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 660163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.464 Prop: 214.723 PropClause: 188.229 Set: 154.885 Check: 0.0 Back: 15.522
INFO - Atoms: 1334/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 661551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.467 Prop: 215.122 PropClause: 188.589 Set: 155.134 Check: 0.0 Back: 15.555
INFO - Atoms: 1388/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 662948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.469 Prop: 215.539 PropClause: 188.965 Set: 155.393 Check: 0.0 Back: 15.588
INFO - Atoms: 1397/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 664341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.472 Prop: 215.95 PropClause: 189.336 Set: 155.64 Check: 0.0 Back: 15.62
INFO - Atoms: 1393/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 665726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.474 Prop: 216.362 PropClause: 189.708 Set: 155.887 Check: 0.0 Back: 15.652
INFO - Atoms: 1385/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 667100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.477 Prop: 216.831 PropClause: 190.131 Set: 156.225 Check: 0.0 Back: 15.685
INFO - Atoms: 1374/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 668243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.48 Prop: 217.186 PropClause: 190.452 Set: 156.437 Check: 0.0 Back: 15.717
INFO - Atoms: 1143/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 669570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 217.557 PropClause: 190.784 Set: 156.701 Check: 0.0 Back: 15.744
INFO - Atoms: 1327/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 670939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.486 Prop: 217.964 PropClause: 191.15 Set: 156.981 Check: 0.0 Back: 15.774
INFO - Atoms: 1369/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 671999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.489 Prop: 218.301 PropClause: 191.455 Set: 157.186 Check: 0.0 Back: 15.805
INFO - Atoms: 1060/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 673389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.505 Prop: 218.685 PropClause: 191.798 Set: 157.45 Check: 0.0 Back: 15.83
INFO - Atoms: 1390/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 674789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.518 Prop: 219.114 PropClause: 192.184 Set: 157.75 Check: 0.0 Back: 15.862
INFO - Atoms: 1400/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 676196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.524 Prop: 219.547 PropClause: 192.573 Set: 158.039 Check: 0.0 Back: 15.895
INFO - Atoms: 1407/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 677636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.525 Prop: 219.974 PropClause: 192.957 Set: 158.319 Check: 0.0 Back: 15.927
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 679077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.528 Prop: 220.41 PropClause: 193.351 Set: 158.605 Check: 0.0 Back: 15.961
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 680517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.532 Prop: 220.842 PropClause: 193.739 Set: 158.896 Check: 0.0 Back: 15.994
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 681924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.535 Prop: 221.264 PropClause: 194.121 Set: 159.165 Check: 0.0 Back: 16.027
INFO - Atoms: 1407/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 683365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.537 Prop: 221.69 PropClause: 194.504 Set: 159.447 Check: 0.0 Back: 16.059
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 684805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.539 Prop: 222.109 PropClause: 194.883 Set: 159.714 Check: 0.0 Back: 16.092
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 686152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.542 Prop: 222.51 PropClause: 195.244 Set: 159.966 Check: 0.0 Back: 16.125
INFO - Atoms: 1347/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 687593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.544 Prop: 222.919 PropClause: 195.613 Set: 160.223 Check: 0.0 Back: 16.156
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 688751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.548 Prop: 223.275 PropClause: 195.936 Set: 160.424 Check: 0.0 Back: 16.189
INFO - Atoms: 1158/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 689895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.55 Prop: 223.587 PropClause: 196.215 Set: 160.613 Check: 0.0 Back: 16.216
INFO - Atoms: 1144/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 691292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.551 Prop: 223.95 PropClause: 196.538 Set: 160.856 Check: 0.0 Back: 16.242
INFO - Atoms: 1397/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 692733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.554 Prop: 224.351 PropClause: 196.899 Set: 161.109 Check: 0.0 Back: 16.273
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 694174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.555 Prop: 224.761 PropClause: 197.269 Set: 161.364 Check: 0.0 Back: 16.306
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 695567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.557 Prop: 225.173 PropClause: 197.642 Set: 161.612 Check: 0.0 Back: 16.339
INFO - Atoms: 1393/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 696924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.559 Prop: 225.558 PropClause: 197.989 Set: 161.845 Check: 0.0 Back: 16.371
INFO - Atoms: 1357/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 698365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.561 Prop: 225.959 PropClause: 198.349 Set: 162.108 Check: 0.0 Back: 16.402
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 699806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.563 Prop: 226.386 PropClause: 198.735 Set: 162.37 Check: 0.0 Back: 16.436
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 701165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.565 Prop: 226.768 PropClause: 199.079 Set: 162.597 Check: 0.0 Back: 16.468
INFO - Atoms: 1359/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 702606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.567 Prop: 227.171 PropClause: 199.442 Set: 162.856 Check: 0.0 Back: 16.499
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 703983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.568 Prop: 227.568 PropClause: 199.8 Set: 163.096 Check: 0.0 Back: 16.531
INFO - Atoms: 1377/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 705424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.57 Prop: 227.97 PropClause: 200.16 Set: 163.347 Check: 0.0 Back: 16.563
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 706864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.572 Prop: 228.382 PropClause: 200.532 Set: 163.598 Check: 0.0 Back: 16.595
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 708269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.575 Prop: 228.794 PropClause: 200.903 Set: 163.839 Check: 0.0 Back: 16.628
INFO - Atoms: 1405/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 709710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.576 Prop: 229.209 PropClause: 201.277 Set: 164.102 Check: 0.0 Back: 16.661
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 711151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.579 Prop: 229.63 PropClause: 201.656 Set: 164.356 Check: 0.0 Back: 16.699
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 712564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.58 Prop: 230.032 PropClause: 202.018 Set: 164.599 Check: 0.0 Back: 16.731
INFO - Atoms: 1413/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 714005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.583 Prop: 230.458 PropClause: 202.401 Set: 164.859 Check: 0.0 Back: 16.763
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 715228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.587 Prop: 230.839 PropClause: 202.747 Set: 165.074 Check: 0.0 Back: 16.796
INFO - Atoms: 1223/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 716669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.591 Prop: 231.252 PropClause: 203.117 Set: 165.359 Check: 0.0 Back: 16.825
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 718110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.593 Prop: 231.688 PropClause: 203.512 Set: 165.626 Check: 0.0 Back: 16.859
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 719551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.596 Prop: 232.125 PropClause: 203.905 Set: 165.891 Check: 0.0 Back: 16.891
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 720992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 232.553 PropClause: 204.292 Set: 166.154 Check: 0.0 Back: 16.924
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 722433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.6 Prop: 232.975 PropClause: 204.674 Set: 166.424 Check: 0.0 Back: 16.958
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 723874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.602 Prop: 233.405 PropClause: 205.062 Set: 166.693 Check: 0.0 Back: 16.99
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 725315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.606 Prop: 233.847 PropClause: 205.462 Set: 166.962 Check: 0.0 Back: 17.023
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 726652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.608 Prop: 234.253 PropClause: 205.83 Set: 167.189 Check: 0.0 Back: 17.057
INFO - Atoms: 1337/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 728093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.61 Prop: 234.665 PropClause: 206.2 Set: 167.449 Check: 0.0 Back: 17.088
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 729527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.612 Prop: 235.082 PropClause: 206.576 Set: 167.696 Check: 0.0 Back: 17.122
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 730956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.615 Prop: 235.519 PropClause: 206.97 Set: 167.968 Check: 0.0 Back: 17.154
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 732396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.617 Prop: 235.941 PropClause: 207.351 Set: 168.222 Check: 0.0 Back: 17.188
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 733837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.62 Prop: 236.353 PropClause: 207.722 Set: 168.47 Check: 0.0 Back: 17.222
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 735271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.622 Prop: 236.77 PropClause: 208.098 Set: 168.717 Check: 0.0 Back: 17.255
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 736700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.624 Prop: 237.191 PropClause: 208.468 Set: 168.962 Check: 0.0 Back: 17.288
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 738140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.626 Prop: 237.606 PropClause: 208.842 Set: 169.216 Check: 0.0 Back: 17.321
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 739013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.628 Prop: 237.891 PropClause: 209.103 Set: 169.346 Check: 0.0 Back: 17.354
INFO - Atoms: 873/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 740454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.631 Prop: 238.292 PropClause: 209.453 Set: 169.661 Check: 0.0 Back: 17.374
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 741888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.633 Prop: 238.699 PropClause: 209.82 Set: 169.904 Check: 0.0 Back: 17.408
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 743317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.639 Prop: 239.162 PropClause: 210.237 Set: 170.195 Check: 0.0 Back: 17.441
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 744757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.643 Prop: 239.595 PropClause: 210.628 Set: 170.464 Check: 0.0 Back: 17.474
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 746198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.647 Prop: 240.034 PropClause: 211.023 Set: 170.75 Check: 0.0 Back: 17.509
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 747632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 240.459 PropClause: 211.406 Set: 171.034 Check: 0.0 Back: 17.543
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 749059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.654 Prop: 240.895 PropClause: 211.8 Set: 171.297 Check: 0.0 Back: 17.576
INFO - Atoms: 1427/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 750499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.656 Prop: 241.32 PropClause: 212.182 Set: 171.567 Check: 0.0 Back: 17.609
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 751940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.658 Prop: 241.76 PropClause: 212.581 Set: 171.826 Check: 0.0 Back: 17.642
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 753374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.66 Prop: 242.185 PropClause: 212.963 Set: 172.081 Check: 0.0 Back: 17.675
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 754803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.663 Prop: 242.611 PropClause: 213.349 Set: 172.343 Check: 0.0 Back: 17.709
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 756243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.665 Prop: 243.03 PropClause: 213.726 Set: 172.605 Check: 0.0 Back: 17.742
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 757684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.669 Prop: 243.459 PropClause: 214.114 Set: 172.859 Check: 0.0 Back: 17.776
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 759118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 243.88 PropClause: 214.493 Set: 173.12 Check: 0.0 Back: 17.81
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 760547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 244.326 PropClause: 214.894 Set: 173.401 Check: 0.0 Back: 17.842
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 761987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.68 Prop: 244.75 PropClause: 215.278 Set: 173.668 Check: 0.0 Back: 17.876
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 763428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.682 Prop: 245.182 PropClause: 215.668 Set: 173.921 Check: 0.0 Back: 17.908
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 764860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.684 Prop: 245.595 PropClause: 216.041 Set: 174.166 Check: 0.0 Back: 17.941
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 766289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.686 Prop: 246.007 PropClause: 216.412 Set: 174.404 Check: 0.0 Back: 17.974
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 767729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.688 Prop: 246.428 PropClause: 216.791 Set: 174.672 Check: 0.0 Back: 18.007
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 769170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.691 Prop: 246.844 PropClause: 217.167 Set: 174.933 Check: 0.0 Back: 18.041
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 770602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.693 Prop: 247.252 PropClause: 217.536 Set: 175.176 Check: 0.0 Back: 18.074
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 772031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 247.673 PropClause: 217.916 Set: 175.419 Check: 0.0 Back: 18.107
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 773471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.697 Prop: 248.083 PropClause: 218.286 Set: 175.67 Check: 0.0 Back: 18.14
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 774912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.701 Prop: 248.511 PropClause: 218.673 Set: 175.924 Check: 0.0 Back: 18.174
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 776344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.702 Prop: 248.93 PropClause: 219.05 Set: 176.174 Check: 0.0 Back: 18.207
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 777773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.707 Prop: 249.354 PropClause: 219.432 Set: 176.426 Check: 0.0 Back: 18.24
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 579 Props: 779213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.709 Prop: 249.762 PropClause: 219.8 Set: 176.671 Check: 0.0 Back: 18.273
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 780654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.712 Prop: 250.184 PropClause: 220.181 Set: 176.925 Check: 0.0 Back: 18.306
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 782086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.713 Prop: 250.59 PropClause: 220.547 Set: 177.161 Check: 0.0 Back: 18.339
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 783515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.716 Prop: 251.022 PropClause: 220.938 Set: 177.404 Check: 0.0 Back: 18.372
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 583 Props: 784955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.717 Prop: 251.426 PropClause: 221.302 Set: 177.651 Check: 0.0 Back: 18.405
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 786396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.719 Prop: 251.852 PropClause: 221.687 Set: 177.9 Check: 0.0 Back: 18.438
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 787828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.722 Prop: 252.288 PropClause: 222.079 Set: 178.182 Check: 0.0 Back: 18.472
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 789257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.728 Prop: 252.812 PropClause: 222.549 Set: 178.528 Check: 0.0 Back: 18.505
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 587 Props: 790697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.731 Prop: 253.307 PropClause: 222.989 Set: 178.868 Check: 0.0 Back: 18.543
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 792138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.734 Prop: 253.752 PropClause: 223.393 Set: 179.128 Check: 0.0 Back: 18.582
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 793572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.738 Prop: 254.187 PropClause: 223.785 Set: 179.392 Check: 0.0 Back: 18.615
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 795001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.742 Prop: 254.624 PropClause: 224.179 Set: 179.655 Check: 0.0 Back: 18.649
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 591 Props: 796441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.744 Prop: 255.042 PropClause: 224.557 Set: 179.917 Check: 0.0 Back: 18.682
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 797882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.746 Prop: 255.461 PropClause: 224.935 Set: 180.168 Check: 0.0 Back: 18.715
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 799316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.749 Prop: 255.873 PropClause: 225.306 Set: 180.417 Check: 0.0 Back: 18.749
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 800745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.755 Prop: 256.379 PropClause: 225.758 Set: 180.756 Check: 0.0 Back: 18.781
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 802185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.758 Prop: 256.856 PropClause: 226.185 Set: 181.085 Check: 0.0 Back: 18.821
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 803626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.761 Prop: 257.276 PropClause: 226.563 Set: 181.356 Check: 0.0 Back: 18.854
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 597 Props: 805060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 257.69 PropClause: 226.934 Set: 181.605 Check: 0.0 Back: 18.889
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 806489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.768 Prop: 258.116 PropClause: 227.318 Set: 181.853 Check: 0.0 Back: 18.923
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 807929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.772 Prop: 258.532 PropClause: 227.693 Set: 182.108 Check: 0.0 Back: 18.956
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 809370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.775 Prop: 258.954 PropClause: 228.075 Set: 182.365 Check: 0.0 Back: 18.99
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 601 Props: 810804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.778 Prop: 259.383 PropClause: 228.462 Set: 182.631 Check: 0.0 Back: 19.023
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 812233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.782 Prop: 259.807 PropClause: 228.846 Set: 182.87 Check: 0.0 Back: 19.056
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 813673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.785 Prop: 260.22 PropClause: 229.218 Set: 183.126 Check: 0.0 Back: 19.088
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 815114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.787 Prop: 260.639 PropClause: 229.597 Set: 183.373 Check: 0.0 Back: 19.122
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 816548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.8 Prop: 261.093 PropClause: 230.009 Set: 183.655 Check: 0.0 Back: 19.155
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 817977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 261.507 PropClause: 230.382 Set: 183.902 Check: 0.0 Back: 19.19
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 819417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.81 Prop: 261.918 PropClause: 230.752 Set: 185.576 Check: 0.0 Back: 19.223
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 608 Props: 820858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.813 Prop: 262.341 PropClause: 231.133 Set: 185.847 Check: 0.0 Back: 19.255
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 609 Props: 822298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.816 Prop: 262.765 PropClause: 231.516 Set: 186.12 Check: 0.0 Back: 19.29
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 610 Props: 823739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.819 Prop: 263.198 PropClause: 231.906 Set: 186.384 Check: 0.0 Back: 19.323
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 611 Props: 825179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.82 Prop: 263.607 PropClause: 232.275 Set: 186.632 Check: 0.0 Back: 19.356
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 612 Props: 826593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.823 Prop: 264.014 PropClause: 232.641 Set: 186.87 Check: 0.0 Back: 19.401
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 613 Props: 828034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.825 Prop: 264.425 PropClause: 233.011 Set: 187.116 Check: 0.0 Back: 19.433
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 614 Props: 829475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.827 Prop: 264.845 PropClause: 233.39 Set: 187.387 Check: 0.0 Back: 19.466
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 615 Props: 830916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.829 Prop: 265.257 PropClause: 233.763 Set: 187.636 Check: 0.0 Back: 19.499
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 616 Props: 832357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.831 Prop: 265.669 PropClause: 234.133 Set: 187.89 Check: 0.0 Back: 19.532
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Confl: 663 Props: 4132 Tprops: 1974 Decides: 6034 RSplits: 0
INFO - Times: Expl: 53.558 Prop: 1869.242 PropClause: 4.153 Set: 951.441 Check: 32.888 Back: 6.951
INFO - Atoms: 40/101 Clauses: 663 Axioms: 84
INFO - CCTimes: iE 25959 eq 4862914 cc 3656997 setRep 945978
INFO - Merges: 4454, cc:2164
INFO - BVTimes: BB 41760550 BB_DPLL 1059697506 Graph 24300865
INFO - BitBlastingClauses: 67854 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat