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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 268795133
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 77050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.681 Prop: 194.54 PropClause: 178.516 Set: 233.86 Check: 0.0 Back: 0.0
INFO - Atoms: 77050/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 154088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.774 Prop: 315.808 PropClause: 296.223 Set: 294.375 Check: 0.0 Back: 2.08
INFO - Atoms: 77038/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 231116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.82 Prop: 444.905 PropClause: 422.363 Set: 312.893 Check: 0.0 Back: 4.06
INFO - Atoms: 77028/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 308136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.866 Prop: 556.464 PropClause: 531.609 Set: 341.355 Check: 0.0 Back: 6.109
INFO - Atoms: 77020/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 385150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.912 Prop: 643.403 PropClause: 616.615 Set: 384.477 Check: 0.0 Back: 8.132
INFO - Atoms: 77014/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 462156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.956 Prop: 726.854 PropClause: 698.167 Set: 398.325 Check: 0.0 Back: 10.163
INFO - Atoms: 77006/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 538901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.016 Prop: 809.253 PropClause: 778.654 Set: 412.203 Check: 0.0 Back: 12.093
INFO - Atoms: 76745/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 615139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.093 Prop: 903.716 PropClause: 871.146 Set: 426.94 Check: 0.0 Back: 13.852
INFO - Atoms: 76238/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 691117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.137 Prop: 980.803 PropClause: 946.357 Set: 440.575 Check: 0.0 Back: 15.6
INFO - Atoms: 75978/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 766714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.194 Prop: 1071.186 PropClause: 1034.831 Set: 454.592 Check: 0.0 Back: 17.438
INFO - Atoms: 75597/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 842048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.242 Prop: 1151.584 PropClause: 1113.373 Set: 475.815 Check: 0.0 Back: 19.193
INFO - Atoms: 75334/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 917125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.289 Prop: 1238.45 PropClause: 1198.338 Set: 498.185 Check: 0.0 Back: 20.933
INFO - Atoms: 75077/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 991941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.347 Prop: 1322.487 PropClause: 1280.514 Set: 519.541 Check: 0.0 Back: 22.842
INFO - Atoms: 74816/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1066500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.389 Prop: 1402.746 PropClause: 1358.926 Set: 532.946 Check: 0.0 Back: 24.746
INFO - Atoms: 74559/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1140925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.447 Prop: 1491.642 PropClause: 1445.565 Set: 549.307 Check: 0.0 Back: 26.661
INFO - Atoms: 74425/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1215093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.492 Prop: 1575.324 PropClause: 1527.43 Set: 562.639 Check: 0.0 Back: 28.4
INFO - Atoms: 74168/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1289000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.535 Prop: 1650.372 PropClause: 1600.654 Set: 575.894 Check: 0.0 Back: 30.08
INFO - Atoms: 73907/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1362646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.573 Prop: 1732.597 PropClause: 1681.068 Set: 589.178 Check: 0.0 Back: 31.769
INFO - Atoms: 73646/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1436298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.616 Prop: 1810.098 PropClause: 1756.762 Set: 602.428 Check: 0.0 Back: 33.448
INFO - Atoms: 73652/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1509938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.663 Prop: 1895.894 PropClause: 1840.742 Set: 615.84 Check: 0.0 Back: 35.134
INFO - Atoms: 73640/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1583580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.705 Prop: 1973.659 PropClause: 1916.698 Set: 629.107 Check: 0.0 Back: 36.813
INFO - Atoms: 73642/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1656965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.752 Prop: 2081.968 PropClause: 2022.922 Set: 646.952 Check: 0.0 Back: 38.517
INFO - Atoms: 73385/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1730087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.797 Prop: 2166.952 PropClause: 2106.098 Set: 660.18 Check: 0.0 Back: 40.374
INFO - Atoms: 73122/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1802952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.84 Prop: 2245.766 PropClause: 2183.12 Set: 673.263 Check: 0.0 Back: 42.034
INFO - Atoms: 72865/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1875558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.884 Prop: 2326.154 PropClause: 2261.715 Set: 686.364 Check: 0.0 Back: 43.697
INFO - Atoms: 72606/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1947907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.928 Prop: 2415.259 PropClause: 2349.037 Set: 702.886 Check: 0.0 Back: 45.351
INFO - Atoms: 72349/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2019993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.97 Prop: 2498.682 PropClause: 2430.667 Set: 722.744 Check: 0.0 Back: 47.012
INFO - Atoms: 72086/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2091821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.013 Prop: 2583.62 PropClause: 2513.821 Set: 742.268 Check: 0.0 Back: 48.665
INFO - Atoms: 71828/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2163270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.054 Prop: 2660.542 PropClause: 2588.978 Set: 761.468 Check: 0.0 Back: 50.317
INFO - Atoms: 71449/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2234459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.098 Prop: 2744.595 PropClause: 2671.269 Set: 780.896 Check: 0.0 Back: 51.975
INFO - Atoms: 71189/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2305512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.142 Prop: 2822.105 PropClause: 2747.013 Set: 800.615 Check: 0.0 Back: 53.625
INFO - Atoms: 71053/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2376308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.187 Prop: 2905.338 PropClause: 2828.486 Set: 813.674 Check: 0.0 Back: 55.261
INFO - Atoms: 70796/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2446844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.231 Prop: 2985.104 PropClause: 2906.503 Set: 826.594 Check: 0.0 Back: 56.912
INFO - Atoms: 70536/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2517124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.276 Prop: 3063.876 PropClause: 2983.528 Set: 839.209 Check: 0.0 Back: 58.559
INFO - Atoms: 70280/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2587143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.319 Prop: 3139.174 PropClause: 3057.081 Set: 851.882 Check: 0.0 Back: 60.184
INFO - Atoms: 70019/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2656905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.367 Prop: 3212.173 PropClause: 3128.347 Set: 864.371 Check: 0.0 Back: 61.802
INFO - Atoms: 69762/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2726406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.411 Prop: 3287.897 PropClause: 3202.335 Set: 876.927 Check: 0.0 Back: 63.408
INFO - Atoms: 69501/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2795647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.449 Prop: 3361.151 PropClause: 3273.861 Set: 889.341 Check: 0.0 Back: 65.011
INFO - Atoms: 69241/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2864630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.49 Prop: 3436.78 PropClause: 3347.77 Set: 901.867 Check: 0.0 Back: 66.609
INFO - Atoms: 68983/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2933354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.54 Prop: 3507.978 PropClause: 3417.256 Set: 914.3 Check: 0.0 Back: 68.205
INFO - Atoms: 68724/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 3001817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.583 Prop: 3580.902 PropClause: 3488.483 Set: 926.635 Check: 0.0 Back: 69.814
INFO - Atoms: 68463/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 3069775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.634 Prop: 3652.002 PropClause: 3557.894 Set: 938.763 Check: 0.0 Back: 71.422
INFO - Atoms: 67958/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3137475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.671 Prop: 3724.428 PropClause: 3628.64 Set: 950.981 Check: 0.0 Back: 73.021
INFO - Atoms: 67700/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 3204915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 3795.709 PropClause: 3698.242 Set: 977.269 Check: 0.0 Back: 74.61
INFO - Atoms: 67440/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 3272095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.76 Prop: 3867.526 PropClause: 3768.38 Set: 989.359 Check: 0.0 Back: 76.175
INFO - Atoms: 67180/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 3339018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.801 Prop: 3936.772 PropClause: 3835.956 Set: 1001.436 Check: 0.0 Back: 77.727
INFO - Atoms: 66923/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 3405680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 4007.273 PropClause: 3904.802 Set: 1013.445 Check: 0.0 Back: 79.305
INFO - Atoms: 66662/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 3472084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.883 Prop: 4076.395 PropClause: 3972.27 Set: 1025.432 Check: 0.0 Back: 80.833
INFO - Atoms: 66404/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3538230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.925 Prop: 4145.846 PropClause: 4040.085 Set: 1037.296 Check: 0.0 Back: 82.358
INFO - Atoms: 66146/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3604119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.971 Prop: 4213.953 PropClause: 4106.555 Set: 1049.112 Check: 0.0 Back: 83.871
INFO - Atoms: 65889/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3669747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.01 Prop: 4282.483 PropClause: 4173.457 Set: 1060.812 Check: 0.0 Back: 85.391
INFO - Atoms: 65628/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3735116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.153 Prop: 4350.205 PropClause: 4239.555 Set: 1072.568 Check: 0.0 Back: 86.898
INFO - Atoms: 65369/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3800224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.174 Prop: 4418.375 PropClause: 4306.108 Set: 1084.188 Check: 0.0 Back: 88.417
INFO - Atoms: 65108/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3865074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.191 Prop: 4483.474 PropClause: 4369.599 Set: 1095.746 Check: 0.0 Back: 89.917
INFO - Atoms: 64850/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3929666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.21 Prop: 4547.419 PropClause: 4431.931 Set: 1107.197 Check: 0.0 Back: 91.398
INFO - Atoms: 64592/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3994001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.23 Prop: 4610.632 PropClause: 4493.562 Set: 1118.587 Check: 0.0 Back: 92.872
INFO - Atoms: 64335/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 4058075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.25 Prop: 4676.232 PropClause: 4557.569 Set: 1133.195 Check: 0.0 Back: 94.345
INFO - Atoms: 64074/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 4121889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.269 Prop: 4741.237 PropClause: 4620.993 Set: 1149.92 Check: 0.0 Back: 95.831
INFO - Atoms: 63814/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 4185443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.288 Prop: 4805.221 PropClause: 4683.412 Set: 1166.636 Check: 0.0 Back: 97.28
INFO - Atoms: 63554/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 4248740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.309 Prop: 4867.671 PropClause: 4744.302 Set: 1200.892 Check: 0.0 Back: 98.736
INFO - Atoms: 63297/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 4311778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.328 Prop: 4930.644 PropClause: 4805.729 Set: 1212.033 Check: 0.0 Back: 100.203
INFO - Atoms: 63038/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 4374559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.346 Prop: 4993.471 PropClause: 4867.012 Set: 1223.171 Check: 0.0 Back: 101.629
INFO - Atoms: 62781/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 4437079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.365 Prop: 5055.109 PropClause: 4927.115 Set: 1234.172 Check: 0.0 Back: 103.07
INFO - Atoms: 62520/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 4499342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.386 Prop: 5133.475 PropClause: 5003.667 Set: 1248.218 Check: 0.0 Back: 104.504
INFO - Atoms: 62263/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 4561342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.465 Prop: 5192.149 PropClause: 5060.804 Set: 1259.028 Check: 0.0 Back: 105.974
INFO - Atoms: 62000/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 4623085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 5255.093 PropClause: 5122.235 Set: 1269.939 Check: 0.0 Back: 107.401
INFO - Atoms: 61743/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 4684569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.499 Prop: 5314.546 PropClause: 5180.172 Set: 1280.84 Check: 0.0 Back: 108.846
INFO - Atoms: 61484/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4745793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.515 Prop: 5375.591 PropClause: 5239.717 Set: 1291.649 Check: 0.0 Back: 110.245
INFO - Atoms: 61224/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4806757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.53 Prop: 5435.137 PropClause: 5297.754 Set: 1302.385 Check: 0.0 Back: 111.647
INFO - Atoms: 60964/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4867464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.546 Prop: 5492.624 PropClause: 5353.751 Set: 1313.068 Check: 0.0 Back: 113.033
INFO - Atoms: 60707/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4927910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 5550.646 PropClause: 5410.279 Set: 1323.662 Check: 0.0 Back: 114.402
INFO - Atoms: 60446/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4988099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.577 Prop: 5604.922 PropClause: 5463.07 Set: 1334.007 Check: 0.0 Back: 115.766
INFO - Atoms: 60189/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 5048027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.593 Prop: 5663.446 PropClause: 5520.109 Set: 1344.545 Check: 0.0 Back: 117.154
INFO - Atoms: 59928/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 5107697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.607 Prop: 5716.841 PropClause: 5572.013 Set: 1354.876 Check: 0.0 Back: 118.525
INFO - Atoms: 59670/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 5167109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.621 Prop: 5774.663 PropClause: 5628.382 Set: 1365.229 Check: 0.0 Back: 119.883
INFO - Atoms: 59412/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 5226261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.636 Prop: 5830.035 PropClause: 5682.302 Set: 1375.635 Check: 0.0 Back: 121.236
INFO - Atoms: 59152/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 5285153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.653 Prop: 5894.03 PropClause: 5744.849 Set: 1386.224 Check: 0.0 Back: 122.579
INFO - Atoms: 58892/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 5343788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.67 Prop: 5954.626 PropClause: 5803.989 Set: 1396.477 Check: 0.0 Back: 123.949
INFO - Atoms: 58635/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 5402164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.686 Prop: 6013.167 PropClause: 5861.087 Set: 1406.796 Check: 0.0 Back: 125.298
INFO - Atoms: 58376/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 5460281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.701 Prop: 6073.12 PropClause: 5919.613 Set: 1417.033 Check: 0.0 Back: 126.626
INFO - Atoms: 58117/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 5518139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.718 Prop: 6130.26 PropClause: 5975.318 Set: 1427.196 Check: 0.0 Back: 127.964
INFO - Atoms: 57858/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 5575740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.733 Prop: 6190.184 PropClause: 6033.804 Set: 1437.349 Check: 0.0 Back: 129.285
INFO - Atoms: 57601/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 5633078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 6241.44 PropClause: 6083.649 Set: 1447.318 Check: 0.0 Back: 130.603
INFO - Atoms: 57338/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 5690158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.765 Prop: 6299.735 PropClause: 6140.519 Set: 1457.354 Check: 0.0 Back: 131.906
INFO - Atoms: 57080/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 5746978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.781 Prop: 6348.887 PropClause: 6188.265 Set: 1467.152 Check: 0.0 Back: 133.199
INFO - Atoms: 56820/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 5803541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.799 Prop: 6407.354 PropClause: 6245.313 Set: 1477.163 Check: 0.0 Back: 134.511
INFO - Atoms: 56563/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 5859845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.815 Prop: 6457.359 PropClause: 6293.918 Set: 1486.935 Check: 0.0 Back: 135.837
INFO - Atoms: 56304/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5915892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.83 Prop: 6515.206 PropClause: 6350.385 Set: 1496.794 Check: 0.0 Back: 137.15
INFO - Atoms: 56047/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 5971676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.843 Prop: 6568.392 PropClause: 6402.184 Set: 1506.649 Check: 0.0 Back: 138.419
INFO - Atoms: 55784/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 6027203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.858 Prop: 6619.22 PropClause: 6451.624 Set: 1516.39 Check: 0.0 Back: 139.703
INFO - Atoms: 55527/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 6082471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.876 Prop: 6671.346 PropClause: 6502.384 Set: 1526.092 Check: 0.0 Back: 140.963
INFO - Atoms: 55268/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 6137480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.891 Prop: 6718.806 PropClause: 6548.494 Set: 1535.465 Check: 0.0 Back: 142.23
INFO - Atoms: 55009/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 6192230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.906 Prop: 6770.878 PropClause: 6599.211 Set: 1545.041 Check: 0.0 Back: 143.477
INFO - Atoms: 54750/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 6246723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.953 Prop: 6817.02 PropClause: 6644.014 Set: 1554.36 Check: 0.0 Back: 144.72
INFO - Atoms: 54493/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 6300955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.012 Prop: 6869.653 PropClause: 6695.314 Set: 1563.786 Check: 0.0 Back: 145.966
INFO - Atoms: 54232/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 6354930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.026 Prop: 6924.975 PropClause: 6749.269 Set: 1592.61 Check: 0.0 Back: 147.213
INFO - Atoms: 53975/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 6408644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.037 Prop: 6973.706 PropClause: 6796.675 Set: 1602.01 Check: 0.0 Back: 148.46
INFO - Atoms: 53714/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 6462101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.048 Prop: 7024.29 PropClause: 6845.913 Set: 1611.397 Check: 0.0 Back: 149.687
INFO - Atoms: 53457/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 6515297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.058 Prop: 7068.784 PropClause: 6889.095 Set: 1620.494 Check: 0.0 Back: 150.91
INFO - Atoms: 53196/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 6568236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.069 Prop: 7121.797 PropClause: 6940.794 Set: 1629.72 Check: 0.0 Back: 152.137
INFO - Atoms: 52939/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 6620912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.081 Prop: 7164.416 PropClause: 6982.113 Set: 1638.673 Check: 0.0 Back: 153.342
INFO - Atoms: 52676/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 6673333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.093 Prop: 7213.787 PropClause: 7030.191 Set: 1647.794 Check: 0.0 Back: 154.563
INFO - Atoms: 52421/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 6725491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.106 Prop: 7260.767 PropClause: 7075.879 Set: 1656.869 Check: 0.0 Back: 155.766
INFO - Atoms: 52158/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 6777394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.119 Prop: 7306.411 PropClause: 7120.239 Set: 1665.729 Check: 0.0 Back: 156.96
INFO - Atoms: 51903/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 6829036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.13 Prop: 7353.024 PropClause: 7165.569 Set: 1674.773 Check: 0.0 Back: 158.156
INFO - Atoms: 51642/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 6880418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.141 Prop: 7397.108 PropClause: 7208.385 Set: 1683.813 Check: 0.0 Back: 159.336
INFO - Atoms: 51382/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 6931542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.152 Prop: 7445.246 PropClause: 7255.265 Set: 1692.717 Check: 0.0 Back: 160.519
INFO - Atoms: 51124/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 6982407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.162 Prop: 7495.134 PropClause: 7303.893 Set: 1701.703 Check: 0.0 Back: 161.704
INFO - Atoms: 50865/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 7033011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.174 Prop: 7537.658 PropClause: 7345.169 Set: 1710.292 Check: 0.0 Back: 162.881
INFO - Atoms: 50604/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 7083358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.185 Prop: 7584.088 PropClause: 7390.348 Set: 1719.05 Check: 0.0 Back: 164.036
INFO - Atoms: 50347/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 7133444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.196 Prop: 7623.456 PropClause: 7428.478 Set: 1727.549 Check: 0.0 Back: 165.187
INFO - Atoms: 50086/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 7183272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.206 Prop: 7669.445 PropClause: 7473.229 Set: 1736.213 Check: 0.0 Back: 166.332
INFO - Atoms: 49828/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 7232842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.215 Prop: 7712.69 PropClause: 7515.258 Set: 1744.719 Check: 0.0 Back: 167.473
INFO - Atoms: 49570/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 7282155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.224 Prop: 7753.3 PropClause: 7554.643 Set: 1753.089 Check: 0.0 Back: 168.621
INFO - Atoms: 49313/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 7331207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.234 Prop: 7794.871 PropClause: 7595.005 Set: 1761.506 Check: 0.0 Back: 169.743
INFO - Atoms: 49052/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 7380000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 7833.428 PropClause: 7632.36 Set: 1769.742 Check: 0.0 Back: 170.872
INFO - Atoms: 48793/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 7428534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.26 Prop: 7875.815 PropClause: 7673.544 Set: 1778.26 Check: 0.0 Back: 171.992
INFO - Atoms: 48534/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 7476811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.274 Prop: 7917.415 PropClause: 7713.958 Set: 1786.562 Check: 0.0 Back: 173.126
INFO - Atoms: 48277/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 7524825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.286 Prop: 7952.348 PropClause: 7747.702 Set: 1794.681 Check: 0.0 Back: 174.225
INFO - Atoms: 48014/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 7572582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.297 Prop: 7993.079 PropClause: 7787.255 Set: 1802.806 Check: 0.0 Back: 175.328
INFO - Atoms: 47757/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 7620078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.308 Prop: 8030.638 PropClause: 7823.627 Set: 1810.765 Check: 0.0 Back: 176.438
INFO - Atoms: 47496/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 7667317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.319 Prop: 8069.743 PropClause: 7861.558 Set: 1818.816 Check: 0.0 Back: 177.53
INFO - Atoms: 47239/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 7714295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.332 Prop: 8106.894 PropClause: 7897.544 Set: 1826.788 Check: 0.0 Back: 178.608
INFO - Atoms: 46978/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 7759743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.341 Prop: 8141.463 PropClause: 7930.992 Set: 1834.635 Check: 0.0 Back: 179.689
INFO - Atoms: 45448/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 7804932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.353 Prop: 8176.1 PropClause: 7964.51 Set: 1842.156 Check: 0.0 Back: 180.722
INFO - Atoms: 45189/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 7849864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.364 Prop: 8213.181 PropClause: 8000.474 Set: 1849.713 Check: 0.0 Back: 181.753
INFO - Atoms: 44932/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 7894535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.376 Prop: 8242.476 PropClause: 8028.668 Set: 1856.977 Check: 0.0 Back: 182.777
INFO - Atoms: 44671/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 7938949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.387 Prop: 8279.397 PropClause: 8064.491 Set: 1864.449 Check: 0.0 Back: 183.794
INFO - Atoms: 44414/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 7983100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.4 Prop: 8316.738 PropClause: 8100.426 Set: 1874.169 Check: 0.0 Back: 184.8
INFO - Atoms: 44151/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 8026993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.414 Prop: 8349.787 PropClause: 8132.386 Set: 1881.51 Check: 0.0 Back: 185.824
INFO - Atoms: 43893/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 8070628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.425 Prop: 8382.337 PropClause: 8163.846 Set: 1888.903 Check: 0.0 Back: 186.847
INFO - Atoms: 43635/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 8114006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.436 Prop: 8413.698 PropClause: 8194.139 Set: 1896.065 Check: 0.0 Back: 187.893
INFO - Atoms: 43378/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 8157123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.445 Prop: 8446.309 PropClause: 8225.681 Set: 1903.277 Check: 0.0 Back: 188.879
INFO - Atoms: 43117/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 8199981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 8478.107 PropClause: 8256.414 Set: 1910.305 Check: 0.0 Back: 189.869
INFO - Atoms: 42858/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 8242578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.468 Prop: 8506.278 PropClause: 8283.53 Set: 1917.247 Check: 0.0 Back: 190.843
INFO - Atoms: 42597/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 8284917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.48 Prop: 8540.738 PropClause: 8316.939 Set: 1924.249 Check: 0.0 Back: 191.816
INFO - Atoms: 42339/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 8326998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.491 Prop: 8570.593 PropClause: 8345.755 Set: 1931.149 Check: 0.0 Back: 192.783
INFO - Atoms: 42081/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 8368822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.5 Prop: 8597.086 PropClause: 8371.22 Set: 1937.857 Check: 0.0 Back: 193.753
INFO - Atoms: 41824/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 8410383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 8626.648 PropClause: 8399.752 Set: 1944.674 Check: 0.0 Back: 194.703
INFO - Atoms: 41561/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 8451689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 8656.881 PropClause: 8428.97 Set: 1951.399 Check: 0.0 Back: 195.651
INFO - Atoms: 41306/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 8492734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.535 Prop: 8682.083 PropClause: 8453.153 Set: 1958.005 Check: 0.0 Back: 196.591
INFO - Atoms: 41045/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 8533520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.545 Prop: 8710.761 PropClause: 8480.824 Set: 1964.54 Check: 0.0 Back: 197.526
INFO - Atoms: 40786/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 8574047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.558 Prop: 8738.256 PropClause: 8507.317 Set: 1971.119 Check: 0.0 Back: 198.466
INFO - Atoms: 40527/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 8614315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 8763.695 PropClause: 8531.774 Set: 1977.527 Check: 0.0 Back: 199.407
INFO - Atoms: 40268/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 8654322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.582 Prop: 8791.271 PropClause: 8558.357 Set: 1984.006 Check: 0.0 Back: 200.337
INFO - Atoms: 40007/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 8694074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.593 Prop: 8818.708 PropClause: 8584.823 Set: 1990.431 Check: 0.0 Back: 201.259
INFO - Atoms: 39752/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 8733563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.605 Prop: 8841.376 PropClause: 8606.511 Set: 1996.734 Check: 0.0 Back: 202.162
INFO - Atoms: 39489/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 8772797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.617 Prop: 8868.878 PropClause: 8633.052 Set: 2003.097 Check: 0.0 Back: 203.064
INFO - Atoms: 39234/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 8811770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.628 Prop: 8893.933 PropClause: 8657.145 Set: 2009.376 Check: 0.0 Back: 203.968
INFO - Atoms: 38973/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 8850483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.642 Prop: 8918.992 PropClause: 8681.247 Set: 2015.659 Check: 0.0 Back: 204.867
INFO - Atoms: 38713/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 8888936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.652 Prop: 8943.196 PropClause: 8704.501 Set: 2021.844 Check: 0.0 Back: 205.751
INFO - Atoms: 38453/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 8927132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.663 Prop: 8968.075 PropClause: 8728.423 Set: 2027.983 Check: 0.0 Back: 206.628
INFO - Atoms: 38196/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 8965069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.675 Prop: 8989.226 PropClause: 8748.639 Set: 2034.002 Check: 0.0 Back: 207.5
INFO - Atoms: 37937/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 9002747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.687 Prop: 9013.975 PropClause: 8772.446 Set: 2040.007 Check: 0.0 Back: 208.367
INFO - Atoms: 37678/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 9040166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.699 Prop: 9036.576 PropClause: 8794.126 Set: 2045.948 Check: 0.0 Back: 209.224
INFO - Atoms: 37419/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 9077325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.713 Prop: 9058.331 PropClause: 8814.964 Set: 2051.839 Check: 0.0 Back: 210.079
INFO - Atoms: 37159/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 9114226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.724 Prop: 9080.979 PropClause: 8836.695 Set: 2057.709 Check: 0.0 Back: 210.933
INFO - Atoms: 36901/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 9150868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.738 Prop: 9103.303 PropClause: 8858.116 Set: 2063.56 Check: 0.0 Back: 211.775
INFO - Atoms: 36642/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 9187249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.751 Prop: 9126.6 PropClause: 8880.48 Set: 2069.345 Check: 0.0 Back: 212.612
INFO - Atoms: 36381/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 9223375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.763 Prop: 9147.701 PropClause: 8900.692 Set: 2075.077 Check: 0.0 Back: 213.442
INFO - Atoms: 36126/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 9259238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.775 Prop: 9169.296 PropClause: 8921.391 Set: 2080.778 Check: 0.0 Back: 214.263
INFO - Atoms: 35863/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 9294844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.789 Prop: 9191.288 PropClause: 8942.503 Set: 2086.417 Check: 0.0 Back: 215.094
INFO - Atoms: 35606/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 9330189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.799 Prop: 9210.48 PropClause: 8960.819 Set: 2091.987 Check: 0.0 Back: 215.907
INFO - Atoms: 35345/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 9364004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.813 Prop: 9231.49 PropClause: 8981.0 Set: 2097.201 Check: 0.0 Back: 216.712
INFO - Atoms: 33815/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 9397560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.824 Prop: 9249.734 PropClause: 8998.408 Set: 2102.348 Check: 0.0 Back: 217.474
INFO - Atoms: 33556/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 9430859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.837 Prop: 9267.182 PropClause: 9015.035 Set: 2107.449 Check: 0.0 Back: 218.235
INFO - Atoms: 33299/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 9463895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.849 Prop: 9285.687 PropClause: 9032.72 Set: 2112.541 Check: 0.0 Back: 218.993
INFO - Atoms: 33036/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 9496676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.863 Prop: 9305.795 PropClause: 9052.004 Set: 2117.912 Check: 0.0 Back: 219.789
INFO - Atoms: 32781/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 9529194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 9323.127 PropClause: 9068.54 Set: 2122.859 Check: 0.0 Back: 220.616
INFO - Atoms: 32518/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 9561457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.887 Prop: 9339.363 PropClause: 9083.975 Set: 2127.793 Check: 0.0 Back: 221.361
INFO - Atoms: 32263/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 9593457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.899 Prop: 9356.245 PropClause: 9100.055 Set: 2132.684 Check: 0.0 Back: 222.102
INFO - Atoms: 32000/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 9625200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.911 Prop: 9373.566 PropClause: 9116.586 Set: 2137.543 Check: 0.0 Back: 222.831
INFO - Atoms: 31743/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 9656684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.922 Prop: 9388.804 PropClause: 9131.048 Set: 2142.335 Check: 0.0 Back: 223.559
INFO - Atoms: 31484/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 9687911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.935 Prop: 9405.414 PropClause: 9146.888 Set: 2147.102 Check: 0.0 Back: 224.272
INFO - Atoms: 31227/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 9718875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.948 Prop: 9422.215 PropClause: 9162.913 Set: 2151.807 Check: 0.0 Back: 224.983
INFO - Atoms: 30964/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 9749582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.96 Prop: 9438.632 PropClause: 9178.574 Set: 2156.446 Check: 0.0 Back: 225.696
INFO - Atoms: 30707/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 9780030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.973 Prop: 9452.655 PropClause: 9191.843 Set: 2161.05 Check: 0.0 Back: 226.394
INFO - Atoms: 30448/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 9810221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.985 Prop: 9468.599 PropClause: 9207.03 Set: 2165.632 Check: 0.0 Back: 227.089
INFO - Atoms: 30191/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 9840151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.062 Prop: 9483.298 PropClause: 9220.99 Set: 2170.122 Check: 0.0 Back: 227.777
INFO - Atoms: 29930/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 9869824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.108 Prop: 9497.918 PropClause: 9234.876 Set: 2174.59 Check: 0.0 Back: 228.458
INFO - Atoms: 29673/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 9899234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.12 Prop: 9511.148 PropClause: 9247.385 Set: 2178.969 Check: 0.0 Back: 229.141
INFO - Atoms: 29410/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 9928387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 9525.083 PropClause: 9260.587 Set: 2183.342 Check: 0.0 Back: 229.813
INFO - Atoms: 29153/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 9957281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.143 Prop: 9538.712 PropClause: 9273.492 Set: 2187.668 Check: 0.0 Back: 230.484
INFO - Atoms: 28894/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 9985918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.151 Prop: 9551.186 PropClause: 9285.263 Set: 2191.889 Check: 0.0 Back: 231.143
INFO - Atoms: 28637/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 10014294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.163 Prop: 9564.65 PropClause: 9298.023 Set: 2196.145 Check: 0.0 Back: 231.802
INFO - Atoms: 28376/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 10042413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.176 Prop: 9578.552 PropClause: 9311.237 Set: 2200.29 Check: 0.0 Back: 232.453
INFO - Atoms: 28119/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 10070269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.189 Prop: 9591.268 PropClause: 9323.266 Set: 2204.412 Check: 0.0 Back: 233.091
INFO - Atoms: 27856/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 10097868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 9602.784 PropClause: 9334.09 Set: 2208.46 Check: 0.0 Back: 233.728
INFO - Atoms: 27599/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 10125208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.212 Prop: 9615.143 PropClause: 9345.779 Set: 2212.501 Check: 0.0 Back: 234.362
INFO - Atoms: 27340/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 10152291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.224 Prop: 9626.866 PropClause: 9356.828 Set: 2216.463 Check: 0.0 Back: 234.986
INFO - Atoms: 27083/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 10178355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.236 Prop: 9638.449 PropClause: 9367.767 Set: 2220.252 Check: 0.0 Back: 235.606
INFO - Atoms: 26064/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 10204162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.248 Prop: 9648.203 PropClause: 9376.884 Set: 2223.939 Check: 0.0 Back: 236.208
INFO - Atoms: 25807/77054 Clauses: 593 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 692 Props: 14104880 Tprops: 0 Decides: 26498 RSplits: 0
INFO - Times: Expl: 2090.1 Prop: 13650.147 PropClause: 13266.643 Set: 2322.284 Check: 0.631 Back: 331.491
INFO - Atoms: 24991/77054 Clauses: 1092 Axioms: 256706
INFO - Confl: 1033 Props: 14455184 Tprops: 0 Decides: 28621 RSplits: 0
INFO - Times: Expl: 2215.836 Prop: 13873.341 PropClause: 13477.791 Set: 2331.51 Check: 0.686 Back: 340.319
INFO - Atoms: 25658/77054 Clauses: 1433 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1533 Props: 17731928 Tprops: 0 Decides: 49724 RSplits: 0
INFO - Times: Expl: 3702.769 Prop: 17422.152 PropClause: 16929.644 Set: 2413.54 Check: 1.195 Back: 419.236
INFO - Atoms: 24993/77054 Clauses: 1092 Axioms: 256706
INFO - Confl: 1719 Props: 17872846 Tprops: 0 Decides: 50364 RSplits: 0
INFO - Times: Expl: 3732.294 Prop: 17460.346 PropClause: 16964.095 Set: 2416.886 Check: 1.21 Back: 422.422
INFO - Atoms: 25664/77054 Clauses: 1278 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2219 Props: 20443963 Tprops: 0 Decides: 94693 RSplits: 0
INFO - Times: Expl: 4632.066 Prop: 20175.596 PropClause: 19593.515 Set: 2483.287 Check: 2.245 Back: 485.245
INFO - Atoms: 24962/77054 Clauses: 1092 Axioms: 256706
INFO - Restart
INFO - Confl: 2719 Props: 22642806 Tprops: 0 Decides: 114631 RSplits: 0
INFO - Times: Expl: 5447.973 Prop: 22394.992 PropClause: 21746.251 Set: 2536.088 Check: 2.709 Back: 537.856
INFO - Atoms: 24993/77054 Clauses: 1592 Axioms: 256706
INFO - Confl: 2982 Props: 22934129 Tprops: 0 Decides: 116148 RSplits: 0
INFO - Times: Expl: 5537.111 Prop: 22592.454 PropClause: 21934.918 Set: 2543.394 Check: 2.747 Back: 544.912
INFO - Atoms: 25643/77054 Clauses: 1855 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3482 Props: 26294673 Tprops: 0 Decides: 137171 RSplits: 0
INFO - Times: Expl: 6919.288 Prop: 26208.469 PropClause: 25450.608 Set: 2627.874 Check: 3.319 Back: 626.196
INFO - Atoms: 24991/77054 Clauses: 1370 Axioms: 256706
INFO - Restart
INFO - Confl: 3982 Props: 26927663 Tprops: 0 Decides: 140953 RSplits: 0
INFO - Times: Expl: 7052.44 Prop: 26536.68 PropClause: 25761.611 Set: 2642.6 Check: 3.407 Back: 640.896
INFO - Atoms: 24992/77054 Clauses: 1870 Axioms: 256706
INFO - Confl: 4098 Props: 27056947 Tprops: 0 Decides: 141610 RSplits: 0
INFO - Times: Expl: 7079.756 Prop: 26591.454 PropClause: 25812.9 Set: 2645.681 Check: 3.423 Back: 643.92
INFO - Atoms: 25431/77054 Clauses: 1986 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4598 Props: 29429603 Tprops: 0 Decides: 167633 RSplits: 0
INFO - Times: Expl: 8274.37 Prop: 28751.551 PropClause: 27902.555 Set: 2705.129 Check: 4.027 Back: 699.866
INFO - Atoms: 24991/77054 Clauses: 1370 Axioms: 256706
INFO - Restart
INFO - Confl: 5098 Props: 30415045 Tprops: 0 Decides: 173983 RSplits: 0
INFO - Times: Expl: 8551.022 Prop: 29451.641 PropClause: 28574.877 Set: 2728.27 Check: 4.176 Back: 723.047
INFO - Atoms: 24995/77054 Clauses: 1870 Axioms: 256706
INFO - Confl: 5146 Props: 30488798 Tprops: 0 Decides: 174385 RSplits: 0
INFO - Times: Expl: 8568.489 Prop: 29489.818 PropClause: 28611.063 Set: 2729.991 Check: 4.186 Back: 724.768
INFO - Atoms: 25030/77054 Clauses: 1918 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5646 Props: 34378362 Tprops: 0 Decides: 201346 RSplits: 0
INFO - Times: Expl: 9985.987 Prop: 33633.538 PropClause: 32639.803 Set: 2826.483 Check: 4.814 Back: 818.178
INFO - Atoms: 24992/77054 Clauses: 1543 Axioms: 256706
INFO - Confl: 5882 Props: 34618205 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.209 Prop: 33737.177 PropClause: 32736.787 Set: 2832.299 Check: 4.844 Back: 823.847
INFO - Atoms: 25716/77054 Clauses: 1779 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5883 Props: 34671933 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.213 Prop: 33817.731 PropClause: 32815.549 Set: 2864.029 Check: 4.844 Back: 824.435
INFO - Atoms: 53728/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5884 Props: 34725667 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.219 Prop: 33870.471 PropClause: 32866.961 Set: 2874.048 Check: 4.844 Back: 825.65
INFO - Atoms: 53734/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5885 Props: 34779671 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.224 Prop: 33919.779 PropClause: 32914.934 Set: 2884.068 Check: 4.844 Back: 826.886
INFO - Atoms: 54004/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5886 Props: 34833960 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.229 Prop: 33975.519 PropClause: 32969.339 Set: 2894.203 Check: 4.844 Back: 828.128
INFO - Atoms: 54289/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5887 Props: 34888470 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.234 Prop: 34032.378 PropClause: 33024.853 Set: 2904.489 Check: 4.844 Back: 829.383
INFO - Atoms: 54510/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5888 Props: 34942980 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.239 Prop: 34087.466 PropClause: 33078.54 Set: 2968.716 Check: 4.844 Back: 830.66
INFO - Atoms: 54510/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5889 Props: 34998016 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.304 Prop: 34142.82 PropClause: 33132.278 Set: 2979.068 Check: 4.844 Back: 831.926
INFO - Atoms: 55036/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5890 Props: 35053313 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.446 Prop: 34205.394 PropClause: 33193.199 Set: 2989.615 Check: 4.844 Back: 833.214
INFO - Atoms: 55297/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5891 Props: 35108859 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.457 Prop: 34266.073 PropClause: 33252.273 Set: 3000.219 Check: 4.844 Back: 834.496
INFO - Atoms: 55546/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5892 Props: 35171139 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.468 Prop: 34331.396 PropClause: 33315.841 Set: 3012.12 Check: 4.844 Back: 835.775
INFO - Atoms: 62280/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5893 Props: 35227723 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.48 Prop: 34402.739 PropClause: 33385.388 Set: 3024.638 Check: 4.844 Back: 837.224
INFO - Atoms: 56584/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5894 Props: 35284559 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.506 Prop: 34461.213 PropClause: 33442.414 Set: 3035.547 Check: 4.844 Back: 838.52
INFO - Atoms: 56836/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5895 Props: 35341655 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.517 Prop: 34519.497 PropClause: 33499.267 Set: 3046.065 Check: 4.844 Back: 839.826
INFO - Atoms: 57096/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5896 Props: 35399016 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.528 Prop: 34579.472 PropClause: 33557.834 Set: 3056.846 Check: 4.844 Back: 841.128
INFO - Atoms: 57361/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5897 Props: 35456629 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.538 Prop: 34641.032 PropClause: 33617.96 Set: 3067.711 Check: 4.844 Back: 842.451
INFO - Atoms: 57613/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5898 Props: 35514500 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.549 Prop: 34708.554 PropClause: 33684.012 Set: 3079.12 Check: 4.844 Back: 843.794
INFO - Atoms: 57871/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5899 Props: 35572640 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.561 Prop: 34769.999 PropClause: 33743.989 Set: 3090.528 Check: 4.844 Back: 845.17
INFO - Atoms: 58140/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5900 Props: 35631041 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.572 Prop: 34832.448 PropClause: 33804.967 Set: 3101.545 Check: 4.844 Back: 846.732
INFO - Atoms: 58401/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5901 Props: 35689689 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.582 Prop: 34893.748 PropClause: 33864.817 Set: 3112.548 Check: 4.844 Back: 848.104
INFO - Atoms: 58648/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5902 Props: 35748596 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.594 Prop: 34954.156 PropClause: 33923.766 Set: 3123.561 Check: 4.844 Back: 849.487
INFO - Atoms: 58907/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5903 Props: 35808015 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.604 Prop: 35018.259 PropClause: 33986.407 Set: 3134.753 Check: 4.844 Back: 850.836
INFO - Atoms: 59419/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5904 Props: 35867442 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.615 Prop: 35081.272 PropClause: 34047.95 Set: 3145.965 Check: 4.844 Back: 852.194
INFO - Atoms: 59427/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5905 Props: 35927127 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.625 Prop: 35140.276 PropClause: 34105.495 Set: 3157.107 Check: 4.844 Back: 853.575
INFO - Atoms: 59685/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5906 Props: 35987070 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.635 Prop: 35203.307 PropClause: 34167.062 Set: 3168.228 Check: 4.844 Back: 854.938
INFO - Atoms: 59943/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5907 Props: 36047272 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.646 Prop: 35267.768 PropClause: 34230.041 Set: 3179.535 Check: 4.844 Back: 856.34
INFO - Atoms: 60202/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5908 Props: 36107739 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.656 Prop: 35332.297 PropClause: 34293.092 Set: 3190.972 Check: 4.844 Back: 857.722
INFO - Atoms: 60467/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5909 Props: 36168461 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.667 Prop: 35397.939 PropClause: 34357.236 Set: 3202.595 Check: 4.844 Back: 859.108
INFO - Atoms: 60722/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5910 Props: 36229441 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.678 Prop: 35462.691 PropClause: 34420.48 Set: 3214.134 Check: 4.844 Back: 860.524
INFO - Atoms: 60980/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5911 Props: 36290679 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.689 Prop: 35526.226 PropClause: 34482.513 Set: 3225.716 Check: 4.844 Back: 861.934
INFO - Atoms: 61238/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5912 Props: 36352180 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.701 Prop: 35592.826 PropClause: 34547.599 Set: 3237.391 Check: 4.844 Back: 863.355
INFO - Atoms: 61501/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5913 Props: 36413942 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.711 Prop: 35659.612 PropClause: 34612.859 Set: 3249.026 Check: 4.844 Back: 864.769
INFO - Atoms: 61762/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5914 Props: 36475957 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.722 Prop: 35727.262 PropClause: 34678.981 Set: 3260.699 Check: 4.844 Back: 866.218
INFO - Atoms: 62015/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5915 Props: 36538231 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.732 Prop: 35792.467 PropClause: 34742.638 Set: 3272.531 Check: 4.844 Back: 867.688
INFO - Atoms: 62274/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5916 Props: 36600776 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.744 Prop: 35857.398 PropClause: 34806.025 Set: 3284.169 Check: 4.844 Back: 869.13
INFO - Atoms: 62545/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5917 Props: 36663572 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.754 Prop: 35924.481 PropClause: 34871.56 Set: 3295.979 Check: 4.844 Back: 870.583
INFO - Atoms: 62796/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5918 Props: 36726623 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.764 Prop: 35992.526 PropClause: 34938.049 Set: 3307.832 Check: 4.844 Back: 872.033
INFO - Atoms: 63051/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5919 Props: 36789933 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.774 Prop: 36063.245 PropClause: 35007.209 Set: 3319.897 Check: 4.844 Back: 873.485
INFO - Atoms: 63310/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5920 Props: 36853754 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.784 Prop: 36139.596 PropClause: 35081.994 Set: 3332.09 Check: 4.844 Back: 874.953
INFO - Atoms: 63821/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5921 Props: 36917592 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.795 Prop: 36212.487 PropClause: 35153.321 Set: 3344.202 Check: 4.844 Back: 876.426
INFO - Atoms: 63838/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5922 Props: 36981681 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.805 Prop: 36281.663 PropClause: 35220.905 Set: 3356.277 Check: 4.844 Back: 877.9
INFO - Atoms: 64089/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5923 Props: 37046028 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.814 Prop: 36349.888 PropClause: 35287.532 Set: 3368.543 Check: 4.844 Back: 879.396
INFO - Atoms: 64347/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5924 Props: 37110886 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.823 Prop: 36416.219 PropClause: 35352.267 Set: 3380.81 Check: 4.844 Back: 880.879
INFO - Atoms: 64858/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5925 Props: 37175752 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.833 Prop: 36486.593 PropClause: 35420.959 Set: 3393.599 Check: 4.844 Back: 882.37
INFO - Atoms: 64866/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5926 Props: 37240875 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.844 Prop: 36554.516 PropClause: 35487.262 Set: 3405.882 Check: 4.844 Back: 883.857
INFO - Atoms: 65123/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5927 Props: 37306257 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.853 Prop: 36622.673 PropClause: 35553.815 Set: 3418.2 Check: 4.844 Back: 885.359
INFO - Atoms: 65382/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5928 Props: 37371918 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.863 Prop: 36694.501 PropClause: 35624.002 Set: 3430.794 Check: 4.844 Back: 886.849
INFO - Atoms: 65661/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5929 Props: 37437818 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.873 Prop: 36765.633 PropClause: 35693.488 Set: 3466.233 Check: 4.844 Back: 888.37
INFO - Atoms: 65900/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5930 Props: 37504229 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.884 Prop: 36836.441 PropClause: 35762.659 Set: 3478.848 Check: 4.844 Back: 889.872
INFO - Atoms: 66411/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5931 Props: 37570648 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.892 Prop: 36909.144 PropClause: 35833.728 Set: 3491.417 Check: 4.844 Back: 891.402
INFO - Atoms: 66419/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5932 Props: 37637325 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.902 Prop: 36980.47 PropClause: 35903.405 Set: 3503.958 Check: 4.844 Back: 892.946
INFO - Atoms: 66677/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5933 Props: 37704262 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.913 Prop: 37051.589 PropClause: 35972.878 Set: 3516.657 Check: 4.844 Back: 894.485
INFO - Atoms: 66937/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5934 Props: 37771458 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.924 Prop: 37125.658 PropClause: 36045.26 Set: 3529.518 Check: 4.844 Back: 896.024
INFO - Atoms: 67196/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5935 Props: 37838912 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.933 Prop: 37195.703 PropClause: 36113.624 Set: 3542.308 Check: 4.844 Back: 897.58
INFO - Atoms: 67454/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5936 Props: 37906625 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.944 Prop: 37267.292 PropClause: 36183.531 Set: 3555.109 Check: 4.844 Back: 899.148
INFO - Atoms: 67713/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5937 Props: 37974645 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.955 Prop: 37336.776 PropClause: 36251.312 Set: 3567.963 Check: 4.844 Back: 900.728
INFO - Atoms: 68020/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5938 Props: 38044711 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.966 Prop: 37409.318 PropClause: 36322.111 Set: 3581.234 Check: 4.844 Back: 902.301
INFO - Atoms: 70066/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5939 Props: 38115036 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.976 Prop: 37483.712 PropClause: 36394.762 Set: 3594.491 Check: 4.844 Back: 903.916
INFO - Atoms: 70325/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5940 Props: 38185620 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.986 Prop: 37561.003 PropClause: 36470.31 Set: 3607.576 Check: 4.844 Back: 905.56
INFO - Atoms: 70584/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5941 Props: 38250749 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10052.997 Prop: 37632.993 PropClause: 36540.685 Set: 3619.668 Check: 4.844 Back: 907.184
INFO - Atoms: 65129/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5942 Props: 38315117 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10053.007 Prop: 37701.434 PropClause: 36607.556 Set: 3631.621 Check: 4.844 Back: 908.713
INFO - Atoms: 64368/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5943 Props: 38379491 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10053.018 Prop: 37786.565 PropClause: 36690.845 Set: 3647.786 Check: 4.844 Back: 910.197
INFO - Atoms: 64374/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5944 Props: 38443859 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10053.029 Prop: 37852.506 PropClause: 36755.195 Set: 3659.847 Check: 4.844 Back: 911.83
INFO - Atoms: 64368/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5945 Props: 38507595 Tprops: 0 Decides: 202587 RSplits: 0
INFO - Times: Expl: 10053.041 Prop: 37921.614 PropClause: 36822.648 Set: 3671.769 Check: 4.844 Back: 913.321
INFO - Atoms: 63736/77054 Clauses: 1044 Axioms: 256706
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 303 Props: 19117 Tprops: 1225 Decides: 34689 RSplits: 0
INFO - Times: Expl: 202.7 Prop: 72317.369 PropClause: 11.144 Set: 3986.594 Check: 304.856 Back: 77.442
INFO - Atoms: 86/835 Clauses: 303 Axioms: 835
INFO - CCTimes: iE 347510 eq 20985828 cc 75456668 setRep 43759147
INFO - Merges: 296377, cc:689899
INFO - BVTimes: BB 268767470 BB_DPLL 68301293614 Graph 149860723
INFO - BitBlastingClauses: 411218 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat