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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 353373662
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 72113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.597 Prop: 109.421 PropClause: 105.341 Set: 148.311 Check: 0.0 Back: 0.0
INFO - Atoms: 72113/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 143752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.655 Prop: 224.327 PropClause: 216.062 Set: 167.115 Check: 0.0 Back: 1.809
INFO - Atoms: 71639/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 214953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.714 Prop: 309.251 PropClause: 298.651 Set: 182.947 Check: 0.0 Back: 3.724
INFO - Atoms: 71201/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 286110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.787 Prop: 389.027 PropClause: 376.488 Set: 203.56 Check: 0.0 Back: 5.532
INFO - Atoms: 71157/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 357311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.853 Prop: 489.187 PropClause: 474.445 Set: 294.776 Check: 0.0 Back: 7.226
INFO - Atoms: 71201/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 428512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.91 Prop: 583.023 PropClause: 566.184 Set: 313.304 Check: 0.0 Back: 9.044
INFO - Atoms: 71201/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 499707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.955 Prop: 672.071 PropClause: 653.136 Set: 330.109 Check: 0.0 Back: 10.887
INFO - Atoms: 71195/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 570889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.008 Prop: 770.93 PropClause: 749.881 Set: 348.762 Check: 0.0 Back: 12.612
INFO - Atoms: 71182/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 642058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.082 Prop: 845.772 PropClause: 823.004 Set: 362.2 Check: 0.0 Back: 14.476
INFO - Atoms: 71169/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 712931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.127 Prop: 919.341 PropClause: 894.857 Set: 375.703 Check: 0.0 Back: 16.148
INFO - Atoms: 70873/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 783507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.194 Prop: 991.688 PropClause: 965.488 Set: 396.532 Check: 0.0 Back: 17.964
INFO - Atoms: 70576/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 853778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.248 Prop: 1083.74 PropClause: 1055.397 Set: 423.321 Check: 0.0 Back: 19.767
INFO - Atoms: 70271/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 923752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.304 Prop: 1158.931 PropClause: 1128.888 Set: 473.923 Check: 0.0 Back: 21.583
INFO - Atoms: 69974/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 993421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.354 Prop: 1231.294 PropClause: 1199.558 Set: 487.188 Check: 0.0 Back: 23.191
INFO - Atoms: 69669/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1062793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.4 Prop: 1300.726 PropClause: 1267.305 Set: 500.241 Check: 0.0 Back: 24.8
INFO - Atoms: 69372/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1131860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.45 Prop: 1371.91 PropClause: 1336.819 Set: 513.696 Check: 0.0 Back: 26.405
INFO - Atoms: 69067/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1200630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.498 Prop: 1440.67 PropClause: 1403.92 Set: 526.476 Check: 0.0 Back: 27.99
INFO - Atoms: 68770/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1269095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.547 Prop: 1513.981 PropClause: 1475.58 Set: 539.581 Check: 0.0 Back: 29.572
INFO - Atoms: 68465/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1337263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.595 Prop: 1585.028 PropClause: 1544.969 Set: 552.371 Check: 0.0 Back: 31.12
INFO - Atoms: 68168/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1405126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.641 Prop: 1660.8 PropClause: 1619.096 Set: 565.435 Check: 0.0 Back: 32.717
INFO - Atoms: 67863/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1472692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.694 Prop: 1727.866 PropClause: 1684.526 Set: 578.033 Check: 0.0 Back: 34.267
INFO - Atoms: 67566/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1539953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.743 Prop: 1799.003 PropClause: 1754.042 Set: 590.833 Check: 0.0 Back: 35.854
INFO - Atoms: 67261/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1606917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.793 Prop: 1871.88 PropClause: 1825.257 Set: 603.823 Check: 0.0 Back: 37.443
INFO - Atoms: 66964/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1673576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.84 Prop: 1940.1 PropClause: 1891.853 Set: 617.902 Check: 0.0 Back: 39.034
INFO - Atoms: 66659/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1739938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.896 Prop: 2029.481 PropClause: 1979.222 Set: 644.198 Check: 0.0 Back: 40.539
INFO - Atoms: 66362/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1805995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.944 Prop: 2121.179 PropClause: 2068.923 Set: 669.322 Check: 0.0 Back: 42.227
INFO - Atoms: 66057/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1871755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.995 Prop: 2190.057 PropClause: 2136.212 Set: 688.909 Check: 0.0 Back: 43.975
INFO - Atoms: 65760/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1937210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.043 Prop: 2261.848 PropClause: 2206.407 Set: 708.373 Check: 0.0 Back: 45.51
INFO - Atoms: 65455/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2002368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.089 Prop: 2326.522 PropClause: 2269.469 Set: 727.477 Check: 0.0 Back: 46.995
INFO - Atoms: 65158/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2067221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.139 Prop: 2399.497 PropClause: 2340.835 Set: 740.136 Check: 0.0 Back: 48.529
INFO - Atoms: 64853/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2131777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.187 Prop: 2468.344 PropClause: 2408.101 Set: 752.304 Check: 0.0 Back: 50.017
INFO - Atoms: 64556/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2196028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.238 Prop: 2538.33 PropClause: 2476.514 Set: 764.69 Check: 0.0 Back: 51.521
INFO - Atoms: 64251/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2259982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.287 Prop: 2607.205 PropClause: 2543.836 Set: 776.735 Check: 0.0 Back: 52.985
INFO - Atoms: 63954/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2323631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.332 Prop: 2671.398 PropClause: 2606.479 Set: 788.76 Check: 0.0 Back: 54.486
INFO - Atoms: 63649/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2386983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.381 Prop: 2732.322 PropClause: 2665.861 Set: 800.471 Check: 0.0 Back: 55.958
INFO - Atoms: 63352/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2450030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.435 Prop: 2797.25 PropClause: 2729.249 Set: 812.525 Check: 0.0 Back: 57.451
INFO - Atoms: 63047/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2512780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.486 Prop: 2859.106 PropClause: 2789.554 Set: 824.315 Check: 0.0 Back: 58.889
INFO - Atoms: 62750/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2575225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.538 Prop: 2925.436 PropClause: 2854.357 Set: 836.053 Check: 0.0 Back: 60.366
INFO - Atoms: 62445/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2637373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.584 Prop: 2991.619 PropClause: 2919.035 Set: 847.673 Check: 0.0 Back: 61.789
INFO - Atoms: 62148/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2699216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.629 Prop: 3056.968 PropClause: 2982.882 Set: 859.247 Check: 0.0 Back: 63.244
INFO - Atoms: 61843/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2760762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.677 Prop: 3120.256 PropClause: 3044.686 Set: 870.788 Check: 0.0 Back: 64.658
INFO - Atoms: 61546/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2822003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.737 Prop: 3183.627 PropClause: 3106.536 Set: 882.384 Check: 0.0 Back: 66.104
INFO - Atoms: 61241/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2882947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.786 Prop: 3242.287 PropClause: 3163.725 Set: 893.491 Check: 0.0 Back: 67.529
INFO - Atoms: 60944/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2943586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.837 Prop: 3304.138 PropClause: 3224.094 Set: 904.772 Check: 0.0 Back: 68.981
INFO - Atoms: 60639/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 3003928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.886 Prop: 3362.488 PropClause: 3280.98 Set: 915.822 Check: 0.0 Back: 70.37
INFO - Atoms: 60342/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 3063965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.936 Prop: 3423.678 PropClause: 3340.712 Set: 927.09 Check: 0.0 Back: 71.831
INFO - Atoms: 60037/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 3123705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.021 Prop: 3484.974 PropClause: 3400.563 Set: 938.108 Check: 0.0 Back: 73.234
INFO - Atoms: 59740/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 3183140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.069 Prop: 3547.418 PropClause: 3461.568 Set: 949.176 Check: 0.0 Back: 74.629
INFO - Atoms: 59435/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3242278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.119 Prop: 3609.722 PropClause: 3522.446 Set: 960.277 Check: 0.0 Back: 75.988
INFO - Atoms: 59138/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3301111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.171 Prop: 3668.668 PropClause: 3579.97 Set: 971.194 Check: 0.0 Back: 77.372
INFO - Atoms: 58833/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3359647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.222 Prop: 3725.99 PropClause: 3635.863 Set: 981.943 Check: 0.0 Back: 78.711
INFO - Atoms: 58536/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3417878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.373 Prop: 3785.38 PropClause: 3693.848 Set: 992.782 Check: 0.0 Back: 80.079
INFO - Atoms: 58231/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3475812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.395 Prop: 3844.009 PropClause: 3751.07 Set: 1003.384 Check: 0.0 Back: 81.405
INFO - Atoms: 57934/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3533441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.418 Prop: 3903.665 PropClause: 3809.331 Set: 1014.072 Check: 0.0 Back: 82.744
INFO - Atoms: 57629/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3590773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.484 Prop: 3960.977 PropClause: 3865.254 Set: 1030.249 Check: 0.0 Back: 84.058
INFO - Atoms: 57332/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3647800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.539 Prop: 4013.534 PropClause: 3916.42 Set: 1045.73 Check: 0.0 Back: 85.39
INFO - Atoms: 57027/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 3704530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.56 Prop: 4069.36 PropClause: 3970.877 Set: 1061.031 Check: 0.0 Back: 86.676
INFO - Atoms: 56730/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3760955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.584 Prop: 4127.696 PropClause: 4027.845 Set: 1071.509 Check: 0.0 Back: 87.995
INFO - Atoms: 56425/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3817083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.605 Prop: 4181.192 PropClause: 4079.986 Set: 1081.708 Check: 0.0 Back: 89.264
INFO - Atoms: 56128/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3872906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.627 Prop: 4237.009 PropClause: 4134.455 Set: 1092.049 Check: 0.0 Back: 90.564
INFO - Atoms: 55823/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3928432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.65 Prop: 4289.44 PropClause: 4185.546 Set: 1101.879 Check: 0.0 Back: 91.825
INFO - Atoms: 55526/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3983653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.673 Prop: 4338.663 PropClause: 4233.396 Set: 1111.715 Check: 0.0 Back: 93.101
INFO - Atoms: 55221/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 4038577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.694 Prop: 4389.474 PropClause: 4282.857 Set: 1121.564 Check: 0.0 Back: 94.349
INFO - Atoms: 54924/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 4093196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.716 Prop: 4445.5 PropClause: 4337.568 Set: 1131.464 Check: 0.0 Back: 95.624
INFO - Atoms: 54619/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 4147518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 4495.595 PropClause: 4386.357 Set: 1141.205 Check: 0.0 Back: 96.862
INFO - Atoms: 54322/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 4201535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.828 Prop: 4547.116 PropClause: 4436.576 Set: 1150.997 Check: 0.0 Back: 98.11
INFO - Atoms: 54017/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 4255255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.852 Prop: 4598.343 PropClause: 4486.513 Set: 1160.62 Check: 0.0 Back: 99.332
INFO - Atoms: 53720/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4308670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.874 Prop: 4645.523 PropClause: 4532.401 Set: 1170.013 Check: 0.0 Back: 100.585
INFO - Atoms: 53415/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4361788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.893 Prop: 4691.493 PropClause: 4577.092 Set: 1179.427 Check: 0.0 Back: 101.786
INFO - Atoms: 53118/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4414601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.914 Prop: 4741.232 PropClause: 4625.555 Set: 1188.858 Check: 0.0 Back: 103.013
INFO - Atoms: 52813/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4467117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.934 Prop: 4791.459 PropClause: 4674.514 Set: 1198.282 Check: 0.0 Back: 104.199
INFO - Atoms: 52516/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4519328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.956 Prop: 4841.579 PropClause: 4723.366 Set: 1207.585 Check: 0.0 Back: 105.402
INFO - Atoms: 52211/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 4571242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.976 Prop: 4890.393 PropClause: 4770.937 Set: 1216.744 Check: 0.0 Back: 106.578
INFO - Atoms: 51914/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 4622851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.995 Prop: 4936.616 PropClause: 4815.898 Set: 1225.884 Check: 0.0 Back: 107.78
INFO - Atoms: 51609/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 4674163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.014 Prop: 4978.8 PropClause: 4856.848 Set: 1234.92 Check: 0.0 Back: 108.943
INFO - Atoms: 51312/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 4725170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.033 Prop: 5025.552 PropClause: 4902.37 Set: 1244.077 Check: 0.0 Back: 110.123
INFO - Atoms: 51007/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 4775880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.055 Prop: 5072.643 PropClause: 4948.219 Set: 1253.168 Check: 0.0 Back: 111.269
INFO - Atoms: 50710/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 4826285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.074 Prop: 5121.349 PropClause: 4995.688 Set: 1262.141 Check: 0.0 Back: 112.434
INFO - Atoms: 50405/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 4876393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.096 Prop: 5164.993 PropClause: 5038.097 Set: 1271.158 Check: 0.0 Back: 113.568
INFO - Atoms: 50108/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 4926196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.118 Prop: 5212.633 PropClause: 5084.528 Set: 1280.19 Check: 0.0 Back: 114.744
INFO - Atoms: 49803/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 4975702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.14 Prop: 5251.433 PropClause: 5122.123 Set: 1288.81 Check: 0.0 Back: 115.888
INFO - Atoms: 49506/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 5024903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.162 Prop: 5292.003 PropClause: 5161.503 Set: 1297.34 Check: 0.0 Back: 117.032
INFO - Atoms: 49201/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 5073807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.189 Prop: 5337.325 PropClause: 5205.635 Set: 1306.152 Check: 0.0 Back: 118.147
INFO - Atoms: 48904/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 5122406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.213 Prop: 5391.453 PropClause: 5258.335 Set: 1317.4 Check: 0.0 Back: 119.288
INFO - Atoms: 48599/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 5171854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.329 Prop: 5434.953 PropClause: 5300.628 Set: 1326.272 Check: 0.0 Back: 120.541
INFO - Atoms: 49448/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 5221475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.345 Prop: 5481.08 PropClause: 5345.532 Set: 1335.373 Check: 0.0 Back: 121.701
INFO - Atoms: 49621/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 5271729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.362 Prop: 5528.331 PropClause: 5391.546 Set: 1344.736 Check: 0.0 Back: 122.84
INFO - Atoms: 50254/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5322040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.379 Prop: 5578.717 PropClause: 5440.698 Set: 1354.008 Check: 0.0 Back: 124.002
INFO - Atoms: 50311/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 5372944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.395 Prop: 5622.39 PropClause: 5483.116 Set: 1363.348 Check: 0.0 Back: 125.133
INFO - Atoms: 50904/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 5423850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.413 Prop: 5670.408 PropClause: 5529.895 Set: 1372.826 Check: 0.0 Back: 126.314
INFO - Atoms: 50906/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 5475023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.43 Prop: 5712.228 PropClause: 5570.456 Set: 1382.382 Check: 0.0 Back: 127.519
INFO - Atoms: 51173/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 5525620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.448 Prop: 5756.163 PropClause: 5613.157 Set: 1391.726 Check: 0.0 Back: 128.741
INFO - Atoms: 50597/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 5576504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.467 Prop: 5806.61 PropClause: 5662.3 Set: 1401.664 Check: 0.0 Back: 129.988
INFO - Atoms: 50884/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 5627385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.485 Prop: 5857.092 PropClause: 5711.541 Set: 1411.298 Check: 0.0 Back: 131.221
INFO - Atoms: 50881/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 5676824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.498 Prop: 5902.439 PropClause: 5755.693 Set: 1420.307 Check: 0.0 Back: 132.375
INFO - Atoms: 49439/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 5726263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 5947.58 PropClause: 5799.637 Set: 1429.445 Check: 0.0 Back: 133.536
INFO - Atoms: 49439/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 5775664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.526 Prop: 5991.965 PropClause: 5842.818 Set: 1438.507 Check: 0.0 Back: 134.653
INFO - Atoms: 49401/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 5825365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.542 Prop: 6036.745 PropClause: 5886.373 Set: 1465.04 Check: 0.0 Back: 135.79
INFO - Atoms: 49701/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 5876258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.556 Prop: 6076.906 PropClause: 5925.302 Set: 1474.35 Check: 0.0 Back: 136.943
INFO - Atoms: 50893/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 5927732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 6121.991 PropClause: 5969.138 Set: 1483.817 Check: 0.0 Back: 138.124
INFO - Atoms: 51474/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 5979189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.586 Prop: 6164.077 PropClause: 6009.975 Set: 1493.324 Check: 0.0 Back: 139.301
INFO - Atoms: 51457/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 6030935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.603 Prop: 6212.851 PropClause: 6057.393 Set: 1503.682 Check: 0.0 Back: 140.493
INFO - Atoms: 51746/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 6082679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.62 Prop: 6259.558 PropClause: 6102.826 Set: 1513.319 Check: 0.0 Back: 141.709
INFO - Atoms: 51744/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 6132080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.634 Prop: 6308.072 PropClause: 6150.13 Set: 1522.533 Check: 0.0 Back: 142.918
INFO - Atoms: 49401/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 6181781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.648 Prop: 6354.232 PropClause: 6195.083 Set: 1531.629 Check: 0.0 Back: 144.036
INFO - Atoms: 49701/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 6232674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.661 Prop: 6399.782 PropClause: 6239.398 Set: 1541.071 Check: 0.0 Back: 145.202
INFO - Atoms: 50893/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 6284141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.679 Prop: 6448.17 PropClause: 6286.455 Set: 1551.177 Check: 0.0 Back: 146.355
INFO - Atoms: 51467/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 6335605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.695 Prop: 6496.998 PropClause: 6334.041 Set: 1560.809 Check: 0.0 Back: 147.562
INFO - Atoms: 51464/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 6387360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.713 Prop: 6548.759 PropClause: 6384.533 Set: 1570.873 Check: 0.0 Back: 148.736
INFO - Atoms: 51755/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 6439111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.728 Prop: 6600.139 PropClause: 6434.642 Set: 1580.636 Check: 0.0 Back: 149.944
INFO - Atoms: 51751/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 6488512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.744 Prop: 6648.143 PropClause: 6481.448 Set: 1589.82 Check: 0.0 Back: 151.121
INFO - Atoms: 49401/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 6538213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.761 Prop: 6698.237 PropClause: 6530.131 Set: 1600.575 Check: 0.0 Back: 152.278
INFO - Atoms: 49701/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 6588216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.776 Prop: 6742.631 PropClause: 6573.309 Set: 1609.893 Check: 0.0 Back: 153.426
INFO - Atoms: 50003/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 6638519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 6789.303 PropClause: 6618.761 Set: 1619.315 Check: 0.0 Back: 154.582
INFO - Atoms: 50303/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 6689124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.808 Prop: 6835.59 PropClause: 6663.814 Set: 1628.736 Check: 0.0 Back: 155.727
INFO - Atoms: 50605/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 6740029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.822 Prop: 6879.195 PropClause: 6706.175 Set: 1638.013 Check: 0.0 Back: 156.899
INFO - Atoms: 50905/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 6791236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.839 Prop: 6927.651 PropClause: 6753.388 Set: 1647.542 Check: 0.0 Back: 158.062
INFO - Atoms: 51207/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 6842743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 6979.623 PropClause: 6804.099 Set: 1673.913 Check: 0.0 Back: 159.248
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 6894251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.871 Prop: 7029.662 PropClause: 6852.879 Set: 1683.551 Check: 0.0 Back: 160.421
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 6946047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.884 Prop: 7080.327 PropClause: 6902.288 Set: 1693.215 Check: 0.0 Back: 161.61
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 6997555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.9 Prop: 7129.137 PropClause: 6949.849 Set: 1702.763 Check: 0.0 Back: 162.785
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 7049067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.917 Prop: 7176.652 PropClause: 6995.947 Set: 1713.265 Check: 0.0 Back: 163.986
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 7099137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.933 Prop: 7223.26 PropClause: 7041.316 Set: 1722.666 Check: 0.0 Back: 165.173
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 7150644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.949 Prop: 7271.04 PropClause: 7087.833 Set: 1732.235 Check: 0.0 Back: 166.371
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 7202152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.963 Prop: 7319.33 PropClause: 7134.878 Set: 1741.691 Check: 0.0 Back: 167.539
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 7253948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.976 Prop: 7368.037 PropClause: 7182.321 Set: 1751.405 Check: 0.0 Back: 168.725
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 7305456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.991 Prop: 7416.336 PropClause: 7229.362 Set: 1761.1 Check: 0.0 Back: 169.91
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 7356968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.01 Prop: 7465.625 PropClause: 7277.361 Set: 1771.175 Check: 0.0 Back: 171.106
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 7407038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.028 Prop: 7507.519 PropClause: 7318.032 Set: 1780.214 Check: 0.0 Back: 172.284
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 7458545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.042 Prop: 7551.371 PropClause: 7360.639 Set: 1789.575 Check: 0.0 Back: 173.455
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 7510053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.056 Prop: 7596.394 PropClause: 7404.418 Set: 1798.866 Check: 0.0 Back: 174.618
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 7561849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 7645.298 PropClause: 7452.074 Set: 1808.343 Check: 0.0 Back: 175.858
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 7613357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.088 Prop: 7690.773 PropClause: 7496.294 Set: 1817.682 Check: 0.0 Back: 177.03
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 7664869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.103 Prop: 7736.347 PropClause: 7540.619 Set: 1827.104 Check: 0.0 Back: 178.23
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 7714939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.122 Prop: 7784.25 PropClause: 7587.218 Set: 1836.779 Check: 0.0 Back: 179.422
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 7766446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.137 Prop: 7826.911 PropClause: 7628.624 Set: 1846.156 Check: 0.0 Back: 180.598
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 7817954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.154 Prop: 7872.841 PropClause: 7673.305 Set: 1855.644 Check: 0.0 Back: 181.76
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 7869750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.168 Prop: 7920.962 PropClause: 7720.175 Set: 1865.352 Check: 0.0 Back: 182.971
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 7921258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.186 Prop: 7970.542 PropClause: 7768.493 Set: 1891.857 Check: 0.0 Back: 184.153
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 7972770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.204 Prop: 8017.107 PropClause: 7813.803 Set: 1901.306 Check: 0.0 Back: 185.354
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 8022840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.251 Prop: 8062.852 PropClause: 7858.328 Set: 1910.409 Check: 0.0 Back: 186.526
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 8074347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.262 Prop: 8106.061 PropClause: 7900.288 Set: 1919.734 Check: 0.0 Back: 187.683
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 8125855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.273 Prop: 8149.276 PropClause: 7942.258 Set: 1929.05 Check: 0.0 Back: 188.853
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 8177651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.285 Prop: 8198.243 PropClause: 7989.929 Set: 1939.044 Check: 0.0 Back: 190.04
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 8229159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.297 Prop: 8245.826 PropClause: 8036.265 Set: 1948.525 Check: 0.0 Back: 191.239
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 8280671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.308 Prop: 8292.722 PropClause: 8081.91 Set: 1957.95 Check: 0.0 Back: 192.433
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 8330741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.32 Prop: 8335.43 PropClause: 8123.404 Set: 1966.969 Check: 0.0 Back: 193.6
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 8382248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.333 Prop: 8382.659 PropClause: 8169.364 Set: 1976.826 Check: 0.0 Back: 194.75
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 8433756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.343 Prop: 8428.441 PropClause: 8213.889 Set: 1986.046 Check: 0.0 Back: 195.916
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 8485552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.353 Prop: 8471.721 PropClause: 8255.912 Set: 1995.489 Check: 0.0 Back: 197.099
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 8537060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.363 Prop: 8519.305 PropClause: 8302.245 Set: 2005.15 Check: 0.0 Back: 198.276
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 8588572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.374 Prop: 8569.97 PropClause: 8351.66 Set: 2014.727 Check: 0.0 Back: 199.475
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 8638642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 8617.548 PropClause: 8398.03 Set: 2023.689 Check: 0.0 Back: 200.653
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 8690149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.396 Prop: 8662.35 PropClause: 8441.579 Set: 2033.229 Check: 0.0 Back: 201.819
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 8741657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 8711.356 PropClause: 8489.336 Set: 2042.755 Check: 0.0 Back: 202.983
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 8793453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 8758.239 PropClause: 8534.954 Set: 2052.333 Check: 0.0 Back: 204.189
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 8844961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 8801.619 PropClause: 8577.09 Set: 2061.862 Check: 0.0 Back: 205.379
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 8896473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.452 Prop: 8849.203 PropClause: 8623.417 Set: 2071.417 Check: 0.0 Back: 206.572
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 8946543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.461 Prop: 8896.145 PropClause: 8669.139 Set: 2080.53 Check: 0.0 Back: 207.742
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 8998050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.475 Prop: 8945.47 PropClause: 8717.207 Set: 2090.364 Check: 0.0 Back: 208.906
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 9049558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.488 Prop: 8992.692 PropClause: 8763.161 Set: 2100.064 Check: 0.0 Back: 210.08
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 9099624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.499 Prop: 9040.027 PropClause: 8809.271 Set: 2109.227 Check: 0.0 Back: 211.275
INFO - Atoms: 50066/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 9151132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.511 Prop: 9081.652 PropClause: 8849.642 Set: 2118.726 Check: 0.0 Back: 212.417
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 9202644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 9130.88 PropClause: 8897.611 Set: 2128.343 Check: 0.0 Back: 213.618
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 9252714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.532 Prop: 9178.139 PropClause: 8943.647 Set: 2137.533 Check: 0.0 Back: 214.799
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 9304221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.543 Prop: 9227.643 PropClause: 8991.9 Set: 2147.276 Check: 0.0 Back: 215.955
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 9355729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.555 Prop: 9273.309 PropClause: 9036.317 Set: 2156.713 Check: 0.0 Back: 217.125
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 9407525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.569 Prop: 9322.351 PropClause: 9084.108 Set: 2166.39 Check: 0.0 Back: 218.321
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 9459033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.581 Prop: 9370.228 PropClause: 9130.733 Set: 2176.072 Check: 0.0 Back: 219.501
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 9510545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.595 Prop: 9414.911 PropClause: 9174.161 Set: 2185.46 Check: 0.0 Back: 220.707
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 9560615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 9458.985 PropClause: 9217.02 Set: 2194.525 Check: 0.0 Back: 221.875
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 9612122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.62 Prop: 9508.261 PropClause: 9265.045 Set: 2204.217 Check: 0.0 Back: 223.04
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 9663630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.675 Prop: 9556.231 PropClause: 9311.766 Set: 2213.83 Check: 0.0 Back: 224.215
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 9715426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.728 Prop: 9604.726 PropClause: 9358.997 Set: 2223.526 Check: 0.0 Back: 225.417
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 9766934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.764 Prop: 9651.867 PropClause: 9404.892 Set: 2233.074 Check: 0.0 Back: 226.593
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 9818446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.776 Prop: 9699.719 PropClause: 9451.474 Set: 2242.64 Check: 0.0 Back: 227.793
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 9868516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.787 Prop: 9741.945 PropClause: 9492.487 Set: 2251.635 Check: 0.0 Back: 228.964
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 9920023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.8 Prop: 9792.062 PropClause: 9541.325 Set: 2261.637 Check: 0.0 Back: 230.124
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 9971531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.811 Prop: 9840.711 PropClause: 9588.719 Set: 2271.185 Check: 0.0 Back: 231.312
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 10023327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.82 Prop: 9890.944 PropClause: 9637.7 Set: 2281.017 Check: 0.0 Back: 232.507
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 10074835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.832 Prop: 9938.454 PropClause: 9683.961 Set: 2290.503 Check: 0.0 Back: 233.68
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 10126347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.841 Prop: 9987.249 PropClause: 9731.507 Set: 2300.171 Check: 0.0 Back: 234.88
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 10176417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.852 Prop: 10030.355 PropClause: 9773.393 Set: 2309.263 Check: 0.0 Back: 236.052
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 10227924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.861 Prop: 10076.175 PropClause: 9817.964 Set: 2318.735 Check: 0.0 Back: 237.219
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 10279432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 10124.03 PropClause: 9864.574 Set: 2328.168 Check: 0.0 Back: 238.4
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 10331228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.881 Prop: 10175.386 PropClause: 9914.679 Set: 2337.84 Check: 0.0 Back: 239.578
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 10382736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.893 Prop: 10224.143 PropClause: 9962.19 Set: 2347.512 Check: 0.0 Back: 240.76
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 10434248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.912 Prop: 10275.004 PropClause: 10011.768 Set: 2357.208 Check: 0.0 Back: 241.968
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 10484318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.923 Prop: 10324.228 PropClause: 10059.776 Set: 2366.473 Check: 0.0 Back: 243.144
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 10535825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.933 Prop: 10372.714 PropClause: 10107.003 Set: 2376.127 Check: 0.0 Back: 244.308
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 10587333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 10418.709 PropClause: 10151.752 Set: 2385.614 Check: 0.0 Back: 245.481
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 10639129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.954 Prop: 10468.615 PropClause: 10200.402 Set: 2395.344 Check: 0.0 Back: 246.667
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 10690637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.965 Prop: 10518.21 PropClause: 10248.742 Set: 2404.937 Check: 0.0 Back: 247.853
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 10742149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.975 Prop: 10568.786 PropClause: 10298.074 Set: 2414.448 Check: 0.0 Back: 249.038
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 10792219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.986 Prop: 10615.13 PropClause: 10343.203 Set: 2423.59 Check: 0.0 Back: 250.198
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 10843726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.997 Prop: 10664.206 PropClause: 10391.028 Set: 2433.34 Check: 0.0 Back: 251.364
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 10895234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.006 Prop: 10709.513 PropClause: 10435.077 Set: 2442.741 Check: 0.0 Back: 252.536
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 10947030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 10758.133 PropClause: 10482.442 Set: 2452.425 Check: 0.0 Back: 253.727
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 10998538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.026 Prop: 10805.178 PropClause: 10528.235 Set: 2462.063 Check: 0.0 Back: 254.903
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 11050050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.035 Prop: 10855.786 PropClause: 10577.587 Set: 2471.688 Check: 0.0 Back: 256.087
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 11100120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.044 Prop: 10902.819 PropClause: 10623.4 Set: 2480.988 Check: 0.0 Back: 257.278
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 11151627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 10951.982 PropClause: 10671.315 Set: 2490.628 Check: 0.0 Back: 258.429
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 11203135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 10999.512 PropClause: 10717.596 Set: 2500.173 Check: 0.0 Back: 259.596
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 11254931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.075 Prop: 11046.617 PropClause: 10763.446 Set: 2509.764 Check: 0.0 Back: 260.793
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 11306439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.087 Prop: 11090.509 PropClause: 10806.081 Set: 2535.153 Check: 0.0 Back: 261.974
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 11357951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.098 Prop: 11135.29 PropClause: 10849.619 Set: 2544.576 Check: 0.0 Back: 263.174
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 11408021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.109 Prop: 11181.532 PropClause: 10894.638 Set: 2553.669 Check: 0.0 Back: 264.342
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 11459528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.128 Prop: 11226.663 PropClause: 10938.512 Set: 2563.251 Check: 0.0 Back: 265.489
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 11511036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.139 Prop: 11269.935 PropClause: 10980.536 Set: 2572.583 Check: 0.0 Back: 266.653
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 11561102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.148 Prop: 11315.334 PropClause: 11024.719 Set: 2581.751 Check: 0.0 Back: 267.853
INFO - Atoms: 50066/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 11612610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.159 Prop: 11355.364 PropClause: 11063.503 Set: 2591.042 Check: 0.0 Back: 269.009
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 11664122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.168 Prop: 11400.994 PropClause: 11107.884 Set: 2600.569 Check: 0.0 Back: 270.202
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 11715921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.178 Prop: 11445.232 PropClause: 11150.859 Set: 2610.061 Check: 0.0 Back: 271.373
INFO - Atoms: 51799/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 11767428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.189 Prop: 11494.195 PropClause: 11198.578 Set: 2619.643 Check: 0.0 Back: 272.578
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 11818936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.202 Prop: 11540.033 PropClause: 11243.172 Set: 2629.056 Check: 0.0 Back: 273.752
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 11869002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.212 Prop: 11586.862 PropClause: 11288.79 Set: 2638.236 Check: 0.0 Back: 274.934
INFO - Atoms: 50066/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 11920510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.22 Prop: 11631.303 PropClause: 11331.967 Set: 2647.699 Check: 0.0 Back: 276.08
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 11972022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.23 Prop: 11674.049 PropClause: 11373.436 Set: 2657.112 Check: 0.0 Back: 277.266
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 12023821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.24 Prop: 11718.639 PropClause: 11416.777 Set: 2666.558 Check: 0.0 Back: 278.503
INFO - Atoms: 51799/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 12075328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.251 Prop: 11766.744 PropClause: 11463.635 Set: 2676.26 Check: 0.0 Back: 279.717
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 12126836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.26 Prop: 11814.5 PropClause: 11510.144 Set: 2685.864 Check: 0.0 Back: 280.884
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 12178632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.271 Prop: 11860.35 PropClause: 11554.734 Set: 2695.402 Check: 0.0 Back: 282.054
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 12230140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.28 Prop: 11905.125 PropClause: 11598.261 Set: 2704.87 Check: 0.0 Back: 283.226
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 12281652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.289 Prop: 11951.29 PropClause: 11643.176 Set: 2714.333 Check: 0.0 Back: 284.424
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 12331722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.301 Prop: 11998.475 PropClause: 11689.153 Set: 2723.42 Check: 0.0 Back: 285.635
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 12383229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.312 Prop: 12042.902 PropClause: 11732.329 Set: 2732.981 Check: 0.0 Back: 286.794
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 12434737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.324 Prop: 12086.008 PropClause: 11774.181 Set: 2760.191 Check: 0.0 Back: 287.968
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 12486533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.334 Prop: 12132.721 PropClause: 11819.643 Set: 2769.762 Check: 0.0 Back: 289.163
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 12538041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.346 Prop: 12179.628 PropClause: 11865.304 Set: 2779.388 Check: 0.0 Back: 290.354
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 12589553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.356 Prop: 12225.859 PropClause: 11910.285 Set: 2788.849 Check: 0.0 Back: 291.532
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 12639623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.366 Prop: 12270.95 PropClause: 11954.17 Set: 2797.843 Check: 0.0 Back: 292.697
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 12691130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.375 Prop: 12312.061 PropClause: 11994.034 Set: 2807.155 Check: 0.0 Back: 293.851
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 12742638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.384 Prop: 12357.695 PropClause: 12038.42 Set: 2816.537 Check: 0.0 Back: 295.014
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 12794434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.394 Prop: 12406.16 PropClause: 12085.636 Set: 2826.199 Check: 0.0 Back: 296.201
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 12845942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.404 Prop: 12456.568 PropClause: 12134.795 Set: 2835.848 Check: 0.0 Back: 297.375
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 12897454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.414 Prop: 12503.513 PropClause: 12180.493 Set: 2845.42 Check: 0.0 Back: 298.558
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 12947524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.426 Prop: 12550.049 PropClause: 12225.817 Set: 2854.531 Check: 0.0 Back: 299.726
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 12999031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.435 Prop: 12596.027 PropClause: 12270.54 Set: 2864.037 Check: 0.0 Back: 300.888
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 13050539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.445 Prop: 12639.996 PropClause: 12313.26 Set: 2873.549 Check: 0.0 Back: 302.054
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 13102335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.455 Prop: 12689.248 PropClause: 12361.253 Set: 2883.268 Check: 0.0 Back: 303.251
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 13153843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.465 Prop: 12737.872 PropClause: 12408.627 Set: 2892.787 Check: 0.0 Back: 304.444
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 13205355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.475 Prop: 12787.085 PropClause: 12456.572 Set: 2902.323 Check: 0.0 Back: 305.63
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 13255425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.484 Prop: 12830.949 PropClause: 12499.221 Set: 2911.395 Check: 0.0 Back: 306.793
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 13306932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.495 Prop: 12879.533 PropClause: 12546.555 Set: 2921.008 Check: 0.0 Back: 307.942
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 13358440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.507 Prop: 12926.07 PropClause: 12591.833 Set: 2930.493 Check: 0.0 Back: 309.109
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 13410236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.516 Prop: 12970.468 PropClause: 12634.966 Set: 2940.055 Check: 0.0 Back: 310.306
INFO - Atoms: 51796/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 13461744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.526 Prop: 13015.254 PropClause: 12678.495 Set: 2949.575 Check: 0.0 Back: 311.491
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 13513256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.535 Prop: 13061.154 PropClause: 12723.14 Set: 2959.159 Check: 0.0 Back: 312.694
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 13565055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.549 Prop: 13108.276 PropClause: 12769.004 Set: 2968.739 Check: 0.0 Back: 314.117
INFO - Atoms: 51799/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 13616562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.56 Prop: 13156.082 PropClause: 12815.559 Set: 2978.37 Check: 0.0 Back: 315.329
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 13668070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.571 Prop: 13201.959 PropClause: 12860.18 Set: 2987.758 Check: 0.0 Back: 316.499
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 13718136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.582 Prop: 13249.044 PropClause: 12906.041 Set: 2996.921 Check: 0.0 Back: 317.687
INFO - Atoms: 50066/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 13769644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.593 Prop: 13290.511 PropClause: 12946.258 Set: 3006.423 Check: 0.0 Back: 318.825
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 13821156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.603 Prop: 13339.112 PropClause: 12993.609 Set: 3015.953 Check: 0.0 Back: 320.012
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 13872955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.613 Prop: 13385.993 PropClause: 13039.235 Set: 3025.582 Check: 0.0 Back: 321.203
INFO - Atoms: 51799/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 13924462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.625 Prop: 13436.985 PropClause: 13088.93 Set: 3035.286 Check: 0.0 Back: 322.414
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 13975970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.637 Prop: 13487.011 PropClause: 13137.647 Set: 3044.863 Check: 0.0 Back: 323.629
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 14026036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.65 Prop: 13534.949 PropClause: 13184.37 Set: 3054.234 Check: 0.0 Back: 324.836
INFO - Atoms: 50066/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 14077544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.66 Prop: 13580.387 PropClause: 13228.552 Set: 3063.763 Check: 0.0 Back: 325.982
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 14129056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.67 Prop: 13624.057 PropClause: 13270.976 Set: 3073.242 Check: 0.0 Back: 327.197
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 14180855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.681 Prop: 13674.967 PropClause: 13320.638 Set: 3083.087 Check: 0.0 Back: 328.371
INFO - Atoms: 51799/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 14232362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.69 Prop: 13725.891 PropClause: 13370.314 Set: 3092.78 Check: 0.0 Back: 329.572
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 14283870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.699 Prop: 13772.66 PropClause: 13415.824 Set: 3102.249 Check: 0.0 Back: 330.752
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 14333936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.71 Prop: 13821.201 PropClause: 13463.155 Set: 3111.472 Check: 0.0 Back: 331.955
INFO - Atoms: 50066/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 14385444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.721 Prop: 13868.277 PropClause: 13508.985 Set: 3121.117 Check: 0.0 Back: 333.089
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 14436956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.733 Prop: 13917.551 PropClause: 13557.013 Set: 3130.732 Check: 0.0 Back: 334.306
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 14488755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.743 Prop: 13963.5 PropClause: 13601.709 Set: 3140.328 Check: 0.0 Back: 335.472
INFO - Atoms: 51799/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 14540262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.753 Prop: 14011.103 PropClause: 13648.067 Set: 3149.827 Check: 0.0 Back: 336.679
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 14591770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.762 Prop: 14058.596 PropClause: 13694.314 Set: 3159.41 Check: 0.0 Back: 337.846
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 14641836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.775 Prop: 14108.558 PropClause: 13743.06 Set: 3188.318 Check: 0.0 Back: 339.036
INFO - Atoms: 50066/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 14693344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.785 Prop: 14155.452 PropClause: 13788.708 Set: 3197.977 Check: 0.0 Back: 340.175
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 14744856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.796 Prop: 14203.586 PropClause: 13835.592 Set: 3207.633 Check: 0.0 Back: 341.372
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 14796655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.804 Prop: 14252.535 PropClause: 13883.282 Set: 3217.386 Check: 0.0 Back: 342.546
INFO - Atoms: 51799/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 14848162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.815 Prop: 14297.147 PropClause: 13926.645 Set: 3226.765 Check: 0.0 Back: 343.739
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 14899670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.825 Prop: 14343.589 PropClause: 13971.842 Set: 3236.28 Check: 0.0 Back: 344.916
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 14949736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.836 Prop: 14390.736 PropClause: 14017.777 Set: 3245.553 Check: 0.0 Back: 346.1
INFO - Atoms: 50066/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 15001244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.846 Prop: 14438.991 PropClause: 14064.775 Set: 3255.383 Check: 0.0 Back: 347.238
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 15052756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.856 Prop: 14486.54 PropClause: 14111.07 Set: 3265.07 Check: 0.0 Back: 348.457
INFO - Atoms: 51512/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 15102826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.869 Prop: 14532.636 PropClause: 14155.956 Set: 3274.23 Check: 0.0 Back: 349.633
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 15154333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.878 Prop: 14581.097 PropClause: 14203.168 Set: 3283.948 Check: 0.0 Back: 350.785
INFO - Atoms: 51507/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 15205841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.889 Prop: 14624.064 PropClause: 14244.889 Set: 3293.282 Check: 0.0 Back: 351.958
INFO - Atoms: 51508/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 15255907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.899 Prop: 14672.172 PropClause: 14291.783 Set: 3302.521 Check: 0.0 Back: 353.161
INFO - Atoms: 50066/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 15307282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.91 Prop: 14717.695 PropClause: 14336.061 Set: 3312.01 Check: 0.0 Back: 354.305
INFO - Atoms: 51375/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 15358660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.92 Prop: 14764.797 PropClause: 14381.927 Set: 3321.442 Check: 0.0 Back: 355.482
INFO - Atoms: 51378/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 15408730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.93 Prop: 14811.18 PropClause: 14427.099 Set: 3330.488 Check: 0.0 Back: 356.647
INFO - Atoms: 50070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 15445677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.94 Prop: 14843.751 PropClause: 14458.777 Set: 3337.395 Check: 0.0 Back: 357.797
INFO - Atoms: 36947/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 15483209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.949 Prop: 14868.437 PropClause: 14482.552 Set: 3344.217 Check: 0.0 Back: 358.631
INFO - Atoms: 37532/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 15520746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.96 Prop: 14893.272 PropClause: 14506.47 Set: 3351.011 Check: 0.0 Back: 359.491
INFO - Atoms: 37537/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 15558580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.969 Prop: 14917.577 PropClause: 14529.862 Set: 3357.923 Check: 0.0 Back: 360.342
INFO - Atoms: 37834/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 15594322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.977 Prop: 14941.174 PropClause: 14552.594 Set: 3364.358 Check: 0.0 Back: 361.209
INFO - Atoms: 35742/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 15630064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.987 Prop: 14963.37 PropClause: 14573.925 Set: 3370.723 Check: 0.0 Back: 362.034
INFO - Atoms: 35742/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 15664309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.0 Prop: 14986.818 PropClause: 14596.534 Set: 3377.031 Check: 0.0 Back: 362.855
INFO - Atoms: 34245/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 15698554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.15 Prop: 15008.169 PropClause: 14617.057 Set: 3383.223 Check: 0.0 Back: 363.639
INFO - Atoms: 34245/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 15731964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.172 Prop: 15028.004 PropClause: 14636.085 Set: 3388.987 Check: 0.0 Back: 364.444
INFO - Atoms: 33410/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 15765378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.189 Prop: 15046.906 PropClause: 14654.179 Set: 3394.772 Check: 0.0 Back: 365.207
INFO - Atoms: 33414/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 15801199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.208 Prop: 15069.696 PropClause: 14676.101 Set: 3401.257 Check: 0.0 Back: 365.974
INFO - Atoms: 35821/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 15836716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.228 Prop: 15090.458 PropClause: 14696.006 Set: 3407.405 Check: 0.0 Back: 366.786
INFO - Atoms: 35517/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 15872235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.246 Prop: 15112.601 PropClause: 14717.294 Set: 3413.586 Check: 0.0 Back: 367.613
INFO - Atoms: 35519/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 15907750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.266 Prop: 15134.968 PropClause: 14738.779 Set: 3419.806 Check: 0.0 Back: 368.419
INFO - Atoms: 35515/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 15958989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.288 Prop: 15175.282 PropClause: 14777.852 Set: 3429.565 Check: 0.0 Back: 369.277
INFO - Atoms: 51239/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 16010229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.312 Prop: 15223.523 PropClause: 14824.849 Set: 3439.088 Check: 0.0 Back: 370.444
INFO - Atoms: 51240/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 16061485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.335 Prop: 15269.11 PropClause: 14869.179 Set: 3448.61 Check: 0.0 Back: 371.645
INFO - Atoms: 51256/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 16112449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.356 Prop: 15314.771 PropClause: 14913.594 Set: 3458.001 Check: 0.0 Back: 372.818
INFO - Atoms: 50964/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 16163414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.411 Prop: 15362.107 PropClause: 14959.692 Set: 3467.461 Check: 0.0 Back: 374.015
INFO - Atoms: 50965/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 16213893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.475 Prop: 15406.934 PropClause: 15003.282 Set: 3476.569 Check: 0.0 Back: 375.181
INFO - Atoms: 50479/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 16264661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.491 Prop: 15450.111 PropClause: 15045.209 Set: 3485.975 Check: 0.0 Back: 376.353
INFO - Atoms: 50768/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 16315442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.509 Prop: 15496.14 PropClause: 15089.994 Set: 3495.373 Check: 0.0 Back: 377.536
INFO - Atoms: 50781/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 16366512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.525 Prop: 15544.285 PropClause: 15136.908 Set: 3504.979 Check: 0.0 Back: 378.714
INFO - Atoms: 51070/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 16417575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.539 Prop: 15591.214 PropClause: 15182.602 Set: 3514.269 Check: 0.0 Back: 379.871
INFO - Atoms: 51063/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 16468333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.557 Prop: 15636.1 PropClause: 15226.26 Set: 3523.667 Check: 0.0 Back: 381.047
INFO - Atoms: 50758/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 16518803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.573 Prop: 15680.779 PropClause: 15269.716 Set: 3533.007 Check: 0.0 Back: 382.203
INFO - Atoms: 50470/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 16569561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.59 Prop: 15724.889 PropClause: 15312.577 Set: 3542.617 Check: 0.0 Back: 383.385
INFO - Atoms: 50758/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 16619190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.606 Prop: 15767.722 PropClause: 15354.214 Set: 3551.522 Check: 0.0 Back: 384.56
INFO - Atoms: 49629/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 16668815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.693 Prop: 15811.215 PropClause: 15396.505 Set: 3560.536 Check: 0.0 Back: 385.706
INFO - Atoms: 49625/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 16719038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.784 Prop: 15856.435 PropClause: 15440.514 Set: 3569.759 Check: 0.0 Back: 386.833
INFO - Atoms: 50223/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 16768970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.856 Prop: 15902.321 PropClause: 15485.197 Set: 3578.916 Check: 0.0 Back: 387.997
INFO - Atoms: 49932/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 16818277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.911 Prop: 15945.225 PropClause: 15526.899 Set: 3588.063 Check: 0.0 Back: 389.141
INFO - Atoms: 49307/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 16867917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.933 Prop: 15990.368 PropClause: 15570.837 Set: 3597.273 Check: 0.0 Back: 390.291
INFO - Atoms: 49640/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 16917260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.974 Prop: 16031.311 PropClause: 15610.59 Set: 3606.18 Check: 0.0 Back: 391.424
INFO - Atoms: 49343/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 16966298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.986 Prop: 16074.509 PropClause: 15652.602 Set: 3615.113 Check: 0.0 Back: 392.569
INFO - Atoms: 49038/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 17018244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.999 Prop: 16121.472 PropClause: 15698.314 Set: 3624.979 Check: 0.0 Back: 393.682
INFO - Atoms: 51946/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 17070490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.01 Prop: 16172.359 PropClause: 15747.934 Set: 3634.805 Check: 0.0 Back: 394.897
INFO - Atoms: 52246/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 17097337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.087 Prop: 16208.37 PropClause: 15783.091 Set: 3650.078 Check: 0.0 Back: 396.113
INFO - Atoms: 26847/72224 Clauses: 485 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 823 Props: 17997646 Tprops: 0 Decides: 3308 RSplits: 0
INFO - Times: Expl: 897.184 Prop: 17102.599 PropClause: 16648.612 Set: 3676.165 Check: 0.092 Back: 419.227
INFO - Atoms: 23351/72224 Clauses: 984 Axioms: 238066
INFO - Restart
INFO - Confl: 1323 Props: 18456773 Tprops: 0 Decides: 4977 RSplits: 0
INFO - Times: Expl: 1046.24 Prop: 17258.954 PropClause: 16792.208 Set: 3687.0 Check: 0.133 Back: 430.026
INFO - Atoms: 23351/72224 Clauses: 1484 Axioms: 238066
INFO - Restart
INFO - Confl: 2323 Props: 19164119 Tprops: 0 Decides: 6269 RSplits: 0
INFO - Times: Expl: 1309.335 Prop: 17466.153 PropClause: 16980.442 Set: 3703.603 Check: 0.165 Back: 446.633
INFO - Atoms: 23351/72224 Clauses: 2484 Axioms: 238066
INFO - Restart
INFO - Confl: 2823 Props: 19708017 Tprops: 0 Decides: 9120 RSplits: 0
INFO - Times: Expl: 1502.592 Prop: 17763.154 PropClause: 17261.971 Set: 3716.558 Check: 0.235 Back: 459.51
INFO - Atoms: 23351/72224 Clauses: 2984 Axioms: 238066
INFO - Restart
INFO - Confl: 3323 Props: 20205644 Tprops: 0 Decides: 10411 RSplits: 0
INFO - Times: Expl: 1781.42 Prop: 18000.955 PropClause: 17486.277 Set: 3728.252 Check: 0.268 Back: 471.116
INFO - Atoms: 23351/72224 Clauses: 3484 Axioms: 238066
INFO - Restart
INFO - Confl: 4323 Props: 20868509 Tprops: 0 Decides: 11877 RSplits: 0
INFO - Times: Expl: 2331.235 Prop: 18261.472 PropClause: 17728.674 Set: 3744.05 Check: 0.306 Back: 486.821
INFO - Atoms: 23351/72224 Clauses: 4484 Axioms: 238066
INFO - Restart
INFO - Confl: 6323 Props: 22630423 Tprops: 0 Decides: 16129 RSplits: 0
INFO - Times: Expl: 3021.67 Prop: 19029.051 PropClause: 18450.899 Set: 3784.878 Check: 0.411 Back: 527.367
INFO - Atoms: 23352/72224 Clauses: 6484 Axioms: 238066
INFO - Restart
INFO - Confl: 6823 Props: 25697561 Tprops: 0 Decides: 28805 RSplits: 0
INFO - Times: Expl: 4215.193 Prop: 22151.296 PropClause: 21489.104 Set: 3859.861 Check: 0.74 Back: 600.845
INFO - Atoms: 23400/72224 Clauses: 6984 Axioms: 238066
INFO - Restart
INFO - Confl: 7323 Props: 26816335 Tprops: 0 Decides: 33239 RSplits: 0
INFO - Times: Expl: 4708.806 Prop: 23124.645 PropClause: 22432.491 Set: 3887.057 Check: 0.855 Back: 627.271
INFO - Atoms: 23407/72224 Clauses: 7484 Axioms: 238066
INFO - Restart
INFO - Confl: 8323 Props: 28025358 Tprops: 0 Decides: 36799 RSplits: 0
INFO - Times: Expl: 5214.039 Prop: 23883.604 PropClause: 23159.979 Set: 3915.735 Check: 0.945 Back: 655.436
INFO - Atoms: 23413/72224 Clauses: 8484 Axioms: 238066
INFO - Restart
INFO - Confl: 8823 Props: 28492102 Tprops: 0 Decides: 38214 RSplits: 0
INFO - Times: Expl: 5412.642 Prop: 24134.337 PropClause: 23398.665 Set: 3926.598 Check: 0.981 Back: 666.188
INFO - Atoms: 23413/72224 Clauses: 8984 Axioms: 238066
INFO - Restart
INFO - Confl: 9323 Props: 28946549 Tprops: 0 Decides: 39053 RSplits: 0
INFO - Times: Expl: 5540.836 Prop: 24324.93 PropClause: 23577.726 Set: 3937.074 Check: 1.001 Back: 676.594
INFO - Atoms: 23413/72224 Clauses: 9484 Axioms: 238066
INFO - Restart
INFO - Confl: 10323 Props: 29838984 Tprops: 0 Decides: 40994 RSplits: 0
INFO - Times: Expl: 6921.82 Prop: 24747.213 PropClause: 23976.782 Set: 3958.115 Check: 1.049 Back: 697.407
INFO - Atoms: 23416/72224 Clauses: 10484 Axioms: 238066
INFO - Restart
INFO - Confl: 12323 Props: 31506796 Tprops: 0 Decides: 43684 RSplits: 0
INFO - Times: Expl: 7581.93 Prop: 25345.901 PropClause: 24533.435 Set: 3996.478 Check: 1.113 Back: 735.435
INFO - Atoms: 23416/72224 Clauses: 12484 Axioms: 238066
INFO - Restart
INFO - Confl: 16323 Props: 34799979 Tprops: 0 Decides: 52756 RSplits: 0
INFO - Times: Expl: 9448.803 Prop: 26928.366 PropClause: 26031.099 Set: 4073.662 Check: 1.341 Back: 811.474
INFO - Atoms: 23419/72224 Clauses: 16484 Axioms: 238066
INFO - Restart
INFO - Confl: 16823 Props: 35167942 Tprops: 0 Decides: 53751 RSplits: 0
INFO - Times: Expl: 9599.667 Prop: 27096.82 PropClause: 26190.164 Set: 4082.264 Check: 1.366 Back: 819.934
INFO - Atoms: 23422/72224 Clauses: 16984 Axioms: 238066
INFO - Restart
INFO - Confl: 17323 Props: 35606450 Tprops: 0 Decides: 54794 RSplits: 0
INFO - Times: Expl: 9739.682 Prop: 27296.537 PropClause: 26378.565 Set: 4092.562 Check: 1.392 Back: 830.061
INFO - Atoms: 23423/72224 Clauses: 17484 Axioms: 238066
INFO - Confl: 18048 Props: 36158609 Tprops: 0 Decides: 56251 RSplits: 0
INFO - Times: Expl: 9896.882 Prop: 27555.173 PropClause: 26623.028 Set: 4105.485 Check: 1.43 Back: 842.792
INFO - Atoms: 23449/72224 Clauses: 18209 Axioms: 238066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 332 Props: 33884 Tprops: 4905 Decides: 36287 RSplits: 0
INFO - Times: Expl: 324.297 Prop: 63688.764 PropClause: 13.802 Set: 4205.244 Check: 330.738 Back: 136.104
INFO - Atoms: 568/726 Clauses: 332 Axioms: 726
INFO - CCTimes: iE 421203 eq 26542794 cc 157533835 setRep 80746649
INFO - Merges: 567169, cc:1969717
INFO - BVTimes: BB 353344707 BB_DPLL 59052802072 Graph 925717
INFO - BitBlastingClauses: 394882 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat