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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 182522742
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 25335 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 36.927 PropClause: 35.992 Set: 16.457 Check: 0.0 Back: 0.005
INFO - Atoms: 25276/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 50780 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 9.405 Prop: 53.498 PropClause: 51.555 Set: 24.927 Check: 0.0 Back: 0.589
INFO - Atoms: 25331/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 76221 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 13.501 Prop: 69.2 PropClause: 66.399 Set: 27.629 Check: 0.0 Back: 1.169
INFO - Atoms: 25328/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 101660 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 15.936 Prop: 83.175 PropClause: 79.706 Set: 30.204 Check: 0.001 Back: 1.748
INFO - Atoms: 25326/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 127099 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 18.47 Prop: 94.53 PropClause: 90.412 Set: 32.738 Check: 0.001 Back: 2.332
INFO - Atoms: 25326/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 152536 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 20.46 Prop: 107.118 PropClause: 102.355 Set: 35.266 Check: 0.001 Back: 2.929
INFO - Atoms: 25324/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 177971 Tprops: 0 Decides: 7 RSplits: 0
INFO - Times: Expl: 22.075 Prop: 119.406 PropClause: 113.992 Set: 37.815 Check: 0.001 Back: 3.501
INFO - Atoms: 25323/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 203404 Tprops: 0 Decides: 8 RSplits: 0
INFO - Times: Expl: 24.143 Prop: 134.378 PropClause: 128.304 Set: 40.421 Check: 0.001 Back: 4.082
INFO - Atoms: 25321/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 228833 Tprops: 0 Decides: 9 RSplits: 0
INFO - Times: Expl: 25.725 Prop: 147.18 PropClause: 140.449 Set: 43.064 Check: 0.001 Back: 4.664
INFO - Atoms: 25318/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 254262 Tprops: 0 Decides: 10 RSplits: 0
INFO - Times: Expl: 27.677 Prop: 161.377 PropClause: 153.995 Set: 45.685 Check: 0.001 Back: 5.252
INFO - Atoms: 25317/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 279683 Tprops: 0 Decides: 11 RSplits: 0
INFO - Times: Expl: 29.263 Prop: 174.331 PropClause: 166.3 Set: 48.293 Check: 0.002 Back: 5.844
INFO - Atoms: 25312/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 305108 Tprops: 0 Decides: 12 RSplits: 0
INFO - Times: Expl: 30.505 Prop: 186.324 PropClause: 177.641 Set: 50.851 Check: 0.002 Back: 6.419
INFO - Atoms: 25313/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 330521 Tprops: 0 Decides: 13 RSplits: 0
INFO - Times: Expl: 32.066 Prop: 200.91 PropClause: 191.569 Set: 53.461 Check: 0.002 Back: 6.992
INFO - Atoms: 25306/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 355942 Tprops: 0 Decides: 14 RSplits: 0
INFO - Times: Expl: 33.582 Prop: 214.43 PropClause: 204.437 Set: 56.077 Check: 0.002 Back: 7.562
INFO - Atoms: 25309/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 381351 Tprops: 0 Decides: 15 RSplits: 0
INFO - Times: Expl: 34.882 Prop: 227.797 PropClause: 217.123 Set: 58.624 Check: 0.002 Back: 8.137
INFO - Atoms: 25303/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 406770 Tprops: 0 Decides: 16 RSplits: 0
INFO - Times: Expl: 35.926 Prop: 239.272 PropClause: 227.949 Set: 61.161 Check: 0.002 Back: 8.709
INFO - Atoms: 25307/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 432175 Tprops: 0 Decides: 17 RSplits: 0
INFO - Times: Expl: 38.31 Prop: 254.412 PropClause: 242.44 Set: 63.752 Check: 0.002 Back: 9.285
INFO - Atoms: 25300/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 457590 Tprops: 0 Decides: 18 RSplits: 0
INFO - Times: Expl: 39.626 Prop: 267.076 PropClause: 254.451 Set: 66.329 Check: 0.002 Back: 9.859
INFO - Atoms: 25304/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 482993 Tprops: 0 Decides: 19 RSplits: 0
INFO - Times: Expl: 41.147 Prop: 280.106 PropClause: 266.825 Set: 68.928 Check: 0.003 Back: 10.435
INFO - Atoms: 25298/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 508404 Tprops: 0 Decides: 20 RSplits: 0
INFO - Times: Expl: 42.427 Prop: 292.613 PropClause: 278.684 Set: 71.492 Check: 0.003 Back: 11.008
INFO - Atoms: 25301/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 533805 Tprops: 0 Decides: 21 RSplits: 0
INFO - Times: Expl: 43.647 Prop: 304.652 PropClause: 290.073 Set: 74.029 Check: 0.003 Back: 11.581
INFO - Atoms: 25296/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 559212 Tprops: 0 Decides: 22 RSplits: 0
INFO - Times: Expl: 45.209 Prop: 318.639 PropClause: 303.417 Set: 76.575 Check: 0.003 Back: 12.164
INFO - Atoms: 25298/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 584611 Tprops: 0 Decides: 23 RSplits: 0
INFO - Times: Expl: 46.568 Prop: 331.497 PropClause: 315.617 Set: 79.126 Check: 0.003 Back: 12.738
INFO - Atoms: 25294/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 610014 Tprops: 0 Decides: 24 RSplits: 0
INFO - Times: Expl: 50.542 Prop: 346.265 PropClause: 329.739 Set: 81.672 Check: 0.003 Back: 13.31
INFO - Atoms: 25295/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 635409 Tprops: 0 Decides: 25 RSplits: 0
INFO - Times: Expl: 52.399 Prop: 358.695 PropClause: 341.522 Set: 84.211 Check: 0.003 Back: 13.88
INFO - Atoms: 25290/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 660808 Tprops: 0 Decides: 26 RSplits: 0
INFO - Times: Expl: 53.891 Prop: 370.87 PropClause: 353.045 Set: 86.76 Check: 0.004 Back: 14.453
INFO - Atoms: 25292/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 686199 Tprops: 0 Decides: 27 RSplits: 0
INFO - Times: Expl: 55.618 Prop: 383.062 PropClause: 364.593 Set: 89.28 Check: 0.004 Back: 15.03
INFO - Atoms: 25287/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 711596 Tprops: 0 Decides: 28 RSplits: 0
INFO - Times: Expl: 57.557 Prop: 396.353 PropClause: 377.24 Set: 91.818 Check: 0.004 Back: 15.597
INFO - Atoms: 25290/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 736985 Tprops: 0 Decides: 29 RSplits: 0
INFO - Times: Expl: 59.246 Prop: 408.686 PropClause: 388.926 Set: 94.348 Check: 0.004 Back: 16.171
INFO - Atoms: 25285/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 762374 Tprops: 0 Decides: 30 RSplits: 0
INFO - Times: Expl: 60.823 Prop: 421.933 PropClause: 401.527 Set: 96.889 Check: 0.004 Back: 16.743
INFO - Atoms: 25284/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 787761 Tprops: 0 Decides: 31 RSplits: 0
INFO - Times: Expl: 62.219 Prop: 434.59 PropClause: 413.536 Set: 99.422 Check: 0.004 Back: 17.315
INFO - Atoms: 25283/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 813148 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 63.461 Prop: 447.507 PropClause: 425.807 Set: 101.964 Check: 0.004 Back: 17.898
INFO - Atoms: 25282/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 838531 Tprops: 0 Decides: 33 RSplits: 0
INFO - Times: Expl: 65.087 Prop: 461.162 PropClause: 438.815 Set: 104.538 Check: 0.005 Back: 18.471
INFO - Atoms: 25280/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 863916 Tprops: 0 Decides: 34 RSplits: 0
INFO - Times: Expl: 66.426 Prop: 473.587 PropClause: 450.597 Set: 107.079 Check: 0.005 Back: 19.043
INFO - Atoms: 25280/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 889295 Tprops: 0 Decides: 35 RSplits: 0
INFO - Times: Expl: 67.994 Prop: 486.52 PropClause: 462.872 Set: 109.658 Check: 0.005 Back: 19.614
INFO - Atoms: 25277/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 914676 Tprops: 0 Decides: 36 RSplits: 0
INFO - Times: Expl: 69.541 Prop: 500.887 PropClause: 476.58 Set: 112.225 Check: 0.005 Back: 20.194
INFO - Atoms: 25277/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 940053 Tprops: 0 Decides: 37 RSplits: 0
INFO - Times: Expl: 71.315 Prop: 514.793 PropClause: 489.837 Set: 114.808 Check: 0.005 Back: 20.769
INFO - Atoms: 25275/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 965430 Tprops: 0 Decides: 38 RSplits: 0
INFO - Times: Expl: 72.634 Prop: 527.867 PropClause: 502.263 Set: 117.356 Check: 0.005 Back: 21.355
INFO - Atoms: 25274/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 990805 Tprops: 0 Decides: 39 RSplits: 0
INFO - Times: Expl: 73.891 Prop: 540.908 PropClause: 514.653 Set: 119.905 Check: 0.005 Back: 21.938
INFO - Atoms: 25273/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 1016178 Tprops: 0 Decides: 40 RSplits: 0
INFO - Times: Expl: 75.11 Prop: 553.402 PropClause: 526.5 Set: 122.431 Check: 0.006 Back: 22.51
INFO - Atoms: 25271/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 1041551 Tprops: 0 Decides: 41 RSplits: 0
INFO - Times: Expl: 76.405 Prop: 565.657 PropClause: 538.11 Set: 124.976 Check: 0.006 Back: 23.082
INFO - Atoms: 25271/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 1066920 Tprops: 0 Decides: 42 RSplits: 0
INFO - Times: Expl: 77.608 Prop: 578.86 PropClause: 550.669 Set: 127.488 Check: 0.006 Back: 23.653
INFO - Atoms: 25268/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 1092291 Tprops: 0 Decides: 43 RSplits: 0
INFO - Times: Expl: 78.932 Prop: 591.377 PropClause: 562.538 Set: 129.978 Check: 0.006 Back: 24.223
INFO - Atoms: 25269/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 1117656 Tprops: 0 Decides: 44 RSplits: 0
INFO - Times: Expl: 80.303 Prop: 604.547 PropClause: 575.064 Set: 132.54 Check: 0.006 Back: 24.79
INFO - Atoms: 25265/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 1143025 Tprops: 0 Decides: 45 RSplits: 0
INFO - Times: Expl: 81.372 Prop: 616.232 PropClause: 586.103 Set: 135.067 Check: 0.006 Back: 25.362
INFO - Atoms: 25267/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 1168386 Tprops: 0 Decides: 46 RSplits: 0
INFO - Times: Expl: 82.74 Prop: 629.228 PropClause: 598.454 Set: 137.599 Check: 0.006 Back: 25.933
INFO - Atoms: 25262/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 1193753 Tprops: 0 Decides: 47 RSplits: 0
INFO - Times: Expl: 84.166 Prop: 642.734 PropClause: 611.31 Set: 140.142 Check: 0.007 Back: 26.511
INFO - Atoms: 25265/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 1219110 Tprops: 0 Decides: 48 RSplits: 0
INFO - Times: Expl: 85.633 Prop: 657.637 PropClause: 625.57 Set: 142.761 Check: 0.007 Back: 27.081
INFO - Atoms: 25259/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 1244475 Tprops: 0 Decides: 49 RSplits: 0
INFO - Times: Expl: 87.467 Prop: 672.613 PropClause: 639.899 Set: 145.34 Check: 0.007 Back: 27.65
INFO - Atoms: 25263/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 1269828 Tprops: 0 Decides: 50 RSplits: 0
INFO - Times: Expl: 88.719 Prop: 685.373 PropClause: 652.007 Set: 147.869 Check: 0.007 Back: 28.223
INFO - Atoms: 25256/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 1295191 Tprops: 0 Decides: 51 RSplits: 0
INFO - Times: Expl: 90.101 Prop: 698.225 PropClause: 664.18 Set: 150.389 Check: 0.007 Back: 28.795
INFO - Atoms: 25261/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 1320540 Tprops: 0 Decides: 52 RSplits: 0
INFO - Times: Expl: 91.231 Prop: 711.238 PropClause: 676.542 Set: 152.928 Check: 0.007 Back: 29.365
INFO - Atoms: 25253/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 1345901 Tprops: 0 Decides: 53 RSplits: 0
INFO - Times: Expl: 92.572 Prop: 724.679 PropClause: 689.334 Set: 155.481 Check: 0.007 Back: 29.941
INFO - Atoms: 25259/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 1371246 Tprops: 0 Decides: 54 RSplits: 0
INFO - Times: Expl: 93.913 Prop: 738.479 PropClause: 702.477 Set: 158.025 Check: 0.007 Back: 30.512
INFO - Atoms: 25250/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 1396609 Tprops: 0 Decides: 55 RSplits: 0
INFO - Times: Expl: 95.469 Prop: 753.714 PropClause: 717.061 Set: 160.595 Check: 0.008 Back: 31.082
INFO - Atoms: 25260/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 1421956 Tprops: 0 Decides: 56 RSplits: 0
INFO - Times: Expl: 97.217 Prop: 768.646 PropClause: 731.348 Set: 163.171 Check: 0.008 Back: 31.653
INFO - Atoms: 25252/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 1447315 Tprops: 0 Decides: 57 RSplits: 0
INFO - Times: Expl: 98.973 Prop: 782.98 PropClause: 745.024 Set: 165.712 Check: 0.008 Back: 32.227
INFO - Atoms: 25257/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 1472658 Tprops: 0 Decides: 58 RSplits: 0
INFO - Times: Expl: 100.723 Prop: 797.917 PropClause: 759.301 Set: 168.312 Check: 0.008 Back: 32.802
INFO - Atoms: 25248/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 1498009 Tprops: 0 Decides: 59 RSplits: 0
INFO - Times: Expl: 102.601 Prop: 812.427 PropClause: 773.154 Set: 170.852 Check: 0.009 Back: 33.379
INFO - Atoms: 25251/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 1523346 Tprops: 0 Decides: 60 RSplits: 0
INFO - Times: Expl: 104.163 Prop: 827.375 PropClause: 787.455 Set: 173.414 Check: 0.009 Back: 33.952
INFO - Atoms: 25243/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 1548693 Tprops: 0 Decides: 61 RSplits: 0
INFO - Times: Expl: 105.797 Prop: 841.397 PropClause: 800.819 Set: 175.953 Check: 0.009 Back: 34.525
INFO - Atoms: 25247/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 1574024 Tprops: 0 Decides: 62 RSplits: 0
INFO - Times: Expl: 107.591 Prop: 856.254 PropClause: 815.03 Set: 178.506 Check: 0.009 Back: 35.095
INFO - Atoms: 25238/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 1599363 Tprops: 0 Decides: 63 RSplits: 0
INFO - Times: Expl: 109.192 Prop: 870.85 PropClause: 828.981 Set: 181.064 Check: 0.009 Back: 35.669
INFO - Atoms: 25241/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 1624690 Tprops: 0 Decides: 64 RSplits: 0
INFO - Times: Expl: 110.775 Prop: 884.445 PropClause: 841.928 Set: 183.587 Check: 0.009 Back: 36.242
INFO - Atoms: 25234/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 1650021 Tprops: 0 Decides: 65 RSplits: 0
INFO - Times: Expl: 112.639 Prop: 899.162 PropClause: 855.994 Set: 186.166 Check: 0.009 Back: 36.814
INFO - Atoms: 25235/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 1675346 Tprops: 0 Decides: 66 RSplits: 0
INFO - Times: Expl: 114.267 Prop: 914.167 PropClause: 870.354 Set: 193.498 Check: 0.01 Back: 37.397
INFO - Atoms: 25232/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 1700677 Tprops: 0 Decides: 67 RSplits: 0
INFO - Times: Expl: 116.029 Prop: 928.029 PropClause: 883.57 Set: 202.269 Check: 0.01 Back: 37.982
INFO - Atoms: 25235/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 1726000 Tprops: 0 Decides: 68 RSplits: 0
INFO - Times: Expl: 117.617 Prop: 942.361 PropClause: 897.262 Set: 204.803 Check: 0.01 Back: 38.554
INFO - Atoms: 25230/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 1751323 Tprops: 0 Decides: 69 RSplits: 0
INFO - Times: Expl: 119.169 Prop: 956.831 PropClause: 911.083 Set: 207.329 Check: 0.01 Back: 39.121
INFO - Atoms: 25229/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 1776642 Tprops: 0 Decides: 70 RSplits: 0
INFO - Times: Expl: 120.95 Prop: 971.811 PropClause: 925.417 Set: 209.888 Check: 0.01 Back: 39.693
INFO - Atoms: 25226/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 1801957 Tprops: 0 Decides: 71 RSplits: 0
INFO - Times: Expl: 122.889 Prop: 987.76 PropClause: 940.717 Set: 212.462 Check: 0.011 Back: 40.264
INFO - Atoms: 25223/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 1827272 Tprops: 0 Decides: 72 RSplits: 0
INFO - Times: Expl: 125.005 Prop: 1003.794 PropClause: 956.102 Set: 215.027 Check: 0.011 Back: 40.835
INFO - Atoms: 25222/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 1852579 Tprops: 0 Decides: 73 RSplits: 0
INFO - Times: Expl: 126.672 Prop: 1018.019 PropClause: 969.682 Set: 217.548 Check: 0.011 Back: 41.412
INFO - Atoms: 25217/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 1877890 Tprops: 0 Decides: 74 RSplits: 0
INFO - Times: Expl: 128.295 Prop: 1032.781 PropClause: 983.799 Set: 220.09 Check: 0.011 Back: 41.98
INFO - Atoms: 25218/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 1903189 Tprops: 0 Decides: 75 RSplits: 0
INFO - Times: Expl: 130.194 Prop: 1048.785 PropClause: 999.158 Set: 222.688 Check: 0.011 Back: 42.549
INFO - Atoms: 25211/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 1928496 Tprops: 0 Decides: 76 RSplits: 0
INFO - Times: Expl: 132.221 Prop: 1065.123 PropClause: 1014.848 Set: 225.249 Check: 0.011 Back: 43.117
INFO - Atoms: 25214/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 1953787 Tprops: 0 Decides: 77 RSplits: 0
INFO - Times: Expl: 133.973 Prop: 1080.585 PropClause: 1029.659 Set: 227.795 Check: 0.011 Back: 43.701
INFO - Atoms: 25205/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 1979090 Tprops: 0 Decides: 78 RSplits: 0
INFO - Times: Expl: 135.622 Prop: 1095.37 PropClause: 1043.795 Set: 230.36 Check: 0.012 Back: 44.269
INFO - Atoms: 25210/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 2004544 Tprops: 0 Decides: 81 RSplits: 0
INFO - Times: Expl: 137.821 Prop: 1111.011 PropClause: 1058.787 Set: 232.921 Check: 0.012 Back: 44.844
INFO - Atoms: 25174/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 2030048 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 139.914 Prop: 1128.612 PropClause: 1075.723 Set: 235.516 Check: 0.012 Back: 45.418
INFO - Atoms: 25226/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 2055548 Tprops: 0 Decides: 85 RSplits: 0
INFO - Times: Expl: 141.334 Prop: 1143.532 PropClause: 1089.992 Set: 238.105 Check: 0.012 Back: 45.994
INFO - Atoms: 25223/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 2081048 Tprops: 0 Decides: 87 RSplits: 0
INFO - Times: Expl: 142.807 Prop: 1158.872 PropClause: 1104.679 Set: 240.688 Check: 0.012 Back: 46.571
INFO - Atoms: 25222/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 2106379 Tprops: 0 Decides: 88 RSplits: 0
INFO - Times: Expl: 144.504 Prop: 1174.991 PropClause: 1120.15 Set: 243.33 Check: 0.013 Back: 47.144
INFO - Atoms: 25220/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 2131712 Tprops: 0 Decides: 89 RSplits: 0
INFO - Times: Expl: 146.034 Prop: 1189.548 PropClause: 1134.061 Set: 245.869 Check: 0.013 Back: 47.714
INFO - Atoms: 25220/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 2157037 Tprops: 0 Decides: 90 RSplits: 0
INFO - Times: Expl: 147.508 Prop: 1204.482 PropClause: 1148.351 Set: 248.41 Check: 0.013 Back: 48.286
INFO - Atoms: 25215/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 2182364 Tprops: 0 Decides: 91 RSplits: 0
INFO - Times: Expl: 149.002 Prop: 1219.478 PropClause: 1162.695 Set: 250.974 Check: 0.013 Back: 48.857
INFO - Atoms: 25215/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 2207685 Tprops: 0 Decides: 92 RSplits: 0
INFO - Times: Expl: 150.394 Prop: 1234.451 PropClause: 1177.021 Set: 253.545 Check: 0.014 Back: 49.428
INFO - Atoms: 25212/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 2233008 Tprops: 0 Decides: 93 RSplits: 0
INFO - Times: Expl: 152.004 Prop: 1250.971 PropClause: 1192.895 Set: 256.081 Check: 0.014 Back: 49.998
INFO - Atoms: 25212/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 2258323 Tprops: 0 Decides: 94 RSplits: 0
INFO - Times: Expl: 153.503 Prop: 1266.103 PropClause: 1207.379 Set: 258.669 Check: 0.014 Back: 50.57
INFO - Atoms: 25207/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 2283640 Tprops: 0 Decides: 95 RSplits: 0
INFO - Times: Expl: 155.019 Prop: 1282.76 PropClause: 1223.385 Set: 261.275 Check: 0.014 Back: 51.155
INFO - Atoms: 25207/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 2308951 Tprops: 0 Decides: 96 RSplits: 0
INFO - Times: Expl: 156.985 Prop: 1299.347 PropClause: 1239.316 Set: 263.937 Check: 0.014 Back: 51.727
INFO - Atoms: 25203/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 2334260 Tprops: 0 Decides: 97 RSplits: 0
INFO - Times: Expl: 158.813 Prop: 1316.182 PropClause: 1255.497 Set: 266.573 Check: 0.014 Back: 52.31
INFO - Atoms: 25201/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 2359567 Tprops: 0 Decides: 98 RSplits: 0
INFO - Times: Expl: 160.663 Prop: 1331.866 PropClause: 1270.53 Set: 269.151 Check: 0.014 Back: 52.887
INFO - Atoms: 25199/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 2384872 Tprops: 0 Decides: 99 RSplits: 0
INFO - Times: Expl: 162.255 Prop: 1347.157 PropClause: 1285.167 Set: 271.718 Check: 0.015 Back: 53.463
INFO - Atoms: 25197/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 2410171 Tprops: 0 Decides: 100 RSplits: 0
INFO - Times: Expl: 163.969 Prop: 1362.499 PropClause: 1299.863 Set: 274.327 Check: 0.015 Back: 54.034
INFO - Atoms: 25193/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 2435470 Tprops: 0 Decides: 101 RSplits: 0
INFO - Times: Expl: 165.755 Prop: 1379.927 PropClause: 1316.632 Set: 276.974 Check: 0.015 Back: 54.605
INFO - Atoms: 25192/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 2460763 Tprops: 0 Decides: 102 RSplits: 0
INFO - Times: Expl: 167.166 Prop: 1394.175 PropClause: 1330.234 Set: 279.516 Check: 0.015 Back: 55.18
INFO - Atoms: 25188/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 2486058 Tprops: 0 Decides: 103 RSplits: 0
INFO - Times: Expl: 169.194 Prop: 1410.669 PropClause: 1346.078 Set: 282.067 Check: 0.015 Back: 55.754
INFO - Atoms: 25188/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 2511345 Tprops: 0 Decides: 104 RSplits: 0
INFO - Times: Expl: 170.758 Prop: 1425.692 PropClause: 1360.456 Set: 284.627 Check: 0.016 Back: 56.325
INFO - Atoms: 25183/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 2536634 Tprops: 0 Decides: 105 RSplits: 0
INFO - Times: Expl: 172.123 Prop: 1440.377 PropClause: 1374.496 Set: 287.175 Check: 0.016 Back: 56.896
INFO - Atoms: 25183/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 2561915 Tprops: 0 Decides: 106 RSplits: 0
INFO - Times: Expl: 173.504 Prop: 1454.848 PropClause: 1388.323 Set: 289.727 Check: 0.016 Back: 57.467
INFO - Atoms: 25178/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 2587198 Tprops: 0 Decides: 107 RSplits: 0
INFO - Times: Expl: 175.364 Prop: 1470.081 PropClause: 1402.906 Set: 292.353 Check: 0.016 Back: 58.036
INFO - Atoms: 25178/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 2612471 Tprops: 0 Decides: 108 RSplits: 0
INFO - Times: Expl: 177.238 Prop: 1485.181 PropClause: 1417.345 Set: 294.92 Check: 0.017 Back: 58.625
INFO - Atoms: 25172/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 2637750 Tprops: 0 Decides: 109 RSplits: 0
INFO - Times: Expl: 179.722 Prop: 1501.931 PropClause: 1433.443 Set: 297.546 Check: 0.017 Back: 59.203
INFO - Atoms: 25174/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 2663015 Tprops: 0 Decides: 110 RSplits: 0
INFO - Times: Expl: 181.31 Prop: 1517.257 PropClause: 1448.106 Set: 300.107 Check: 0.017 Back: 59.785
INFO - Atoms: 25166/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 2688288 Tprops: 0 Decides: 111 RSplits: 0
INFO - Times: Expl: 182.861 Prop: 1533.03 PropClause: 1463.234 Set: 302.676 Check: 0.017 Back: 60.355
INFO - Atoms: 25169/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 2713547 Tprops: 0 Decides: 112 RSplits: 0
INFO - Times: Expl: 184.361 Prop: 1548.869 PropClause: 1478.43 Set: 305.23 Check: 0.017 Back: 60.925
INFO - Atoms: 25161/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 2738816 Tprops: 0 Decides: 113 RSplits: 0
INFO - Times: Expl: 185.718 Prop: 1563.663 PropClause: 1492.578 Set: 307.781 Check: 0.018 Back: 61.495
INFO - Atoms: 25165/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 2764067 Tprops: 0 Decides: 114 RSplits: 0
INFO - Times: Expl: 187.126 Prop: 1578.966 PropClause: 1507.231 Set: 310.345 Check: 0.018 Back: 62.065
INFO - Atoms: 25155/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 2789330 Tprops: 0 Decides: 115 RSplits: 0
INFO - Times: Expl: 188.52 Prop: 1593.809 PropClause: 1521.429 Set: 312.895 Check: 0.018 Back: 62.635
INFO - Atoms: 25160/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 2814577 Tprops: 0 Decides: 116 RSplits: 0
INFO - Times: Expl: 189.974 Prop: 1608.295 PropClause: 1535.259 Set: 315.427 Check: 0.018 Back: 63.205
INFO - Atoms: 25151/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 2839834 Tprops: 0 Decides: 117 RSplits: 0
INFO - Times: Expl: 191.381 Prop: 1623.81 PropClause: 1550.119 Set: 318.015 Check: 0.018 Back: 63.777
INFO - Atoms: 25155/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 2865073 Tprops: 0 Decides: 118 RSplits: 0
INFO - Times: Expl: 192.777 Prop: 1639.076 PropClause: 1564.741 Set: 320.578 Check: 0.018 Back: 64.348
INFO - Atoms: 25145/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 2890326 Tprops: 0 Decides: 119 RSplits: 0
INFO - Times: Expl: 194.191 Prop: 1653.815 PropClause: 1578.834 Set: 323.128 Check: 0.018 Back: 64.918
INFO - Atoms: 25151/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 2915557 Tprops: 0 Decides: 120 RSplits: 0
INFO - Times: Expl: 195.74 Prop: 1670.463 PropClause: 1594.822 Set: 325.75 Check: 0.019 Back: 65.488
INFO - Atoms: 25139/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 2940806 Tprops: 0 Decides: 121 RSplits: 0
INFO - Times: Expl: 197.146 Prop: 1686.37 PropClause: 1610.081 Set: 328.323 Check: 0.019 Back: 66.06
INFO - Atoms: 25147/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 2966029 Tprops: 0 Decides: 122 RSplits: 0
INFO - Times: Expl: 198.466 Prop: 1700.827 PropClause: 1623.886 Set: 330.852 Check: 0.019 Back: 66.629
INFO - Atoms: 25133/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 2991274 Tprops: 0 Decides: 123 RSplits: 0
INFO - Times: Expl: 200.044 Prop: 1716.294 PropClause: 1638.71 Set: 333.423 Check: 0.019 Back: 67.214
INFO - Atoms: 25143/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 3016491 Tprops: 0 Decides: 124 RSplits: 0
INFO - Times: Expl: 201.627 Prop: 1732.52 PropClause: 1654.283 Set: 336.002 Check: 0.019 Back: 67.793
INFO - Atoms: 25128/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 3041730 Tprops: 0 Decides: 125 RSplits: 0
INFO - Times: Expl: 203.228 Prop: 1749.507 PropClause: 1670.623 Set: 344.248 Check: 0.019 Back: 68.364
INFO - Atoms: 25138/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 3066939 Tprops: 0 Decides: 126 RSplits: 0
INFO - Times: Expl: 204.897 Prop: 1765.091 PropClause: 1685.562 Set: 346.819 Check: 0.019 Back: 68.933
INFO - Atoms: 25122/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 3092174 Tprops: 0 Decides: 127 RSplits: 0
INFO - Times: Expl: 206.541 Prop: 1781.683 PropClause: 1701.508 Set: 349.387 Check: 0.019 Back: 69.511
INFO - Atoms: 25134/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 3117375 Tprops: 0 Decides: 128 RSplits: 0
INFO - Times: Expl: 208.003 Prop: 1796.826 PropClause: 1716.008 Set: 351.921 Check: 0.02 Back: 70.079
INFO - Atoms: 25116/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 3142606 Tprops: 0 Decides: 129 RSplits: 0
INFO - Times: Expl: 209.392 Prop: 1811.707 PropClause: 1730.247 Set: 354.463 Check: 0.02 Back: 70.649
INFO - Atoms: 25130/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 3167803 Tprops: 0 Decides: 130 RSplits: 0
INFO - Times: Expl: 210.85 Prop: 1826.562 PropClause: 1744.455 Set: 357.007 Check: 0.02 Back: 71.217
INFO - Atoms: 25113/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 3193032 Tprops: 0 Decides: 131 RSplits: 0
INFO - Times: Expl: 212.149 Prop: 1840.683 PropClause: 1757.93 Set: 359.568 Check: 0.02 Back: 71.788
INFO - Atoms: 25128/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 3218221 Tprops: 0 Decides: 132 RSplits: 0
INFO - Times: Expl: 214.002 Prop: 1856.148 PropClause: 1772.748 Set: 362.144 Check: 0.02 Back: 72.368
INFO - Atoms: 25107/39872 Clauses: 10882 Axioms: 93696
INFO - Formula is unsat
INFO - Bitblasting DPLL finished