/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: 66705846
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 11547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.625 Prop: 36.388 PropClause: 33.625 Set: 10.64 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.683 Prop: 54.763 PropClause: 49.401 Set: 18.453 Check: 0.0 Back: 0.371
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.752 Prop: 68.14 PropClause: 62.192 Set: 25.187 Check: 0.0 Back: 0.664
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.806 Prop: 77.12 PropClause: 70.789 Set: 27.823 Check: 0.0 Back: 0.955
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.848 Prop: 85.602 PropClause: 78.745 Set: 30.406 Check: 0.0 Back: 1.247
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.914 Prop: 94.73 PropClause: 87.375 Set: 33.039 Check: 0.0 Back: 1.538
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: 0.961 Prop: 103.178 PropClause: 95.329 Set: 35.668 Check: 0.0 Back: 1.824
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.009 Prop: 111.521 PropClause: 103.167 Set: 38.253 Check: 0.0 Back: 2.11
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.057 Prop: 119.217 PropClause: 110.374 Set: 40.862 Check: 0.0 Back: 2.397
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.129 Prop: 126.92 PropClause: 117.591 Set: 43.522 Check: 0.0 Back: 2.681
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.177 Prop: 133.831 PropClause: 124.036 Set: 45.961 Check: 0.0 Back: 2.962
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.225 Prop: 140.34 PropClause: 130.098 Set: 48.387 Check: 0.0 Back: 3.233
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.269 Prop: 146.475 PropClause: 135.817 Set: 50.764 Check: 0.0 Back: 3.497
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.317 Prop: 152.216 PropClause: 141.128 Set: 53.153 Check: 0.0 Back: 3.761
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.365 Prop: 157.645 PropClause: 146.138 Set: 55.427 Check: 0.0 Back: 4.022
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.407 Prop: 163.33 PropClause: 151.258 Set: 57.71 Check: 0.0 Back: 4.274
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.452 Prop: 169.568 PropClause: 156.908 Set: 60.951 Check: 0.0 Back: 4.52
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.497 Prop: 175.601 PropClause: 162.352 Set: 64.108 Check: 0.0 Back: 4.746
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.538 Prop: 181.3 PropClause: 167.472 Set: 67.129 Check: 0.0 Back: 4.968
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.582 Prop: 185.959 PropClause: 171.86 Set: 69.883 Check: 0.0 Back: 5.18
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.629 Prop: 190.714 PropClause: 176.355 Set: 72.591 Check: 0.0 Back: 5.403
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.677 Prop: 195.988 PropClause: 181.401 Set: 75.046 Check: 0.0 Back: 5.606
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.725 Prop: 201.172 PropClause: 186.318 Set: 77.153 Check: 0.0 Back: 5.826
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.768 Prop: 206.182 PropClause: 191.069 Set: 78.945 Check: 0.0 Back: 6.06
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.815 Prop: 211.376 PropClause: 195.976 Set: 81.127 Check: 0.0 Back: 6.296
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.888 Prop: 217.14 PropClause: 201.464 Set: 83.425 Check: 0.0 Back: 6.538
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.937 Prop: 222.713 PropClause: 206.781 Set: 85.475 Check: 0.0 Back: 6.778
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.98 Prop: 227.474 PropClause: 211.264 Set: 87.688 Check: 0.0 Back: 7.005
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: 2.028 Prop: 232.875 PropClause: 216.382 Set: 89.975 Check: 0.0 Back: 7.249
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: 2.076 Prop: 238.554 PropClause: 221.779 Set: 92.306 Check: 0.0 Back: 7.494
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: 2.122 Prop: 243.935 PropClause: 226.882 Set: 94.494 Check: 0.0 Back: 7.752
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: 2.167 Prop: 248.106 PropClause: 230.809 Set: 96.155 Check: 0.0 Back: 7.995
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: 2.203 Prop: 251.349 PropClause: 233.83 Set: 97.606 Check: 0.0 Back: 8.222
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: 2.242 Prop: 254.68 PropClause: 236.918 Set: 99.263 Check: 0.0 Back: 8.426
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: 2.31 Prop: 258.793 PropClause: 240.791 Set: 100.885 Check: 0.0 Back: 8.663
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: 2.344 Prop: 261.959 PropClause: 243.713 Set: 102.534 Check: 0.0 Back: 8.901
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: 2.379 Prop: 266.281 PropClause: 247.796 Set: 117.313 Check: 0.0 Back: 9.124
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: 2.418 Prop: 270.477 PropClause: 251.739 Set: 118.97 Check: 0.0 Back: 9.359
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.467 Prop: 277.086 PropClause: 258.061 Set: 121.32 Check: 0.0 Back: 9.601
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.525 Prop: 284.522 PropClause: 265.217 Set: 123.62 Check: 0.0 Back: 9.855
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.583 Prop: 290.812 PropClause: 271.225 Set: 125.903 Check: 0.0 Back: 10.104
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.638 Prop: 296.687 PropClause: 276.842 Set: 127.964 Check: 0.0 Back: 10.351
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.68 Prop: 302.493 PropClause: 282.376 Set: 130.284 Check: 0.0 Back: 10.575
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.754 Prop: 308.07 PropClause: 287.678 Set: 132.591 Check: 0.0 Back: 10.81
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.797 Prop: 313.873 PropClause: 293.209 Set: 134.898 Check: 0.0 Back: 11.047
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.843 Prop: 319.433 PropClause: 298.502 Set: 137.141 Check: 0.0 Back: 11.283
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.887 Prop: 324.794 PropClause: 303.595 Set: 139.319 Check: 0.0 Back: 11.516
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.938 Prop: 330.262 PropClause: 308.808 Set: 141.413 Check: 0.0 Back: 11.751
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.98 Prop: 335.454 PropClause: 313.737 Set: 143.555 Check: 0.0 Back: 11.971
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: 3.555 Prop: 340.629 PropClause: 318.652 Set: 145.701 Check: 0.0 Back: 12.198
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: 3.593 Prop: 345.763 PropClause: 323.529 Set: 147.84 Check: 0.0 Back: 12.424
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: 3.632 Prop: 350.767 PropClause: 328.263 Set: 150.041 Check: 0.0 Back: 12.645
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: 3.675 Prop: 355.676 PropClause: 332.913 Set: 152.172 Check: 0.0 Back: 12.873
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: 3.825 Prop: 360.908 PropClause: 337.884 Set: 154.351 Check: 0.0 Back: 13.097
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.86 Prop: 365.971 PropClause: 342.705 Set: 156.476 Check: 0.0 Back: 13.324
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: 4.525 Prop: 371.215 PropClause: 347.699 Set: 159.172 Check: 0.0 Back: 13.534
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: 4.609 Prop: 377.409 PropClause: 353.625 Set: 162.259 Check: 0.0 Back: 13.743
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: 4.625 Prop: 383.314 PropClause: 359.262 Set: 165.22 Check: 0.0 Back: 13.965
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: 4.64 Prop: 388.901 PropClause: 364.577 Set: 168.244 Check: 0.0 Back: 14.192
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: 4.655 Prop: 394.635 PropClause: 370.062 Set: 170.971 Check: 0.0 Back: 14.416
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: 4.67 Prop: 400.03 PropClause: 375.213 Set: 173.71 Check: 0.0 Back: 14.626
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: 4.682 Prop: 405.836 PropClause: 380.728 Set: 178.187 Check: 0.0 Back: 14.83
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: 4.694 Prop: 409.502 PropClause: 384.21 Set: 181.006 Check: 0.0 Back: 15.039
INFO - Atoms: 5315/11552 Clauses: 101 Axioms: 38194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 1234722 Tprops: 0 Decides: 14720 RSplits: 0
INFO - Times: Expl: 224.843 Prop: 788.853 PropClause: 737.143 Set: 199.658 Check: 0.38 Back: 31.56
INFO - Atoms: 3973/11552 Clauses: 383 Axioms: 38194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 69 Props: 1944 Tprops: 339 Decides: 1451 RSplits: 0
INFO - Times: Expl: 27.838 Prop: 2160.781 PropClause: 1.193 Set: 157.184 Check: 23.507 Back: 5.74
INFO - Atoms: 134/150 Clauses: 69 Axioms: 150
INFO - CCTimes: iE 27563 eq 2737897 cc 5316208 setRep 2103799
INFO - Merges: 10229, cc:12884
INFO - BVTimes: BB 66687291 BB_DPLL 1856391464 Graph 12249309
INFO - BitBlastingClauses: 44594 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat