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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 192337308
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 93884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.531 Prop: 129.39 PropClause: 126.111 Set: 47.293 Check: 0.0 Back: 0.0
INFO - Atoms: 93884/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 187767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.6 Prop: 242.535 PropClause: 235.041 Set: 82.631 Check: 0.0 Back: 2.145
INFO - Atoms: 93883/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 281017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.642 Prop: 358.138 PropClause: 347.913 Set: 108.913 Check: 0.0 Back: 4.309
INFO - Atoms: 93250/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 374268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.692 Prop: 467.042 PropClause: 454.16 Set: 126.021 Check: 0.0 Back: 6.432
INFO - Atoms: 93251/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 467513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.766 Prop: 568.612 PropClause: 553.129 Set: 142.701 Check: 0.0 Back: 8.566
INFO - Atoms: 93245/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 560439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.815 Prop: 672.016 PropClause: 653.886 Set: 200.987 Check: 0.0 Back: 10.72
INFO - Atoms: 92926/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 653684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.866 Prop: 778.255 PropClause: 757.454 Set: 217.957 Check: 0.0 Back: 13.265
INFO - Atoms: 93245/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 746930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.926 Prop: 885.423 PropClause: 862.009 Set: 234.959 Check: 0.0 Back: 15.833
INFO - Atoms: 93246/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 839857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.99 Prop: 988.847 PropClause: 962.817 Set: 261.775 Check: 0.0 Back: 18.397
INFO - Atoms: 92927/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 932519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.034 Prop: 1095.362 PropClause: 1066.732 Set: 288.575 Check: 0.0 Back: 20.971
INFO - Atoms: 92662/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1024800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.075 Prop: 1196.056 PropClause: 1164.839 Set: 305.367 Check: 0.0 Back: 23.543
INFO - Atoms: 92281/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1117403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.144 Prop: 1295.305 PropClause: 1261.472 Set: 322.031 Check: 0.0 Back: 26.13
INFO - Atoms: 92603/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1209684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.189 Prop: 1392.979 PropClause: 1356.544 Set: 338.69 Check: 0.0 Back: 28.62
INFO - Atoms: 92281/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1301963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.237 Prop: 1490.068 PropClause: 1451.035 Set: 355.272 Check: 0.0 Back: 31.181
INFO - Atoms: 92279/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1393921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.282 Prop: 1587.739 PropClause: 1546.112 Set: 372.028 Check: 0.0 Back: 33.712
INFO - Atoms: 91958/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1485555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.35 Prop: 1685.33 PropClause: 1641.13 Set: 388.201 Check: 0.0 Back: 36.218
INFO - Atoms: 91634/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1576867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.393 Prop: 1779.777 PropClause: 1732.994 Set: 404.772 Check: 0.0 Back: 38.723
INFO - Atoms: 91312/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1667855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.437 Prop: 1880.209 PropClause: 1830.898 Set: 421.076 Check: 0.0 Back: 41.18
INFO - Atoms: 90988/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1758521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.477 Prop: 1974.906 PropClause: 1923.065 Set: 446.702 Check: 0.0 Back: 43.631
INFO - Atoms: 90666/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1848922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.522 Prop: 2070.381 PropClause: 2016.016 Set: 470.754 Check: 0.0 Back: 46.074
INFO - Atoms: 90401/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1938942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.565 Prop: 2168.619 PropClause: 2111.739 Set: 494.988 Check: 0.0 Back: 48.53
INFO - Atoms: 90020/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2028695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.611 Prop: 2264.641 PropClause: 2205.251 Set: 519.658 Check: 0.0 Back: 50.957
INFO - Atoms: 89753/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2118069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.653 Prop: 2361.015 PropClause: 2299.106 Set: 535.616 Check: 0.0 Back: 53.355
INFO - Atoms: 89374/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2207119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.72 Prop: 2455.674 PropClause: 2391.268 Set: 551.487 Check: 0.0 Back: 55.765
INFO - Atoms: 89050/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2295847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.761 Prop: 2548.68 PropClause: 2481.781 Set: 567.244 Check: 0.0 Back: 58.147
INFO - Atoms: 88728/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2384251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.803 Prop: 2650.982 PropClause: 2581.554 Set: 583.461 Check: 0.0 Back: 60.555
INFO - Atoms: 88404/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2472333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.844 Prop: 2745.749 PropClause: 2673.856 Set: 598.911 Check: 0.0 Back: 62.882
INFO - Atoms: 88082/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2560091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.891 Prop: 2845.025 PropClause: 2770.679 Set: 614.684 Check: 0.0 Back: 65.235
INFO - Atoms: 87758/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2647527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.948 Prop: 2941.965 PropClause: 2865.165 Set: 630.365 Check: 0.0 Back: 67.574
INFO - Atoms: 87436/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2734639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.993 Prop: 3038.197 PropClause: 2958.947 Set: 645.693 Check: 0.0 Back: 69.899
INFO - Atoms: 87112/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2821429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.04 Prop: 3138.225 PropClause: 3056.536 Set: 661.343 Check: 0.0 Back: 72.219
INFO - Atoms: 86790/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2907895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.087 Prop: 3233.024 PropClause: 3148.902 Set: 676.602 Check: 0.0 Back: 74.481
INFO - Atoms: 86466/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2994039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.132 Prop: 3329.381 PropClause: 3242.805 Set: 692.038 Check: 0.0 Back: 76.763
INFO - Atoms: 86144/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3079859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.179 Prop: 3427.148 PropClause: 3338.12 Set: 707.592 Check: 0.0 Back: 79.031
INFO - Atoms: 85820/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 3165357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.232 Prop: 3523.254 PropClause: 3431.795 Set: 722.935 Check: 0.0 Back: 81.291
INFO - Atoms: 85498/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 3250531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.276 Prop: 3617.592 PropClause: 3523.718 Set: 738.191 Check: 0.0 Back: 83.588
INFO - Atoms: 85174/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 3335383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.325 Prop: 3709.597 PropClause: 3613.309 Set: 753.163 Check: 0.0 Back: 85.858
INFO - Atoms: 84852/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 3419969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.371 Prop: 3803.359 PropClause: 3704.67 Set: 768.607 Check: 0.0 Back: 88.108
INFO - Atoms: 84586/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 3504175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.417 Prop: 3896.448 PropClause: 3795.298 Set: 783.523 Check: 0.0 Back: 90.342
INFO - Atoms: 84206/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 3588115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.464 Prop: 3990.231 PropClause: 3886.714 Set: 806.194 Check: 0.0 Back: 92.567
INFO - Atoms: 83940/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 3671675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.509 Prop: 4081.565 PropClause: 3975.695 Set: 844.66 Check: 0.0 Back: 94.806
INFO - Atoms: 83560/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 3754911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.565 Prop: 4173.825 PropClause: 4065.604 Set: 859.322 Check: 0.0 Back: 96.953
INFO - Atoms: 83236/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3837825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.613 Prop: 4264.88 PropClause: 4154.306 Set: 873.846 Check: 0.0 Back: 99.147
INFO - Atoms: 82914/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 3920473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.657 Prop: 4357.538 PropClause: 4244.633 Set: 888.593 Check: 0.0 Back: 101.329
INFO - Atoms: 82648/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 4002741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.706 Prop: 4448.836 PropClause: 4333.61 Set: 903.017 Check: 0.0 Back: 103.506
INFO - Atoms: 82268/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 4084685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.752 Prop: 4539.947 PropClause: 4422.407 Set: 917.413 Check: 0.0 Back: 105.699
INFO - Atoms: 81944/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 4166307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.8 Prop: 4631.124 PropClause: 4511.28 Set: 931.823 Check: 0.0 Back: 107.864
INFO - Atoms: 81622/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 4247605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.852 Prop: 4726.651 PropClause: 4604.513 Set: 946.495 Check: 0.0 Back: 110.011
INFO - Atoms: 81298/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 4328581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.894 Prop: 4815.195 PropClause: 4690.795 Set: 960.813 Check: 0.0 Back: 112.14
INFO - Atoms: 80976/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 4409292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.935 Prop: 4901.724 PropClause: 4775.029 Set: 975.168 Check: 0.0 Back: 114.277
INFO - Atoms: 80711/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 4489622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.982 Prop: 4986.363 PropClause: 4857.413 Set: 989.449 Check: 0.0 Back: 116.41
INFO - Atoms: 80330/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 4569628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.031 Prop: 5073.261 PropClause: 4942.058 Set: 1003.441 Check: 0.0 Back: 118.528
INFO - Atoms: 80006/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 4649312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.174 Prop: 5159.988 PropClause: 5026.54 Set: 1017.442 Check: 0.0 Back: 120.619
INFO - Atoms: 79684/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 4728672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.196 Prop: 5249.87 PropClause: 5114.187 Set: 1031.611 Check: 0.0 Back: 122.704
INFO - Atoms: 79360/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 4807710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.216 Prop: 5328.525 PropClause: 5190.609 Set: 1045.398 Check: 0.0 Back: 124.771
INFO - Atoms: 79038/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 4886424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.235 Prop: 5406.558 PropClause: 5266.43 Set: 1059.096 Check: 0.0 Back: 126.844
INFO - Atoms: 78714/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 4964816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.255 Prop: 5485.436 PropClause: 5343.107 Set: 1072.624 Check: 0.0 Back: 128.892
INFO - Atoms: 78392/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 5042942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.273 Prop: 5568.273 PropClause: 5423.743 Set: 1086.12 Check: 0.0 Back: 130.943
INFO - Atoms: 78126/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 5120688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.294 Prop: 5649.033 PropClause: 5502.308 Set: 1099.572 Check: 0.0 Back: 132.985
INFO - Atoms: 77746/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 5198167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.313 Prop: 5728.934 PropClause: 5580.022 Set: 1113.603 Check: 0.0 Back: 135.051
INFO - Atoms: 77479/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 5275267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.334 Prop: 5805.758 PropClause: 5654.666 Set: 1127.126 Check: 0.0 Back: 137.098
INFO - Atoms: 77100/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 5352043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.355 Prop: 5883.59 PropClause: 5730.349 Set: 1140.926 Check: 0.0 Back: 139.127
INFO - Atoms: 76776/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 5428497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.376 Prop: 5961.787 PropClause: 5806.378 Set: 1154.223 Check: 0.0 Back: 141.152
INFO - Atoms: 76454/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 5504686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.397 Prop: 6038.726 PropClause: 5881.157 Set: 1167.615 Check: 0.0 Back: 143.161
INFO - Atoms: 76189/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 5580494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.419 Prop: 6115.132 PropClause: 5955.406 Set: 1181.346 Check: 0.0 Back: 145.146
INFO - Atoms: 75808/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 5656035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.437 Prop: 6188.917 PropClause: 6027.071 Set: 1194.443 Check: 0.0 Back: 147.129
INFO - Atoms: 75541/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 5731197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.456 Prop: 6262.048 PropClause: 6098.098 Set: 1207.247 Check: 0.0 Back: 149.103
INFO - Atoms: 75162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 5806093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.474 Prop: 6335.681 PropClause: 6169.633 Set: 1220.299 Check: 0.0 Back: 151.064
INFO - Atoms: 74896/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 5880609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.491 Prop: 6407.162 PropClause: 6239.004 Set: 1233.261 Check: 0.0 Back: 153.008
INFO - Atoms: 74516/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 5954801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.511 Prop: 6481.87 PropClause: 6311.627 Set: 1246.054 Check: 0.0 Back: 154.949
INFO - Atoms: 74192/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 6028671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.532 Prop: 6555.732 PropClause: 6383.389 Set: 1259.397 Check: 0.0 Back: 156.872
INFO - Atoms: 73870/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 6102217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.553 Prop: 6628.999 PropClause: 6454.563 Set: 1272.4 Check: 0.0 Back: 158.791
INFO - Atoms: 73546/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 6175441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.574 Prop: 6707.126 PropClause: 6530.623 Set: 1285.507 Check: 0.0 Back: 160.694
INFO - Atoms: 73224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 6248341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.594 Prop: 6783.037 PropClause: 6604.493 Set: 1298.017 Check: 0.0 Back: 162.589
INFO - Atoms: 72900/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 6320919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.615 Prop: 6853.549 PropClause: 6672.97 Set: 1310.374 Check: 0.0 Back: 164.481
INFO - Atoms: 72578/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 6393231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 6926.81 PropClause: 6744.189 Set: 1323.014 Check: 0.0 Back: 166.373
INFO - Atoms: 72312/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 6465163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.659 Prop: 6999.004 PropClause: 6814.361 Set: 1335.416 Check: 0.0 Back: 168.255
INFO - Atoms: 71932/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 6536829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.679 Prop: 7070.191 PropClause: 6883.543 Set: 1347.59 Check: 0.0 Back: 170.104
INFO - Atoms: 71666/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 6608115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.702 Prop: 7139.956 PropClause: 6951.307 Set: 1360.246 Check: 0.0 Back: 171.977
INFO - Atoms: 71286/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 6679134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.723 Prop: 7209.233 PropClause: 7018.598 Set: 1372.381 Check: 0.0 Back: 173.818
INFO - Atoms: 71019/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 6749774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.743 Prop: 7277.879 PropClause: 7085.257 Set: 1384.559 Check: 0.0 Back: 175.662
INFO - Atoms: 70640/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 6820090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 7346.687 PropClause: 7152.082 Set: 1396.748 Check: 0.0 Back: 177.491
INFO - Atoms: 70316/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 6890084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.785 Prop: 7413.88 PropClause: 7217.297 Set: 1408.643 Check: 0.0 Back: 179.325
INFO - Atoms: 69994/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 6959754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 7481.347 PropClause: 7282.798 Set: 1420.729 Check: 0.0 Back: 181.135
INFO - Atoms: 69670/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 7029102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.828 Prop: 7549.2 PropClause: 7348.684 Set: 1432.823 Check: 0.0 Back: 182.911
INFO - Atoms: 69348/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 7098126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.851 Prop: 7618.272 PropClause: 7415.794 Set: 1444.972 Check: 0.0 Back: 184.699
INFO - Atoms: 69024/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 7166828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.872 Prop: 7683.857 PropClause: 7479.451 Set: 1456.652 Check: 0.0 Back: 186.481
INFO - Atoms: 68702/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 7235265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.894 Prop: 7749.333 PropClause: 7543.012 Set: 1468.527 Check: 0.0 Back: 188.247
INFO - Atoms: 68437/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 7303321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.916 Prop: 7814.995 PropClause: 7606.715 Set: 1480.991 Check: 0.0 Back: 190.002
INFO - Atoms: 68056/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 7371053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.937 Prop: 7882.355 PropClause: 7672.175 Set: 1492.514 Check: 0.0 Back: 191.744
INFO - Atoms: 67732/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 7438463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.961 Prop: 7951.775 PropClause: 7739.711 Set: 1504.104 Check: 0.0 Back: 193.504
INFO - Atoms: 67410/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 7505549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.985 Prop: 8026.742 PropClause: 7812.777 Set: 1516.117 Check: 0.0 Back: 195.243
INFO - Atoms: 67086/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 7572313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.062 Prop: 8090.176 PropClause: 7874.335 Set: 1527.524 Check: 0.0 Back: 196.978
INFO - Atoms: 66764/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 7638812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.073 Prop: 8154.009 PropClause: 7936.307 Set: 1538.939 Check: 0.0 Back: 198.718
INFO - Atoms: 66499/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 7704930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.087 Prop: 8216.226 PropClause: 7996.662 Set: 1550.753 Check: 0.0 Back: 200.449
INFO - Atoms: 66118/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 7770724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.1 Prop: 8282.516 PropClause: 8061.104 Set: 1561.921 Check: 0.0 Back: 202.169
INFO - Atoms: 65794/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 7836196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.115 Prop: 8344.068 PropClause: 8120.81 Set: 1573.603 Check: 0.0 Back: 203.887
INFO - Atoms: 65472/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 7901402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.127 Prop: 8404.153 PropClause: 8179.068 Set: 1584.745 Check: 0.0 Back: 205.583
INFO - Atoms: 65206/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 7966228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.139 Prop: 8462.144 PropClause: 8235.239 Set: 1596.116 Check: 0.0 Back: 207.263
INFO - Atoms: 64826/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 8030730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.154 Prop: 8524.602 PropClause: 8295.89 Set: 1607.245 Check: 0.0 Back: 208.933
INFO - Atoms: 64502/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 8094910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.17 Prop: 8583.332 PropClause: 8352.815 Set: 1618.639 Check: 0.0 Back: 210.601
INFO - Atoms: 64180/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 8158766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.182 Prop: 8643.893 PropClause: 8411.585 Set: 1629.608 Check: 0.0 Back: 212.236
INFO - Atoms: 63856/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 8222300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.195 Prop: 8707.956 PropClause: 8473.856 Set: 1640.689 Check: 0.0 Back: 213.868
INFO - Atoms: 63534/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 8285567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.207 Prop: 8765.699 PropClause: 8529.828 Set: 1651.625 Check: 0.0 Back: 215.493
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 8349729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.353 Prop: 8825.032 PropClause: 8587.343 Set: 1662.786 Check: 0.0 Back: 217.125
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 8413891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.375 Prop: 8892.212 PropClause: 8652.715 Set: 1674.047 Check: 0.0 Back: 218.759
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 8478114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.854 Prop: 8951.06 PropClause: 8709.754 Set: 1685.407 Check: 0.0 Back: 220.397
INFO - Atoms: 64223/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 8542591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.911 Prop: 9009.304 PropClause: 8766.169 Set: 1696.514 Check: 0.0 Back: 222.04
INFO - Atoms: 64477/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 8606751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.927 Prop: 9065.322 PropClause: 8820.387 Set: 1707.374 Check: 0.0 Back: 223.672
INFO - Atoms: 64160/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 8671164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.945 Prop: 9121.073 PropClause: 8874.327 Set: 1718.365 Check: 0.0 Back: 225.295
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 8735644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.959 Prop: 9175.574 PropClause: 8927.014 Set: 1729.329 Check: 0.0 Back: 226.959
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 8800058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.973 Prop: 9232.624 PropClause: 8982.261 Set: 1740.597 Check: 0.0 Back: 228.607
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 8864220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.988 Prop: 9287.716 PropClause: 9035.537 Set: 1751.526 Check: 0.0 Back: 230.247
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 8927488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.002 Prop: 9343.576 PropClause: 9089.624 Set: 1762.098 Check: 0.0 Back: 231.899
INFO - Atoms: 63268/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 8991712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.018 Prop: 9402.354 PropClause: 9146.588 Set: 1773.197 Check: 0.0 Back: 233.53
INFO - Atoms: 64224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 9056125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.033 Prop: 9457.897 PropClause: 9200.321 Set: 1784.222 Check: 0.0 Back: 235.167
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 9120603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.049 Prop: 9514.641 PropClause: 9255.24 Set: 1795.322 Check: 0.0 Back: 236.804
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 9185018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.064 Prop: 9571.654 PropClause: 9310.437 Set: 1806.113 Check: 0.0 Back: 238.455
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 9249180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 9626.577 PropClause: 9363.559 Set: 1816.864 Check: 0.0 Back: 240.1
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 9312447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.094 Prop: 9682.402 PropClause: 9417.6 Set: 1827.887 Check: 0.0 Back: 241.741
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 9376669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.11 Prop: 9736.904 PropClause: 9470.299 Set: 1838.65 Check: 0.0 Back: 243.351
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 9441084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.127 Prop: 9793.038 PropClause: 9524.616 Set: 1850.101 Check: 0.0 Back: 244.972
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 9504294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.144 Prop: 9851.155 PropClause: 9580.931 Set: 1860.821 Check: 0.0 Back: 246.606
INFO - Atoms: 63210/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 9568707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.161 Prop: 9908.462 PropClause: 9636.413 Set: 1871.697 Check: 0.0 Back: 248.231
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 9632931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.176 Prop: 9964.328 PropClause: 9690.476 Set: 1882.494 Check: 0.0 Back: 249.871
INFO - Atoms: 64224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 9696140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.192 Prop: 10022.027 PropClause: 9746.392 Set: 1893.248 Check: 0.0 Back: 251.504
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 9760364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.241 Prop: 10078.976 PropClause: 9801.522 Set: 1904.198 Check: 0.0 Back: 253.116
INFO - Atoms: 64224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 9824777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.262 Prop: 10136.583 PropClause: 9857.316 Set: 1915.246 Check: 0.0 Back: 254.74
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 9889257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.31 Prop: 10195.985 PropClause: 9914.897 Set: 1926.467 Check: 0.0 Back: 256.379
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 9953670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.32 Prop: 10254.114 PropClause: 9971.211 Set: 1937.468 Check: 0.0 Back: 258.004
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 10017832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.332 Prop: 10310.933 PropClause: 10026.213 Set: 1948.469 Check: 0.0 Back: 259.646
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 10081100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.344 Prop: 10367.991 PropClause: 10081.489 Set: 1959.137 Check: 0.0 Back: 261.268
INFO - Atoms: 63268/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 10145322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.356 Prop: 10425.058 PropClause: 10136.737 Set: 1970.614 Check: 0.0 Back: 262.866
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 10209737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.4 Prop: 10480.4 PropClause: 10190.253 Set: 1981.529 Check: 0.0 Back: 264.503
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 10274217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.441 Prop: 10537.688 PropClause: 10245.713 Set: 1992.695 Check: 0.0 Back: 266.141
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 10338632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.452 Prop: 10599.325 PropClause: 10305.524 Set: 2003.722 Check: 0.0 Back: 267.804
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 10402794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.463 Prop: 10656.056 PropClause: 10360.44 Set: 2014.59 Check: 0.0 Back: 269.469
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 10466060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.474 Prop: 10712.676 PropClause: 10415.261 Set: 2025.396 Check: 0.0 Back: 271.088
INFO - Atoms: 63266/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 10530282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.485 Prop: 10769.015 PropClause: 10469.779 Set: 2036.473 Check: 0.0 Back: 272.694
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 10594697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.496 Prop: 10829.286 PropClause: 10528.233 Set: 2047.481 Check: 0.0 Back: 274.328
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 10659177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.509 Prop: 10887.572 PropClause: 10584.685 Set: 2058.564 Check: 0.0 Back: 275.957
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 10723592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 10947.185 PropClause: 10642.456 Set: 2069.787 Check: 0.0 Back: 277.615
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 10787754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.533 Prop: 11007.629 PropClause: 10701.092 Set: 2080.757 Check: 0.0 Back: 279.269
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 10850963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.545 Prop: 11068.241 PropClause: 10759.919 Set: 2091.518 Check: 0.0 Back: 280.898
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 10915185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.555 Prop: 11126.948 PropClause: 10816.816 Set: 2102.546 Check: 0.0 Back: 282.496
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 10979600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.565 Prop: 11186.983 PropClause: 10875.028 Set: 2113.766 Check: 0.0 Back: 284.136
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 11044080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.576 Prop: 11248.42 PropClause: 10934.638 Set: 2124.924 Check: 0.0 Back: 285.775
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 11108495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.588 Prop: 11310.432 PropClause: 10994.847 Set: 2135.968 Check: 0.0 Back: 287.426
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 11172657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.599 Prop: 11369.623 PropClause: 11052.219 Set: 2147.109 Check: 0.0 Back: 289.075
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 11235924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.61 Prop: 11429.986 PropClause: 11110.765 Set: 2158.035 Check: 0.0 Back: 290.706
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 11300146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.621 Prop: 11488.537 PropClause: 11167.503 Set: 2169.073 Check: 0.0 Back: 292.318
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 11364561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.632 Prop: 11550.672 PropClause: 11227.78 Set: 2180.308 Check: 0.0 Back: 293.952
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 11429041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.645 Prop: 11611.601 PropClause: 11286.885 Set: 2191.946 Check: 0.0 Back: 295.575
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 11493456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.656 Prop: 11673.821 PropClause: 11347.301 Set: 2203.006 Check: 0.0 Back: 297.218
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 11557618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.665 Prop: 11734.216 PropClause: 11405.885 Set: 2214.052 Check: 0.0 Back: 298.881
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 11620884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.677 Prop: 11793.337 PropClause: 11463.21 Set: 2224.957 Check: 0.0 Back: 300.535
INFO - Atoms: 63266/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 11685106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.688 Prop: 11851.753 PropClause: 11519.795 Set: 2236.176 Check: 0.0 Back: 302.139
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 11749521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.698 Prop: 11911.012 PropClause: 11577.226 Set: 2247.39 Check: 0.0 Back: 303.789
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 11814001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.71 Prop: 11970.56 PropClause: 11634.953 Set: 2258.71 Check: 0.0 Back: 305.422
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 11878415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.72 Prop: 12031.379 PropClause: 11693.948 Set: 2269.801 Check: 0.0 Back: 307.065
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 11942577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.73 Prop: 12089.421 PropClause: 11750.172 Set: 2280.683 Check: 0.0 Back: 308.707
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 12005786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.738 Prop: 12149.398 PropClause: 11808.356 Set: 2291.438 Check: 0.0 Back: 310.334
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 12070008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.751 Prop: 12211.422 PropClause: 11868.56 Set: 2302.467 Check: 0.0 Back: 311.957
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 12134423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.762 Prop: 12271.483 PropClause: 11926.801 Set: 2313.704 Check: 0.0 Back: 313.61
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 12198903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.774 Prop: 12334.323 PropClause: 11987.805 Set: 2325.064 Check: 0.0 Back: 315.256
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 12263317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.785 Prop: 12391.946 PropClause: 12043.607 Set: 2336.186 Check: 0.0 Back: 316.9
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 12327479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.796 Prop: 12448.005 PropClause: 12097.851 Set: 2347.2 Check: 0.0 Back: 318.544
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 12390688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.807 Prop: 12502.873 PropClause: 12150.938 Set: 2357.913 Check: 0.0 Back: 320.183
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 12454910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.819 Prop: 12558.62 PropClause: 12204.859 Set: 2368.98 Check: 0.0 Back: 321.795
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 12519325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.829 Prop: 12616.452 PropClause: 12260.863 Set: 2380.493 Check: 0.0 Back: 323.44
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 12582535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.839 Prop: 12677.448 PropClause: 12320.074 Set: 2391.476 Check: 0.0 Back: 325.071
INFO - Atoms: 63210/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 12646948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.89 Prop: 12736.093 PropClause: 12376.891 Set: 2402.75 Check: 0.0 Back: 326.689
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 12711172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 12792.401 PropClause: 12431.387 Set: 2413.768 Check: 0.0 Back: 328.323
INFO - Atoms: 64224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 12774439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.979 Prop: 12847.869 PropClause: 12485.071 Set: 2424.522 Check: 0.0 Back: 329.951
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 12838663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 12903.854 PropClause: 12539.249 Set: 2435.612 Check: 0.0 Back: 331.557
INFO - Atoms: 64224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 12903076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 12960.388 PropClause: 12593.965 Set: 2446.802 Check: 0.0 Back: 333.191
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 12967554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 13018.36 PropClause: 12650.129 Set: 2457.87 Check: 0.0 Back: 334.831
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 13031966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 13077.068 PropClause: 12707.01 Set: 2469.423 Check: 0.0 Back: 336.463
INFO - Atoms: 64412/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 13096128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 13133.575 PropClause: 12761.711 Set: 2480.459 Check: 0.0 Back: 338.095
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 13160662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.012 Prop: 13191.165 PropClause: 12817.475 Set: 2491.647 Check: 0.0 Back: 339.728
INFO - Atoms: 64534/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 13224822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.017 Prop: 13247.232 PropClause: 12871.726 Set: 2502.595 Check: 0.0 Back: 341.374
INFO - Atoms: 64160/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 13289235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.022 Prop: 13303.067 PropClause: 12925.738 Set: 2513.692 Check: 0.0 Back: 342.998
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 13353715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.027 Prop: 13356.71 PropClause: 12977.571 Set: 2524.683 Check: 0.0 Back: 344.629
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 13418128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.032 Prop: 13410.055 PropClause: 13029.11 Set: 2535.641 Check: 0.0 Back: 346.266
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 13482290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.037 Prop: 13468.446 PropClause: 13085.703 Set: 2546.49 Check: 0.0 Back: 347.911
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 13545556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.043 Prop: 13524.899 PropClause: 13140.371 Set: 2557.213 Check: 0.0 Back: 349.528
INFO - Atoms: 63266/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 13609780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.048 Prop: 13579.684 PropClause: 13193.349 Set: 2568.189 Check: 0.0 Back: 351.128
INFO - Atoms: 64224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 13674193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.054 Prop: 13635.157 PropClause: 13247.016 Set: 2598.663 Check: 0.0 Back: 352.752
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 13738671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.06 Prop: 13690.542 PropClause: 13300.589 Set: 2609.846 Check: 0.0 Back: 354.305
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 13803086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.064 Prop: 13746.628 PropClause: 13354.87 Set: 2620.757 Check: 0.0 Back: 355.932
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 13867248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.069 Prop: 13802.344 PropClause: 13408.791 Set: 2631.589 Check: 0.0 Back: 357.57
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 13930457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.074 Prop: 13862.511 PropClause: 13467.179 Set: 2642.313 Check: 0.0 Back: 359.2
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 13994679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.079 Prop: 13919.785 PropClause: 13522.648 Set: 2653.501 Check: 0.0 Back: 360.808
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 14059094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.085 Prop: 13976.388 PropClause: 13577.416 Set: 2664.963 Check: 0.0 Back: 362.437
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 14123574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.09 Prop: 14034.247 PropClause: 13633.419 Set: 2676.218 Check: 0.0 Back: 364.071
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 14187988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 14092.272 PropClause: 13689.627 Set: 2687.371 Check: 0.0 Back: 365.691
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 14252150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.101 Prop: 14149.859 PropClause: 13745.39 Set: 2698.414 Check: 0.0 Back: 367.322
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 14315417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.107 Prop: 14207.314 PropClause: 13801.056 Set: 2709.716 Check: 0.0 Back: 368.955
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 14379639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.111 Prop: 14264.568 PropClause: 13856.51 Set: 2720.969 Check: 0.0 Back: 370.572
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 14444054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.117 Prop: 14322.395 PropClause: 13912.523 Set: 2732.054 Check: 0.0 Back: 372.2
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 14508534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.123 Prop: 14379.023 PropClause: 13967.338 Set: 2743.489 Check: 0.0 Back: 373.836
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 14572949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.127 Prop: 14436.622 PropClause: 14023.099 Set: 2754.609 Check: 0.0 Back: 375.475
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 14637111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.133 Prop: 14493.105 PropClause: 14077.778 Set: 2765.739 Check: 0.0 Back: 377.126
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 14700320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.14 Prop: 14553.477 PropClause: 14136.365 Set: 2776.702 Check: 0.0 Back: 378.749
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 14764542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.145 Prop: 14611.158 PropClause: 14192.215 Set: 2787.936 Check: 0.0 Back: 380.347
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 14828957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.15 Prop: 14667.631 PropClause: 14246.871 Set: 2799.076 Check: 0.0 Back: 381.974
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 14893435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.155 Prop: 14725.269 PropClause: 14302.678 Set: 2810.43 Check: 0.0 Back: 383.611
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 14957850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.16 Prop: 14783.818 PropClause: 14359.365 Set: 2821.81 Check: 0.0 Back: 385.251
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 15022012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.166 Prop: 14842.197 PropClause: 14415.921 Set: 2832.883 Check: 0.0 Back: 386.896
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 15085279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.173 Prop: 14898.637 PropClause: 14470.573 Set: 2843.793 Check: 0.0 Back: 388.537
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 15149501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.179 Prop: 14954.297 PropClause: 14524.423 Set: 2854.94 Check: 0.0 Back: 390.143
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 15213916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.184 Prop: 15012.227 PropClause: 14580.527 Set: 2866.179 Check: 0.0 Back: 391.791
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 15278396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.19 Prop: 15069.601 PropClause: 14636.084 Set: 2877.215 Check: 0.0 Back: 393.434
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 15342811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.195 Prop: 15126.656 PropClause: 14691.309 Set: 2888.305 Check: 0.0 Back: 395.09
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 15406973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.2 Prop: 15182.549 PropClause: 14745.401 Set: 2899.544 Check: 0.0 Back: 396.737
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 15470182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.206 Prop: 15241.737 PropClause: 14802.812 Set: 2910.241 Check: 0.0 Back: 398.363
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 15534404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.212 Prop: 15300.405 PropClause: 14859.659 Set: 2921.412 Check: 0.0 Back: 399.968
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 15598819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.217 Prop: 15357.874 PropClause: 14915.307 Set: 2932.518 Check: 0.0 Back: 401.606
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 15663299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.222 Prop: 15412.852 PropClause: 14968.474 Set: 2943.658 Check: 0.0 Back: 403.239
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 15727713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.226 Prop: 15469.876 PropClause: 15023.677 Set: 2954.627 Check: 0.0 Back: 404.875
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 15791875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.231 Prop: 15525.95 PropClause: 15077.916 Set: 2965.771 Check: 0.0 Back: 406.516
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 15855143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.236 Prop: 15582.651 PropClause: 15132.839 Set: 2976.712 Check: 0.0 Back: 408.161
INFO - Atoms: 63268/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 15919365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.242 Prop: 15637.329 PropClause: 15185.712 Set: 2987.719 Check: 0.0 Back: 409.774
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 15983780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 15693.722 PropClause: 15240.288 Set: 2998.817 Check: 0.0 Back: 411.404
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 16048260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.253 Prop: 15752.891 PropClause: 15297.639 Set: 3010.257 Check: 0.0 Back: 413.059
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 16112674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.259 Prop: 15811.803 PropClause: 15354.729 Set: 3021.26 Check: 0.0 Back: 414.722
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 16176836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.264 Prop: 15866.544 PropClause: 15407.654 Set: 3032.403 Check: 0.0 Back: 416.373
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 16240045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.269 Prop: 15919.444 PropClause: 15458.779 Set: 3043.068 Check: 0.0 Back: 418.035
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 16304267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.274 Prop: 15972.989 PropClause: 15510.501 Set: 3054.095 Check: 0.0 Back: 419.663
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 16368682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.28 Prop: 16029.311 PropClause: 15564.998 Set: 3065.218 Check: 0.0 Back: 421.307
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 16433160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.285 Prop: 16084.048 PropClause: 15617.911 Set: 3076.404 Check: 0.0 Back: 422.964
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 16497575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 16138.799 PropClause: 15670.85 Set: 3087.434 Check: 0.0 Back: 424.631
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 16561737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.296 Prop: 16194.219 PropClause: 15724.464 Set: 3098.509 Check: 0.0 Back: 426.271
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 16625005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.302 Prop: 16248.364 PropClause: 15776.828 Set: 3109.499 Check: 0.0 Back: 427.909
INFO - Atoms: 63268/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 16689227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.307 Prop: 16302.52 PropClause: 15829.179 Set: 3120.495 Check: 0.0 Back: 429.531
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 16753642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.312 Prop: 16356.874 PropClause: 15881.719 Set: 3131.731 Check: 0.0 Back: 431.196
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 16818120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.318 Prop: 16410.835 PropClause: 15933.872 Set: 3142.639 Check: 0.0 Back: 432.853
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 16882534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.323 Prop: 16468.595 PropClause: 15989.813 Set: 3154.026 Check: 0.0 Back: 434.505
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 16946696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.328 Prop: 16522.26 PropClause: 16041.672 Set: 3165.195 Check: 0.0 Back: 436.176
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 17009905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.334 Prop: 16576.468 PropClause: 16094.104 Set: 3175.89 Check: 0.0 Back: 437.822
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 17074127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.338 Prop: 16630.431 PropClause: 16146.263 Set: 3186.874 Check: 0.0 Back: 439.449
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 17138542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.343 Prop: 16683.29 PropClause: 16197.301 Set: 3197.991 Check: 0.0 Back: 441.096
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 17203022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.349 Prop: 16737.351 PropClause: 16249.562 Set: 3209.284 Check: 0.0 Back: 442.762
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 17267436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.355 Prop: 16790.119 PropClause: 16300.52 Set: 3220.151 Check: 0.0 Back: 444.403
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 17331598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.36 Prop: 16842.788 PropClause: 16351.394 Set: 3230.953 Check: 0.0 Back: 446.054
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 17396133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.366 Prop: 16898.158 PropClause: 16404.949 Set: 3242.133 Check: 0.0 Back: 447.689
INFO - Atoms: 64535/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 17460293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.371 Prop: 16952.541 PropClause: 16457.527 Set: 3253.009 Check: 0.0 Back: 449.345
INFO - Atoms: 64160/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 17524706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.376 Prop: 17009.241 PropClause: 16512.413 Set: 3264.374 Check: 0.0 Back: 450.984
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 17589184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.382 Prop: 17064.788 PropClause: 16566.143 Set: 3275.61 Check: 0.0 Back: 452.608
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 17653596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.388 Prop: 17120.159 PropClause: 16619.685 Set: 3286.854 Check: 0.0 Back: 454.256
INFO - Atoms: 64412/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 17717758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.394 Prop: 17174.412 PropClause: 16672.131 Set: 3297.887 Check: 0.0 Back: 455.913
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 17781025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.399 Prop: 17228.592 PropClause: 16724.532 Set: 3308.857 Check: 0.0 Back: 457.566
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 17845249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.404 Prop: 17283.738 PropClause: 16777.871 Set: 3320.053 Check: 0.0 Back: 459.179
INFO - Atoms: 64224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 17909662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.41 Prop: 17340.565 PropClause: 16832.886 Set: 3331.183 Check: 0.0 Back: 460.829
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 17974140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.417 Prop: 17396.469 PropClause: 16886.968 Set: 3342.487 Check: 0.0 Back: 462.48
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 18038555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.423 Prop: 17455.024 PropClause: 16943.694 Set: 3353.853 Check: 0.0 Back: 464.137
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 18102717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.429 Prop: 17509.741 PropClause: 16996.592 Set: 3364.943 Check: 0.0 Back: 465.803
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 18165984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.434 Prop: 17564.94 PropClause: 17049.988 Set: 3375.837 Check: 0.0 Back: 467.424
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 18230206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.44 Prop: 17620.081 PropClause: 17103.345 Set: 3386.923 Check: 0.0 Back: 469.04
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 18294621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.446 Prop: 17676.379 PropClause: 17157.85 Set: 3397.949 Check: 0.0 Back: 470.671
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 18359099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.452 Prop: 17733.632 PropClause: 17213.294 Set: 3409.248 Check: 0.0 Back: 472.327
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 18423514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.458 Prop: 17789.717 PropClause: 17267.58 Set: 3420.501 Check: 0.0 Back: 473.984
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 18487676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.464 Prop: 17845.083 PropClause: 17321.134 Set: 3431.644 Check: 0.0 Back: 475.626
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 18550942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.47 Prop: 17901.392 PropClause: 17375.672 Set: 3442.418 Check: 0.0 Back: 477.257
INFO - Atoms: 63266/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 18615164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.474 Prop: 17957.716 PropClause: 17430.211 Set: 3453.892 Check: 0.0 Back: 478.893
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 18679579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.479 Prop: 18017.12 PropClause: 17487.791 Set: 3494.633 Check: 0.0 Back: 480.532
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 18744059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.484 Prop: 18075.661 PropClause: 17544.542 Set: 3505.96 Check: 0.0 Back: 482.164
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 18808474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.488 Prop: 18132.115 PropClause: 17599.214 Set: 3517.042 Check: 0.0 Back: 483.827
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 18872636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.494 Prop: 18188.093 PropClause: 17653.412 Set: 3528.153 Check: 0.0 Back: 485.488
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 18935845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.498 Prop: 18241.636 PropClause: 17705.197 Set: 3538.957 Check: 0.0 Back: 487.127
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 19000067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.503 Prop: 18295.185 PropClause: 17756.955 Set: 3549.956 Check: 0.0 Back: 488.749
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 19064482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.508 Prop: 18351.2 PropClause: 17811.171 Set: 3561.122 Check: 0.0 Back: 490.393
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 19128962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.513 Prop: 18411.96 PropClause: 17870.139 Set: 3572.287 Check: 0.0 Back: 492.05
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 19193376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.519 Prop: 18471.445 PropClause: 17927.811 Set: 3584.161 Check: 0.0 Back: 493.699
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 19257538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.524 Prop: 18530.056 PropClause: 17984.636 Set: 3595.244 Check: 0.0 Back: 495.354
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 19320747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.53 Prop: 18588.067 PropClause: 18040.893 Set: 3606.047 Check: 0.0 Back: 496.974
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 19384969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.536 Prop: 18651.467 PropClause: 18102.479 Set: 3617.709 Check: 0.0 Back: 498.604
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 19449384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.542 Prop: 18712.61 PropClause: 18161.825 Set: 3628.993 Check: 0.0 Back: 500.267
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 19513864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.548 Prop: 18772.199 PropClause: 18219.614 Set: 3640.323 Check: 0.0 Back: 501.928
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 19578278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.555 Prop: 18834.545 PropClause: 18280.017 Set: 3652.337 Check: 0.0 Back: 503.58
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 19642440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.561 Prop: 18896.849 PropClause: 18340.528 Set: 3663.633 Check: 0.0 Back: 505.237
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 19705708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.565 Prop: 18957.003 PropClause: 18398.922 Set: 3674.656 Check: 0.0 Back: 506.866
INFO - Atoms: 63268/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 19769930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.569 Prop: 19013.098 PropClause: 18453.22 Set: 3685.979 Check: 0.0 Back: 508.485
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 19834345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.574 Prop: 19072.932 PropClause: 18511.262 Set: 3697.157 Check: 0.0 Back: 510.131
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 19898823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.579 Prop: 19133.449 PropClause: 18569.972 Set: 3708.41 Check: 0.0 Back: 511.778
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 19963237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.584 Prop: 19195.439 PropClause: 18630.154 Set: 3719.641 Check: 0.0 Back: 513.423
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 20027399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.589 Prop: 19254.357 PropClause: 18687.257 Set: 3730.907 Check: 0.0 Back: 515.088
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 20090665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.594 Prop: 19316.594 PropClause: 18747.663 Set: 3742.403 Check: 0.0 Back: 516.718
INFO - Atoms: 63266/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 20154887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.599 Prop: 19374.019 PropClause: 18803.234 Set: 3753.746 Check: 0.0 Back: 518.345
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 20219302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.603 Prop: 19430.825 PropClause: 18858.214 Set: 3765.112 Check: 0.0 Back: 519.995
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 20283780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.608 Prop: 19486.959 PropClause: 18912.541 Set: 3776.213 Check: 0.0 Back: 521.652
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 20348195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.614 Prop: 19542.692 PropClause: 18966.464 Set: 3800.548 Check: 0.0 Back: 523.315
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 20412357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.619 Prop: 19597.477 PropClause: 19019.469 Set: 3811.496 Check: 0.0 Back: 524.937
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 20475624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.623 Prop: 19652.894 PropClause: 19073.123 Set: 3822.338 Check: 0.0 Back: 526.565
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 20539846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.629 Prop: 19709.257 PropClause: 19127.693 Set: 3833.686 Check: 0.0 Back: 528.185
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 20604261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.634 Prop: 19763.537 PropClause: 19180.151 Set: 3844.9 Check: 0.0 Back: 529.844
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 20668739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.639 Prop: 19821.478 PropClause: 19236.293 Set: 3856.235 Check: 0.0 Back: 531.516
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 20733154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.644 Prop: 19877.851 PropClause: 19290.877 Set: 3867.271 Check: 0.0 Back: 533.162
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 20797316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.65 Prop: 19932.596 PropClause: 19343.832 Set: 3878.323 Check: 0.0 Back: 534.829
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 20860583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.655 Prop: 19987.551 PropClause: 19397.033 Set: 3889.109 Check: 0.0 Back: 536.489
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 20924805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.661 Prop: 20043.861 PropClause: 19451.554 Set: 3900.353 Check: 0.0 Back: 538.119
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 20989220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.665 Prop: 20099.128 PropClause: 19505.034 Set: 3911.293 Check: 0.0 Back: 539.754
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 21053700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.669 Prop: 20154.331 PropClause: 19558.449 Set: 3922.343 Check: 0.0 Back: 541.402
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 21118115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.675 Prop: 20211.633 PropClause: 19613.955 Set: 3933.6 Check: 0.0 Back: 543.049
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 21182277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.68 Prop: 20266.258 PropClause: 19666.786 Set: 3944.632 Check: 0.0 Back: 544.694
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 21245544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.686 Prop: 20320.822 PropClause: 19719.588 Set: 3955.757 Check: 0.0 Back: 546.346
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 21309766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.692 Prop: 20375.478 PropClause: 19772.458 Set: 3966.825 Check: 0.0 Back: 547.987
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 21374181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.696 Prop: 20429.448 PropClause: 19824.635 Set: 3978.017 Check: 0.0 Back: 549.629
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 21438661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.701 Prop: 20485.586 PropClause: 19878.973 Set: 3989.274 Check: 0.0 Back: 551.277
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 21503075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.707 Prop: 20542.919 PropClause: 19934.502 Set: 4000.671 Check: 0.0 Back: 552.934
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 21567237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.711 Prop: 20600.807 PropClause: 19990.559 Set: 4011.914 Check: 0.0 Back: 554.592
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 21630504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.715 Prop: 20655.852 PropClause: 20043.847 Set: 4022.731 Check: 0.0 Back: 556.226
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 21694726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.721 Prop: 20717.828 PropClause: 20104.016 Set: 4034.209 Check: 0.0 Back: 557.843
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 21759141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.727 Prop: 20773.851 PropClause: 20158.241 Set: 4045.392 Check: 0.0 Back: 559.494
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 21823621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.732 Prop: 20832.364 PropClause: 20214.957 Set: 4056.577 Check: 0.0 Back: 561.167
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 21888036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.737 Prop: 20891.492 PropClause: 20272.291 Set: 4067.796 Check: 0.0 Back: 562.823
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 21952198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.744 Prop: 20948.7 PropClause: 20327.713 Set: 4091.643 Check: 0.0 Back: 564.488
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 22016675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.749 Prop: 21007.392 PropClause: 20384.609 Set: 4102.934 Check: 0.0 Back: 566.106
INFO - Atoms: 64477/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 22080835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.754 Prop: 21066.042 PropClause: 20441.479 Set: 4114.312 Check: 0.0 Back: 567.781
INFO - Atoms: 64160/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 22145248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.759 Prop: 21125.425 PropClause: 20499.053 Set: 4125.743 Check: 0.0 Back: 569.451
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 22209726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.764 Prop: 21184.016 PropClause: 20555.858 Set: 4137.224 Check: 0.0 Back: 571.136
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 22274139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.769 Prop: 21242.406 PropClause: 20612.457 Set: 4148.454 Check: 0.0 Back: 572.807
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 22338301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.775 Prop: 21300.235 PropClause: 20668.498 Set: 4159.589 Check: 0.0 Back: 574.462
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 22401568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.781 Prop: 21361.117 PropClause: 20727.602 Set: 4170.63 Check: 0.0 Back: 576.114
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 22465792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.786 Prop: 21418.979 PropClause: 20783.665 Set: 4181.891 Check: 0.0 Back: 577.721
INFO - Atoms: 64224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 22530205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.792 Prop: 21476.725 PropClause: 20839.612 Set: 4193.202 Check: 0.0 Back: 579.361
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 22594685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.796 Prop: 21536.745 PropClause: 20897.835 Set: 4204.594 Check: 0.0 Back: 581.013
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 22659099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.801 Prop: 21594.588 PropClause: 20953.888 Set: 4216.06 Check: 0.0 Back: 582.674
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 22723261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.808 Prop: 21652.705 PropClause: 21010.224 Set: 4240.638 Check: 0.0 Back: 584.339
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 22786527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.815 Prop: 21709.272 PropClause: 21065.03 Set: 4251.594 Check: 0.0 Back: 585.997
INFO - Atoms: 63266/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 22850749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.82 Prop: 21764.641 PropClause: 21118.614 Set: 4262.846 Check: 0.0 Back: 587.672
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 22915164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.827 Prop: 21819.913 PropClause: 21172.09 Set: 4273.943 Check: 0.0 Back: 589.375
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 22979644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.833 Prop: 21877.881 PropClause: 21228.267 Set: 4285.174 Check: 0.0 Back: 591.025
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 23044059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.839 Prop: 21936.165 PropClause: 21284.746 Set: 4296.338 Check: 0.0 Back: 592.684
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 23108221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.844 Prop: 21997.622 PropClause: 21344.408 Set: 4307.849 Check: 0.0 Back: 594.336
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 23171487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.85 Prop: 22056.856 PropClause: 21401.883 Set: 4318.863 Check: 0.0 Back: 595.983
INFO - Atoms: 63266/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 23235709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.856 Prop: 22115.614 PropClause: 21458.834 Set: 4330.141 Check: 0.0 Back: 597.62
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 23300124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.86 Prop: 22173.894 PropClause: 21515.328 Set: 4341.348 Check: 0.0 Back: 599.248
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 23364602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.866 Prop: 22231.881 PropClause: 21571.523 Set: 4352.75 Check: 0.0 Back: 600.916
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 23429016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.872 Prop: 22292.583 PropClause: 21630.41 Set: 4364.093 Check: 0.0 Back: 602.569
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 23493178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.877 Prop: 22351.549 PropClause: 21687.565 Set: 4375.389 Check: 0.0 Back: 604.22
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 23556445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.882 Prop: 22408.414 PropClause: 21742.675 Set: 4386.311 Check: 0.0 Back: 605.857
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 23620667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.886 Prop: 22466.611 PropClause: 21799.079 Set: 4397.601 Check: 0.0 Back: 607.489
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 23685082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.891 Prop: 22525.172 PropClause: 21855.836 Set: 4409.159 Check: 0.0 Back: 609.138
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 23749562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.896 Prop: 22584.04 PropClause: 21912.896 Set: 4420.511 Check: 0.0 Back: 610.802
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 23813977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.901 Prop: 22642.989 PropClause: 21970.055 Set: 4431.755 Check: 0.0 Back: 612.465
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 23878139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.906 Prop: 22702.071 PropClause: 22027.356 Set: 4442.992 Check: 0.0 Back: 614.131
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 23941406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.912 Prop: 22762.014 PropClause: 22085.509 Set: 4454.112 Check: 0.0 Back: 615.778
INFO - Atoms: 63267/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 24005628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.918 Prop: 22821.981 PropClause: 22143.682 Set: 4465.554 Check: 0.0 Back: 617.423
INFO - Atoms: 64222/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 24070043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.923 Prop: 22881.021 PropClause: 22200.921 Set: 4476.876 Check: 0.0 Back: 619.073
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 24134521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.93 Prop: 22944.064 PropClause: 22262.155 Set: 4488.891 Check: 0.0 Back: 620.734
INFO - Atoms: 64478/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 24198936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.937 Prop: 23006.79 PropClause: 22323.069 Set: 4515.163 Check: 0.0 Back: 622.4
INFO - Atoms: 64415/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 24263098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.942 Prop: 23065.051 PropClause: 22379.544 Set: 4526.552 Check: 0.0 Back: 624.006
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 24327633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.946 Prop: 23122.11 PropClause: 22434.808 Set: 4537.802 Check: 0.0 Back: 625.648
INFO - Atoms: 64535/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 24391793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.951 Prop: 23179.343 PropClause: 22490.241 Set: 4549.101 Check: 0.0 Back: 627.314
INFO - Atoms: 64160/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 24456206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.957 Prop: 23237.046 PropClause: 22546.145 Set: 4560.375 Check: 0.0 Back: 628.968
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 24520686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.961 Prop: 23293.002 PropClause: 22600.31 Set: 4571.609 Check: 0.0 Back: 630.632
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 24585098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.965 Prop: 23350.971 PropClause: 22656.496 Set: 4582.817 Check: 0.0 Back: 632.28
INFO - Atoms: 64412/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 24649260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.968 Prop: 23405.964 PropClause: 22709.697 Set: 4593.721 Check: 0.0 Back: 633.93
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 24712469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.973 Prop: 23461.087 PropClause: 22763.074 Set: 4604.425 Check: 0.0 Back: 635.571
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 24776693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.977 Prop: 23515.371 PropClause: 22815.578 Set: 4615.571 Check: 0.0 Back: 637.194
INFO - Atoms: 64224/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 24841106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.982 Prop: 23569.321 PropClause: 22867.736 Set: 4626.756 Check: 0.0 Back: 638.842
INFO - Atoms: 64413/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 24905586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.987 Prop: 23624.737 PropClause: 22921.359 Set: 4637.881 Check: 0.0 Back: 640.481
INFO - Atoms: 64480/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 24970000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.993 Prop: 23678.858 PropClause: 22973.695 Set: 4648.934 Check: 0.0 Back: 642.139
INFO - Atoms: 64414/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 25034162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.999 Prop: 23733.576 PropClause: 23026.625 Set: 4660.061 Check: 0.0 Back: 643.799
INFO - Atoms: 64162/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 25097371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.004 Prop: 23788.685 PropClause: 23079.964 Set: 4671.077 Check: 0.0 Back: 645.436
INFO - Atoms: 63209/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 25161538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.009 Prop: 23842.878 PropClause: 23132.366 Set: 4682.308 Check: 0.0 Back: 647.061
INFO - Atoms: 64167/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 25225706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.015 Prop: 23897.628 PropClause: 23185.322 Set: 4693.371 Check: 0.0 Back: 648.719
INFO - Atoms: 64168/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 25289550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.021 Prop: 23952.817 PropClause: 23238.733 Set: 4704.418 Check: 0.0 Back: 650.377
INFO - Atoms: 63844/93888 Clauses: 581 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 869 Props: 29556469 Tprops: 0 Decides: 12280 RSplits: 0
INFO - Times: Expl: 1959.265 Prop: 28287.331 PropClause: 27447.007 Set: 4814.43 Check: 0.291 Back: 754.174
INFO - Atoms: 31144/93888 Clauses: 1080 Axioms: 311154
INFO - Confl: 1235 Props: 32255129 Tprops: 0 Decides: 21520 RSplits: 0
INFO - Times: Expl: 2821.979 Prop: 30937.564 PropClause: 30015.247 Set: 4879.179 Check: 0.514 Back: 818.586
INFO - Atoms: 32416/93888 Clauses: 1446 Axioms: 311154
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 375 Props: 42915 Tprops: 11193 Decides: 45133 RSplits: 0
INFO - Times: Expl: 230.628 Prop: 70266.269 PropClause: 13.297 Set: 6605.63 Check: 283.72 Back: 184.642
INFO - Atoms: 680/870 Clauses: 375 Axioms: 870
INFO - CCTimes: iE 392661 eq 22674470 cc 55431131 setRep 39658681
INFO - Merges: 349214, cc:610109
INFO - BVTimes: BB 192321598 BB_DPLL 64076947903 Graph 141145244
INFO - BitBlastingClauses: 525754 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat