/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: 113359231
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.473 Prop: 4.538 PropClause: 3.205 Set: 1.864 Check: 0.0 Back: 0.0
INFO - Atoms: 284/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.514 Prop: 4.83 PropClause: 3.372 Set: 2.859 Check: 0.0 Back: 0.015
INFO - Atoms: 588/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.545 Prop: 5.086 PropClause: 3.517 Set: 3.097 Check: 0.0 Back: 0.03
INFO - Atoms: 665/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.59 Prop: 5.396 PropClause: 3.684 Set: 3.351 Check: 0.0 Back: 0.046
INFO - Atoms: 663/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 2874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.62 Prop: 5.673 PropClause: 3.855 Set: 4.01 Check: 0.0 Back: 0.063
INFO - Atoms: 674/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 3781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.636 Prop: 5.947 PropClause: 4.1 Set: 4.277 Check: 0.0 Back: 0.078
INFO - Atoms: 907/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 4566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.651 Prop: 6.189 PropClause: 4.316 Set: 4.492 Check: 0.0 Back: 0.1
INFO - Atoms: 785/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 5388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.663 Prop: 6.434 PropClause: 4.536 Set: 4.726 Check: 0.0 Back: 0.118
INFO - Atoms: 822/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 6258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.684 Prop: 6.773 PropClause: 4.847 Set: 8.533 Check: 0.0 Back: 0.137
INFO - Atoms: 870/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 7182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.48 Prop: 7.064 PropClause: 5.109 Set: 8.901 Check: 0.0 Back: 0.157
INFO - Atoms: 924/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 8265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.502 Prop: 7.426 PropClause: 5.437 Set: 9.348 Check: 0.0 Back: 0.181
INFO - Atoms: 1083/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 9431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.517 Prop: 7.834 PropClause: 5.808 Set: 9.857 Check: 0.0 Back: 0.206
INFO - Atoms: 1166/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 10602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.534 Prop: 8.241 PropClause: 6.178 Set: 10.339 Check: 0.0 Back: 0.233
INFO - Atoms: 1171/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 11828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.55 Prop: 8.708 PropClause: 6.607 Set: 10.887 Check: 0.0 Back: 0.261
INFO - Atoms: 1226/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 13080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.57 Prop: 9.202 PropClause: 7.062 Set: 11.464 Check: 0.0 Back: 0.29
INFO - Atoms: 1252/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 14293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.584 Prop: 9.672 PropClause: 7.494 Set: 12.013 Check: 0.0 Back: 0.319
INFO - Atoms: 1213/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 15100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.6 Prop: 10.006 PropClause: 7.802 Set: 12.346 Check: 0.0 Back: 0.347
INFO - Atoms: 807/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 16354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 10.443 PropClause: 8.2 Set: 12.933 Check: 0.0 Back: 0.366
INFO - Atoms: 1254/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 17077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.632 Prop: 10.744 PropClause: 8.478 Set: 13.208 Check: 0.0 Back: 0.395
INFO - Atoms: 723/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 18296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.656 Prop: 12.356 PropClause: 8.874 Set: 13.761 Check: 0.0 Back: 0.412
INFO - Atoms: 1219/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 19299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.673 Prop: 12.785 PropClause: 9.253 Set: 14.176 Check: 0.0 Back: 0.44
INFO - Atoms: 1003/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 20350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.688 Prop: 13.157 PropClause: 9.581 Set: 14.617 Check: 0.0 Back: 0.463
INFO - Atoms: 1051/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 21481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.701 Prop: 13.562 PropClause: 9.947 Set: 15.13 Check: 0.0 Back: 0.488
INFO - Atoms: 1131/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 22682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 14.011 PropClause: 10.355 Set: 15.66 Check: 0.0 Back: 0.514
INFO - Atoms: 1201/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 23435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.92 Prop: 14.319 PropClause: 10.635 Set: 15.969 Check: 0.0 Back: 0.542
INFO - Atoms: 753/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 24325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.935 Prop: 14.601 PropClause: 10.886 Set: 16.342 Check: 0.0 Back: 0.56
INFO - Atoms: 890/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 25629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.952 Prop: 15.083 PropClause: 11.323 Set: 16.94 Check: 0.0 Back: 0.581
INFO - Atoms: 1304/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 26941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.972 Prop: 15.613 PropClause: 11.804 Set: 17.51 Check: 0.0 Back: 0.611
INFO - Atoms: 1312/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 28279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.989 Prop: 16.143 PropClause: 12.286 Set: 18.102 Check: 0.0 Back: 0.641
INFO - Atoms: 1338/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 29644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.011 Prop: 16.719 PropClause: 12.814 Set: 18.806 Check: 0.0 Back: 0.672
INFO - Atoms: 1365/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 31020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.027 Prop: 17.165 PropClause: 13.214 Set: 19.457 Check: 0.0 Back: 0.704
INFO - Atoms: 1376/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 32396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 17.607 PropClause: 13.609 Set: 20.119 Check: 0.0 Back: 0.737
INFO - Atoms: 1376/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 33837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.066 Prop: 18.05 PropClause: 14.004 Set: 20.776 Check: 0.0 Back: 0.769
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 35278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 18.507 PropClause: 14.413 Set: 21.46 Check: 0.0 Back: 0.802
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 36719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.103 Prop: 18.963 PropClause: 14.812 Set: 22.121 Check: 0.0 Back: 0.836
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 38160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.118 Prop: 19.416 PropClause: 15.219 Set: 22.487 Check: 0.0 Back: 0.869
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 38825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.136 Prop: 19.679 PropClause: 15.46 Set: 22.626 Check: 0.0 Back: 0.903
INFO - Atoms: 665/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 40266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.156 Prop: 20.059 PropClause: 15.792 Set: 22.958 Check: 0.0 Back: 0.919
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 41707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.176 Prop: 21.651 PropClause: 17.337 Set: 23.303 Check: 0.0 Back: 0.952
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 43148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 22.13 PropClause: 17.769 Set: 23.652 Check: 0.0 Back: 0.985
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 44589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.227 Prop: 22.566 PropClause: 18.157 Set: 23.871 Check: 0.0 Back: 1.022
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 46030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.248 Prop: 23.023 PropClause: 18.566 Set: 24.088 Check: 0.0 Back: 1.056
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 47471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.267 Prop: 23.459 PropClause: 18.953 Set: 24.308 Check: 0.0 Back: 1.09
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 48912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 23.898 PropClause: 19.345 Set: 24.529 Check: 0.0 Back: 1.123
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 50353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.306 Prop: 24.328 PropClause: 19.728 Set: 24.742 Check: 0.0 Back: 1.157
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 51031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.327 Prop: 24.591 PropClause: 19.968 Set: 24.822 Check: 0.0 Back: 1.19
INFO - Atoms: 678/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 52470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.412 Prop: 24.942 PropClause: 20.273 Set: 25.046 Check: 0.0 Back: 1.206
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 53911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.417 Prop: 25.382 PropClause: 20.666 Set: 25.266 Check: 0.0 Back: 1.24
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 55352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.424 Prop: 25.818 PropClause: 21.055 Set: 25.487 Check: 0.0 Back: 1.273
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 56793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.43 Prop: 26.253 PropClause: 21.444 Set: 25.704 Check: 0.0 Back: 1.307
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 57418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.436 Prop: 26.507 PropClause: 21.676 Set: 25.782 Check: 0.0 Back: 1.341
INFO - Atoms: 625/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 58859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.443 Prop: 26.855 PropClause: 21.979 Set: 25.999 Check: 0.0 Back: 1.356
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 60300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.45 Prop: 27.281 PropClause: 22.357 Set: 26.217 Check: 0.0 Back: 1.389
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 61741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.461 Prop: 27.717 PropClause: 22.745 Set: 26.435 Check: 0.0 Back: 1.422
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 63182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.471 Prop: 28.158 PropClause: 23.139 Set: 26.658 Check: 0.0 Back: 1.456
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 64623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.489 Prop: 28.646 PropClause: 23.572 Set: 26.879 Check: 0.0 Back: 1.489
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 66064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.494 Prop: 29.085 PropClause: 23.967 Set: 27.095 Check: 0.0 Back: 1.523
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 67505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.5 Prop: 29.529 PropClause: 24.366 Set: 27.314 Check: 0.0 Back: 1.556
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 68946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.508 Prop: 29.973 PropClause: 24.763 Set: 27.541 Check: 0.0 Back: 1.59
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 70387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.518 Prop: 30.425 PropClause: 25.168 Set: 27.777 Check: 0.0 Back: 1.624
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 71828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.525 Prop: 30.863 PropClause: 25.558 Set: 27.999 Check: 0.0 Back: 1.657
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 73269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.533 Prop: 31.304 PropClause: 25.954 Set: 28.22 Check: 0.0 Back: 1.691
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 74710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.544 Prop: 31.753 PropClause: 26.35 Set: 28.446 Check: 0.0 Back: 1.725
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 76151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.552 Prop: 32.194 PropClause: 26.746 Set: 28.669 Check: 0.0 Back: 1.757
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 77592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.558 Prop: 32.624 PropClause: 27.13 Set: 28.882 Check: 0.0 Back: 1.791
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 79033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.57 Prop: 33.066 PropClause: 27.527 Set: 29.103 Check: 0.0 Back: 1.825
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 80474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.576 Prop: 33.497 PropClause: 27.911 Set: 29.322 Check: 0.0 Back: 1.859
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 81915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.794 Prop: 33.946 PropClause: 28.315 Set: 29.544 Check: 0.0 Back: 1.892
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 83356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.798 Prop: 34.397 PropClause: 28.718 Set: 29.77 Check: 0.0 Back: 1.925
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 84797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.803 Prop: 34.866 PropClause: 29.141 Set: 29.991 Check: 0.0 Back: 1.959
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 86238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.817 Prop: 35.314 PropClause: 29.542 Set: 30.21 Check: 0.0 Back: 1.992
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 86856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.824 Prop: 35.556 PropClause: 29.765 Set: 30.283 Check: 0.0 Back: 2.025
INFO - Atoms: 618/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 87535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.826 Prop: 35.713 PropClause: 29.899 Set: 30.363 Check: 0.0 Back: 2.04
INFO - Atoms: 679/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 88976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.83 Prop: 36.044 PropClause: 30.186 Set: 30.583 Check: 0.0 Back: 2.056
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 90417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.835 Prop: 36.444 PropClause: 30.54 Set: 30.796 Check: 0.0 Back: 2.089
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 91858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.839 Prop: 36.859 PropClause: 30.91 Set: 31.022 Check: 0.0 Back: 2.122
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 93299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.843 Prop: 37.257 PropClause: 31.264 Set: 31.233 Check: 0.0 Back: 2.156
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 93881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.848 Prop: 37.491 PropClause: 31.48 Set: 31.3 Check: 0.0 Back: 2.189
INFO - Atoms: 582/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 95322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.852 Prop: 37.802 PropClause: 31.747 Set: 31.52 Check: 0.0 Back: 2.202
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 96763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.855 Prop: 38.223 PropClause: 32.121 Set: 31.739 Check: 0.0 Back: 2.236
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 98204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.86 Prop: 38.622 PropClause: 32.475 Set: 31.959 Check: 0.0 Back: 2.269
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 99645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.863 Prop: 39.031 PropClause: 32.839 Set: 32.18 Check: 0.0 Back: 2.303
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 100281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.866 Prop: 39.271 PropClause: 33.059 Set: 32.253 Check: 0.0 Back: 2.337
INFO - Atoms: 636/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 101720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.869 Prop: 39.589 PropClause: 33.332 Set: 32.472 Check: 0.0 Back: 2.351
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 103161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.873 Prop: 39.994 PropClause: 33.693 Set: 32.686 Check: 0.0 Back: 2.385
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 104602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.876 Prop: 40.404 PropClause: 34.057 Set: 32.902 Check: 0.0 Back: 2.418
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 106043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.88 Prop: 40.793 PropClause: 34.4 Set: 33.115 Check: 0.0 Back: 2.452
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 106674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.883 Prop: 41.028 PropClause: 34.616 Set: 33.19 Check: 0.0 Back: 2.486
INFO - Atoms: 631/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 108115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.886 Prop: 41.344 PropClause: 34.886 Set: 33.413 Check: 0.0 Back: 2.501
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 109556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.892 Prop: 41.745 PropClause: 35.243 Set: 33.636 Check: 0.0 Back: 2.534
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 110997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.896 Prop: 42.144 PropClause: 35.599 Set: 33.854 Check: 0.0 Back: 2.568
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 112438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.9 Prop: 42.557 PropClause: 35.964 Set: 34.076 Check: 0.0 Back: 2.601
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 113879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.904 Prop: 42.971 PropClause: 36.334 Set: 34.303 Check: 0.0 Back: 2.635
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 115320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.907 Prop: 43.389 PropClause: 36.708 Set: 34.618 Check: 0.0 Back: 2.668
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 116761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.911 Prop: 43.793 PropClause: 37.066 Set: 34.839 Check: 0.0 Back: 2.702
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 118202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.915 Prop: 44.206 PropClause: 37.434 Set: 35.176 Check: 0.0 Back: 2.735
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 119643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.919 Prop: 44.639 PropClause: 37.821 Set: 35.496 Check: 0.0 Back: 2.769
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 121084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.923 Prop: 45.064 PropClause: 38.203 Set: 35.823 Check: 0.0 Back: 2.802
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 122525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.928 Prop: 45.489 PropClause: 38.583 Set: 36.15 Check: 0.0 Back: 2.836
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 123966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.934 Prop: 45.908 PropClause: 38.958 Set: 36.502 Check: 0.0 Back: 2.869
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 125407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.937 Prop: 46.328 PropClause: 39.334 Set: 36.836 Check: 0.0 Back: 2.903
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 126848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.941 Prop: 46.741 PropClause: 39.702 Set: 37.178 Check: 0.0 Back: 2.937
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 128289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.948 Prop: 47.158 PropClause: 40.071 Set: 37.504 Check: 0.0 Back: 2.97
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 129730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.954 Prop: 47.571 PropClause: 40.44 Set: 37.824 Check: 0.0 Back: 3.004
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 130477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.962 Prop: 47.838 PropClause: 40.684 Set: 37.978 Check: 0.0 Back: 3.037
INFO - Atoms: 747/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 131918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.969 Prop: 48.206 PropClause: 41.008 Set: 38.297 Check: 0.0 Back: 3.055
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 133359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.975 Prop: 48.645 PropClause: 41.4 Set: 38.638 Check: 0.0 Back: 3.088
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 134800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.98 Prop: 49.073 PropClause: 41.784 Set: 38.971 Check: 0.0 Back: 3.122
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 136241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.985 Prop: 49.494 PropClause: 42.156 Set: 39.327 Check: 0.0 Back: 3.155
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 136827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.989 Prop: 49.718 PropClause: 42.362 Set: 39.444 Check: 0.0 Back: 3.189
INFO - Atoms: 586/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 138268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.009 Prop: 50.041 PropClause: 42.64 Set: 39.785 Check: 0.0 Back: 3.202
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 139709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.027 Prop: 50.484 PropClause: 43.034 Set: 40.144 Check: 0.0 Back: 3.236
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 141150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.032 Prop: 50.895 PropClause: 43.401 Set: 40.487 Check: 0.0 Back: 3.269
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 142591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.038 Prop: 51.319 PropClause: 43.776 Set: 40.845 Check: 0.0 Back: 3.303
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 144032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.044 Prop: 51.752 PropClause: 44.164 Set: 41.176 Check: 0.0 Back: 3.338
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 145473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.049 Prop: 52.161 PropClause: 44.529 Set: 41.532 Check: 0.0 Back: 3.372
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 146914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.165 Prop: 52.583 PropClause: 44.907 Set: 41.891 Check: 0.0 Back: 3.405
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 148355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.174 Prop: 53.0 PropClause: 45.276 Set: 42.116 Check: 0.0 Back: 3.44
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 149796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.182 Prop: 53.405 PropClause: 45.636 Set: 42.335 Check: 0.0 Back: 3.474
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 151237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.187 Prop: 53.816 PropClause: 46.003 Set: 42.556 Check: 0.0 Back: 3.508
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 152678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.193 Prop: 54.234 PropClause: 46.375 Set: 42.776 Check: 0.0 Back: 3.542
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 154119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.199 Prop: 54.644 PropClause: 46.74 Set: 42.994 Check: 0.0 Back: 3.575
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 155560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.206 Prop: 55.05 PropClause: 47.101 Set: 43.212 Check: 0.0 Back: 3.609
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 157001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.59 Prop: 55.467 PropClause: 47.473 Set: 43.436 Check: 0.0 Back: 3.643
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 158442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.602 Prop: 55.875 PropClause: 47.837 Set: 43.657 Check: 0.0 Back: 3.677
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 159883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.612 Prop: 56.405 PropClause: 48.29 Set: 43.963 Check: 0.0 Back: 3.711
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 161324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.62 Prop: 56.933 PropClause: 48.747 Set: 44.288 Check: 0.0 Back: 3.748
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 162765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.629 Prop: 57.458 PropClause: 49.199 Set: 44.612 Check: 0.0 Back: 3.788
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 164206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.638 Prop: 57.972 PropClause: 49.641 Set: 44.925 Check: 0.0 Back: 3.826
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 165647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.645 Prop: 58.491 PropClause: 50.089 Set: 45.243 Check: 0.0 Back: 3.866
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 167088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.653 Prop: 59.019 PropClause: 50.544 Set: 45.568 Check: 0.0 Back: 3.905
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 168529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.66 Prop: 59.595 PropClause: 50.99 Set: 45.884 Check: 0.0 Back: 3.945
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 169970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.666 Prop: 60.0 PropClause: 51.35 Set: 46.102 Check: 0.0 Back: 3.979
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 171411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.67 Prop: 60.403 PropClause: 51.709 Set: 46.315 Check: 0.0 Back: 4.013
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 172852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.675 Prop: 60.817 PropClause: 52.077 Set: 46.532 Check: 0.0 Back: 4.046
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 174293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.68 Prop: 61.225 PropClause: 52.439 Set: 46.748 Check: 0.0 Back: 4.08
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 175734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.684 Prop: 61.634 PropClause: 52.802 Set: 46.964 Check: 0.0 Back: 4.114
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 177175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.687 Prop: 62.047 PropClause: 53.17 Set: 47.179 Check: 0.0 Back: 4.148
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 178616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.701 Prop: 62.453 PropClause: 53.53 Set: 47.397 Check: 0.0 Back: 4.181
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 180057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.704 Prop: 62.853 PropClause: 53.886 Set: 47.614 Check: 0.0 Back: 4.215
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 181498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.708 Prop: 63.249 PropClause: 54.238 Set: 47.829 Check: 0.0 Back: 4.248
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 182939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.711 Prop: 63.643 PropClause: 54.588 Set: 48.042 Check: 0.0 Back: 4.281
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 184380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.715 Prop: 64.039 PropClause: 54.927 Set: 48.26 Check: 0.0 Back: 4.315
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 185821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.717 Prop: 64.429 PropClause: 55.273 Set: 48.47 Check: 0.0 Back: 4.349
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 187262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.722 Prop: 64.83 PropClause: 55.63 Set: 48.681 Check: 0.0 Back: 4.382
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 188703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.727 Prop: 65.218 PropClause: 55.973 Set: 48.899 Check: 0.0 Back: 4.416
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 189328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.732 Prop: 65.432 PropClause: 56.167 Set: 48.971 Check: 0.0 Back: 4.449
INFO - Atoms: 625/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 190015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.734 Prop: 65.584 PropClause: 56.297 Set: 49.053 Check: 0.0 Back: 4.464
INFO - Atoms: 687/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 191456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.737 Prop: 65.908 PropClause: 56.578 Set: 49.271 Check: 0.0 Back: 4.48
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 192897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.74 Prop: 66.504 PropClause: 56.94 Set: 49.494 Check: 0.0 Back: 4.513
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 194338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.745 Prop: 66.904 PropClause: 57.295 Set: 49.71 Check: 0.0 Back: 4.547
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 195779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.748 Prop: 67.307 PropClause: 57.654 Set: 49.926 Check: 0.0 Back: 4.58
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 197220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.754 Prop: 67.713 PropClause: 58.014 Set: 50.144 Check: 0.0 Back: 4.614
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 198661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.758 Prop: 68.127 PropClause: 58.374 Set: 50.359 Check: 0.0 Back: 4.648
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 200102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.765 Prop: 68.593 PropClause: 58.732 Set: 50.574 Check: 0.0 Back: 4.681
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 201543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.768 Prop: 68.992 PropClause: 59.087 Set: 50.786 Check: 0.0 Back: 4.715
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 202984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.773 Prop: 69.391 PropClause: 59.441 Set: 51.005 Check: 0.0 Back: 4.748
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 204425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.778 Prop: 69.797 PropClause: 59.802 Set: 51.22 Check: 0.0 Back: 4.782
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 205866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.782 Prop: 70.204 PropClause: 60.165 Set: 51.446 Check: 0.0 Back: 4.815
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 207307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.787 Prop: 70.63 PropClause: 60.539 Set: 51.678 Check: 0.0 Back: 4.849
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 208748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.807 Prop: 71.084 PropClause: 60.928 Set: 51.905 Check: 0.0 Back: 4.882
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 210189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.813 Prop: 71.488 PropClause: 61.291 Set: 52.142 Check: 0.0 Back: 4.916
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 211630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.819 Prop: 71.893 PropClause: 61.654 Set: 52.36 Check: 0.0 Back: 4.95
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 213071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.825 Prop: 72.299 PropClause: 62.019 Set: 52.577 Check: 0.0 Back: 4.984
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 214512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.831 Prop: 72.705 PropClause: 62.383 Set: 52.791 Check: 0.0 Back: 5.018
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 215953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.836 Prop: 73.153 PropClause: 62.75 Set: 53.019 Check: 0.0 Back: 5.051
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 217394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.842 Prop: 73.544 PropClause: 63.099 Set: 53.231 Check: 0.0 Back: 5.085
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 218835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.845 Prop: 73.965 PropClause: 63.464 Set: 53.445 Check: 0.0 Back: 5.118
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 220276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.856 Prop: 74.413 PropClause: 63.869 Set: 53.672 Check: 0.0 Back: 5.152
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 221717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.864 Prop: 74.83 PropClause: 64.245 Set: 53.889 Check: 0.0 Back: 5.186
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 223158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.87 Prop: 75.249 PropClause: 64.622 Set: 54.112 Check: 0.0 Back: 5.219
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 224599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.877 Prop: 75.675 PropClause: 65.007 Set: 54.333 Check: 0.0 Back: 5.253
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 226040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.886 Prop: 76.127 PropClause: 65.416 Set: 54.567 Check: 0.0 Back: 5.286
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 227481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.893 Prop: 76.573 PropClause: 65.82 Set: 54.793 Check: 0.0 Back: 5.32
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 228166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.899 Prop: 76.829 PropClause: 66.056 Set: 54.876 Check: 0.0 Back: 5.354
INFO - Atoms: 685/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 229607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.902 Prop: 77.18 PropClause: 66.366 Set: 55.101 Check: 0.0 Back: 5.37
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 231048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.905 Prop: 77.605 PropClause: 66.748 Set: 55.32 Check: 0.0 Back: 5.403
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 232489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.911 Prop: 78.034 PropClause: 67.136 Set: 55.546 Check: 0.0 Back: 5.437
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 233930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.917 Prop: 78.451 PropClause: 67.512 Set: 55.764 Check: 0.0 Back: 5.471
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 234649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.922 Prop: 78.733 PropClause: 67.773 Set: 55.858 Check: 0.0 Back: 5.504
INFO - Atoms: 719/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 236090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.93 Prop: 79.685 PropClause: 68.68 Set: 56.117 Check: 0.0 Back: 5.521
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 237531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.935 Prop: 80.12 PropClause: 69.074 Set: 56.331 Check: 0.0 Back: 5.564
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 238972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.953 Prop: 80.587 PropClause: 69.5 Set: 56.547 Check: 0.0 Back: 5.597
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 240413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.972 Prop: 81.025 PropClause: 69.897 Set: 56.765 Check: 0.0 Back: 5.63
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 241125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.979 Prop: 81.286 PropClause: 70.136 Set: 56.853 Check: 0.0 Back: 5.663
INFO - Atoms: 712/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 242566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.985 Prop: 81.642 PropClause: 70.451 Set: 57.07 Check: 0.0 Back: 5.679
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 244007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.99 Prop: 82.056 PropClause: 70.824 Set: 57.284 Check: 0.0 Back: 5.711
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 245448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.014 Prop: 82.512 PropClause: 71.239 Set: 57.501 Check: 0.0 Back: 5.744
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 246889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.02 Prop: 82.929 PropClause: 71.615 Set: 57.715 Check: 0.0 Back: 5.777
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 247603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.06 Prop: 83.193 PropClause: 71.858 Set: 57.799 Check: 0.0 Back: 5.81
INFO - Atoms: 714/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 249044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.09 Prop: 83.541 PropClause: 72.165 Set: 58.014 Check: 0.0 Back: 5.827
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 250485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.095 Prop: 83.953 PropClause: 72.537 Set: 58.232 Check: 0.0 Back: 5.86
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 251926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.103 Prop: 84.38 PropClause: 72.923 Set: 58.45 Check: 0.0 Back: 5.893
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 253367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.109 Prop: 84.797 PropClause: 73.298 Set: 58.667 Check: 0.0 Back: 5.925
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 254056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.118 Prop: 85.048 PropClause: 73.529 Set: 58.757 Check: 0.0 Back: 5.958
INFO - Atoms: 689/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 255497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.124 Prop: 85.398 PropClause: 73.838 Set: 58.981 Check: 0.0 Back: 5.974
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 256938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.131 Prop: 85.794 PropClause: 74.194 Set: 59.196 Check: 0.0 Back: 6.007
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 258379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.139 Prop: 86.235 PropClause: 74.594 Set: 59.417 Check: 0.0 Back: 6.039
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 259820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.146 Prop: 86.648 PropClause: 74.965 Set: 59.63 Check: 0.0 Back: 6.072
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 260560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.203 Prop: 86.909 PropClause: 75.206 Set: 59.725 Check: 0.0 Back: 6.105
INFO - Atoms: 740/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 262001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.209 Prop: 87.266 PropClause: 75.522 Set: 59.941 Check: 0.0 Back: 6.122
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 263442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.242 Prop: 87.693 PropClause: 75.907 Set: 60.158 Check: 0.0 Back: 6.154
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 264883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.254 Prop: 88.155 PropClause: 76.327 Set: 60.377 Check: 0.0 Back: 6.187
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 266324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.261 Prop: 88.586 PropClause: 76.716 Set: 60.594 Check: 0.0 Back: 6.22
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 267052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.268 Prop: 88.844 PropClause: 76.953 Set: 60.683 Check: 0.0 Back: 6.253
INFO - Atoms: 728/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 268493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.276 Prop: 89.189 PropClause: 77.257 Set: 60.897 Check: 0.0 Back: 6.269
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 269934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.285 Prop: 89.602 PropClause: 77.628 Set: 61.119 Check: 0.0 Back: 6.302
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 270609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.29 Prop: 89.846 PropClause: 77.853 Set: 61.202 Check: 0.0 Back: 6.336
INFO - Atoms: 675/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 272050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.296 Prop: 90.176 PropClause: 78.142 Set: 61.418 Check: 0.0 Back: 6.351
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 273491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.301 Prop: 90.597 PropClause: 78.521 Set: 61.636 Check: 0.0 Back: 6.384
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 274182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.307 Prop: 90.842 PropClause: 78.747 Set: 61.716 Check: 0.0 Back: 6.417
INFO - Atoms: 691/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 275623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.31 Prop: 91.17 PropClause: 79.033 Set: 61.932 Check: 0.0 Back: 6.433
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 277064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.313 Prop: 91.57 PropClause: 79.392 Set: 62.146 Check: 0.0 Back: 6.466
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 278505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.319 Prop: 91.983 PropClause: 79.764 Set: 62.361 Check: 0.0 Back: 6.498
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 279946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.323 Prop: 92.387 PropClause: 80.127 Set: 62.575 Check: 0.0 Back: 6.531
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 280660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.327 Prop: 92.651 PropClause: 80.37 Set: 62.662 Check: 0.0 Back: 6.564
INFO - Atoms: 714/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 282101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.329 Prop: 92.984 PropClause: 80.662 Set: 62.879 Check: 0.0 Back: 6.58
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 283542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.334 Prop: 93.402 PropClause: 81.039 Set: 63.1 Check: 0.0 Back: 6.614
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 284983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.34 Prop: 93.9 PropClause: 81.48 Set: 63.399 Check: 0.0 Back: 6.646
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 286424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.346 Prop: 94.349 PropClause: 81.867 Set: 63.647 Check: 0.0 Back: 6.683
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 287144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.35 Prop: 94.613 PropClause: 82.106 Set: 63.743 Check: 0.0 Back: 6.719
INFO - Atoms: 720/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 288585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.355 Prop: 94.951 PropClause: 82.402 Set: 63.959 Check: 0.0 Back: 6.737
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 290026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.359 Prop: 95.36 PropClause: 82.769 Set: 64.174 Check: 0.0 Back: 6.77
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 290724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.363 Prop: 95.628 PropClause: 83.017 Set: 64.325 Check: 0.0 Back: 6.802
INFO - Atoms: 698/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 291527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.366 Prop: 95.819 PropClause: 83.185 Set: 64.489 Check: 0.0 Back: 6.818
INFO - Atoms: 803/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 292968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.369 Prop: 96.179 PropClause: 83.504 Set: 64.707 Check: 0.0 Back: 6.836
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 294409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.372 Prop: 96.608 PropClause: 83.892 Set: 65.018 Check: 0.0 Back: 6.869
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 295172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.377 Prop: 96.887 PropClause: 84.149 Set: 65.178 Check: 0.0 Back: 6.902
INFO - Atoms: 763/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 296613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.382 Prop: 97.243 PropClause: 84.464 Set: 65.513 Check: 0.0 Back: 6.919
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 298054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.387 Prop: 97.673 PropClause: 84.853 Set: 65.844 Check: 0.0 Back: 6.952
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 299495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.395 Prop: 98.111 PropClause: 85.25 Set: 66.161 Check: 0.0 Back: 6.985
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 300936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.404 Prop: 98.558 PropClause: 85.656 Set: 66.475 Check: 0.0 Back: 7.018
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 301684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.41 Prop: 98.823 PropClause: 85.9 Set: 66.636 Check: 0.0 Back: 7.05
INFO - Atoms: 748/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 303125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.415 Prop: 99.173 PropClause: 86.21 Set: 66.971 Check: 0.0 Back: 7.078
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 304566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.42 Prop: 99.596 PropClause: 86.591 Set: 67.297 Check: 0.0 Back: 7.111
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 306007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.427 Prop: 100.038 PropClause: 86.992 Set: 67.638 Check: 0.0 Back: 7.144
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 307448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.433 Prop: 100.458 PropClause: 87.372 Set: 67.977 Check: 0.0 Back: 7.177
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 308184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.439 Prop: 100.736 PropClause: 87.629 Set: 68.133 Check: 0.0 Back: 7.21
INFO - Atoms: 736/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 309625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.444 Prop: 101.085 PropClause: 87.936 Set: 68.465 Check: 0.0 Back: 7.226
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 311066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.448 Prop: 101.519 PropClause: 88.329 Set: 68.791 Check: 0.0 Back: 7.259
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 312507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.455 Prop: 101.944 PropClause: 88.714 Set: 69.12 Check: 0.0 Back: 7.292
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 313948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.46 Prop: 102.35 PropClause: 89.078 Set: 69.456 Check: 0.0 Back: 7.325
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 314681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.465 Prop: 102.618 PropClause: 89.325 Set: 69.612 Check: 0.0 Back: 7.358
INFO - Atoms: 733/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 316122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.471 Prop: 102.979 PropClause: 89.645 Set: 69.938 Check: 0.0 Back: 7.376
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 317563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.476 Prop: 103.402 PropClause: 90.028 Set: 70.267 Check: 0.0 Back: 7.409
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 319004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.483 Prop: 103.836 PropClause: 90.421 Set: 70.602 Check: 0.0 Back: 7.442
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 320445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.487 Prop: 104.252 PropClause: 90.797 Set: 70.95 Check: 0.0 Back: 7.475
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 321155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.494 Prop: 104.514 PropClause: 91.038 Set: 71.085 Check: 0.0 Back: 7.507
INFO - Atoms: 710/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 322596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.498 Prop: 104.859 PropClause: 91.342 Set: 71.415 Check: 0.0 Back: 7.524
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 324037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.502 Prop: 105.28 PropClause: 91.721 Set: 71.747 Check: 0.0 Back: 7.557
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 325478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.507 Prop: 105.699 PropClause: 92.1 Set: 72.08 Check: 0.0 Back: 7.59
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 326919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.512 Prop: 106.136 PropClause: 92.496 Set: 72.403 Check: 0.0 Back: 7.623
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 327612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.518 Prop: 106.386 PropClause: 92.727 Set: 72.546 Check: 0.0 Back: 7.656
INFO - Atoms: 693/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 329053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.523 Prop: 106.728 PropClause: 93.028 Set: 72.876 Check: 0.0 Back: 7.671
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 330494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.527 Prop: 107.145 PropClause: 93.404 Set: 73.201 Check: 0.0 Back: 7.704
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 331935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.535 Prop: 107.582 PropClause: 93.799 Set: 73.539 Check: 0.0 Back: 7.737
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 333376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.541 Prop: 108.0 PropClause: 94.176 Set: 73.878 Check: 0.0 Back: 7.77
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 334817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.549 Prop: 108.433 PropClause: 94.568 Set: 74.212 Check: 0.0 Back: 7.803
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 336258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.554 Prop: 108.856 PropClause: 94.95 Set: 74.539 Check: 0.0 Back: 7.835
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 337699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.559 Prop: 109.293 PropClause: 95.346 Set: 74.883 Check: 0.0 Back: 7.868
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 339140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.564 Prop: 109.723 PropClause: 95.734 Set: 75.227 Check: 0.0 Back: 7.901
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 339851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.57 Prop: 109.987 PropClause: 95.978 Set: 75.382 Check: 0.0 Back: 7.934
INFO - Atoms: 711/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 341292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.574 Prop: 110.329 PropClause: 96.279 Set: 75.723 Check: 0.0 Back: 7.95
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 342733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.579 Prop: 110.748 PropClause: 96.657 Set: 76.059 Check: 0.0 Back: 7.983
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 344174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.585 Prop: 111.175 PropClause: 97.042 Set: 76.393 Check: 0.0 Back: 8.016
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 345615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.59 Prop: 111.605 PropClause: 97.431 Set: 76.731 Check: 0.0 Back: 8.049
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 346343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.597 Prop: 111.909 PropClause: 97.714 Set: 76.883 Check: 0.0 Back: 8.082
INFO - Atoms: 728/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 347784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.602 Prop: 112.266 PropClause: 98.03 Set: 77.217 Check: 0.0 Back: 8.1
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 349225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.606 Prop: 112.687 PropClause: 98.41 Set: 77.549 Check: 0.0 Back: 8.132
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 350666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.612 Prop: 113.132 PropClause: 98.812 Set: 77.9 Check: 0.0 Back: 8.165
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 352107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.616 Prop: 113.566 PropClause: 99.206 Set: 78.226 Check: 0.0 Back: 8.198
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 353548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.622 Prop: 114.063 PropClause: 99.651 Set: 78.635 Check: 0.0 Back: 8.231
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 354989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.631 Prop: 114.593 PropClause: 100.125 Set: 79.074 Check: 0.0 Back: 8.268
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 356430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.641 Prop: 115.128 PropClause: 100.604 Set: 79.511 Check: 0.0 Back: 8.304
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 357871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.649 Prop: 115.671 PropClause: 101.089 Set: 79.951 Check: 0.0 Back: 8.344
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 358582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.657 Prop: 115.979 PropClause: 101.369 Set: 80.139 Check: 0.0 Back: 8.381
INFO - Atoms: 711/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 360023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.665 Prop: 116.408 PropClause: 101.743 Set: 80.569 Check: 0.0 Back: 8.4
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 361464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.672 Prop: 116.87 PropClause: 102.159 Set: 80.851 Check: 0.0 Back: 8.439
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 362905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.679 Prop: 117.33 PropClause: 102.574 Set: 81.124 Check: 0.0 Back: 8.475
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 364346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.684 Prop: 117.788 PropClause: 102.986 Set: 81.405 Check: 0.0 Back: 8.513
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 365084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.723 Prop: 118.077 PropClause: 103.252 Set: 81.523 Check: 0.0 Back: 8.551
INFO - Atoms: 738/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 366525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.728 Prop: 118.461 PropClause: 103.589 Set: 81.811 Check: 0.0 Back: 8.57
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 367966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.733 Prop: 118.94 PropClause: 104.022 Set: 82.108 Check: 0.0 Back: 8.607
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 369407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.743 Prop: 119.433 PropClause: 104.469 Set: 82.397 Check: 0.0 Back: 8.645
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 370848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.75 Prop: 119.913 PropClause: 104.903 Set: 82.683 Check: 0.0 Back: 8.682
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 371541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.758 Prop: 120.192 PropClause: 105.16 Set: 82.825 Check: 0.0 Back: 8.718
INFO - Atoms: 693/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 372982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.765 Prop: 120.57 PropClause: 105.493 Set: 83.1 Check: 0.0 Back: 8.736
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 374423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.772 Prop: 121.027 PropClause: 105.904 Set: 83.378 Check: 0.0 Back: 8.772
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 375864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.782 Prop: 121.493 PropClause: 106.325 Set: 83.66 Check: 0.0 Back: 8.808
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 377305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.791 Prop: 121.959 PropClause: 106.744 Set: 83.933 Check: 0.0 Back: 8.845
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 378746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.797 Prop: 122.41 PropClause: 107.15 Set: 84.203 Check: 0.0 Back: 8.883
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 380187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.802 Prop: 122.855 PropClause: 107.55 Set: 84.476 Check: 0.0 Back: 8.919
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 381628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.809 Prop: 123.313 PropClause: 107.962 Set: 84.748 Check: 0.0 Back: 8.956
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 383069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.837 Prop: 123.762 PropClause: 108.367 Set: 85.017 Check: 0.0 Back: 8.993
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 384510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.843 Prop: 124.216 PropClause: 108.774 Set: 85.292 Check: 0.0 Back: 9.03
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 385951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.849 Prop: 124.686 PropClause: 109.187 Set: 85.565 Check: 0.0 Back: 9.067
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 387392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.886 Prop: 125.163 PropClause: 109.606 Set: 85.845 Check: 0.0 Back: 9.105
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 388833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.943 Prop: 125.663 PropClause: 110.061 Set: 86.124 Check: 0.0 Back: 9.142
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 389552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.949 Prop: 125.946 PropClause: 110.321 Set: 86.255 Check: 0.0 Back: 9.178
INFO - Atoms: 719/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 390993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.955 Prop: 126.345 PropClause: 110.673 Set: 86.554 Check: 0.0 Back: 9.196
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 392434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.96 Prop: 126.797 PropClause: 111.08 Set: 86.824 Check: 0.0 Back: 9.233
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 393875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.966 Prop: 127.256 PropClause: 111.494 Set: 87.098 Check: 0.0 Back: 9.269
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 395316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.97 Prop: 127.658 PropClause: 111.855 Set: 87.317 Check: 0.0 Back: 9.308
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 396027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.972 Prop: 127.901 PropClause: 112.078 Set: 87.401 Check: 0.0 Back: 9.341
INFO - Atoms: 711/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 397468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.975 Prop: 128.222 PropClause: 112.358 Set: 87.615 Check: 0.0 Back: 9.357
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 398909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.977 Prop: 128.622 PropClause: 112.716 Set: 87.831 Check: 0.0 Back: 9.39
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 400350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.981 Prop: 129.024 PropClause: 113.077 Set: 88.04 Check: 0.0 Back: 9.423
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 401791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.985 Prop: 129.42 PropClause: 113.432 Set: 88.256 Check: 0.0 Back: 9.455
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 402502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.987 Prop: 129.655 PropClause: 113.647 Set: 88.338 Check: 0.0 Back: 9.488
INFO - Atoms: 711/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 403943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.993 Prop: 129.976 PropClause: 113.927 Set: 88.551 Check: 0.0 Back: 9.504
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 405384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.995 Prop: 130.373 PropClause: 114.283 Set: 88.758 Check: 0.0 Back: 9.537
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 406825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.999 Prop: 130.781 PropClause: 114.65 Set: 88.976 Check: 0.0 Back: 9.569
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 408266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.002 Prop: 131.178 PropClause: 115.006 Set: 89.193 Check: 0.0 Back: 9.603
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 409707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.005 Prop: 131.579 PropClause: 115.366 Set: 89.404 Check: 0.0 Back: 9.635
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 411148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.008 Prop: 131.976 PropClause: 115.721 Set: 89.619 Check: 0.0 Back: 9.668
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 411828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.012 Prop: 132.218 PropClause: 115.944 Set: 89.697 Check: 0.0 Back: 9.7
INFO - Atoms: 680/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 413269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.016 Prop: 132.533 PropClause: 116.219 Set: 89.912 Check: 0.0 Back: 9.716
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 414710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.019 Prop: 132.939 PropClause: 116.583 Set: 90.129 Check: 0.0 Back: 9.749
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 415422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.022 Prop: 133.183 PropClause: 116.807 Set: 90.215 Check: 0.0 Back: 9.781
INFO - Atoms: 712/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 416863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.024 Prop: 133.495 PropClause: 117.079 Set: 90.421 Check: 0.0 Back: 9.797
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 418304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.027 Prop: 133.89 PropClause: 117.433 Set: 90.635 Check: 0.0 Back: 9.83
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 419745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.03 Prop: 134.286 PropClause: 117.787 Set: 90.847 Check: 0.0 Back: 9.863
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 421186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.033 Prop: 134.682 PropClause: 118.142 Set: 91.057 Check: 0.0 Back: 9.896
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 422627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.037 Prop: 135.086 PropClause: 118.506 Set: 91.27 Check: 0.0 Back: 9.928
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 424068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.04 Prop: 135.486 PropClause: 118.864 Set: 91.486 Check: 0.0 Back: 9.961
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 425509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.045 Prop: 135.888 PropClause: 119.226 Set: 91.7 Check: 0.0 Back: 9.994
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 426950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.047 Prop: 136.279 PropClause: 119.576 Set: 91.911 Check: 0.0 Back: 10.04
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 428391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.051 Prop: 136.673 PropClause: 119.929 Set: 92.119 Check: 0.0 Back: 10.073
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 429832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.055 Prop: 137.06 PropClause: 120.275 Set: 92.334 Check: 0.0 Back: 10.105
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 430676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.06 Prop: 137.331 PropClause: 120.523 Set: 92.443 Check: 0.0 Back: 10.138
INFO - Atoms: 844/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 432008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.063 Prop: 137.647 PropClause: 120.8 Set: 92.638 Check: 0.0 Back: 10.157
INFO - Atoms: 1332/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 432459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.068 Prop: 137.82 PropClause: 120.96 Set: 92.682 Check: 0.0 Back: 10.188
INFO - Atoms: 451/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 433726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.074 Prop: 138.148 PropClause: 121.246 Set: 94.57 Check: 0.0 Back: 10.198
INFO - Atoms: 1267/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 435004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.076 Prop: 138.508 PropClause: 121.57 Set: 94.998 Check: 0.0 Back: 10.227
INFO - Atoms: 1278/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 436443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.079 Prop: 138.876 PropClause: 121.897 Set: 95.501 Check: 0.0 Back: 10.256
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 437884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.081 Prop: 139.284 PropClause: 122.265 Set: 96.002 Check: 0.0 Back: 10.288
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 439085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.084 Prop: 139.626 PropClause: 122.572 Set: 96.404 Check: 0.0 Back: 10.321
INFO - Atoms: 1201/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 440522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.088 Prop: 140.024 PropClause: 122.93 Set: 96.929 Check: 0.0 Back: 10.348
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 441963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.097 Prop: 140.429 PropClause: 123.295 Set: 97.444 Check: 0.0 Back: 10.381
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 443404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.099 Prop: 140.832 PropClause: 123.658 Set: 97.937 Check: 0.0 Back: 10.413
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 444843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.102 Prop: 141.221 PropClause: 124.007 Set: 98.452 Check: 0.0 Back: 10.446
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 446280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.105 Prop: 141.629 PropClause: 124.374 Set: 98.938 Check: 0.0 Back: 10.478
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 447721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.107 Prop: 142.033 PropClause: 124.737 Set: 99.434 Check: 0.0 Back: 10.511
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 449162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.11 Prop: 142.449 PropClause: 125.113 Set: 99.935 Check: 0.0 Back: 10.544
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 450601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.113 Prop: 142.848 PropClause: 125.472 Set: 100.422 Check: 0.0 Back: 10.576
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 452038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.116 Prop: 143.257 PropClause: 125.84 Set: 101.047 Check: 0.0 Back: 10.609
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 453479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.118 Prop: 143.666 PropClause: 126.209 Set: 101.541 Check: 0.0 Back: 10.641
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 454920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.122 Prop: 144.082 PropClause: 126.584 Set: 102.036 Check: 0.0 Back: 10.674
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 456359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.124 Prop: 144.488 PropClause: 126.95 Set: 102.537 Check: 0.0 Back: 10.707
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 457796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.126 Prop: 144.903 PropClause: 127.324 Set: 103.035 Check: 0.0 Back: 10.739
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 459237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.129 Prop: 145.312 PropClause: 127.692 Set: 103.526 Check: 0.0 Back: 10.772
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 460678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.133 Prop: 145.723 PropClause: 128.063 Set: 104.03 Check: 0.0 Back: 10.804
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 462117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.136 Prop: 146.132 PropClause: 128.432 Set: 104.52 Check: 0.0 Back: 10.837
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 463554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.139 Prop: 146.544 PropClause: 128.803 Set: 105.02 Check: 0.0 Back: 10.87
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 464995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.142 Prop: 146.949 PropClause: 129.168 Set: 105.524 Check: 0.0 Back: 10.903
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 466436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.146 Prop: 147.355 PropClause: 129.533 Set: 106.012 Check: 0.0 Back: 10.935
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 467875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.149 Prop: 147.763 PropClause: 129.902 Set: 106.503 Check: 0.0 Back: 10.967
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 469312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.152 Prop: 148.182 PropClause: 130.28 Set: 106.999 Check: 0.0 Back: 11.0
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 470753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.156 Prop: 148.583 PropClause: 130.641 Set: 107.484 Check: 0.0 Back: 11.034
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 472194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.161 Prop: 148.995 PropClause: 131.013 Set: 107.91 Check: 0.0 Back: 11.066
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 473633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.164 Prop: 149.401 PropClause: 131.378 Set: 108.135 Check: 0.0 Back: 11.101
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 475070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.167 Prop: 149.802 PropClause: 131.74 Set: 108.358 Check: 0.0 Back: 11.134
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 476511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.169 Prop: 150.205 PropClause: 132.103 Set: 108.602 Check: 0.0 Back: 11.167
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 477952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.172 Prop: 150.611 PropClause: 132.469 Set: 108.829 Check: 0.0 Back: 11.199
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 479391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.174 Prop: 151.019 PropClause: 132.836 Set: 109.049 Check: 0.0 Back: 11.232
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 480828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.177 Prop: 151.419 PropClause: 133.196 Set: 109.277 Check: 0.0 Back: 11.264
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 482269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.178 Prop: 151.823 PropClause: 133.56 Set: 109.497 Check: 0.0 Back: 11.306
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 483031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.183 Prop: 152.08 PropClause: 133.796 Set: 109.592 Check: 0.0 Back: 11.339
INFO - Atoms: 762/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 484472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.187 Prop: 152.416 PropClause: 134.091 Set: 109.826 Check: 0.0 Back: 11.356
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 485911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.235 Prop: 152.824 PropClause: 134.457 Set: 110.048 Check: 0.0 Back: 11.389
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 487348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.271 Prop: 153.215 PropClause: 134.806 Set: 110.273 Check: 0.0 Back: 11.422
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 488789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.284 Prop: 153.618 PropClause: 135.169 Set: 110.502 Check: 0.0 Back: 11.454
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 490230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.289 Prop: 154.019 PropClause: 135.529 Set: 110.724 Check: 0.0 Back: 11.487
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 491669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.293 Prop: 154.434 PropClause: 135.905 Set: 110.949 Check: 0.0 Back: 11.521
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 493106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.297 Prop: 154.832 PropClause: 136.262 Set: 111.168 Check: 0.0 Back: 11.554
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 494547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.3 Prop: 155.228 PropClause: 136.616 Set: 111.384 Check: 0.0 Back: 11.586
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 495988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.304 Prop: 155.628 PropClause: 136.976 Set: 111.606 Check: 0.0 Back: 11.618
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 497427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.307 Prop: 156.042 PropClause: 137.35 Set: 111.827 Check: 0.0 Back: 11.651
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 498864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.309 Prop: 156.443 PropClause: 137.711 Set: 112.053 Check: 0.0 Back: 11.686
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 500305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.311 Prop: 156.84 PropClause: 138.067 Set: 112.274 Check: 0.0 Back: 11.719
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 501746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.315 Prop: 157.25 PropClause: 138.436 Set: 112.501 Check: 0.0 Back: 11.752
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 503185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.318 Prop: 157.642 PropClause: 138.787 Set: 112.724 Check: 0.0 Back: 11.784
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 504622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.321 Prop: 158.046 PropClause: 139.148 Set: 112.946 Check: 0.0 Back: 11.817
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 506063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.323 Prop: 158.461 PropClause: 139.523 Set: 113.168 Check: 0.0 Back: 11.85
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 507504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.329 Prop: 158.874 PropClause: 139.896 Set: 113.395 Check: 0.0 Back: 11.882
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 508943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.331 Prop: 159.284 PropClause: 140.266 Set: 113.617 Check: 0.0 Back: 11.916
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 510380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.334 Prop: 159.678 PropClause: 140.619 Set: 113.835 Check: 0.0 Back: 11.949
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 511821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.336 Prop: 160.077 PropClause: 140.977 Set: 114.058 Check: 0.0 Back: 11.982
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 513262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.34 Prop: 160.486 PropClause: 141.345 Set: 114.279 Check: 0.0 Back: 12.015
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 514701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.341 Prop: 160.883 PropClause: 141.703 Set: 114.497 Check: 0.0 Back: 12.047
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 516138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.343 Prop: 161.282 PropClause: 142.062 Set: 114.718 Check: 0.0 Back: 12.08
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 517579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.346 Prop: 161.681 PropClause: 142.421 Set: 114.94 Check: 0.0 Back: 12.112
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 519020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.35 Prop: 162.094 PropClause: 142.795 Set: 115.163 Check: 0.0 Back: 12.145
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 520459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.353 Prop: 162.486 PropClause: 143.147 Set: 115.384 Check: 0.0 Back: 12.177
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 521896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.358 Prop: 162.883 PropClause: 143.504 Set: 115.604 Check: 0.0 Back: 12.21
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 523337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.362 Prop: 163.287 PropClause: 143.866 Set: 115.828 Check: 0.0 Back: 12.243
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 524778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.366 Prop: 163.697 PropClause: 144.235 Set: 116.051 Check: 0.0 Back: 12.275
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 526217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.369 Prop: 164.116 PropClause: 144.614 Set: 116.271 Check: 0.0 Back: 12.31
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 527654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.373 Prop: 164.521 PropClause: 144.978 Set: 116.494 Check: 0.0 Back: 12.342
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 529095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.377 Prop: 164.936 PropClause: 145.351 Set: 116.733 Check: 0.0 Back: 12.374
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 530536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.382 Prop: 165.348 PropClause: 145.723 Set: 116.963 Check: 0.0 Back: 12.407
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 531975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.384 Prop: 165.75 PropClause: 146.085 Set: 117.183 Check: 0.0 Back: 12.44
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 533412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.387 Prop: 166.137 PropClause: 146.432 Set: 117.401 Check: 0.0 Back: 12.473
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 534853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.39 Prop: 166.534 PropClause: 146.789 Set: 117.616 Check: 0.0 Back: 12.507
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 536294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.394 Prop: 166.922 PropClause: 147.137 Set: 117.841 Check: 0.0 Back: 12.54
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 537733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.398 Prop: 167.341 PropClause: 147.514 Set: 118.071 Check: 0.0 Back: 12.573
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 539170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.4 Prop: 167.741 PropClause: 147.873 Set: 118.29 Check: 0.0 Back: 12.605
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 540611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.404 Prop: 168.141 PropClause: 148.233 Set: 118.507 Check: 0.0 Back: 12.638
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 542052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.407 Prop: 168.543 PropClause: 148.595 Set: 118.726 Check: 0.0 Back: 12.671
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 543491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.41 Prop: 168.946 PropClause: 148.958 Set: 118.944 Check: 0.0 Back: 12.704
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 544928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.413 Prop: 169.355 PropClause: 149.326 Set: 119.204 Check: 0.0 Back: 12.737
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 546369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.415 Prop: 169.76 PropClause: 149.69 Set: 119.429 Check: 0.0 Back: 12.77
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 547810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.418 Prop: 170.161 PropClause: 150.05 Set: 119.654 Check: 0.0 Back: 12.812
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 549249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.421 Prop: 170.567 PropClause: 150.416 Set: 119.877 Check: 0.0 Back: 12.845
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 550686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.423 Prop: 170.97 PropClause: 150.779 Set: 120.092 Check: 0.0 Back: 12.877
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 552127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.425 Prop: 171.376 PropClause: 151.145 Set: 120.312 Check: 0.0 Back: 12.909
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 553568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.428 Prop: 171.773 PropClause: 151.501 Set: 120.531 Check: 0.0 Back: 12.942
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 555007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.431 Prop: 172.172 PropClause: 151.86 Set: 120.749 Check: 0.0 Back: 12.975
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 556444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.434 Prop: 172.576 PropClause: 152.224 Set: 120.984 Check: 0.0 Back: 13.007
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 557885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.437 Prop: 172.981 PropClause: 152.588 Set: 121.203 Check: 0.0 Back: 13.04
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 559326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.44 Prop: 173.377 PropClause: 152.945 Set: 121.424 Check: 0.0 Back: 13.073
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 560765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.442 Prop: 173.777 PropClause: 153.304 Set: 121.643 Check: 0.0 Back: 13.105
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 562202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.446 Prop: 174.179 PropClause: 153.666 Set: 121.864 Check: 0.0 Back: 13.138
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 563643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.448 Prop: 174.578 PropClause: 154.024 Set: 122.08 Check: 0.0 Back: 13.17
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 565084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.451 Prop: 174.983 PropClause: 154.389 Set: 122.303 Check: 0.0 Back: 13.203
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 566523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.453 Prop: 175.39 PropClause: 154.755 Set: 122.52 Check: 0.0 Back: 13.235
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 567960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.456 Prop: 175.799 PropClause: 155.123 Set: 122.743 Check: 0.0 Back: 13.268
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 569401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.458 Prop: 176.21 PropClause: 155.493 Set: 122.971 Check: 0.0 Back: 13.301
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 570842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.461 Prop: 176.608 PropClause: 155.851 Set: 123.189 Check: 0.0 Back: 13.333
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 572281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.462 Prop: 177.011 PropClause: 156.214 Set: 123.407 Check: 0.0 Back: 13.366
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 573718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.465 Prop: 177.407 PropClause: 156.57 Set: 123.634 Check: 0.0 Back: 13.398
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 575159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.467 Prop: 177.82 PropClause: 156.942 Set: 123.853 Check: 0.0 Back: 13.431
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 576600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.47 Prop: 178.22 PropClause: 157.301 Set: 124.076 Check: 0.0 Back: 13.464
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 578039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.473 Prop: 178.624 PropClause: 157.666 Set: 124.297 Check: 0.0 Back: 13.496
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 579476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.476 Prop: 179.029 PropClause: 158.031 Set: 124.518 Check: 0.0 Back: 13.529
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 580917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.478 Prop: 179.431 PropClause: 158.393 Set: 124.74 Check: 0.0 Back: 13.562
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 582358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.481 Prop: 179.837 PropClause: 158.758 Set: 124.965 Check: 0.0 Back: 13.595
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 583797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.484 Prop: 180.245 PropClause: 159.126 Set: 125.183 Check: 0.0 Back: 13.642
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 585234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.488 Prop: 180.656 PropClause: 159.496 Set: 125.417 Check: 0.0 Back: 13.675
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 586675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.491 Prop: 181.041 PropClause: 159.84 Set: 125.645 Check: 0.0 Back: 13.707
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 588116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.495 Prop: 181.445 PropClause: 160.204 Set: 125.867 Check: 0.0 Back: 13.74
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 589555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.498 Prop: 181.832 PropClause: 160.55 Set: 126.088 Check: 0.0 Back: 13.772
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 590992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.501 Prop: 182.227 PropClause: 160.904 Set: 126.313 Check: 0.0 Back: 13.805
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 592433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.504 Prop: 182.623 PropClause: 161.259 Set: 126.559 Check: 0.0 Back: 13.838
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 593874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.508 Prop: 183.028 PropClause: 161.625 Set: 126.782 Check: 0.0 Back: 13.87
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 595313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.511 Prop: 183.433 PropClause: 161.989 Set: 127.001 Check: 0.0 Back: 13.903
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 596750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.52 Prop: 183.834 PropClause: 162.35 Set: 127.22 Check: 0.0 Back: 13.935
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 598191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.523 Prop: 184.239 PropClause: 162.715 Set: 127.439 Check: 0.0 Back: 13.968
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 599632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.525 Prop: 184.641 PropClause: 163.077 Set: 127.659 Check: 0.0 Back: 14.001
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 601071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.527 Prop: 185.034 PropClause: 163.43 Set: 127.88 Check: 0.0 Back: 14.033
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 602508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.529 Prop: 185.434 PropClause: 163.79 Set: 128.101 Check: 0.0 Back: 14.066
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 603949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.534 Prop: 185.837 PropClause: 164.152 Set: 128.323 Check: 0.0 Back: 14.098
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 605390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.539 Prop: 186.238 PropClause: 164.514 Set: 128.547 Check: 0.0 Back: 14.133
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 606829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.542 Prop: 186.653 PropClause: 164.887 Set: 128.786 Check: 0.0 Back: 14.166
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 608266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.548 Prop: 187.054 PropClause: 165.248 Set: 129.004 Check: 0.0 Back: 14.198
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 609707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.551 Prop: 187.461 PropClause: 165.614 Set: 129.225 Check: 0.0 Back: 14.247
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 611148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.56 Prop: 187.881 PropClause: 165.992 Set: 129.449 Check: 0.0 Back: 14.279
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 612587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.564 Prop: 188.288 PropClause: 166.359 Set: 129.675 Check: 0.0 Back: 14.312
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 614024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.566 Prop: 188.686 PropClause: 166.716 Set: 129.898 Check: 0.0 Back: 14.362
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 615465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.568 Prop: 189.086 PropClause: 167.076 Set: 130.114 Check: 0.0 Back: 14.395
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 616906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.573 Prop: 189.51 PropClause: 167.459 Set: 130.354 Check: 0.0 Back: 14.428
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 618345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.577 Prop: 189.927 PropClause: 167.834 Set: 130.586 Check: 0.0 Back: 14.461
INFO - Atoms: 1439/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 619782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.581 Prop: 190.351 PropClause: 168.217 Set: 130.814 Check: 0.0 Back: 14.494
INFO - Atoms: 1437/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 621223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.584 Prop: 190.746 PropClause: 168.571 Set: 131.039 Check: 0.0 Back: 14.527
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 622227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.588 Prop: 191.063 PropClause: 168.861 Set: 131.184 Check: 0.0 Back: 14.559
INFO - Atoms: 1004/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 623634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.59 Prop: 191.422 PropClause: 169.18 Set: 131.412 Check: 0.0 Back: 14.583
INFO - Atoms: 1407/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 625048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.593 Prop: 191.834 PropClause: 169.552 Set: 131.638 Check: 0.0 Back: 14.616
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 626459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.594 Prop: 192.234 PropClause: 169.913 Set: 131.861 Check: 0.0 Back: 14.648
INFO - Atoms: 1411/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 627873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.598 Prop: 192.633 PropClause: 170.272 Set: 132.095 Check: 0.0 Back: 14.68
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 629284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.6 Prop: 193.026 PropClause: 170.624 Set: 132.331 Check: 0.0 Back: 14.712
INFO - Atoms: 1411/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 630697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.603 Prop: 193.416 PropClause: 170.974 Set: 132.547 Check: 0.0 Back: 14.747
INFO - Atoms: 1413/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 2699 Tprops: 1244 Decides: 5180 RSplits: 0
INFO - Times: Expl: 80.239 Prop: 1763.145 PropClause: 3.723 Set: 445.683 Check: 25.182 Back: 9.552
INFO - Atoms: 5/101 Clauses: 500 Axioms: 84
INFO - CCTimes: iE 19939 eq 3688053 cc 12145538 setRep 796059
INFO - Merges: 3076, cc:1374
INFO - BVTimes: BB 113342249 BB_DPLL 856737244 Graph 16391283
INFO - BitBlastingClauses: 53354 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 632095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.605 Prop: 193.812 PropClause: 171.33 Set: 132.762 Check: 0.0 Back: 14.779
INFO - Atoms: 1398/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 633496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.608 Prop: 194.19 PropClause: 171.668 Set: 132.98 Check: 0.0 Back: 14.811
INFO - Atoms: 1401/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 634906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.609 Prop: 194.587 PropClause: 172.025 Set: 133.205 Check: 0.0 Back: 14.842
INFO - Atoms: 1410/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 636307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.612 Prop: 194.997 PropClause: 172.396 Set: 133.418 Check: 0.0 Back: 14.875
INFO - Atoms: 1401/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 637718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.615 Prop: 195.381 PropClause: 172.739 Set: 133.639 Check: 0.0 Back: 14.907
INFO - Atoms: 1411/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 639132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.617 Prop: 195.779 PropClause: 173.096 Set: 133.859 Check: 0.0 Back: 14.94
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 640543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.619 Prop: 196.165 PropClause: 173.443 Set: 134.096 Check: 0.0 Back: 14.973
INFO - Atoms: 1411/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 641957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.621 Prop: 196.558 PropClause: 173.795 Set: 134.314 Check: 0.0 Back: 15.006
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 643363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.623 Prop: 196.952 PropClause: 174.149 Set: 134.533 Check: 0.0 Back: 15.038
INFO - Atoms: 1406/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 644772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.625 Prop: 197.348 PropClause: 174.504 Set: 134.753 Check: 0.0 Back: 15.07
INFO - Atoms: 1409/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 646147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.63 Prop: 197.737 PropClause: 174.855 Set: 134.972 Check: 0.0 Back: 15.103
INFO - Atoms: 1375/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 647264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.632 Prop: 198.066 PropClause: 175.153 Set: 135.134 Check: 0.0 Back: 15.134
INFO - Atoms: 1117/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 648654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.634 Prop: 198.428 PropClause: 175.476 Set: 135.356 Check: 0.0 Back: 15.159
INFO - Atoms: 1390/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 649774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.639 Prop: 198.767 PropClause: 175.783 Set: 135.62 Check: 0.0 Back: 15.191
INFO - Atoms: 1120/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 650951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.642 Prop: 199.095 PropClause: 176.078 Set: 135.888 Check: 0.0 Back: 15.216
INFO - Atoms: 1177/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 652318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.646 Prop: 199.454 PropClause: 176.399 Set: 136.102 Check: 0.0 Back: 15.243
INFO - Atoms: 1367/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 653433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.649 Prop: 199.782 PropClause: 176.697 Set: 136.274 Check: 0.0 Back: 15.274
INFO - Atoms: 1115/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 654072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.651 Prop: 199.973 PropClause: 176.87 Set: 136.408 Check: 0.0 Back: 15.299
INFO - Atoms: 639/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 655378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.653 Prop: 200.276 PropClause: 177.136 Set: 136.709 Check: 0.0 Back: 15.315
INFO - Atoms: 1306/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 656363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.656 Prop: 200.582 PropClause: 177.415 Set: 136.92 Check: 0.0 Back: 15.344
INFO - Atoms: 985/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 657678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.66 Prop: 200.948 PropClause: 177.742 Set: 137.253 Check: 0.0 Back: 15.366
INFO - Atoms: 1315/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 658829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.662 Prop: 201.293 PropClause: 178.054 Set: 137.509 Check: 0.0 Back: 15.396
INFO - Atoms: 1151/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 660163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.665 Prop: 201.663 PropClause: 178.387 Set: 137.809 Check: 0.0 Back: 15.422
INFO - Atoms: 1334/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 661551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.669 Prop: 202.067 PropClause: 178.753 Set: 138.124 Check: 0.0 Back: 15.452
INFO - Atoms: 1388/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 662948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.671 Prop: 202.475 PropClause: 179.122 Set: 138.443 Check: 0.0 Back: 15.484
INFO - Atoms: 1397/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 664341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.676 Prop: 202.876 PropClause: 179.483 Set: 138.757 Check: 0.0 Back: 15.517
INFO - Atoms: 1393/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 665726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.679 Prop: 203.28 PropClause: 179.849 Set: 139.089 Check: 0.0 Back: 15.549
INFO - Atoms: 1385/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 667100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.682 Prop: 203.691 PropClause: 180.221 Set: 139.406 Check: 0.0 Back: 15.58
INFO - Atoms: 1374/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 668243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.685 Prop: 204.029 PropClause: 180.527 Set: 139.672 Check: 0.0 Back: 15.612
INFO - Atoms: 1143/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 669570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.687 Prop: 204.386 PropClause: 180.846 Set: 139.981 Check: 0.0 Back: 15.638
INFO - Atoms: 1327/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 670939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.691 Prop: 204.785 PropClause: 181.208 Set: 140.3 Check: 0.0 Back: 15.668
INFO - Atoms: 1369/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 671999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.695 Prop: 205.114 PropClause: 181.508 Set: 140.516 Check: 0.0 Back: 15.699
INFO - Atoms: 1060/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 673389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.699 Prop: 205.48 PropClause: 181.835 Set: 140.838 Check: 0.0 Back: 15.723
INFO - Atoms: 1390/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 674789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.703 Prop: 205.865 PropClause: 182.179 Set: 141.162 Check: 0.0 Back: 15.755
INFO - Atoms: 1400/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 676196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.708 Prop: 206.28 PropClause: 182.554 Set: 141.491 Check: 0.0 Back: 15.787
INFO - Atoms: 1407/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 677636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.71 Prop: 206.69 PropClause: 182.925 Set: 141.818 Check: 0.0 Back: 15.82
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 679077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.715 Prop: 207.108 PropClause: 183.301 Set: 142.149 Check: 0.0 Back: 15.852
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 680517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.72 Prop: 207.525 PropClause: 183.678 Set: 142.482 Check: 0.0 Back: 15.898
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 681924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.725 Prop: 207.929 PropClause: 184.043 Set: 142.816 Check: 0.0 Back: 15.93
INFO - Atoms: 1407/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 683365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.728 Prop: 208.33 PropClause: 184.403 Set: 143.151 Check: 0.0 Back: 15.962
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 684805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.735 Prop: 208.762 PropClause: 184.795 Set: 143.474 Check: 0.0 Back: 15.996
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 686152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.739 Prop: 209.162 PropClause: 185.157 Set: 143.783 Check: 0.0 Back: 16.028
INFO - Atoms: 1347/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 687593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.742 Prop: 209.559 PropClause: 185.514 Set: 144.112 Check: 0.0 Back: 16.058
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 688751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.757 Prop: 209.917 PropClause: 185.84 Set: 144.376 Check: 0.0 Back: 16.092
INFO - Atoms: 1158/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 689895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.759 Prop: 210.227 PropClause: 186.117 Set: 144.632 Check: 0.0 Back: 16.118
INFO - Atoms: 1144/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 691292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.761 Prop: 210.595 PropClause: 186.446 Set: 144.952 Check: 0.0 Back: 16.144
INFO - Atoms: 1397/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 692733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.763 Prop: 211.017 PropClause: 186.828 Set: 145.281 Check: 0.0 Back: 16.175
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 694174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.767 Prop: 211.439 PropClause: 187.21 Set: 145.618 Check: 0.0 Back: 16.208
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 695567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.771 Prop: 211.842 PropClause: 187.574 Set: 145.931 Check: 0.0 Back: 16.24
INFO - Atoms: 1393/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 696924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.773 Prop: 212.25 PropClause: 187.944 Set: 146.262 Check: 0.0 Back: 16.272
INFO - Atoms: 1357/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 698365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.775 Prop: 212.655 PropClause: 188.309 Set: 146.589 Check: 0.0 Back: 16.303
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 699806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.782 Prop: 213.09 PropClause: 188.704 Set: 146.922 Check: 0.0 Back: 16.335
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 701165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.786 Prop: 213.483 PropClause: 189.059 Set: 147.227 Check: 0.0 Back: 16.368
INFO - Atoms: 1359/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 702606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.79 Prop: 213.886 PropClause: 189.421 Set: 147.57 Check: 0.0 Back: 16.399
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 703983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.792 Prop: 214.297 PropClause: 189.793 Set: 147.862 Check: 0.0 Back: 16.432
INFO - Atoms: 1377/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 705424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.797 Prop: 214.713 PropClause: 190.169 Set: 148.18 Check: 0.0 Back: 16.463
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 706864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.8 Prop: 215.133 PropClause: 190.549 Set: 148.518 Check: 0.0 Back: 16.496
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 708269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.803 Prop: 215.536 PropClause: 190.914 Set: 148.837 Check: 0.0 Back: 16.529
INFO - Atoms: 1405/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 709710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.805 Prop: 215.957 PropClause: 191.295 Set: 149.161 Check: 0.0 Back: 16.561
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 711151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.809 Prop: 216.386 PropClause: 191.683 Set: 149.481 Check: 0.0 Back: 16.594
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 712564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.812 Prop: 216.786 PropClause: 192.044 Set: 149.803 Check: 0.0 Back: 16.626
INFO - Atoms: 1413/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 714005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.817 Prop: 217.211 PropClause: 192.428 Set: 150.163 Check: 0.0 Back: 16.659
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 715228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.822 Prop: 217.584 PropClause: 192.767 Set: 150.441 Check: 0.0 Back: 16.691
INFO - Atoms: 1223/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 716669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.827 Prop: 217.994 PropClause: 193.136 Set: 150.815 Check: 0.0 Back: 16.719
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 718110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.831 Prop: 218.416 PropClause: 193.518 Set: 151.153 Check: 0.0 Back: 16.752
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 719551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.835 Prop: 218.838 PropClause: 193.899 Set: 151.505 Check: 0.0 Back: 16.784
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 720992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.84 Prop: 219.243 PropClause: 194.264 Set: 151.836 Check: 0.0 Back: 16.817
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 722433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.843 Prop: 219.662 PropClause: 194.643 Set: 152.16 Check: 0.0 Back: 16.85
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 723874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.847 Prop: 220.08 PropClause: 195.021 Set: 152.485 Check: 0.0 Back: 16.883
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 725315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.852 Prop: 220.494 PropClause: 195.395 Set: 152.819 Check: 0.0 Back: 16.916
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 726652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.856 Prop: 220.899 PropClause: 195.763 Set: 153.123 Check: 0.0 Back: 16.948
INFO - Atoms: 1337/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 728093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.86 Prop: 221.313 PropClause: 196.135 Set: 153.465 Check: 0.0 Back: 16.979
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 729527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.865 Prop: 221.716 PropClause: 196.499 Set: 153.799 Check: 0.0 Back: 17.012
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 730956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.871 Prop: 222.127 PropClause: 196.869 Set: 154.131 Check: 0.0 Back: 17.044
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 732396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.878 Prop: 222.542 PropClause: 197.244 Set: 154.466 Check: 0.0 Back: 17.077
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 733837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.883 Prop: 222.962 PropClause: 197.624 Set: 154.796 Check: 0.0 Back: 17.109
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 735271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.888 Prop: 223.377 PropClause: 197.999 Set: 155.13 Check: 0.0 Back: 17.142
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 736700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.894 Prop: 223.796 PropClause: 198.378 Set: 155.465 Check: 0.0 Back: 17.175
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 738140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.896 Prop: 224.212 PropClause: 198.754 Set: 155.817 Check: 0.0 Back: 17.207
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 739013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.901 Prop: 224.496 PropClause: 199.013 Set: 156.003 Check: 0.0 Back: 17.253
INFO - Atoms: 873/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 740454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.904 Prop: 224.865 PropClause: 199.342 Set: 156.333 Check: 0.0 Back: 17.273
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 741888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.908 Prop: 225.283 PropClause: 199.719 Set: 156.666 Check: 0.0 Back: 17.306
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 743317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.914 Prop: 225.716 PropClause: 200.112 Set: 156.986 Check: 0.0 Back: 17.342
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 744757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.916 Prop: 226.124 PropClause: 200.48 Set: 157.315 Check: 0.0 Back: 17.374
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 746198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.92 Prop: 226.545 PropClause: 200.86 Set: 157.644 Check: 0.0 Back: 17.407
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 747632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.922 Prop: 226.955 PropClause: 201.23 Set: 157.972 Check: 0.0 Back: 17.439
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 749059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.926 Prop: 227.382 PropClause: 201.617 Set: 158.296 Check: 0.0 Back: 17.472
INFO - Atoms: 1427/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 750499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.928 Prop: 227.799 PropClause: 201.993 Set: 158.641 Check: 0.0 Back: 17.504
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 751940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.931 Prop: 228.215 PropClause: 202.368 Set: 158.973 Check: 0.0 Back: 17.537
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 753374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.934 Prop: 228.623 PropClause: 202.737 Set: 159.318 Check: 0.0 Back: 17.571
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 754803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.939 Prop: 229.06 PropClause: 203.134 Set: 159.634 Check: 0.0 Back: 17.604
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 756243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.941 Prop: 229.475 PropClause: 203.509 Set: 159.958 Check: 0.0 Back: 17.636
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 757684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.947 Prop: 229.886 PropClause: 203.88 Set: 160.293 Check: 0.0 Back: 17.67
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 759118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.951 Prop: 230.294 PropClause: 204.248 Set: 160.636 Check: 0.0 Back: 17.718
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 760547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.956 Prop: 230.717 PropClause: 204.632 Set: 160.965 Check: 0.0 Back: 17.751
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 761987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.96 Prop: 231.153 PropClause: 205.027 Set: 161.306 Check: 0.0 Back: 17.784
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 763428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.967 Prop: 231.588 PropClause: 205.42 Set: 161.665 Check: 0.0 Back: 17.817
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 764860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.971 Prop: 231.994 PropClause: 205.787 Set: 161.988 Check: 0.0 Back: 17.85
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 766289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.976 Prop: 232.419 PropClause: 206.171 Set: 162.336 Check: 0.0 Back: 17.883
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 767729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.979 Prop: 232.832 PropClause: 206.543 Set: 162.654 Check: 0.0 Back: 17.915
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 769170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.983 Prop: 233.26 PropClause: 206.931 Set: 162.988 Check: 0.0 Back: 17.948
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 770602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.986 Prop: 233.666 PropClause: 207.298 Set: 163.338 Check: 0.0 Back: 17.981
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 772031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.991 Prop: 234.066 PropClause: 207.658 Set: 163.666 Check: 0.0 Back: 18.013
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 773471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.994 Prop: 234.472 PropClause: 208.023 Set: 163.998 Check: 0.0 Back: 18.046
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 774912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.998 Prop: 234.903 PropClause: 208.414 Set: 164.32 Check: 0.0 Back: 18.079
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 776344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.001 Prop: 235.339 PropClause: 208.811 Set: 164.64 Check: 0.0 Back: 18.111
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 777773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.005 Prop: 235.747 PropClause: 209.18 Set: 164.97 Check: 0.0 Back: 18.144
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 579 Props: 779213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.008 Prop: 236.146 PropClause: 209.538 Set: 165.313 Check: 0.0 Back: 18.176
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 780654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.013 Prop: 236.562 PropClause: 209.915 Set: 165.641 Check: 0.0 Back: 18.208
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 782086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.017 Prop: 236.965 PropClause: 210.277 Set: 165.985 Check: 0.0 Back: 18.241
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 783515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.021 Prop: 237.388 PropClause: 210.66 Set: 166.311 Check: 0.0 Back: 18.275
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 583 Props: 784955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.025 Prop: 237.791 PropClause: 211.023 Set: 166.639 Check: 0.0 Back: 18.307
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 786396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.029 Prop: 238.201 PropClause: 211.393 Set: 166.97 Check: 0.0 Back: 18.34
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 787828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.032 Prop: 238.618 PropClause: 211.77 Set: 167.298 Check: 0.0 Back: 18.373
INFO - Atoms: 1432/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 789257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.036 Prop: 239.041 PropClause: 212.153 Set: 167.621 Check: 0.0 Back: 18.405
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 587 Props: 790697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.038 Prop: 239.448 PropClause: 212.52 Set: 167.962 Check: 0.0 Back: 18.437
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 792138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.042 Prop: 239.87 PropClause: 212.901 Set: 168.297 Check: 0.0 Back: 18.469
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 793572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.045 Prop: 240.278 PropClause: 213.269 Set: 168.637 Check: 0.0 Back: 18.501
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 795001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.048 Prop: 240.68 PropClause: 213.631 Set: 168.961 Check: 0.0 Back: 18.534
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 591 Props: 796441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.051 Prop: 241.1 PropClause: 214.011 Set: 169.297 Check: 0.0 Back: 18.566
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 797882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.095 Prop: 241.533 PropClause: 214.403 Set: 169.636 Check: 0.0 Back: 18.599
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 799316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.103 Prop: 241.97 PropClause: 214.8 Set: 169.971 Check: 0.0 Back: 18.632
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 800745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.105 Prop: 242.397 PropClause: 215.187 Set: 170.297 Check: 0.0 Back: 18.665
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 802185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.106 Prop: 242.808 PropClause: 215.559 Set: 170.632 Check: 0.0 Back: 18.697
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 803626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.119 Prop: 243.224 PropClause: 215.935 Set: 170.962 Check: 0.0 Back: 18.731
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 597 Props: 805060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.121 Prop: 243.631 PropClause: 216.303 Set: 171.309 Check: 0.0 Back: 18.763
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 806489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.124 Prop: 244.076 PropClause: 216.707 Set: 173.735 Check: 0.0 Back: 18.796
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 807929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.126 Prop: 244.475 PropClause: 217.064 Set: 173.973 Check: 0.0 Back: 18.828
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 809370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.127 Prop: 244.881 PropClause: 217.43 Set: 174.197 Check: 0.0 Back: 18.861
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 601 Props: 810804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.128 Prop: 245.283 PropClause: 217.791 Set: 174.42 Check: 0.0 Back: 18.894
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 812233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.129 Prop: 245.685 PropClause: 218.153 Set: 174.643 Check: 0.0 Back: 18.926
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 813673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.13 Prop: 246.083 PropClause: 218.51 Set: 174.87 Check: 0.0 Back: 18.958
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 815114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.131 Prop: 246.49 PropClause: 218.875 Set: 175.096 Check: 0.0 Back: 18.991
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 816548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.132 Prop: 246.887 PropClause: 219.233 Set: 175.319 Check: 0.0 Back: 19.025
INFO - Atoms: 1434/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 817977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.133 Prop: 247.288 PropClause: 219.593 Set: 175.555 Check: 0.0 Back: 19.058
INFO - Atoms: 1429/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 819417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.135 Prop: 247.692 PropClause: 219.957 Set: 175.78 Check: 0.0 Back: 19.09
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 608 Props: 820858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.136 Prop: 248.107 PropClause: 220.331 Set: 176.011 Check: 0.0 Back: 19.125
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 609 Props: 822298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.137 Prop: 248.535 PropClause: 220.719 Set: 176.241 Check: 0.0 Back: 19.158
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 610 Props: 823739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.139 Prop: 248.961 PropClause: 221.104 Set: 176.471 Check: 0.0 Back: 19.19
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 611 Props: 825179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.14 Prop: 249.369 PropClause: 221.473 Set: 176.697 Check: 0.0 Back: 19.223
INFO - Atoms: 1440/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 612 Props: 826593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.141 Prop: 249.771 PropClause: 221.834 Set: 176.922 Check: 0.0 Back: 19.256
INFO - Atoms: 1414/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 613 Props: 828034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.142 Prop: 250.175 PropClause: 222.198 Set: 177.161 Check: 0.0 Back: 19.288
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 614 Props: 829475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.144 Prop: 250.58 PropClause: 222.563 Set: 177.386 Check: 0.0 Back: 19.322
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 615 Props: 830916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.145 Prop: 250.99 PropClause: 222.934 Set: 177.618 Check: 0.0 Back: 19.357
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 616 Props: 832357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.147 Prop: 251.397 PropClause: 223.301 Set: 177.851 Check: 0.0 Back: 19.39
INFO - Atoms: 1441/1443 Clauses: 101 Axioms: 6254
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 663 Props: 4132 Tprops: 1974 Decides: 6034 RSplits: 0
INFO - Times: Expl: 91.799 Prop: 2104.673 PropClause: 5.151 Set: 530.708 Check: 27.988 Back: 10.816
INFO - Atoms: 40/101 Clauses: 663 Axioms: 84
INFO - CCTimes: iE 28025 eq 4297179 cc 13174828 setRep 1046635
INFO - Merges: 4454, cc:2164
INFO - BVTimes: BB 113342249 BB_DPLL 1072135152 Graph 18689333
INFO - BitBlastingClauses: 67854 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat