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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 11588715
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.429 Prop: 3.345 PropClause: 3.018 Set: 3.074 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.45 Prop: 4.32 PropClause: 3.826 Set: 4.512 Check: 0.0 Back: 0.023
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.47 Prop: 5.351 PropClause: 4.656 Set: 6.328 Check: 0.0 Back: 0.041
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.484 Prop: 6.374 PropClause: 5.508 Set: 7.735 Check: 0.0 Back: 0.063
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.499 Prop: 7.394 PropClause: 6.358 Set: 9.115 Check: 0.0 Back: 0.087
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.514 Prop: 8.295 PropClause: 7.098 Set: 10.616 Check: 0.0 Back: 0.112
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.531 Prop: 8.514 PropClause: 7.242 Set: 10.919 Check: 0.0 Back: 0.14
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.547 Prop: 8.733 PropClause: 7.378 Set: 11.178 Check: 0.0 Back: 0.15
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.565 Prop: 8.96 PropClause: 7.526 Set: 11.413 Check: 0.0 Back: 0.16
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.579 Prop: 9.185 PropClause: 7.668 Set: 11.658 Check: 0.0 Back: 0.171
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.592 Prop: 9.417 PropClause: 7.819 Set: 11.884 Check: 0.0 Back: 0.182
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.632 Prop: 9.678 PropClause: 7.97 Set: 12.157 Check: 0.0 Back: 0.194
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.647 Prop: 9.926 PropClause: 8.128 Set: 12.487 Check: 0.0 Back: 0.205
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.664 Prop: 10.174 PropClause: 8.285 Set: 12.771 Check: 0.0 Back: 0.216
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.691 Prop: 10.423 PropClause: 8.451 Set: 13.033 Check: 0.0 Back: 0.227
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.731 Prop: 10.708 PropClause: 8.636 Set: 13.295 Check: 0.0 Back: 0.238
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.744 Prop: 10.94 PropClause: 8.787 Set: 13.566 Check: 0.0 Back: 0.248
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.756 Prop: 11.179 PropClause: 8.941 Set: 13.838 Check: 0.0 Back: 0.26
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.769 Prop: 11.429 PropClause: 9.102 Set: 14.092 Check: 0.0 Back: 0.271
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.783 Prop: 11.664 PropClause: 9.255 Set: 14.391 Check: 0.0 Back: 0.282
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.797 Prop: 11.982 PropClause: 9.486 Set: 14.687 Check: 0.0 Back: 0.293
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.826 Prop: 12.222 PropClause: 9.646 Set: 19.013 Check: 0.0 Back: 0.304
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.84 Prop: 12.419 PropClause: 9.825 Set: 19.291 Check: 0.0 Back: 0.315
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.855 Prop: 12.628 PropClause: 10.014 Set: 19.601 Check: 0.0 Back: 0.326
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.867 Prop: 12.841 PropClause: 10.208 Set: 19.905 Check: 0.0 Back: 0.337
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.896 Prop: 13.067 PropClause: 10.411 Set: 20.232 Check: 0.0 Back: 0.349
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.911 Prop: 13.283 PropClause: 10.608 Set: 20.555 Check: 0.0 Back: 0.36
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.943 Prop: 13.514 PropClause: 10.819 Set: 20.882 Check: 0.0 Back: 0.371
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.966 Prop: 13.737 PropClause: 11.019 Set: 21.19 Check: 0.0 Back: 0.382
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.99 Prop: 13.945 PropClause: 11.208 Set: 21.508 Check: 0.0 Back: 0.393
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: 1.01 Prop: 14.155 PropClause: 11.399 Set: 21.836 Check: 0.0 Back: 0.405
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: 1.045 Prop: 14.403 PropClause: 11.626 Set: 22.16 Check: 0.0 Back: 0.416
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: 1.061 Prop: 14.623 PropClause: 11.824 Set: 22.518 Check: 0.0 Back: 0.427
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: 1.075 Prop: 14.827 PropClause: 12.008 Set: 22.824 Check: 0.0 Back: 0.438
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: 1.089 Prop: 15.022 PropClause: 12.184 Set: 23.13 Check: 0.0 Back: 0.449
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: 1.121 Prop: 15.264 PropClause: 12.403 Set: 23.468 Check: 0.0 Back: 0.46
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: 1.135 Prop: 15.471 PropClause: 12.591 Set: 23.807 Check: 0.0 Back: 0.471
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: 1.147 Prop: 15.669 PropClause: 12.769 Set: 24.133 Check: 0.0 Back: 0.495
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: 1.16 Prop: 15.864 PropClause: 12.945 Set: 24.442 Check: 0.0 Back: 0.506
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: 1.171 Prop: 16.088 PropClause: 13.151 Set: 24.732 Check: 0.0 Back: 0.517
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: 1.185 Prop: 16.314 PropClause: 13.357 Set: 25.045 Check: 0.0 Back: 0.528
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: 1.2 Prop: 16.525 PropClause: 13.549 Set: 26.94 Check: 0.0 Back: 0.54
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: 1.214 Prop: 16.739 PropClause: 13.743 Set: 27.263 Check: 0.0 Back: 0.551
INFO - Atoms: 435/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 18453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.227 Prop: 16.957 PropClause: 13.941 Set: 27.623 Check: 0.0 Back: 0.562
INFO - Atoms: 444/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 18898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.246 Prop: 17.171 PropClause: 14.136 Set: 27.94 Check: 0.0 Back: 0.573
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 19343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.265 Prop: 17.396 PropClause: 14.342 Set: 28.264 Check: 0.0 Back: 0.585
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.289 Prop: 17.565 PropClause: 14.495 Set: 28.51 Check: 0.0 Back: 0.596
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.306 Prop: 17.763 PropClause: 14.674 Set: 28.836 Check: 0.0 Back: 0.604
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.318 Prop: 17.982 PropClause: 14.874 Set: 29.171 Check: 0.0 Back: 0.615
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.336 Prop: 18.204 PropClause: 15.077 Set: 29.465 Check: 0.0 Back: 0.626
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.347 Prop: 18.33 PropClause: 15.192 Set: 29.646 Check: 0.0 Back: 0.638
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.362 Prop: 18.511 PropClause: 15.353 Set: 30.002 Check: 0.0 Back: 0.645
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.377 Prop: 18.726 PropClause: 15.549 Set: 30.307 Check: 0.0 Back: 0.656
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.394 Prop: 20.654 PropClause: 15.753 Set: 30.642 Check: 0.0 Back: 0.667
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.405 Prop: 20.827 PropClause: 15.897 Set: 30.87 Check: 0.0 Back: 0.679
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.423 Prop: 21.027 PropClause: 16.069 Set: 31.193 Check: 0.0 Back: 0.687
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.438 Prop: 21.241 PropClause: 16.258 Set: 31.505 Check: 0.0 Back: 0.699
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.553 Prop: 21.448 PropClause: 16.444 Set: 31.861 Check: 0.0 Back: 0.71
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.582 Prop: 21.68 PropClause: 16.612 Set: 32.095 Check: 0.0 Back: 0.721
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.588 Prop: 21.852 PropClause: 16.765 Set: 32.316 Check: 0.0 Back: 0.73
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.826 Prop: 22.028 PropClause: 16.922 Set: 32.558 Check: 0.0 Back: 0.74
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.849 Prop: 22.2 PropClause: 17.073 Set: 32.795 Check: 0.0 Back: 0.75
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.854 Prop: 22.408 PropClause: 17.26 Set: 33.08 Check: 0.0 Back: 0.759
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.86 Prop: 22.629 PropClause: 17.458 Set: 33.365 Check: 0.0 Back: 0.77
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.865 Prop: 22.842 PropClause: 17.65 Set: 33.659 Check: 0.0 Back: 0.781
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.872 Prop: 23.058 PropClause: 17.844 Set: 34.119 Check: 0.0 Back: 0.793
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.876 Prop: 23.268 PropClause: 18.032 Set: 34.407 Check: 0.0 Back: 0.804
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.881 Prop: 23.517 PropClause: 18.259 Set: 34.693 Check: 0.0 Back: 0.815
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.887 Prop: 23.734 PropClause: 18.453 Set: 34.965 Check: 0.0 Back: 0.827
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.891 Prop: 23.948 PropClause: 18.646 Set: 35.236 Check: 0.0 Back: 0.839
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.896 Prop: 24.224 PropClause: 18.899 Set: 35.539 Check: 0.0 Back: 0.85
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 30214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.903 Prop: 24.445 PropClause: 19.098 Set: 35.845 Check: 0.0 Back: 0.862
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.917 Prop: 24.677 PropClause: 19.293 Set: 36.216 Check: 0.0 Back: 0.882
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.922 Prop: 24.892 PropClause: 19.487 Set: 36.582 Check: 0.0 Back: 0.894
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.926 Prop: 25.081 PropClause: 19.653 Set: 36.828 Check: 0.0 Back: 0.905
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.93 Prop: 25.275 PropClause: 19.829 Set: 37.131 Check: 0.0 Back: 0.915
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.934 Prop: 25.471 PropClause: 20.006 Set: 37.485 Check: 0.0 Back: 0.925
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: 2.194 Prop: 25.676 PropClause: 20.192 Set: 37.824 Check: 0.0 Back: 0.937
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: 2.21 Prop: 25.82 PropClause: 20.317 Set: 38.086 Check: 0.0 Back: 0.949
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: 2.213 Prop: 25.975 PropClause: 20.453 Set: 38.326 Check: 0.0 Back: 0.96
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: 2.217 Prop: 26.114 PropClause: 20.574 Set: 38.599 Check: 0.0 Back: 0.977
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: 2.221 Prop: 26.252 PropClause: 20.693 Set: 38.83 Check: 0.0 Back: 0.988
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: 2.224 Prop: 26.408 PropClause: 20.83 Set: 39.142 Check: 0.0 Back: 1.004
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: 2.228 Prop: 26.573 PropClause: 20.975 Set: 39.388 Check: 0.0 Back: 1.017
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: 2.232 Prop: 26.733 PropClause: 21.113 Set: 39.675 Check: 0.0 Back: 1.03
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 36097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.237 Prop: 26.904 PropClause: 21.264 Set: 39.942 Check: 0.0 Back: 1.046
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: 2.24 Prop: 27.055 PropClause: 21.396 Set: 40.231 Check: 0.0 Back: 1.058
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: 2.245 Prop: 27.221 PropClause: 21.542 Set: 40.482 Check: 0.0 Back: 1.07
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: 2.248 Prop: 27.377 PropClause: 21.676 Set: 40.751 Check: 0.0 Back: 1.085
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: 2.251 Prop: 27.54 PropClause: 21.82 Set: 41.011 Check: 0.0 Back: 1.098
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: 2.256 Prop: 27.693 PropClause: 21.954 Set: 41.282 Check: 0.0 Back: 1.111
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: 2.26 Prop: 27.874 PropClause: 22.114 Set: 41.408 Check: 0.0 Back: 1.127
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: 2.263 Prop: 28.025 PropClause: 22.245 Set: 41.535 Check: 0.0 Back: 1.141
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: 2.27 Prop: 28.18 PropClause: 22.377 Set: 41.67 Check: 0.0 Back: 1.159
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: 2.273 Prop: 28.334 PropClause: 22.512 Set: 41.798 Check: 0.0 Back: 1.17
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: 2.278 Prop: 28.484 PropClause: 22.642 Set: 41.922 Check: 0.0 Back: 1.183
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: 2.282 Prop: 28.635 PropClause: 22.773 Set: 42.045 Check: 0.0 Back: 1.195
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: 2.287 Prop: 28.789 PropClause: 22.907 Set: 42.184 Check: 0.0 Back: 1.21
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: 2.29 Prop: 28.939 PropClause: 23.037 Set: 42.304 Check: 0.0 Back: 1.222
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: 2.294 Prop: 29.093 PropClause: 23.171 Set: 42.433 Check: 0.0 Back: 1.234
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: 2.299 Prop: 29.247 PropClause: 23.305 Set: 42.564 Check: 0.0 Back: 1.252
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: 2.302 Prop: 29.4 PropClause: 23.439 Set: 42.695 Check: 0.0 Back: 1.264
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: 2.306 Prop: 29.552 PropClause: 23.568 Set: 42.812 Check: 0.0 Back: 1.279
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: 2.31 Prop: 29.706 PropClause: 23.703 Set: 42.931 Check: 0.0 Back: 1.291
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: 2.317 Prop: 29.886 PropClause: 23.862 Set: 43.07 Check: 0.0 Back: 1.303
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: 2.321 Prop: 30.044 PropClause: 24.0 Set: 43.199 Check: 0.0 Back: 1.314
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 45434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.326 Prop: 30.203 PropClause: 24.137 Set: 43.327 Check: 0.0 Back: 1.325
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: 2.33 Prop: 30.326 PropClause: 24.244 Set: 43.414 Check: 0.0 Back: 1.337
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: 2.335 Prop: 30.468 PropClause: 24.366 Set: 43.529 Check: 0.0 Back: 1.347
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: 2.339 Prop: 30.606 PropClause: 24.486 Set: 43.632 Check: 0.0 Back: 1.358
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: 2.343 Prop: 30.736 PropClause: 24.599 Set: 43.758 Check: 0.0 Back: 1.368
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: 2.346 Prop: 30.888 PropClause: 24.728 Set: 43.88 Check: 0.0 Back: 1.378
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: 2.35 Prop: 31.038 PropClause: 24.859 Set: 44.004 Check: 0.0 Back: 1.391
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: 2.354 Prop: 31.194 PropClause: 24.995 Set: 44.136 Check: 0.0 Back: 1.402
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: 2.359 Prop: 31.347 PropClause: 25.128 Set: 44.263 Check: 0.0 Back: 1.414
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: 2.362 Prop: 31.459 PropClause: 25.226 Set: 44.345 Check: 0.0 Back: 1.426
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: 2.367 Prop: 31.599 PropClause: 25.345 Set: 44.48 Check: 0.0 Back: 1.434
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: 2.393 Prop: 31.758 PropClause: 25.485 Set: 44.624 Check: 0.0 Back: 1.447
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: 2.397 Prop: 31.893 PropClause: 25.603 Set: 44.733 Check: 0.0 Back: 1.458
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: 2.401 Prop: 32.035 PropClause: 25.725 Set: 44.848 Check: 0.0 Back: 1.468
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: 2.405 Prop: 32.181 PropClause: 25.852 Set: 44.981 Check: 0.0 Back: 1.48
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: 2.409 Prop: 32.327 PropClause: 25.979 Set: 45.111 Check: 0.0 Back: 1.49
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: 2.413 Prop: 32.482 PropClause: 26.114 Set: 45.239 Check: 0.0 Back: 1.502
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: 2.418 Prop: 32.646 PropClause: 26.258 Set: 45.396 Check: 0.0 Back: 1.515
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 53022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.424 Prop: 32.807 PropClause: 26.399 Set: 45.546 Check: 0.0 Back: 1.53
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 53467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.428 Prop: 32.967 PropClause: 26.538 Set: 45.674 Check: 0.0 Back: 1.542
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: 2.432 Prop: 33.121 PropClause: 26.673 Set: 45.799 Check: 0.0 Back: 1.556
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: 2.436 Prop: 33.352 PropClause: 26.811 Set: 45.911 Check: 0.0 Back: 1.567
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: 2.44 Prop: 33.508 PropClause: 26.947 Set: 46.037 Check: 0.0 Back: 1.578
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: 2.445 Prop: 33.667 PropClause: 27.085 Set: 46.18 Check: 0.0 Back: 1.59
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: 2.449 Prop: 35.21 PropClause: 28.604 Set: 46.333 Check: 0.0 Back: 1.602
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 56136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.454 Prop: 35.373 PropClause: 28.747 Set: 46.491 Check: 0.0 Back: 1.614
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: 2.458 Prop: 35.527 PropClause: 28.883 Set: 46.647 Check: 0.0 Back: 1.625
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: 2.7 Prop: 35.694 PropClause: 29.029 Set: 46.763 Check: 0.0 Back: 1.638
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: 2.706 Prop: 35.85 PropClause: 29.164 Set: 46.878 Check: 0.0 Back: 1.65
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: 2.71 Prop: 36.012 PropClause: 29.306 Set: 47.001 Check: 0.0 Back: 1.661
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: 2.713 Prop: 36.169 PropClause: 29.443 Set: 47.132 Check: 0.0 Back: 1.673
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: 2.717 Prop: 36.326 PropClause: 29.579 Set: 47.253 Check: 0.0 Back: 1.684
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: 2.72 Prop: 36.482 PropClause: 29.715 Set: 47.37 Check: 0.0 Back: 1.696
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 59696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.723 Prop: 36.638 PropClause: 29.852 Set: 47.497 Check: 0.0 Back: 1.708
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: 2.726 Prop: 36.794 PropClause: 29.988 Set: 47.616 Check: 0.0 Back: 1.72
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: 2.728 Prop: 36.953 PropClause: 30.127 Set: 47.745 Check: 0.0 Back: 1.734
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: 2.731 Prop: 37.107 PropClause: 30.261 Set: 47.86 Check: 0.0 Back: 1.745
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: 2.734 Prop: 37.263 PropClause: 30.395 Set: 47.967 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: 145 Props: 61921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.737 Prop: 37.421 PropClause: 30.534 Set: 48.085 Check: 0.0 Back: 1.771
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: 2.74 Prop: 37.58 PropClause: 30.673 Set: 48.204 Check: 0.0 Back: 1.783
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: 2.743 Prop: 37.734 PropClause: 30.808 Set: 48.321 Check: 0.0 Back: 1.795
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: 2.745 Prop: 37.897 PropClause: 30.948 Set: 48.447 Check: 0.0 Back: 1.807
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 63701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.749 Prop: 38.056 PropClause: 31.086 Set: 48.568 Check: 0.0 Back: 1.818
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 64146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.751 Prop: 38.219 PropClause: 31.229 Set: 48.701 Check: 0.0 Back: 1.831
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 64591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.754 Prop: 38.372 PropClause: 31.362 Set: 48.814 Check: 0.0 Back: 1.842
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 64984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.756 Prop: 38.51 PropClause: 31.483 Set: 48.914 Check: 0.0 Back: 1.854
INFO - Atoms: 393/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 65429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.758 Prop: 38.661 PropClause: 31.612 Set: 49.026 Check: 0.0 Back: 1.865
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 65874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.761 Prop: 38.818 PropClause: 31.75 Set: 49.153 Check: 0.0 Back: 1.903
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 66319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.764 Prop: 38.977 PropClause: 31.89 Set: 49.266 Check: 0.0 Back: 1.915
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 66764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.766 Prop: 39.138 PropClause: 32.031 Set: 49.395 Check: 0.0 Back: 1.926
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 67209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.769 Prop: 39.294 PropClause: 32.167 Set: 49.51 Check: 0.0 Back: 1.937
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 67654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.782 Prop: 39.45 PropClause: 32.304 Set: 49.637 Check: 0.0 Back: 1.948
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 68099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.798 Prop: 39.629 PropClause: 32.461 Set: 49.756 Check: 0.0 Back: 1.96
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 68544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.801 Prop: 39.786 PropClause: 32.599 Set: 49.874 Check: 0.0 Back: 1.971
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 68989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.805 Prop: 39.949 PropClause: 32.743 Set: 50.015 Check: 0.0 Back: 1.983
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.808 Prop: 40.107 PropClause: 32.881 Set: 50.134 Check: 0.0 Back: 1.994
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.811 Prop: 40.26 PropClause: 33.014 Set: 50.246 Check: 0.0 Back: 2.005
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.813 Prop: 40.419 PropClause: 33.153 Set: 50.36 Check: 0.0 Back: 2.017
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.819 Prop: 40.591 PropClause: 33.306 Set: 50.511 Check: 0.0 Back: 2.029
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.822 Prop: 40.752 PropClause: 33.443 Set: 50.644 Check: 0.0 Back: 2.041
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 71659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.825 Prop: 40.914 PropClause: 33.585 Set: 50.772 Check: 0.0 Back: 2.052
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.828 Prop: 41.074 PropClause: 33.726 Set: 50.903 Check: 0.0 Back: 2.064
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.832 Prop: 41.233 PropClause: 33.865 Set: 51.032 Check: 0.0 Back: 2.076
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.834 Prop: 41.395 PropClause: 34.008 Set: 51.172 Check: 0.0 Back: 2.09
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.837 Prop: 41.554 PropClause: 34.147 Set: 51.287 Check: 0.0 Back: 2.102
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.84 Prop: 41.71 PropClause: 34.284 Set: 51.413 Check: 0.0 Back: 2.114
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.844 Prop: 41.873 PropClause: 34.428 Set: 51.543 Check: 0.0 Back: 2.127
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 74774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.847 Prop: 42.031 PropClause: 34.567 Set: 51.67 Check: 0.0 Back: 2.138
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.85 Prop: 42.186 PropClause: 34.701 Set: 51.794 Check: 0.0 Back: 2.15
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.852 Prop: 42.344 PropClause: 34.839 Set: 51.92 Check: 0.0 Back: 2.166
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.855 Prop: 42.505 PropClause: 34.98 Set: 52.045 Check: 0.0 Back: 2.177
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.857 Prop: 42.66 PropClause: 35.115 Set: 52.169 Check: 0.0 Back: 2.189
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.861 Prop: 42.824 PropClause: 35.259 Set: 52.297 Check: 0.0 Back: 2.202
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.865 Prop: 42.985 PropClause: 35.402 Set: 52.417 Check: 0.0 Back: 2.213
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.876 Prop: 43.149 PropClause: 35.546 Set: 52.544 Check: 0.0 Back: 2.229
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.885 Prop: 43.312 PropClause: 35.69 Set: 52.671 Check: 0.0 Back: 2.241
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.888 Prop: 43.475 PropClause: 35.833 Set: 52.79 Check: 0.0 Back: 2.255
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.892 Prop: 43.643 PropClause: 35.977 Set: 52.919 Check: 0.0 Back: 2.27
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.897 Prop: 43.804 PropClause: 36.12 Set: 53.04 Check: 0.0 Back: 2.285
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.9 Prop: 43.971 PropClause: 36.267 Set: 53.184 Check: 0.0 Back: 2.299
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.903 Prop: 44.132 PropClause: 36.409 Set: 53.3 Check: 0.0 Back: 2.315
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.906 Prop: 44.295 PropClause: 36.55 Set: 53.43 Check: 0.0 Back: 2.329
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.909 Prop: 44.454 PropClause: 36.691 Set: 53.564 Check: 0.0 Back: 2.347
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.912 Prop: 44.617 PropClause: 36.835 Set: 53.688 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: 191 Props: 82339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.915 Prop: 44.776 PropClause: 36.974 Set: 53.801 Check: 0.0 Back: 2.376
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.918 Prop: 44.941 PropClause: 37.12 Set: 53.91 Check: 0.0 Back: 2.39
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.921 Prop: 45.1 PropClause: 37.258 Set: 54.026 Check: 0.0 Back: 2.405
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.923 Prop: 45.261 PropClause: 37.398 Set: 54.145 Check: 0.0 Back: 2.418
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.926 Prop: 45.424 PropClause: 37.542 Set: 54.282 Check: 0.0 Back: 2.431
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.929 Prop: 45.582 PropClause: 37.681 Set: 54.402 Check: 0.0 Back: 2.446
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.931 Prop: 45.742 PropClause: 37.822 Set: 54.517 Check: 0.0 Back: 2.461
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.935 Prop: 45.899 PropClause: 37.964 Set: 54.595 Check: 0.0 Back: 2.474
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.94 Prop: 46.069 PropClause: 38.114 Set: 54.745 Check: 0.0 Back: 2.49
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 86344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.943 Prop: 46.238 PropClause: 38.263 Set: 54.891 Check: 0.0 Back: 2.506
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.948 Prop: 46.402 PropClause: 38.407 Set: 55.033 Check: 0.0 Back: 2.522
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.951 Prop: 46.57 PropClause: 38.553 Set: 55.179 Check: 0.0 Back: 2.535
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.954 Prop: 46.739 PropClause: 38.703 Set: 55.297 Check: 0.0 Back: 2.55
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.956 Prop: 46.902 PropClause: 38.846 Set: 55.422 Check: 0.0 Back: 2.563
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.96 Prop: 47.064 PropClause: 38.988 Set: 55.535 Check: 0.0 Back: 2.577
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.963 Prop: 47.245 PropClause: 39.148 Set: 55.655 Check: 0.0 Back: 2.59
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 89459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.966 Prop: 47.406 PropClause: 39.29 Set: 55.778 Check: 0.0 Back: 2.602
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.968 Prop: 47.57 PropClause: 39.433 Set: 55.898 Check: 0.0 Back: 2.616
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.972 Prop: 47.734 PropClause: 39.577 Set: 56.024 Check: 0.0 Back: 2.629
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.976 Prop: 47.867 PropClause: 39.695 Set: 59.233 Check: 0.0 Back: 2.645
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.978 Prop: 48.022 PropClause: 39.828 Set: 59.502 Check: 0.0 Back: 2.654
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.98 Prop: 48.157 PropClause: 39.948 Set: 59.705 Check: 0.0 Back: 2.667
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.984 Prop: 48.321 PropClause: 40.091 Set: 60.011 Check: 0.0 Back: 2.678
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.987 Prop: 48.491 PropClause: 40.241 Set: 60.306 Check: 0.0 Back: 2.694
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.99 Prop: 48.636 PropClause: 40.369 Set: 60.509 Check: 0.0 Back: 2.707
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.995 Prop: 48.794 PropClause: 40.507 Set: 60.785 Check: 0.0 Back: 2.718
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.997 Prop: 48.922 PropClause: 40.62 Set: 60.966 Check: 0.0 Back: 2.731
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: 3.0 Prop: 49.091 PropClause: 40.77 Set: 61.216 Check: 0.0 Back: 2.742
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: 3.003 Prop: 49.267 PropClause: 40.926 Set: 61.458 Check: 0.0 Back: 2.756
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: 3.005 Prop: 49.411 PropClause: 41.054 Set: 61.661 Check: 0.0 Back: 2.77
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: 3.007 Prop: 49.568 PropClause: 41.189 Set: 61.93 Check: 0.0 Back: 2.781
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 95700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.01 Prop: 49.729 PropClause: 41.331 Set: 62.187 Check: 0.0 Back: 2.795
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: 3.013 Prop: 49.885 PropClause: 41.469 Set: 62.401 Check: 0.0 Back: 2.808
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: 3.016 Prop: 50.025 PropClause: 41.592 Set: 62.632 Check: 0.0 Back: 2.822
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: 3.018 Prop: 50.182 PropClause: 41.731 Set: 62.852 Check: 0.0 Back: 2.835
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: 3.021 Prop: 50.345 PropClause: 41.876 Set: 63.098 Check: 0.0 Back: 2.849
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: 3.024 Prop: 50.504 PropClause: 42.017 Set: 63.324 Check: 0.0 Back: 2.86
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: 3.026 Prop: 50.651 PropClause: 42.147 Set: 63.57 Check: 0.0 Back: 2.873
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: 3.028 Prop: 50.803 PropClause: 42.281 Set: 63.783 Check: 0.0 Back: 2.884
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: 3.03 Prop: 50.948 PropClause: 42.407 Set: 64.007 Check: 0.0 Back: 2.899
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: 3.033 Prop: 51.12 PropClause: 42.561 Set: 64.259 Check: 0.0 Back: 2.91
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: 3.035 Prop: 51.26 PropClause: 42.685 Set: 64.452 Check: 0.0 Back: 2.925
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: 3.038 Prop: 51.412 PropClause: 42.818 Set: 64.718 Check: 0.0 Back: 2.935
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: 3.04 Prop: 51.591 PropClause: 42.976 Set: 64.979 Check: 0.0 Back: 2.951
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: 3.044 Prop: 51.754 PropClause: 43.12 Set: 65.237 Check: 0.0 Back: 2.964
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 101485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.046 Prop: 51.921 PropClause: 43.266 Set: 65.501 Check: 0.0 Back: 2.977
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: 3.048 Prop: 52.053 PropClause: 43.383 Set: 65.692 Check: 0.0 Back: 2.991
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: 3.052 Prop: 52.218 PropClause: 43.529 Set: 65.934 Check: 0.0 Back: 3.002
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: 3.056 Prop: 52.396 PropClause: 43.686 Set: 66.177 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: 240 Props: 103196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.06 Prop: 52.579 PropClause: 43.847 Set: 66.43 Check: 0.0 Back: 3.035
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 103641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.062 Prop: 52.754 PropClause: 44.002 Set: 66.682 Check: 0.0 Back: 3.05
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: 3.064 Prop: 52.897 PropClause: 44.128 Set: 66.904 Check: 0.0 Back: 3.065
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: 3.067 Prop: 53.051 PropClause: 44.262 Set: 67.165 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: 244 Props: 104932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.069 Prop: 53.232 PropClause: 44.422 Set: 67.422 Check: 0.0 Back: 3.093
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 105332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.073 Prop: 53.392 PropClause: 44.564 Set: 67.65 Check: 0.0 Back: 3.107
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: 3.076 Prop: 53.546 PropClause: 44.7 Set: 67.899 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: 247 Props: 106111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.078 Prop: 53.67 PropClause: 44.809 Set: 68.079 Check: 0.0 Back: 3.133
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: 3.081 Prop: 53.826 PropClause: 44.943 Set: 68.352 Check: 0.0 Back: 3.143
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: 3.084 Prop: 53.995 PropClause: 45.093 Set: 68.606 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: 250 Props: 107407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.085 Prop: 54.146 PropClause: 45.226 Set: 68.844 Check: 0.0 Back: 3.169
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: 3.09 Prop: 54.318 PropClause: 45.377 Set: 69.136 Check: 0.0 Back: 3.179
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: 3.099 Prop: 54.535 PropClause: 45.573 Set: 69.436 Check: 0.0 Back: 3.191
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: 3.101 Prop: 54.686 PropClause: 45.704 Set: 69.69 Check: 0.0 Back: 3.202
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: 3.103 Prop: 54.818 PropClause: 45.818 Set: 69.959 Check: 0.0 Back: 3.212
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: 3.107 Prop: 54.947 PropClause: 45.93 Set: 70.203 Check: 0.0 Back: 3.221
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: 3.109 Prop: 55.251 PropClause: 46.066 Set: 70.457 Check: 0.0 Back: 3.23
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: 3.114 Prop: 55.416 PropClause: 46.202 Set: 70.752 Check: 0.0 Back: 3.24
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: 3.116 Prop: 55.566 PropClause: 46.333 Set: 71.011 Check: 0.0 Back: 3.251
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: 3.118 Prop: 55.723 PropClause: 46.47 Set: 71.296 Check: 0.0 Back: 3.261
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: 3.12 Prop: 55.844 PropClause: 46.576 Set: 71.494 Check: 0.0 Back: 3.272
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: 3.122 Prop: 55.989 PropClause: 46.699 Set: 71.783 Check: 0.0 Back: 3.281
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: 3.124 Prop: 56.129 PropClause: 46.822 Set: 72.014 Check: 0.0 Back: 3.292
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: 3.128 Prop: 56.286 PropClause: 46.958 Set: 72.321 Check: 0.0 Back: 3.302
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: 3.132 Prop: 56.456 PropClause: 47.107 Set: 72.601 Check: 0.0 Back: 3.313
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: 3.134 Prop: 56.625 PropClause: 47.256 Set: 72.899 Check: 0.0 Back: 3.324
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: 3.136 Prop: 56.762 PropClause: 47.374 Set: 73.157 Check: 0.0 Back: 3.336
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: 3.14 Prop: 56.921 PropClause: 47.512 Set: 73.425 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: 268 Props: 114873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.143 Prop: 57.083 PropClause: 47.654 Set: 73.7 Check: 0.0 Back: 3.358
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 115302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.145 Prop: 57.231 PropClause: 47.783 Set: 73.965 Check: 0.0 Back: 3.369
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: 3.147 Prop: 57.385 PropClause: 47.918 Set: 74.244 Check: 0.0 Back: 3.38
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: 3.15 Prop: 57.538 PropClause: 48.049 Set: 74.53 Check: 0.0 Back: 3.391
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: 3.154 Prop: 57.704 PropClause: 48.195 Set: 74.797 Check: 0.0 Back: 3.402
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: 3.156 Prop: 57.858 PropClause: 48.329 Set: 75.078 Check: 0.0 Back: 3.413
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: 3.161 Prop: 58.01 PropClause: 48.461 Set: 75.358 Check: 0.0 Back: 3.425
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: 3.166 Prop: 58.165 PropClause: 48.596 Set: 75.645 Check: 0.0 Back: 3.436
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: 3.17 Prop: 58.318 PropClause: 48.728 Set: 75.93 Check: 0.0 Back: 3.447
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: 3.173 Prop: 58.477 PropClause: 48.863 Set: 76.145 Check: 0.0 Back: 3.458
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: 3.176 Prop: 58.623 PropClause: 48.99 Set: 76.321 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: 279 Props: 119752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.179 Prop: 58.785 PropClause: 49.132 Set: 76.482 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: 280 Props: 120197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.182 Prop: 58.939 PropClause: 49.267 Set: 76.646 Check: 0.0 Back: 3.491
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: 3.185 Prop: 59.092 PropClause: 49.397 Set: 76.811 Check: 0.0 Back: 3.502
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: 3.187 Prop: 59.25 PropClause: 49.535 Set: 76.975 Check: 0.0 Back: 3.513
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: 3.19 Prop: 59.394 PropClause: 49.66 Set: 77.145 Check: 0.0 Back: 3.525
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: 3.192 Prop: 59.53 PropClause: 49.779 Set: 77.305 Check: 0.0 Back: 3.536
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: 3.195 Prop: 59.691 PropClause: 49.918 Set: 77.484 Check: 0.0 Back: 3.547
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: 3.198 Prop: 59.845 PropClause: 50.053 Set: 77.654 Check: 0.0 Back: 3.558
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: 3.203 Prop: 60.012 PropClause: 50.202 Set: 77.823 Check: 0.0 Back: 3.569
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: 3.207 Prop: 60.181 PropClause: 50.351 Set: 77.983 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: 289 Props: 124173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.21 Prop: 60.337 PropClause: 50.487 Set: 78.157 Check: 0.0 Back: 3.592
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: 3.212 Prop: 60.489 PropClause: 50.617 Set: 78.351 Check: 0.0 Back: 3.603
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: 3.215 Prop: 60.645 PropClause: 50.753 Set: 78.533 Check: 0.0 Back: 3.614
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: 3.217 Prop: 60.786 PropClause: 50.874 Set: 78.726 Check: 0.0 Back: 3.626
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: 3.222 Prop: 60.94 PropClause: 51.008 Set: 78.902 Check: 0.0 Back: 3.637
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: 3.224 Prop: 61.095 PropClause: 51.141 Set: 79.069 Check: 0.0 Back: 3.649
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: 3.227 Prop: 61.26 PropClause: 51.278 Set: 79.242 Check: 0.0 Back: 3.66
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: 3.231 Prop: 61.406 PropClause: 51.404 Set: 79.419 Check: 0.0 Back: 3.672
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: 3.233 Prop: 61.555 PropClause: 51.534 Set: 79.591 Check: 0.0 Back: 3.683
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: 3.236 Prop: 61.709 PropClause: 51.666 Set: 79.764 Check: 0.0 Back: 3.695
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: 3.239 Prop: 61.859 PropClause: 51.798 Set: 79.945 Check: 0.0 Back: 3.706
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: 3.241 Prop: 62.012 PropClause: 51.93 Set: 80.127 Check: 0.0 Back: 3.717
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: 3.244 Prop: 62.162 PropClause: 52.061 Set: 80.3 Check: 0.0 Back: 3.728
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: 3.247 Prop: 62.313 PropClause: 52.191 Set: 80.478 Check: 0.0 Back: 3.739
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: 3.249 Prop: 62.462 PropClause: 52.318 Set: 80.671 Check: 0.0 Back: 3.75
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: 3.252 Prop: 62.615 PropClause: 52.452 Set: 80.854 Check: 0.0 Back: 3.761
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: 3.255 Prop: 62.79 PropClause: 52.607 Set: 81.026 Check: 0.0 Back: 3.773
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: 3.26 Prop: 62.948 PropClause: 52.745 Set: 81.211 Check: 0.0 Back: 3.784
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: 3.264 Prop: 63.095 PropClause: 52.87 Set: 81.379 Check: 0.0 Back: 3.795
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: 3.27 Prop: 63.251 PropClause: 53.006 Set: 81.541 Check: 0.0 Back: 3.806
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: 3.272 Prop: 63.397 PropClause: 53.133 Set: 81.724 Check: 0.0 Back: 3.817
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: 3.275 Prop: 63.551 PropClause: 53.266 Set: 81.912 Check: 0.0 Back: 3.83
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: 3.278 Prop: 63.702 PropClause: 53.398 Set: 82.088 Check: 0.0 Back: 3.841
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 134407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.283 Prop: 63.866 PropClause: 53.534 Set: 82.258 Check: 0.0 Back: 3.852
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 134852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.286 Prop: 64.017 PropClause: 53.665 Set: 82.442 Check: 0.0 Back: 3.863
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 135297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.288 Prop: 64.17 PropClause: 53.798 Set: 82.618 Check: 0.0 Back: 3.874
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 135742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.292 Prop: 64.323 PropClause: 53.93 Set: 82.803 Check: 0.0 Back: 3.885
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 136187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.298 Prop: 64.477 PropClause: 54.064 Set: 82.979 Check: 0.0 Back: 3.897
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 136632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.3 Prop: 64.634 PropClause: 54.202 Set: 83.156 Check: 0.0 Back: 3.908
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 137077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.303 Prop: 64.783 PropClause: 54.332 Set: 83.331 Check: 0.0 Back: 3.919
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 137522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.306 Prop: 64.94 PropClause: 54.469 Set: 83.511 Check: 0.0 Back: 3.93
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 137918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.31 Prop: 65.076 PropClause: 54.588 Set: 83.669 Check: 0.0 Back: 3.941
INFO - Atoms: 396/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 138363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.314 Prop: 65.231 PropClause: 54.724 Set: 83.845 Check: 0.0 Back: 3.951
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 138808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.317 Prop: 65.38 PropClause: 54.853 Set: 84.026 Check: 0.0 Back: 3.962
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 139253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.321 Prop: 65.534 PropClause: 54.988 Set: 84.191 Check: 0.0 Back: 3.973
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 139698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.327 Prop: 65.688 PropClause: 55.122 Set: 84.358 Check: 0.0 Back: 3.985
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 140143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.33 Prop: 65.841 PropClause: 55.254 Set: 84.527 Check: 0.0 Back: 3.996
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 140588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.332 Prop: 65.99 PropClause: 55.383 Set: 84.692 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: 327 Props: 141033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.335 Prop: 66.135 PropClause: 55.509 Set: 84.866 Check: 0.0 Back: 4.018
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 141478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.342 Prop: 66.301 PropClause: 55.656 Set: 84.986 Check: 0.0 Back: 4.029
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 141923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.345 Prop: 66.443 PropClause: 55.779 Set: 85.111 Check: 0.0 Back: 4.04
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 142368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.348 Prop: 66.586 PropClause: 55.899 Set: 85.229 Check: 0.0 Back: 4.053
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 142813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.352 Prop: 66.726 PropClause: 56.02 Set: 85.345 Check: 0.0 Back: 4.064
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 143258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.355 Prop: 66.875 PropClause: 56.15 Set: 85.472 Check: 0.0 Back: 4.076
INFO - Atoms: 445/445 Clauses: 28 Axioms: 1788
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 143703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.359 Prop: 67.022 PropClause: 56.277 Set: 85.594 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: 334 Props: 144148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.363 Prop: 67.171 PropClause: 56.406 Set: 85.714 Check: 0.0 Back: 4.099
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.366 Prop: 67.312 PropClause: 56.528 Set: 85.836 Check: 0.0 Back: 4.111
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.369 Prop: 67.457 PropClause: 56.653 Set: 85.948 Check: 0.0 Back: 4.123
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.371 Prop: 67.591 PropClause: 56.77 Set: 86.061 Check: 0.0 Back: 4.135
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.376 Prop: 67.747 PropClause: 56.905 Set: 86.206 Check: 0.0 Back: 4.145
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.38 Prop: 67.892 PropClause: 57.031 Set: 86.331 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: 340 Props: 146808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.383 Prop: 68.033 PropClause: 57.153 Set: 86.45 Check: 0.0 Back: 4.169
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.386 Prop: 68.171 PropClause: 57.272 Set: 86.557 Check: 0.0 Back: 4.182
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.389 Prop: 68.317 PropClause: 57.4 Set: 86.692 Check: 0.0 Back: 4.193
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.392 Prop: 68.468 PropClause: 57.53 Set: 86.826 Check: 0.0 Back: 4.205
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.395 Prop: 68.61 PropClause: 57.654 Set: 86.939 Check: 0.0 Back: 4.216
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.398 Prop: 68.747 PropClause: 57.772 Set: 87.054 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: 346 Props: 149478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.402 Prop: 68.891 PropClause: 57.898 Set: 87.182 Check: 0.0 Back: 4.239
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.407 Prop: 69.053 PropClause: 58.038 Set: 87.308 Check: 0.0 Back: 4.251
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.412 Prop: 69.21 PropClause: 58.173 Set: 87.47 Check: 0.0 Back: 4.262
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.415 Prop: 69.37 PropClause: 58.308 Set: 87.624 Check: 0.0 Back: 4.273
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.419 Prop: 69.52 PropClause: 58.438 Set: 87.766 Check: 0.0 Back: 4.285
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.422 Prop: 69.662 PropClause: 58.562 Set: 87.894 Check: 0.0 Back: 4.297
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.425 Prop: 69.81 PropClause: 58.69 Set: 88.027 Check: 0.0 Back: 4.309
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.428 Prop: 69.96 PropClause: 58.82 Set: 88.165 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: 354 Props: 153038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.432 Prop: 70.108 PropClause: 58.948 Set: 88.296 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: 355 Props: 153483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.52 Prop: 70.253 PropClause: 59.074 Set: 88.419 Check: 0.0 Back: 4.349
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.525 Prop: 70.406 PropClause: 59.206 Set: 88.54 Check: 0.0 Back: 4.361
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.529 Prop: 70.556 PropClause: 59.336 Set: 88.673 Check: 0.0 Back: 4.373
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.534 Prop: 70.699 PropClause: 59.461 Set: 88.802 Check: 0.0 Back: 4.383
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.538 Prop: 70.847 PropClause: 59.589 Set: 88.933 Check: 0.0 Back: 4.395
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.543 Prop: 70.992 PropClause: 59.714 Set: 89.047 Check: 0.0 Back: 4.408
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.545 Prop: 71.133 PropClause: 59.836 Set: 89.156 Check: 0.0 Back: 4.419
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.55 Prop: 71.28 PropClause: 59.964 Set: 89.283 Check: 0.0 Back: 4.432
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.553 Prop: 71.431 PropClause: 60.096 Set: 89.43 Check: 0.0 Back: 4.445
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.559 Prop: 71.58 PropClause: 60.227 Set: 89.572 Check: 0.0 Back: 4.456
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.563 Prop: 71.725 PropClause: 60.352 Set: 89.701 Check: 0.0 Back: 4.468
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.567 Prop: 71.876 PropClause: 60.481 Set: 89.825 Check: 0.0 Back: 4.481
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.571 Prop: 72.025 PropClause: 60.61 Set: 89.968 Check: 0.0 Back: 4.492
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.576 Prop: 72.175 PropClause: 60.737 Set: 90.104 Check: 0.0 Back: 4.504
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.579 Prop: 72.326 PropClause: 60.865 Set: 90.235 Check: 0.0 Back: 4.515
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: 57.049 Prop: 819.441 PropClause: 2.895 Set: 204.652 Check: 29.987 Back: 7.115
INFO - Atoms: 34/37 Clauses: 381 Axioms: 38
INFO - CCTimes: iE 7653 eq 3092886 cc 2746400 setRep 697972
INFO - Merges: 1703, cc:1066
INFO - BVTimes: BB 11578355 BB_DPLL 422416665 Graph 20362594
INFO - BitBlastingClauses: 11751 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat