/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_063_048.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 103676826
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 19195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.518 Prop: 18.247 PropClause: 15.155 Set: 16.009 Check: 0.0 Back: 0.0
INFO - Atoms: 19195/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 38393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.575 Prop: 34.238 PropClause: 30.336 Set: 23.266 Check: 0.0 Back: 0.492
INFO - Atoms: 19198/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 57340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.63 Prop: 47.162 PropClause: 42.449 Set: 30.444 Check: 0.0 Back: 0.931
INFO - Atoms: 18947/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 76282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.678 Prop: 60.385 PropClause: 54.898 Set: 33.627 Check: 0.0 Back: 1.362
INFO - Atoms: 18942/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 95097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.716 Prop: 72.441 PropClause: 66.365 Set: 36.857 Check: 0.0 Back: 1.792
INFO - Atoms: 18815/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 113780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.75 Prop: 85.613 PropClause: 78.936 Set: 41.939 Check: 0.0 Back: 2.221
INFO - Atoms: 18683/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 132333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.805 Prop: 96.85 PropClause: 89.569 Set: 47.092 Check: 0.0 Back: 2.655
INFO - Atoms: 18553/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 151280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.839 Prop: 107.456 PropClause: 99.583 Set: 50.395 Check: 0.0 Back: 3.079
INFO - Atoms: 18947/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 170221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.89 Prop: 117.324 PropClause: 108.764 Set: 53.623 Check: 0.0 Back: 3.508
INFO - Atoms: 18941/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 189035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.927 Prop: 127.315 PropClause: 118.269 Set: 56.779 Check: 0.0 Back: 3.943
INFO - Atoms: 18814/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 207457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.967 Prop: 136.645 PropClause: 127.114 Set: 59.848 Check: 0.0 Back: 4.372
INFO - Atoms: 18422/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 225747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.003 Prop: 144.01 PropClause: 134.001 Set: 62.879 Check: 0.0 Back: 4.795
INFO - Atoms: 18290/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 243907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.047 Prop: 152.526 PropClause: 142.067 Set: 65.889 Check: 0.0 Back: 5.206
INFO - Atoms: 18160/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 262590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.086 Prop: 160.105 PropClause: 149.184 Set: 68.968 Check: 0.0 Back: 5.618
INFO - Atoms: 18683/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 281143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.121 Prop: 167.349 PropClause: 155.968 Set: 72.026 Check: 0.0 Back: 6.04
INFO - Atoms: 18553/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 299564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.164 Prop: 174.962 PropClause: 163.123 Set: 75.067 Check: 0.0 Back: 6.46
INFO - Atoms: 18421/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 317854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.203 Prop: 182.049 PropClause: 169.754 Set: 78.097 Check: 0.0 Back: 6.877
INFO - Atoms: 18290/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 335881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.241 Prop: 190.252 PropClause: 177.508 Set: 81.144 Check: 0.0 Back: 7.29
INFO - Atoms: 18027/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 354041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.284 Prop: 199.312 PropClause: 186.116 Set: 85.906 Check: 0.0 Back: 7.702
INFO - Atoms: 18160/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 372068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.328 Prop: 209.116 PropClause: 195.47 Set: 90.696 Check: 0.0 Back: 8.112
INFO - Atoms: 18027/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 390094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.37 Prop: 217.848 PropClause: 203.754 Set: 95.387 Check: 0.0 Back: 8.521
INFO - Atoms: 18026/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 407991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.407 Prop: 227.229 PropClause: 212.687 Set: 98.408 Check: 0.0 Back: 8.935
INFO - Atoms: 17897/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 425758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.445 Prop: 235.808 PropClause: 220.825 Set: 101.381 Check: 0.0 Back: 9.341
INFO - Atoms: 17767/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 443393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.482 Prop: 243.587 PropClause: 228.156 Set: 104.288 Check: 0.0 Back: 9.742
INFO - Atoms: 17635/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 460898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.542 Prop: 251.177 PropClause: 235.308 Set: 107.178 Check: 0.0 Back: 10.14
INFO - Atoms: 17505/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 478271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.58 Prop: 259.231 PropClause: 242.928 Set: 110.091 Check: 0.0 Back: 10.536
INFO - Atoms: 17373/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 495514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.95 Prop: 267.938 PropClause: 251.207 Set: 112.97 Check: 0.0 Back: 10.929
INFO - Atoms: 17243/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 512625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.0 Prop: 275.574 PropClause: 258.416 Set: 115.811 Check: 0.0 Back: 11.318
INFO - Atoms: 17111/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 529606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.064 Prop: 283.376 PropClause: 265.795 Set: 118.608 Check: 0.0 Back: 11.704
INFO - Atoms: 16981/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 546455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.108 Prop: 294.417 PropClause: 276.416 Set: 121.506 Check: 0.0 Back: 12.086
INFO - Atoms: 16849/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 563174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.169 Prop: 302.986 PropClause: 284.559 Set: 124.32 Check: 0.0 Back: 12.465
INFO - Atoms: 16719/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 579761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.226 Prop: 312.214 PropClause: 293.355 Set: 127.145 Check: 0.0 Back: 12.846
INFO - Atoms: 16587/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 596218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.263 Prop: 319.799 PropClause: 300.523 Set: 129.898 Check: 0.0 Back: 13.225
INFO - Atoms: 16457/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 612543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.296 Prop: 325.56 PropClause: 305.873 Set: 132.59 Check: 0.0 Back: 13.601
INFO - Atoms: 16325/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 628738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 332.782 PropClause: 312.681 Set: 135.282 Check: 0.0 Back: 13.973
INFO - Atoms: 16195/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 644801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.371 Prop: 342.483 PropClause: 321.981 Set: 137.995 Check: 0.0 Back: 14.338
INFO - Atoms: 16063/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 660734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.427 Prop: 347.816 PropClause: 326.919 Set: 140.583 Check: 0.0 Back: 14.708
INFO - Atoms: 15933/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 676535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.46 Prop: 353.091 PropClause: 331.802 Set: 143.143 Check: 0.0 Back: 15.066
INFO - Atoms: 15801/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 692206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.495 Prop: 359.024 PropClause: 337.346 Set: 145.687 Check: 0.0 Back: 15.421
INFO - Atoms: 15671/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 707745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.525 Prop: 364.039 PropClause: 341.976 Set: 148.252 Check: 0.0 Back: 15.773
INFO - Atoms: 15539/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 723154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.565 Prop: 370.081 PropClause: 347.636 Set: 152.089 Check: 0.0 Back: 16.125
INFO - Atoms: 15409/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 738431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.609 Prop: 376.134 PropClause: 353.309 Set: 155.943 Check: 0.0 Back: 16.473
INFO - Atoms: 15277/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 753578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.647 Prop: 382.017 PropClause: 358.816 Set: 159.72 Check: 0.0 Back: 16.817
INFO - Atoms: 15147/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 768593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.682 Prop: 387.897 PropClause: 364.324 Set: 163.432 Check: 0.0 Back: 17.154
INFO - Atoms: 15015/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 783478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 393.882 PropClause: 369.94 Set: 167.116 Check: 0.0 Back: 17.492
INFO - Atoms: 14885/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 798231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.777 Prop: 399.623 PropClause: 375.315 Set: 170.75 Check: 0.0 Back: 17.828
INFO - Atoms: 14753/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 812854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.841 Prop: 405.148 PropClause: 380.477 Set: 174.361 Check: 0.0 Back: 18.158
INFO - Atoms: 14623/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 827345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.881 Prop: 412.201 PropClause: 387.162 Set: 178.063 Check: 0.0 Back: 18.488
INFO - Atoms: 14491/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 841706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.945 Prop: 417.795 PropClause: 392.393 Set: 181.66 Check: 0.0 Back: 18.817
INFO - Atoms: 14361/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 855935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.983 Prop: 423.237 PropClause: 397.477 Set: 185.177 Check: 0.0 Back: 19.148
INFO - Atoms: 14229/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 870034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.017 Prop: 428.375 PropClause: 402.262 Set: 188.645 Check: 0.0 Back: 19.477
INFO - Atoms: 14099/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 884001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.051 Prop: 432.977 PropClause: 406.516 Set: 190.877 Check: 0.0 Back: 19.795
INFO - Atoms: 13967/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 897838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.084 Prop: 437.452 PropClause: 410.638 Set: 193.068 Check: 0.0 Back: 20.109
INFO - Atoms: 13837/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 911543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.118 Prop: 441.902 PropClause: 414.747 Set: 195.268 Check: 0.0 Back: 20.422
INFO - Atoms: 13705/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 925118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.152 Prop: 446.587 PropClause: 419.092 Set: 197.475 Check: 0.0 Back: 20.733
INFO - Atoms: 13575/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 938561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.281 Prop: 451.164 PropClause: 423.337 Set: 199.606 Check: 0.0 Back: 21.046
INFO - Atoms: 13443/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 951874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.298 Prop: 455.396 PropClause: 427.237 Set: 201.706 Check: 0.0 Back: 21.349
INFO - Atoms: 13313/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 965055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.314 Prop: 459.689 PropClause: 431.201 Set: 203.798 Check: 0.0 Back: 21.65
INFO - Atoms: 13181/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 978105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.331 Prop: 464.492 PropClause: 435.68 Set: 205.875 Check: 0.0 Back: 21.945
INFO - Atoms: 13050/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 991522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.35 Prop: 469.922 PropClause: 440.776 Set: 208.08 Check: 0.0 Back: 22.238
INFO - Atoms: 13417/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1004942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.367 Prop: 474.339 PropClause: 444.857 Set: 210.262 Check: 0.0 Back: 22.552
INFO - Atoms: 13420/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1017985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.383 Prop: 478.49 PropClause: 448.683 Set: 212.332 Check: 0.0 Back: 22.856
INFO - Atoms: 13043/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1031403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.401 Prop: 484.276 PropClause: 454.126 Set: 214.535 Check: 0.0 Back: 23.148
INFO - Atoms: 13418/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1044820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.419 Prop: 489.454 PropClause: 458.968 Set: 216.713 Check: 0.0 Back: 23.448
INFO - Atoms: 13417/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1057864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.436 Prop: 493.826 PropClause: 463.017 Set: 218.773 Check: 0.0 Back: 23.75
INFO - Atoms: 13044/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1071413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.453 Prop: 498.35 PropClause: 467.205 Set: 220.973 Check: 0.0 Back: 24.044
INFO - Atoms: 13549/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1084961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.477 Prop: 502.734 PropClause: 471.254 Set: 223.167 Check: 0.0 Back: 24.346
INFO - Atoms: 13548/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1098634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.493 Prop: 507.439 PropClause: 475.62 Set: 225.394 Check: 0.0 Back: 24.649
INFO - Atoms: 13673/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1112234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.511 Prop: 512.429 PropClause: 480.271 Set: 227.602 Check: 0.0 Back: 24.955
INFO - Atoms: 13600/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 1125704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.53 Prop: 516.941 PropClause: 484.451 Set: 229.778 Check: 0.0 Back: 25.265
INFO - Atoms: 13470/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 1139172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.547 Prop: 521.419 PropClause: 488.593 Set: 231.988 Check: 0.0 Back: 25.567
INFO - Atoms: 13468/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 1152521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 526.05 PropClause: 492.894 Set: 234.143 Check: 0.0 Back: 25.869
INFO - Atoms: 13349/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 1165992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.579 Prop: 530.321 PropClause: 496.831 Set: 236.309 Check: 0.0 Back: 26.174
INFO - Atoms: 13471/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 1179340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.596 Prop: 535.035 PropClause: 501.216 Set: 238.492 Check: 0.0 Back: 26.475
INFO - Atoms: 13348/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 1192809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.612 Prop: 539.344 PropClause: 505.191 Set: 240.675 Check: 0.0 Back: 26.775
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 1205782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.631 Prop: 543.893 PropClause: 509.417 Set: 242.733 Check: 0.0 Back: 27.077
INFO - Atoms: 12973/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 1219250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.65 Prop: 548.49 PropClause: 513.681 Set: 244.928 Check: 0.0 Back: 27.367
INFO - Atoms: 13468/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 1232719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.666 Prop: 553.023 PropClause: 517.881 Set: 247.124 Check: 0.0 Back: 27.668
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 1246190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.684 Prop: 557.824 PropClause: 522.341 Set: 249.312 Check: 0.0 Back: 27.971
INFO - Atoms: 13471/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 1259538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.703 Prop: 562.675 PropClause: 526.861 Set: 251.473 Check: 0.0 Back: 28.274
INFO - Atoms: 13348/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 1273007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 567.173 PropClause: 531.016 Set: 253.68 Check: 0.0 Back: 28.576
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 1285980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.737 Prop: 571.493 PropClause: 535.015 Set: 255.733 Check: 0.0 Back: 28.877
INFO - Atoms: 12973/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 1299448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.753 Prop: 575.882 PropClause: 539.069 Set: 257.932 Check: 0.0 Back: 29.168
INFO - Atoms: 13468/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 1312917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 580.552 PropClause: 543.404 Set: 260.145 Check: 0.0 Back: 29.469
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 1326388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 585.324 PropClause: 547.841 Set: 262.342 Check: 0.0 Back: 29.78
INFO - Atoms: 13471/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 1339736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 589.961 PropClause: 552.146 Set: 264.51 Check: 0.0 Back: 30.081
INFO - Atoms: 13348/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 1353205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.822 Prop: 594.337 PropClause: 556.188 Set: 266.688 Check: 0.0 Back: 30.382
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 1366178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.84 Prop: 599.107 PropClause: 560.635 Set: 268.779 Check: 0.0 Back: 30.687
INFO - Atoms: 12973/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 1379646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.858 Prop: 604.799 PropClause: 565.989 Set: 270.991 Check: 0.0 Back: 30.979
INFO - Atoms: 13468/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 1393115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.876 Prop: 610.941 PropClause: 571.798 Set: 273.223 Check: 0.0 Back: 31.283
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 1406586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.911 Prop: 616.152 PropClause: 576.675 Set: 275.427 Check: 0.0 Back: 31.585
INFO - Atoms: 13471/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 1419934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.957 Prop: 620.349 PropClause: 580.541 Set: 277.577 Check: 0.0 Back: 31.886
INFO - Atoms: 13348/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 1433403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.006 Prop: 626.877 PropClause: 586.732 Set: 279.868 Check: 0.0 Back: 32.184
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 1446376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.023 Prop: 633.442 PropClause: 592.975 Set: 281.964 Check: 0.0 Back: 32.485
INFO - Atoms: 12973/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 1459844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.04 Prop: 639.318 PropClause: 598.515 Set: 284.201 Check: 0.0 Back: 32.785
INFO - Atoms: 13468/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 1473313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.056 Prop: 644.725 PropClause: 603.584 Set: 286.457 Check: 0.0 Back: 33.089
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 1486784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.072 Prop: 649.961 PropClause: 608.485 Set: 288.677 Check: 0.0 Back: 33.39
INFO - Atoms: 13471/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 1500132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.109 Prop: 654.765 PropClause: 612.958 Set: 290.852 Check: 0.0 Back: 33.693
INFO - Atoms: 13348/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 1513601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.15 Prop: 658.993 PropClause: 616.851 Set: 293.04 Check: 0.0 Back: 33.999
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 1526574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.162 Prop: 663.017 PropClause: 620.554 Set: 295.132 Check: 0.0 Back: 34.302
INFO - Atoms: 12973/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 1540042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.173 Prop: 667.248 PropClause: 624.451 Set: 297.345 Check: 0.0 Back: 34.592
INFO - Atoms: 13468/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 1553511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.185 Prop: 671.386 PropClause: 628.256 Set: 299.586 Check: 0.0 Back: 34.894
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 1566982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.196 Prop: 675.523 PropClause: 632.059 Set: 301.788 Check: 0.0 Back: 35.195
INFO - Atoms: 13471/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 1580330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.209 Prop: 679.75 PropClause: 635.954 Set: 303.996 Check: 0.0 Back: 35.499
INFO - Atoms: 13348/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 1593799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.221 Prop: 684.938 PropClause: 640.808 Set: 306.182 Check: 0.0 Back: 35.798
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 1606772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.234 Prop: 689.937 PropClause: 645.486 Set: 308.264 Check: 0.0 Back: 36.1
INFO - Atoms: 12973/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 1620240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.246 Prop: 695.231 PropClause: 650.438 Set: 310.483 Check: 0.0 Back: 36.39
INFO - Atoms: 13468/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 1633709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.26 Prop: 701.186 PropClause: 656.057 Set: 312.73 Check: 0.0 Back: 36.693
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 1647180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.272 Prop: 705.271 PropClause: 659.798 Set: 314.925 Check: 0.0 Back: 37.0
INFO - Atoms: 13471/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 1660528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 709.473 PropClause: 663.669 Set: 317.142 Check: 0.0 Back: 37.307
INFO - Atoms: 13348/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 1673997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.298 Prop: 714.471 PropClause: 668.333 Set: 320.504 Check: 0.0 Back: 37.606
INFO - Atoms: 13469/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 1687469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.31 Prop: 718.786 PropClause: 672.314 Set: 322.726 Check: 0.0 Back: 37.908
INFO - Atoms: 13472/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 1700948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.323 Prop: 723.862 PropClause: 677.056 Set: 326.1 Check: 0.0 Back: 38.21
INFO - Atoms: 13479/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 1714426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.337 Prop: 728.893 PropClause: 681.755 Set: 329.451 Check: 0.0 Back: 38.513
INFO - Atoms: 13478/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 1728028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.376 Prop: 734.091 PropClause: 686.615 Set: 332.828 Check: 0.0 Back: 38.813
INFO - Atoms: 13602/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 1741499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.416 Prop: 739.5 PropClause: 691.687 Set: 336.214 Check: 0.0 Back: 39.118
INFO - Atoms: 13471/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 1754839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.429 Prop: 744.474 PropClause: 696.33 Set: 339.56 Check: 0.0 Back: 39.431
INFO - Atoms: 13340/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 1768176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.444 Prop: 749.375 PropClause: 700.9 Set: 342.87 Check: 0.0 Back: 39.733
INFO - Atoms: 13337/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 1781394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 754.148 PropClause: 705.344 Set: 346.136 Check: 0.0 Back: 40.035
INFO - Atoms: 13218/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 1794733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.476 Prop: 759.037 PropClause: 709.903 Set: 349.437 Check: 0.0 Back: 40.331
INFO - Atoms: 13339/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 1807950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.489 Prop: 763.692 PropClause: 714.23 Set: 352.69 Check: 0.0 Back: 40.63
INFO - Atoms: 13217/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 1821288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.501 Prop: 771.02 PropClause: 721.224 Set: 355.972 Check: 0.0 Back: 40.925
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 1834131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.516 Prop: 777.769 PropClause: 727.655 Set: 359.187 Check: 0.0 Back: 41.225
INFO - Atoms: 12843/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 1847468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.53 Prop: 783.759 PropClause: 733.313 Set: 362.37 Check: 0.0 Back: 41.512
INFO - Atoms: 13337/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 1860806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.544 Prop: 790.027 PropClause: 739.249 Set: 365.55 Check: 0.0 Back: 41.812
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 1874145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.558 Prop: 795.09 PropClause: 743.981 Set: 368.669 Check: 0.0 Back: 42.109
INFO - Atoms: 13339/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 1887362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 800.11 PropClause: 748.673 Set: 371.762 Check: 0.0 Back: 42.409
INFO - Atoms: 13217/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 1900700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.583 Prop: 805.351 PropClause: 753.555 Set: 374.924 Check: 0.0 Back: 42.705
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 1913543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.597 Prop: 811.089 PropClause: 758.971 Set: 377.939 Check: 0.0 Back: 43.004
INFO - Atoms: 12843/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 1926880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.61 Prop: 816.502 PropClause: 764.053 Set: 381.066 Check: 0.0 Back: 43.294
INFO - Atoms: 13337/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 1940218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.621 Prop: 821.369 PropClause: 768.59 Set: 384.154 Check: 0.0 Back: 43.595
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 1953557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.632 Prop: 826.047 PropClause: 772.936 Set: 387.249 Check: 0.0 Back: 43.894
INFO - Atoms: 13339/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 1966774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.646 Prop: 830.796 PropClause: 777.355 Set: 390.351 Check: 0.0 Back: 44.195
INFO - Atoms: 13217/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 1980112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.658 Prop: 835.508 PropClause: 781.736 Set: 393.48 Check: 0.0 Back: 44.493
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 1992955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.67 Prop: 840.252 PropClause: 786.161 Set: 396.44 Check: 0.0 Back: 44.793
INFO - Atoms: 12843/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 2006292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.682 Prop: 844.961 PropClause: 790.536 Set: 399.552 Check: 0.0 Back: 45.082
INFO - Atoms: 13337/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 2019630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.696 Prop: 849.728 PropClause: 794.966 Set: 402.65 Check: 0.0 Back: 45.379
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 2032969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 854.457 PropClause: 799.362 Set: 405.747 Check: 0.0 Back: 45.679
INFO - Atoms: 13339/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 2046186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.721 Prop: 859.12 PropClause: 803.696 Set: 408.815 Check: 0.0 Back: 45.978
INFO - Atoms: 13217/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 2059524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.734 Prop: 864.717 PropClause: 808.964 Set: 411.93 Check: 0.0 Back: 46.273
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 2072367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.748 Prop: 869.385 PropClause: 813.31 Set: 414.918 Check: 0.0 Back: 46.573
INFO - Atoms: 12843/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 2085704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.762 Prop: 877.102 PropClause: 820.697 Set: 418.437 Check: 0.0 Back: 46.863
INFO - Atoms: 13337/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 2099042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.776 Prop: 884.756 PropClause: 828.018 Set: 421.67 Check: 0.0 Back: 47.162
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 2111884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.79 Prop: 890.817 PropClause: 833.76 Set: 424.699 Check: 0.0 Back: 47.462
INFO - Atoms: 12842/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 2125221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.803 Prop: 897.492 PropClause: 840.104 Set: 427.975 Check: 0.0 Back: 47.751
INFO - Atoms: 13337/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 2138559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.817 Prop: 904.761 PropClause: 847.029 Set: 430.285 Check: 0.0 Back: 48.048
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 2151402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.828 Prop: 910.577 PropClause: 852.522 Set: 432.417 Check: 0.0 Back: 48.348
INFO - Atoms: 12843/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 2164739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.84 Prop: 917.011 PropClause: 858.626 Set: 434.671 Check: 0.0 Back: 48.64
INFO - Atoms: 13337/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 2178077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.852 Prop: 922.546 PropClause: 863.827 Set: 436.887 Check: 0.0 Back: 48.94
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 2191416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.866 Prop: 930.151 PropClause: 871.101 Set: 439.189 Check: 0.0 Back: 49.243
INFO - Atoms: 13339/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 2204633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.876 Prop: 936.676 PropClause: 877.295 Set: 441.389 Check: 0.0 Back: 49.544
INFO - Atoms: 13217/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 2217971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.911 Prop: 941.006 PropClause: 881.294 Set: 443.585 Check: 0.0 Back: 49.844
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 2230814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.918 Prop: 945.024 PropClause: 884.991 Set: 445.632 Check: 0.0 Back: 50.144
INFO - Atoms: 12843/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 2244151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.925 Prop: 949.057 PropClause: 888.691 Set: 447.824 Check: 0.0 Back: 50.432
INFO - Atoms: 13337/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 2257489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 953.185 PropClause: 892.487 Set: 450.012 Check: 0.0 Back: 50.735
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 2270828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.937 Prop: 957.22 PropClause: 896.189 Set: 452.191 Check: 0.0 Back: 51.033
INFO - Atoms: 13339/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 2284045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.943 Prop: 961.235 PropClause: 899.874 Set: 454.326 Check: 0.0 Back: 51.331
INFO - Atoms: 13217/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 2297383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.95 Prop: 965.3 PropClause: 903.606 Set: 456.523 Check: 0.0 Back: 51.628
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 2310226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.956 Prop: 969.232 PropClause: 907.219 Set: 458.553 Check: 0.0 Back: 51.929
INFO - Atoms: 12843/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 2323563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.964 Prop: 973.183 PropClause: 910.84 Set: 460.833 Check: 0.0 Back: 52.224
INFO - Atoms: 13337/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 2336901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.969 Prop: 977.431 PropClause: 914.758 Set: 463.027 Check: 0.0 Back: 52.523
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 2350243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.975 Prop: 981.403 PropClause: 918.4 Set: 465.202 Check: 0.0 Back: 52.822
INFO - Atoms: 13342/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 2363581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.981 Prop: 985.319 PropClause: 921.985 Set: 467.378 Check: 0.0 Back: 53.129
INFO - Atoms: 13338/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 2376881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.987 Prop: 989.245 PropClause: 925.58 Set: 469.523 Check: 0.0 Back: 53.427
INFO - Atoms: 13300/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 2390437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.992 Prop: 993.432 PropClause: 929.429 Set: 471.737 Check: 0.0 Back: 53.734
INFO - Atoms: 13556/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 2403915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.0 Prop: 997.52 PropClause: 933.183 Set: 473.924 Check: 0.0 Back: 54.037
INFO - Atoms: 13478/19200 Clauses: 293 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 666 Props: 2997514 Tprops: 0 Decides: 3131 RSplits: 0
INFO - Times: Expl: 194.577 Prop: 1195.613 PropClause: 1115.369 Set: 489.401 Check: 0.071 Back: 67.603
INFO - Atoms: 6329/19200 Clauses: 792 Axioms: 63090
INFO - Confl: 862 Props: 3218145 Tprops: 0 Decides: 4589 RSplits: 0
INFO - Times: Expl: 244.78 Prop: 1257.505 PropClause: 1171.18 Set: 494.561 Check: 0.104 Back: 72.598
INFO - Atoms: 6613/19200 Clauses: 988 Axioms: 63090
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 183 Props: 11946 Tprops: 2946 Decides: 8891 RSplits: 0
INFO - Times: Expl: 61.934 Prop: 4031.636 PropClause: 3.924 Set: 954.704 Check: 40.579 Back: 31.124
INFO - Atoms: 347/438 Clauses: 183 Axioms: 438
INFO - CCTimes: iE 92697 eq 8105600 cc 14517873 setRep 10726632
INFO - Merges: 70421, cc:103837
INFO - BVTimes: BB 103667188 BB_DPLL 3490238286 Graph 238470
INFO - BitBlastingClauses: 111854 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat