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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 74758616
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 19260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.612 Prop: 33.585 PropClause: 30.115 Set: 51.999 Check: 0.0 Back: 0.0
INFO - Atoms: 19260/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 38522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.652 Prop: 54.755 PropClause: 49.452 Set: 58.966 Check: 0.0 Back: 0.467
INFO - Atoms: 19262/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 57785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.712 Prop: 71.022 PropClause: 65.043 Set: 65.015 Check: 0.0 Back: 0.906
INFO - Atoms: 19263/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 77048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.776 Prop: 87.176 PropClause: 80.538 Set: 82.55 Check: 0.0 Back: 1.344
INFO - Atoms: 19263/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 96310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.82 Prop: 102.319 PropClause: 95.048 Set: 85.969 Check: 0.0 Back: 1.787
INFO - Atoms: 19262/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 115566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.86 Prop: 121.009 PropClause: 113.1 Set: 89.432 Check: 0.0 Back: 2.226
INFO - Atoms: 19256/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 134822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.919 Prop: 138.405 PropClause: 129.686 Set: 93.264 Check: 0.0 Back: 2.665
INFO - Atoms: 19256/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 153887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.96 Prop: 156.042 PropClause: 146.615 Set: 98.829 Check: 0.0 Back: 3.108
INFO - Atoms: 19065/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 172758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.022 Prop: 170.738 PropClause: 160.82 Set: 104.217 Check: 0.0 Back: 3.539
INFO - Atoms: 18871/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 191433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.067 Prop: 184.147 PropClause: 173.735 Set: 117.565 Check: 0.0 Back: 3.969
INFO - Atoms: 18675/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 209914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.108 Prop: 194.043 PropClause: 183.17 Set: 120.67 Check: 0.0 Back: 4.393
INFO - Atoms: 18481/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 228218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.151 Prop: 208.168 PropClause: 196.839 Set: 123.798 Check: 0.0 Back: 4.81
INFO - Atoms: 18304/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 246309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.192 Prop: 219.034 PropClause: 207.244 Set: 126.858 Check: 0.0 Back: 5.223
INFO - Atoms: 18091/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 264204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.231 Prop: 232.39 PropClause: 220.155 Set: 129.877 Check: 0.0 Back: 5.63
INFO - Atoms: 17895/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 281905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.276 Prop: 244.995 PropClause: 232.317 Set: 133.128 Check: 0.0 Back: 6.032
INFO - Atoms: 17701/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 299428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.32 Prop: 256.981 PropClause: 243.866 Set: 151.179 Check: 0.0 Back: 6.432
INFO - Atoms: 17523/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 316739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.361 Prop: 266.811 PropClause: 253.264 Set: 154.035 Check: 0.0 Back: 6.836
INFO - Atoms: 17311/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 333872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.736 Prop: 278.076 PropClause: 264.101 Set: 156.902 Check: 0.0 Back: 7.238
INFO - Atoms: 17133/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 350793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.78 Prop: 286.652 PropClause: 272.255 Set: 159.666 Check: 0.0 Back: 7.623
INFO - Atoms: 16921/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 367518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.824 Prop: 297.77 PropClause: 282.954 Set: 162.417 Check: 0.0 Back: 8.004
INFO - Atoms: 16725/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 384049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.867 Prop: 307.374 PropClause: 292.145 Set: 165.124 Check: 0.0 Back: 8.379
INFO - Atoms: 16531/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 400402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.913 Prop: 319.45 PropClause: 303.815 Set: 167.815 Check: 0.0 Back: 8.752
INFO - Atoms: 16353/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 416543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.954 Prop: 330.083 PropClause: 314.032 Set: 170.85 Check: 0.0 Back: 9.121
INFO - Atoms: 16141/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 432488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.999 Prop: 341.601 PropClause: 325.151 Set: 175.213 Check: 0.0 Back: 9.486
INFO - Atoms: 15945/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 448239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.04 Prop: 352.389 PropClause: 335.543 Set: 179.413 Check: 0.0 Back: 9.845
INFO - Atoms: 15751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 463794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.093 Prop: 362.801 PropClause: 345.567 Set: 183.475 Check: 0.0 Back: 10.201
INFO - Atoms: 15555/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 479155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.154 Prop: 372.07 PropClause: 354.445 Set: 187.471 Check: 0.0 Back: 10.549
INFO - Atoms: 15361/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 494320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.194 Prop: 383.05 PropClause: 365.044 Set: 191.64 Check: 0.0 Back: 10.896
INFO - Atoms: 15165/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 509291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.23 Prop: 392.373 PropClause: 373.995 Set: 195.604 Check: 0.0 Back: 11.249
INFO - Atoms: 14971/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 524085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.285 Prop: 400.326 PropClause: 381.577 Set: 198.02 Check: 0.0 Back: 11.586
INFO - Atoms: 14794/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 538666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.325 Prop: 407.575 PropClause: 388.45 Set: 200.35 Check: 0.0 Back: 11.917
INFO - Atoms: 14581/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 553051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.365 Prop: 414.604 PropClause: 395.12 Set: 202.643 Check: 0.0 Back: 12.247
INFO - Atoms: 14385/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 567242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.423 Prop: 421.817 PropClause: 401.977 Set: 204.908 Check: 0.0 Back: 12.582
INFO - Atoms: 14191/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 581255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.479 Prop: 429.497 PropClause: 409.306 Set: 207.155 Check: 0.0 Back: 12.919
INFO - Atoms: 14013/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 595056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.528 Prop: 436.842 PropClause: 416.306 Set: 209.354 Check: 0.0 Back: 13.235
INFO - Atoms: 13801/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 608660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.567 Prop: 443.873 PropClause: 422.997 Set: 211.528 Check: 0.0 Back: 13.546
INFO - Atoms: 13604/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 623432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.63 Prop: 450.895 PropClause: 429.648 Set: 214.008 Check: 0.0 Back: 13.853
INFO - Atoms: 14772/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 638180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.67 Prop: 457.592 PropClause: 435.975 Set: 216.463 Check: 0.0 Back: 14.195
INFO - Atoms: 14748/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 652360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.71 Prop: 464.385 PropClause: 442.415 Set: 218.752 Check: 0.0 Back: 14.527
INFO - Atoms: 14180/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 667111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.751 Prop: 472.175 PropClause: 449.836 Set: 221.244 Check: 0.0 Back: 14.845
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 681885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.79 Prop: 478.965 PropClause: 456.258 Set: 223.673 Check: 0.0 Back: 15.176
INFO - Atoms: 14774/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 696843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.834 Prop: 485.502 PropClause: 462.416 Set: 226.152 Check: 0.0 Back: 15.508
INFO - Atoms: 14958/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 711594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.877 Prop: 493.223 PropClause: 469.77 Set: 228.59 Check: 0.0 Back: 15.845
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 726512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.917 Prop: 501.209 PropClause: 477.384 Set: 231.116 Check: 0.0 Back: 16.176
INFO - Atoms: 14918/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 741455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.957 Prop: 507.85 PropClause: 483.652 Set: 233.598 Check: 0.0 Back: 16.513
INFO - Atoms: 14943/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 756373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.0 Prop: 516.599 PropClause: 492.028 Set: 236.139 Check: 0.0 Back: 16.851
INFO - Atoms: 14918/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 771126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.049 Prop: 524.845 PropClause: 499.905 Set: 238.59 Check: 0.0 Back: 17.189
INFO - Atoms: 14753/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 786066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.087 Prop: 533.262 PropClause: 507.94 Set: 241.066 Check: 0.0 Back: 17.521
INFO - Atoms: 14940/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 800817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.126 Prop: 541.779 PropClause: 516.088 Set: 243.541 Check: 0.0 Back: 17.858
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 815735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.166 Prop: 549.974 PropClause: 523.912 Set: 246.033 Check: 0.0 Back: 18.19
INFO - Atoms: 14918/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 829920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.207 Prop: 557.733 PropClause: 531.317 Set: 248.331 Check: 0.0 Back: 18.525
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 844837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.246 Prop: 566.924 PropClause: 540.137 Set: 250.866 Check: 0.0 Back: 18.845
INFO - Atoms: 14917/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 859611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.383 Prop: 574.823 PropClause: 547.666 Set: 253.365 Check: 0.0 Back: 19.183
INFO - Atoms: 14774/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 874569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.401 Prop: 583.291 PropClause: 555.763 Set: 255.896 Check: 0.0 Back: 19.516
INFO - Atoms: 14958/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 889320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.42 Prop: 591.955 PropClause: 564.059 Set: 258.358 Check: 0.0 Back: 19.852
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 904236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.459 Prop: 600.257 PropClause: 571.989 Set: 260.851 Check: 0.0 Back: 20.184
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 918421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.478 Prop: 607.822 PropClause: 579.2 Set: 263.187 Check: 0.0 Back: 20.52
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 933336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.497 Prop: 616.168 PropClause: 587.174 Set: 265.714 Check: 0.0 Back: 20.841
INFO - Atoms: 14915/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 948112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.514 Prop: 624.563 PropClause: 595.2 Set: 268.189 Check: 0.0 Back: 21.177
INFO - Atoms: 14776/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 963070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.531 Prop: 633.892 PropClause: 604.156 Set: 270.717 Check: 0.0 Back: 21.509
INFO - Atoms: 14958/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 977821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.55 Prop: 641.884 PropClause: 611.78 Set: 273.209 Check: 0.0 Back: 21.847
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 992737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.569 Prop: 648.681 PropClause: 618.204 Set: 275.71 Check: 0.0 Back: 22.181
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1006922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.586 Prop: 657.021 PropClause: 626.19 Set: 278.827 Check: 0.0 Back: 22.527
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1021838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.606 Prop: 665.974 PropClause: 634.771 Set: 282.819 Check: 0.0 Back: 22.846
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1036613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.623 Prop: 673.155 PropClause: 641.583 Set: 286.63 Check: 0.0 Back: 23.184
INFO - Atoms: 14775/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1051553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.641 Prop: 683.151 PropClause: 651.206 Set: 290.653 Check: 0.0 Back: 23.516
INFO - Atoms: 14940/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1066304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.663 Prop: 690.465 PropClause: 658.152 Set: 294.526 Check: 0.0 Back: 23.852
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1081220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.681 Prop: 699.359 PropClause: 666.673 Set: 298.423 Check: 0.0 Back: 24.186
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1095405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.7 Prop: 707.588 PropClause: 674.536 Set: 302.173 Check: 0.0 Back: 24.521
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 1110320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.718 Prop: 717.257 PropClause: 683.833 Set: 306.232 Check: 0.0 Back: 24.851
INFO - Atoms: 14915/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 1125096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.737 Prop: 726.448 PropClause: 692.645 Set: 310.14 Check: 0.0 Back: 25.189
INFO - Atoms: 14776/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 1140036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.756 Prop: 737.126 PropClause: 702.948 Set: 314.257 Check: 0.0 Back: 25.522
INFO - Atoms: 14940/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 1154787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.777 Prop: 745.511 PropClause: 710.965 Set: 318.158 Check: 0.0 Back: 25.86
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 1169703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.797 Prop: 753.449 PropClause: 718.519 Set: 322.058 Check: 0.0 Back: 26.194
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 1183888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.814 Prop: 761.611 PropClause: 726.325 Set: 325.723 Check: 0.0 Back: 26.53
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 1198804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.832 Prop: 770.288 PropClause: 734.628 Set: 329.746 Check: 0.0 Back: 26.853
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 1213579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.849 Prop: 777.094 PropClause: 741.067 Set: 333.525 Check: 0.0 Back: 27.189
INFO - Atoms: 14775/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 1228537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.867 Prop: 784.884 PropClause: 748.484 Set: 337.448 Check: 0.0 Back: 27.523
INFO - Atoms: 14958/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 1243288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.911 Prop: 792.523 PropClause: 755.742 Set: 339.924 Check: 0.0 Back: 27.859
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 1258204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.966 Prop: 800.44 PropClause: 763.286 Set: 342.4 Check: 0.0 Back: 28.192
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 1272389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.987 Prop: 808.857 PropClause: 771.352 Set: 344.75 Check: 0.0 Back: 28.526
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 1287305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.004 Prop: 817.513 PropClause: 779.637 Set: 347.285 Check: 0.0 Back: 28.845
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 1302080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.025 Prop: 826.415 PropClause: 788.171 Set: 349.771 Check: 0.0 Back: 29.189
INFO - Atoms: 14775/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 1317037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.041 Prop: 835.053 PropClause: 796.435 Set: 352.277 Check: 0.0 Back: 29.522
INFO - Atoms: 14957/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 1331788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.06 Prop: 842.567 PropClause: 803.585 Set: 354.733 Check: 0.0 Back: 29.859
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 1346704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.078 Prop: 849.396 PropClause: 810.044 Set: 357.213 Check: 0.0 Back: 30.187
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 1360889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.096 Prop: 857.047 PropClause: 817.343 Set: 359.525 Check: 0.0 Back: 30.521
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 1375805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.113 Prop: 865.205 PropClause: 825.131 Set: 362.037 Check: 0.0 Back: 30.839
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 1390580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.129 Prop: 870.888 PropClause: 830.447 Set: 364.485 Check: 0.0 Back: 31.175
INFO - Atoms: 14775/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 1404782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.145 Prop: 876.584 PropClause: 835.789 Set: 366.807 Check: 0.0 Back: 31.506
INFO - Atoms: 14202/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 1419555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.163 Prop: 884.481 PropClause: 843.304 Set: 369.283 Check: 0.0 Back: 31.825
INFO - Atoms: 14773/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 1434473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.18 Prop: 892.438 PropClause: 850.889 Set: 371.774 Check: 0.0 Back: 32.159
INFO - Atoms: 14918/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 1448658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.198 Prop: 899.911 PropClause: 858.006 Set: 374.138 Check: 0.0 Back: 32.495
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 1463575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.216 Prop: 908.621 PropClause: 866.343 Set: 376.705 Check: 0.0 Back: 32.813
INFO - Atoms: 14917/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 1478349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.262 Prop: 917.648 PropClause: 875.002 Set: 379.209 Check: 0.0 Back: 33.149
INFO - Atoms: 14774/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 1492551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.32 Prop: 927.777 PropClause: 884.777 Set: 381.59 Check: 0.0 Back: 33.481
INFO - Atoms: 14202/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 1507326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.336 Prop: 935.651 PropClause: 892.282 Set: 384.1 Check: 0.0 Back: 33.8
INFO - Atoms: 14775/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 1522242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.35 Prop: 943.529 PropClause: 899.789 Set: 386.635 Check: 0.0 Back: 34.134
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 1537185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 953.267 PropClause: 909.157 Set: 389.184 Check: 0.0 Back: 34.468
INFO - Atoms: 14943/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 1552101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.379 Prop: 962.946 PropClause: 918.465 Set: 391.705 Check: 0.0 Back: 34.802
INFO - Atoms: 14916/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 1566854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.394 Prop: 972.074 PropClause: 927.224 Set: 394.185 Check: 0.0 Back: 35.136
INFO - Atoms: 14753/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 1581794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.409 Prop: 978.99 PropClause: 933.768 Set: 396.671 Check: 0.0 Back: 35.469
INFO - Atoms: 14940/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 1596545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.423 Prop: 986.35 PropClause: 940.76 Set: 399.125 Check: 0.0 Back: 35.803
INFO - Atoms: 14751/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 1611384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.437 Prop: 995.389 PropClause: 949.428 Set: 401.649 Check: 0.0 Back: 36.135
INFO - Atoms: 14839/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 1625569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.451 Prop: 1002.501 PropClause: 956.186 Set: 403.958 Check: 0.0 Back: 36.469
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 1640318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.464 Prop: 1009.761 PropClause: 963.061 Set: 406.433 Check: 0.0 Back: 36.791
INFO - Atoms: 14749/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 1654994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.477 Prop: 1018.616 PropClause: 971.538 Set: 408.884 Check: 0.0 Back: 37.125
INFO - Atoms: 14676/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 1669774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.492 Prop: 1026.751 PropClause: 979.303 Set: 411.346 Check: 0.0 Back: 37.456
INFO - Atoms: 14780/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 1684345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.506 Prop: 1035.214 PropClause: 987.389 Set: 413.77 Check: 0.0 Back: 37.787
INFO - Atoms: 14571/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 1698919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.52 Prop: 1044.332 PropClause: 996.143 Set: 416.18 Check: 0.0 Back: 38.116
INFO - Atoms: 14574/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 1713104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 1051.394 PropClause: 1002.852 Set: 418.517 Check: 0.0 Back: 38.444
INFO - Atoms: 14185/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 1727485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.598 Prop: 1057.509 PropClause: 1008.61 Set: 420.882 Check: 0.0 Back: 38.763
INFO - Atoms: 14381/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 1741867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.61 Prop: 1064.813 PropClause: 1015.556 Set: 423.245 Check: 0.0 Back: 39.087
INFO - Atoms: 14382/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 1756248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.649 Prop: 1072.045 PropClause: 1022.429 Set: 425.605 Check: 0.0 Back: 39.41
INFO - Atoms: 14381/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 1770059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.662 Prop: 1078.735 PropClause: 1028.777 Set: 427.877 Check: 0.0 Back: 39.734
INFO - Atoms: 13811/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 1784035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.674 Prop: 1083.807 PropClause: 1033.5 Set: 430.181 Check: 0.0 Back: 40.046
INFO - Atoms: 13976/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 1797822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.69 Prop: 1088.825 PropClause: 1038.177 Set: 432.439 Check: 0.0 Back: 40.36
INFO - Atoms: 13787/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 1811818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.703 Prop: 1095.743 PropClause: 1044.745 Set: 434.77 Check: 0.0 Back: 40.67
INFO - Atoms: 13996/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 1825237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.76 Prop: 1102.428 PropClause: 1051.097 Set: 436.9 Check: 0.0 Back: 40.985
INFO - Atoms: 13419/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 1838872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.814 Prop: 1108.294 PropClause: 1056.623 Set: 439.06 Check: 0.0 Back: 41.286
INFO - Atoms: 13635/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 1852293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.853 Prop: 1116.265 PropClause: 1064.258 Set: 441.193 Check: 0.0 Back: 41.593
INFO - Atoms: 13421/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 1865517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.888 Prop: 1123.356 PropClause: 1071.006 Set: 443.281 Check: 0.0 Back: 41.895
INFO - Atoms: 13224/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 1878941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.932 Prop: 1133.32 PropClause: 1080.616 Set: 449.883 Check: 0.0 Back: 42.204
INFO - Atoms: 13424/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 1892538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.945 Prop: 1140.899 PropClause: 1087.86 Set: 453.478 Check: 0.0 Back: 42.505
INFO - Atoms: 13597/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 1906352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.012 Prop: 1146.877 PropClause: 1093.5 Set: 455.745 Check: 0.0 Back: 42.81
INFO - Atoms: 13814/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 1920339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.025 Prop: 1153.079 PropClause: 1099.361 Set: 458.014 Check: 0.0 Back: 43.118
INFO - Atoms: 13987/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 1934543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.044 Prop: 1161.228 PropClause: 1107.164 Set: 460.512 Check: 0.0 Back: 43.431
INFO - Atoms: 14204/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 1948920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.078 Prop: 1168.9 PropClause: 1114.459 Set: 462.866 Check: 0.0 Back: 43.748
INFO - Atoms: 14377/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 1963514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.093 Prop: 1174.452 PropClause: 1119.655 Set: 465.229 Check: 0.0 Back: 44.072
INFO - Atoms: 14594/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 1978281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 1179.717 PropClause: 1124.561 Set: 467.65 Check: 0.0 Back: 44.398
INFO - Atoms: 14767/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 1993265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.141 Prop: 1187.605 PropClause: 1132.069 Set: 470.114 Check: 0.0 Back: 44.727
INFO - Atoms: 14984/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 2008422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 1194.964 PropClause: 1139.055 Set: 472.611 Check: 0.0 Back: 45.063
INFO - Atoms: 15157/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 2023796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.215 Prop: 1202.929 PropClause: 1146.645 Set: 475.103 Check: 0.0 Back: 45.401
INFO - Atoms: 15374/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 2039343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.225 Prop: 1212.384 PropClause: 1155.717 Set: 477.691 Check: 0.0 Back: 45.745
INFO - Atoms: 15547/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 2055107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.234 Prop: 1221.803 PropClause: 1164.751 Set: 480.304 Check: 0.0 Back: 46.091
INFO - Atoms: 15764/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 2071044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.245 Prop: 1231.615 PropClause: 1174.169 Set: 482.957 Check: 0.0 Back: 46.444
INFO - Atoms: 15937/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 2087198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.254 Prop: 1241.639 PropClause: 1183.795 Set: 485.609 Check: 0.0 Back: 46.803
INFO - Atoms: 16154/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 2103525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.264 Prop: 1251.162 PropClause: 1192.918 Set: 488.314 Check: 0.0 Back: 47.163
INFO - Atoms: 16327/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 2120069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.274 Prop: 1260.285 PropClause: 1201.634 Set: 491.066 Check: 0.0 Back: 47.529
INFO - Atoms: 16544/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 2136786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.286 Prop: 1270.686 PropClause: 1211.627 Set: 493.853 Check: 0.0 Back: 47.902
INFO - Atoms: 16717/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 2153720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.295 Prop: 1281.388 PropClause: 1221.916 Set: 496.641 Check: 0.0 Back: 48.275
INFO - Atoms: 16934/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 2170827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.304 Prop: 1288.503 PropClause: 1228.617 Set: 499.43 Check: 0.0 Back: 48.652
INFO - Atoms: 17107/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 2188151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.315 Prop: 1298.057 PropClause: 1237.748 Set: 502.335 Check: 0.0 Back: 49.03
INFO - Atoms: 17324/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 2205648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.327 Prop: 1308.697 PropClause: 1247.932 Set: 505.279 Check: 0.0 Back: 49.425
INFO - Atoms: 17497/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 2223362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.337 Prop: 1319.502 PropClause: 1258.293 Set: 508.223 Check: 0.0 Back: 49.823
INFO - Atoms: 17714/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 2241249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.347 Prop: 1331.667 PropClause: 1270.017 Set: 511.259 Check: 0.0 Back: 50.233
INFO - Atoms: 17887/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 2259352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.355 Prop: 1344.56 PropClause: 1282.468 Set: 514.302 Check: 0.0 Back: 50.634
INFO - Atoms: 18103/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 2277629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 1358.18 PropClause: 1295.645 Set: 517.443 Check: 0.0 Back: 51.041
INFO - Atoms: 18277/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 2296122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.374 Prop: 1371.562 PropClause: 1308.572 Set: 520.571 Check: 0.0 Back: 51.452
INFO - Atoms: 18493/19264 Clauses: 197 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 3443204 Tprops: 0 Decides: 8952 RSplits: 0
INFO - Times: Expl: 277.667 Prop: 2076.468 PropClause: 1980.048 Set: 548.813 Check: 0.215 Back: 78.764
INFO - Atoms: 6676/19264 Clauses: 518 Axioms: 63602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 151 Props: 5817 Tprops: 1277 Decides: 5540 RSplits: 0
INFO - Times: Expl: 46.05 Prop: 4977.517 PropClause: 2.517 Set: 386.928 Check: 33.744 Back: 17.278
INFO - Atoms: 232/294 Clauses: 151 Axioms: 294
INFO - CCTimes: iE 61892 eq 5480927 cc 20210845 setRep 5165396
INFO - Merges: 41724, cc:58022
INFO - BVTimes: BB 74736814 BB_DPLL 4393685587 Graph 148134
INFO - BitBlastingClauses: 93002 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat