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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 45697370
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 5022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.657 Prop: 18.522 PropClause: 17.366 Set: 6.928 Check: 0.0 Back: 0.0
INFO - Atoms: 5022/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 10044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.72 Prop: 22.867 PropClause: 20.71 Set: 9.919 Check: 0.0 Back: 0.376
INFO - Atoms: 5022/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 15066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.753 Prop: 30.636 PropClause: 26.876 Set: 13.63 Check: 0.0 Back: 0.504
INFO - Atoms: 5022/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 19900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.794 Prop: 36.115 PropClause: 31.341 Set: 18.475 Check: 0.0 Back: 0.632
INFO - Atoms: 4834/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 24728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.834 Prop: 40.106 PropClause: 35.118 Set: 21.876 Check: 0.0 Back: 0.758
INFO - Atoms: 4828/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 29557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.891 Prop: 43.75 PropClause: 38.529 Set: 25.092 Check: 0.0 Back: 0.888
INFO - Atoms: 4829/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 34385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.932 Prop: 47.359 PropClause: 41.92 Set: 28.131 Check: 0.0 Back: 1.012
INFO - Atoms: 4828/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 39213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.973 Prop: 52.278 PropClause: 45.14 Set: 30.992 Check: 0.0 Back: 1.138
INFO - Atoms: 4828/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 43948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.003 Prop: 54.345 PropClause: 46.931 Set: 33.483 Check: 0.0 Back: 1.265
INFO - Atoms: 4735/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 48588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.043 Prop: 56.013 PropClause: 48.354 Set: 34.613 Check: 0.0 Back: 1.388
INFO - Atoms: 4640/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 53125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.088 Prop: 57.581 PropClause: 49.686 Set: 35.65 Check: 0.0 Back: 1.511
INFO - Atoms: 4537/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 57568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.123 Prop: 59.208 PropClause: 51.092 Set: 36.685 Check: 0.0 Back: 1.629
INFO - Atoms: 4443/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 61907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.155 Prop: 60.783 PropClause: 52.451 Set: 37.664 Check: 0.0 Back: 1.744
INFO - Atoms: 4339/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 66151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.19 Prop: 62.23 PropClause: 53.685 Set: 38.609 Check: 0.0 Back: 1.862
INFO - Atoms: 4244/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 70292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.226 Prop: 63.685 PropClause: 54.942 Set: 39.552 Check: 0.0 Back: 1.976
INFO - Atoms: 4141/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 74338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.281 Prop: 65.007 PropClause: 56.056 Set: 40.454 Check: 0.0 Back: 2.081
INFO - Atoms: 4046/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 78281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.315 Prop: 66.101 PropClause: 56.961 Set: 41.313 Check: 0.0 Back: 2.174
INFO - Atoms: 3943/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 82124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.344 Prop: 67.263 PropClause: 57.92 Set: 42.167 Check: 0.0 Back: 2.273
INFO - Atoms: 3843/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 85869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.372 Prop: 68.35 PropClause: 58.825 Set: 42.996 Check: 0.0 Back: 2.372
INFO - Atoms: 3745/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 89520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.402 Prop: 69.586 PropClause: 59.879 Set: 43.816 Check: 0.0 Back: 2.467
INFO - Atoms: 3651/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 93066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.431 Prop: 70.733 PropClause: 60.852 Set: 44.609 Check: 0.0 Back: 2.558
INFO - Atoms: 3546/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 96997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.462 Prop: 72.125 PropClause: 62.046 Set: 45.584 Check: 0.0 Back: 2.647
INFO - Atoms: 3931/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 101017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.494 Prop: 73.467 PropClause: 63.198 Set: 46.514 Check: 0.0 Back: 2.749
INFO - Atoms: 4020/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 105146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.529 Prop: 74.875 PropClause: 64.406 Set: 47.479 Check: 0.0 Back: 2.849
INFO - Atoms: 4129/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 109263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.557 Prop: 76.188 PropClause: 65.518 Set: 48.472 Check: 0.0 Back: 2.953
INFO - Atoms: 4117/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 113101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.586 Prop: 77.417 PropClause: 66.561 Set: 49.335 Check: 0.0 Back: 3.054
INFO - Atoms: 3838/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 117227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.619 Prop: 78.785 PropClause: 67.728 Set: 50.327 Check: 0.0 Back: 3.15
INFO - Atoms: 4126/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 121344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.651 Prop: 81.753 PropClause: 69.726 Set: 51.845 Check: 0.0 Back: 3.253
INFO - Atoms: 4117/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 125183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.681 Prop: 83.149 PropClause: 70.906 Set: 52.764 Check: 0.0 Back: 3.356
INFO - Atoms: 3839/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 129300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.715 Prop: 84.694 PropClause: 72.21 Set: 53.786 Check: 0.0 Back: 3.452
INFO - Atoms: 4117/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 133427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.737 Prop: 86.093 PropClause: 73.328 Set: 54.856 Check: 0.0 Back: 3.556
INFO - Atoms: 4127/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 137644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.772 Prop: 87.807 PropClause: 74.797 Set: 55.996 Check: 0.0 Back: 3.663
INFO - Atoms: 4217/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 141841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.804 Prop: 89.364 PropClause: 76.123 Set: 57.071 Check: 0.0 Back: 3.771
INFO - Atoms: 4197/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 145960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.831 Prop: 90.806 PropClause: 77.336 Set: 58.162 Check: 0.0 Back: 3.877
INFO - Atoms: 4119/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 149799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.858 Prop: 92.185 PropClause: 78.498 Set: 59.436 Check: 0.0 Back: 3.983
INFO - Atoms: 3839/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 153997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.89 Prop: 93.816 PropClause: 79.883 Set: 60.858 Check: 0.0 Back: 4.079
INFO - Atoms: 4198/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 158126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.924 Prop: 95.372 PropClause: 81.21 Set: 62.268 Check: 0.0 Back: 4.184
INFO - Atoms: 4129/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 162341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.95 Prop: 96.805 PropClause: 82.406 Set: 63.684 Check: 0.0 Back: 4.287
INFO - Atoms: 4215/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 166505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.985 Prop: 98.356 PropClause: 83.73 Set: 65.063 Check: 0.0 Back: 4.394
INFO - Atoms: 4164/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 170623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.019 Prop: 99.855 PropClause: 84.997 Set: 66.418 Check: 0.0 Back: 4.499
INFO - Atoms: 4118/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 174794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.05 Prop: 101.294 PropClause: 86.204 Set: 67.814 Check: 0.0 Back: 4.602
INFO - Atoms: 4171/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 178870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.082 Prop: 102.785 PropClause: 87.464 Set: 69.169 Check: 0.0 Back: 4.708
INFO - Atoms: 4076/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 182991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.12 Prop: 104.596 PropClause: 89.045 Set: 70.531 Check: 0.0 Back: 4.81
INFO - Atoms: 4121/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 186835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.146 Prop: 105.985 PropClause: 90.217 Set: 71.8 Check: 0.0 Back: 4.915
INFO - Atoms: 3844/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 190868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.173 Prop: 107.342 PropClause: 91.35 Set: 73.143 Check: 0.0 Back: 5.012
INFO - Atoms: 4033/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 194904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.199 Prop: 108.678 PropClause: 92.46 Set: 74.478 Check: 0.0 Back: 5.122
INFO - Atoms: 4036/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 198940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.238 Prop: 110.267 PropClause: 93.822 Set: 75.818 Check: 0.0 Back: 5.223
INFO - Atoms: 4036/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 202860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.275 Prop: 111.97 PropClause: 95.299 Set: 76.822 Check: 0.0 Back: 5.326
INFO - Atoms: 3920/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 206679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.294 Prop: 113.093 PropClause: 96.215 Set: 77.802 Check: 0.0 Back: 5.424
INFO - Atoms: 3819/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 210591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.315 Prop: 114.226 PropClause: 97.13 Set: 78.785 Check: 0.0 Back: 5.52
INFO - Atoms: 3912/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 214493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.344 Prop: 115.452 PropClause: 98.131 Set: 79.786 Check: 0.0 Back: 5.618
INFO - Atoms: 3902/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 218413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.371 Prop: 116.702 PropClause: 99.152 Set: 80.797 Check: 0.0 Back: 5.722
INFO - Atoms: 3920/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 222232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.399 Prop: 117.912 PropClause: 100.146 Set: 81.734 Check: 0.0 Back: 5.83
INFO - Atoms: 3819/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 226152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.432 Prop: 119.168 PropClause: 101.169 Set: 82.714 Check: 0.0 Back: 5.928
INFO - Atoms: 3920/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 229973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.459 Prop: 120.308 PropClause: 102.092 Set: 83.63 Check: 0.0 Back: 6.04
INFO - Atoms: 3821/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 233796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.569 Prop: 121.338 PropClause: 102.941 Set: 84.491 Check: 0.0 Back: 6.14
INFO - Atoms: 3823/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 237341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.58 Prop: 122.42 PropClause: 103.812 Set: 85.321 Check: 0.0 Back: 6.236
INFO - Atoms: 3545/5024 Clauses: 101 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 382398 Tprops: 0 Decides: 2001 RSplits: 0
INFO - Times: Expl: 73.229 Prop: 181.854 PropClause: 155.357 Set: 89.697 Check: 0.071 Back: 9.983
INFO - Atoms: 1807/5024 Clauses: 314 Axioms: 16434
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 59 Props: 1804 Tprops: 322 Decides: 1351 RSplits: 0
INFO - Times: Expl: 27.813 Prop: 836.809 PropClause: 1.289 Set: 164.968 Check: 27.751 Back: 8.956
INFO - Atoms: 124/150 Clauses: 59 Axioms: 150
INFO - CCTimes: iE 25663 eq 3675172 cc 19598249 setRep 2528508
INFO - Merges: 9953, cc:12245
INFO - BVTimes: BB 45675890 BB_DPLL 624791540 Graph 53265
INFO - BitBlastingClauses: 22234 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat