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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 131028399
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 15103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.735 Prop: 46.035 PropClause: 42.457 Set: 15.147 Check: 0.0 Back: 0.0
INFO - Atoms: 15103/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 29653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.766 Prop: 77.393 PropClause: 66.123 Set: 55.888 Check: 0.0 Back: 0.405
INFO - Atoms: 14550/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 44206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.819 Prop: 95.538 PropClause: 83.562 Set: 59.472 Check: 0.0 Back: 0.797
INFO - Atoms: 14553/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 58758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.883 Prop: 116.168 PropClause: 103.395 Set: 63.418 Check: 0.0 Back: 1.183
INFO - Atoms: 14552/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 73303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.947 Prop: 136.18 PropClause: 122.711 Set: 67.323 Check: 0.0 Back: 1.554
INFO - Atoms: 14545/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 87846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.996 Prop: 153.8 PropClause: 139.659 Set: 71.077 Check: 0.0 Back: 1.935
INFO - Atoms: 14543/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 102378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.046 Prop: 167.417 PropClause: 152.606 Set: 74.716 Check: 0.0 Back: 2.311
INFO - Atoms: 14532/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 116911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.095 Prop: 183.419 PropClause: 167.921 Set: 78.565 Check: 0.0 Back: 2.691
INFO - Atoms: 14533/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 131431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.178 Prop: 196.926 PropClause: 180.743 Set: 82.247 Check: 0.0 Back: 3.073
INFO - Atoms: 14520/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 145655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.229 Prop: 210.033 PropClause: 193.148 Set: 85.794 Check: 0.0 Back: 3.443
INFO - Atoms: 14224/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 159581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.284 Prop: 222.614 PropClause: 205.08 Set: 89.301 Check: 0.0 Back: 3.813
INFO - Atoms: 13926/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 174114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.352 Prop: 238.48 PropClause: 220.153 Set: 92.999 Check: 0.0 Back: 4.171
INFO - Atoms: 14533/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 188634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.413 Prop: 254.122 PropClause: 235.0 Set: 98.754 Check: 0.0 Back: 4.544
INFO - Atoms: 14520/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 202858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.462 Prop: 269.268 PropClause: 249.379 Set: 104.213 Check: 0.0 Back: 4.925
INFO - Atoms: 14224/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 216784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.512 Prop: 282.381 PropClause: 262.061 Set: 109.27 Check: 0.0 Back: 5.296
INFO - Atoms: 13926/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 230706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.558 Prop: 296.972 PropClause: 276.211 Set: 114.608 Check: 0.0 Back: 5.66
INFO - Atoms: 13922/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 244332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.607 Prop: 308.993 PropClause: 287.827 Set: 117.957 Check: 0.0 Back: 6.024
INFO - Atoms: 13626/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 257653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.657 Prop: 320.366 PropClause: 298.815 Set: 121.373 Check: 0.0 Back: 6.373
INFO - Atoms: 13321/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 270677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.703 Prop: 332.97 PropClause: 311.042 Set: 125.065 Check: 0.0 Back: 6.718
INFO - Atoms: 13024/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 283396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.746 Prop: 344.373 PropClause: 322.078 Set: 128.36 Check: 0.0 Back: 7.051
INFO - Atoms: 12719/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 295818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.791 Prop: 353.119 PropClause: 330.463 Set: 131.396 Check: 0.0 Back: 7.379
INFO - Atoms: 12422/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 307935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.842 Prop: 361.994 PropClause: 338.989 Set: 134.574 Check: 0.0 Back: 7.701
INFO - Atoms: 12117/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 319755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.891 Prop: 371.011 PropClause: 347.666 Set: 137.578 Check: 0.0 Back: 8.012
INFO - Atoms: 11820/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 331270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.937 Prop: 380.701 PropClause: 357.013 Set: 140.602 Check: 0.0 Back: 8.315
INFO - Atoms: 11515/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 342487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.986 Prop: 390.826 PropClause: 366.814 Set: 143.642 Check: 0.0 Back: 8.616
INFO - Atoms: 11217/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 355418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.032 Prop: 401.159 PropClause: 376.774 Set: 147.305 Check: 0.0 Back: 8.902
INFO - Atoms: 12931/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 368065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.075 Prop: 412.672 PropClause: 387.921 Set: 150.848 Check: 0.0 Back: 9.234
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 379270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.137 Prop: 422.395 PropClause: 397.32 Set: 153.701 Check: 0.0 Back: 9.559
INFO - Atoms: 11205/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 391917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.182 Prop: 430.973 PropClause: 405.532 Set: 157.172 Check: 0.0 Back: 9.847
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 404568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.223 Prop: 439.648 PropClause: 413.84 Set: 160.558 Check: 0.0 Back: 10.174
INFO - Atoms: 12651/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 417506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.267 Prop: 448.653 PropClause: 422.471 Set: 163.961 Check: 0.0 Back: 10.499
INFO - Atoms: 12938/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 430152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.324 Prop: 458.686 PropClause: 432.14 Set: 167.417 Check: 0.0 Back: 10.856
INFO - Atoms: 12646/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 442799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.364 Prop: 468.343 PropClause: 441.433 Set: 171.329 Check: 0.0 Back: 11.182
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 455734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.405 Prop: 477.719 PropClause: 450.436 Set: 174.684 Check: 0.0 Back: 11.504
INFO - Atoms: 12935/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 468381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.45 Prop: 487.534 PropClause: 459.88 Set: 177.964 Check: 0.0 Back: 11.843
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 481032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.491 Prop: 496.838 PropClause: 468.819 Set: 181.085 Check: 0.0 Back: 12.172
INFO - Atoms: 12651/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 492241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 504.792 PropClause: 476.45 Set: 183.831 Check: 0.0 Back: 12.492
INFO - Atoms: 11209/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 504888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.579 Prop: 512.464 PropClause: 483.757 Set: 187.016 Check: 0.0 Back: 12.778
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 517817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.624 Prop: 522.061 PropClause: 492.983 Set: 190.498 Check: 0.0 Back: 13.107
INFO - Atoms: 12929/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 530751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.67 Prop: 532.556 PropClause: 503.112 Set: 193.857 Check: 0.0 Back: 13.44
INFO - Atoms: 12934/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 543415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.717 Prop: 544.031 PropClause: 514.224 Set: 197.063 Check: 0.0 Back: 13.781
INFO - Atoms: 12664/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 556080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.764 Prop: 554.395 PropClause: 524.213 Set: 201.716 Check: 0.0 Back: 14.109
INFO - Atoms: 12665/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 567590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.807 Prop: 563.961 PropClause: 533.439 Set: 205.787 Check: 0.0 Back: 14.437
INFO - Atoms: 11510/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 578795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.855 Prop: 573.023 PropClause: 542.166 Set: 209.93 Check: 0.0 Back: 14.735
INFO - Atoms: 11205/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 590315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.91 Prop: 581.53 PropClause: 550.332 Set: 214.031 Check: 0.0 Back: 15.024
INFO - Atoms: 11520/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 601532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.965 Prop: 589.76 PropClause: 558.231 Set: 217.946 Check: 0.0 Back: 15.359
INFO - Atoms: 11217/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 616626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.115 Prop: 606.4 PropClause: 574.32 Set: 230.204 Check: 0.0 Back: 15.646
INFO - Atoms: 15094/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 631700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.139 Prop: 618.923 PropClause: 586.469 Set: 234.649 Check: 0.0 Back: 16.037
INFO - Atoms: 15074/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 646809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.159 Prop: 629.182 PropClause: 596.357 Set: 238.921 Check: 0.0 Back: 16.499
INFO - Atoms: 15109/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 661935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.179 Prop: 637.901 PropClause: 604.706 Set: 243.087 Check: 0.0 Back: 16.976
INFO - Atoms: 15126/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 676708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.2 Prop: 651.838 PropClause: 618.213 Set: 246.798 Check: 0.0 Back: 17.412
INFO - Atoms: 14773/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 691180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.223 Prop: 665.215 PropClause: 631.163 Set: 250.549 Check: 0.0 Back: 17.8
INFO - Atoms: 14472/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 705351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.243 Prop: 677.773 PropClause: 643.309 Set: 254.252 Check: 0.0 Back: 18.18
INFO - Atoms: 14171/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 719221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.263 Prop: 687.775 PropClause: 652.91 Set: 257.829 Check: 0.0 Back: 18.544
INFO - Atoms: 13870/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 732790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.281 Prop: 697.474 PropClause: 662.215 Set: 261.27 Check: 0.0 Back: 18.9
INFO - Atoms: 13569/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 746058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.303 Prop: 707.987 PropClause: 672.343 Set: 264.542 Check: 0.0 Back: 19.258
INFO - Atoms: 13268/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 759025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.324 Prop: 718.246 PropClause: 682.227 Set: 267.728 Check: 0.0 Back: 19.619
INFO - Atoms: 12967/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 771691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.343 Prop: 727.75 PropClause: 691.364 Set: 271.008 Check: 0.0 Back: 19.951
INFO - Atoms: 12666/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 783772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.364 Prop: 735.668 PropClause: 698.929 Set: 273.902 Check: 0.0 Back: 20.276
INFO - Atoms: 12081/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 795552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.396 Prop: 743.322 PropClause: 706.242 Set: 276.907 Check: 0.0 Back: 20.583
INFO - Atoms: 11780/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 807031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 751.067 PropClause: 713.653 Set: 279.722 Check: 0.0 Back: 20.883
INFO - Atoms: 11479/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 561 Props: 2080698 Tprops: 0 Decides: 18781 RSplits: 0
INFO - Times: Expl: 519.355 Prop: 1781.307 PropClause: 1698.935 Set: 312.894 Check: 0.478 Back: 54.638
INFO - Atoms: 4914/15136 Clauses: 600 Axioms: 49906
INFO - Confl: 992 Props: 2179079 Tprops: 0 Decides: 19689 RSplits: 0
INFO - Times: Expl: 655.073 Prop: 1822.517 PropClause: 1736.324 Set: 315.514 Check: 0.502 Back: 57.264
INFO - Atoms: 5140/15136 Clauses: 1031 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 71 Props: 1693 Tprops: 231 Decides: 1228 RSplits: 0
INFO - Times: Expl: 40.579 Prop: 4174.818 PropClause: 1.321 Set: 160.853 Check: 33.94 Back: 8.431
INFO - Atoms: 150/150 Clauses: 71 Axioms: 150
INFO - CCTimes: iE 19290 eq 15752966 cc 10639590 setRep 3748939
INFO - Merges: 18153, cc:38910
INFO - BVTimes: BB 131003061 BB_DPLL 3704463636 Graph 10721763
INFO - BitBlastingClauses: 56106 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat