/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: 27396724 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.259 Prop: 1.694 PropClause: 1.482 Set: 1.621 Check: 0.0 Back: 0.0 INFO - Atoms: 519/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.276 Prop: 1.872 PropClause: 1.586 Set: 12.827 Check: 0.0 Back: 0.029 INFO - Atoms: 465/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 1536 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.286 Prop: 2.06 PropClause: 1.689 Set: 12.979 Check: 0.0 Back: 0.04 INFO - Atoms: 552/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 2106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.3 Prop: 2.25 PropClause: 1.796 Set: 13.129 Check: 0.0 Back: 0.053 INFO - Atoms: 570/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 2712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.312 Prop: 2.473 PropClause: 1.928 Set: 13.29 Check: 0.0 Back: 0.066 INFO - Atoms: 606/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 3376 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.342 Prop: 2.732 PropClause: 2.066 Set: 13.492 Check: 0.0 Back: 0.08 INFO - Atoms: 664/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 4016 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.353 Prop: 2.975 PropClause: 2.206 Set: 13.674 Check: 0.0 Back: 0.096 INFO - Atoms: 640/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 4706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.364 Prop: 3.234 PropClause: 2.359 Set: 13.869 Check: 0.0 Back: 0.111 INFO - Atoms: 690/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 5409 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.394 Prop: 3.519 PropClause: 2.521 Set: 14.103 Check: 0.0 Back: 0.127 INFO - Atoms: 703/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 6117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.405 Prop: 3.797 PropClause: 2.685 Set: 14.371 Check: 0.0 Back: 0.143 INFO - Atoms: 708/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 6818 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.416 Prop: 4.102 PropClause: 2.88 Set: 14.623 Check: 0.0 Back: 0.16 INFO - Atoms: 701/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 7528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.426 Prop: 4.304 PropClause: 3.061 Set: 14.848 Check: 0.0 Back: 0.177 INFO - Atoms: 710/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 8247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.439 Prop: 4.513 PropClause: 3.247 Set: 15.084 Check: 0.0 Back: 0.193 INFO - Atoms: 719/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 8961 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.454 Prop: 4.769 PropClause: 3.481 Set: 35.425 Check: 0.0 Back: 0.209 INFO - Atoms: 714/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 9680 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.465 Prop: 4.982 PropClause: 3.672 Set: 35.701 Check: 0.0 Back: 0.226 INFO - Atoms: 719/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 10364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.475 Prop: 5.191 PropClause: 3.859 Set: 35.958 Check: 0.0 Back: 0.244 INFO - Atoms: 684/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 11080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.485 Prop: 5.404 PropClause: 4.05 Set: 36.232 Check: 0.0 Back: 0.26 INFO - Atoms: 716/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 11784 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.493 Prop: 5.61 PropClause: 4.235 Set: 36.504 Check: 0.0 Back: 0.277 INFO - Atoms: 704/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 12496 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.503 Prop: 5.815 PropClause: 4.418 Set: 36.783 Check: 0.0 Back: 0.293 INFO - Atoms: 712/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 13214 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.516 Prop: 6.025 PropClause: 4.604 Set: 37.071 Check: 0.0 Back: 0.309 INFO - Atoms: 718/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 13937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.526 Prop: 6.241 PropClause: 4.798 Set: 37.365 Check: 0.0 Back: 0.326 INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 14659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.536 Prop: 6.454 PropClause: 4.989 Set: 37.644 Check: 0.0 Back: 0.343 INFO - Atoms: 722/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 15382 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.55 Prop: 6.702 PropClause: 5.215 Set: 45.677 Check: 0.0 Back: 0.36 INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 16106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.561 Prop: 6.912 PropClause: 5.4 Set: 45.919 Check: 0.0 Back: 0.377 INFO - Atoms: 724/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 16829 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.574 Prop: 7.112 PropClause: 5.578 Set: 46.159 Check: 0.0 Back: 0.394 INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 17553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.582 Prop: 7.309 PropClause: 5.754 Set: 46.387 Check: 0.0 Back: 0.411 INFO - Atoms: 724/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 18276 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.591 Prop: 7.503 PropClause: 5.926 Set: 46.603 Check: 0.0 Back: 0.428 INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 18996 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.6 Prop: 7.7 PropClause: 6.101 Set: 46.819 Check: 0.0 Back: 0.445 INFO - Atoms: 720/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 19723 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.609 Prop: 7.899 PropClause: 6.278 Set: 47.043 Check: 0.0 Back: 0.462 INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 20447 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.619 Prop: 12.944 PropClause: 6.458 Set: 47.264 Check: 0.0 Back: 0.478 INFO - Atoms: 724/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 21170 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.629 Prop: 13.151 PropClause: 6.637 Set: 47.486 Check: 0.0 Back: 0.495 INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 21884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.637 Prop: 13.343 PropClause: 6.807 Set: 47.698 Check: 0.0 Back: 0.512 INFO - Atoms: 714/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 22607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.647 Prop: 13.537 PropClause: 6.98 Set: 47.915 Check: 0.0 Back: 0.529 INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 23327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.655 Prop: 13.739 PropClause: 7.16 Set: 48.17 Check: 0.0 Back: 0.546 INFO - Atoms: 720/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 24048 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.664 Prop: 13.931 PropClause: 7.331 Set: 48.391 Check: 0.0 Back: 0.563 INFO - Atoms: 721/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 24760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.68 Prop: 14.12 PropClause: 7.498 Set: 48.624 Check: 0.0 Back: 0.579 INFO - Atoms: 712/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 25464 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.69 Prop: 14.307 PropClause: 7.663 Set: 48.854 Check: 0.0 Back: 0.596 INFO - Atoms: 704/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 26165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.698 Prop: 14.492 PropClause: 7.827 Set: 49.078 Check: 0.0 Back: 0.612 INFO - Atoms: 701/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 26872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.707 Prop: 14.678 PropClause: 7.992 Set: 49.299 Check: 0.0 Back: 0.629 INFO - Atoms: 707/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 27579 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.716 Prop: 14.863 PropClause: 8.156 Set: 49.51 Check: 0.0 Back: 0.645 INFO - Atoms: 707/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 28297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.725 Prop: 15.061 PropClause: 8.331 Set: 49.701 Check: 0.0 Back: 0.662 INFO - Atoms: 718/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 29015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.733 Prop: 15.254 PropClause: 8.503 Set: 49.885 Check: 0.0 Back: 0.679 INFO - Atoms: 718/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 29726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.742 Prop: 15.443 PropClause: 8.67 Set: 50.081 Check: 0.0 Back: 0.695 INFO - Atoms: 711/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 30458 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.75 Prop: 15.642 PropClause: 8.847 Set: 50.269 Check: 0.0 Back: 0.712 INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 31191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.761 Prop: 15.844 PropClause: 9.027 Set: 50.468 Check: 0.0 Back: 0.729 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 31922 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.773 Prop: 16.041 PropClause: 9.202 Set: 50.661 Check: 0.0 Back: 0.746 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 32508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.781 Prop: 16.196 PropClause: 9.34 Set: 50.806 Check: 0.0 Back: 0.763 INFO - Atoms: 586/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 33237 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.793 Prop: 16.378 PropClause: 9.5 Set: 50.995 Check: 0.0 Back: 0.776 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 33959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.802 Prop: 16.572 PropClause: 9.672 Set: 51.186 Check: 0.0 Back: 0.793 INFO - Atoms: 722/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 34692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.813 Prop: 16.77 PropClause: 9.847 Set: 51.377 Check: 0.0 Back: 0.81 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 35202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.822 Prop: 16.916 PropClause: 9.967 Set: 51.492 Check: 0.0 Back: 0.827 INFO - Atoms: 510/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 35935 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.834 Prop: 17.092 PropClause: 10.121 Set: 51.694 Check: 0.0 Back: 0.839 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 36657 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.842 Prop: 17.338 PropClause: 10.311 Set: 51.9 Check: 0.0 Back: 0.856 INFO - Atoms: 722/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 37386 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.858 Prop: 17.56 PropClause: 10.502 Set: 72.105 Check: 0.0 Back: 0.873 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 37953 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.87 Prop: 17.715 PropClause: 10.634 Set: 72.239 Check: 0.0 Back: 0.89 INFO - Atoms: 567/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 38683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.882 Prop: 17.902 PropClause: 10.797 Set: 72.43 Check: 0.0 Back: 0.904 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 39406 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.892 Prop: 18.096 PropClause: 10.967 Set: 72.617 Check: 0.0 Back: 0.921 INFO - Atoms: 723/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 40139 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.966 Prop: 18.298 PropClause: 11.144 Set: 72.808 Check: 0.0 Back: 0.938 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 40754 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.969 Prop: 18.464 PropClause: 11.289 Set: 72.984 Check: 0.0 Back: 0.955 INFO - Atoms: 615/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 41376 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.972 Prop: 18.617 PropClause: 11.422 Set: 73.133 Check: 0.0 Back: 0.97 INFO - Atoms: 622/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 42024 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.977 Prop: 18.789 PropClause: 11.565 Set: 73.299 Check: 0.0 Back: 0.984 INFO - Atoms: 648/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 42659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.98 Prop: 18.929 PropClause: 11.685 Set: 73.512 Check: 0.0 Back: 0.999 INFO - Atoms: 635/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 43392 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.985 Prop: 19.086 PropClause: 11.818 Set: 73.701 Check: 0.0 Back: 1.014 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 44123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.987 Prop: 19.246 PropClause: 11.954 Set: 73.886 Check: 0.0 Back: 1.031 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 44853 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.993 Prop: 19.413 PropClause: 12.097 Set: 74.084 Check: 0.0 Back: 1.048 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 45583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.997 Prop: 19.582 PropClause: 12.242 Set: 74.275 Check: 0.0 Back: 1.065 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 46303 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.001 Prop: 19.737 PropClause: 12.373 Set: 74.454 Check: 0.0 Back: 1.082 INFO - Atoms: 720/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 47036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.005 Prop: 19.896 PropClause: 12.508 Set: 74.641 Check: 0.0 Back: 1.099 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 47769 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.012 Prop: 20.066 PropClause: 12.654 Set: 74.832 Check: 0.0 Back: 1.116 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 48500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.015 Prop: 20.228 PropClause: 12.792 Set: 75.02 Check: 0.0 Back: 1.133 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 49228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.019 Prop: 20.387 PropClause: 12.928 Set: 75.202 Check: 0.0 Back: 1.15 INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 49958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.023 Prop: 20.549 PropClause: 13.065 Set: 75.389 Check: 0.0 Back: 1.167 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 50666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.026 Prop: 20.7 PropClause: 13.193 Set: 75.564 Check: 0.0 Back: 1.184 INFO - Atoms: 708/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 51399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.036 Prop: 20.861 PropClause: 13.33 Set: 75.748 Check: 0.0 Back: 1.201 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 52047 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.052 Prop: 21.002 PropClause: 13.451 Set: 75.903 Check: 0.0 Back: 1.218 INFO - Atoms: 648/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 52715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.054 Prop: 21.145 PropClause: 13.573 Set: 76.067 Check: 0.0 Back: 1.233 INFO - Atoms: 668/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 53399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.056 Prop: 26.384 PropClause: 13.7 Set: 76.232 Check: 0.0 Back: 1.249 INFO - Atoms: 684/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 54074 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.057 Prop: 26.528 PropClause: 13.822 Set: 76.394 Check: 0.0 Back: 1.264 INFO - Atoms: 675/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 54752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.059 Prop: 26.678 PropClause: 13.951 Set: 76.561 Check: 0.0 Back: 1.28 INFO - Atoms: 678/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 55435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.061 Prop: 26.827 PropClause: 14.078 Set: 76.729 Check: 0.0 Back: 1.296 INFO - Atoms: 683/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 56105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.07 Prop: 26.976 PropClause: 14.204 Set: 76.89 Check: 0.0 Back: 1.312 INFO - Atoms: 670/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 56768 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.071 Prop: 27.12 PropClause: 14.328 Set: 77.047 Check: 0.0 Back: 1.327 INFO - Atoms: 663/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 57501 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.073 Prop: 27.286 PropClause: 14.47 Set: 77.23 Check: 0.0 Back: 1.343 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 58232 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.075 Prop: 27.455 PropClause: 14.615 Set: 77.413 Check: 0.0 Back: 1.36 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 58962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.078 Prop: 27.646 PropClause: 14.783 Set: 93.621 Check: 0.0 Back: 1.377 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 59693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.08 Prop: 27.817 PropClause: 14.93 Set: 93.81 Check: 0.0 Back: 1.394 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 60421 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.087 Prop: 27.994 PropClause: 15.074 Set: 93.994 Check: 0.0 Back: 1.41 INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 61154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.089 Prop: 28.159 PropClause: 15.216 Set: 94.184 Check: 0.0 Back: 1.427 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 61887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.092 Prop: 28.328 PropClause: 15.361 Set: 94.369 Check: 0.0 Back: 1.444 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 62618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.094 Prop: 28.494 PropClause: 15.503 Set: 94.554 Check: 0.0 Back: 1.461 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 63348 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.097 Prop: 28.658 PropClause: 15.642 Set: 94.742 Check: 0.0 Back: 1.478 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 64079 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.099 Prop: 28.827 PropClause: 15.787 Set: 94.93 Check: 0.0 Back: 1.495 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 64807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.102 Prop: 28.995 PropClause: 15.931 Set: 95.055 Check: 0.0 Back: 1.512 INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 65540 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.105 Prop: 29.165 PropClause: 16.077 Set: 95.152 Check: 0.0 Back: 1.529 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 66273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.107 Prop: 29.327 PropClause: 16.216 Set: 95.25 Check: 0.0 Back: 1.546 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 67006 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.11 Prop: 29.492 PropClause: 16.358 Set: 95.347 Check: 0.0 Back: 1.563 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 67733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.112 Prop: 29.653 PropClause: 16.495 Set: 95.44 Check: 0.0 Back: 1.58 INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 68463 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.115 Prop: 29.812 PropClause: 16.63 Set: 95.535 Check: 0.0 Back: 1.597 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 69194 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.117 Prop: 29.977 PropClause: 16.772 Set: 95.629 Check: 0.0 Back: 1.613 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 69924 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.121 Prop: 46.157 PropClause: 32.929 Set: 95.734 Check: 0.0 Back: 1.63 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 70655 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.123 Prop: 46.325 PropClause: 33.073 Set: 95.831 Check: 0.0 Back: 1.647 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 71386 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.126 Prop: 46.492 PropClause: 33.216 Set: 95.925 Check: 0.0 Back: 1.664 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 72119 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.134 Prop: 46.666 PropClause: 33.357 Set: 96.018 Check: 0.0 Back: 1.681 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 72852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.137 Prop: 46.833 PropClause: 33.501 Set: 96.143 Check: 0.0 Back: 1.698 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 73585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.141 Prop: 47.005 PropClause: 33.649 Set: 96.296 Check: 0.0 Back: 1.715 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 74318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.144 Prop: 47.188 PropClause: 33.809 Set: 96.44 Check: 0.0 Back: 1.732 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 75051 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.147 Prop: 47.36 PropClause: 33.958 Set: 96.586 Check: 0.0 Back: 1.749 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 75666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.15 Prop: 47.502 PropClause: 34.081 Set: 96.705 Check: 0.0 Back: 1.766 INFO - Atoms: 615/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 76399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.152 Prop: 47.668 PropClause: 34.223 Set: 96.855 Check: 0.0 Back: 1.78 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 77064 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.155 Prop: 47.828 PropClause: 34.363 Set: 96.989 Check: 0.0 Back: 1.797 INFO - Atoms: 665/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 77709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.158 Prop: 47.975 PropClause: 34.488 Set: 97.118 Check: 0.0 Back: 1.813 INFO - Atoms: 645/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 78442 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.161 Prop: 48.142 PropClause: 34.631 Set: 97.271 Check: 0.0 Back: 1.827 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 79175 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.164 Prop: 48.318 PropClause: 34.784 Set: 97.418 Check: 0.0 Back: 1.844 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 79908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.166 Prop: 48.5 PropClause: 34.943 Set: 97.56 Check: 0.0 Back: 1.862 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 80641 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.169 Prop: 48.677 PropClause: 35.096 Set: 97.711 Check: 0.0 Back: 1.879 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 81217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.171 Prop: 48.816 PropClause: 35.216 Set: 97.811 Check: 0.0 Back: 1.896 INFO - Atoms: 576/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 81950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.174 Prop: 48.981 PropClause: 35.358 Set: 97.962 Check: 0.0 Back: 1.909 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 82683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.177 Prop: 49.16 PropClause: 35.512 Set: 98.108 Check: 0.0 Back: 1.927 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 83317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.196 Prop: 49.317 PropClause: 35.642 Set: 98.24 Check: 0.0 Back: 1.944 INFO - Atoms: 634/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 84050 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.199 Prop: 49.483 PropClause: 35.783 Set: 98.394 Check: 0.0 Back: 1.958 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 84720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.201 Prop: 49.638 PropClause: 35.917 Set: 98.529 Check: 0.0 Back: 1.976 INFO - Atoms: 670/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 85453 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.203 Prop: 49.808 PropClause: 36.064 Set: 98.682 Check: 0.0 Back: 1.991 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 86186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.206 Prop: 49.982 PropClause: 36.214 Set: 98.826 Check: 0.0 Back: 2.008 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 86919 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.208 Prop: 50.159 PropClause: 36.368 Set: 98.972 Check: 0.0 Back: 2.025 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 87652 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.21 Prop: 50.337 PropClause: 36.523 Set: 99.118 Check: 0.0 Back: 2.042 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 88385 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.213 Prop: 50.51 PropClause: 36.67 Set: 99.27 Check: 0.0 Back: 2.059 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 89116 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.216 Prop: 50.68 PropClause: 36.818 Set: 99.427 Check: 0.0 Back: 2.076 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 89846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.218 Prop: 50.861 PropClause: 36.971 Set: 99.574 Check: 0.0 Back: 2.093 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 90578 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.221 Prop: 51.037 PropClause: 37.123 Set: 99.715 Check: 0.0 Back: 2.11 INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 91308 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.223 Prop: 51.213 PropClause: 37.276 Set: 99.861 Check: 0.0 Back: 2.129 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 92039 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.232 Prop: 51.391 PropClause: 37.431 Set: 100.01 Check: 0.0 Back: 2.146 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 92769 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.237 Prop: 51.569 PropClause: 37.585 Set: 100.157 Check: 0.0 Back: 2.163 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 93498 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.239 Prop: 51.746 PropClause: 37.739 Set: 100.309 Check: 0.0 Back: 2.18 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 94228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.242 Prop: 51.917 PropClause: 37.886 Set: 100.455 Check: 0.0 Back: 2.197 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 94955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.244 Prop: 52.092 PropClause: 38.039 Set: 100.596 Check: 0.0 Back: 2.214 INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 95685 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.249 Prop: 52.275 PropClause: 38.198 Set: 119.993 Check: 0.0 Back: 2.231 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 96416 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.251 Prop: 52.448 PropClause: 38.346 Set: 120.089 Check: 0.0 Back: 2.248 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 97146 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.253 Prop: 52.615 PropClause: 38.49 Set: 120.188 Check: 0.0 Back: 2.265 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 97876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.254 Prop: 52.785 PropClause: 38.636 Set: 120.285 Check: 0.0 Back: 2.282 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 98605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.256 Prop: 52.959 PropClause: 38.787 Set: 120.378 Check: 0.0 Back: 2.299 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 99337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.258 Prop: 53.128 PropClause: 38.932 Set: 120.473 Check: 0.0 Back: 2.316 INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 100067 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.259 Prop: 53.298 PropClause: 39.078 Set: 120.568 Check: 0.0 Back: 2.333 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 100799 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.261 Prop: 53.465 PropClause: 39.222 Set: 120.661 Check: 0.0 Back: 2.35 INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 101528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.263 Prop: 53.635 PropClause: 39.369 Set: 120.756 Check: 0.0 Back: 2.367 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 102259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.264 Prop: 53.803 PropClause: 39.514 Set: 120.852 Check: 0.0 Back: 2.384 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 102989 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.266 Prop: 53.972 PropClause: 39.66 Set: 120.947 Check: 0.0 Back: 2.401 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 103719 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.268 Prop: 54.139 PropClause: 39.804 Set: 121.044 Check: 0.0 Back: 2.418 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 104449 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.269 Prop: 54.318 PropClause: 39.958 Set: 121.141 Check: 0.0 Back: 2.435 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 105179 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.271 Prop: 54.485 PropClause: 40.102 Set: 121.238 Check: 0.0 Back: 2.452 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 105909 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.272 Prop: 54.653 PropClause: 40.247 Set: 121.333 Check: 0.0 Back: 2.469 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 106636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.274 Prop: 54.819 PropClause: 40.389 Set: 121.427 Check: 0.0 Back: 2.486 INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 107295 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.275 Prop: 54.978 PropClause: 40.527 Set: 121.509 Check: 0.0 Back: 2.503 INFO - Atoms: 659/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 108025 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.277 Prop: 55.14 PropClause: 40.667 Set: 121.602 Check: 0.0 Back: 2.518 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 108756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.279 Prop: 55.31 PropClause: 40.813 Set: 121.696 Check: 0.0 Back: 2.535 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 109486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.28 Prop: 55.483 PropClause: 40.962 Set: 121.796 Check: 0.0 Back: 2.552 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 110217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.282 Prop: 55.653 PropClause: 41.108 Set: 121.892 Check: 0.0 Back: 2.569 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 110947 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.283 Prop: 55.82 PropClause: 41.252 Set: 121.99 Check: 0.0 Back: 2.586 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 111678 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.285 Prop: 55.987 PropClause: 41.396 Set: 122.087 Check: 0.0 Back: 2.603 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 112408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.287 Prop: 56.161 PropClause: 41.545 Set: 122.185 Check: 0.0 Back: 2.62 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 113139 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.297 Prop: 56.333 PropClause: 41.694 Set: 122.281 Check: 0.0 Back: 2.637 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 113869 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.298 Prop: 56.503 PropClause: 41.841 Set: 122.376 Check: 0.0 Back: 2.654 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 114600 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.3 Prop: 56.671 PropClause: 41.985 Set: 122.473 Check: 0.0 Back: 2.671 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 115330 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.301 Prop: 56.841 PropClause: 42.131 Set: 122.568 Check: 0.0 Back: 2.688 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 116061 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.303 Prop: 57.011 PropClause: 42.278 Set: 122.665 Check: 0.0 Back: 2.705 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 116791 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.305 Prop: 57.18 PropClause: 42.424 Set: 122.758 Check: 0.0 Back: 2.722 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 117522 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.306 Prop: 57.348 PropClause: 42.569 Set: 122.859 Check: 0.0 Back: 2.739 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 118251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.308 Prop: 57.517 PropClause: 42.714 Set: 122.953 Check: 0.0 Back: 2.757 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 118981 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.31 Prop: 57.684 PropClause: 42.857 Set: 123.048 Check: 0.0 Back: 2.773 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 119711 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.311 Prop: 57.852 PropClause: 43.002 Set: 123.145 Check: 0.0 Back: 2.791 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 120436 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.313 Prop: 58.023 PropClause: 43.149 Set: 123.241 Check: 0.0 Back: 2.807 INFO - Atoms: 725/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 121166 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.315 Prop: 58.192 PropClause: 43.295 Set: 123.336 Check: 0.0 Back: 2.824 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 121897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.317 Prop: 58.362 PropClause: 43.442 Set: 123.433 Check: 0.0 Back: 2.841 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 122627 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.318 Prop: 58.536 PropClause: 43.591 Set: 123.531 Check: 0.0 Back: 2.858 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 123358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.32 Prop: 58.705 PropClause: 43.736 Set: 123.626 Check: 0.0 Back: 2.875 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 124084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.321 Prop: 58.879 PropClause: 43.887 Set: 123.723 Check: 0.0 Back: 2.892 INFO - Atoms: 726/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 124815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.323 Prop: 59.048 PropClause: 44.033 Set: 123.82 Check: 0.0 Back: 2.909 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 125547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.325 Prop: 59.215 PropClause: 44.176 Set: 123.914 Check: 0.0 Back: 2.927 INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 126280 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.327 Prop: 59.383 PropClause: 44.321 Set: 124.012 Check: 0.0 Back: 2.944 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 127013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.328 Prop: 59.553 PropClause: 44.467 Set: 124.11 Check: 0.0 Back: 2.961 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 127746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.33 Prop: 59.721 PropClause: 44.613 Set: 124.203 Check: 0.0 Back: 2.978 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 128479 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.331 Prop: 59.89 PropClause: 44.757 Set: 124.301 Check: 0.0 Back: 2.995 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 129212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.334 Prop: 60.063 PropClause: 44.906 Set: 124.399 Check: 0.0 Back: 3.012 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 129945 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.335 Prop: 60.233 PropClause: 45.054 Set: 124.496 Check: 0.0 Back: 3.029 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 130678 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.338 Prop: 60.408 PropClause: 45.205 Set: 124.641 Check: 0.0 Back: 3.046 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 131411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.339 Prop: 60.576 PropClause: 45.349 Set: 124.736 Check: 0.0 Back: 3.063 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 132144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.341 Prop: 60.744 PropClause: 45.494 Set: 124.833 Check: 0.0 Back: 3.08 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 132877 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.343 Prop: 60.91 PropClause: 45.637 Set: 124.93 Check: 0.0 Back: 3.099 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 133610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.346 Prop: 61.074 PropClause: 45.778 Set: 125.031 Check: 0.0 Back: 3.116 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 134343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.347 Prop: 61.237 PropClause: 45.917 Set: 125.126 Check: 0.0 Back: 3.133 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 135076 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.349 Prop: 61.4 PropClause: 46.056 Set: 125.222 Check: 0.0 Back: 3.15 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 135809 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.35 Prop: 61.562 PropClause: 46.195 Set: 125.32 Check: 0.0 Back: 3.167 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 136542 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.352 Prop: 61.728 PropClause: 46.337 Set: 125.417 Check: 0.0 Back: 3.184 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 137275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.353 Prop: 61.892 PropClause: 46.477 Set: 125.512 Check: 0.0 Back: 3.201 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 138008 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.355 Prop: 62.059 PropClause: 46.621 Set: 125.61 Check: 0.0 Back: 3.22 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 138741 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.356 Prop: 62.224 PropClause: 46.762 Set: 125.704 Check: 0.0 Back: 3.237 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 139474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.358 Prop: 62.384 PropClause: 46.899 Set: 125.798 Check: 0.0 Back: 3.254 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 140207 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.359 Prop: 62.549 PropClause: 47.04 Set: 125.893 Check: 0.0 Back: 3.271 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 140940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.373 Prop: 62.715 PropClause: 47.183 Set: 125.995 Check: 0.0 Back: 3.288 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 141673 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.383 Prop: 78.891 PropClause: 63.335 Set: 126.103 Check: 0.0 Back: 3.305 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 142406 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.385 Prop: 79.056 PropClause: 63.476 Set: 126.201 Check: 0.0 Back: 3.322 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 143139 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.387 Prop: 79.22 PropClause: 63.617 Set: 126.298 Check: 0.0 Back: 3.339 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 143872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.388 Prop: 79.392 PropClause: 63.766 Set: 126.397 Check: 0.0 Back: 3.356 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 144605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.39 Prop: 79.559 PropClause: 63.908 Set: 126.491 Check: 0.0 Back: 3.373 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 145338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.391 Prop: 79.725 PropClause: 64.051 Set: 126.586 Check: 0.0 Back: 3.39 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 146071 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.393 Prop: 79.892 PropClause: 64.194 Set: 126.687 Check: 0.0 Back: 3.407 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 146804 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.394 Prop: 80.057 PropClause: 64.336 Set: 126.782 Check: 0.0 Back: 3.424 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 147537 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.396 Prop: 80.222 PropClause: 64.476 Set: 126.875 Check: 0.0 Back: 3.441 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 148270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.397 Prop: 80.389 PropClause: 64.619 Set: 126.973 Check: 0.0 Back: 3.459 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 149003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.399 Prop: 80.557 PropClause: 64.763 Set: 127.069 Check: 0.0 Back: 3.476 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 149570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.4 Prop: 80.708 PropClause: 64.888 Set: 127.813 Check: 0.0 Back: 3.493 INFO - Atoms: 567/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 150303 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.402 Prop: 80.863 PropClause: 65.021 Set: 128.033 Check: 0.0 Back: 3.507 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 150937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.403 Prop: 81.005 PropClause: 65.143 Set: 128.19 Check: 0.0 Back: 3.524 INFO - Atoms: 634/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 151670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.405 Prop: 81.163 PropClause: 65.278 Set: 128.378 Check: 0.0 Back: 3.538 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 152403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.406 Prop: 81.335 PropClause: 65.426 Set: 128.565 Check: 0.0 Back: 3.555 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 153036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.408 Prop: 81.478 PropClause: 65.549 Set: 128.715 Check: 0.0 Back: 3.573 INFO - Atoms: 633/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 153769 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.409 Prop: 81.637 PropClause: 65.686 Set: 128.9 Check: 0.0 Back: 3.588 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 154366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.41 Prop: 81.771 PropClause: 65.8 Set: 129.036 Check: 0.0 Back: 3.605 INFO - Atoms: 597/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 155099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.412 Prop: 81.921 PropClause: 65.928 Set: 129.22 Check: 0.0 Back: 3.619 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 155832 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.414 Prop: 82.092 PropClause: 66.076 Set: 129.414 Check: 0.0 Back: 3.636 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 156473 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.415 Prop: 82.233 PropClause: 66.197 Set: 129.566 Check: 0.0 Back: 3.653 INFO - Atoms: 641/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 157206 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.417 Prop: 82.391 PropClause: 66.332 Set: 129.751 Check: 0.0 Back: 3.668 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 157939 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.418 Prop: 82.555 PropClause: 66.474 Set: 129.936 Check: 0.0 Back: 3.685 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 158605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.419 Prop: 82.706 PropClause: 66.603 Set: 130.098 Check: 0.0 Back: 3.703 INFO - Atoms: 666/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 159260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.421 Prop: 82.849 PropClause: 66.726 Set: 130.257 Check: 0.0 Back: 3.718 INFO - Atoms: 655/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 159932 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.422 Prop: 82.996 PropClause: 66.851 Set: 130.426 Check: 0.0 Back: 3.734 INFO - Atoms: 672/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 160612 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.423 Prop: 83.145 PropClause: 66.979 Set: 130.595 Check: 0.0 Back: 3.749 INFO - Atoms: 680/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 161285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.425 Prop: 83.291 PropClause: 67.104 Set: 130.757 Check: 0.0 Back: 3.765 INFO - Atoms: 673/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 161955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.426 Prop: 83.437 PropClause: 67.229 Set: 130.921 Check: 0.0 Back: 3.781 INFO - Atoms: 670/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 162614 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.427 Prop: 83.58 PropClause: 67.352 Set: 131.081 Check: 0.0 Back: 3.796 INFO - Atoms: 659/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 163276 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.429 Prop: 83.724 PropClause: 67.474 Set: 131.242 Check: 0.0 Back: 3.812 INFO - Atoms: 662/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 164009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.431 Prop: 83.885 PropClause: 67.613 Set: 131.431 Check: 0.0 Back: 3.827 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 164620 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.432 Prop: 84.034 PropClause: 67.742 Set: 131.575 Check: 0.0 Back: 3.844 INFO - Atoms: 611/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 165353 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.434 Prop: 84.19 PropClause: 67.876 Set: 131.763 Check: 0.0 Back: 3.858 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 166086 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.436 Prop: 84.359 PropClause: 68.022 Set: 131.949 Check: 0.0 Back: 3.875 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 166819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.437 Prop: 84.524 PropClause: 68.164 Set: 132.136 Check: 0.0 Back: 3.892 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 167552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.439 Prop: 84.688 PropClause: 68.305 Set: 132.319 Check: 0.0 Back: 3.909 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 168188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.44 Prop: 84.831 PropClause: 68.428 Set: 132.468 Check: 0.0 Back: 3.926 INFO - Atoms: 636/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 168921 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.441 Prop: 84.987 PropClause: 68.561 Set: 132.652 Check: 0.0 Back: 3.941 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 169654 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.443 Prop: 85.156 PropClause: 68.707 Set: 132.839 Check: 0.0 Back: 3.958 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 170387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.445 Prop: 85.322 PropClause: 68.849 Set: 133.024 Check: 0.0 Back: 3.975 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 171120 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.447 Prop: 105.531 PropClause: 89.036 Set: 133.223 Check: 0.0 Back: 3.992 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 171788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.448 Prop: 105.677 PropClause: 89.16 Set: 133.386 Check: 0.0 Back: 4.009 INFO - Atoms: 668/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 172521 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.449 Prop: 105.83 PropClause: 89.29 Set: 133.57 Check: 0.0 Back: 4.025 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 173254 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.451 Prop: 105.989 PropClause: 89.427 Set: 133.751 Check: 0.0 Back: 4.042 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 173921 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.452 Prop: 106.13 PropClause: 89.547 Set: 133.911 Check: 0.0 Back: 4.059 INFO - Atoms: 667/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 174654 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.453 Prop: 106.286 PropClause: 89.679 Set: 134.095 Check: 0.0 Back: 4.075 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 175239 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.455 Prop: 106.415 PropClause: 89.789 Set: 134.236 Check: 0.0 Back: 4.092 INFO - Atoms: 585/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 175972 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.456 Prop: 106.556 PropClause: 89.908 Set: 134.419 Check: 0.0 Back: 4.106 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 176705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.458 Prop: 106.716 PropClause: 90.044 Set: 134.603 Check: 0.0 Back: 4.123 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 177380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.459 Prop: 106.86 PropClause: 90.167 Set: 134.768 Check: 0.0 Back: 4.14 INFO - Atoms: 675/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 178113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.461 Prop: 107.015 PropClause: 90.299 Set: 134.952 Check: 0.0 Back: 4.156 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 178846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.462 Prop: 107.177 PropClause: 90.438 Set: 135.141 Check: 0.0 Back: 4.173 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 179490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.463 Prop: 107.315 PropClause: 90.555 Set: 135.293 Check: 0.0 Back: 4.19 INFO - Atoms: 644/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 180117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.465 Prop: 107.443 PropClause: 90.663 Set: 135.44 Check: 0.0 Back: 4.205 INFO - Atoms: 627/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 180745 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.466 Prop: 107.57 PropClause: 90.771 Set: 135.588 Check: 0.0 Back: 4.22 INFO - Atoms: 628/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 181386 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.467 Prop: 107.703 PropClause: 90.88 Set: 135.737 Check: 0.0 Back: 4.234 INFO - Atoms: 641/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 182119 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.469 Prop: 107.866 PropClause: 91.013 Set: 135.929 Check: 0.0 Back: 4.249 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 182781 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.471 Prop: 108.014 PropClause: 91.14 Set: 136.092 Check: 0.0 Back: 4.266 INFO - Atoms: 662/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 183514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.472 Prop: 108.171 PropClause: 91.273 Set: 136.281 Check: 0.0 Back: 4.282 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 184107 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.473 Prop: 108.301 PropClause: 91.384 Set: 136.416 Check: 0.0 Back: 4.299 INFO - Atoms: 593/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 184840 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.475 Prop: 108.45 PropClause: 91.51 Set: 136.602 Check: 0.0 Back: 4.313 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 185497 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.477 Prop: 108.59 PropClause: 91.629 Set: 136.757 Check: 0.0 Back: 4.331 INFO - Atoms: 657/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 186230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.478 Prop: 108.739 PropClause: 91.756 Set: 136.943 Check: 0.0 Back: 4.346 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 186963 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.48 Prop: 108.898 PropClause: 91.892 Set: 137.127 Check: 0.0 Back: 4.364 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 187696 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.481 Prop: 109.054 PropClause: 92.025 Set: 137.311 Check: 0.0 Back: 4.381 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 188358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.482 Prop: 109.196 PropClause: 92.146 Set: 137.466 Check: 0.0 Back: 4.398 INFO - Atoms: 662/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 189091 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.483 Prop: 109.346 PropClause: 92.274 Set: 137.648 Check: 0.0 Back: 4.413 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 189824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.489 Prop: 109.508 PropClause: 92.412 Set: 137.864 Check: 0.0 Back: 4.43 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 190529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.495 Prop: 109.661 PropClause: 92.543 Set: 138.033 Check: 0.0 Back: 4.447 INFO - Atoms: 705/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 191262 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.497 Prop: 109.82 PropClause: 92.68 Set: 138.212 Check: 0.0 Back: 4.464 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 191995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.498 Prop: 109.981 PropClause: 92.818 Set: 138.394 Check: 0.0 Back: 4.481 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 192728 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.5 Prop: 110.146 PropClause: 92.959 Set: 138.579 Check: 0.0 Back: 4.498 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 193461 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.502 Prop: 110.306 PropClause: 93.097 Set: 138.76 Check: 0.0 Back: 4.515 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 194194 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.503 Prop: 110.471 PropClause: 93.239 Set: 138.953 Check: 0.0 Back: 4.532 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 194927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.505 Prop: 110.633 PropClause: 93.378 Set: 139.134 Check: 0.0 Back: 4.549 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 195660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.506 Prop: 110.793 PropClause: 93.515 Set: 139.313 Check: 0.0 Back: 4.567 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 196393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.508 Prop: 110.957 PropClause: 93.655 Set: 139.496 Check: 0.0 Back: 4.584 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 197126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.51 Prop: 111.116 PropClause: 93.792 Set: 139.679 Check: 0.0 Back: 4.601 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 197859 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.511 Prop: 111.272 PropClause: 93.925 Set: 139.861 Check: 0.0 Back: 4.618 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 198592 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.513 Prop: 111.44 PropClause: 94.07 Set: 140.045 Check: 0.0 Back: 4.636 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 199325 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.514 Prop: 111.597 PropClause: 94.204 Set: 140.229 Check: 0.0 Back: 4.653 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 200058 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.516 Prop: 111.754 PropClause: 94.338 Set: 140.412 Check: 0.0 Back: 4.67 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 200791 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.517 Prop: 111.915 PropClause: 94.475 Set: 140.592 Check: 0.0 Back: 4.688 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 201483 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.519 Prop: 112.071 PropClause: 94.61 Set: 140.811 Check: 0.0 Back: 4.705 INFO - Atoms: 692/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 202216 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.52 Prop: 112.233 PropClause: 94.749 Set: 141.053 Check: 0.0 Back: 4.721 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 202949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.522 Prop: 112.399 PropClause: 94.892 Set: 141.295 Check: 0.0 Back: 4.738 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 203682 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.525 Prop: 112.571 PropClause: 95.041 Set: 141.534 Check: 0.0 Back: 4.755 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 204415 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.527 Prop: 112.734 PropClause: 95.18 Set: 141.721 Check: 0.0 Back: 4.772 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 205148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.529 Prop: 112.893 PropClause: 95.316 Set: 141.904 Check: 0.0 Back: 4.789 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 205881 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.53 Prop: 113.061 PropClause: 95.462 Set: 142.143 Check: 0.0 Back: 4.806 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 206614 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.533 Prop: 113.227 PropClause: 95.605 Set: 142.381 Check: 0.0 Back: 4.823 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 207347 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.534 Prop: 113.394 PropClause: 95.749 Set: 142.621 Check: 0.0 Back: 4.84 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 208080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.536 Prop: 113.561 PropClause: 95.893 Set: 142.857 Check: 0.0 Back: 4.857 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 208813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.538 Prop: 113.726 PropClause: 96.034 Set: 143.097 Check: 0.0 Back: 4.874 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 209546 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.542 Prop: 113.916 PropClause: 96.2 Set: 143.287 Check: 0.0 Back: 4.891 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 210279 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.545 Prop: 114.08 PropClause: 96.34 Set: 143.436 Check: 0.0 Back: 4.908 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 211012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.547 Prop: 114.242 PropClause: 96.478 Set: 143.587 Check: 0.0 Back: 4.926 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 211745 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.548 Prop: 114.405 PropClause: 96.618 Set: 143.736 Check: 0.0 Back: 4.943 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 212478 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.551 Prop: 114.571 PropClause: 96.76 Set: 143.882 Check: 0.0 Back: 4.96 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 213211 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.553 Prop: 114.735 PropClause: 96.901 Set: 144.027 Check: 0.0 Back: 4.977 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 213944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.555 Prop: 114.899 PropClause: 97.042 Set: 144.172 Check: 0.0 Back: 4.994 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 214677 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.558 Prop: 115.065 PropClause: 97.183 Set: 144.32 Check: 0.0 Back: 5.01 INFO - Atoms: 733/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 215408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.559 Prop: 115.233 PropClause: 97.328 Set: 144.457 Check: 0.0 Back: 5.027 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 216137 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.562 Prop: 115.393 PropClause: 97.464 Set: 144.607 Check: 0.0 Back: 5.045 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 216869 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.565 Prop: 115.557 PropClause: 97.603 Set: 144.75 Check: 0.0 Back: 5.062 INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 217597 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.567 Prop: 115.726 PropClause: 97.749 Set: 144.89 Check: 0.0 Back: 5.079 INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 218329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.571 Prop: 115.902 PropClause: 97.901 Set: 145.038 Check: 0.0 Back: 5.096 INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 219059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.572 Prop: 116.066 PropClause: 98.042 Set: 145.187 Check: 0.0 Back: 5.113 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 219789 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.574 Prop: 116.233 PropClause: 98.185 Set: 145.334 Check: 0.0 Back: 5.13 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 220519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.576 Prop: 116.399 PropClause: 98.327 Set: 145.478 Check: 0.0 Back: 5.147 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 221248 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.578 Prop: 116.561 PropClause: 98.466 Set: 145.622 Check: 0.0 Back: 5.164 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 221978 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.58 Prop: 116.722 PropClause: 98.604 Set: 145.766 Check: 0.0 Back: 5.181 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 222707 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.582 Prop: 116.882 PropClause: 98.741 Set: 145.915 Check: 0.0 Back: 5.198 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 223437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.584 Prop: 117.046 PropClause: 98.881 Set: 146.062 Check: 0.0 Back: 5.215 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 224167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.585 Prop: 117.213 PropClause: 99.024 Set: 146.203 Check: 0.0 Back: 5.232 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 224897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.587 Prop: 117.379 PropClause: 99.165 Set: 146.351 Check: 0.0 Back: 5.249 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 225625 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.589 Prop: 117.541 PropClause: 99.305 Set: 146.494 Check: 0.0 Back: 5.266 INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 226352 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.59 Prop: 117.702 PropClause: 99.443 Set: 146.64 Check: 0.0 Back: 5.283 INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 227084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.594 Prop: 117.878 PropClause: 99.595 Set: 163.888 Check: 0.0 Back: 5.3 INFO - Atoms: 732/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 227744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.595 Prop: 118.027 PropClause: 99.723 Set: 164.022 Check: 0.0 Back: 5.317 INFO - Atoms: 660/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 228475 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.597 Prop: 118.188 PropClause: 99.86 Set: 164.168 Check: 0.0 Back: 5.333 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 229206 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.6 Prop: 118.362 PropClause: 100.01 Set: 164.309 Check: 0.0 Back: 5.35 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 229937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.601 Prop: 118.53 PropClause: 100.154 Set: 164.443 Check: 0.0 Back: 5.367 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 230668 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.604 Prop: 118.694 PropClause: 100.295 Set: 164.594 Check: 0.0 Back: 5.385 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 231399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.606 Prop: 118.856 PropClause: 100.434 Set: 164.733 Check: 0.0 Back: 5.402 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 232130 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.607 Prop: 119.021 PropClause: 100.575 Set: 164.879 Check: 0.0 Back: 5.419 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 232861 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.609 Prop: 119.187 PropClause: 100.716 Set: 165.03 Check: 0.0 Back: 5.436 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 233592 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.61 Prop: 119.35 PropClause: 100.856 Set: 165.175 Check: 0.0 Back: 5.453 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 234323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.612 Prop: 119.517 PropClause: 101.0 Set: 165.314 Check: 0.0 Back: 5.47 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 235054 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.615 Prop: 119.685 PropClause: 101.144 Set: 181.48 Check: 0.0 Back: 5.487 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 235785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.617 Prop: 119.848 PropClause: 101.284 Set: 181.628 Check: 0.0 Back: 5.504 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 236516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.619 Prop: 120.024 PropClause: 101.434 Set: 181.775 Check: 0.0 Back: 5.521 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 237246 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.621 Prop: 120.197 PropClause: 101.584 Set: 181.914 Check: 0.0 Back: 5.538 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 237977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.623 Prop: 120.369 PropClause: 101.732 Set: 182.05 Check: 0.0 Back: 5.556 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 238707 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.626 Prop: 120.533 PropClause: 101.872 Set: 182.195 Check: 0.0 Back: 5.573 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 239438 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.628 Prop: 120.721 PropClause: 102.037 Set: 182.34 Check: 0.0 Back: 5.59 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 240155 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.629 Prop: 120.874 PropClause: 102.167 Set: 182.49 Check: 0.0 Back: 5.607 INFO - Atoms: 717/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 240885 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.63 Prop: 121.038 PropClause: 102.307 Set: 182.634 Check: 0.0 Back: 5.623 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 241616 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.632 Prop: 121.208 PropClause: 102.453 Set: 182.78 Check: 0.0 Back: 5.64 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 242346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.633 Prop: 121.376 PropClause: 102.598 Set: 182.926 Check: 0.0 Back: 5.657 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 243077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.635 Prop: 121.537 PropClause: 102.735 Set: 183.072 Check: 0.0 Back: 5.674 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 243807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.636 Prop: 121.705 PropClause: 102.88 Set: 183.217 Check: 0.0 Back: 5.693 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 244538 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.638 Prop: 121.872 PropClause: 103.022 Set: 183.364 Check: 0.0 Back: 5.71 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 245268 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.639 Prop: 122.036 PropClause: 103.164 Set: 183.509 Check: 0.0 Back: 5.727 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 245999 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.641 Prop: 122.202 PropClause: 103.307 Set: 183.653 Check: 0.0 Back: 5.744 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 246729 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.643 Prop: 122.364 PropClause: 103.445 Set: 183.798 Check: 0.0 Back: 5.761 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 247457 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.653 Prop: 122.526 PropClause: 103.584 Set: 183.944 Check: 0.0 Back: 5.778 INFO - Atoms: 728/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 248184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.655 Prop: 122.687 PropClause: 103.722 Set: 184.089 Check: 0.0 Back: 5.795 INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 248915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.659 Prop: 122.859 PropClause: 103.868 Set: 184.24 Check: 0.0 Back: 5.812 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 249644 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.661 Prop: 123.03 PropClause: 104.016 Set: 184.374 Check: 0.0 Back: 5.829 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 250375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.663 Prop: 123.193 PropClause: 104.155 Set: 184.522 Check: 0.0 Back: 5.845 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 251102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.665 Prop: 123.352 PropClause: 104.291 Set: 184.616 Check: 0.0 Back: 5.863 INFO - Atoms: 727/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 251833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.667 Prop: 123.511 PropClause: 104.427 Set: 184.708 Check: 0.0 Back: 5.88 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 252563 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.669 Prop: 123.673 PropClause: 104.565 Set: 184.803 Check: 0.0 Back: 5.897 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 253294 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.671 Prop: 123.831 PropClause: 104.698 Set: 184.893 Check: 0.0 Back: 5.913 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 254024 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.672 Prop: 123.986 PropClause: 104.83 Set: 184.986 Check: 0.0 Back: 5.93 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 254754 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.674 Prop: 124.139 PropClause: 104.96 Set: 185.079 Check: 0.0 Back: 5.947 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 255484 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.675 Prop: 124.295 PropClause: 105.093 Set: 185.169 Check: 0.0 Back: 5.964 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 256213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.677 Prop: 124.453 PropClause: 105.227 Set: 185.262 Check: 0.0 Back: 5.982 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 256943 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.678 Prop: 124.614 PropClause: 105.362 Set: 185.356 Check: 0.0 Back: 5.998 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 257674 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.68 Prop: 124.772 PropClause: 105.497 Set: 185.448 Check: 0.0 Back: 6.016 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 258404 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.681 Prop: 124.929 PropClause: 105.63 Set: 185.54 Check: 0.0 Back: 6.033 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 259135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.684 Prop: 125.085 PropClause: 105.762 Set: 185.634 Check: 0.0 Back: 6.05 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 259864 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.685 Prop: 125.241 PropClause: 105.895 Set: 185.726 Check: 0.0 Back: 6.067 INFO - Atoms: 729/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 260594 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.687 Prop: 125.397 PropClause: 106.027 Set: 185.82 Check: 0.0 Back: 6.084 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 261324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.689 Prop: 125.556 PropClause: 106.163 Set: 185.911 Check: 0.0 Back: 6.101 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 262055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.691 Prop: 125.717 PropClause: 106.299 Set: 186.002 Check: 0.0 Back: 6.119 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 262785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.692 Prop: 125.888 PropClause: 106.433 Set: 186.096 Check: 0.0 Back: 6.136 INFO - Atoms: 730/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 263516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.694 Prop: 126.05 PropClause: 106.568 Set: 186.188 Check: 0.0 Back: 6.153 INFO - Atoms: 731/735 Clauses: 28 Axioms: 2265 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 381 Props: 2563 Tprops: 0 Decides: 1296 RSplits: 0 INFO - Times: Expl: 40.519 Prop: 1034.546 PropClause: 1.555 Set: 218.942 Check: 6.49 Back: 3.328 INFO - Atoms: 34/37 Clauses: 381 Axioms: 38 INFO - CCTimes: iE 3817 eq 1422619 cc 1102192 setRep 406977 INFO - Merges: 1703, cc:1066 INFO - BVTimes: BB 27386013 BB_DPLL 627874751 Graph 4742194 INFO - BitBlastingClauses: 12228 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat