/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_079_016.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 61831851 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 8284 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.726 Prop: 28.482 PropClause: 25.7 Set: 11.555 Check: 0.0 Back: 0.0 INFO - Atoms: 8284/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 16568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.785 Prop: 44.898 PropClause: 39.605 Set: 17.469 Check: 0.0 Back: 0.358 INFO - Atoms: 8284/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 24852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.83 Prop: 59.344 PropClause: 52.136 Set: 23.51 Check: 0.0 Back: 0.574 INFO - Atoms: 8284/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 32821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.902 Prop: 68.732 PropClause: 61.067 Set: 26.497 Check: 0.0 Back: 0.788 INFO - Atoms: 7969/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 40783 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.98 Prop: 76.749 PropClause: 68.66 Set: 59.769 Check: 0.0 Back: 0.992 INFO - Atoms: 7962/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 48752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.021 Prop: 82.32 PropClause: 73.837 Set: 61.699 Check: 0.0 Back: 1.201 INFO - Atoms: 7969/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 56714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.097 Prop: 87.41 PropClause: 78.527 Set: 63.676 Check: 0.0 Back: 1.413 INFO - Atoms: 7962/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 64518 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.145 Prop: 92.881 PropClause: 83.38 Set: 65.442 Check: 0.0 Back: 1.62 INFO - Atoms: 7804/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 72160 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.198 Prop: 97.641 PropClause: 87.661 Set: 67.166 Check: 0.0 Back: 1.821 INFO - Atoms: 7642/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 79653 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.245 Prop: 101.854 PropClause: 91.404 Set: 68.822 Check: 0.0 Back: 2.016 INFO - Atoms: 7493/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 86968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.296 Prop: 105.924 PropClause: 95.029 Set: 70.468 Check: 0.0 Back: 2.21 INFO - Atoms: 7315/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 94786 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.346 Prop: 110.654 PropClause: 99.286 Set: 72.283 Check: 0.0 Back: 2.394 INFO - Atoms: 7818/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 102428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.391 Prop: 114.864 PropClause: 103.02 Set: 73.968 Check: 0.0 Back: 2.6 INFO - Atoms: 7642/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 109919 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.442 Prop: 118.826 PropClause: 106.631 Set: 75.633 Check: 0.0 Back: 2.798 INFO - Atoms: 7491/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 117234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.483 Prop: 123.746 PropClause: 110.376 Set: 77.33 Check: 0.0 Back: 2.99 INFO - Atoms: 7315/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 124563 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.518 Prop: 126.561 PropClause: 112.852 Set: 78.977 Check: 0.0 Back: 3.177 INFO - Atoms: 7329/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 131716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.555 Prop: 129.162 PropClause: 115.136 Set: 80.603 Check: 0.0 Back: 3.363 INFO - Atoms: 7153/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 138705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.589 Prop: 131.868 PropClause: 117.534 Set: 82.208 Check: 0.0 Back: 3.571 INFO - Atoms: 6989/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 145532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.627 Prop: 134.34 PropClause: 119.704 Set: 83.709 Check: 0.0 Back: 3.75 INFO - Atoms: 6827/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 152195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.678 Prop: 136.759 PropClause: 121.829 Set: 85.161 Check: 0.0 Back: 3.929 INFO - Atoms: 6663/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 158696 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.716 Prop: 138.929 PropClause: 123.711 Set: 86.561 Check: 0.0 Back: 4.1 INFO - Atoms: 6501/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 165033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.768 Prop: 142.548 PropClause: 127.043 Set: 88.091 Check: 0.0 Back: 4.267 INFO - Atoms: 6337/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 171208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.822 Prop: 145.298 PropClause: 129.522 Set: 89.432 Check: 0.0 Back: 4.432 INFO - Atoms: 6175/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 177233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.873 Prop: 148.75 PropClause: 132.713 Set: 91.398 Check: 0.0 Back: 4.591 INFO - Atoms: 6025/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 183081 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.922 Prop: 151.47 PropClause: 135.17 Set: 93.267 Check: 0.0 Back: 4.748 INFO - Atoms: 5848/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 189416 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.971 Prop: 155.043 PropClause: 138.459 Set: 95.412 Check: 0.0 Back: 4.899 INFO - Atoms: 6335/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 195731 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.018 Prop: 158.832 PropClause: 141.954 Set: 97.605 Check: 0.0 Back: 5.062 INFO - Atoms: 6315/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 201575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.066 Prop: 162.115 PropClause: 144.977 Set: 99.555 Check: 0.0 Back: 5.229 INFO - Atoms: 5844/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 207890 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.114 Prop: 165.186 PropClause: 147.761 Set: 101.633 Check: 0.0 Back: 5.383 INFO - Atoms: 6315/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 214227 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.179 Prop: 167.94 PropClause: 150.177 Set: 103.704 Check: 0.0 Back: 5.544 INFO - Atoms: 6337/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 220700 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.232 Prop: 170.432 PropClause: 152.376 Set: 105.784 Check: 0.0 Back: 5.705 INFO - Atoms: 6473/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 227015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.274 Prop: 173.924 PropClause: 155.366 Set: 107.275 Check: 0.0 Back: 5.868 INFO - Atoms: 6315/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 233469 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.325 Prop: 177.505 PropClause: 158.668 Set: 108.829 Check: 0.0 Back: 6.031 INFO - Atoms: 6454/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 239957 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.374 Prop: 181.525 PropClause: 162.497 Set: 110.125 Check: 0.0 Back: 6.197 INFO - Atoms: 6488/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 246410 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.786 Prop: 184.038 PropClause: 164.809 Set: 111.549 Check: 0.0 Back: 6.359 INFO - Atoms: 6453/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 252727 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.825 Prop: 186.384 PropClause: 166.974 Set: 112.988 Check: 0.0 Back: 6.521 INFO - Atoms: 6317/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 258572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.866 Prop: 188.541 PropClause: 168.96 Set: 114.253 Check: 0.0 Back: 6.688 INFO - Atoms: 5845/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 265026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.91 Prop: 190.914 PropClause: 171.151 Set: 115.702 Check: 0.0 Back: 6.836 INFO - Atoms: 6454/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 271359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.957 Prop: 193.319 PropClause: 173.362 Set: 117.108 Check: 0.0 Back: 7.0 INFO - Atoms: 6333/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 277845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.0 Prop: 195.569 PropClause: 175.43 Set: 118.474 Check: 0.0 Back: 7.159 INFO - Atoms: 6486/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 284342 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.059 Prop: 197.113 PropClause: 176.811 Set: 119.633 Check: 0.0 Back: 7.305 INFO - Atoms: 6497/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 290820 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.134 Prop: 198.714 PropClause: 178.251 Set: 120.746 Check: 0.0 Back: 7.463 INFO - Atoms: 6478/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 296828 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.173 Prop: 200.288 PropClause: 179.678 Set: 121.754 Check: 0.0 Back: 7.616 INFO - Atoms: 6008/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 302686 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.204 Prop: 201.672 PropClause: 180.915 Set: 122.724 Check: 0.0 Back: 7.764 INFO - Atoms: 5858/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 308699 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.247 Prop: 203.588 PropClause: 182.661 Set: 123.986 Check: 0.0 Back: 7.896 INFO - Atoms: 6013/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 314548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.291 Prop: 205.429 PropClause: 184.336 Set: 125.248 Check: 0.0 Back: 8.047 INFO - Atoms: 5849/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 322516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.334 Prop: 210.793 PropClause: 189.45 Set: 130.908 Check: 0.0 Back: 8.192 INFO - Atoms: 7968/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 330324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.363 Prop: 215.654 PropClause: 194.056 Set: 135.807 Check: 0.0 Back: 8.39 INFO - Atoms: 7808/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 338437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.399 Prop: 221.217 PropClause: 199.324 Set: 141.73 Check: 0.0 Back: 8.587 INFO - Atoms: 8113/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 346711 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.432 Prop: 226.829 PropClause: 204.642 Set: 147.515 Check: 0.0 Back: 8.791 INFO - Atoms: 8274/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 354354 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.468 Prop: 232.135 PropClause: 209.679 Set: 152.832 Check: 0.0 Back: 9.001 INFO - Atoms: 7643/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 361836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.515 Prop: 237.456 PropClause: 214.783 Set: 165.388 Check: 0.0 Back: 9.202 INFO - Atoms: 7482/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 369155 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.555 Prop: 241.208 PropClause: 218.332 Set: 167.027 Check: 0.0 Back: 9.394 INFO - Atoms: 7319/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 376311 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.627 Prop: 246.14 PropClause: 223.056 Set: 168.686 Check: 0.0 Back: 9.558 INFO - Atoms: 7156/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 383282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.677 Prop: 250.655 PropClause: 227.369 Set: 170.289 Check: 0.0 Back: 9.738 INFO - Atoms: 6971/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 390005 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.72 Prop: 254.302 PropClause: 230.834 Set: 171.658 Check: 0.0 Back: 9.929 INFO - Atoms: 6723/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 395771 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.755 Prop: 256.961 PropClause: 233.326 Set: 172.99 Check: 0.0 Back: 10.079 INFO - Atoms: 5766/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 401374 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.783 Prop: 258.851 PropClause: 235.053 Set: 174.308 Check: 0.0 Back: 10.225 INFO - Atoms: 5603/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 406814 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.813 Prop: 260.64 PropClause: 236.682 Set: 175.617 Check: 0.0 Back: 10.367 INFO - Atoms: 5440/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 412091 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.966 Prop: 262.708 PropClause: 238.586 Set: 176.811 Check: 0.0 Back: 10.504 INFO - Atoms: 5277/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 417205 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.982 Prop: 264.583 PropClause: 240.314 Set: 178.02 Check: 0.0 Back: 10.637 INFO - Atoms: 5114/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 422156 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.992 Prop: 265.927 PropClause: 241.517 Set: 179.165 Check: 0.0 Back: 10.765 INFO - Atoms: 4951/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 426923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.001 Prop: 267.195 PropClause: 242.649 Set: 180.229 Check: 0.0 Back: 10.89 INFO - Atoms: 4767/8288 Clauses: 101 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 800186 Tprops: 0 Decides: 5630 RSplits: 0 INFO - Times: Expl: 118.595 Prop: 415.654 PropClause: 377.848 Set: 190.294 Check: 0.143 Back: 20.48 INFO - Atoms: 2819/8288 Clauses: 359 Axioms: 27314 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 74 Props: 1630 Tprops: 397 Decides: 1091 RSplits: 0 INFO - Times: Expl: 32.767 Prop: 1460.476 PropClause: 1.176 Set: 139.438 Check: 18.498 Back: 6.883 INFO - Atoms: 150/150 Clauses: 74 Axioms: 150 INFO - CCTimes: iE 21710 eq 4917939 cc 10125971 setRep 2152639 INFO - Merges: 10029, cc:13986 INFO - BVTimes: BB 61812975 BB_DPLL 1189321682 Graph 47840 INFO - BitBlastingClauses: 33714 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat