/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_063_032.smt2


--------------------------------------------------------------------------------


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 94678546
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 12926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.308 Prop: 28.858 PropClause: 24.186 Set: 16.803 Check: 0.0 Back: 0.0
INFO - Atoms: 12926/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 25852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.37 Prop: 42.851 PropClause: 37.599 Set: 23.949 Check: 0.0 Back: 0.35
INFO - Atoms: 12926/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 38778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.41 Prop: 58.935 PropClause: 52.961 Set: 30.769 Check: 0.0 Back: 0.698
INFO - Atoms: 12926/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 51452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.459 Prop: 72.689 PropClause: 65.985 Set: 33.975 Check: 0.0 Back: 1.05
INFO - Atoms: 12674/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 64126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.502 Prop: 86.659 PropClause: 79.338 Set: 37.267 Check: 0.0 Back: 1.406
INFO - Atoms: 12674/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 76800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.562 Prop: 95.658 PropClause: 87.752 Set: 40.472 Check: 0.0 Back: 1.761
INFO - Atoms: 12674/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 89469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.609 Prop: 104.331 PropClause: 95.849 Set: 43.772 Check: 0.0 Back: 2.082
INFO - Atoms: 12669/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 102011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.667 Prop: 111.92 PropClause: 102.887 Set: 46.838 Check: 0.0 Back: 2.409
INFO - Atoms: 12542/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 114423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.734 Prop: 120.45 PropClause: 110.438 Set: 50.365 Check: 0.0 Back: 2.727
INFO - Atoms: 12412/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 126703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.782 Prop: 131.588 PropClause: 120.734 Set: 54.859 Check: 0.0 Back: 3.047
INFO - Atoms: 12280/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 138853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.831 Prop: 139.219 PropClause: 127.928 Set: 59.07 Check: 0.0 Back: 3.359
INFO - Atoms: 12150/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 150871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.879 Prop: 147.422 PropClause: 135.502 Set: 61.866 Check: 0.0 Back: 3.683
INFO - Atoms: 12018/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 162759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.927 Prop: 154.64 PropClause: 142.353 Set: 64.477 Check: 0.0 Back: 3.989
INFO - Atoms: 11888/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 174515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.97 Prop: 161.402 PropClause: 148.755 Set: 67.164 Check: 0.0 Back: 4.289
INFO - Atoms: 11756/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 186141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.015 Prop: 165.219 PropClause: 152.282 Set: 69.051 Check: 0.0 Back: 4.589
INFO - Atoms: 11626/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 197635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.065 Prop: 172.051 PropClause: 158.778 Set: 71.633 Check: 0.0 Back: 4.882
INFO - Atoms: 11494/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 208999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.114 Prop: 180.244 PropClause: 166.638 Set: 74.124 Check: 0.0 Back: 5.173
INFO - Atoms: 11364/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 220231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.199 Prop: 186.139 PropClause: 172.195 Set: 76.734 Check: 0.0 Back: 5.467
INFO - Atoms: 11232/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 231333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.244 Prop: 191.73 PropClause: 177.461 Set: 79.285 Check: 0.0 Back: 5.755
INFO - Atoms: 11102/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 242303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.288 Prop: 196.889 PropClause: 182.298 Set: 81.643 Check: 0.0 Back: 6.036
INFO - Atoms: 10970/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 253143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.33 Prop: 202.126 PropClause: 187.214 Set: 83.934 Check: 0.0 Back: 6.314
INFO - Atoms: 10840/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 263851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.376 Prop: 207.747 PropClause: 192.518 Set: 86.356 Check: 0.0 Back: 6.589
INFO - Atoms: 10708/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 274429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.423 Prop: 213.749 PropClause: 198.211 Set: 88.79 Check: 0.0 Back: 6.861
INFO - Atoms: 10578/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 284875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.467 Prop: 218.657 PropClause: 202.813 Set: 91.047 Check: 0.0 Back: 7.128
INFO - Atoms: 10446/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 295191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.518 Prop: 223.239 PropClause: 207.085 Set: 93.207 Check: 0.0 Back: 7.395
INFO - Atoms: 10316/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 305375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.564 Prop: 227.71 PropClause: 211.262 Set: 95.345 Check: 0.0 Back: 7.658
INFO - Atoms: 10184/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 315429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.608 Prop: 231.74 PropClause: 215.003 Set: 97.458 Check: 0.0 Back: 7.917
INFO - Atoms: 10054/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 325351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.649 Prop: 235.989 PropClause: 218.966 Set: 99.695 Check: 0.0 Back: 8.173
INFO - Atoms: 9922/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 335143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.694 Prop: 240.411 PropClause: 223.103 Set: 101.87 Check: 0.0 Back: 8.425
INFO - Atoms: 9792/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 344803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.744 Prop: 245.546 PropClause: 227.952 Set: 103.934 Check: 0.0 Back: 8.675
INFO - Atoms: 9660/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 354333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.788 Prop: 250.413 PropClause: 232.537 Set: 106.955 Check: 0.0 Back: 8.921
INFO - Atoms: 9530/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 363731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.83 Prop: 255.282 PropClause: 237.128 Set: 109.95 Check: 0.0 Back: 9.163
INFO - Atoms: 9398/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 372999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.879 Prop: 259.955 PropClause: 241.523 Set: 112.893 Check: 0.0 Back: 9.402
INFO - Atoms: 9268/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 382135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.935 Prop: 264.986 PropClause: 246.281 Set: 115.778 Check: 0.0 Back: 9.637
INFO - Atoms: 9136/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 391141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.983 Prop: 269.86 PropClause: 250.886 Set: 118.629 Check: 0.0 Back: 9.873
INFO - Atoms: 9006/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 400014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.029 Prop: 274.275 PropClause: 255.038 Set: 121.447 Check: 0.0 Back: 10.1
INFO - Atoms: 8873/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 409648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.075 Prop: 279.383 PropClause: 259.857 Set: 124.621 Check: 0.0 Back: 10.325
INFO - Atoms: 9634/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 419281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.128 Prop: 285.444 PropClause: 265.627 Set: 127.851 Check: 0.0 Back: 10.57
INFO - Atoms: 9633/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 428539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.176 Prop: 290.614 PropClause: 270.516 Set: 130.9 Check: 0.0 Back: 10.819
INFO - Atoms: 9258/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 438175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.221 Prop: 297.512 PropClause: 277.139 Set: 147.804 Check: 0.0 Back: 11.061
INFO - Atoms: 9636/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 447931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.265 Prop: 302.112 PropClause: 281.495 Set: 149.454 Check: 0.0 Back: 11.307
INFO - Atoms: 9756/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 457690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.315 Prop: 305.968 PropClause: 285.106 Set: 151.1 Check: 0.0 Back: 11.557
INFO - Atoms: 9759/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 467327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.366 Prop: 311.55 PropClause: 290.408 Set: 153.349 Check: 0.0 Back: 11.804
INFO - Atoms: 9637/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 477085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.412 Prop: 316.862 PropClause: 295.432 Set: 155.552 Check: 0.0 Back: 12.049
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 486348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.464 Prop: 324.312 PropClause: 302.612 Set: 157.758 Check: 0.0 Back: 12.308
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 496105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.513 Prop: 330.0 PropClause: 308.015 Set: 159.998 Check: 0.0 Back: 12.543
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 505863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 336.229 PropClause: 313.958 Set: 162.235 Check: 0.0 Back: 12.795
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 515622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.61 Prop: 341.666 PropClause: 319.111 Set: 164.525 Check: 0.0 Back: 13.043
INFO - Atoms: 9759/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 525259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.658 Prop: 346.554 PropClause: 323.718 Set: 166.685 Check: 0.0 Back: 13.29
INFO - Atoms: 9637/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 535017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.698 Prop: 349.847 PropClause: 326.767 Set: 168.324 Check: 0.0 Back: 13.536
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 544280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.732 Prop: 352.562 PropClause: 329.25 Set: 169.795 Check: 0.0 Back: 13.757
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 554037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.778 Prop: 357.357 PropClause: 333.761 Set: 171.986 Check: 0.0 Back: 13.987
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 563795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.928 Prop: 362.446 PropClause: 338.569 Set: 174.171 Check: 0.0 Back: 14.233
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 573554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.953 Prop: 365.777 PropClause: 341.655 Set: 175.804 Check: 0.0 Back: 14.48
INFO - Atoms: 9759/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 583191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.972 Prop: 368.931 PropClause: 344.568 Set: 177.376 Check: 0.0 Back: 14.704
INFO - Atoms: 9637/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 592949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.017 Prop: 371.864 PropClause: 347.258 Set: 178.996 Check: 0.0 Back: 14.921
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 602212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.043 Prop: 377.293 PropClause: 352.415 Set: 181.128 Check: 0.0 Back: 15.162
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 611969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 380.987 PropClause: 355.865 Set: 182.779 Check: 0.0 Back: 15.397
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 621727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.084 Prop: 384.094 PropClause: 358.729 Set: 184.397 Check: 0.0 Back: 15.623
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 631486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.102 Prop: 386.926 PropClause: 361.32 Set: 186.031 Check: 0.0 Back: 15.847
INFO - Atoms: 9759/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 641123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.121 Prop: 390.061 PropClause: 364.213 Set: 187.596 Check: 0.0 Back: 16.081
INFO - Atoms: 9637/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 650881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.146 Prop: 394.525 PropClause: 368.394 Set: 189.812 Check: 0.0 Back: 16.324
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 660144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.165 Prop: 398.552 PropClause: 372.188 Set: 191.293 Check: 0.0 Back: 16.576
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 669901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.184 Prop: 401.78 PropClause: 375.17 Set: 192.909 Check: 0.0 Back: 16.784
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 679659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.203 Prop: 404.369 PropClause: 377.516 Set: 194.511 Check: 0.0 Back: 17.018
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 689418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.224 Prop: 407.018 PropClause: 379.922 Set: 196.18 Check: 0.0 Back: 17.242
INFO - Atoms: 9759/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 699055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 411.704 PropClause: 384.328 Set: 198.395 Check: 0.0 Back: 17.469
INFO - Atoms: 9637/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 708813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.269 Prop: 414.585 PropClause: 386.966 Set: 200.023 Check: 0.0 Back: 17.723
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 718573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.293 Prop: 418.92 PropClause: 391.022 Set: 202.198 Check: 0.0 Back: 17.946
INFO - Atoms: 9760/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 728330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.314 Prop: 421.73 PropClause: 393.586 Set: 203.833 Check: 0.0 Back: 18.197
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 737968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.331 Prop: 424.211 PropClause: 395.827 Set: 205.418 Check: 0.0 Back: 18.424
INFO - Atoms: 9638/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 747727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.367 Prop: 427.205 PropClause: 398.577 Set: 207.044 Check: 0.0 Back: 18.646
INFO - Atoms: 9759/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 757364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.389 Prop: 430.48 PropClause: 401.611 Set: 208.647 Check: 0.0 Back: 18.869
INFO - Atoms: 9637/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 767122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.407 Prop: 433.793 PropClause: 404.68 Set: 210.274 Check: 0.0 Back: 19.088
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 776385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.426 Prop: 436.56 PropClause: 407.216 Set: 211.777 Check: 0.0 Back: 19.311
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 786142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.469 Prop: 441.263 PropClause: 411.651 Set: 213.749 Check: 0.0 Back: 19.524
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 795900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 444.823 PropClause: 414.966 Set: 215.375 Check: 0.0 Back: 19.757
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 805659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.511 Prop: 448.472 PropClause: 418.371 Set: 217.03 Check: 0.0 Back: 20.008
INFO - Atoms: 9759/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 815296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.53 Prop: 452.147 PropClause: 421.804 Set: 218.629 Check: 0.0 Back: 20.25
INFO - Atoms: 9637/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 825054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.546 Prop: 455.489 PropClause: 424.901 Set: 220.279 Check: 0.0 Back: 20.475
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 834317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.56 Prop: 458.01 PropClause: 427.192 Set: 221.767 Check: 0.0 Back: 20.696
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 844074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.578 Prop: 460.786 PropClause: 429.726 Set: 223.396 Check: 0.0 Back: 20.907
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 853832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 463.788 PropClause: 432.485 Set: 225.021 Check: 0.0 Back: 21.13
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 863591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.615 Prop: 466.741 PropClause: 435.193 Set: 226.644 Check: 0.0 Back: 21.352
INFO - Atoms: 9759/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 873228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.638 Prop: 470.856 PropClause: 439.03 Set: 228.793 Check: 0.0 Back: 21.575
INFO - Atoms: 9637/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 882986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.658 Prop: 473.793 PropClause: 441.722 Set: 230.424 Check: 0.0 Back: 21.818
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 892249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.678 Prop: 476.385 PropClause: 444.082 Set: 231.901 Check: 0.0 Back: 22.062
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 902006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.695 Prop: 479.049 PropClause: 446.503 Set: 233.529 Check: 0.0 Back: 22.274
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 911764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.714 Prop: 482.374 PropClause: 449.584 Set: 235.924 Check: 0.0 Back: 22.509
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 921026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 485.278 PropClause: 452.257 Set: 238.187 Check: 0.0 Back: 22.738
INFO - Atoms: 9262/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 930783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.753 Prop: 488.355 PropClause: 455.09 Set: 240.596 Check: 0.0 Back: 22.953
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 940541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.769 Prop: 491.345 PropClause: 457.836 Set: 242.983 Check: 0.0 Back: 23.185
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 949804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 494.842 PropClause: 461.1 Set: 245.275 Check: 0.0 Back: 23.412
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 959561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.812 Prop: 497.924 PropClause: 463.94 Set: 247.688 Check: 0.0 Back: 23.634
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 969319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.865 Prop: 500.708 PropClause: 466.48 Set: 250.071 Check: 0.0 Back: 23.864
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 978581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.918 Prop: 503.008 PropClause: 468.544 Set: 252.287 Check: 0.0 Back: 24.093
INFO - Atoms: 9262/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 988338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.935 Prop: 509.043 PropClause: 474.337 Set: 255.292 Check: 0.0 Back: 24.304
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 998096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.948 Prop: 512.398 PropClause: 477.45 Set: 257.697 Check: 0.0 Back: 24.555
INFO - Atoms: 9758/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 1007856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 515.45 PropClause: 480.261 Set: 260.083 Check: 0.0 Back: 24.79
INFO - Atoms: 9760/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 1017613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.978 Prop: 518.569 PropClause: 483.138 Set: 262.54 Check: 0.0 Back: 25.015
INFO - Atoms: 9757/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 1027251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.992 Prop: 521.455 PropClause: 485.785 Set: 265.007 Check: 0.0 Back: 25.242
INFO - Atoms: 9638/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 1037010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.009 Prop: 525.188 PropClause: 489.273 Set: 267.562 Check: 0.0 Back: 25.468
INFO - Atoms: 9759/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 1046647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.024 Prop: 529.211 PropClause: 493.055 Set: 270.055 Check: 0.0 Back: 25.705
INFO - Atoms: 9637/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 1056349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.038 Prop: 532.877 PropClause: 496.479 Set: 272.525 Check: 0.0 Back: 25.943
INFO - Atoms: 9702/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 1065612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.053 Prop: 536.535 PropClause: 499.905 Set: 274.872 Check: 0.0 Back: 26.179
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 1075256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.068 Prop: 540.686 PropClause: 503.816 Set: 277.406 Check: 0.0 Back: 26.406
INFO - Atoms: 9644/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 1084900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.082 Prop: 544.88 PropClause: 507.767 Set: 279.893 Check: 0.0 Back: 26.643
INFO - Atoms: 9644/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 1094545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.099 Prop: 548.392 PropClause: 511.037 Set: 282.354 Check: 0.0 Back: 26.891
INFO - Atoms: 9645/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 1104066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.116 Prop: 551.67 PropClause: 514.072 Set: 284.763 Check: 0.0 Back: 27.12
INFO - Atoms: 9521/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 1113588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 555.07 PropClause: 517.234 Set: 287.224 Check: 0.0 Back: 27.343
INFO - Atoms: 9522/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 1122851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.143 Prop: 557.733 PropClause: 519.666 Set: 289.54 Check: 0.0 Back: 27.567
INFO - Atoms: 9263/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 1132246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 561.871 PropClause: 523.567 Set: 292.199 Check: 0.0 Back: 27.781
INFO - Atoms: 9395/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 1141641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.185 Prop: 567.223 PropClause: 528.683 Set: 308.82 Check: 0.0 Back: 28.019
INFO - Atoms: 9395/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 1151003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 571.079 PropClause: 532.304 Set: 310.393 Check: 0.0 Back: 28.251
INFO - Atoms: 9362/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 1160366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.216 Prop: 575.081 PropClause: 536.058 Set: 311.945 Check: 0.0 Back: 28.483
INFO - Atoms: 9363/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 1169730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 579.408 PropClause: 540.153 Set: 313.507 Check: 0.0 Back: 28.703
INFO - Atoms: 9364/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 1178971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.243 Prop: 582.951 PropClause: 543.467 Set: 315.039 Check: 0.0 Back: 28.927
INFO - Atoms: 9241/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 1188336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.256 Prop: 586.132 PropClause: 546.417 Set: 316.6 Check: 0.0 Back: 29.135
INFO - Atoms: 9365/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 1197698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.268 Prop: 589.355 PropClause: 549.408 Set: 318.137 Check: 0.0 Back: 29.35
INFO - Atoms: 9362/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 1207064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 592.17 PropClause: 551.992 Set: 319.699 Check: 0.0 Back: 29.564
INFO - Atoms: 9366/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 1215880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.295 Prop: 595.253 PropClause: 554.855 Set: 321.08 Check: 0.0 Back: 29.779
INFO - Atoms: 8816/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 1224565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.306 Prop: 597.87 PropClause: 557.255 Set: 322.446 Check: 0.0 Back: 29.979
INFO - Atoms: 8685/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 1233548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.316 Prop: 604.289 PropClause: 563.411 Set: 326.809 Check: 0.0 Back: 30.176
INFO - Atoms: 8983/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 1238795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 608.773 PropClause: 567.712 Set: 330.38 Check: 0.0 Back: 30.408
INFO - Atoms: 5247/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 1244170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.381 Prop: 610.902 PropClause: 569.69 Set: 331.507 Check: 0.0 Back: 30.541
INFO - Atoms: 5375/12928 Clauses: 197 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 625 Props: 1717129 Tprops: 0 Decides: 4131 RSplits: 0
INFO - Times: Expl: 248.922 Prop: 854.232 PropClause: 796.893 Set: 344.344 Check: 0.109 Back: 42.772
INFO - Atoms: 4260/12928 Clauses: 696 Axioms: 42482
INFO - Confl: 786 Props: 1791256 Tprops: 0 Decides: 4569 RSplits: 0
INFO - Times: Expl: 277.553 Prop: 893.463 PropClause: 833.626 Set: 346.441 Check: 0.12 Back: 44.646
INFO - Atoms: 5041/12928 Clauses: 857 Axioms: 42482
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 137 Props: 5809 Tprops: 1198 Decides: 5630 RSplits: 0
INFO - Times: Expl: 52.362 Prop: 3030.636 PropClause: 3.177 Set: 632.821 Check: 39.372 Back: 20.092
INFO - Atoms: 261/294 Clauses: 137 Axioms: 294
INFO - CCTimes: iE 81915 eq 6738696 cc 20077514 setRep 7033422
INFO - Merges: 41108, cc:57570
INFO - BVTimes: BB 94648549 BB_DPLL 2590111440 Graph 169698
INFO - BitBlastingClauses: 67178 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat