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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 89989291
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 13182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.693 Prop: 41.889 PropClause: 38.091 Set: 17.96 Check: 0.0 Back: 0.0
INFO - Atoms: 13182/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 26364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.731 Prop: 65.659 PropClause: 58.415 Set: 33.638 Check: 0.0 Back: 0.349
INFO - Atoms: 13182/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 39038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.772 Prop: 82.18 PropClause: 74.398 Set: 61.199 Check: 0.0 Back: 0.68
INFO - Atoms: 12674/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 51706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.814 Prop: 101.227 PropClause: 91.033 Set: 64.289 Check: 0.0 Back: 1.009
INFO - Atoms: 12668/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 64374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.89 Prop: 113.601 PropClause: 102.859 Set: 67.297 Check: 0.0 Back: 1.339
INFO - Atoms: 12668/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 76787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.943 Prop: 125.222 PropClause: 113.753 Set: 70.222 Check: 0.0 Back: 1.675
INFO - Atoms: 12413/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 88942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.986 Prop: 132.511 PropClause: 120.476 Set: 73.019 Check: 0.0 Back: 1.992
INFO - Atoms: 12155/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 100837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.025 Prop: 139.946 PropClause: 127.334 Set: 75.705 Check: 0.0 Back: 2.304
INFO - Atoms: 11895/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 112473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.075 Prop: 146.805 PropClause: 133.678 Set: 78.491 Check: 0.0 Back: 2.612
INFO - Atoms: 11636/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 125140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.118 Prop: 154.405 PropClause: 140.701 Set: 81.678 Check: 0.0 Back: 2.924
INFO - Atoms: 12667/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 137808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.223 Prop: 162.334 PropClause: 148.022 Set: 84.556 Check: 0.0 Back: 3.249
INFO - Atoms: 12668/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 150221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.286 Prop: 170.154 PropClause: 155.155 Set: 87.4 Check: 0.0 Back: 3.577
INFO - Atoms: 12413/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 162376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.321 Prop: 174.173 PropClause: 158.856 Set: 89.563 Check: 0.0 Back: 3.9
INFO - Atoms: 12155/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 174271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.366 Prop: 181.141 PropClause: 165.462 Set: 92.376 Check: 0.0 Back: 4.216
INFO - Atoms: 11895/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 185907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.412 Prop: 188.062 PropClause: 172.057 Set: 95.096 Check: 0.0 Back: 4.529
INFO - Atoms: 11636/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 197543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.455 Prop: 194.632 PropClause: 178.309 Set: 98.639 Check: 0.0 Back: 4.827
INFO - Atoms: 11636/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 208921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.527 Prop: 201.736 PropClause: 185.092 Set: 102.304 Check: 0.0 Back: 5.115
INFO - Atoms: 11378/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 220039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.572 Prop: 207.57 PropClause: 190.653 Set: 105.321 Check: 0.0 Back: 5.42
INFO - Atoms: 11118/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 230899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.617 Prop: 214.33 PropClause: 197.137 Set: 108.26 Check: 0.0 Back: 5.702
INFO - Atoms: 10860/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 241499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.676 Prop: 221.528 PropClause: 204.063 Set: 125.345 Check: 0.0 Back: 5.973
INFO - Atoms: 10600/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 251841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.718 Prop: 226.806 PropClause: 209.079 Set: 127.181 Check: 0.0 Back: 6.243
INFO - Atoms: 10342/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 261923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.76 Prop: 233.744 PropClause: 215.742 Set: 129.262 Check: 0.0 Back: 6.51
INFO - Atoms: 10082/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 271747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.8 Prop: 238.453 PropClause: 220.209 Set: 130.989 Check: 0.0 Back: 6.77
INFO - Atoms: 9824/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 281311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.847 Prop: 246.004 PropClause: 227.483 Set: 133.302 Check: 0.0 Back: 7.002
INFO - Atoms: 9564/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 290616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.893 Prop: 252.587 PropClause: 233.793 Set: 135.387 Check: 0.0 Back: 7.25
INFO - Atoms: 9305/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 300674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.937 Prop: 260.734 PropClause: 241.653 Set: 137.965 Check: 0.0 Back: 7.492
INFO - Atoms: 10058/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 310731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.982 Prop: 268.103 PropClause: 248.737 Set: 140.443 Check: 0.0 Back: 7.759
INFO - Atoms: 10057/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 320030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.028 Prop: 276.611 PropClause: 256.978 Set: 142.722 Check: 0.0 Back: 8.023
INFO - Atoms: 9299/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 330087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.07 Prop: 282.595 PropClause: 262.675 Set: 145.257 Check: 0.0 Back: 8.272
INFO - Atoms: 10057/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 340147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.115 Prop: 288.87 PropClause: 268.662 Set: 147.656 Check: 0.0 Back: 8.535
INFO - Atoms: 10060/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 349447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.19 Prop: 294.91 PropClause: 274.436 Set: 149.944 Check: 0.0 Back: 8.798
INFO - Atoms: 9300/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 359504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.234 Prop: 300.945 PropClause: 280.185 Set: 152.419 Check: 0.0 Back: 9.037
INFO - Atoms: 10057/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 369809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.271 Prop: 305.538 PropClause: 284.483 Set: 155.2 Check: 0.0 Back: 9.294
INFO - Atoms: 10305/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 379108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.308 Prop: 311.791 PropClause: 290.487 Set: 182.983 Check: 0.0 Back: 9.555
INFO - Atoms: 9299/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 389414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.345 Prop: 316.547 PropClause: 294.947 Set: 185.528 Check: 0.0 Back: 9.805
INFO - Atoms: 10306/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 399721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.378 Prop: 321.341 PropClause: 299.447 Set: 188.068 Check: 0.0 Back: 10.068
INFO - Atoms: 10307/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 410030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.414 Prop: 325.821 PropClause: 303.632 Set: 190.682 Check: 0.0 Back: 10.332
INFO - Atoms: 10309/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 420607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.45 Prop: 330.299 PropClause: 307.808 Set: 193.213 Check: 0.0 Back: 10.595
INFO - Atoms: 10577/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 431436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.484 Prop: 334.808 PropClause: 312.0 Set: 195.811 Check: 0.0 Back: 10.866
INFO - Atoms: 10829/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 442004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.526 Prop: 339.892 PropClause: 316.771 Set: 198.381 Check: 0.0 Back: 11.144
INFO - Atoms: 10568/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 452438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.562 Prop: 344.507 PropClause: 321.088 Set: 200.914 Check: 0.0 Back: 11.414
INFO - Atoms: 10434/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 462615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.61 Prop: 352.072 PropClause: 328.356 Set: 203.567 Check: 0.0 Back: 11.682
INFO - Atoms: 10177/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 472029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.653 Prop: 359.192 PropClause: 335.201 Set: 205.872 Check: 0.0 Back: 11.952
INFO - Atoms: 9414/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 480934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.696 Prop: 363.541 PropClause: 339.299 Set: 207.883 Check: 0.0 Back: 12.198
INFO - Atoms: 8905/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 490099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.733 Prop: 367.266 PropClause: 342.767 Set: 210.039 Check: 0.0 Back: 12.429
INFO - Atoms: 9165/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 499403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.768 Prop: 371.123 PropClause: 346.36 Set: 212.198 Check: 0.0 Back: 12.663
INFO - Atoms: 9304/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 509218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.802 Prop: 374.976 PropClause: 349.925 Set: 214.48 Check: 0.0 Back: 12.906
INFO - Atoms: 9815/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 515779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.942 Prop: 379.244 PropClause: 354.003 Set: 217.167 Check: 0.0 Back: 13.188
INFO - Atoms: 6561/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 522597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.961 Prop: 383.368 PropClause: 357.927 Set: 219.99 Check: 0.0 Back: 13.358
INFO - Atoms: 6818/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 529678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.98 Prop: 387.539 PropClause: 361.883 Set: 223.68 Check: 0.0 Back: 13.537
INFO - Atoms: 7081/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 537014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.999 Prop: 392.383 PropClause: 366.505 Set: 227.437 Check: 0.0 Back: 13.719
INFO - Atoms: 7336/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 544609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.018 Prop: 396.726 PropClause: 370.623 Set: 231.354 Check: 0.0 Back: 13.905
INFO - Atoms: 7595/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 552463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.039 Prop: 401.719 PropClause: 375.385 Set: 234.61 Check: 0.0 Back: 14.101
INFO - Atoms: 7854/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 560579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.061 Prop: 407.036 PropClause: 380.465 Set: 237.389 Check: 0.0 Back: 14.305
INFO - Atoms: 8116/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 568955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.084 Prop: 410.828 PropClause: 384.052 Set: 239.681 Check: 0.0 Back: 14.517
INFO - Atoms: 8376/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 577586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.107 Prop: 416.93 PropClause: 389.896 Set: 242.716 Check: 0.0 Back: 14.728
INFO - Atoms: 8631/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 586476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.138 Prop: 421.123 PropClause: 393.863 Set: 245.234 Check: 0.0 Back: 14.952
INFO - Atoms: 8890/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 595628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.157 Prop: 424.794 PropClause: 397.308 Set: 247.683 Check: 0.0 Back: 15.155
INFO - Atoms: 9152/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 605040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.179 Prop: 432.293 PropClause: 404.526 Set: 250.994 Check: 0.0 Back: 15.384
INFO - Atoms: 9412/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 614707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.201 Prop: 438.244 PropClause: 410.228 Set: 253.846 Check: 0.0 Back: 15.657
INFO - Atoms: 9667/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 624637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.22 Prop: 443.619 PropClause: 415.361 Set: 256.569 Check: 0.0 Back: 15.905
INFO - Atoms: 9930/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 635860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.243 Prop: 451.736 PropClause: 423.147 Set: 260.491 Check: 0.0 Back: 16.159
INFO - Atoms: 11223/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 647588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.264 Prop: 458.046 PropClause: 429.161 Set: 275.177 Check: 0.0 Back: 16.449
INFO - Atoms: 11728/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 659586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.313 Prop: 463.208 PropClause: 434.028 Set: 277.429 Check: 0.0 Back: 16.743
INFO - Atoms: 11998/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 671843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.334 Prop: 469.003 PropClause: 439.523 Set: 279.718 Check: 0.0 Back: 17.052
INFO - Atoms: 12257/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 684234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.349 Prop: 472.829 PropClause: 443.044 Set: 281.985 Check: 0.0 Back: 17.351
INFO - Atoms: 12391/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 694036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.371 Prop: 478.548 PropClause: 448.485 Set: 284.227 Check: 0.0 Back: 17.638
INFO - Atoms: 9802/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 1733035 Tprops: 0 Decides: 14922 RSplits: 0
INFO - Times: Expl: 254.227 Prop: 973.8 PropClause: 907.272 Set: 310.852 Check: 0.374 Back: 43.46
INFO - Atoms: 4544/13184 Clauses: 538 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 79 Props: 2153 Tprops: 385 Decides: 1065 RSplits: 0
INFO - Times: Expl: 29.919 Prop: 2632.266 PropClause: 1.35 Set: 130.742 Check: 33.133 Back: 7.624
INFO - Atoms: 150/150 Clauses: 79 Axioms: 150
INFO - CCTimes: iE 21103 eq 3744577 cc 22471398 setRep 1800366
INFO - Merges: 8367, cc:10680
INFO - BVTimes: BB 89977348 BB_DPLL 2264998265 Graph 48319
INFO - BitBlastingClauses: 50434 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat