/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/brummayerbiere/nlzbs016.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 65759420 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.37 Prop: 6.376 PropClause: 6.216 Set: 1.789 Check: 0.0 Back: 0.0 INFO - Atoms: 329/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 1408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.418 Prop: 7.394 PropClause: 6.966 Set: 3.545 Check: 0.0 Back: 0.024 INFO - Atoms: 1079/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 2568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.462 Prop: 8.228 PropClause: 7.507 Set: 4.286 Check: 0.0 Back: 0.103 INFO - Atoms: 1160/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 3780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.49 Prop: 9.052 PropClause: 8.059 Set: 5.039 Check: 0.0 Back: 0.133 INFO - Atoms: 1212/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 4847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.528 Prop: 9.606 PropClause: 8.546 Set: 5.667 Check: 0.0 Back: 0.164 INFO - Atoms: 1067/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 5992 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.564 Prop: 10.144 PropClause: 9.014 Set: 6.37 Check: 0.0 Back: 0.191 INFO - Atoms: 1145/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 7119 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.594 Prop: 10.567 PropClause: 9.37 Set: 6.89 Check: 0.0 Back: 0.221 INFO - Atoms: 1127/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 8238 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.628 Prop: 11.045 PropClause: 9.782 Set: 7.425 Check: 0.0 Back: 0.25 INFO - Atoms: 1119/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 9346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.657 Prop: 11.469 PropClause: 10.141 Set: 7.949 Check: 0.0 Back: 0.28 INFO - Atoms: 1108/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 10468 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.685 Prop: 11.964 PropClause: 10.568 Set: 8.462 Check: 0.0 Back: 0.311 INFO - Atoms: 1122/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 11595 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.715 Prop: 12.451 PropClause: 10.984 Set: 9.033 Check: 0.0 Back: 0.342 INFO - Atoms: 1127/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 12646 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.744 Prop: 12.909 PropClause: 11.375 Set: 9.556 Check: 0.0 Back: 0.369 INFO - Atoms: 1051/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 13698 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.769 Prop: 13.317 PropClause: 11.713 Set: 10.129 Check: 0.0 Back: 0.397 INFO - Atoms: 1052/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 14852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.797 Prop: 13.765 PropClause: 12.091 Set: 10.698 Check: 0.0 Back: 0.424 INFO - Atoms: 1154/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 15984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.827 Prop: 14.212 PropClause: 12.464 Set: 11.264 Check: 0.0 Back: 0.454 INFO - Atoms: 1132/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 17166 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.857 Prop: 15.009 PropClause: 13.188 Set: 11.872 Check: 0.0 Back: 0.483 INFO - Atoms: 1182/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 18337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.889 Prop: 17.018 PropClause: 13.597 Set: 12.458 Check: 0.0 Back: 0.514 INFO - Atoms: 1171/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 19508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.917 Prop: 17.509 PropClause: 13.993 Set: 13.016 Check: 0.0 Back: 0.544 INFO - Atoms: 1171/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 20679 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.946 Prop: 18.0 PropClause: 14.388 Set: 13.551 Check: 0.0 Back: 0.576 INFO - Atoms: 1171/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 22056 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.977 Prop: 18.587 PropClause: 14.885 Set: 14.269 Check: 0.0 Back: 0.605 INFO - Atoms: 1377/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 23426 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.004 Prop: 19.241 PropClause: 15.445 Set: 14.979 Check: 0.0 Back: 0.642 INFO - Atoms: 1370/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 24855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.031 Prop: 19.907 PropClause: 16.019 Set: 15.65 Check: 0.0 Back: 0.678 INFO - Atoms: 1429/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 25902 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.065 Prop: 20.405 PropClause: 16.446 Set: 16.1 Check: 0.0 Back: 0.717 INFO - Atoms: 1047/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 27001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.093 Prop: 20.846 PropClause: 16.815 Set: 16.575 Check: 0.0 Back: 0.745 INFO - Atoms: 1099/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 28431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.126 Prop: 21.502 PropClause: 17.372 Set: 17.306 Check: 0.0 Back: 0.774 INFO - Atoms: 1430/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 29545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.165 Prop: 22.065 PropClause: 17.857 Set: 17.789 Check: 0.0 Back: 0.815 INFO - Atoms: 1114/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 30676 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.188 Prop: 22.568 PropClause: 18.237 Set: 18.297 Check: 0.0 Back: 0.843 INFO - Atoms: 1131/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 32107 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.218 Prop: 23.159 PropClause: 18.736 Set: 18.967 Check: 0.0 Back: 0.874 INFO - Atoms: 1431/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 33512 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.25 Prop: 23.861 PropClause: 19.348 Set: 19.781 Check: 0.0 Back: 0.911 INFO - Atoms: 1405/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 35057 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.282 Prop: 24.639 PropClause: 20.025 Set: 20.71 Check: 0.0 Back: 0.948 INFO - Atoms: 1545/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 36684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.495 Prop: 25.253 PropClause: 20.539 Set: 21.634 Check: 0.0 Back: 0.988 INFO - Atoms: 1627/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 38306 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.528 Prop: 25.908 PropClause: 21.089 Set: 22.544 Check: 0.0 Back: 1.03 INFO - Atoms: 1622/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 39923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.559 Prop: 26.478 PropClause: 21.559 Set: 23.444 Check: 0.0 Back: 1.072 INFO - Atoms: 1617/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 40982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.598 Prop: 27.077 PropClause: 22.039 Set: 23.793 Check: 0.0 Back: 1.113 INFO - Atoms: 1059/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 42623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.634 Prop: 27.695 PropClause: 22.556 Set: 24.295 Check: 0.0 Back: 1.141 INFO - Atoms: 1641/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 44258 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.664 Prop: 28.287 PropClause: 23.049 Set: 24.78 Check: 0.0 Back: 1.183 INFO - Atoms: 1635/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 45495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.697 Prop: 28.765 PropClause: 23.448 Set: 25.149 Check: 0.0 Back: 1.226 INFO - Atoms: 1237/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 47130 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.724 Prop: 29.283 PropClause: 23.867 Set: 25.651 Check: 0.0 Back: 1.258 INFO - Atoms: 1635/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 48848 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.752 Prop: 29.893 PropClause: 24.371 Set: 26.187 Check: 0.0 Back: 1.3 INFO - Atoms: 1718/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 50598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.779 Prop: 30.498 PropClause: 24.869 Set: 26.723 Check: 0.0 Back: 1.345 INFO - Atoms: 1750/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 52461 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.804 Prop: 31.435 PropClause: 25.472 Set: 27.174 Check: 0.0 Back: 1.391 INFO - Atoms: 1863/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 54390 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.833 Prop: 32.337 PropClause: 26.086 Set: 27.647 Check: 0.0 Back: 1.441 INFO - Atoms: 1929/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 56375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.864 Prop: 33.305 PropClause: 26.758 Set: 28.132 Check: 0.0 Back: 1.492 INFO - Atoms: 1985/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 58393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.892 Prop: 34.345 PropClause: 27.495 Set: 28.646 Check: 0.0 Back: 1.546 INFO - Atoms: 2018/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 60367 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.924 Prop: 35.339 PropClause: 28.194 Set: 29.129 Check: 0.0 Back: 1.598 INFO - Atoms: 1974/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 62884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.978 Prop: 36.573 PropClause: 29.032 Set: 29.761 Check: 0.0 Back: 1.65 INFO - Atoms: 2517/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 63714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.001 Prop: 37.196 PropClause: 29.526 Set: 29.928 Check: 0.0 Back: 1.717 INFO - Atoms: 830/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 64545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.037 Prop: 37.426 PropClause: 29.72 Set: 30.083 Check: 0.0 Back: 1.738 INFO - Atoms: 831/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 65363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.062 Prop: 37.676 PropClause: 29.934 Set: 30.249 Check: 0.0 Back: 1.759 INFO - Atoms: 818/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 66077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.099 Prop: 37.896 PropClause: 30.122 Set: 30.373 Check: 0.0 Back: 1.78 INFO - Atoms: 714/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 66886 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.237 Prop: 38.063 PropClause: 30.263 Set: 30.476 Check: 0.0 Back: 1.798 INFO - Atoms: 809/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 68122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.254 Prop: 38.44 PropClause: 30.587 Set: 30.739 Check: 0.0 Back: 1.819 INFO - Atoms: 1236/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 70631 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.269 Prop: 39.42 PropClause: 31.452 Set: 31.375 Check: 0.0 Back: 1.851 INFO - Atoms: 2509/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 72079 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.284 Prop: 40.216 PropClause: 32.186 Set: 31.706 Check: 0.0 Back: 1.923 INFO - Atoms: 1448/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 73423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.299 Prop: 40.774 PropClause: 32.686 Set: 32.022 Check: 0.0 Back: 1.96 INFO - Atoms: 1344/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 74870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.316 Prop: 41.278 PropClause: 33.128 Set: 32.359 Check: 0.0 Back: 1.995 INFO - Atoms: 1447/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 76531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.328 Prop: 41.868 PropClause: 33.646 Set: 32.75 Check: 0.0 Back: 2.044 INFO - Atoms: 1661/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 78315 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.341 Prop: 42.481 PropClause: 34.181 Set: 33.157 Check: 0.0 Back: 2.087 INFO - Atoms: 1784/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 80269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.355 Prop: 43.239 PropClause: 34.855 Set: 33.59 Check: 0.0 Back: 2.134 INFO - Atoms: 1954/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 82779 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.375 Prop: 44.391 PropClause: 35.899 Set: 34.208 Check: 0.0 Back: 2.184 INFO - Atoms: 2510/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 83818 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.386 Prop: 45.031 PropClause: 36.494 Set: 34.426 Check: 0.0 Back: 2.251 INFO - Atoms: 1039/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 84858 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.395 Prop: 45.329 PropClause: 36.746 Set: 34.642 Check: 0.0 Back: 2.279 INFO - Atoms: 1040/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 86448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.408 Prop: 45.833 PropClause: 37.181 Set: 35.066 Check: 0.0 Back: 2.306 INFO - Atoms: 1590/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 88160 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.421 Prop: 46.472 PropClause: 37.744 Set: 35.466 Check: 0.0 Back: 2.348 INFO - Atoms: 1712/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 89971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.825 Prop: 47.333 PropClause: 38.525 Set: 35.9 Check: 0.0 Back: 2.394 INFO - Atoms: 1811/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 91255 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.839 Prop: 47.914 PropClause: 39.05 Set: 36.175 Check: 0.0 Back: 2.441 INFO - Atoms: 1284/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 93769 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.854 Prop: 48.859 PropClause: 39.881 Set: 36.791 Check: 0.0 Back: 2.475 INFO - Atoms: 2514/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 94574 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.863 Prop: 49.506 PropClause: 40.494 Set: 36.938 Check: 0.0 Back: 2.54 INFO - Atoms: 805/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 95994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.872 Prop: 49.93 PropClause: 40.857 Set: 37.253 Check: 0.0 Back: 2.561 INFO - Atoms: 1420/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 97537 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.882 Prop: 50.515 PropClause: 41.374 Set: 37.628 Check: 0.0 Back: 2.598 INFO - Atoms: 1543/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 99250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.887 Prop: 51.091 PropClause: 41.874 Set: 38.059 Check: 0.0 Back: 2.637 INFO - Atoms: 1713/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 101760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.897 Prop: 51.986 PropClause: 42.655 Set: 38.687 Check: 0.0 Back: 2.681 INFO - Atoms: 2510/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 102536 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.903 Prop: 52.487 PropClause: 43.121 Set: 38.833 Check: 0.0 Back: 2.749 INFO - Atoms: 776/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 104252 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.912 Prop: 53.032 PropClause: 43.59 Set: 39.259 Check: 0.0 Back: 2.768 INFO - Atoms: 1716/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 106764 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.921 Prop: 53.947 PropClause: 44.393 Set: 39.91 Check: 0.0 Back: 2.813 INFO - Atoms: 2512/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 108181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.927 Prop: 54.631 PropClause: 45.014 Set: 40.233 Check: 0.0 Back: 2.879 INFO - Atoms: 1417/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 108967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.932 Prop: 54.934 PropClause: 45.279 Set: 40.368 Check: 0.0 Back: 2.915 INFO - Atoms: 786/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 109757 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.938 Prop: 55.143 PropClause: 45.455 Set: 40.508 Check: 0.0 Back: 2.935 INFO - Atoms: 790/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 110508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.945 Prop: 55.344 PropClause: 45.623 Set: 40.639 Check: 0.0 Back: 2.955 INFO - Atoms: 751/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 111705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.952 Prop: 55.699 PropClause: 45.925 Set: 40.906 Check: 0.0 Back: 2.975 INFO - Atoms: 1197/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 113411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.961 Prop: 56.235 PropClause: 46.386 Set: 41.326 Check: 0.0 Back: 3.006 INFO - Atoms: 1706/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 114672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.965 Prop: 56.688 PropClause: 46.783 Set: 41.605 Check: 0.0 Back: 3.051 INFO - Atoms: 1261/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 115980 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.969 Prop: 57.088 PropClause: 47.126 Set: 41.895 Check: 0.0 Back: 3.084 INFO - Atoms: 1308/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 117287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.973 Prop: 57.486 PropClause: 47.463 Set: 42.185 Check: 0.0 Back: 3.119 INFO - Atoms: 1307/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 118785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.979 Prop: 57.953 PropClause: 47.863 Set: 42.544 Check: 0.0 Back: 3.153 INFO - Atoms: 1498/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 120562 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.983 Prop: 58.542 PropClause: 48.374 Set: 42.976 Check: 0.0 Back: 3.193 INFO - Atoms: 1777/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 123072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.028 Prop: 59.502 PropClause: 49.224 Set: 43.639 Check: 0.0 Back: 3.237 INFO - Atoms: 2510/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 123852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.058 Prop: 59.966 PropClause: 49.654 Set: 43.78 Check: 0.0 Back: 3.304 INFO - Atoms: 780/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 124975 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.064 Prop: 60.328 PropClause: 49.961 Set: 44.04 Check: 0.0 Back: 3.323 INFO - Atoms: 1123/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 125770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.071 Prop: 60.609 PropClause: 50.208 Set: 44.179 Check: 0.0 Back: 3.351 INFO - Atoms: 795/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 126892 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.077 Prop: 60.928 PropClause: 50.48 Set: 44.418 Check: 0.0 Back: 3.371 INFO - Atoms: 1122/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 129409 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.083 Prop: 61.794 PropClause: 51.236 Set: 45.104 Check: 0.0 Back: 3.4 INFO - Atoms: 2517/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 131925 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.092 Prop: 62.842 PropClause: 52.171 Set: 45.781 Check: 0.0 Back: 3.464 INFO - Atoms: 2516/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 133093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.098 Prop: 63.438 PropClause: 52.712 Set: 46.03 Check: 0.0 Back: 3.531 INFO - Atoms: 1168/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 133891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.106 Prop: 63.731 PropClause: 52.968 Set: 46.178 Check: 0.0 Back: 3.561 INFO - Atoms: 798/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 135218 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.113 Prop: 64.116 PropClause: 53.296 Set: 46.495 Check: 0.0 Back: 3.582 INFO - Atoms: 1327/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 136679 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.119 Prop: 64.606 PropClause: 53.721 Set: 46.851 Check: 0.0 Back: 3.616 INFO - Atoms: 1461/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 138217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.126 Prop: 65.131 PropClause: 54.18 Set: 47.216 Check: 0.0 Back: 3.653 INFO - Atoms: 1538/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 139744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.13 Prop: 65.549 PropClause: 54.552 Set: 47.469 Check: 0.0 Back: 3.692 INFO - Atoms: 1527/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 142261 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.138 Prop: 66.505 PropClause: 55.372 Set: 48.171 Check: 0.0 Back: 3.73 INFO - Atoms: 2517/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 142987 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.145 Prop: 66.974 PropClause: 55.807 Set: 48.373 Check: 0.0 Back: 3.796 INFO - Atoms: 726/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 144300 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.153 Prop: 67.368 PropClause: 56.141 Set: 48.773 Check: 0.0 Back: 3.816 INFO - Atoms: 1313/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 145459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.16 Prop: 67.789 PropClause: 56.51 Set: 49.123 Check: 0.0 Back: 3.853 INFO - Atoms: 1159/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 146274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.192 Prop: 68.107 PropClause: 56.791 Set: 49.35 Check: 0.0 Back: 3.883 INFO - Atoms: 815/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 147382 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.203 Prop: 68.43 PropClause: 57.064 Set: 49.683 Check: 0.0 Back: 3.904 INFO - Atoms: 1108/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 148649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.21 Prop: 68.867 PropClause: 57.443 Set: 50.08 Check: 0.0 Back: 3.933 INFO - Atoms: 1267/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 151165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.217 Prop: 69.858 PropClause: 58.321 Set: 50.889 Check: 0.0 Back: 3.966 INFO - Atoms: 2516/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 152706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.222 Prop: 70.583 PropClause: 58.979 Set: 51.358 Check: 0.0 Back: 4.032 INFO - Atoms: 1541/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 154138 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.228 Prop: 71.073 PropClause: 59.405 Set: 51.794 Check: 0.0 Back: 4.072 INFO - Atoms: 1432/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 155085 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.246 Prop: 71.43 PropClause: 59.719 Set: 52.057 Check: 0.0 Back: 4.11 INFO - Atoms: 947/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 155964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.28 Prop: 71.662 PropClause: 59.912 Set: 52.297 Check: 0.0 Back: 4.133 INFO - Atoms: 879/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 156909 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.286 Prop: 71.924 PropClause: 60.131 Set: 52.56 Check: 0.0 Back: 4.156 INFO - Atoms: 945/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 157834 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.292 Prop: 72.183 PropClause: 60.349 Set: 52.822 Check: 0.0 Back: 4.181 INFO - Atoms: 925/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 159282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.298 Prop: 72.637 PropClause: 60.737 Set: 53.273 Check: 0.0 Back: 4.206 INFO - Atoms: 1448/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 160211 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.302 Prop: 72.956 PropClause: 61.014 Set: 53.543 Check: 0.0 Back: 4.247 INFO - Atoms: 929/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 161852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.309 Prop: 73.452 PropClause: 61.439 Set: 54.033 Check: 0.0 Back: 4.272 INFO - Atoms: 1641/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 163624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.315 Prop: 74.219 PropClause: 61.993 Set: 54.598 Check: 0.0 Back: 4.314 INFO - Atoms: 1772/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 165670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.322 Prop: 74.946 PropClause: 62.628 Set: 55.24 Check: 0.0 Back: 4.359 INFO - Atoms: 2046/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 167775 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.329 Prop: 75.771 PropClause: 63.365 Set: 55.897 Check: 0.0 Back: 4.412 INFO - Atoms: 2105/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 169878 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.336 Prop: 76.576 PropClause: 64.085 Set: 56.552 Check: 0.0 Back: 4.467 INFO - Atoms: 2103/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 172389 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.345 Prop: 77.542 PropClause: 64.971 Set: 57.346 Check: 0.0 Back: 4.52 INFO - Atoms: 2511/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 174065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.351 Prop: 78.266 PropClause: 65.641 Set: 57.865 Check: 0.0 Back: 4.583 INFO - Atoms: 1676/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 175854 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.361 Prop: 78.927 PropClause: 66.245 Set: 58.402 Check: 0.0 Back: 4.625 INFO - Atoms: 1789/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 176692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.368 Prop: 79.421 PropClause: 66.71 Set: 58.634 Check: 0.0 Back: 4.67 INFO - Atoms: 838/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 177504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.376 Prop: 79.614 PropClause: 66.88 Set: 58.814 Check: 0.0 Back: 4.691 INFO - Atoms: 812/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 178309 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.384 Prop: 79.86 PropClause: 67.1 Set: 59.044 Check: 0.0 Back: 4.71 INFO - Atoms: 805/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 180821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.393 Prop: 80.699 PropClause: 67.858 Set: 59.87 Check: 0.0 Back: 4.743 INFO - Atoms: 2512/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 181667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.416 Prop: 81.244 PropClause: 68.375 Set: 60.104 Check: 0.0 Back: 4.808 INFO - Atoms: 846/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 182509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.457 Prop: 81.464 PropClause: 68.568 Set: 60.329 Check: 0.0 Back: 4.829 INFO - Atoms: 842/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 183435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.481 Prop: 81.699 PropClause: 68.774 Set: 60.499 Check: 0.0 Back: 4.85 INFO - Atoms: 926/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 185059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.517 Prop: 82.164 PropClause: 69.189 Set: 60.873 Check: 0.0 Back: 4.873 INFO - Atoms: 1624/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 186966 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.523 Prop: 82.801 PropClause: 69.766 Set: 61.34 Check: 0.0 Back: 4.914 INFO - Atoms: 1907/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 188780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.529 Prop: 83.517 PropClause: 70.425 Set: 61.802 Check: 0.0 Back: 4.963 INFO - Atoms: 1814/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 190906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.533 Prop: 84.247 PropClause: 71.088 Set: 62.345 Check: 0.0 Back: 5.009 INFO - Atoms: 2126/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 191723 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.536 Prop: 84.631 PropClause: 71.447 Set: 62.499 Check: 0.0 Back: 5.063 INFO - Atoms: 817/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 193056 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.54 Prop: 84.985 PropClause: 71.758 Set: 62.801 Check: 0.0 Back: 5.084 INFO - Atoms: 1333/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 193883 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.543 Prop: 85.276 PropClause: 72.023 Set: 62.96 Check: 0.0 Back: 5.117 INFO - Atoms: 827/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 196399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.548 Prop: 85.99 PropClause: 72.66 Set: 63.553 Check: 0.0 Back: 5.138 INFO - Atoms: 2516/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 198576 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.55 Prop: 86.817 PropClause: 73.42 Set: 64.051 Check: 0.0 Back: 5.201 INFO - Atoms: 2177/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 200782 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.553 Prop: 87.615 PropClause: 74.151 Set: 64.569 Check: 0.0 Back: 5.256 INFO - Atoms: 2206/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 203296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.559 Prop: 88.523 PropClause: 74.981 Set: 65.157 Check: 0.0 Back: 5.313 INFO - Atoms: 2514/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 205042 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.567 Prop: 89.255 PropClause: 75.657 Set: 65.571 Check: 0.0 Back: 5.376 INFO - Atoms: 1746/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 205892 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.573 Prop: 89.61 PropClause: 75.986 Set: 65.734 Check: 0.0 Back: 5.42 INFO - Atoms: 850/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 207639 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.58 Prop: 90.118 PropClause: 76.439 Set: 66.138 Check: 0.0 Back: 5.442 INFO - Atoms: 1747/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 208484 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.583 Prop: 90.468 PropClause: 76.763 Set: 66.294 Check: 0.0 Back: 5.486 INFO - Atoms: 845/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 209339 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.586 Prop: 90.7 PropClause: 76.968 Set: 66.45 Check: 0.0 Back: 5.507 INFO - Atoms: 855/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 210711 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.589 Prop: 91.079 PropClause: 77.305 Set: 66.751 Check: 0.0 Back: 5.529 INFO - Atoms: 1372/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 212144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.593 Prop: 91.566 PropClause: 77.747 Set: 67.075 Check: 0.0 Back: 5.563 INFO - Atoms: 1433/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 213685 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.596 Prop: 92.082 PropClause: 78.215 Set: 67.422 Check: 0.0 Back: 5.599 INFO - Atoms: 1541/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 214527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.599 Prop: 92.394 PropClause: 78.502 Set: 67.575 Check: 0.0 Back: 5.638 INFO - Atoms: 842/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 215352 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.603 Prop: 92.623 PropClause: 78.705 Set: 67.725 Check: 0.0 Back: 5.659 INFO - Atoms: 825/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 216269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.609 Prop: 92.884 PropClause: 78.938 Set: 67.886 Check: 0.0 Back: 5.68 INFO - Atoms: 917/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 217093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.615 Prop: 93.126 PropClause: 79.154 Set: 68.033 Check: 0.0 Back: 5.703 INFO - Atoms: 824/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 218471 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.618 Prop: 93.516 PropClause: 79.501 Set: 68.346 Check: 0.0 Back: 5.724 INFO - Atoms: 1378/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 219822 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.62 Prop: 93.955 PropClause: 79.899 Set: 68.639 Check: 0.0 Back: 5.758 INFO - Atoms: 1351/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 220616 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.625 Prop: 94.252 PropClause: 80.172 Set: 68.779 Check: 0.0 Back: 5.792 INFO - Atoms: 794/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 221425 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.627 Prop: 94.453 PropClause: 80.348 Set: 68.938 Check: 0.0 Back: 5.812 INFO - Atoms: 809/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 222231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.634 Prop: 94.706 PropClause: 80.575 Set: 69.085 Check: 0.0 Back: 5.832 INFO - Atoms: 806/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 223018 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.657 Prop: 94.964 PropClause: 80.808 Set: 69.23 Check: 0.0 Back: 5.853 INFO - Atoms: 787/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 223800 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.662 Prop: 95.186 PropClause: 81.005 Set: 69.366 Check: 0.0 Back: 5.872 INFO - Atoms: 782/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 225014 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.664 Prop: 95.512 PropClause: 81.294 Set: 69.635 Check: 0.0 Back: 5.892 INFO - Atoms: 1214/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 226261 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.666 Prop: 95.89 PropClause: 81.633 Set: 69.908 Check: 0.0 Back: 5.922 INFO - Atoms: 1247/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 227072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.669 Prop: 96.141 PropClause: 81.859 Set: 70.047 Check: 0.0 Back: 5.953 INFO - Atoms: 811/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 227839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.674 Prop: 96.357 PropClause: 82.051 Set: 70.188 Check: 0.0 Back: 5.974 INFO - Atoms: 767/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 228673 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.677 Prop: 96.568 PropClause: 82.236 Set: 70.333 Check: 0.0 Back: 5.993 INFO - Atoms: 834/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 229504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.68 Prop: 96.769 PropClause: 82.412 Set: 70.49 Check: 0.0 Back: 6.014 INFO - Atoms: 831/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 230338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.685 Prop: 96.985 PropClause: 82.602 Set: 70.645 Check: 0.0 Back: 6.034 INFO - Atoms: 834/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 231508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.689 Prop: 97.324 PropClause: 82.905 Set: 70.904 Check: 0.0 Back: 6.055 INFO - Atoms: 1170/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 232768 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.702 Prop: 97.706 PropClause: 83.248 Set: 71.19 Check: 0.0 Back: 6.085 INFO - Atoms: 1260/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 233544 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.707 Prop: 97.976 PropClause: 83.494 Set: 71.328 Check: 0.0 Back: 6.117 INFO - Atoms: 776/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 234959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.71 Prop: 98.368 PropClause: 83.842 Set: 71.662 Check: 0.0 Back: 6.136 INFO - Atoms: 1415/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 235763 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.715 Prop: 98.652 PropClause: 84.101 Set: 71.798 Check: 0.0 Back: 6.171 INFO - Atoms: 804/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 236584 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.718 Prop: 98.854 PropClause: 84.278 Set: 71.941 Check: 0.0 Back: 6.191 INFO - Atoms: 821/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 237926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.725 Prop: 99.383 PropClause: 84.763 Set: 72.277 Check: 0.0 Back: 6.212 INFO - Atoms: 1342/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 240443 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.73 Prop: 100.314 PropClause: 85.615 Set: 72.953 Check: 0.0 Back: 6.246 INFO - Atoms: 2517/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 241206 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.735 Prop: 100.819 PropClause: 86.097 Set: 73.094 Check: 0.0 Back: 6.31 INFO - Atoms: 763/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 242625 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.741 Prop: 101.351 PropClause: 86.583 Set: 73.445 Check: 0.0 Back: 6.335 INFO - Atoms: 1419/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 244313 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.749 Prop: 102.023 PropClause: 87.203 Set: 73.84 Check: 0.0 Back: 6.373 INFO - Atoms: 1688/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 246063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.757 Prop: 102.725 PropClause: 87.851 Set: 74.283 Check: 0.0 Back: 6.416 INFO - Atoms: 1750/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 247811 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.764 Prop: 103.376 PropClause: 88.448 Set: 74.727 Check: 0.0 Back: 6.458 INFO - Atoms: 1748/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 250328 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.927 Prop: 104.602 PropClause: 89.595 Set: 75.394 Check: 0.0 Back: 6.501 INFO - Atoms: 2517/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 251107 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.949 Prop: 105.13 PropClause: 90.101 Set: 75.493 Check: 0.0 Back: 6.566 INFO - Atoms: 779/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 251919 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.998 Prop: 105.318 PropClause: 90.266 Set: 75.604 Check: 0.0 Back: 6.584 INFO - Atoms: 812/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 252714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.007 Prop: 105.535 PropClause: 90.457 Set: 75.759 Check: 0.0 Back: 6.602 INFO - Atoms: 795/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 253545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.015 Prop: 105.723 PropClause: 90.622 Set: 75.864 Check: 0.0 Back: 6.622 INFO - Atoms: 831/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 254372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.02 Prop: 105.907 PropClause: 90.781 Set: 75.969 Check: 0.0 Back: 6.64 INFO - Atoms: 827/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 255338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.047 Prop: 106.157 PropClause: 91.003 Set: 76.493 Check: 0.0 Back: 6.659 INFO - Atoms: 966/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 256366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.087 Prop: 106.432 PropClause: 91.245 Set: 77.007 Check: 0.0 Back: 6.683 INFO - Atoms: 1028/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 257383 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.1 Prop: 106.74 PropClause: 91.521 Set: 77.532 Check: 0.0 Back: 6.709 INFO - Atoms: 1017/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 258317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.105 Prop: 107.004 PropClause: 91.755 Set: 77.991 Check: 0.0 Back: 6.734 INFO - Atoms: 934/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 259251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.114 Prop: 107.274 PropClause: 91.993 Set: 78.828 Check: 0.0 Back: 6.759 INFO - Atoms: 934/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 260962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.127 Prop: 107.91 PropClause: 92.565 Set: 80.18 Check: 0.0 Back: 6.782 INFO - Atoms: 1711/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 262544 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.139 Prop: 108.494 PropClause: 93.094 Set: 81.378 Check: 0.0 Back: 6.825 INFO - Atoms: 1582/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 264537 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.148 Prop: 109.46 PropClause: 93.989 Set: 83.182 Check: 0.0 Back: 6.866 INFO - Atoms: 1993/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 266780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.159 Prop: 110.583 PropClause: 95.026 Set: 85.022 Check: 0.0 Back: 6.918 INFO - Atoms: 2243/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 269072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.168 Prop: 111.518 PropClause: 95.886 Set: 86.775 Check: 0.0 Back: 6.975 INFO - Atoms: 2292/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 270038 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.174 Prop: 112.003 PropClause: 96.332 Set: 87.409 Check: 0.0 Back: 7.033 INFO - Atoms: 966/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 272554 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.181 Prop: 112.857 PropClause: 97.094 Set: 89.4 Check: 0.0 Back: 7.057 INFO - Atoms: 2516/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 274130 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.198 Prop: 113.7 PropClause: 97.888 Set: 89.835 Check: 0.0 Back: 7.124 INFO - Atoms: 1576/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 274993 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.205 Prop: 114.047 PropClause: 98.208 Set: 89.999 Check: 0.0 Back: 7.164 INFO - Atoms: 863/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 275857 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.209 Prop: 114.269 PropClause: 98.403 Set: 90.164 Check: 0.0 Back: 7.185 INFO - Atoms: 864/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 276737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.265 Prop: 114.506 PropClause: 98.612 Set: 90.315 Check: 0.0 Back: 7.209 INFO - Atoms: 880/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 278510 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.314 Prop: 115.05 PropClause: 99.101 Set: 90.754 Check: 0.0 Back: 7.231 INFO - Atoms: 1773/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 280802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.34 Prop: 115.722 PropClause: 99.707 Set: 91.132 Check: 0.0 Back: 7.27 INFO - Atoms: 2292/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 283319 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.345 Prop: 116.494 PropClause: 100.409 Set: 91.562 Check: 0.0 Back: 7.322 INFO - Atoms: 2517/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 284166 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.352 Prop: 116.987 PropClause: 100.876 Set: 91.727 Check: 0.0 Back: 7.384 INFO - Atoms: 847/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 285907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.357 Prop: 117.506 PropClause: 101.341 Set: 92.162 Check: 0.0 Back: 7.405 INFO - Atoms: 1741/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 287833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.367 Prop: 118.23 PropClause: 102.006 Set: 92.649 Check: 0.0 Back: 7.449 INFO - Atoms: 1926/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 290349 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.377 Prop: 119.18 PropClause: 102.876 Set: 93.3 Check: 0.0 Back: 7.499 INFO - Atoms: 2516/2773 Clauses: 127 Axioms: 11344 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 315 Props: 6815 Tprops: 2995 Decides: 2900 RSplits: 0 INFO - Times: Expl: 63.202 Prop: 1085.111 PropClause: 4.526 Set: 916.888 Check: 7.85 Back: 13.846 INFO - Atoms: 122/127 Clauses: 315 Axioms: 106 INFO - CCTimes: iE 53904 eq 7134031 cc 6727951 setRep 14952224 INFO - Merges: 10786, cc:10840 INFO - BVTimes: BB 65736055 BB_DPLL 779332651 Graph 98811 INFO - BitBlastingClauses: 37678 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat