/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bmc-bv-svcomp14/num_conversion_2_true.c.17.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 8677461
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.469 Prop: 4.028 PropClause: 2.379 Set: 4.085 Check: 0.0 Back: 0.0
INFO - Atoms: 313/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.484 Prop: 4.152 PropClause: 2.455 Set: 5.285 Check: 0.0 Back: 0.015
INFO - Atoms: 258/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.497 Prop: 4.27 PropClause: 2.523 Set: 5.425 Check: 0.0 Back: 0.021
INFO - Atoms: 312/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 1224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.514 Prop: 4.401 PropClause: 2.602 Set: 5.585 Check: 0.0 Back: 0.028
INFO - Atoms: 341/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 1586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.564 Prop: 4.624 PropClause: 2.745 Set: 5.745 Check: 0.0 Back: 0.036
INFO - Atoms: 362/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.591 Prop: 4.807 PropClause: 2.849 Set: 5.917 Check: 0.0 Back: 0.044
INFO - Atoms: 398/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 2371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.602 Prop: 4.972 PropClause: 2.951 Set: 6.085 Check: 0.0 Back: 0.053
INFO - Atoms: 387/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 2788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.62 Prop: 5.151 PropClause: 3.066 Set: 6.269 Check: 0.0 Back: 0.062
INFO - Atoms: 417/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 3213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.629 Prop: 5.352 PropClause: 3.2 Set: 6.449 Check: 0.0 Back: 0.072
INFO - Atoms: 425/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 3642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.638 Prop: 5.533 PropClause: 3.315 Set: 6.64 Check: 0.0 Back: 0.082
INFO - Atoms: 429/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 4065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.676 Prop: 5.757 PropClause: 3.458 Set: 6.824 Check: 0.0 Back: 0.091
INFO - Atoms: 423/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 4498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.686 Prop: 5.949 PropClause: 3.583 Set: 7.014 Check: 0.0 Back: 0.101
INFO - Atoms: 433/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 4934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.696 Prop: 6.135 PropClause: 3.698 Set: 7.211 Check: 0.0 Back: 0.111
INFO - Atoms: 436/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 5369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.705 Prop: 6.334 PropClause: 3.829 Set: 7.386 Check: 0.0 Back: 0.121
INFO - Atoms: 435/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 5807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.717 Prop: 6.514 PropClause: 3.942 Set: 7.575 Check: 0.0 Back: 0.131
INFO - Atoms: 438/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 6228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.727 Prop: 6.841 PropClause: 4.202 Set: 7.778 Check: 0.0 Back: 0.141
INFO - Atoms: 421/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 6663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.737 Prop: 7.017 PropClause: 4.312 Set: 7.971 Check: 0.0 Back: 0.15
INFO - Atoms: 435/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 7094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.746 Prop: 7.198 PropClause: 4.426 Set: 8.179 Check: 0.0 Back: 0.16
INFO - Atoms: 431/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 7529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.757 Prop: 7.378 PropClause: 4.538 Set: 8.353 Check: 0.0 Back: 0.17
INFO - Atoms: 435/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 7967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.766 Prop: 7.561 PropClause: 4.653 Set: 8.536 Check: 0.0 Back: 0.18
INFO - Atoms: 438/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 8403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.775 Prop: 7.755 PropClause: 4.777 Set: 8.718 Check: 0.0 Back: 0.19
INFO - Atoms: 436/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 8843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.788 Prop: 7.987 PropClause: 4.939 Set: 9.007 Check: 0.0 Back: 0.2
INFO - Atoms: 440/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 9281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.801 Prop: 8.587 PropClause: 5.074 Set: 9.231 Check: 0.0 Back: 0.21
INFO - Atoms: 438/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 9722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.811 Prop: 8.801 PropClause: 5.215 Set: 9.478 Check: 0.0 Back: 0.22
INFO - Atoms: 441/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 10158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.821 Prop: 8.949 PropClause: 5.35 Set: 9.696 Check: 0.0 Back: 0.23
INFO - Atoms: 436/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 10599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.831 Prop: 9.1 PropClause: 5.487 Set: 9.922 Check: 0.0 Back: 0.24
INFO - Atoms: 441/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 11037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.839 Prop: 9.247 PropClause: 5.621 Set: 10.161 Check: 0.0 Back: 0.25
INFO - Atoms: 438/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 11475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.848 Prop: 9.399 PropClause: 5.76 Set: 10.383 Check: 0.0 Back: 0.26
INFO - Atoms: 438/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 11915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.86 Prop: 9.548 PropClause: 5.895 Set: 10.604 Check: 0.0 Back: 0.27
INFO - Atoms: 440/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 12356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.869 Prop: 9.703 PropClause: 6.036 Set: 10.828 Check: 0.0 Back: 0.28
INFO - Atoms: 441/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 12794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.884 Prop: 9.863 PropClause: 6.175 Set: 11.061 Check: 0.0 Back: 0.29
INFO - Atoms: 438/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 13230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.896 Prop: 10.026 PropClause: 6.325 Set: 11.272 Check: 0.0 Back: 0.3
INFO - Atoms: 436/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 13666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.908 Prop: 10.173 PropClause: 6.457 Set: 11.505 Check: 0.0 Back: 0.31
INFO - Atoms: 436/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 14104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.916 Prop: 10.324 PropClause: 6.594 Set: 11.738 Check: 0.0 Back: 0.32
INFO - Atoms: 438/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 14543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.926 Prop: 10.474 PropClause: 6.732 Set: 11.939 Check: 0.0 Back: 0.33
INFO - Atoms: 439/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 14977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.935 Prop: 10.622 PropClause: 6.867 Set: 12.201 Check: 0.0 Back: 0.34
INFO - Atoms: 434/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 15408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.943 Prop: 10.764 PropClause: 6.995 Set: 12.418 Check: 0.0 Back: 0.35
INFO - Atoms: 431/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 15838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.952 Prop: 10.908 PropClause: 7.126 Set: 12.641 Check: 0.0 Back: 0.359
INFO - Atoms: 430/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 16270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.96 Prop: 11.054 PropClause: 7.259 Set: 12.873 Check: 0.0 Back: 0.369
INFO - Atoms: 432/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 16702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.968 Prop: 11.199 PropClause: 7.39 Set: 13.1 Check: 0.0 Back: 0.38
INFO - Atoms: 432/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 17137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.977 Prop: 11.342 PropClause: 7.52 Set: 13.321 Check: 0.0 Back: 0.389
INFO - Atoms: 435/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 17574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.987 Prop: 11.496 PropClause: 7.66 Set: 14.513 Check: 0.0 Back: 0.399
INFO - Atoms: 437/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 18009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.999 Prop: 11.702 PropClause: 7.793 Set: 14.789 Check: 0.0 Back: 0.409
INFO - Atoms: 435/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 18453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.007 Prop: 11.851 PropClause: 7.928 Set: 15.039 Check: 0.0 Back: 0.419
INFO - Atoms: 444/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 18898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.021 Prop: 12.003 PropClause: 8.066 Set: 15.286 Check: 0.0 Back: 0.429
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 19343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.033 Prop: 12.153 PropClause: 8.203 Set: 15.556 Check: 0.0 Back: 0.439
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 19679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.041 Prop: 12.281 PropClause: 8.32 Set: 15.727 Check: 0.0 Back: 0.45
INFO - Atoms: 336/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 20124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.053 Prop: 12.417 PropClause: 8.442 Set: 15.98 Check: 0.0 Back: 0.457
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 20565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.063 Prop: 12.571 PropClause: 8.582 Set: 16.214 Check: 0.0 Back: 0.467
INFO - Atoms: 441/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 21010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.074 Prop: 12.721 PropClause: 8.72 Set: 16.458 Check: 0.0 Back: 0.477
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 21287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.082 Prop: 12.815 PropClause: 8.805 Set: 16.6 Check: 0.0 Back: 0.493
INFO - Atoms: 277/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 21732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.093 Prop: 12.952 PropClause: 8.927 Set: 16.843 Check: 0.0 Back: 0.499
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 22173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.102 Prop: 13.103 PropClause: 9.065 Set: 17.084 Check: 0.0 Back: 0.509
INFO - Atoms: 441/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 22618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.122 Prop: 13.295 PropClause: 9.209 Set: 17.351 Check: 0.0 Back: 0.519
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 22949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.129 Prop: 13.412 PropClause: 9.316 Set: 17.502 Check: 0.0 Back: 0.53
INFO - Atoms: 331/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 23394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.209 Prop: 13.545 PropClause: 9.436 Set: 17.721 Check: 0.0 Back: 0.538
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 23836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.212 Prop: 13.695 PropClause: 9.572 Set: 17.936 Check: 0.0 Back: 0.549
INFO - Atoms: 442/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 24281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.216 Prop: 13.842 PropClause: 9.705 Set: 18.154 Check: 0.0 Back: 0.559
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 24645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.219 Prop: 14.996 PropClause: 9.806 Set: 18.325 Check: 0.0 Back: 0.569
INFO - Atoms: 364/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 25013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.222 Prop: 15.105 PropClause: 9.897 Set: 18.52 Check: 0.0 Back: 0.577
INFO - Atoms: 368/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 25393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.225 Prop: 15.21 PropClause: 9.985 Set: 18.705 Check: 0.0 Back: 0.585
INFO - Atoms: 380/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 25770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.23 Prop: 15.309 PropClause: 10.07 Set: 18.876 Check: 0.0 Back: 0.594
INFO - Atoms: 377/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 26215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.235 Prop: 15.429 PropClause: 10.176 Set: 19.081 Check: 0.0 Back: 0.602
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 26659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.239 Prop: 15.554 PropClause: 10.287 Set: 19.296 Check: 0.0 Back: 0.612
INFO - Atoms: 444/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 27104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.244 Prop: 15.68 PropClause: 10.399 Set: 19.501 Check: 0.0 Back: 0.623
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 27549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.248 Prop: 15.806 PropClause: 10.509 Set: 19.72 Check: 0.0 Back: 0.633
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 27990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.25 Prop: 15.926 PropClause: 10.616 Set: 19.939 Check: 0.0 Back: 0.643
INFO - Atoms: 441/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 28435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.256 Prop: 16.052 PropClause: 10.728 Set: 20.101 Check: 0.0 Back: 0.653
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 28880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.261 Prop: 16.18 PropClause: 10.84 Set: 20.246 Check: 0.0 Back: 0.663
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 29324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.263 Prop: 16.303 PropClause: 10.949 Set: 20.379 Check: 0.0 Back: 0.674
INFO - Atoms: 444/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 29769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.268 Prop: 16.43 PropClause: 11.06 Set: 20.522 Check: 0.0 Back: 0.684
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 30214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.272 Prop: 16.555 PropClause: 11.171 Set: 20.666 Check: 0.0 Back: 0.694
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 30651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.282 Prop: 16.681 PropClause: 11.282 Set: 22.761 Check: 0.0 Back: 0.704
INFO - Atoms: 437/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 31096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.287 Prop: 16.801 PropClause: 11.386 Set: 22.845 Check: 0.0 Back: 0.714
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 31486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.496 Prop: 16.906 PropClause: 11.476 Set: 22.971 Check: 0.0 Back: 0.724
INFO - Atoms: 390/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 31888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.499 Prop: 17.008 PropClause: 11.565 Set: 23.042 Check: 0.0 Back: 0.733
INFO - Atoms: 402/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 32297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.502 Prop: 17.112 PropClause: 11.655 Set: 23.116 Check: 0.0 Back: 0.742
INFO - Atoms: 409/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 32701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.505 Prop: 17.214 PropClause: 11.743 Set: 23.185 Check: 0.0 Back: 0.751
INFO - Atoms: 404/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 33106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.507 Prop: 17.317 PropClause: 11.832 Set: 23.252 Check: 0.0 Back: 0.761
INFO - Atoms: 405/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 33520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.509 Prop: 17.424 PropClause: 11.925 Set: 23.332 Check: 0.0 Back: 0.77
INFO - Atoms: 414/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 33922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.512 Prop: 17.524 PropClause: 12.01 Set: 23.402 Check: 0.0 Back: 0.779
INFO - Atoms: 402/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 34318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.514 Prop: 17.626 PropClause: 12.098 Set: 23.475 Check: 0.0 Back: 0.788
INFO - Atoms: 396/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 34763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.517 Prop: 17.738 PropClause: 12.196 Set: 23.566 Check: 0.0 Back: 0.797
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 35207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.52 Prop: 17.853 PropClause: 12.295 Set: 23.641 Check: 0.0 Back: 0.807
INFO - Atoms: 444/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 35652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.523 Prop: 17.97 PropClause: 12.395 Set: 23.724 Check: 0.0 Back: 0.817
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 36097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.527 Prop: 18.089 PropClause: 12.499 Set: 23.805 Check: 0.0 Back: 0.828
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 36540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.529 Prop: 18.202 PropClause: 12.598 Set: 23.887 Check: 0.0 Back: 0.837
INFO - Atoms: 443/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 36985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.532 Prop: 18.317 PropClause: 12.697 Set: 23.97 Check: 0.0 Back: 0.847
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 37430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.535 Prop: 18.432 PropClause: 12.797 Set: 24.053 Check: 0.0 Back: 0.858
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 37874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.538 Prop: 18.55 PropClause: 12.9 Set: 24.131 Check: 0.0 Back: 0.868
INFO - Atoms: 444/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 38319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.541 Prop: 18.666 PropClause: 13.002 Set: 24.22 Check: 0.0 Back: 0.878
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 38764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.544 Prop: 18.78 PropClause: 13.1 Set: 24.31 Check: 0.0 Back: 0.888
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 39207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.546 Prop: 18.894 PropClause: 13.199 Set: 24.393 Check: 0.0 Back: 0.898
INFO - Atoms: 443/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 39652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.55 Prop: 19.012 PropClause: 13.299 Set: 24.481 Check: 0.0 Back: 0.908
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 40097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.552 Prop: 19.13 PropClause: 13.401 Set: 24.561 Check: 0.0 Back: 0.918
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 40542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.555 Prop: 19.25 PropClause: 13.505 Set: 24.65 Check: 0.0 Back: 0.929
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 40984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.558 Prop: 19.364 PropClause: 13.604 Set: 24.734 Check: 0.0 Back: 0.939
INFO - Atoms: 442/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 41429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.561 Prop: 19.481 PropClause: 13.706 Set: 24.823 Check: 0.0 Back: 0.949
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 41874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.563 Prop: 19.597 PropClause: 13.807 Set: 24.908 Check: 0.0 Back: 0.959
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 42319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.566 Prop: 19.713 PropClause: 13.907 Set: 25.001 Check: 0.0 Back: 0.969
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 42764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.57 Prop: 19.829 PropClause: 14.009 Set: 25.085 Check: 0.0 Back: 0.979
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 43209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.572 Prop: 19.945 PropClause: 14.109 Set: 25.169 Check: 0.0 Back: 0.989
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 43654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.576 Prop: 20.064 PropClause: 14.212 Set: 25.257 Check: 0.0 Back: 0.999
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 44099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.581 Prop: 20.183 PropClause: 14.315 Set: 25.36 Check: 0.0 Back: 1.01
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 44544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.584 Prop: 20.302 PropClause: 14.42 Set: 25.448 Check: 0.0 Back: 1.019
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 44989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.587 Prop: 20.419 PropClause: 14.521 Set: 25.531 Check: 0.0 Back: 1.03
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 45434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.591 Prop: 20.538 PropClause: 14.624 Set: 25.623 Check: 0.0 Back: 1.04
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 45794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.593 Prop: 20.634 PropClause: 14.708 Set: 25.685 Check: 0.0 Back: 1.05
INFO - Atoms: 360/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 46239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.596 Prop: 20.741 PropClause: 14.8 Set: 25.774 Check: 0.0 Back: 1.058
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 46636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.599 Prop: 20.845 PropClause: 14.89 Set: 25.85 Check: 0.0 Back: 1.068
INFO - Atoms: 397/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 47027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.601 Prop: 20.941 PropClause: 14.973 Set: 25.922 Check: 0.0 Back: 1.077
INFO - Atoms: 391/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 47472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.603 Prop: 21.056 PropClause: 15.069 Set: 26.009 Check: 0.0 Back: 1.086
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 47917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.606 Prop: 21.173 PropClause: 15.172 Set: 26.095 Check: 0.0 Back: 1.096
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 48362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.609 Prop: 21.29 PropClause: 15.273 Set: 26.185 Check: 0.0 Back: 1.106
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 48807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.612 Prop: 21.404 PropClause: 15.371 Set: 26.267 Check: 0.0 Back: 1.116
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 49136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.614 Prop: 21.492 PropClause: 15.448 Set: 26.322 Check: 0.0 Back: 1.126
INFO - Atoms: 329/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 49581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.617 Prop: 21.599 PropClause: 15.538 Set: 26.406 Check: 0.0 Back: 1.134
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 50026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.619 Prop: 21.715 PropClause: 15.639 Set: 26.494 Check: 0.0 Back: 1.144
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 50395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.622 Prop: 21.815 PropClause: 15.726 Set: 26.562 Check: 0.0 Back: 1.154
INFO - Atoms: 369/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 50840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.625 Prop: 21.923 PropClause: 15.818 Set: 26.64 Check: 0.0 Back: 1.162
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 51242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.627 Prop: 22.026 PropClause: 15.908 Set: 26.712 Check: 0.0 Back: 1.173
INFO - Atoms: 402/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 51687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.63 Prop: 22.137 PropClause: 16.003 Set: 26.794 Check: 0.0 Back: 1.182
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 52132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.633 Prop: 22.252 PropClause: 16.102 Set: 26.877 Check: 0.0 Back: 1.192
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 52577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.636 Prop: 22.367 PropClause: 16.202 Set: 26.963 Check: 0.0 Back: 1.202
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 53022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.639 Prop: 22.482 PropClause: 16.302 Set: 27.047 Check: 0.0 Back: 1.212
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 53467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.641 Prop: 22.597 PropClause: 16.403 Set: 27.139 Check: 0.0 Back: 1.223
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 53911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.644 Prop: 22.716 PropClause: 16.506 Set: 27.229 Check: 0.0 Back: 1.233
INFO - Atoms: 444/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 54356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.648 Prop: 22.876 PropClause: 16.611 Set: 27.314 Check: 0.0 Back: 1.243
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 54801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.65 Prop: 22.991 PropClause: 16.711 Set: 27.398 Check: 0.0 Back: 1.253
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 55246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.653 Prop: 23.106 PropClause: 16.809 Set: 27.484 Check: 0.0 Back: 1.263
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 55691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.656 Prop: 23.227 PropClause: 16.912 Set: 27.574 Check: 0.0 Back: 1.273
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 56136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.887 Prop: 23.34 PropClause: 17.01 Set: 27.67 Check: 0.0 Back: 1.283
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 56581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.892 Prop: 24.232 PropClause: 17.887 Set: 27.777 Check: 0.0 Back: 1.293
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 57026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.896 Prop: 24.349 PropClause: 17.989 Set: 27.866 Check: 0.0 Back: 1.304
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 57471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.898 Prop: 24.467 PropClause: 18.09 Set: 27.951 Check: 0.0 Back: 1.314
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 57916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.901 Prop: 24.587 PropClause: 18.196 Set: 28.035 Check: 0.0 Back: 1.324
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 58361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.903 Prop: 24.705 PropClause: 18.299 Set: 28.128 Check: 0.0 Back: 1.334
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 58806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.905 Prop: 24.823 PropClause: 18.402 Set: 28.213 Check: 0.0 Back: 1.344
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 59251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.907 Prop: 24.94 PropClause: 18.503 Set: 28.304 Check: 0.0 Back: 1.354
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 59696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.909 Prop: 25.059 PropClause: 18.606 Set: 28.391 Check: 0.0 Back: 1.365
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 60141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.911 Prop: 25.177 PropClause: 18.708 Set: 28.473 Check: 0.0 Back: 1.375
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 60586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.913 Prop: 25.295 PropClause: 18.81 Set: 28.56 Check: 0.0 Back: 1.385
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 61031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.915 Prop: 25.41 PropClause: 18.91 Set: 28.643 Check: 0.0 Back: 1.395
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 61476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.917 Prop: 25.529 PropClause: 19.013 Set: 28.733 Check: 0.0 Back: 1.405
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 61921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.92 Prop: 25.648 PropClause: 19.118 Set: 28.824 Check: 0.0 Back: 1.415
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 62366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.921 Prop: 25.766 PropClause: 19.221 Set: 28.907 Check: 0.0 Back: 1.425
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 62811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.924 Prop: 25.886 PropClause: 19.325 Set: 29.008 Check: 0.0 Back: 1.435
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 63256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.926 Prop: 26.005 PropClause: 19.426 Set: 29.094 Check: 0.0 Back: 1.446
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 63701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.929 Prop: 26.121 PropClause: 19.527 Set: 29.187 Check: 0.0 Back: 1.456
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 64146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.931 Prop: 26.239 PropClause: 19.629 Set: 29.278 Check: 0.0 Back: 1.466
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 64591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.933 Prop: 26.358 PropClause: 19.734 Set: 29.363 Check: 0.0 Back: 1.476
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 64984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.935 Prop: 26.465 PropClause: 19.827 Set: 29.43 Check: 0.0 Back: 1.486
INFO - Atoms: 393/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 65429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.937 Prop: 26.582 PropClause: 19.929 Set: 29.514 Check: 0.0 Back: 1.495
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 65874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.938 Prop: 26.698 PropClause: 20.03 Set: 29.596 Check: 0.0 Back: 1.505
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 66319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.94 Prop: 26.819 PropClause: 20.135 Set: 29.685 Check: 0.0 Back: 1.515
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 66764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.943 Prop: 26.937 PropClause: 20.238 Set: 29.772 Check: 0.0 Back: 1.525
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 67209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.946 Prop: 27.054 PropClause: 20.338 Set: 29.863 Check: 0.0 Back: 1.535
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 67654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.957 Prop: 30.052 PropClause: 23.32 Set: 29.951 Check: 0.0 Back: 1.545
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 68099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.966 Prop: 30.171 PropClause: 23.422 Set: 30.036 Check: 0.0 Back: 1.555
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 68544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.967 Prop: 30.292 PropClause: 23.528 Set: 30.186 Check: 0.0 Back: 1.565
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 68989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.969 Prop: 30.408 PropClause: 23.63 Set: 30.277 Check: 0.0 Back: 1.575
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 69434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.971 Prop: 30.528 PropClause: 23.734 Set: 30.364 Check: 0.0 Back: 1.586
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 69879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.975 Prop: 30.646 PropClause: 23.836 Set: 30.451 Check: 0.0 Back: 1.595
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 70324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.976 Prop: 30.77 PropClause: 23.945 Set: 30.533 Check: 0.0 Back: 1.606
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 70769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.979 Prop: 30.888 PropClause: 24.049 Set: 30.614 Check: 0.0 Back: 1.616
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 71214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.981 Prop: 31.006 PropClause: 24.15 Set: 30.704 Check: 0.0 Back: 1.626
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 71659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.984 Prop: 31.125 PropClause: 24.253 Set: 30.791 Check: 0.0 Back: 1.636
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 72104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.987 Prop: 31.242 PropClause: 24.356 Set: 30.871 Check: 0.0 Back: 1.646
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 72549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.989 Prop: 31.362 PropClause: 24.46 Set: 30.955 Check: 0.0 Back: 1.656
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 72994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.991 Prop: 31.481 PropClause: 24.564 Set: 31.046 Check: 0.0 Back: 1.667
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 73439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.993 Prop: 31.6 PropClause: 24.668 Set: 31.133 Check: 0.0 Back: 1.677
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 73884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.995 Prop: 31.717 PropClause: 24.77 Set: 31.211 Check: 0.0 Back: 1.687
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 74329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.999 Prop: 31.837 PropClause: 24.875 Set: 31.297 Check: 0.0 Back: 1.697
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 74774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.001 Prop: 31.954 PropClause: 24.977 Set: 31.389 Check: 0.0 Back: 1.707
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 75219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.003 Prop: 32.073 PropClause: 25.08 Set: 31.474 Check: 0.0 Back: 1.717
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 75664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.004 Prop: 32.191 PropClause: 25.184 Set: 31.56 Check: 0.0 Back: 1.727
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 76109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.006 Prop: 32.307 PropClause: 25.284 Set: 31.643 Check: 0.0 Back: 1.737
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 76554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.009 Prop: 32.427 PropClause: 25.388 Set: 31.73 Check: 0.0 Back: 1.748
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 76999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.012 Prop: 32.548 PropClause: 25.492 Set: 31.817 Check: 0.0 Back: 1.758
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 77444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.014 Prop: 32.669 PropClause: 25.599 Set: 31.905 Check: 0.0 Back: 1.768
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 77889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.016 Prop: 32.79 PropClause: 25.704 Set: 31.992 Check: 0.0 Back: 1.778
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 78334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.019 Prop: 32.909 PropClause: 25.809 Set: 32.082 Check: 0.0 Back: 1.789
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 78779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.021 Prop: 33.028 PropClause: 25.912 Set: 32.163 Check: 0.0 Back: 1.799
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 79224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.023 Prop: 33.149 PropClause: 26.016 Set: 32.245 Check: 0.0 Back: 1.809
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 79669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.025 Prop: 33.269 PropClause: 26.121 Set: 32.326 Check: 0.0 Back: 1.819
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 80114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.027 Prop: 33.389 PropClause: 26.225 Set: 32.412 Check: 0.0 Back: 1.829
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 80559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.029 Prop: 33.512 PropClause: 26.332 Set: 32.499 Check: 0.0 Back: 1.839
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 81004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.03 Prop: 33.638 PropClause: 26.441 Set: 32.584 Check: 0.0 Back: 1.849
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 81449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.033 Prop: 33.76 PropClause: 26.548 Set: 32.668 Check: 0.0 Back: 1.859
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 81894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.034 Prop: 33.88 PropClause: 26.653 Set: 32.755 Check: 0.0 Back: 1.869
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 82339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.037 Prop: 34.0 PropClause: 26.758 Set: 32.844 Check: 0.0 Back: 1.88
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 82784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.039 Prop: 34.121 PropClause: 26.863 Set: 32.936 Check: 0.0 Back: 1.89
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 83229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.041 Prop: 34.244 PropClause: 26.969 Set: 33.027 Check: 0.0 Back: 1.9
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 83674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.044 Prop: 34.367 PropClause: 27.075 Set: 33.11 Check: 0.0 Back: 1.909
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 84119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.045 Prop: 34.486 PropClause: 27.179 Set: 33.192 Check: 0.0 Back: 1.92
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 84564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.047 Prop: 34.606 PropClause: 27.282 Set: 33.278 Check: 0.0 Back: 1.93
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 85009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.148 Prop: 34.732 PropClause: 27.394 Set: 33.365 Check: 0.0 Back: 1.94
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 85454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.151 Prop: 34.854 PropClause: 27.5 Set: 33.451 Check: 0.0 Back: 1.95
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 85899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.154 Prop: 34.973 PropClause: 27.605 Set: 33.54 Check: 0.0 Back: 1.96
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 86344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.155 Prop: 35.099 PropClause: 27.717 Set: 33.626 Check: 0.0 Back: 1.97
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 86789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.159 Prop: 35.22 PropClause: 27.822 Set: 33.708 Check: 0.0 Back: 1.981
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 87234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.162 Prop: 35.341 PropClause: 27.926 Set: 33.796 Check: 0.0 Back: 1.991
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 87679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.165 Prop: 35.464 PropClause: 28.034 Set: 33.881 Check: 0.0 Back: 2.001
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 88124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.167 Prop: 35.582 PropClause: 28.137 Set: 33.964 Check: 0.0 Back: 2.011
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 88569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.171 Prop: 35.709 PropClause: 28.247 Set: 34.047 Check: 0.0 Back: 2.021
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 89014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.173 Prop: 35.83 PropClause: 28.352 Set: 34.138 Check: 0.0 Back: 2.031
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 89459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.176 Prop: 35.954 PropClause: 28.461 Set: 34.22 Check: 0.0 Back: 2.041
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 89904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.179 Prop: 36.074 PropClause: 28.565 Set: 34.311 Check: 0.0 Back: 2.051
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 90349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.182 Prop: 36.195 PropClause: 28.67 Set: 34.399 Check: 0.0 Back: 2.062
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 90668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.184 Prop: 36.284 PropClause: 28.748 Set: 34.456 Check: 0.0 Back: 2.072
INFO - Atoms: 319/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 91113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.187 Prop: 36.395 PropClause: 28.844 Set: 34.537 Check: 0.0 Back: 2.079
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 91488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.189 Prop: 36.498 PropClause: 28.933 Set: 34.604 Check: 0.0 Back: 2.089
INFO - Atoms: 375/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 91933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.191 Prop: 36.612 PropClause: 29.033 Set: 34.685 Check: 0.0 Back: 2.098
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 92378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.193 Prop: 36.731 PropClause: 29.137 Set: 34.771 Check: 0.0 Back: 2.108
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 92754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.195 Prop: 36.832 PropClause: 29.224 Set: 34.836 Check: 0.0 Back: 2.118
INFO - Atoms: 376/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 93199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.198 Prop: 36.947 PropClause: 29.323 Set: 34.925 Check: 0.0 Back: 2.127
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 93542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 37.043 PropClause: 29.407 Set: 34.991 Check: 0.0 Back: 2.137
INFO - Atoms: 343/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 93987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.203 Prop: 37.153 PropClause: 29.502 Set: 35.079 Check: 0.0 Back: 2.145
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 94432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.206 Prop: 37.273 PropClause: 29.608 Set: 35.163 Check: 0.0 Back: 2.155
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 94810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.207 Prop: 37.376 PropClause: 29.697 Set: 35.236 Check: 0.0 Back: 2.165
INFO - Atoms: 378/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 95255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.209 Prop: 37.492 PropClause: 29.798 Set: 35.326 Check: 0.0 Back: 2.173
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 95700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.212 Prop: 37.613 PropClause: 29.903 Set: 35.409 Check: 0.0 Back: 2.184
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 96100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.214 Prop: 37.722 PropClause: 29.998 Set: 35.49 Check: 0.0 Back: 2.194
INFO - Atoms: 400/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 96493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.216 Prop: 37.849 PropClause: 30.112 Set: 35.575 Check: 0.0 Back: 2.203
INFO - Atoms: 393/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 96895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.218 Prop: 37.956 PropClause: 30.202 Set: 35.659 Check: 0.0 Back: 2.212
INFO - Atoms: 402/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 97307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.221 Prop: 38.064 PropClause: 30.297 Set: 35.735 Check: 0.0 Back: 2.221
INFO - Atoms: 412/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 97712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.223 Prop: 38.17 PropClause: 30.389 Set: 35.806 Check: 0.0 Back: 2.23
INFO - Atoms: 405/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 98114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.225 Prop: 38.273 PropClause: 30.479 Set: 35.882 Check: 0.0 Back: 2.239
INFO - Atoms: 402/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 98510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.227 Prop: 38.378 PropClause: 30.571 Set: 35.956 Check: 0.0 Back: 2.248
INFO - Atoms: 396/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 98909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.23 Prop: 38.483 PropClause: 30.661 Set: 36.031 Check: 0.0 Back: 2.257
INFO - Atoms: 399/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 99354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.232 Prop: 38.602 PropClause: 30.766 Set: 36.12 Check: 0.0 Back: 2.266
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 99705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.235 Prop: 38.696 PropClause: 30.848 Set: 36.181 Check: 0.0 Back: 2.276
INFO - Atoms: 351/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 100150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.238 Prop: 38.808 PropClause: 30.945 Set: 36.265 Check: 0.0 Back: 2.284
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 100595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.24 Prop: 38.93 PropClause: 31.051 Set: 36.353 Check: 0.0 Back: 2.294
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 101040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.243 Prop: 39.052 PropClause: 31.158 Set: 36.44 Check: 0.0 Back: 2.304
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 101485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.246 Prop: 39.172 PropClause: 31.262 Set: 36.52 Check: 0.0 Back: 2.314
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 101861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.249 Prop: 39.274 PropClause: 31.351 Set: 36.595 Check: 0.0 Back: 2.324
INFO - Atoms: 376/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 102306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.251 Prop: 39.398 PropClause: 31.461 Set: 36.695 Check: 0.0 Back: 2.333
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 102751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.254 Prop: 39.519 PropClause: 31.566 Set: 36.778 Check: 0.0 Back: 2.343
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 103196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.256 Prop: 39.635 PropClause: 31.667 Set: 36.861 Check: 0.0 Back: 2.353
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 103641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.259 Prop: 39.752 PropClause: 31.766 Set: 36.947 Check: 0.0 Back: 2.363
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 104042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.262 Prop: 39.854 PropClause: 31.855 Set: 37.016 Check: 0.0 Back: 2.373
INFO - Atoms: 401/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 104487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.265 Prop: 39.964 PropClause: 31.95 Set: 37.097 Check: 0.0 Back: 2.383
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 104932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.268 Prop: 40.086 PropClause: 32.057 Set: 43.121 Check: 0.0 Back: 2.393
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 105332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.271 Prop: 40.188 PropClause: 32.145 Set: 43.192 Check: 0.0 Back: 2.403
INFO - Atoms: 400/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 105777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.274 Prop: 40.298 PropClause: 32.24 Set: 43.277 Check: 0.0 Back: 2.412
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 106111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.276 Prop: 40.384 PropClause: 32.314 Set: 43.334 Check: 0.0 Back: 2.423
INFO - Atoms: 334/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 106556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.279 Prop: 40.503 PropClause: 32.417 Set: 43.422 Check: 0.0 Back: 2.43
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 107001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.281 Prop: 40.614 PropClause: 32.512 Set: 43.504 Check: 0.0 Back: 2.44
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 107407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.283 Prop: 40.716 PropClause: 32.6 Set: 43.576 Check: 0.0 Back: 2.45
INFO - Atoms: 406/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 107852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.286 Prop: 40.824 PropClause: 32.693 Set: 43.662 Check: 0.0 Back: 2.459
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 108297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.289 Prop: 40.934 PropClause: 32.789 Set: 43.755 Check: 0.0 Back: 2.469
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 108678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.292 Prop: 41.031 PropClause: 32.873 Set: 43.821 Check: 0.0 Back: 2.479
INFO - Atoms: 381/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 109047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.296 Prop: 41.12 PropClause: 32.949 Set: 43.885 Check: 0.0 Back: 2.488
INFO - Atoms: 369/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 109417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.298 Prop: 41.208 PropClause: 33.025 Set: 43.955 Check: 0.0 Back: 2.497
INFO - Atoms: 370/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 109792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.3 Prop: 41.387 PropClause: 33.109 Set: 44.022 Check: 0.0 Back: 2.505
INFO - Atoms: 375/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 110237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.303 Prop: 41.502 PropClause: 33.202 Set: 44.113 Check: 0.0 Back: 2.514
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 110634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.311 Prop: 41.604 PropClause: 33.289 Set: 44.193 Check: 0.0 Back: 2.524
INFO - Atoms: 397/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 111079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.319 Prop: 41.709 PropClause: 33.379 Set: 44.282 Check: 0.0 Back: 2.533
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 111416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.321 Prop: 41.802 PropClause: 33.461 Set: 44.348 Check: 0.0 Back: 2.543
INFO - Atoms: 337/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 111861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.324 Prop: 41.903 PropClause: 33.546 Set: 44.434 Check: 0.0 Back: 2.551
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 112253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.327 Prop: 42.003 PropClause: 33.633 Set: 44.507 Check: 0.0 Back: 2.561
INFO - Atoms: 392/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 112698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.328 Prop: 42.111 PropClause: 33.725 Set: 44.586 Check: 0.0 Back: 2.57
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 113143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.331 Prop: 42.222 PropClause: 33.82 Set: 44.675 Check: 0.0 Back: 2.58
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 113588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 42.333 PropClause: 33.915 Set: 44.763 Check: 0.0 Back: 2.59
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 113983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.335 Prop: 42.432 PropClause: 34.002 Set: 44.843 Check: 0.0 Back: 2.6
INFO - Atoms: 395/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 114428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.337 Prop: 42.541 PropClause: 34.095 Set: 44.936 Check: 0.0 Back: 2.609
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 114873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.34 Prop: 42.653 PropClause: 34.192 Set: 45.026 Check: 0.0 Back: 2.619
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 115302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.343 Prop: 42.759 PropClause: 34.285 Set: 45.109 Check: 0.0 Back: 2.629
INFO - Atoms: 429/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 115747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.346 Prop: 42.871 PropClause: 34.381 Set: 45.197 Check: 0.0 Back: 2.639
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 116192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.348 Prop: 42.983 PropClause: 34.478 Set: 45.283 Check: 0.0 Back: 2.649
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 116637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.35 Prop: 43.1 PropClause: 34.579 Set: 45.369 Check: 0.0 Back: 2.659
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 117082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.353 Prop: 43.212 PropClause: 34.676 Set: 45.449 Check: 0.0 Back: 2.67
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 117527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.356 Prop: 43.323 PropClause: 34.773 Set: 45.535 Check: 0.0 Back: 2.68
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 117972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.358 Prop: 43.433 PropClause: 34.868 Set: 45.618 Check: 0.0 Back: 2.69
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 118417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.362 Prop: 43.546 PropClause: 34.965 Set: 45.709 Check: 0.0 Back: 2.7
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 118862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.365 Prop: 43.66 PropClause: 35.061 Set: 45.796 Check: 0.0 Back: 2.71
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 119307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.367 Prop: 43.781 PropClause: 35.166 Set: 45.898 Check: 0.0 Back: 2.72
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 119752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.37 Prop: 43.892 PropClause: 35.262 Set: 45.983 Check: 0.0 Back: 2.73
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 120197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.374 Prop: 44.002 PropClause: 35.356 Set: 46.065 Check: 0.0 Back: 2.74
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 120642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.377 Prop: 44.115 PropClause: 35.454 Set: 46.151 Check: 0.0 Back: 2.75
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 121087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.379 Prop: 44.227 PropClause: 35.551 Set: 46.236 Check: 0.0 Back: 2.76
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 121532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.382 Prop: 44.338 PropClause: 35.647 Set: 46.316 Check: 0.0 Back: 2.77
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 121948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.384 Prop: 44.443 PropClause: 35.736 Set: 46.394 Check: 0.0 Back: 2.781
INFO - Atoms: 416/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 122393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.386 Prop: 44.553 PropClause: 35.83 Set: 46.484 Check: 0.0 Back: 2.791
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 122838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.388 Prop: 44.663 PropClause: 35.924 Set: 46.569 Check: 0.0 Back: 2.801
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 123283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.391 Prop: 44.774 PropClause: 36.02 Set: 46.65 Check: 0.0 Back: 2.811
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 123728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.393 Prop: 44.884 PropClause: 36.115 Set: 46.732 Check: 0.0 Back: 2.821
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 124173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.396 Prop: 44.994 PropClause: 36.21 Set: 46.819 Check: 0.0 Back: 2.831
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 124618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.398 Prop: 45.113 PropClause: 36.314 Set: 46.911 Check: 0.0 Back: 2.841
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 125063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.401 Prop: 45.224 PropClause: 36.41 Set: 46.994 Check: 0.0 Back: 2.851
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 125508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.404 Prop: 45.333 PropClause: 36.505 Set: 47.086 Check: 0.0 Back: 2.861
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 125953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.407 Prop: 45.443 PropClause: 36.6 Set: 47.17 Check: 0.0 Back: 2.872
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 126398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.409 Prop: 45.556 PropClause: 36.698 Set: 47.253 Check: 0.0 Back: 2.882
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 126843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.412 Prop: 45.695 PropClause: 36.801 Set: 47.337 Check: 0.0 Back: 2.892
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 127288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.416 Prop: 45.806 PropClause: 36.898 Set: 47.419 Check: 0.0 Back: 2.902
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 127733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.418 Prop: 45.914 PropClause: 36.991 Set: 47.498 Check: 0.0 Back: 2.913
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 128178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.421 Prop: 46.024 PropClause: 37.083 Set: 47.593 Check: 0.0 Back: 2.923
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 128623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.423 Prop: 46.131 PropClause: 37.176 Set: 47.677 Check: 0.0 Back: 2.933
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 129068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.426 Prop: 46.244 PropClause: 37.275 Set: 47.761 Check: 0.0 Back: 2.943
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 129513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.429 Prop: 46.357 PropClause: 37.373 Set: 47.845 Check: 0.0 Back: 2.953
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 129958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.432 Prop: 46.47 PropClause: 37.47 Set: 47.935 Check: 0.0 Back: 2.963
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 130402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.434 Prop: 46.582 PropClause: 37.567 Set: 48.027 Check: 0.0 Back: 2.973
INFO - Atoms: 444/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 130847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.438 Prop: 46.689 PropClause: 37.659 Set: 48.118 Check: 0.0 Back: 2.983
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 131292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.44 Prop: 46.809 PropClause: 37.764 Set: 48.205 Check: 0.0 Back: 2.993
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 131737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.446 Prop: 46.92 PropClause: 37.859 Set: 48.291 Check: 0.0 Back: 3.003
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 132182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.448 Prop: 47.031 PropClause: 37.955 Set: 48.381 Check: 0.0 Back: 3.013
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 132627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.452 Prop: 47.141 PropClause: 38.048 Set: 48.463 Check: 0.0 Back: 3.023
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 133072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.455 Prop: 47.261 PropClause: 38.152 Set: 48.563 Check: 0.0 Back: 3.033
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 133517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.457 Prop: 47.373 PropClause: 38.25 Set: 48.645 Check: 0.0 Back: 3.043
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 133962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.46 Prop: 47.484 PropClause: 38.346 Set: 48.736 Check: 0.0 Back: 3.053
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 134407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.464 Prop: 47.597 PropClause: 38.442 Set: 48.821 Check: 0.0 Back: 3.063
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 134852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.466 Prop: 47.708 PropClause: 38.539 Set: 48.904 Check: 0.0 Back: 3.073
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 135297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.469 Prop: 47.821 PropClause: 38.637 Set: 48.992 Check: 0.0 Back: 3.083
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 135742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.473 Prop: 47.933 PropClause: 38.734 Set: 49.077 Check: 0.0 Back: 3.093
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 136187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.475 Prop: 48.045 PropClause: 38.83 Set: 49.161 Check: 0.0 Back: 3.103
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 136632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.477 Prop: 48.163 PropClause: 38.932 Set: 49.244 Check: 0.0 Back: 3.113
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 137077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.48 Prop: 48.274 PropClause: 39.029 Set: 49.331 Check: 0.0 Back: 3.123
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 137522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.484 Prop: 48.386 PropClause: 39.126 Set: 49.427 Check: 0.0 Back: 3.133
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 137918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.486 Prop: 48.484 PropClause: 39.211 Set: 49.502 Check: 0.0 Back: 3.143
INFO - Atoms: 396/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 138363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.49 Prop: 48.592 PropClause: 39.304 Set: 49.588 Check: 0.0 Back: 3.153
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 138808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.492 Prop: 48.703 PropClause: 39.4 Set: 49.675 Check: 0.0 Back: 3.163
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 139253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.495 Prop: 48.814 PropClause: 39.496 Set: 49.759 Check: 0.0 Back: 3.173
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 139698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.497 Prop: 48.923 PropClause: 39.59 Set: 49.844 Check: 0.0 Back: 3.183
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 140143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.499 Prop: 49.033 PropClause: 39.685 Set: 49.924 Check: 0.0 Back: 3.193
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 140588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.502 Prop: 49.144 PropClause: 39.78 Set: 50.008 Check: 0.0 Back: 3.203
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 141033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.505 Prop: 49.257 PropClause: 39.877 Set: 50.087 Check: 0.0 Back: 3.213
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 141478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.508 Prop: 49.369 PropClause: 39.974 Set: 50.173 Check: 0.0 Back: 3.223
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 141923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.511 Prop: 49.481 PropClause: 40.07 Set: 50.26 Check: 0.0 Back: 3.233
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 142368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.513 Prop: 49.593 PropClause: 40.164 Set: 50.352 Check: 0.0 Back: 3.243
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 142813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.516 Prop: 49.704 PropClause: 40.26 Set: 50.435 Check: 0.0 Back: 3.253
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 143258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.519 Prop: 49.821 PropClause: 40.362 Set: 50.521 Check: 0.0 Back: 3.263
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 143703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.523 Prop: 49.934 PropClause: 40.461 Set: 50.603 Check: 0.0 Back: 3.273
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 144148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.525 Prop: 50.047 PropClause: 40.559 Set: 50.682 Check: 0.0 Back: 3.284
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 144593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.528 Prop: 50.157 PropClause: 40.653 Set: 50.769 Check: 0.0 Back: 3.293
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 145038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.53 Prop: 50.267 PropClause: 40.748 Set: 50.858 Check: 0.0 Back: 3.303
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 145473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.532 Prop: 50.375 PropClause: 40.841 Set: 50.941 Check: 0.0 Back: 3.314
INFO - Atoms: 435/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 145918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 50.485 PropClause: 40.935 Set: 51.03 Check: 0.0 Back: 3.323
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 146363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.537 Prop: 50.596 PropClause: 41.032 Set: 51.119 Check: 0.0 Back: 3.334
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 146808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.539 Prop: 50.707 PropClause: 41.126 Set: 51.207 Check: 0.0 Back: 3.344
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 147253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.542 Prop: 50.83 PropClause: 41.233 Set: 51.305 Check: 0.0 Back: 3.354
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 147698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.544 Prop: 50.94 PropClause: 41.328 Set: 51.394 Check: 0.0 Back: 3.364
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 148143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.546 Prop: 51.048 PropClause: 41.422 Set: 51.485 Check: 0.0 Back: 3.374
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 148588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.549 Prop: 51.157 PropClause: 41.516 Set: 51.568 Check: 0.0 Back: 3.384
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 149033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.552 Prop: 51.271 PropClause: 41.615 Set: 51.676 Check: 0.0 Back: 3.394
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 149478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 51.383 PropClause: 41.712 Set: 51.76 Check: 0.0 Back: 3.404
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 149923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.557 Prop: 51.495 PropClause: 41.807 Set: 51.847 Check: 0.0 Back: 3.414
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 150368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.562 Prop: 51.681 PropClause: 41.914 Set: 51.945 Check: 0.0 Back: 3.424
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 150813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.565 Prop: 51.791 PropClause: 42.009 Set: 52.031 Check: 0.0 Back: 3.434
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 151258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.568 Prop: 51.904 PropClause: 42.107 Set: 52.118 Check: 0.0 Back: 3.445
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 151703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.571 Prop: 52.014 PropClause: 42.203 Set: 52.2 Check: 0.0 Back: 3.454
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 152148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.574 Prop: 52.126 PropClause: 42.298 Set: 52.285 Check: 0.0 Back: 3.464
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 152593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.576 Prop: 52.235 PropClause: 42.393 Set: 52.372 Check: 0.0 Back: 3.475
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 153038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.579 Prop: 52.348 PropClause: 42.492 Set: 52.46 Check: 0.0 Back: 3.485
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 153483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.581 Prop: 52.458 PropClause: 42.587 Set: 52.553 Check: 0.0 Back: 3.495
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 153928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.585 Prop: 52.571 PropClause: 42.684 Set: 52.646 Check: 0.0 Back: 3.505
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 154373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.587 Prop: 52.683 PropClause: 42.781 Set: 52.735 Check: 0.0 Back: 3.516
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 154818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.59 Prop: 52.797 PropClause: 42.88 Set: 52.827 Check: 0.0 Back: 3.526
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 155263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.593 Prop: 52.909 PropClause: 42.978 Set: 52.92 Check: 0.0 Back: 3.536
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 155708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.596 Prop: 53.02 PropClause: 43.072 Set: 53.007 Check: 0.0 Back: 3.546
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 156153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.599 Prop: 53.132 PropClause: 43.169 Set: 53.093 Check: 0.0 Back: 3.556
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 156598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.602 Prop: 53.242 PropClause: 43.264 Set: 53.177 Check: 0.0 Back: 3.566
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 157043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.604 Prop: 53.352 PropClause: 43.36 Set: 53.264 Check: 0.0 Back: 3.577
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 157488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.607 Prop: 53.465 PropClause: 43.456 Set: 53.351 Check: 0.0 Back: 3.587
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 157933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.61 Prop: 53.575 PropClause: 43.551 Set: 53.438 Check: 0.0 Back: 3.597
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 158378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.612 Prop: 53.758 PropClause: 43.652 Set: 53.522 Check: 0.0 Back: 3.607
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 158823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.615 Prop: 53.875 PropClause: 43.751 Set: 53.61 Check: 0.0 Back: 3.617
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 159268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.617 Prop: 53.992 PropClause: 43.85 Set: 53.734 Check: 0.0 Back: 3.627
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 159713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.62 Prop: 54.108 PropClause: 43.946 Set: 53.82 Check: 0.0 Back: 3.637
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 381 Props: 2563 Tprops: 0 Decides: 1296 RSplits: 0
INFO - Times: Expl: 41.559 Prop: 567.789 PropClause: 1.641 Set: 152.761 Check: 17.858 Back: 5.086
INFO - Atoms: 34/37 Clauses: 381 Axioms: 38
INFO - CCTimes: iE 5062 eq 2516316 cc 2422889 setRep 716132
INFO - Merges: 1703, cc:1066
INFO - BVTimes: BB 8670418 BB_DPLL 293246550 Graph 11117920
INFO - BitBlastingClauses: 11751 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat