/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_016.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 62752426 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 11547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.79 Prop: 27.008 PropClause: 23.043 Set: 12.777 Check: 0.0 Back: 0.0 INFO - Atoms: 11547/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 23094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.825 Prop: 39.944 PropClause: 33.678 Set: 17.392 Check: 0.0 Back: 0.271 INFO - Atoms: 11547/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 34641 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.884 Prop: 49.495 PropClause: 42.795 Set: 27.517 Check: 0.0 Back: 0.533 INFO - Atoms: 11547/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 45746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.927 Prop: 56.634 PropClause: 48.29 Set: 31.845 Check: 0.0 Back: 0.795 INFO - Atoms: 11105/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 56850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.963 Prop: 60.667 PropClause: 51.873 Set: 36.706 Check: 0.0 Back: 1.046 INFO - Atoms: 11104/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 67949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.996 Prop: 64.72 PropClause: 55.473 Set: 40.951 Check: 0.0 Back: 1.298 INFO - Atoms: 11099/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 79047 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.036 Prop: 68.502 PropClause: 58.847 Set: 42.974 Check: 0.0 Back: 1.55 INFO - Atoms: 11098/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 90147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.072 Prop: 74.226 PropClause: 63.007 Set: 45.101 Check: 0.0 Back: 1.802 INFO - Atoms: 11100/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 101024 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.104 Prop: 79.238 PropClause: 66.515 Set: 47.185 Check: 0.0 Back: 2.053 INFO - Atoms: 10877/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 111688 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.138 Prop: 84.428 PropClause: 70.369 Set: 49.24 Check: 0.0 Back: 2.3 INFO - Atoms: 10664/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 122111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.181 Prop: 87.858 PropClause: 73.45 Set: 51.088 Check: 0.0 Back: 2.543 INFO - Atoms: 10423/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 132306 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.211 Prop: 90.978 PropClause: 76.256 Set: 52.916 Check: 0.0 Back: 2.781 INFO - Atoms: 10195/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 142275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.237 Prop: 94.081 PropClause: 78.899 Set: 54.669 Check: 0.0 Back: 3.012 INFO - Atoms: 9969/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 152032 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.261 Prop: 97.136 PropClause: 81.527 Set: 56.415 Check: 0.0 Back: 3.239 INFO - Atoms: 9757/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 161547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.288 Prop: 99.853 PropClause: 83.997 Set: 58.111 Check: 0.0 Back: 3.463 INFO - Atoms: 9515/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 170850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.319 Prop: 103.065 PropClause: 86.968 Set: 59.743 Check: 0.0 Back: 3.684 INFO - Atoms: 9303/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 179911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.351 Prop: 105.662 PropClause: 89.34 Set: 62.102 Check: 0.0 Back: 3.893 INFO - Atoms: 9061/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 188759 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.386 Prop: 108.52 PropClause: 91.979 Set: 64.39 Check: 0.0 Back: 4.096 INFO - Atoms: 8848/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 197366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.42 Prop: 111.24 PropClause: 94.486 Set: 66.622 Check: 0.0 Back: 4.294 INFO - Atoms: 8607/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 205745 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.453 Prop: 114.106 PropClause: 97.136 Set: 68.797 Check: 0.0 Back: 4.487 INFO - Atoms: 8379/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 213897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.49 Prop: 117.081 PropClause: 99.909 Set: 70.921 Check: 0.0 Back: 4.675 INFO - Atoms: 8152/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 222934 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.543 Prop: 119.793 PropClause: 102.397 Set: 73.329 Check: 0.0 Back: 4.857 INFO - Atoms: 9037/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 231995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.576 Prop: 124.109 PropClause: 106.487 Set: 88.808 Check: 0.0 Back: 5.06 INFO - Atoms: 9061/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 241259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.606 Prop: 126.823 PropClause: 108.971 Set: 90.549 Check: 0.0 Back: 5.264 INFO - Atoms: 9264/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 250772 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.636 Prop: 129.467 PropClause: 111.38 Set: 92.34 Check: 0.0 Back: 5.471 INFO - Atoms: 9513/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 260263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.655 Prop: 131.703 PropClause: 113.381 Set: 94.104 Check: 0.0 Back: 5.685 INFO - Atoms: 9491/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 269090 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.696 Prop: 134.034 PropClause: 115.492 Set: 95.71 Check: 0.0 Back: 5.898 INFO - Atoms: 8827/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 278581 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.728 Prop: 136.249 PropClause: 117.471 Set: 97.478 Check: 0.0 Back: 6.096 INFO - Atoms: 9491/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 288093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.749 Prop: 138.544 PropClause: 119.527 Set: 99.271 Check: 0.0 Back: 6.31 INFO - Atoms: 9512/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 297805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.768 Prop: 140.812 PropClause: 121.555 Set: 101.117 Check: 0.0 Back: 6.524 INFO - Atoms: 9712/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 307296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.799 Prop: 143.782 PropClause: 124.286 Set: 102.887 Check: 0.0 Back: 6.746 INFO - Atoms: 9491/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 316988 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.826 Prop: 146.693 PropClause: 126.956 Set: 104.727 Check: 0.0 Back: 6.961 INFO - Atoms: 9692/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 325817 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.856 Prop: 149.246 PropClause: 129.291 Set: 106.326 Check: 0.0 Back: 7.18 INFO - Atoms: 8829/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 335506 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.876 Prop: 151.527 PropClause: 131.332 Set: 108.157 Check: 0.0 Back: 7.379 INFO - Atoms: 9689/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 345020 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.897 Prop: 153.719 PropClause: 133.289 Set: 109.923 Check: 0.0 Back: 7.595 INFO - Atoms: 9514/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 354732 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.918 Prop: 155.958 PropClause: 135.287 Set: 111.739 Check: 0.0 Back: 7.81 INFO - Atoms: 9712/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 364223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.942 Prop: 158.349 PropClause: 137.442 Set: 113.528 Check: 0.0 Back: 8.027 INFO - Atoms: 9491/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 373913 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.978 Prop: 161.697 PropClause: 140.55 Set: 115.34 Check: 0.0 Back: 8.241 INFO - Atoms: 9690/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 383626 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.004 Prop: 164.083 PropClause: 142.695 Set: 117.168 Check: 0.0 Back: 8.458 INFO - Atoms: 9713/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 393222 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.024 Prop: 166.473 PropClause: 144.847 Set: 118.975 Check: 0.0 Back: 8.676 INFO - Atoms: 9596/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 402714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.041 Prop: 168.729 PropClause: 146.868 Set: 120.745 Check: 0.0 Back: 8.891 INFO - Atoms: 9492/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 411542 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.066 Prop: 170.955 PropClause: 148.875 Set: 122.349 Check: 0.0 Back: 9.103 INFO - Atoms: 8828/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 420941 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.093 Prop: 173.294 PropClause: 150.981 Set: 124.097 Check: 0.0 Back: 9.301 INFO - Atoms: 9399/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 430431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.119 Prop: 175.829 PropClause: 153.279 Set: 125.884 Check: 0.0 Back: 9.513 INFO - Atoms: 9490/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 439934 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.138 Prop: 178.048 PropClause: 155.262 Set: 127.651 Check: 0.0 Back: 9.725 INFO - Atoms: 9503/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 449216 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.161 Prop: 180.317 PropClause: 157.3 Set: 129.386 Check: 0.0 Back: 9.938 INFO - Atoms: 9282/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 458495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.183 Prop: 182.489 PropClause: 159.243 Set: 131.085 Check: 0.0 Back: 10.147 INFO - Atoms: 9279/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 467339 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.206 Prop: 184.784 PropClause: 161.316 Set: 132.72 Check: 0.0 Back: 10.363 INFO - Atoms: 8844/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 476397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.232 Prop: 187.217 PropClause: 163.524 Set: 134.39 Check: 0.0 Back: 10.564 INFO - Atoms: 9058/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 485454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.796 Prop: 190.599 PropClause: 166.68 Set: 136.082 Check: 0.0 Back: 10.768 INFO - Atoms: 9057/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 494285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.815 Prop: 192.751 PropClause: 168.613 Set: 137.734 Check: 0.0 Back: 10.97 INFO - Atoms: 8831/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 503317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.835 Prop: 194.854 PropClause: 170.491 Set: 139.428 Check: 0.0 Back: 11.171 INFO - Atoms: 9032/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 512326 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.854 Prop: 196.992 PropClause: 172.405 Set: 141.097 Check: 0.0 Back: 11.375 INFO - Atoms: 9009/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 521376 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.975 Prop: 199.552 PropClause: 174.74 Set: 142.818 Check: 0.0 Back: 11.576 INFO - Atoms: 9050/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 529755 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.007 Prop: 201.672 PropClause: 176.652 Set: 144.302 Check: 0.0 Back: 11.778 INFO - Atoms: 8379/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 538134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.031 Prop: 203.7 PropClause: 178.467 Set: 146.438 Check: 0.0 Back: 11.971 INFO - Atoms: 8379/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 547053 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.04 Prop: 205.928 PropClause: 180.476 Set: 148.741 Check: 0.0 Back: 12.158 INFO - Atoms: 8919/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 556074 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.057 Prop: 208.644 PropClause: 182.968 Set: 151.112 Check: 0.0 Back: 12.358 INFO - Atoms: 9021/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 565109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.07 Prop: 211.628 PropClause: 185.728 Set: 153.479 Check: 0.0 Back: 12.561 INFO - Atoms: 9035/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 573504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.082 Prop: 214.676 PropClause: 188.567 Set: 155.685 Check: 0.0 Back: 12.763 INFO - Atoms: 8395/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 581672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.094 Prop: 217.858 PropClause: 191.548 Set: 157.834 Check: 0.0 Back: 12.952 INFO - Atoms: 8168/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 590035 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.104 Prop: 220.99 PropClause: 194.441 Set: 162.79 Check: 0.0 Back: 13.136 INFO - Atoms: 8363/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 595350 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.113 Prop: 222.986 PropClause: 196.291 Set: 165.917 Check: 0.0 Back: 13.324 INFO - Atoms: 5315/11552 Clauses: 101 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 1231216 Tprops: 0 Decides: 14568 RSplits: 0 INFO - Times: Expl: 124.976 Prop: 404.596 PropClause: 357.239 Set: 182.948 Check: 0.335 Back: 28.15 INFO - Atoms: 4047/11552 Clauses: 376 Axioms: 38194 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 69 Props: 1944 Tprops: 339 Decides: 1451 RSplits: 0 INFO - Times: Expl: 26.812 Prop: 1380.607 PropClause: 0.953 Set: 115.988 Check: 24.257 Back: 5.961 INFO - Atoms: 134/150 Clauses: 69 Axioms: 150 INFO - CCTimes: iE 20806 eq 3139454 cc 9403893 setRep 5010933 INFO - Merges: 10229, cc:12884 INFO - BVTimes: BB 62737127 BB_DPLL 1150095460 Graph 46587 INFO - BitBlastingClauses: 44594 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat