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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 7440846
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.281 Prop: 2.589 PropClause: 2.355 Set: 1.805 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.297 Prop: 3.807 PropClause: 3.398 Set: 3.007 Check: 0.0 Back: 0.017
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.308 Prop: 4.543 PropClause: 3.993 Set: 4.074 Check: 0.0 Back: 0.032
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.326 Prop: 4.72 PropClause: 4.113 Set: 4.492 Check: 0.0 Back: 0.049
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.336 Prop: 4.862 PropClause: 4.2 Set: 4.659 Check: 0.0 Back: 0.067
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.346 Prop: 5.032 PropClause: 4.308 Set: 4.84 Check: 0.0 Back: 0.075
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.355 Prop: 5.188 PropClause: 4.406 Set: 5.017 Check: 0.0 Back: 0.085
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.366 Prop: 5.354 PropClause: 4.508 Set: 5.192 Check: 0.0 Back: 0.093
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.378 Prop: 5.539 PropClause: 4.627 Set: 5.381 Check: 0.0 Back: 0.103
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.406 Prop: 5.742 PropClause: 4.749 Set: 5.558 Check: 0.0 Back: 0.113
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.416 Prop: 5.926 PropClause: 4.864 Set: 5.733 Check: 0.0 Back: 0.123
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.426 Prop: 6.112 PropClause: 4.983 Set: 5.957 Check: 0.0 Back: 0.132
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.436 Prop: 6.301 PropClause: 5.103 Set: 6.138 Check: 0.0 Back: 0.142
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.447 Prop: 6.493 PropClause: 5.227 Set: 6.31 Check: 0.0 Back: 0.152
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.491 Prop: 20.406 PropClause: 19.047 Set: 6.554 Check: 0.0 Back: 0.162
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.52 Prop: 20.648 PropClause: 19.205 Set: 6.732 Check: 0.0 Back: 0.172
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.532 Prop: 20.863 PropClause: 19.35 Set: 6.938 Check: 0.0 Back: 0.181
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.542 Prop: 21.069 PropClause: 19.487 Set: 7.137 Check: 0.0 Back: 0.191
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.552 Prop: 21.278 PropClause: 19.624 Set: 7.336 Check: 0.0 Back: 0.201
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.564 Prop: 21.496 PropClause: 19.768 Set: 7.618 Check: 0.0 Back: 0.211
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.574 Prop: 21.71 PropClause: 19.911 Set: 7.847 Check: 0.0 Back: 0.221
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.586 Prop: 21.924 PropClause: 20.051 Set: 8.084 Check: 0.0 Back: 0.231
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.618 Prop: 22.086 PropClause: 20.189 Set: 8.327 Check: 0.0 Back: 0.241
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.63 Prop: 22.249 PropClause: 20.338 Set: 8.55 Check: 0.0 Back: 0.251
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.642 Prop: 22.403 PropClause: 20.479 Set: 8.778 Check: 0.0 Back: 0.261
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.654 Prop: 22.553 PropClause: 20.616 Set: 9.023 Check: 0.0 Back: 0.271
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.664 Prop: 22.705 PropClause: 20.754 Set: 9.269 Check: 0.0 Back: 0.281
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.676 Prop: 22.858 PropClause: 20.894 Set: 9.507 Check: 0.0 Back: 0.291
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.689 Prop: 23.017 PropClause: 21.039 Set: 9.752 Check: 0.0 Back: 0.301
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.702 Prop: 23.176 PropClause: 21.183 Set: 9.995 Check: 0.0 Back: 0.311
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.716 Prop: 23.346 PropClause: 21.34 Set: 10.22 Check: 0.0 Back: 0.321
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.725 Prop: 23.497 PropClause: 21.477 Set: 10.448 Check: 0.0 Back: 0.331
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.743 Prop: 23.654 PropClause: 21.619 Set: 10.672 Check: 0.0 Back: 0.341
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.752 Prop: 23.819 PropClause: 21.771 Set: 10.879 Check: 0.0 Back: 0.351
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.762 Prop: 23.983 PropClause: 21.922 Set: 11.092 Check: 0.0 Back: 0.361
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.772 Prop: 24.133 PropClause: 22.058 Set: 11.326 Check: 0.0 Back: 0.371
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.781 Prop: 24.281 PropClause: 22.192 Set: 11.555 Check: 0.0 Back: 0.38
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.791 Prop: 24.431 PropClause: 22.329 Set: 11.783 Check: 0.0 Back: 0.39
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.8 Prop: 24.578 PropClause: 22.463 Set: 12.002 Check: 0.0 Back: 0.4
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.81 Prop: 24.725 PropClause: 22.597 Set: 12.23 Check: 0.0 Back: 0.41
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.819 Prop: 24.88 PropClause: 22.738 Set: 12.457 Check: 0.0 Back: 0.419
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.831 Prop: 25.037 PropClause: 22.881 Set: 13.655 Check: 0.0 Back: 0.429
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.842 Prop: 25.193 PropClause: 23.024 Set: 13.882 Check: 0.0 Back: 0.439
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.853 Prop: 25.352 PropClause: 23.169 Set: 14.107 Check: 0.0 Back: 0.449
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: 0.868 Prop: 25.511 PropClause: 23.315 Set: 14.348 Check: 0.0 Back: 0.459
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: 0.88 Prop: 25.674 PropClause: 23.464 Set: 14.575 Check: 0.0 Back: 0.469
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.006 Prop: 25.835 PropClause: 23.603 Set: 14.731 Check: 0.0 Back: 0.479
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.02 Prop: 25.98 PropClause: 23.735 Set: 14.965 Check: 0.0 Back: 0.487
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.028 Prop: 26.133 PropClause: 23.874 Set: 15.23 Check: 0.0 Back: 0.498
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.044 Prop: 26.29 PropClause: 24.018 Set: 15.481 Check: 0.0 Back: 0.508
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.053 Prop: 26.388 PropClause: 24.107 Set: 15.628 Check: 0.0 Back: 0.518
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.069 Prop: 26.586 PropClause: 24.229 Set: 15.864 Check: 0.0 Back: 0.524
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.079 Prop: 27.923 PropClause: 24.377 Set: 16.084 Check: 0.0 Back: 0.534
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.09 Prop: 28.087 PropClause: 24.521 Set: 16.296 Check: 0.0 Back: 0.544
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.098 Prop: 28.217 PropClause: 24.633 Set: 16.453 Check: 0.0 Back: 0.554
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.111 Prop: 28.366 PropClause: 24.762 Set: 16.664 Check: 0.0 Back: 0.562
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.119 Prop: 28.527 PropClause: 24.901 Set: 16.877 Check: 0.0 Back: 0.572
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.134 Prop: 28.687 PropClause: 25.046 Set: 17.087 Check: 0.0 Back: 0.582
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.2 Prop: 28.816 PropClause: 25.163 Set: 17.245 Check: 0.0 Back: 0.593
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.204 Prop: 28.935 PropClause: 25.269 Set: 17.421 Check: 0.0 Back: 0.601
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.218 Prop: 29.1 PropClause: 25.389 Set: 17.622 Check: 0.0 Back: 0.609
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.24 Prop: 29.238 PropClause: 25.505 Set: 17.784 Check: 0.0 Back: 0.618
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.245 Prop: 29.391 PropClause: 25.642 Set: 18.003 Check: 0.0 Back: 0.627
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.248 Prop: 29.55 PropClause: 25.787 Set: 18.214 Check: 0.0 Back: 0.637
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.253 Prop: 29.717 PropClause: 25.938 Set: 18.449 Check: 0.0 Back: 0.647
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.257 Prop: 29.877 PropClause: 26.083 Set: 18.664 Check: 0.0 Back: 0.657
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.26 Prop: 30.034 PropClause: 26.225 Set: 18.869 Check: 0.0 Back: 0.667
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.266 Prop: 30.193 PropClause: 26.368 Set: 19.082 Check: 0.0 Back: 0.677
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.28 Prop: 30.347 PropClause: 26.507 Set: 25.733 Check: 0.0 Back: 0.688
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.285 Prop: 30.469 PropClause: 26.614 Set: 25.9 Check: 0.0 Back: 0.698
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.29 Prop: 30.594 PropClause: 26.723 Set: 26.103 Check: 0.0 Back: 0.708
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.296 Prop: 30.712 PropClause: 26.826 Set: 26.311 Check: 0.0 Back: 0.718
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.299 Prop: 30.826 PropClause: 26.926 Set: 26.477 Check: 0.0 Back: 0.728
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.304 Prop: 30.944 PropClause: 27.029 Set: 26.663 Check: 0.0 Back: 0.738
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.308 Prop: 31.042 PropClause: 27.113 Set: 26.805 Check: 0.0 Back: 0.748
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.311 Prop: 31.141 PropClause: 27.199 Set: 26.953 Check: 0.0 Back: 0.757
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.314 Prop: 31.248 PropClause: 27.292 Set: 27.11 Check: 0.0 Back: 0.766
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.318 Prop: 31.354 PropClause: 27.384 Set: 27.256 Check: 0.0 Back: 0.775
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.481 Prop: 31.454 PropClause: 27.471 Set: 27.416 Check: 0.0 Back: 0.784
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.497 Prop: 31.562 PropClause: 27.564 Set: 27.576 Check: 0.0 Back: 0.794
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.499 Prop: 31.662 PropClause: 27.651 Set: 27.727 Check: 0.0 Back: 0.803
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.502 Prop: 31.76 PropClause: 27.736 Set: 27.873 Check: 0.0 Back: 0.812
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.504 Prop: 31.87 PropClause: 27.831 Set: 28.049 Check: 0.0 Back: 0.821
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.507 Prop: 31.985 PropClause: 27.931 Set: 28.154 Check: 0.0 Back: 0.831
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.51 Prop: 32.095 PropClause: 28.026 Set: 28.23 Check: 0.0 Back: 0.841
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.513 Prop: 32.207 PropClause: 28.123 Set: 28.304 Check: 0.0 Back: 0.851
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.516 Prop: 32.314 PropClause: 28.215 Set: 28.38 Check: 0.0 Back: 0.861
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.519 Prop: 32.425 PropClause: 28.311 Set: 28.459 Check: 0.0 Back: 0.871
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.523 Prop: 32.537 PropClause: 28.407 Set: 28.537 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: 90 Props: 37874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.526 Prop: 32.647 PropClause: 28.503 Set: 28.612 Check: 0.0 Back: 0.891
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.53 Prop: 32.76 PropClause: 28.6 Set: 28.692 Check: 0.0 Back: 0.901
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.535 Prop: 32.871 PropClause: 28.696 Set: 28.768 Check: 0.0 Back: 0.911
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.537 Prop: 32.98 PropClause: 28.79 Set: 28.841 Check: 0.0 Back: 0.922
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.54 Prop: 33.092 PropClause: 28.887 Set: 28.917 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: 95 Props: 40097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.543 Prop: 33.203 PropClause: 28.983 Set: 28.997 Check: 0.0 Back: 0.942
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.547 Prop: 33.314 PropClause: 29.079 Set: 29.075 Check: 0.0 Back: 0.952
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.55 Prop: 33.424 PropClause: 29.174 Set: 29.171 Check: 0.0 Back: 0.962
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.554 Prop: 33.534 PropClause: 29.269 Set: 29.247 Check: 0.0 Back: 0.972
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.557 Prop: 33.645 PropClause: 29.364 Set: 29.326 Check: 0.0 Back: 0.982
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.56 Prop: 33.757 PropClause: 29.461 Set: 29.406 Check: 0.0 Back: 0.992
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.563 Prop: 33.868 PropClause: 29.558 Set: 29.485 Check: 0.0 Back: 1.002
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.566 Prop: 33.986 PropClause: 29.661 Set: 29.556 Check: 0.0 Back: 1.012
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.57 Prop: 34.098 PropClause: 29.756 Set: 29.633 Check: 0.0 Back: 1.728
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.588 Prop: 34.209 PropClause: 29.853 Set: 29.71 Check: 0.0 Back: 1.738
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.593 Prop: 34.32 PropClause: 29.949 Set: 29.786 Check: 0.0 Back: 1.748
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 44989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.596 Prop: 34.431 PropClause: 30.044 Set: 29.868 Check: 0.0 Back: 1.758
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 45434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.599 Prop: 34.542 PropClause: 30.14 Set: 29.949 Check: 0.0 Back: 1.768
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 45794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.602 Prop: 34.631 PropClause: 30.218 Set: 30.006 Check: 0.0 Back: 1.779
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.605 Prop: 34.744 PropClause: 30.309 Set: 30.088 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: 110 Props: 46636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.61 Prop: 34.854 PropClause: 30.406 Set: 30.155 Check: 0.0 Back: 1.797
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.616 Prop: 34.95 PropClause: 30.489 Set: 30.22 Check: 0.0 Back: 1.806
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.619 Prop: 35.057 PropClause: 30.58 Set: 30.297 Check: 0.0 Back: 1.814
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.621 Prop: 35.165 PropClause: 30.674 Set: 30.377 Check: 0.0 Back: 1.824
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.624 Prop: 35.276 PropClause: 30.769 Set: 30.459 Check: 0.0 Back: 1.834
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.626 Prop: 35.385 PropClause: 30.863 Set: 30.538 Check: 0.0 Back: 1.844
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.628 Prop: 35.469 PropClause: 30.937 Set: 30.591 Check: 0.0 Back: 1.854
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.632 Prop: 35.569 PropClause: 31.021 Set: 30.668 Check: 0.0 Back: 1.862
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.635 Prop: 35.68 PropClause: 31.118 Set: 30.747 Check: 0.0 Back: 1.872
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.638 Prop: 35.773 PropClause: 31.198 Set: 30.808 Check: 0.0 Back: 1.882
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.641 Prop: 35.877 PropClause: 31.287 Set: 30.883 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: 121 Props: 51242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.644 Prop: 35.977 PropClause: 31.372 Set: 30.952 Check: 0.0 Back: 1.9
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.647 Prop: 36.084 PropClause: 31.465 Set: 31.026 Check: 0.0 Back: 1.909
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 52132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.651 Prop: 36.194 PropClause: 31.56 Set: 31.101 Check: 0.0 Back: 1.919
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.654 Prop: 36.305 PropClause: 31.656 Set: 31.176 Check: 0.0 Back: 1.929
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.656 Prop: 36.414 PropClause: 31.752 Set: 31.247 Check: 0.0 Back: 1.94
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 53467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.66 Prop: 36.527 PropClause: 31.848 Set: 31.326 Check: 0.0 Back: 1.95
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 53911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.663 Prop: 36.636 PropClause: 31.943 Set: 31.401 Check: 0.0 Back: 1.96
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.667 Prop: 36.803 PropClause: 32.047 Set: 31.475 Check: 0.0 Back: 1.97
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 54801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.671 Prop: 36.914 PropClause: 32.143 Set: 31.552 Check: 0.0 Back: 1.98
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.674 Prop: 37.025 PropClause: 32.238 Set: 31.628 Check: 0.0 Back: 1.99
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.677 Prop: 37.137 PropClause: 32.333 Set: 31.706 Check: 0.0 Back: 2.0
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.68 Prop: 37.974 PropClause: 33.155 Set: 31.801 Check: 0.0 Back: 2.01
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.684 Prop: 38.085 PropClause: 33.252 Set: 31.877 Check: 0.0 Back: 2.02
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.687 Prop: 38.198 PropClause: 33.35 Set: 31.958 Check: 0.0 Back: 2.03
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.865 Prop: 38.309 PropClause: 33.447 Set: 32.034 Check: 0.0 Back: 2.04
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.87 Prop: 38.424 PropClause: 33.546 Set: 32.108 Check: 0.0 Back: 2.05
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.873 Prop: 38.535 PropClause: 33.644 Set: 32.186 Check: 0.0 Back: 2.06
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.875 Prop: 38.649 PropClause: 33.743 Set: 32.26 Check: 0.0 Back: 2.07
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.877 Prop: 38.761 PropClause: 33.841 Set: 32.336 Check: 0.0 Back: 2.081
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.879 Prop: 38.874 PropClause: 33.938 Set: 32.416 Check: 0.0 Back: 2.091
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.882 Prop: 38.985 PropClause: 34.034 Set: 32.494 Check: 0.0 Back: 2.101
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.884 Prop: 39.096 PropClause: 34.13 Set: 32.572 Check: 0.0 Back: 2.111
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.887 Prop: 39.208 PropClause: 34.227 Set: 32.654 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: 144 Props: 61476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.889 Prop: 39.321 PropClause: 34.325 Set: 32.732 Check: 0.0 Back: 2.131
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.891 Prop: 39.432 PropClause: 34.422 Set: 32.817 Check: 0.0 Back: 2.141
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.893 Prop: 39.549 PropClause: 34.523 Set: 32.895 Check: 0.0 Back: 2.151
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.895 Prop: 39.663 PropClause: 34.622 Set: 32.975 Check: 0.0 Back: 2.161
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.898 Prop: 39.778 PropClause: 34.721 Set: 33.052 Check: 0.0 Back: 2.171
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 63701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.9 Prop: 39.888 PropClause: 34.818 Set: 33.13 Check: 0.0 Back: 2.181
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 64146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.902 Prop: 40.001 PropClause: 34.916 Set: 33.208 Check: 0.0 Back: 2.191
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 64591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.905 Prop: 40.151 PropClause: 35.048 Set: 33.298 Check: 0.0 Back: 2.201
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 64984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.907 Prop: 40.252 PropClause: 35.137 Set: 33.362 Check: 0.0 Back: 2.211
INFO - Atoms: 393/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 65429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.91 Prop: 40.361 PropClause: 35.231 Set: 33.436 Check: 0.0 Back: 2.22
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 65874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.912 Prop: 40.477 PropClause: 35.332 Set: 33.511 Check: 0.0 Back: 2.23
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 66319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.914 Prop: 40.589 PropClause: 35.43 Set: 33.581 Check: 0.0 Back: 2.24
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 66764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.917 Prop: 40.703 PropClause: 35.528 Set: 33.658 Check: 0.0 Back: 2.25
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 67209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.919 Prop: 40.816 PropClause: 35.626 Set: 33.734 Check: 0.0 Back: 2.261
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 67654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.921 Prop: 40.927 PropClause: 35.724 Set: 33.808 Check: 0.0 Back: 2.271
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 68099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.923 Prop: 41.04 PropClause: 35.823 Set: 33.891 Check: 0.0 Back: 2.281
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.467 Prop: 41.156 PropClause: 35.923 Set: 33.97 Check: 0.0 Back: 2.291
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.475 Prop: 41.27 PropClause: 36.022 Set: 34.047 Check: 0.0 Back: 2.301
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.484 Prop: 41.385 PropClause: 36.123 Set: 34.123 Check: 0.0 Back: 2.311
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.486 Prop: 41.497 PropClause: 36.22 Set: 34.197 Check: 0.0 Back: 2.321
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.488 Prop: 41.61 PropClause: 36.318 Set: 34.27 Check: 0.0 Back: 2.331
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.491 Prop: 41.725 PropClause: 36.418 Set: 34.349 Check: 0.0 Back: 2.341
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.494 Prop: 41.842 PropClause: 36.517 Set: 34.433 Check: 0.0 Back: 2.352
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.496 Prop: 41.954 PropClause: 36.614 Set: 34.507 Check: 0.0 Back: 2.361
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.499 Prop: 42.066 PropClause: 36.712 Set: 34.585 Check: 0.0 Back: 2.372
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.502 Prop: 42.178 PropClause: 36.81 Set: 34.658 Check: 0.0 Back: 2.382
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.503 Prop: 42.293 PropClause: 36.91 Set: 34.735 Check: 0.0 Back: 2.392
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.506 Prop: 42.407 PropClause: 37.009 Set: 34.814 Check: 0.0 Back: 2.402
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.508 Prop: 42.52 PropClause: 37.107 Set: 34.887 Check: 0.0 Back: 2.412
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 74329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.511 Prop: 42.634 PropClause: 37.207 Set: 34.973 Check: 0.0 Back: 2.423
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.513 Prop: 42.748 PropClause: 37.306 Set: 35.054 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: 175 Props: 75219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.515 Prop: 42.861 PropClause: 37.403 Set: 35.129 Check: 0.0 Back: 2.443
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.517 Prop: 42.977 PropClause: 37.505 Set: 35.201 Check: 0.0 Back: 2.453
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.519 Prop: 43.091 PropClause: 37.605 Set: 35.279 Check: 0.0 Back: 2.463
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.521 Prop: 43.206 PropClause: 37.705 Set: 35.353 Check: 0.0 Back: 2.473
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.523 Prop: 43.319 PropClause: 37.804 Set: 35.426 Check: 0.0 Back: 2.483
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.524 Prop: 43.433 PropClause: 37.902 Set: 35.502 Check: 0.0 Back: 2.493
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.526 Prop: 43.545 PropClause: 37.999 Set: 35.581 Check: 0.0 Back: 2.503
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.528 Prop: 43.658 PropClause: 38.098 Set: 35.655 Check: 0.0 Back: 2.513
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.53 Prop: 43.768 PropClause: 38.194 Set: 35.728 Check: 0.0 Back: 2.523
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.532 Prop: 43.893 PropClause: 38.294 Set: 35.812 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: 185 Props: 79669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.534 Prop: 44.003 PropClause: 38.389 Set: 35.883 Check: 0.0 Back: 2.544
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.536 Prop: 44.116 PropClause: 38.488 Set: 35.96 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: 187 Props: 80559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.538 Prop: 44.236 PropClause: 38.593 Set: 36.043 Check: 0.0 Back: 2.564
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.539 Prop: 44.352 PropClause: 38.695 Set: 36.117 Check: 0.0 Back: 2.574
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.541 Prop: 44.467 PropClause: 38.794 Set: 36.191 Check: 0.0 Back: 2.584
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.543 Prop: 44.577 PropClause: 38.89 Set: 36.263 Check: 0.0 Back: 2.594
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.546 Prop: 44.688 PropClause: 38.987 Set: 36.341 Check: 0.0 Back: 2.604
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.548 Prop: 44.802 PropClause: 39.086 Set: 36.422 Check: 0.0 Back: 2.615
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.55 Prop: 44.916 PropClause: 39.184 Set: 36.498 Check: 0.0 Back: 2.625
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.551 Prop: 45.029 PropClause: 39.283 Set: 36.574 Check: 0.0 Back: 2.635
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.554 Prop: 45.142 PropClause: 39.381 Set: 36.649 Check: 0.0 Back: 2.645
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.555 Prop: 45.255 PropClause: 39.479 Set: 36.722 Check: 0.0 Back: 2.655
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.557 Prop: 45.368 PropClause: 39.577 Set: 36.801 Check: 0.0 Back: 2.666
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.645 Prop: 45.483 PropClause: 39.677 Set: 36.881 Check: 0.0 Back: 2.676
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.648 Prop: 45.6 PropClause: 39.779 Set: 36.957 Check: 0.0 Back: 2.686
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.65 Prop: 45.715 PropClause: 39.88 Set: 37.031 Check: 0.0 Back: 2.696
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.652 Prop: 45.827 PropClause: 39.977 Set: 37.1 Check: 0.0 Back: 2.706
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.654 Prop: 45.948 PropClause: 40.081 Set: 37.181 Check: 0.0 Back: 2.716
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.656 Prop: 46.061 PropClause: 40.179 Set: 37.253 Check: 0.0 Back: 2.726
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.658 Prop: 46.176 PropClause: 40.28 Set: 37.33 Check: 0.0 Back: 2.736
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.661 Prop: 46.291 PropClause: 40.381 Set: 37.419 Check: 0.0 Back: 2.747
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.663 Prop: 46.404 PropClause: 40.479 Set: 37.495 Check: 0.0 Back: 2.757
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.666 Prop: 46.517 PropClause: 40.577 Set: 37.571 Check: 0.0 Back: 2.767
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.668 Prop: 46.628 PropClause: 40.674 Set: 37.647 Check: 0.0 Back: 2.777
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.672 Prop: 46.969 PropClause: 41.0 Set: 37.722 Check: 0.0 Back: 2.787
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.674 Prop: 47.06 PropClause: 41.078 Set: 39.589 Check: 0.0 Back: 2.797
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.677 Prop: 47.172 PropClause: 41.176 Set: 39.753 Check: 0.0 Back: 2.804
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.679 Prop: 47.276 PropClause: 41.267 Set: 39.893 Check: 0.0 Back: 2.814
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.681 Prop: 47.389 PropClause: 41.366 Set: 40.056 Check: 0.0 Back: 2.823
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.683 Prop: 47.503 PropClause: 41.465 Set: 40.231 Check: 0.0 Back: 2.833
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.685 Prop: 47.6 PropClause: 41.55 Set: 40.365 Check: 0.0 Back: 2.843
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.687 Prop: 47.712 PropClause: 41.648 Set: 40.528 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: 217 Props: 93542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.688 Prop: 47.804 PropClause: 41.728 Set: 40.644 Check: 0.0 Back: 2.861
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.69 Prop: 47.907 PropClause: 41.817 Set: 40.807 Check: 0.0 Back: 2.869
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.692 Prop: 48.021 PropClause: 41.916 Set: 40.987 Check: 0.0 Back: 2.879
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.694 Prop: 48.123 PropClause: 42.006 Set: 41.125 Check: 0.0 Back: 2.889
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.696 Prop: 48.233 PropClause: 42.101 Set: 41.301 Check: 0.0 Back: 2.898
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.698 Prop: 48.347 PropClause: 42.2 Set: 41.48 Check: 0.0 Back: 2.908
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.7 Prop: 48.45 PropClause: 42.289 Set: 41.64 Check: 0.0 Back: 2.918
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.702 Prop: 48.552 PropClause: 42.379 Set: 41.785 Check: 0.0 Back: 2.927
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.703 Prop: 48.654 PropClause: 42.467 Set: 41.935 Check: 0.0 Back: 2.936
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.705 Prop: 48.763 PropClause: 42.563 Set: 42.081 Check: 0.0 Back: 2.945
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.707 Prop: 48.866 PropClause: 42.652 Set: 42.23 Check: 0.0 Back: 2.955
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.708 Prop: 48.973 PropClause: 42.746 Set: 42.375 Check: 0.0 Back: 2.964
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.71 Prop: 49.071 PropClause: 42.831 Set: 42.522 Check: 0.0 Back: 2.973
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.713 Prop: 49.171 PropClause: 42.917 Set: 42.672 Check: 0.0 Back: 2.982
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.715 Prop: 49.282 PropClause: 43.014 Set: 42.84 Check: 0.0 Back: 2.991
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.716 Prop: 49.373 PropClause: 43.094 Set: 42.974 Check: 0.0 Back: 3.001
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.72 Prop: 49.479 PropClause: 43.185 Set: 43.151 Check: 0.0 Back: 3.009
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.723 Prop: 49.604 PropClause: 43.295 Set: 43.317 Check: 0.0 Back: 3.02
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.725 Prop: 49.725 PropClause: 43.401 Set: 43.504 Check: 0.0 Back: 3.03
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.728 Prop: 49.849 PropClause: 43.51 Set: 43.689 Check: 0.0 Back: 3.04
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.729 Prop: 49.945 PropClause: 43.595 Set: 43.837 Check: 0.0 Back: 3.05
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.731 Prop: 50.053 PropClause: 43.688 Set: 44.005 Check: 0.0 Back: 3.059
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.735 Prop: 50.188 PropClause: 43.807 Set: 44.228 Check: 0.0 Back: 3.069
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.737 Prop: 50.307 PropClause: 43.91 Set: 44.402 Check: 0.0 Back: 3.079
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.739 Prop: 50.424 PropClause: 44.012 Set: 44.573 Check: 0.0 Back: 3.089
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.741 Prop: 50.54 PropClause: 44.115 Set: 44.723 Check: 0.0 Back: 3.099
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.744 Prop: 50.675 PropClause: 44.234 Set: 44.931 Check: 0.0 Back: 3.109
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.746 Prop: 50.801 PropClause: 44.344 Set: 45.095 Check: 0.0 Back: 3.119
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.748 Prop: 50.906 PropClause: 44.436 Set: 45.249 Check: 0.0 Back: 3.129
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.751 Prop: 51.02 PropClause: 44.535 Set: 45.416 Check: 0.0 Back: 3.138
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.753 Prop: 51.108 PropClause: 44.612 Set: 45.539 Check: 0.0 Back: 3.148
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.755 Prop: 51.225 PropClause: 44.714 Set: 45.708 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: 249 Props: 107001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.758 Prop: 51.355 PropClause: 44.83 Set: 45.867 Check: 0.0 Back: 3.166
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.76 Prop: 51.466 PropClause: 44.927 Set: 46.007 Check: 0.0 Back: 3.176
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.762 Prop: 51.58 PropClause: 45.027 Set: 46.183 Check: 0.0 Back: 3.185
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.765 Prop: 51.7 PropClause: 45.133 Set: 46.365 Check: 0.0 Back: 3.195
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.767 Prop: 51.801 PropClause: 45.22 Set: 46.504 Check: 0.0 Back: 3.205
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.769 Prop: 51.9 PropClause: 45.307 Set: 46.635 Check: 0.0 Back: 3.214
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.772 Prop: 51.993 PropClause: 45.388 Set: 46.806 Check: 0.0 Back: 3.222
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.774 Prop: 52.185 PropClause: 45.479 Set: 46.946 Check: 0.0 Back: 3.231
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.777 Prop: 52.318 PropClause: 45.584 Set: 47.141 Check: 0.0 Back: 3.239
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.78 Prop: 52.431 PropClause: 45.683 Set: 47.282 Check: 0.0 Back: 3.25
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.782 Prop: 52.566 PropClause: 45.803 Set: 47.452 Check: 0.0 Back: 3.259
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.785 Prop: 52.659 PropClause: 45.885 Set: 47.577 Check: 0.0 Back: 3.269
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.787 Prop: 52.772 PropClause: 45.983 Set: 47.746 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: 262 Props: 112253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.789 Prop: 52.876 PropClause: 46.075 Set: 47.904 Check: 0.0 Back: 3.287
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.792 Prop: 53.002 PropClause: 46.184 Set: 48.088 Check: 0.0 Back: 3.295
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.795 Prop: 53.132 PropClause: 46.301 Set: 48.261 Check: 0.0 Back: 3.306
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.797 Prop: 53.257 PropClause: 46.411 Set: 48.431 Check: 0.0 Back: 3.316
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.8 Prop: 53.367 PropClause: 46.508 Set: 48.578 Check: 0.0 Back: 3.326
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.803 Prop: 53.489 PropClause: 46.615 Set: 48.744 Check: 0.0 Back: 3.336
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.805 Prop: 53.634 PropClause: 46.744 Set: 48.933 Check: 0.0 Back: 3.346
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.807 Prop: 53.755 PropClause: 46.85 Set: 49.108 Check: 0.0 Back: 3.356
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.81 Prop: 53.871 PropClause: 46.952 Set: 49.277 Check: 0.0 Back: 3.366
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.813 Prop: 53.994 PropClause: 47.061 Set: 49.444 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: 272 Props: 116637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.816 Prop: 54.112 PropClause: 47.164 Set: 49.62 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: 273 Props: 117082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.818 Prop: 54.229 PropClause: 47.266 Set: 49.798 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: 274 Props: 117527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.82 Prop: 54.346 PropClause: 47.369 Set: 49.97 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: 275 Props: 117972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.822 Prop: 54.465 PropClause: 47.474 Set: 50.149 Check: 0.0 Back: 3.418
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.825 Prop: 54.591 PropClause: 47.584 Set: 50.316 Check: 0.0 Back: 3.428
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.828 Prop: 54.711 PropClause: 47.687 Set: 50.495 Check: 0.0 Back: 3.438
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.831 Prop: 54.827 PropClause: 47.79 Set: 50.662 Check: 0.0 Back: 3.448
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.833 Prop: 54.944 PropClause: 47.891 Set: 50.769 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: 280 Props: 120197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.835 Prop: 55.064 PropClause: 47.997 Set: 50.856 Check: 0.0 Back: 3.469
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.838 Prop: 55.179 PropClause: 48.095 Set: 50.932 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: 282 Props: 121087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.84 Prop: 55.294 PropClause: 48.196 Set: 51.01 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: 283 Props: 121532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 55.409 PropClause: 48.296 Set: 51.081 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: 284 Props: 121948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.845 Prop: 55.512 PropClause: 48.386 Set: 51.15 Check: 0.0 Back: 3.51
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.848 Prop: 55.62 PropClause: 48.479 Set: 51.235 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: 286 Props: 122838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.851 Prop: 55.729 PropClause: 48.572 Set: 51.306 Check: 0.0 Back: 3.53
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.853 Prop: 55.838 PropClause: 48.667 Set: 51.381 Check: 0.0 Back: 3.54
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.856 Prop: 55.949 PropClause: 48.763 Set: 51.455 Check: 0.0 Back: 3.55
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.858 Prop: 56.056 PropClause: 48.857 Set: 51.526 Check: 0.0 Back: 3.56
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.861 Prop: 56.166 PropClause: 48.951 Set: 51.6 Check: 0.0 Back: 3.57
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.863 Prop: 56.274 PropClause: 49.046 Set: 51.679 Check: 0.0 Back: 3.58
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.866 Prop: 56.384 PropClause: 49.141 Set: 51.754 Check: 0.0 Back: 3.59
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.868 Prop: 56.492 PropClause: 49.233 Set: 51.829 Check: 0.0 Back: 3.6
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.87 Prop: 56.601 PropClause: 49.327 Set: 51.908 Check: 0.0 Back: 3.61
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.872 Prop: 56.712 PropClause: 49.423 Set: 51.984 Check: 0.0 Back: 3.621
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.875 Prop: 56.82 PropClause: 49.516 Set: 52.061 Check: 0.0 Back: 3.631
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.878 Prop: 56.928 PropClause: 49.61 Set: 52.139 Check: 0.0 Back: 3.641
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.88 Prop: 57.036 PropClause: 49.703 Set: 52.213 Check: 0.0 Back: 3.651
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.883 Prop: 57.144 PropClause: 49.796 Set: 52.296 Check: 0.0 Back: 3.661
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.885 Prop: 57.254 PropClause: 49.891 Set: 52.369 Check: 0.0 Back: 3.671
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.888 Prop: 57.364 PropClause: 49.986 Set: 52.446 Check: 0.0 Back: 3.681
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.891 Prop: 57.473 PropClause: 50.08 Set: 52.521 Check: 0.0 Back: 3.691
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.893 Prop: 57.585 PropClause: 50.177 Set: 52.615 Check: 0.0 Back: 3.701
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.895 Prop: 57.692 PropClause: 50.269 Set: 52.687 Check: 0.0 Back: 3.712
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.898 Prop: 57.801 PropClause: 50.364 Set: 52.763 Check: 0.0 Back: 3.722
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.901 Prop: 57.909 PropClause: 50.457 Set: 52.835 Check: 0.0 Back: 3.732
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.903 Prop: 58.018 PropClause: 50.551 Set: 52.905 Check: 0.0 Back: 3.742
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.907 Prop: 58.123 PropClause: 50.643 Set: 52.982 Check: 0.0 Back: 3.752
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.91 Prop: 58.23 PropClause: 50.735 Set: 53.055 Check: 0.0 Back: 3.762
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.912 Prop: 58.338 PropClause: 50.828 Set: 53.128 Check: 0.0 Back: 3.772
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.915 Prop: 58.447 PropClause: 50.923 Set: 53.215 Check: 0.0 Back: 3.783
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 134407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.919 Prop: 58.556 PropClause: 51.016 Set: 53.289 Check: 0.0 Back: 3.793
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 134852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.922 Prop: 58.663 PropClause: 51.109 Set: 53.361 Check: 0.0 Back: 3.803
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 135297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.924 Prop: 58.773 PropClause: 51.204 Set: 53.438 Check: 0.0 Back: 3.814
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 135742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.927 Prop: 58.884 PropClause: 51.3 Set: 53.513 Check: 0.0 Back: 3.824
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 136187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.93 Prop: 58.995 PropClause: 51.397 Set: 53.588 Check: 0.0 Back: 3.835
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 136632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.957 Prop: 59.104 PropClause: 51.491 Set: 53.662 Check: 0.0 Back: 3.845
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 137077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.96 Prop: 59.213 PropClause: 51.586 Set: 53.739 Check: 0.0 Back: 3.855
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 137522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.963 Prop: 59.323 PropClause: 51.682 Set: 53.82 Check: 0.0 Back: 3.865
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 137918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.964 Prop: 59.424 PropClause: 51.769 Set: 53.885 Check: 0.0 Back: 3.875
INFO - Atoms: 396/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 138363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.968 Prop: 59.53 PropClause: 51.86 Set: 53.96 Check: 0.0 Back: 3.884
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 138808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.97 Prop: 59.639 PropClause: 51.955 Set: 54.032 Check: 0.0 Back: 3.894
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 139253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.973 Prop: 59.748 PropClause: 52.049 Set: 54.105 Check: 0.0 Back: 3.904
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 139698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.975 Prop: 59.858 PropClause: 52.145 Set: 54.188 Check: 0.0 Back: 3.916
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 140143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.977 Prop: 59.973 PropClause: 52.243 Set: 54.265 Check: 0.0 Back: 3.926
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 140588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.98 Prop: 60.085 PropClause: 52.34 Set: 54.338 Check: 0.0 Back: 3.936
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 141033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.982 Prop: 60.194 PropClause: 52.434 Set: 54.411 Check: 0.0 Back: 3.946
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 141478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.984 Prop: 60.304 PropClause: 52.53 Set: 54.489 Check: 0.0 Back: 3.956
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 141923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.988 Prop: 60.41 PropClause: 52.622 Set: 54.567 Check: 0.0 Back: 3.966
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 142368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.99 Prop: 60.521 PropClause: 52.717 Set: 54.641 Check: 0.0 Back: 3.977
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 142813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.992 Prop: 60.63 PropClause: 52.811 Set: 54.716 Check: 0.0 Back: 3.986
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 143258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.995 Prop: 60.74 PropClause: 52.905 Set: 54.79 Check: 0.0 Back: 3.997
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 143703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.997 Prop: 60.849 PropClause: 52.999 Set: 54.863 Check: 0.0 Back: 4.007
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.0 Prop: 60.959 PropClause: 53.094 Set: 54.941 Check: 0.0 Back: 4.017
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.002 Prop: 61.07 PropClause: 53.191 Set: 55.018 Check: 0.0 Back: 4.027
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.004 Prop: 61.178 PropClause: 53.284 Set: 55.09 Check: 0.0 Back: 4.037
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.007 Prop: 61.284 PropClause: 53.376 Set: 55.162 Check: 0.0 Back: 4.047
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.009 Prop: 61.391 PropClause: 53.469 Set: 55.235 Check: 0.0 Back: 4.057
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.012 Prop: 61.5 PropClause: 53.564 Set: 55.313 Check: 0.0 Back: 4.067
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.014 Prop: 61.61 PropClause: 53.66 Set: 55.389 Check: 0.0 Back: 4.077
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.017 Prop: 61.719 PropClause: 53.754 Set: 55.466 Check: 0.0 Back: 4.087
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.019 Prop: 61.828 PropClause: 53.849 Set: 55.54 Check: 0.0 Back: 4.097
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.021 Prop: 61.936 PropClause: 53.942 Set: 55.614 Check: 0.0 Back: 4.107
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.024 Prop: 62.047 PropClause: 54.038 Set: 55.69 Check: 0.0 Back: 4.117
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.026 Prop: 62.157 PropClause: 54.134 Set: 55.763 Check: 0.0 Back: 4.127
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.028 Prop: 62.267 PropClause: 54.229 Set: 55.836 Check: 0.0 Back: 4.137
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.03 Prop: 62.377 PropClause: 54.324 Set: 55.913 Check: 0.0 Back: 4.147
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.033 Prop: 62.489 PropClause: 54.42 Set: 55.996 Check: 0.0 Back: 4.158
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.035 Prop: 62.599 PropClause: 54.515 Set: 56.071 Check: 0.0 Back: 4.168
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.037 Prop: 62.708 PropClause: 54.609 Set: 56.147 Check: 0.0 Back: 4.178
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.039 Prop: 62.815 PropClause: 54.702 Set: 56.222 Check: 0.0 Back: 4.188
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.041 Prop: 62.926 PropClause: 54.798 Set: 56.295 Check: 0.0 Back: 4.198
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.043 Prop: 63.036 PropClause: 54.894 Set: 56.372 Check: 0.0 Back: 4.208
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.046 Prop: 63.148 PropClause: 54.992 Set: 56.449 Check: 0.0 Back: 4.218
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.048 Prop: 63.258 PropClause: 55.087 Set: 56.523 Check: 0.0 Back: 4.228
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.051 Prop: 63.369 PropClause: 55.184 Set: 56.594 Check: 0.0 Back: 4.238
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.053 Prop: 63.478 PropClause: 55.278 Set: 56.672 Check: 0.0 Back: 4.248
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.055 Prop: 63.586 PropClause: 55.372 Set: 56.746 Check: 0.0 Back: 4.258
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.058 Prop: 63.697 PropClause: 55.469 Set: 56.82 Check: 0.0 Back: 4.268
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.062 Prop: 64.313 PropClause: 55.565 Set: 56.899 Check: 0.0 Back: 4.28
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.064 Prop: 64.425 PropClause: 55.66 Set: 56.974 Check: 0.0 Back: 4.29
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.068 Prop: 64.536 PropClause: 55.755 Set: 57.052 Check: 0.0 Back: 4.3
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.087 Prop: 64.653 PropClause: 55.854 Set: 57.415 Check: 0.0 Back: 4.31
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.104 Prop: 64.938 PropClause: 56.122 Set: 57.508 Check: 0.0 Back: 4.321
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.107 Prop: 65.053 PropClause: 56.219 Set: 57.594 Check: 0.0 Back: 4.332
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.111 Prop: 65.193 PropClause: 56.321 Set: 57.685 Check: 0.0 Back: 4.342
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.114 Prop: 65.31 PropClause: 56.419 Set: 57.767 Check: 0.0 Back: 4.352
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.117 Prop: 65.423 PropClause: 56.517 Set: 57.852 Check: 0.0 Back: 4.363
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.119 Prop: 65.54 PropClause: 56.615 Set: 57.928 Check: 0.0 Back: 4.374
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: 42.612 Prop: 536.117 PropClause: 1.729 Set: 154.201 Check: 3.801 Back: 4.719
INFO - Atoms: 34/37 Clauses: 381 Axioms: 38
INFO - CCTimes: iE 4947 eq 2454800 cc 2185120 setRep 735081
INFO - Merges: 1930, cc:1152
INFO - BVTimes: BB 7434684 BB_DPLL 288215969 Graph 48271
INFO - BitBlastingClauses: 11751 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat