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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 13681803
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.473 Prop: 11.478 PropClause: 9.81 Set: 3.808 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.491 Prop: 11.625 PropClause: 9.906 Set: 5.169 Check: 0.0 Back: 0.016
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.505 Prop: 11.737 PropClause: 9.97 Set: 5.307 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.515 Prop: 11.858 PropClause: 10.041 Set: 5.462 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.539 Prop: 12.049 PropClause: 10.172 Set: 5.61 Check: 0.0 Back: 0.037
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.567 Prop: 12.228 PropClause: 10.275 Set: 5.786 Check: 0.0 Back: 0.045
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.601 Prop: 12.414 PropClause: 10.385 Set: 5.95 Check: 0.0 Back: 0.054
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.611 Prop: 12.591 PropClause: 10.491 Set: 6.131 Check: 0.0 Back: 0.063
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.621 Prop: 12.776 PropClause: 10.61 Set: 6.3 Check: 0.0 Back: 0.073
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.632 Prop: 12.956 PropClause: 10.723 Set: 6.49 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.642 Prop: 13.133 PropClause: 10.833 Set: 6.68 Check: 0.0 Back: 0.092
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.652 Prop: 13.317 PropClause: 10.95 Set: 6.884 Check: 0.0 Back: 0.102
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.671 Prop: 13.502 PropClause: 11.07 Set: 7.075 Check: 0.0 Back: 0.112
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.684 Prop: 14.074 PropClause: 11.188 Set: 7.259 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.696 Prop: 14.257 PropClause: 11.304 Set: 7.439 Check: 0.0 Back: 0.132
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.706 Prop: 15.376 PropClause: 12.402 Set: 7.847 Check: 0.0 Back: 0.142
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.717 Prop: 15.526 PropClause: 12.538 Set: 13.306 Check: 0.0 Back: 0.151
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.726 Prop: 15.695 PropClause: 12.693 Set: 13.506 Check: 0.0 Back: 0.161
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.735 Prop: 15.841 PropClause: 12.826 Set: 13.728 Check: 0.0 Back: 0.171
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.746 Prop: 15.99 PropClause: 12.962 Set: 13.945 Check: 0.0 Back: 0.181
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.755 Prop: 16.138 PropClause: 13.096 Set: 14.168 Check: 0.0 Back: 0.191
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.764 Prop: 16.298 PropClause: 13.242 Set: 14.37 Check: 0.0 Back: 0.201
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.772 Prop: 16.441 PropClause: 13.372 Set: 14.586 Check: 0.0 Back: 0.218
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.783 Prop: 16.592 PropClause: 13.508 Set: 14.814 Check: 0.0 Back: 0.228
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.792 Prop: 16.741 PropClause: 13.644 Set: 15.034 Check: 0.0 Back: 0.238
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.8 Prop: 16.887 PropClause: 13.777 Set: 15.25 Check: 0.0 Back: 0.248
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.809 Prop: 17.044 PropClause: 13.92 Set: 15.454 Check: 0.0 Back: 0.258
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.82 Prop: 17.195 PropClause: 14.057 Set: 15.678 Check: 0.0 Back: 0.268
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.829 Prop: 17.343 PropClause: 14.191 Set: 15.905 Check: 0.0 Back: 0.277
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.839 Prop: 17.494 PropClause: 14.329 Set: 16.131 Check: 0.0 Back: 0.288
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.848 Prop: 17.64 PropClause: 14.461 Set: 16.354 Check: 0.0 Back: 0.298
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.857 Prop: 17.788 PropClause: 14.596 Set: 16.569 Check: 0.0 Back: 0.307
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.873 Prop: 17.961 PropClause: 14.742 Set: 16.783 Check: 0.0 Back: 0.317
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.882 Prop: 18.115 PropClause: 14.883 Set: 16.989 Check: 0.0 Back: 0.327
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.891 Prop: 18.272 PropClause: 15.026 Set: 17.188 Check: 0.0 Back: 0.337
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.9 Prop: 18.418 PropClause: 15.159 Set: 17.407 Check: 0.0 Back: 0.347
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.909 Prop: 18.563 PropClause: 15.29 Set: 17.634 Check: 0.0 Back: 0.357
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.918 Prop: 18.706 PropClause: 15.419 Set: 17.859 Check: 0.0 Back: 0.366
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.927 Prop: 18.848 PropClause: 15.549 Set: 18.069 Check: 0.0 Back: 0.376
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.936 Prop: 19.008 PropClause: 15.695 Set: 18.274 Check: 0.0 Back: 0.386
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.946 Prop: 19.155 PropClause: 15.829 Set: 18.483 Check: 0.0 Back: 0.396
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.957 Prop: 19.31 PropClause: 15.97 Set: 19.686 Check: 0.0 Back: 0.406
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.967 Prop: 19.46 PropClause: 16.107 Set: 19.908 Check: 0.0 Back: 0.416
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: 0.988 Prop: 19.619 PropClause: 16.251 Set: 20.151 Check: 0.0 Back: 0.426
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.003 Prop: 19.784 PropClause: 16.4 Set: 20.38 Check: 0.0 Back: 0.436
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.015 Prop: 19.953 PropClause: 16.555 Set: 20.618 Check: 0.0 Back: 0.446
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.023 Prop: 20.071 PropClause: 16.661 Set: 20.794 Check: 0.0 Back: 0.456
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.037 Prop: 20.215 PropClause: 16.792 Set: 21.046 Check: 0.0 Back: 0.464
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.047 Prop: 21.524 PropClause: 16.963 Set: 21.267 Check: 0.0 Back: 0.474
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.06 Prop: 21.71 PropClause: 17.104 Set: 21.488 Check: 0.0 Back: 0.484
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.071 Prop: 21.813 PropClause: 17.191 Set: 21.616 Check: 0.0 Back: 0.495
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.083 Prop: 21.952 PropClause: 17.309 Set: 21.855 Check: 0.0 Back: 0.501
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.091 Prop: 22.113 PropClause: 17.45 Set: 22.083 Check: 0.0 Back: 0.511
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.104 Prop: 22.266 PropClause: 17.588 Set: 22.302 Check: 0.0 Back: 0.521
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.112 Prop: 22.38 PropClause: 17.69 Set: 22.46 Check: 0.0 Back: 0.531
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.194 Prop: 22.532 PropClause: 17.816 Set: 22.696 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.198 Prop: 22.681 PropClause: 17.949 Set: 22.917 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.203 Prop: 22.831 PropClause: 18.085 Set: 23.128 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.207 Prop: 22.954 PropClause: 18.195 Set: 23.311 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.21 Prop: 23.074 PropClause: 18.302 Set: 23.475 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.389 Prop: 23.199 PropClause: 18.414 Set: 23.658 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.404 Prop: 23.32 PropClause: 18.522 Set: 23.842 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.409 Prop: 23.47 PropClause: 18.657 Set: 24.075 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.412 Prop: 23.622 PropClause: 18.793 Set: 24.32 Check: 0.0 Back: 0.613
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.416 Prop: 23.776 PropClause: 18.932 Set: 24.527 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.42 Prop: 23.926 PropClause: 19.067 Set: 24.739 Check: 0.0 Back: 0.634
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.425 Prop: 24.079 PropClause: 19.205 Set: 24.94 Check: 0.0 Back: 0.644
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.429 Prop: 24.23 PropClause: 19.34 Set: 25.183 Check: 0.0 Back: 0.654
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.434 Prop: 24.383 PropClause: 19.478 Set: 25.393 Check: 0.0 Back: 0.664
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.438 Prop: 24.532 PropClause: 19.612 Set: 25.621 Check: 0.0 Back: 0.675
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.442 Prop: 24.684 PropClause: 19.748 Set: 25.854 Check: 0.0 Back: 0.685
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.448 Prop: 24.838 PropClause: 19.887 Set: 26.072 Check: 0.0 Back: 0.695
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.451 Prop: 24.985 PropClause: 20.019 Set: 26.296 Check: 0.0 Back: 0.705
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.455 Prop: 25.131 PropClause: 20.15 Set: 26.526 Check: 0.0 Back: 0.715
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.631 Prop: 25.262 PropClause: 20.267 Set: 26.716 Check: 0.0 Back: 0.725
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.634 Prop: 25.393 PropClause: 20.385 Set: 26.931 Check: 0.0 Back: 0.735
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.636 Prop: 25.526 PropClause: 20.504 Set: 27.17 Check: 0.0 Back: 0.744
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.639 Prop: 25.671 PropClause: 20.635 Set: 27.379 Check: 0.0 Back: 0.753
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.641 Prop: 25.8 PropClause: 20.752 Set: 27.605 Check: 0.0 Back: 0.763
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.643 Prop: 25.935 PropClause: 20.872 Set: 27.815 Check: 0.0 Back: 0.772
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.646 Prop: 26.068 PropClause: 20.991 Set: 28.027 Check: 0.0 Back: 0.781
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.648 Prop: 26.193 PropClause: 21.103 Set: 28.245 Check: 0.0 Back: 0.791
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.651 Prop: 26.349 PropClause: 21.244 Set: 28.472 Check: 0.0 Back: 0.8
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.653 Prop: 26.471 PropClause: 21.351 Set: 28.652 Check: 0.0 Back: 0.81
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.656 Prop: 26.599 PropClause: 21.465 Set: 28.829 Check: 0.0 Back: 0.82
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.659 Prop: 26.726 PropClause: 21.577 Set: 28.998 Check: 0.0 Back: 0.83
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.662 Prop: 26.848 PropClause: 21.684 Set: 29.265 Check: 0.0 Back: 0.84
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.665 Prop: 26.974 PropClause: 21.796 Set: 29.432 Check: 0.0 Back: 0.85
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.668 Prop: 27.092 PropClause: 21.898 Set: 29.613 Check: 0.0 Back: 0.861
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.67 Prop: 27.218 PropClause: 22.01 Set: 29.781 Check: 0.0 Back: 0.871
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.673 Prop: 27.335 PropClause: 22.112 Set: 29.889 Check: 0.0 Back: 0.881
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.675 Prop: 27.448 PropClause: 22.211 Set: 29.966 Check: 0.0 Back: 0.891
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.677 Prop: 27.561 PropClause: 22.308 Set: 30.041 Check: 0.0 Back: 0.901
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.68 Prop: 27.675 PropClause: 22.407 Set: 30.118 Check: 0.0 Back: 0.912
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.683 Prop: 27.791 PropClause: 22.508 Set: 30.198 Check: 0.0 Back: 0.922
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.686 Prop: 27.907 PropClause: 22.61 Set: 30.285 Check: 0.0 Back: 0.932
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.69 Prop: 28.02 PropClause: 22.708 Set: 30.363 Check: 0.0 Back: 0.942
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.693 Prop: 28.135 PropClause: 22.806 Set: 30.444 Check: 0.0 Back: 0.953
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.696 Prop: 28.248 PropClause: 22.906 Set: 30.525 Check: 0.0 Back: 0.963
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.699 Prop: 28.364 PropClause: 23.006 Set: 30.602 Check: 0.0 Back: 0.973
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.702 Prop: 28.479 PropClause: 23.107 Set: 30.687 Check: 0.0 Back: 0.983
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.704 Prop: 28.592 PropClause: 23.205 Set: 30.764 Check: 0.0 Back: 0.993
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.707 Prop: 28.706 PropClause: 23.303 Set: 30.843 Check: 0.0 Back: 1.003
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.71 Prop: 28.82 PropClause: 23.402 Set: 30.922 Check: 0.0 Back: 1.013
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.713 Prop: 28.939 PropClause: 23.505 Set: 31.001 Check: 0.0 Back: 1.023
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.716 Prop: 29.053 PropClause: 23.605 Set: 31.081 Check: 0.0 Back: 1.033
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.719 Prop: 29.17 PropClause: 23.708 Set: 31.16 Check: 0.0 Back: 1.044
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.722 Prop: 29.264 PropClause: 23.79 Set: 31.219 Check: 0.0 Back: 1.054
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.725 Prop: 29.373 PropClause: 23.883 Set: 31.297 Check: 0.0 Back: 1.062
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.728 Prop: 29.472 PropClause: 23.969 Set: 31.36 Check: 0.0 Back: 1.072
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.731 Prop: 29.567 PropClause: 24.052 Set: 31.426 Check: 0.0 Back: 1.081
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.734 Prop: 29.68 PropClause: 24.148 Set: 31.504 Check: 0.0 Back: 1.09
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.736 Prop: 29.794 PropClause: 24.247 Set: 31.58 Check: 0.0 Back: 1.1
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.739 Prop: 29.907 PropClause: 24.346 Set: 31.657 Check: 0.0 Back: 1.11
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.742 Prop: 30.022 PropClause: 24.445 Set: 31.737 Check: 0.0 Back: 1.121
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.744 Prop: 30.108 PropClause: 24.52 Set: 31.787 Check: 0.0 Back: 1.131
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.747 Prop: 30.212 PropClause: 24.609 Set: 31.87 Check: 0.0 Back: 1.138
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.75 Prop: 30.326 PropClause: 24.708 Set: 31.957 Check: 0.0 Back: 1.148
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.753 Prop: 30.43 PropClause: 24.798 Set: 32.031 Check: 0.0 Back: 1.158
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.756 Prop: 30.537 PropClause: 24.891 Set: 32.109 Check: 0.0 Back: 1.167
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.758 Prop: 30.639 PropClause: 24.979 Set: 32.176 Check: 0.0 Back: 1.177
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.761 Prop: 30.751 PropClause: 25.076 Set: 32.263 Check: 0.0 Back: 1.186
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.764 Prop: 30.866 PropClause: 25.176 Set: 32.339 Check: 0.0 Back: 1.196
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.767 Prop: 30.98 PropClause: 25.275 Set: 32.418 Check: 0.0 Back: 1.206
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.77 Prop: 31.095 PropClause: 25.376 Set: 32.495 Check: 0.0 Back: 1.216
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.772 Prop: 31.208 PropClause: 25.474 Set: 32.573 Check: 0.0 Back: 1.226
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.775 Prop: 31.321 PropClause: 25.572 Set: 32.652 Check: 0.0 Back: 1.236
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.778 Prop: 31.496 PropClause: 25.685 Set: 32.731 Check: 0.0 Back: 1.247
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.781 Prop: 31.609 PropClause: 25.783 Set: 32.814 Check: 0.0 Back: 1.257
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.784 Prop: 31.723 PropClause: 25.881 Set: 32.893 Check: 0.0 Back: 1.267
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.786 Prop: 31.837 PropClause: 25.979 Set: 32.967 Check: 0.0 Back: 1.277
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.96 Prop: 31.95 PropClause: 26.078 Set: 33.048 Check: 0.0 Back: 1.287
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.965 Prop: 32.064 PropClause: 26.177 Set: 33.123 Check: 0.0 Back: 1.297
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.967 Prop: 32.941 PropClause: 27.038 Set: 33.21 Check: 0.0 Back: 1.307
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.969 Prop: 33.058 PropClause: 27.14 Set: 33.293 Check: 0.0 Back: 1.317
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.972 Prop: 33.176 PropClause: 27.243 Set: 33.371 Check: 0.0 Back: 1.327
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.974 Prop: 33.292 PropClause: 27.345 Set: 33.449 Check: 0.0 Back: 1.337
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.977 Prop: 33.409 PropClause: 27.447 Set: 33.529 Check: 0.0 Back: 1.348
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.979 Prop: 33.535 PropClause: 27.557 Set: 33.612 Check: 0.0 Back: 1.358
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.981 Prop: 33.651 PropClause: 27.658 Set: 33.692 Check: 0.0 Back: 1.369
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.983 Prop: 33.768 PropClause: 27.759 Set: 33.77 Check: 0.0 Back: 1.379
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.986 Prop: 33.885 PropClause: 27.862 Set: 33.853 Check: 0.0 Back: 1.389
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.988 Prop: 34.0 PropClause: 27.963 Set: 33.932 Check: 0.0 Back: 1.399
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.989 Prop: 34.117 PropClause: 28.065 Set: 34.012 Check: 0.0 Back: 1.409
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.991 Prop: 34.234 PropClause: 28.167 Set: 34.089 Check: 0.0 Back: 1.419
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.993 Prop: 34.351 PropClause: 28.269 Set: 34.165 Check: 0.0 Back: 1.429
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.995 Prop: 34.468 PropClause: 28.372 Set: 34.241 Check: 0.0 Back: 1.439
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.998 Prop: 34.586 PropClause: 28.472 Set: 34.322 Check: 0.0 Back: 1.45
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: 2.0 Prop: 34.704 PropClause: 28.576 Set: 34.404 Check: 0.0 Back: 1.46
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: 2.001 Prop: 34.819 PropClause: 28.677 Set: 34.478 Check: 0.0 Back: 1.47
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: 2.005 Prop: 34.937 PropClause: 28.779 Set: 34.558 Check: 0.0 Back: 1.48
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: 2.007 Prop: 35.043 PropClause: 28.872 Set: 34.624 Check: 0.0 Back: 1.491
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: 2.008 Prop: 35.155 PropClause: 28.969 Set: 34.704 Check: 0.0 Back: 1.5
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: 2.01 Prop: 35.279 PropClause: 29.077 Set: 34.782 Check: 0.0 Back: 1.51
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: 2.013 Prop: 35.395 PropClause: 29.178 Set: 34.857 Check: 0.0 Back: 1.52
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: 2.015 Prop: 35.511 PropClause: 29.28 Set: 34.936 Check: 0.0 Back: 1.53
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: 2.017 Prop: 35.629 PropClause: 29.382 Set: 35.027 Check: 0.0 Back: 1.54
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: 2.019 Prop: 35.745 PropClause: 29.483 Set: 35.104 Check: 0.0 Back: 1.55
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: 2.021 Prop: 35.861 PropClause: 29.584 Set: 35.187 Check: 0.0 Back: 1.561
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: 2.427 Prop: 35.978 PropClause: 29.686 Set: 35.262 Check: 0.0 Back: 1.571
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: 2.439 Prop: 36.113 PropClause: 29.803 Set: 35.372 Check: 0.0 Back: 1.581
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: 2.45 Prop: 36.237 PropClause: 29.912 Set: 35.451 Check: 0.0 Back: 1.592
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: 2.452 Prop: 36.36 PropClause: 30.02 Set: 35.534 Check: 0.0 Back: 1.602
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: 2.455 Prop: 36.488 PropClause: 30.133 Set: 35.63 Check: 0.0 Back: 1.613
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: 2.462 Prop: 36.617 PropClause: 30.247 Set: 35.713 Check: 0.0 Back: 1.623
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: 2.469 Prop: 36.736 PropClause: 30.349 Set: 35.797 Check: 0.0 Back: 1.633
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: 2.471 Prop: 36.853 PropClause: 30.449 Set: 35.873 Check: 0.0 Back: 1.643
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: 2.474 Prop: 36.978 PropClause: 30.56 Set: 35.951 Check: 0.0 Back: 1.654
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: 2.476 Prop: 37.094 PropClause: 30.661 Set: 36.031 Check: 0.0 Back: 1.664
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: 2.478 Prop: 37.213 PropClause: 30.765 Set: 36.109 Check: 0.0 Back: 1.674
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: 2.48 Prop: 37.34 PropClause: 30.878 Set: 36.19 Check: 0.0 Back: 1.685
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: 2.482 Prop: 37.458 PropClause: 30.98 Set: 36.265 Check: 0.0 Back: 1.696
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: 2.484 Prop: 37.573 PropClause: 31.08 Set: 36.343 Check: 0.0 Back: 1.706
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.486 Prop: 37.69 PropClause: 31.183 Set: 36.429 Check: 0.0 Back: 1.716
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.488 Prop: 37.807 PropClause: 31.286 Set: 36.506 Check: 0.0 Back: 1.726
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.489 Prop: 37.926 PropClause: 31.389 Set: 36.581 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: 177 Props: 76109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.492 Prop: 38.04 PropClause: 31.489 Set: 36.657 Check: 0.0 Back: 1.747
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.494 Prop: 38.156 PropClause: 31.591 Set: 36.741 Check: 0.0 Back: 1.757
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.497 Prop: 38.275 PropClause: 31.695 Set: 36.815 Check: 0.0 Back: 1.767
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.498 Prop: 38.392 PropClause: 31.798 Set: 36.892 Check: 0.0 Back: 1.777
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.501 Prop: 38.51 PropClause: 31.901 Set: 36.973 Check: 0.0 Back: 1.787
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.503 Prop: 38.629 PropClause: 32.004 Set: 37.053 Check: 0.0 Back: 1.797
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.505 Prop: 38.747 PropClause: 32.108 Set: 37.131 Check: 0.0 Back: 1.808
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.507 Prop: 38.872 PropClause: 32.215 Set: 37.207 Check: 0.0 Back: 1.818
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.509 Prop: 38.991 PropClause: 32.319 Set: 37.286 Check: 0.0 Back: 1.828
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.511 Prop: 39.108 PropClause: 32.42 Set: 37.369 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: 187 Props: 80559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.514 Prop: 39.224 PropClause: 32.522 Set: 37.441 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: 188 Props: 81004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.515 Prop: 39.344 PropClause: 32.627 Set: 37.52 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: 189 Props: 81449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.517 Prop: 39.462 PropClause: 32.73 Set: 37.595 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: 190 Props: 81894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.519 Prop: 39.582 PropClause: 32.834 Set: 37.671 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: 191 Props: 82339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.523 Prop: 39.7 PropClause: 32.939 Set: 37.747 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: 192 Props: 82784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.525 Prop: 39.821 PropClause: 33.045 Set: 37.824 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: 193 Props: 83229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.527 Prop: 39.938 PropClause: 33.147 Set: 37.899 Check: 0.0 Back: 1.911
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.529 Prop: 40.058 PropClause: 33.251 Set: 37.977 Check: 0.0 Back: 1.921
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.531 Prop: 40.177 PropClause: 33.356 Set: 38.053 Check: 0.0 Back: 1.931
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.533 Prop: 40.293 PropClause: 33.458 Set: 38.133 Check: 0.0 Back: 1.941
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.642 Prop: 40.429 PropClause: 33.575 Set: 38.213 Check: 0.0 Back: 1.951
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.646 Prop: 40.551 PropClause: 33.682 Set: 38.295 Check: 0.0 Back: 1.961
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.649 Prop: 40.673 PropClause: 33.788 Set: 38.378 Check: 0.0 Back: 1.971
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.652 Prop: 40.789 PropClause: 33.89 Set: 38.466 Check: 0.0 Back: 1.982
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.655 Prop: 40.911 PropClause: 33.996 Set: 38.546 Check: 0.0 Back: 1.992
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.657 Prop: 41.034 PropClause: 34.103 Set: 38.633 Check: 0.0 Back: 2.002
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.661 Prop: 41.153 PropClause: 34.207 Set: 38.707 Check: 0.0 Back: 2.012
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.663 Prop: 41.273 PropClause: 34.312 Set: 38.784 Check: 0.0 Back: 2.022
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.666 Prop: 41.394 PropClause: 34.418 Set: 38.861 Check: 0.0 Back: 2.033
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.668 Prop: 41.514 PropClause: 34.523 Set: 38.941 Check: 0.0 Back: 2.043
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.671 Prop: 41.632 PropClause: 34.626 Set: 39.017 Check: 0.0 Back: 2.053
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.674 Prop: 41.749 PropClause: 34.729 Set: 39.093 Check: 0.0 Back: 2.063
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.676 Prop: 41.867 PropClause: 34.831 Set: 39.17 Check: 0.0 Back: 2.073
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.678 Prop: 41.955 PropClause: 34.908 Set: 39.224 Check: 0.0 Back: 2.084
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.681 Prop: 42.064 PropClause: 35.002 Set: 39.304 Check: 0.0 Back: 2.092
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.683 Prop: 42.164 PropClause: 35.09 Set: 39.367 Check: 0.0 Back: 2.102
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.686 Prop: 42.286 PropClause: 35.197 Set: 39.449 Check: 0.0 Back: 2.11
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.688 Prop: 42.404 PropClause: 35.3 Set: 39.532 Check: 0.0 Back: 2.121
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.69 Prop: 42.504 PropClause: 35.387 Set: 39.597 Check: 0.0 Back: 2.131
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.693 Prop: 42.617 PropClause: 35.486 Set: 39.679 Check: 0.0 Back: 2.139
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.695 Prop: 42.71 PropClause: 35.568 Set: 39.732 Check: 0.0 Back: 2.149
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.697 Prop: 42.82 PropClause: 35.663 Set: 39.807 Check: 0.0 Back: 2.157
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.7 Prop: 42.939 PropClause: 35.766 Set: 39.885 Check: 0.0 Back: 2.168
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.703 Prop: 43.042 PropClause: 35.856 Set: 39.946 Check: 0.0 Back: 2.178
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.705 Prop: 43.154 PropClause: 35.952 Set: 40.024 Check: 0.0 Back: 2.187
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.708 Prop: 43.272 PropClause: 36.055 Set: 40.104 Check: 0.0 Back: 2.197
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.711 Prop: 43.38 PropClause: 36.151 Set: 40.173 Check: 0.0 Back: 2.207
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.714 Prop: 43.506 PropClause: 36.263 Set: 40.237 Check: 0.0 Back: 2.216
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.716 Prop: 43.609 PropClause: 36.352 Set: 40.3 Check: 0.0 Back: 2.231
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.718 Prop: 43.715 PropClause: 36.444 Set: 40.369 Check: 0.0 Back: 2.24
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.72 Prop: 43.818 PropClause: 36.534 Set: 40.438 Check: 0.0 Back: 2.249
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.722 Prop: 43.921 PropClause: 36.624 Set: 40.507 Check: 0.0 Back: 2.259
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.725 Prop: 44.024 PropClause: 36.714 Set: 40.573 Check: 0.0 Back: 2.268
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.728 Prop: 44.127 PropClause: 36.803 Set: 40.641 Check: 0.0 Back: 2.277
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.731 Prop: 44.242 PropClause: 36.904 Set: 40.726 Check: 0.0 Back: 2.286
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.733 Prop: 44.334 PropClause: 36.985 Set: 40.782 Check: 0.0 Back: 2.296
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.736 Prop: 44.442 PropClause: 37.079 Set: 40.862 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: 234 Props: 100595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.739 Prop: 44.56 PropClause: 37.181 Set: 40.939 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: 235 Props: 101040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.742 Prop: 44.674 PropClause: 37.282 Set: 41.022 Check: 0.0 Back: 2.325
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.745 Prop: 44.794 PropClause: 37.387 Set: 41.105 Check: 0.0 Back: 2.335
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.747 Prop: 44.894 PropClause: 37.475 Set: 41.166 Check: 0.0 Back: 2.345
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.751 Prop: 45.003 PropClause: 37.57 Set: 41.295 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: 239 Props: 102751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.753 Prop: 45.124 PropClause: 37.677 Set: 41.444 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: 240 Props: 103196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.758 Prop: 45.246 PropClause: 37.783 Set: 41.583 Check: 0.0 Back: 2.373
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.762 Prop: 45.366 PropClause: 37.889 Set: 41.738 Check: 0.0 Back: 2.384
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.766 Prop: 45.472 PropClause: 37.982 Set: 41.866 Check: 0.0 Back: 2.394
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.772 Prop: 45.59 PropClause: 38.086 Set: 41.993 Check: 0.0 Back: 2.403
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.774 Prop: 45.71 PropClause: 38.191 Set: 42.132 Check: 0.0 Back: 2.413
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.776 Prop: 45.821 PropClause: 38.289 Set: 42.254 Check: 0.0 Back: 2.423
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.778 Prop: 45.938 PropClause: 38.391 Set: 42.391 Check: 0.0 Back: 2.432
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.78 Prop: 46.028 PropClause: 38.471 Set: 42.484 Check: 0.0 Back: 2.442
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.782 Prop: 46.14 PropClause: 38.569 Set: 42.617 Check: 0.0 Back: 2.45
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.784 Prop: 46.256 PropClause: 38.67 Set: 42.755 Check: 0.0 Back: 2.46
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.786 Prop: 46.375 PropClause: 38.776 Set: 42.876 Check: 0.0 Back: 2.47
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.789 Prop: 46.492 PropClause: 38.879 Set: 43.004 Check: 0.0 Back: 2.479
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.791 Prop: 46.611 PropClause: 38.984 Set: 43.142 Check: 0.0 Back: 2.49
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.793 Prop: 46.718 PropClause: 39.078 Set: 43.247 Check: 0.0 Back: 2.5
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.795 Prop: 46.811 PropClause: 39.159 Set: 43.356 Check: 0.0 Back: 2.508
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.797 Prop: 46.904 PropClause: 39.239 Set: 43.454 Check: 0.0 Back: 2.517
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.799 Prop: 47.093 PropClause: 39.33 Set: 43.569 Check: 0.0 Back: 2.525
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.804 Prop: 47.219 PropClause: 39.432 Set: 43.694 Check: 0.0 Back: 2.534
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.805 Prop: 47.327 PropClause: 39.527 Set: 43.813 Check: 0.0 Back: 2.545
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.807 Prop: 47.443 PropClause: 39.628 Set: 43.967 Check: 0.0 Back: 2.554
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.81 Prop: 47.54 PropClause: 39.715 Set: 44.074 Check: 0.0 Back: 2.564
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.813 Prop: 47.649 PropClause: 39.809 Set: 44.196 Check: 0.0 Back: 2.571
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.815 Prop: 47.751 PropClause: 39.899 Set: 44.302 Check: 0.0 Back: 2.581
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.818 Prop: 47.866 PropClause: 39.999 Set: 44.433 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: 264 Props: 113143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.821 Prop: 47.988 PropClause: 40.107 Set: 44.57 Check: 0.0 Back: 2.6
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.823 Prop: 48.1 PropClause: 40.206 Set: 44.707 Check: 0.0 Back: 2.61
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.825 Prop: 48.201 PropClause: 40.294 Set: 44.826 Check: 0.0 Back: 2.621
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.827 Prop: 48.307 PropClause: 40.385 Set: 44.952 Check: 0.0 Back: 2.63
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.829 Prop: 48.424 PropClause: 40.488 Set: 45.074 Check: 0.0 Back: 2.64
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.831 Prop: 48.531 PropClause: 40.582 Set: 45.195 Check: 0.0 Back: 2.65
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.834 Prop: 48.639 PropClause: 40.676 Set: 45.335 Check: 0.0 Back: 2.66
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.838 Prop: 48.752 PropClause: 40.775 Set: 45.469 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: 272 Props: 116637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.84 Prop: 48.865 PropClause: 40.872 Set: 45.607 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: 273 Props: 117082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.844 Prop: 48.979 PropClause: 40.973 Set: 45.741 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: 274 Props: 117527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.847 Prop: 49.093 PropClause: 41.072 Set: 45.855 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: 275 Props: 117972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.85 Prop: 49.205 PropClause: 41.17 Set: 45.991 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: 276 Props: 118417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.853 Prop: 49.319 PropClause: 41.27 Set: 46.126 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: 277 Props: 118862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.857 Prop: 49.434 PropClause: 41.369 Set: 46.26 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: 278 Props: 119307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.861 Prop: 49.562 PropClause: 41.483 Set: 46.383 Check: 0.0 Back: 2.741
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.863 Prop: 49.677 PropClause: 41.583 Set: 46.526 Check: 0.0 Back: 2.751
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.866 Prop: 49.785 PropClause: 41.678 Set: 46.67 Check: 0.0 Back: 2.761
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.893 Prop: 49.902 PropClause: 41.779 Set: 46.803 Check: 0.0 Back: 2.771
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.898 Prop: 50.013 PropClause: 41.876 Set: 46.929 Check: 0.0 Back: 2.781
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.9 Prop: 50.129 PropClause: 41.979 Set: 47.05 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: 284 Props: 121948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.902 Prop: 50.232 PropClause: 42.069 Set: 47.168 Check: 0.0 Back: 2.801
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.905 Prop: 50.345 PropClause: 42.168 Set: 47.297 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: 286 Props: 122838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.907 Prop: 50.456 PropClause: 42.265 Set: 47.442 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: 287 Props: 123283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.923 Prop: 50.565 PropClause: 42.36 Set: 47.571 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: 288 Props: 123728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.927 Prop: 50.683 PropClause: 42.463 Set: 47.69 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: 289 Props: 124173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.929 Prop: 50.8 PropClause: 42.566 Set: 47.82 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: 290 Props: 124618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.932 Prop: 50.915 PropClause: 42.667 Set: 47.951 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: 291 Props: 125063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.935 Prop: 51.026 PropClause: 42.763 Set: 48.083 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: 292 Props: 125508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.939 Prop: 51.135 PropClause: 42.859 Set: 48.221 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: 293 Props: 125953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.944 Prop: 51.246 PropClause: 42.956 Set: 48.355 Check: 0.0 Back: 2.893
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.946 Prop: 51.358 PropClause: 43.053 Set: 48.489 Check: 0.0 Back: 2.903
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.951 Prop: 51.472 PropClause: 43.152 Set: 48.617 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: 296 Props: 127288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.955 Prop: 51.588 PropClause: 43.253 Set: 48.747 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: 297 Props: 127733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.958 Prop: 51.699 PropClause: 43.35 Set: 48.867 Check: 0.0 Back: 2.934
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.96 Prop: 51.812 PropClause: 43.448 Set: 48.988 Check: 0.0 Back: 2.944
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.964 Prop: 51.926 PropClause: 43.548 Set: 49.13 Check: 0.0 Back: 2.954
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.966 Prop: 52.037 PropClause: 43.645 Set: 49.265 Check: 0.0 Back: 2.964
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.968 Prop: 52.151 PropClause: 43.745 Set: 49.4 Check: 0.0 Back: 2.974
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.97 Prop: 52.265 PropClause: 43.845 Set: 49.536 Check: 0.0 Back: 2.985
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.974 Prop: 52.38 PropClause: 43.944 Set: 49.674 Check: 0.0 Back: 2.995
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.976 Prop: 52.494 PropClause: 44.044 Set: 49.801 Check: 0.0 Back: 3.005
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.979 Prop: 52.603 PropClause: 44.139 Set: 49.93 Check: 0.0 Back: 3.015
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.981 Prop: 52.717 PropClause: 44.239 Set: 50.051 Check: 0.0 Back: 3.025
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.985 Prop: 52.833 PropClause: 44.341 Set: 50.169 Check: 0.0 Back: 3.035
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.989 Prop: 52.943 PropClause: 44.437 Set: 50.293 Check: 0.0 Back: 3.046
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.992 Prop: 53.066 PropClause: 44.545 Set: 50.415 Check: 0.0 Back: 3.056
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.995 Prop: 53.181 PropClause: 44.646 Set: 50.552 Check: 0.0 Back: 3.066
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.997 Prop: 53.289 PropClause: 44.74 Set: 50.689 Check: 0.0 Back: 3.076
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: 3.0 Prop: 53.408 PropClause: 44.843 Set: 50.824 Check: 0.0 Back: 3.086
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: 3.005 Prop: 53.518 PropClause: 44.938 Set: 50.904 Check: 0.0 Back: 3.096
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: 3.008 Prop: 53.625 PropClause: 45.031 Set: 50.987 Check: 0.0 Back: 3.106
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: 3.01 Prop: 53.735 PropClause: 45.126 Set: 51.071 Check: 0.0 Back: 3.116
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: 3.012 Prop: 53.844 PropClause: 45.219 Set: 51.156 Check: 0.0 Back: 3.126
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: 3.015 Prop: 53.951 PropClause: 45.312 Set: 51.237 Check: 0.0 Back: 3.136
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: 3.017 Prop: 54.057 PropClause: 45.403 Set: 51.313 Check: 0.0 Back: 3.146
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: 3.02 Prop: 54.165 PropClause: 45.497 Set: 51.394 Check: 0.0 Back: 3.156
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: 3.022 Prop: 54.26 PropClause: 45.579 Set: 51.473 Check: 0.0 Back: 3.167
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: 3.024 Prop: 54.364 PropClause: 45.668 Set: 51.551 Check: 0.0 Back: 3.176
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: 3.027 Prop: 54.471 PropClause: 45.761 Set: 51.628 Check: 0.0 Back: 3.186
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: 3.029 Prop: 54.581 PropClause: 45.855 Set: 51.71 Check: 0.0 Back: 3.197
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: 3.039 Prop: 54.687 PropClause: 45.948 Set: 51.788 Check: 0.0 Back: 3.207
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: 3.041 Prop: 54.795 PropClause: 46.04 Set: 51.866 Check: 0.0 Back: 3.217
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: 3.044 Prop: 54.899 PropClause: 46.13 Set: 51.946 Check: 0.0 Back: 3.227
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: 3.047 Prop: 55.006 PropClause: 46.222 Set: 52.029 Check: 0.0 Back: 3.237
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: 3.049 Prop: 55.116 PropClause: 46.319 Set: 52.116 Check: 0.0 Back: 3.247
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: 3.052 Prop: 55.222 PropClause: 46.41 Set: 52.199 Check: 0.0 Back: 3.257
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: 3.055 Prop: 55.332 PropClause: 46.504 Set: 52.278 Check: 0.0 Back: 3.267
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: 3.057 Prop: 55.439 PropClause: 46.598 Set: 52.358 Check: 0.0 Back: 3.277
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: 3.059 Prop: 55.556 PropClause: 46.7 Set: 52.434 Check: 0.0 Back: 3.287
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: 3.064 Prop: 55.664 PropClause: 46.793 Set: 52.511 Check: 0.0 Back: 3.298
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: 3.066 Prop: 55.773 PropClause: 46.887 Set: 52.591 Check: 0.0 Back: 3.308
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: 3.07 Prop: 55.879 PropClause: 46.978 Set: 52.682 Check: 0.0 Back: 3.318
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: 3.072 Prop: 55.995 PropClause: 47.08 Set: 52.758 Check: 0.0 Back: 3.328
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: 3.074 Prop: 56.102 PropClause: 47.171 Set: 52.837 Check: 0.0 Back: 3.338
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: 3.076 Prop: 56.211 PropClause: 47.265 Set: 52.915 Check: 0.0 Back: 3.348
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: 3.078 Prop: 56.321 PropClause: 47.36 Set: 53.0 Check: 0.0 Back: 3.358
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: 3.081 Prop: 56.442 PropClause: 47.466 Set: 53.084 Check: 0.0 Back: 3.368
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: 3.083 Prop: 56.548 PropClause: 47.557 Set: 53.164 Check: 0.0 Back: 3.378
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: 3.085 Prop: 56.659 PropClause: 47.654 Set: 53.245 Check: 0.0 Back: 3.388
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: 3.087 Prop: 56.769 PropClause: 47.748 Set: 53.327 Check: 0.0 Back: 3.398
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: 3.09 Prop: 56.877 PropClause: 47.842 Set: 53.412 Check: 0.0 Back: 3.408
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: 3.092 Prop: 56.986 PropClause: 47.935 Set: 53.492 Check: 0.0 Back: 3.419
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: 3.096 Prop: 57.103 PropClause: 48.038 Set: 53.573 Check: 0.0 Back: 3.429
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: 3.097 Prop: 57.21 PropClause: 48.131 Set: 53.657 Check: 0.0 Back: 3.439
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: 3.102 Prop: 57.327 PropClause: 48.228 Set: 53.739 Check: 0.0 Back: 3.449
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: 3.104 Prop: 57.436 PropClause: 48.323 Set: 53.83 Check: 0.0 Back: 3.459
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: 3.107 Prop: 57.542 PropClause: 48.415 Set: 53.91 Check: 0.0 Back: 3.47
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: 3.11 Prop: 57.649 PropClause: 48.507 Set: 53.994 Check: 0.0 Back: 3.48
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: 3.113 Prop: 57.757 PropClause: 48.599 Set: 54.078 Check: 0.0 Back: 3.49
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: 3.115 Prop: 57.867 PropClause: 48.694 Set: 54.169 Check: 0.0 Back: 3.5
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: 3.117 Prop: 57.975 PropClause: 48.788 Set: 54.252 Check: 0.0 Back: 3.51
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: 3.119 Prop: 58.085 PropClause: 48.884 Set: 54.332 Check: 0.0 Back: 3.52
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: 3.123 Prop: 58.192 PropClause: 48.976 Set: 54.411 Check: 0.0 Back: 3.531
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: 3.125 Prop: 58.3 PropClause: 49.07 Set: 54.492 Check: 0.0 Back: 3.541
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: 3.128 Prop: 58.406 PropClause: 49.161 Set: 54.575 Check: 0.0 Back: 3.551
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: 3.131 Prop: 58.515 PropClause: 49.254 Set: 54.653 Check: 0.0 Back: 3.561
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: 3.135 Prop: 58.625 PropClause: 49.349 Set: 54.727 Check: 0.0 Back: 3.571
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: 3.137 Prop: 58.732 PropClause: 49.441 Set: 54.804 Check: 0.0 Back: 3.581
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: 3.14 Prop: 58.838 PropClause: 49.533 Set: 54.879 Check: 0.0 Back: 3.591
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: 3.142 Prop: 58.944 PropClause: 49.625 Set: 54.957 Check: 0.0 Back: 3.601
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: 3.145 Prop: 59.052 PropClause: 49.719 Set: 55.046 Check: 0.0 Back: 3.612
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: 3.148 Prop: 59.16 PropClause: 49.812 Set: 55.123 Check: 0.0 Back: 3.622
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: 3.151 Prop: 59.293 PropClause: 49.909 Set: 55.204 Check: 0.0 Back: 3.632
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: 3.154 Prop: 59.416 PropClause: 50.015 Set: 55.282 Check: 0.0 Back: 3.642
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: 3.156 Prop: 59.527 PropClause: 50.108 Set: 55.361 Check: 0.0 Back: 3.652
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: 3.158 Prop: 59.64 PropClause: 50.202 Set: 55.438 Check: 0.0 Back: 3.662
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: 39.939 Prop: 576.349 PropClause: 1.773 Set: 155.488 Check: 3.619 Back: 4.564
INFO - Atoms: 34/37 Clauses: 381 Axioms: 38
INFO - CCTimes: iE 3931 eq 2849626 cc 2013017 setRep 502474
INFO - Merges: 1930, cc:1152
INFO - BVTimes: BB 13675170 BB_DPLL 289926732 Graph 49670
INFO - BitBlastingClauses: 11751 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat