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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 217189517
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 50556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.703 Prop: 96.298 PropClause: 91.982 Set: 54.231 Check: 0.0 Back: 0.0
INFO - Atoms: 50556/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 101114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.749 Prop: 178.281 PropClause: 171.018 Set: 66.564 Check: 0.0 Back: 1.382
INFO - Atoms: 50558/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 151672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.837 Prop: 264.06 PropClause: 254.025 Set: 78.969 Check: 0.0 Back: 2.781
INFO - Atoms: 50558/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 201976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.886 Prop: 333.212 PropClause: 319.325 Set: 97.865 Check: 0.0 Back: 4.182
INFO - Atoms: 50304/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 252281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.969 Prop: 388.892 PropClause: 372.98 Set: 107.783 Check: 0.0 Back: 5.46
INFO - Atoms: 50305/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 302586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.021 Prop: 455.683 PropClause: 437.387 Set: 120.405 Check: 0.0 Back: 6.939
INFO - Atoms: 50305/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 352891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.072 Prop: 526.962 PropClause: 506.596 Set: 132.862 Check: 0.0 Back: 8.219
INFO - Atoms: 50305/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 403191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.126 Prop: 598.42 PropClause: 575.963 Set: 145.469 Check: 0.0 Back: 9.498
INFO - Atoms: 50300/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 453364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.18 Prop: 670.251 PropClause: 645.625 Set: 164.899 Check: 0.0 Back: 10.802
INFO - Atoms: 50173/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 503405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.235 Prop: 753.5 PropClause: 726.773 Set: 184.035 Check: 0.0 Back: 12.073
INFO - Atoms: 50041/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 553316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.283 Prop: 822.781 PropClause: 794.606 Set: 196.17 Check: 0.0 Back: 13.342
INFO - Atoms: 49911/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 603095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.337 Prop: 883.079 PropClause: 853.531 Set: 206.616 Check: 0.0 Back: 14.645
INFO - Atoms: 49779/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 652744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.433 Prop: 956.127 PropClause: 925.179 Set: 218.973 Check: 0.0 Back: 16.019
INFO - Atoms: 49649/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 702261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.488 Prop: 1029.214 PropClause: 996.868 Set: 231.547 Check: 0.0 Back: 17.275
INFO - Atoms: 49517/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 751648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.541 Prop: 1099.579 PropClause: 1065.83 Set: 243.937 Check: 0.0 Back: 18.527
INFO - Atoms: 49387/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 800903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.593 Prop: 1171.097 PropClause: 1135.959 Set: 256.406 Check: 0.0 Back: 19.772
INFO - Atoms: 49255/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 850028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.64 Prop: 1224.121 PropClause: 1187.791 Set: 265.401 Check: 0.0 Back: 21.029
INFO - Atoms: 49125/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 899021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.722 Prop: 1277.239 PropClause: 1239.717 Set: 279.783 Check: 0.0 Back: 22.358
INFO - Atoms: 48993/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 947884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.769 Prop: 1330.362 PropClause: 1291.648 Set: 294.279 Check: 0.0 Back: 23.687
INFO - Atoms: 48863/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 996615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.816 Prop: 1394.435 PropClause: 1354.313 Set: 311.655 Check: 0.0 Back: 25.016
INFO - Atoms: 48731/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1045216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.862 Prop: 1449.427 PropClause: 1408.121 Set: 320.743 Check: 0.0 Back: 26.315
INFO - Atoms: 48601/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1093685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.905 Prop: 1500.382 PropClause: 1457.889 Set: 329.74 Check: 0.0 Back: 27.636
INFO - Atoms: 48469/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1142024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.953 Prop: 1552.724 PropClause: 1509.059 Set: 338.548 Check: 0.0 Back: 28.943
INFO - Atoms: 48339/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1190231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.996 Prop: 1604.565 PropClause: 1559.716 Set: 347.294 Check: 0.0 Back: 30.249
INFO - Atoms: 48207/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1238308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.037 Prop: 1652.43 PropClause: 1606.416 Set: 355.942 Check: 0.0 Back: 31.525
INFO - Atoms: 48077/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1286253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.092 Prop: 1700.38 PropClause: 1653.204 Set: 364.757 Check: 0.0 Back: 32.835
INFO - Atoms: 47945/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1334068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.134 Prop: 1749.247 PropClause: 1700.911 Set: 373.396 Check: 0.0 Back: 34.127
INFO - Atoms: 47815/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1381751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.186 Prop: 1799.08 PropClause: 1749.597 Set: 382.074 Check: 0.0 Back: 35.337
INFO - Atoms: 47683/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1429304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.231 Prop: 1851.974 PropClause: 1801.329 Set: 390.814 Check: 0.0 Back: 36.555
INFO - Atoms: 47553/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1476725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.272 Prop: 1905.511 PropClause: 1853.706 Set: 399.565 Check: 0.0 Back: 37.757
INFO - Atoms: 47421/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1524016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.317 Prop: 1956.535 PropClause: 1903.578 Set: 408.119 Check: 0.0 Back: 39.007
INFO - Atoms: 47291/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1571175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.361 Prop: 2005.428 PropClause: 1951.324 Set: 416.657 Check: 0.0 Back: 40.28
INFO - Atoms: 47159/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1618204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.402 Prop: 2056.806 PropClause: 2001.563 Set: 425.178 Check: 0.0 Back: 41.527
INFO - Atoms: 47029/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1665101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.481 Prop: 2106.162 PropClause: 2049.775 Set: 433.652 Check: 0.0 Back: 42.776
INFO - Atoms: 46897/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1711868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.52 Prop: 2155.563 PropClause: 2098.041 Set: 441.903 Check: 0.0 Back: 44.03
INFO - Atoms: 46767/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1758503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.563 Prop: 2203.945 PropClause: 2145.285 Set: 455.298 Check: 0.0 Back: 45.295
INFO - Atoms: 46635/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1805008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.608 Prop: 2251.686 PropClause: 2191.898 Set: 478.103 Check: 0.0 Back: 46.537
INFO - Atoms: 46505/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1851381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.661 Prop: 2299.162 PropClause: 2238.234 Set: 486.562 Check: 0.0 Back: 47.802
INFO - Atoms: 46373/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1897624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.704 Prop: 2348.529 PropClause: 2286.458 Set: 494.934 Check: 0.0 Back: 48.963
INFO - Atoms: 46243/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1943735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.749 Prop: 2394.945 PropClause: 2331.744 Set: 503.154 Check: 0.0 Back: 50.224
INFO - Atoms: 46111/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1989716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.796 Prop: 2443.996 PropClause: 2379.687 Set: 511.459 Check: 0.0 Back: 51.461
INFO - Atoms: 45981/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2035565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.841 Prop: 2496.386 PropClause: 2430.953 Set: 519.925 Check: 0.0 Back: 52.702
INFO - Atoms: 45849/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2081284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.883 Prop: 2547.724 PropClause: 2481.176 Set: 528.191 Check: 0.0 Back: 53.915
INFO - Atoms: 45719/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2126871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.932 Prop: 2593.884 PropClause: 2526.215 Set: 536.562 Check: 0.0 Back: 55.137
INFO - Atoms: 45587/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2172328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.977 Prop: 2644.062 PropClause: 2575.28 Set: 544.73 Check: 0.0 Back: 56.353
INFO - Atoms: 45457/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2217653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.02 Prop: 2690.095 PropClause: 2620.213 Set: 552.905 Check: 0.0 Back: 57.578
INFO - Atoms: 45325/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2262848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.066 Prop: 2737.472 PropClause: 2666.493 Set: 560.96 Check: 0.0 Back: 58.783
INFO - Atoms: 45195/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2307911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.106 Prop: 2783.79 PropClause: 2711.705 Set: 569.143 Check: 0.0 Back: 59.993
INFO - Atoms: 45063/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2352844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.143 Prop: 2830.564 PropClause: 2757.391 Set: 577.134 Check: 0.0 Back: 61.172
INFO - Atoms: 44933/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2397645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.185 Prop: 2875.625 PropClause: 2801.356 Set: 585.176 Check: 0.0 Back: 62.378
INFO - Atoms: 44801/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2442316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.223 Prop: 2923.459 PropClause: 2848.104 Set: 593.213 Check: 0.0 Back: 63.553
INFO - Atoms: 44671/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2486855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.266 Prop: 2970.826 PropClause: 2894.376 Set: 601.284 Check: 0.0 Back: 64.734
INFO - Atoms: 44539/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2531264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.323 Prop: 3031.185 PropClause: 2953.433 Set: 611.489 Check: 0.0 Back: 65.904
INFO - Atoms: 44409/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2575541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.427 Prop: 3074.479 PropClause: 2995.658 Set: 619.365 Check: 0.0 Back: 67.053
INFO - Atoms: 44277/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2619688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.447 Prop: 3119.943 PropClause: 3040.047 Set: 627.193 Check: 0.0 Back: 68.211
INFO - Atoms: 44147/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2663703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.469 Prop: 3165.45 PropClause: 3084.467 Set: 635.072 Check: 0.0 Back: 69.365
INFO - Atoms: 44015/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2707588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.488 Prop: 3210.271 PropClause: 3128.216 Set: 642.897 Check: 0.0 Back: 70.509
INFO - Atoms: 43885/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2751341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.506 Prop: 3256.34 PropClause: 3173.218 Set: 650.73 Check: 0.0 Back: 71.671
INFO - Atoms: 43753/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 2794964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.524 Prop: 3300.921 PropClause: 3216.713 Set: 658.421 Check: 0.0 Back: 72.81
INFO - Atoms: 43623/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 2838455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.541 Prop: 3344.955 PropClause: 3259.683 Set: 666.32 Check: 0.0 Back: 73.966
INFO - Atoms: 43491/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 2881816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.559 Prop: 3390.356 PropClause: 3304.033 Set: 674.091 Check: 0.0 Back: 75.11
INFO - Atoms: 43361/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 2925045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.575 Prop: 3439.879 PropClause: 3352.487 Set: 681.948 Check: 0.0 Back: 76.263
INFO - Atoms: 43229/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 2968144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.593 Prop: 3485.82 PropClause: 3397.38 Set: 689.699 Check: 0.0 Back: 77.38
INFO - Atoms: 43099/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3011111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.614 Prop: 3528.537 PropClause: 3439.048 Set: 697.339 Check: 0.0 Back: 78.532
INFO - Atoms: 42967/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3053948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 3572.316 PropClause: 3481.773 Set: 705.354 Check: 0.0 Back: 79.676
INFO - Atoms: 42837/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3096653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.653 Prop: 3618.928 PropClause: 3527.321 Set: 713.1 Check: 0.0 Back: 80.817
INFO - Atoms: 42705/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3139228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.67 Prop: 3663.141 PropClause: 3570.484 Set: 720.597 Check: 0.0 Back: 81.948
INFO - Atoms: 42575/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3181671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.685 Prop: 3705.735 PropClause: 3612.051 Set: 728.159 Check: 0.0 Back: 83.092
INFO - Atoms: 42443/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 3223984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.702 Prop: 3750.041 PropClause: 3655.324 Set: 735.654 Check: 0.0 Back: 84.187
INFO - Atoms: 42313/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 3266165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.719 Prop: 3797.809 PropClause: 3702.064 Set: 743.223 Check: 0.0 Back: 85.294
INFO - Atoms: 42181/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 3308216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.735 Prop: 3840.484 PropClause: 3743.716 Set: 750.692 Check: 0.0 Back: 86.371
INFO - Atoms: 42051/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3350135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 3885.965 PropClause: 3788.176 Set: 758.214 Check: 0.0 Back: 87.486
INFO - Atoms: 41919/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3391924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.765 Prop: 3931.099 PropClause: 3832.292 Set: 765.697 Check: 0.0 Back: 88.591
INFO - Atoms: 41789/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3433581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.783 Prop: 3974.87 PropClause: 3875.034 Set: 773.156 Check: 0.0 Back: 89.672
INFO - Atoms: 41657/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3475108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.801 Prop: 4026.96 PropClause: 3925.859 Set: 782.432 Check: 0.0 Back: 90.746
INFO - Atoms: 41527/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3516503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.818 Prop: 4066.781 PropClause: 3964.661 Set: 789.748 Check: 0.0 Back: 91.817
INFO - Atoms: 41395/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3557768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 4107.222 PropClause: 4004.092 Set: 796.97 Check: 0.0 Back: 92.883
INFO - Atoms: 41265/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 3598901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.851 Prop: 4147.615 PropClause: 4043.482 Set: 804.251 Check: 0.0 Back: 93.991
INFO - Atoms: 41133/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 3639904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.867 Prop: 4187.74 PropClause: 4082.607 Set: 811.447 Check: 0.0 Back: 95.078
INFO - Atoms: 41003/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 3680775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.883 Prop: 4228.264 PropClause: 4122.133 Set: 818.684 Check: 0.0 Back: 96.158
INFO - Atoms: 40871/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 3721516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.898 Prop: 4270.204 PropClause: 4163.078 Set: 825.898 Check: 0.0 Back: 97.211
INFO - Atoms: 40741/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 3762125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.911 Prop: 4313.529 PropClause: 4205.397 Set: 833.093 Check: 0.0 Back: 98.286
INFO - Atoms: 40609/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 3802604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.925 Prop: 4352.869 PropClause: 4243.749 Set: 840.119 Check: 0.0 Back: 99.348
INFO - Atoms: 40479/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 3842951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.977 Prop: 4390.455 PropClause: 4280.35 Set: 847.22 Check: 0.0 Back: 100.417
INFO - Atoms: 40347/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 3883168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.033 Prop: 4429.555 PropClause: 4318.468 Set: 854.253 Check: 0.0 Back: 101.458
INFO - Atoms: 40217/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 3923253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.045 Prop: 4466.616 PropClause: 4354.562 Set: 861.241 Check: 0.0 Back: 102.533
INFO - Atoms: 40085/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 3963208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.055 Prop: 4501.148 PropClause: 4388.126 Set: 868.019 Check: 0.0 Back: 103.58
INFO - Atoms: 39955/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4003031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.065 Prop: 4536.394 PropClause: 4422.406 Set: 874.867 Check: 0.0 Back: 104.615
INFO - Atoms: 39823/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 4042724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.074 Prop: 4572.712 PropClause: 4457.764 Set: 881.636 Check: 0.0 Back: 105.641
INFO - Atoms: 39693/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 4082285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.087 Prop: 4608.505 PropClause: 4492.561 Set: 888.394 Check: 0.0 Back: 106.67
INFO - Atoms: 39561/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 4121716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.1 Prop: 4645.679 PropClause: 4528.78 Set: 910.556 Check: 0.0 Back: 107.692
INFO - Atoms: 39431/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 4161015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.111 Prop: 4680.497 PropClause: 4562.63 Set: 917.291 Check: 0.0 Back: 108.695
INFO - Atoms: 39299/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 4200184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.121 Prop: 4717.649 PropClause: 4598.834 Set: 923.974 Check: 0.0 Back: 109.711
INFO - Atoms: 39169/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 4239221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.133 Prop: 4752.76 PropClause: 4632.982 Set: 930.612 Check: 0.0 Back: 110.73
INFO - Atoms: 39037/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 4278128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.146 Prop: 4787.836 PropClause: 4667.112 Set: 937.247 Check: 0.0 Back: 111.734
INFO - Atoms: 38907/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 4316903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 4824.48 PropClause: 4702.815 Set: 944.01 Check: 0.0 Back: 112.763
INFO - Atoms: 38775/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 4355548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.171 Prop: 4861.716 PropClause: 4739.111 Set: 950.768 Check: 0.0 Back: 113.775
INFO - Atoms: 38645/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 4394061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.182 Prop: 4898.623 PropClause: 4775.083 Set: 957.514 Check: 0.0 Back: 114.792
INFO - Atoms: 38513/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 4432444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.195 Prop: 4936.192 PropClause: 4811.678 Set: 964.29 Check: 0.0 Back: 115.736
INFO - Atoms: 38383/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 4470695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.207 Prop: 4970.519 PropClause: 4845.078 Set: 970.822 Check: 0.0 Back: 116.743
INFO - Atoms: 38251/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 4508816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.219 Prop: 5002.779 PropClause: 4876.414 Set: 977.213 Check: 0.0 Back: 117.729
INFO - Atoms: 38121/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 4546805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.23 Prop: 5035.826 PropClause: 4908.528 Set: 983.664 Check: 0.0 Back: 118.735
INFO - Atoms: 37989/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 4584664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.241 Prop: 5068.522 PropClause: 4940.3 Set: 990.053 Check: 0.0 Back: 119.717
INFO - Atoms: 37859/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 4622391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.252 Prop: 5101.736 PropClause: 4972.58 Set: 996.481 Check: 0.0 Back: 120.726
INFO - Atoms: 37727/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 4659988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.266 Prop: 5134.462 PropClause: 5004.386 Set: 1013.256 Check: 0.0 Back: 121.699
INFO - Atoms: 37597/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 4697453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.278 Prop: 5168.947 PropClause: 5037.965 Set: 1019.608 Check: 0.0 Back: 122.678
INFO - Atoms: 37465/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 4734788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.287 Prop: 5204.652 PropClause: 5072.764 Set: 1026.003 Check: 0.0 Back: 123.644
INFO - Atoms: 37335/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 4771991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.298 Prop: 5237.94 PropClause: 5105.148 Set: 1032.382 Check: 0.0 Back: 124.616
INFO - Atoms: 37203/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 4809064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.309 Prop: 5270.652 PropClause: 5136.962 Set: 1038.674 Check: 0.0 Back: 125.55
INFO - Atoms: 37073/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 4846005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.322 Prop: 5303.914 PropClause: 5169.317 Set: 1044.977 Check: 0.0 Back: 126.509
INFO - Atoms: 36941/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 4882816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.333 Prop: 5336.698 PropClause: 5201.207 Set: 1051.319 Check: 0.0 Back: 127.453
INFO - Atoms: 36811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 4919495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.344 Prop: 5370.386 PropClause: 5234.004 Set: 1057.725 Check: 0.0 Back: 128.423
INFO - Atoms: 36679/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 4956044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 5404.531 PropClause: 5267.262 Set: 1063.994 Check: 0.0 Back: 129.351
INFO - Atoms: 36549/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 4992461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.367 Prop: 5438.518 PropClause: 5300.362 Set: 1070.3 Check: 0.0 Back: 130.29
INFO - Atoms: 36417/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 5028748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.377 Prop: 5467.961 PropClause: 5328.919 Set: 1076.401 Check: 0.0 Back: 131.24
INFO - Atoms: 36287/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 5064903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.388 Prop: 5497.254 PropClause: 5357.332 Set: 1082.495 Check: 0.0 Back: 132.169
INFO - Atoms: 36155/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 5100928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.397 Prop: 5526.716 PropClause: 5385.918 Set: 1088.511 Check: 0.0 Back: 133.1
INFO - Atoms: 36025/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 5136821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.408 Prop: 5556.498 PropClause: 5414.827 Set: 1094.562 Check: 0.0 Back: 134.028
INFO - Atoms: 35893/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 5172584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.419 Prop: 5589.366 PropClause: 5446.827 Set: 1100.596 Check: 0.0 Back: 134.957
INFO - Atoms: 35763/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 5208215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.432 Prop: 5621.101 PropClause: 5477.691 Set: 1106.683 Check: 0.0 Back: 135.886
INFO - Atoms: 35631/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 5243716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.445 Prop: 5652.102 PropClause: 5507.83 Set: 1112.63 Check: 0.0 Back: 136.792
INFO - Atoms: 35501/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 5279085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 5687.562 PropClause: 5542.429 Set: 1118.734 Check: 0.0 Back: 137.704
INFO - Atoms: 35369/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 5314324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.466 Prop: 5716.853 PropClause: 5570.864 Set: 1124.63 Check: 0.0 Back: 138.598
INFO - Atoms: 35239/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 5349431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.479 Prop: 5747.575 PropClause: 5600.733 Set: 1130.628 Check: 0.0 Back: 139.503
INFO - Atoms: 35107/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 5384408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.49 Prop: 5780.236 PropClause: 5632.546 Set: 1136.538 Check: 0.0 Back: 140.4
INFO - Atoms: 34977/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 5419253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.502 Prop: 5810.205 PropClause: 5661.668 Set: 1142.399 Check: 0.0 Back: 141.301
INFO - Atoms: 34845/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 5453968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.513 Prop: 5841.245 PropClause: 5691.863 Set: 1148.312 Check: 0.0 Back: 142.185
INFO - Atoms: 34715/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 5488551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.527 Prop: 5871.989 PropClause: 5721.729 Set: 1154.208 Check: 0.0 Back: 143.07
INFO - Atoms: 34583/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 5523004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.539 Prop: 5902.265 PropClause: 5751.166 Set: 1160.048 Check: 0.0 Back: 143.953
INFO - Atoms: 34453/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 5557325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.55 Prop: 5934.648 PropClause: 5782.715 Set: 1165.962 Check: 0.0 Back: 144.829
INFO - Atoms: 34321/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 5591516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.561 Prop: 5961.554 PropClause: 5808.791 Set: 1171.599 Check: 0.0 Back: 145.699
INFO - Atoms: 34191/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 5625575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.571 Prop: 5989.007 PropClause: 5835.407 Set: 1177.228 Check: 0.0 Back: 146.567
INFO - Atoms: 34059/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 5659503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.584 Prop: 6017.617 PropClause: 5863.184 Set: 1182.901 Check: 0.0 Back: 147.424
INFO - Atoms: 33928/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 5694190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.6 Prop: 6047.102 PropClause: 5891.812 Set: 1188.885 Check: 0.0 Back: 148.286
INFO - Atoms: 34687/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 5728880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.615 Prop: 6075.236 PropClause: 5919.103 Set: 1194.7 Check: 0.0 Back: 149.179
INFO - Atoms: 34690/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 5763192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.629 Prop: 6104.827 PropClause: 5947.86 Set: 1200.539 Check: 0.0 Back: 150.064
INFO - Atoms: 34312/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 5797504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.648 Prop: 6137.942 PropClause: 5980.138 Set: 1206.498 Check: 0.0 Back: 150.943
INFO - Atoms: 34312/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 5832314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.664 Prop: 6169.175 PropClause: 6010.524 Set: 1212.456 Check: 0.0 Back: 151.81
INFO - Atoms: 34810/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 5867004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 6204.378 PropClause: 6044.884 Set: 1218.476 Check: 0.0 Back: 152.7
INFO - Atoms: 34690/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 5901320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.691 Prop: 6234.068 PropClause: 6073.743 Set: 1224.267 Check: 0.0 Back: 153.585
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 5936131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.705 Prop: 6263.542 PropClause: 6102.37 Set: 1230.292 Check: 0.0 Back: 154.448
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 5970943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.748 Prop: 6294.827 PropClause: 6132.813 Set: 1236.27 Check: 0.0 Back: 155.329
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 6005260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.759 Prop: 6324.868 PropClause: 6162.007 Set: 1242.082 Check: 0.0 Back: 156.21
INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 6040071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.771 Prop: 6357.202 PropClause: 6193.496 Set: 1248.129 Check: 0.0 Back: 157.094
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 6074883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 6387.345 PropClause: 6222.791 Set: 1254.106 Check: 0.0 Back: 157.976
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 6109199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.794 Prop: 6416.474 PropClause: 6251.088 Set: 1259.886 Check: 0.0 Back: 158.857
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 6144010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.805 Prop: 6445.292 PropClause: 6279.055 Set: 1265.991 Check: 0.0 Back: 159.73
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 6178822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.816 Prop: 6473.539 PropClause: 6306.443 Set: 1271.917 Check: 0.0 Back: 160.621
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 6213636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.828 Prop: 6501.33 PropClause: 6333.383 Set: 1277.848 Check: 0.0 Back: 161.506
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 6248327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.841 Prop: 6530.601 PropClause: 6361.804 Set: 1283.753 Check: 0.0 Back: 162.404
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 6283139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.852 Prop: 6558.437 PropClause: 6388.795 Set: 1289.652 Check: 0.0 Back: 163.306
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 6317455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.866 Prop: 6588.543 PropClause: 6418.061 Set: 1295.521 Check: 0.0 Back: 164.194
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 6352266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.876 Prop: 6619.98 PropClause: 6448.65 Set: 1301.577 Check: 0.0 Back: 165.067
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 6387078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.887 Prop: 6649.836 PropClause: 6477.656 Set: 1307.475 Check: 0.0 Back: 165.959
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 6421892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 6682.79 PropClause: 6509.754 Set: 1313.455 Check: 0.0 Back: 166.854
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 6456583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.91 Prop: 6711.559 PropClause: 6537.678 Set: 1319.341 Check: 0.0 Back: 167.722
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 6491395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.925 Prop: 6743.909 PropClause: 6569.157 Set: 1325.528 Check: 0.0 Back: 168.602
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 6525711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.939 Prop: 6773.511 PropClause: 6597.902 Set: 1331.413 Check: 0.0 Back: 169.495
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 6560522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.95 Prop: 6803.093 PropClause: 6626.641 Set: 1337.397 Check: 0.0 Back: 170.374
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 6595334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 6833.053 PropClause: 6655.76 Set: 1343.424 Check: 0.0 Back: 171.259
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 6630148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.974 Prop: 6863.797 PropClause: 6685.659 Set: 1349.458 Check: 0.0 Back: 172.153
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 6664839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.989 Prop: 6893.446 PropClause: 6714.453 Set: 1355.494 Check: 0.0 Back: 173.037
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 6699651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.004 Prop: 6924.865 PropClause: 6744.992 Set: 1361.542 Check: 0.0 Back: 173.922
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 6733967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.015 Prop: 6957.304 PropClause: 6776.584 Set: 1367.53 Check: 0.0 Back: 174.832
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 6768778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.028 Prop: 6986.375 PropClause: 6804.798 Set: 1373.524 Check: 0.0 Back: 175.715
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 6803590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.041 Prop: 7015.288 PropClause: 6832.861 Set: 1379.509 Check: 0.0 Back: 176.612
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 6838404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.052 Prop: 7045.127 PropClause: 6861.842 Set: 1385.539 Check: 0.0 Back: 177.509
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 6873095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.063 Prop: 7073.81 PropClause: 6889.677 Set: 1391.49 Check: 0.0 Back: 178.387
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 6907907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 7104.104 PropClause: 6919.13 Set: 1397.4 Check: 0.0 Back: 179.276
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 6942223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.083 Prop: 7131.452 PropClause: 6945.64 Set: 1403.205 Check: 0.0 Back: 180.154
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 6977034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.095 Prop: 7159.993 PropClause: 6973.339 Set: 1409.191 Check: 0.0 Back: 181.031
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 7011846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.105 Prop: 7189.252 PropClause: 7001.752 Set: 1415.11 Check: 0.0 Back: 181.921
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 7046660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 7216.723 PropClause: 7028.384 Set: 1421.054 Check: 0.0 Back: 182.809
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 7081351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.127 Prop: 7246.371 PropClause: 7057.188 Set: 1427.027 Check: 0.0 Back: 183.711
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 7116163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.137 Prop: 7275.748 PropClause: 7085.719 Set: 1433.002 Check: 0.0 Back: 184.585
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 7150479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.148 Prop: 7306.282 PropClause: 7115.42 Set: 1438.905 Check: 0.0 Back: 185.465
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 7185290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.16 Prop: 7335.131 PropClause: 7143.405 Set: 1444.916 Check: 0.0 Back: 186.341
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 7220102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 7365.396 PropClause: 7172.825 Set: 1450.942 Check: 0.0 Back: 187.23
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 7254916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.183 Prop: 7393.092 PropClause: 7199.662 Set: 1456.859 Check: 0.0 Back: 188.113
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 7289607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.195 Prop: 7426.335 PropClause: 7232.042 Set: 1462.984 Check: 0.0 Back: 189.004
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 7324419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.208 Prop: 7453.979 PropClause: 7258.835 Set: 1468.957 Check: 0.0 Back: 189.891
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 7358735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.218 Prop: 7482.346 PropClause: 7286.364 Set: 1474.755 Check: 0.0 Back: 190.773
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 7393546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.23 Prop: 7511.03 PropClause: 7314.203 Set: 1480.724 Check: 0.0 Back: 191.645
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 7428358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 7544.041 PropClause: 7346.356 Set: 1486.778 Check: 0.0 Back: 192.529
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 7463172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.253 Prop: 7574.917 PropClause: 7376.384 Set: 1492.766 Check: 0.0 Back: 193.415
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 7497863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.295 Prop: 7609.15 PropClause: 7409.776 Set: 1498.853 Check: 0.0 Back: 194.301
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 7532675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.326 Prop: 7638.91 PropClause: 7438.691 Set: 1504.83 Check: 0.0 Back: 195.172
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 7566991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.335 Prop: 7669.129 PropClause: 7468.072 Set: 1510.681 Check: 0.0 Back: 196.04
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 7601802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.348 Prop: 7697.402 PropClause: 7495.494 Set: 1516.774 Check: 0.0 Back: 196.911
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 7636614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.359 Prop: 7728.662 PropClause: 7525.903 Set: 1522.869 Check: 0.0 Back: 197.799
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 7671428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 7758.975 PropClause: 7555.37 Set: 1528.894 Check: 0.0 Back: 198.678
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 7706119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.381 Prop: 7789.111 PropClause: 7584.665 Set: 1534.871 Check: 0.0 Back: 199.565
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 7740931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.398 Prop: 7817.628 PropClause: 7612.336 Set: 1540.835 Check: 0.0 Back: 200.436
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 7775247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.435 Prop: 7846.563 PropClause: 7640.435 Set: 1546.76 Check: 0.0 Back: 201.329
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 7810058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.444 Prop: 7879.487 PropClause: 7672.506 Set: 1552.953 Check: 0.0 Back: 202.206
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 7844870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.45 Prop: 7907.447 PropClause: 7699.619 Set: 1558.932 Check: 0.0 Back: 203.103
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 7879684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.459 Prop: 7935.796 PropClause: 7727.107 Set: 1564.923 Check: 0.0 Back: 203.992
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 7914375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.468 Prop: 7966.897 PropClause: 7757.331 Set: 1571.028 Check: 0.0 Back: 204.892
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 7949187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.474 Prop: 7998.414 PropClause: 7787.985 Set: 1577.1 Check: 0.0 Back: 205.784
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 7983503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 8029.918 PropClause: 7818.64 Set: 1583.084 Check: 0.0 Back: 206.669
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 8018314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.488 Prop: 8061.682 PropClause: 7849.56 Set: 1589.142 Check: 0.0 Back: 207.537
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 8053126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 8095.15 PropClause: 7882.182 Set: 1595.341 Check: 0.0 Back: 208.423
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 8087940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.502 Prop: 8125.205 PropClause: 7911.391 Set: 1601.377 Check: 0.0 Back: 209.307
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 8122631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.51 Prop: 8157.303 PropClause: 7942.643 Set: 1607.523 Check: 0.0 Back: 210.214
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 8157443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.519 Prop: 8190.804 PropClause: 7975.278 Set: 1626.232 Check: 0.0 Back: 211.103
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 8191759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.528 Prop: 8223.468 PropClause: 8007.099 Set: 1632.167 Check: 0.0 Back: 211.992
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 8226570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.536 Prop: 8253.412 PropClause: 8036.196 Set: 1638.272 Check: 0.0 Back: 212.868
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 8261382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.544 Prop: 8283.671 PropClause: 8065.606 Set: 1644.335 Check: 0.0 Back: 213.752
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 8296196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.551 Prop: 8311.802 PropClause: 8092.886 Set: 1650.357 Check: 0.0 Back: 214.638
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 8330887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.559 Prop: 8341.327 PropClause: 8121.559 Set: 1656.317 Check: 0.0 Back: 215.535
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 8365699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.568 Prop: 8371.439 PropClause: 8150.785 Set: 1662.618 Check: 0.0 Back: 216.422
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 8400015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.576 Prop: 8399.749 PropClause: 8178.256 Set: 1668.478 Check: 0.0 Back: 217.319
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 8434826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.583 Prop: 8428.227 PropClause: 8205.883 Set: 1674.448 Check: 0.0 Back: 218.191
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 8469638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.59 Prop: 8458.845 PropClause: 8235.651 Set: 1680.547 Check: 0.0 Back: 219.093
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 8504452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.598 Prop: 8489.72 PropClause: 8265.668 Set: 1686.683 Check: 0.0 Back: 219.976
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 8539143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 8521.576 PropClause: 8296.673 Set: 1692.823 Check: 0.0 Back: 220.864
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 8573955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.614 Prop: 8553.721 PropClause: 8327.97 Set: 1698.94 Check: 0.0 Back: 221.752
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 8608271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 8582.509 PropClause: 8355.919 Set: 1704.803 Check: 0.0 Back: 222.645
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 8643082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 8612.998 PropClause: 8385.542 Set: 1710.956 Check: 0.0 Back: 223.524
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 8677894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.637 Prop: 8641.898 PropClause: 8413.593 Set: 1717.061 Check: 0.0 Back: 224.4
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 8712708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.646 Prop: 8671.986 PropClause: 8442.834 Set: 1723.147 Check: 0.0 Back: 225.294
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 8747399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.653 Prop: 8702.302 PropClause: 8472.296 Set: 1729.194 Check: 0.0 Back: 226.18
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 8782211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.662 Prop: 8734.146 PropClause: 8503.286 Set: 1735.289 Check: 0.0 Back: 227.056
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 8816527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.668 Prop: 8764.395 PropClause: 8532.699 Set: 1741.302 Check: 0.0 Back: 227.945
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 8851338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.677 Prop: 8794.055 PropClause: 8561.502 Set: 1747.377 Check: 0.0 Back: 228.816
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 8886150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.683 Prop: 8823.774 PropClause: 8590.365 Set: 1753.427 Check: 0.0 Back: 229.71
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 8920964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.691 Prop: 8852.873 PropClause: 8618.613 Set: 1759.472 Check: 0.0 Back: 230.58
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 8955655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.699 Prop: 8881.888 PropClause: 8646.772 Set: 1765.5 Check: 0.0 Back: 231.484
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 8990467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.708 Prop: 8910.641 PropClause: 8674.672 Set: 1781.696 Check: 0.0 Back: 232.384
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 9024783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.715 Prop: 8940.93 PropClause: 8704.122 Set: 1787.749 Check: 0.0 Back: 233.271
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 9059594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 8972.099 PropClause: 8734.44 Set: 1793.894 Check: 0.0 Back: 234.149
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 9094406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.729 Prop: 9003.538 PropClause: 8765.032 Set: 1800.023 Check: 0.0 Back: 235.031
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 9129220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.736 Prop: 9035.326 PropClause: 8795.977 Set: 1806.081 Check: 0.0 Back: 235.913
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 9163911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.743 Prop: 9068.03 PropClause: 8827.836 Set: 1812.129 Check: 0.0 Back: 236.799
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 9198723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.751 Prop: 9100.827 PropClause: 8859.783 Set: 1818.292 Check: 0.0 Back: 237.673
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 9233039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.757 Prop: 9130.44 PropClause: 8888.559 Set: 1824.298 Check: 0.0 Back: 238.565
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 9267850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.765 Prop: 9161.013 PropClause: 8918.281 Set: 1830.486 Check: 0.0 Back: 239.455
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 9302662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.772 Prop: 9192.597 PropClause: 8949.02 Set: 1836.681 Check: 0.0 Back: 240.353
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 9337476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.779 Prop: 9223.073 PropClause: 8978.648 Set: 1842.81 Check: 0.0 Back: 241.227
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 9372167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.785 Prop: 9251.881 PropClause: 9006.609 Set: 1848.801 Check: 0.0 Back: 242.107
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 9406979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.794 Prop: 9283.138 PropClause: 9037.019 Set: 1854.929 Check: 0.0 Back: 242.993
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 9441792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.803 Prop: 9313.159 PropClause: 9066.182 Set: 1861.052 Check: 0.0 Back: 243.904
INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 9476603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.81 Prop: 9345.179 PropClause: 9097.352 Set: 1867.191 Check: 0.0 Back: 244.792
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 9511295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.817 Prop: 9373.944 PropClause: 9125.272 Set: 1873.212 Check: 0.0 Back: 245.7
INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 9546109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.824 Prop: 9402.104 PropClause: 9152.581 Set: 1879.257 Check: 0.0 Back: 246.58
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 9580800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.833 Prop: 9433.669 PropClause: 9183.305 Set: 1885.392 Check: 0.0 Back: 247.473
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 9615612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.839 Prop: 9465.106 PropClause: 9213.894 Set: 1891.557 Check: 0.0 Back: 248.351
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 9649928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.845 Prop: 9496.217 PropClause: 9244.173 Set: 1897.551 Check: 0.0 Back: 249.243
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 9684739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.853 Prop: 9530.32 PropClause: 9277.409 Set: 1903.821 Check: 0.0 Back: 250.132
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 9719551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.86 Prop: 9561.152 PropClause: 9307.392 Set: 1909.912 Check: 0.0 Back: 251.056
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 9754365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.868 Prop: 9591.154 PropClause: 9336.548 Set: 1915.995 Check: 0.0 Back: 251.95
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 9789056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.876 Prop: 9621.965 PropClause: 9366.51 Set: 1922.099 Check: 0.0 Back: 252.837
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 9823868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 9652.572 PropClause: 9396.267 Set: 1928.194 Check: 0.0 Back: 253.706
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 9858184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 9683.056 PropClause: 9425.916 Set: 1934.166 Check: 0.0 Back: 254.596
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 9892995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.898 Prop: 9715.901 PropClause: 9457.904 Set: 1940.359 Check: 0.0 Back: 255.468
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 9927807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 9744.884 PropClause: 9486.004 Set: 1946.455 Check: 0.0 Back: 256.363
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 9962621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.915 Prop: 9773.055 PropClause: 9513.297 Set: 1952.522 Check: 0.0 Back: 257.26
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 9997312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.924 Prop: 9802.196 PropClause: 9541.572 Set: 1958.662 Check: 0.0 Back: 258.146
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 10032124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.93 Prop: 9833.703 PropClause: 9572.233 Set: 1965.153 Check: 0.0 Back: 259.043
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 10066440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.938 Prop: 9861.962 PropClause: 9599.658 Set: 1971.125 Check: 0.0 Back: 259.926
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 10101251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.946 Prop: 9890.384 PropClause: 9627.223 Set: 1977.149 Check: 0.0 Back: 260.793
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 10136063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.955 Prop: 9920.03 PropClause: 9656.019 Set: 1996.781 Check: 0.0 Back: 261.691
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 10170380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.961 Prop: 9951.786 PropClause: 9686.942 Set: 2002.864 Check: 0.0 Back: 262.538
INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 10205191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.967 Prop: 9981.322 PropClause: 9715.636 Set: 2008.955 Check: 0.0 Back: 263.422
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 10240003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.973 Prop: 10012.177 PropClause: 9745.642 Set: 2015.068 Check: 0.0 Back: 264.331
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 10274816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.98 Prop: 10041.088 PropClause: 9773.71 Set: 2021.135 Check: 0.0 Back: 265.211
INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 10309627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.987 Prop: 10070.283 PropClause: 9802.055 Set: 2027.134 Check: 0.0 Back: 266.104
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 10344319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.992 Prop: 10098.281 PropClause: 9829.208 Set: 2033.212 Check: 0.0 Back: 267.007
INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 10378636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.0 Prop: 10127.016 PropClause: 9857.114 Set: 2039.124 Check: 0.0 Back: 267.911
INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 10413447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 10157.121 PropClause: 9886.367 Set: 2045.173 Check: 0.0 Back: 268.789
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 10448259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.014 Prop: 10186.851 PropClause: 9915.251 Set: 2051.323 Check: 0.0 Back: 269.675
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 10483072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.021 Prop: 10213.838 PropClause: 9941.395 Set: 2057.323 Check: 0.0 Back: 270.561
INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 10517883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.028 Prop: 10240.776 PropClause: 9967.485 Set: 2063.349 Check: 0.0 Back: 271.43
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 10552575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.034 Prop: 10268.201 PropClause: 9994.065 Set: 2069.397 Check: 0.0 Back: 272.325
INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 10587389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.041 Prop: 10295.597 PropClause: 10020.613 Set: 2075.461 Check: 0.0 Back: 273.207
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 10622080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.048 Prop: 10324.345 PropClause: 10048.505 Set: 2081.513 Check: 0.0 Back: 274.095
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 10656892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 10353.322 PropClause: 10076.639 Set: 2087.532 Check: 0.0 Back: 274.993
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 10691208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.063 Prop: 10382.938 PropClause: 10105.415 Set: 2093.566 Check: 0.0 Back: 275.895
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 10726019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 10414.767 PropClause: 10136.371 Set: 2099.735 Check: 0.0 Back: 276.797
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 10760831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 10443.75 PropClause: 10164.502 Set: 2105.806 Check: 0.0 Back: 277.708
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 10795645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.088 Prop: 10475.616 PropClause: 10195.512 Set: 2111.954 Check: 0.0 Back: 278.603
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 10830336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 10504.328 PropClause: 10223.376 Set: 2118.039 Check: 0.0 Back: 279.507
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 10865148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.103 Prop: 10534.14 PropClause: 10252.348 Set: 2124.149 Check: 0.0 Back: 280.392
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 10899464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.11 Prop: 10565.682 PropClause: 10283.052 Set: 2130.279 Check: 0.0 Back: 281.278
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 10934275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.119 Prop: 10597.492 PropClause: 10314.003 Set: 2136.446 Check: 0.0 Back: 282.151
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 10969087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.126 Prop: 10627.236 PropClause: 10342.896 Set: 2142.603 Check: 0.0 Back: 283.05
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 11003901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.135 Prop: 10657.389 PropClause: 10372.198 Set: 2148.745 Check: 0.0 Back: 283.932
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 11038592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.142 Prop: 10687.886 PropClause: 10401.846 Set: 2154.826 Check: 0.0 Back: 284.822
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 11073404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.151 Prop: 10720.78 PropClause: 10433.831 Set: 2161.536 Check: 0.0 Back: 285.699
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 11107720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.16 Prop: 10750.791 PropClause: 10462.994 Set: 2167.551 Check: 0.0 Back: 286.713
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 11142531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.168 Prop: 10779.341 PropClause: 10490.699 Set: 2173.588 Check: 0.0 Back: 287.606
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 11177343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.173 Prop: 10807.898 PropClause: 10518.399 Set: 2179.786 Check: 0.0 Back: 288.5
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 11212157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.181 Prop: 10836.987 PropClause: 10546.649 Set: 2185.857 Check: 0.0 Back: 289.388
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 11246848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.187 Prop: 10867.825 PropClause: 10576.65 Set: 2192.016 Check: 0.0 Back: 290.286
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 11281660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.194 Prop: 10897.907 PropClause: 10605.879 Set: 2198.07 Check: 0.0 Back: 291.155
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 11315976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.2 Prop: 10928.956 PropClause: 10636.106 Set: 2204.058 Check: 0.0 Back: 292.047
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 11350787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 10959.469 PropClause: 10665.779 Set: 2210.171 Check: 0.0 Back: 292.919
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 11385599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.215 Prop: 10993.007 PropClause: 10698.472 Set: 2216.402 Check: 0.0 Back: 293.813
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 11420413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.22 Prop: 11022.324 PropClause: 10726.953 Set: 2222.462 Check: 0.0 Back: 294.7
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 11455104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.227 Prop: 11052.358 PropClause: 10756.141 Set: 2228.571 Check: 0.0 Back: 295.593
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 11489916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.233 Prop: 11083.079 PropClause: 10786.018 Set: 2234.766 Check: 0.0 Back: 296.473
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 11524232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.241 Prop: 11113.264 PropClause: 10815.379 Set: 2240.793 Check: 0.0 Back: 297.359
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 11559043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 11144.368 PropClause: 10845.64 Set: 2246.965 Check: 0.0 Back: 298.246
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 11593855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.257 Prop: 11175.083 PropClause: 10875.512 Set: 2253.168 Check: 0.0 Back: 299.129
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 11628669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.265 Prop: 11207.501 PropClause: 10907.075 Set: 2259.397 Check: 0.0 Back: 300.016
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 11663360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.273 Prop: 11237.64 PropClause: 10936.374 Set: 2265.574 Check: 0.0 Back: 300.922
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 11698172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.282 Prop: 11270.18 PropClause: 10968.068 Set: 2271.772 Check: 0.0 Back: 301.813
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 11732488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 11305.264 PropClause: 11002.128 Set: 2279.597 Check: 0.0 Back: 302.72
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 11767299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.299 Prop: 11334.737 PropClause: 11030.742 Set: 2285.844 Check: 0.0 Back: 303.629
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 11802111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.308 Prop: 11364.74 PropClause: 11059.898 Set: 2292.0 Check: 0.0 Back: 304.543
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 11836428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.316 Prop: 11395.125 PropClause: 11089.441 Set: 2308.36 Check: 0.0 Back: 305.434
INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 11871239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.324 Prop: 11427.025 PropClause: 11120.496 Set: 2314.67 Check: 0.0 Back: 306.31
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 11906051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.331 Prop: 11458.169 PropClause: 11150.791 Set: 2320.816 Check: 0.0 Back: 307.218
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 11940367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.337 Prop: 11490.666 PropClause: 11182.463 Set: 2326.863 Check: 0.0 Back: 308.129
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 11975178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.343 Prop: 11520.377 PropClause: 11211.326 Set: 2333.048 Check: 0.0 Back: 308.984
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 12009990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.351 Prop: 11550.925 PropClause: 11241.029 Set: 2339.256 Check: 0.0 Back: 309.868
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 12044804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.357 Prop: 11580.297 PropClause: 11269.56 Set: 2345.406 Check: 0.0 Back: 310.755
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 12079495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.366 Prop: 11612.28 PropClause: 11300.703 Set: 2351.629 Check: 0.0 Back: 311.646
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 12114307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.373 Prop: 11646.497 PropClause: 11334.075 Set: 2357.944 Check: 0.0 Back: 312.531
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 12148623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.382 Prop: 11680.542 PropClause: 11367.29 Set: 2364.152 Check: 0.0 Back: 313.421
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 12183434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.389 Prop: 11713.782 PropClause: 11399.687 Set: 2370.397 Check: 0.0 Back: 314.297
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 12218246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.398 Prop: 11744.967 PropClause: 11430.024 Set: 2376.607 Check: 0.0 Back: 315.184
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 12253060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.404 Prop: 11773.651 PropClause: 11457.862 Set: 2382.774 Check: 0.0 Back: 316.07
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 12287751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.412 Prop: 11803.764 PropClause: 11487.122 Set: 2388.956 Check: 0.0 Back: 316.963
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 12322563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.421 Prop: 11833.185 PropClause: 11515.696 Set: 2395.192 Check: 0.0 Back: 317.865
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 12356879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 11863.484 PropClause: 11545.153 Set: 2401.285 Check: 0.0 Back: 318.762
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 12391690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.434 Prop: 11895.373 PropClause: 11576.188 Set: 2407.558 Check: 0.0 Back: 319.639
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 12426502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.442 Prop: 11927.751 PropClause: 11607.718 Set: 2413.87 Check: 0.0 Back: 320.521
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 12461316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.45 Prop: 11960.219 PropClause: 11639.347 Set: 2420.049 Check: 0.0 Back: 321.428
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 12496007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.456 Prop: 11989.84 PropClause: 11668.123 Set: 2426.17 Check: 0.0 Back: 322.308
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 12530819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.465 Prop: 12022.953 PropClause: 11700.389 Set: 2441.356 Check: 0.0 Back: 323.191
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 12565135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.473 Prop: 12051.95 PropClause: 11728.555 Set: 2447.321 Check: 0.0 Back: 324.079
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 12599946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.479 Prop: 12083.709 PropClause: 11759.47 Set: 2453.524 Check: 0.0 Back: 324.954
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 12634758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.486 Prop: 12116.245 PropClause: 11791.153 Set: 2459.858 Check: 0.0 Back: 325.856
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 12669572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.494 Prop: 12149.205 PropClause: 11823.272 Set: 2466.057 Check: 0.0 Back: 326.74
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 12704263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.5 Prop: 12181.734 PropClause: 11854.958 Set: 2472.354 Check: 0.0 Back: 327.649
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 12739075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.506 Prop: 12213.903 PropClause: 11886.27 Set: 2478.62 Check: 0.0 Back: 328.537
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 12773391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.512 Prop: 12245.119 PropClause: 11916.656 Set: 2484.703 Check: 0.0 Back: 329.424
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 12808202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.522 Prop: 12277.886 PropClause: 11948.574 Set: 2491.042 Check: 0.0 Back: 330.303
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 12843014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.528 Prop: 12307.154 PropClause: 11976.983 Set: 2497.214 Check: 0.0 Back: 331.146
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 12877828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.535 Prop: 12337.935 PropClause: 12006.922 Set: 2503.462 Check: 0.0 Back: 332.051
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 12912519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.541 Prop: 12366.981 PropClause: 12035.125 Set: 2509.645 Check: 0.0 Back: 332.948
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 12947331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.548 Prop: 12400.249 PropClause: 12067.547 Set: 2515.966 Check: 0.0 Back: 333.832
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 12981647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.555 Prop: 12431.627 PropClause: 12098.096 Set: 2522.165 Check: 0.0 Back: 334.731
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 13016458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.562 Prop: 12464.056 PropClause: 12129.681 Set: 2528.413 Check: 0.0 Back: 335.6
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 13051270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.57 Prop: 12494.734 PropClause: 12159.515 Set: 2534.612 Check: 0.0 Back: 336.486
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 13086084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.578 Prop: 12529.54 PropClause: 12193.478 Set: 2540.969 Check: 0.0 Back: 337.371
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 13120775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.585 Prop: 12559.601 PropClause: 12222.7 Set: 2547.15 Check: 0.0 Back: 338.257
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 13155587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.592 Prop: 12591.099 PropClause: 12253.341 Set: 2553.4 Check: 0.0 Back: 339.133
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 13189903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.599 Prop: 12623.283 PropClause: 12284.681 Set: 2559.46 Check: 0.0 Back: 339.985
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 13224714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.606 Prop: 12653.878 PropClause: 12314.435 Set: 2565.763 Check: 0.0 Back: 340.862
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 13259526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.613 Prop: 12686.056 PropClause: 12345.767 Set: 2572.053 Check: 0.0 Back: 341.753
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 13294340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.62 Prop: 12717.814 PropClause: 12376.681 Set: 2578.338 Check: 0.0 Back: 342.637
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 13329031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.627 Prop: 12750.612 PropClause: 12408.641 Set: 2584.567 Check: 0.0 Back: 343.534
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 13363843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.635 Prop: 12781.291 PropClause: 12438.472 Set: 2590.818 Check: 0.0 Back: 344.42
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 13398159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.643 Prop: 12809.949 PropClause: 12466.296 Set: 2596.918 Check: 0.0 Back: 345.327
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 13432970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.652 Prop: 12840.01 PropClause: 12495.503 Set: 2603.245 Check: 0.0 Back: 346.211
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 13467782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.661 Prop: 12870.662 PropClause: 12525.305 Set: 2609.618 Check: 0.0 Back: 347.117
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 13502596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.666 Prop: 12899.273 PropClause: 12553.064 Set: 2615.833 Check: 0.0 Back: 348.022
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 13537287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.675 Prop: 12929.382 PropClause: 12582.331 Set: 2622.123 Check: 0.0 Back: 348.912
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 13572099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.682 Prop: 12959.257 PropClause: 12611.358 Set: 2628.318 Check: 0.0 Back: 349.812
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 13606415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.689 Prop: 12988.606 PropClause: 12639.864 Set: 2634.46 Check: 0.0 Back: 350.708
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 13641226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.698 Prop: 13019.055 PropClause: 12669.469 Set: 2640.626 Check: 0.0 Back: 351.582
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 13676038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.706 Prop: 13048.201 PropClause: 12697.763 Set: 2646.761 Check: 0.0 Back: 352.472
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 13710852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.713 Prop: 13079.551 PropClause: 12728.267 Set: 2652.897 Check: 0.0 Back: 353.344
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 13745543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.719 Prop: 13109.924 PropClause: 12757.802 Set: 2658.969 Check: 0.0 Back: 354.228
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 13780355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.726 Prop: 13139.317 PropClause: 12786.354 Set: 2665.077 Check: 0.0 Back: 355.12
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 13814671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.732 Prop: 13168.364 PropClause: 12814.567 Set: 2671.205 Check: 0.0 Back: 356.008
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 13849482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.739 Prop: 13198.887 PropClause: 12844.248 Set: 2677.343 Check: 0.0 Back: 356.885
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 13884294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.745 Prop: 13230.006 PropClause: 12874.528 Set: 2683.521 Check: 0.0 Back: 357.76
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 13919108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.752 Prop: 13260.115 PropClause: 12903.792 Set: 2689.691 Check: 0.0 Back: 358.651
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 13953799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.758 Prop: 13287.772 PropClause: 12930.603 Set: 2695.815 Check: 0.0 Back: 359.556
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 13988611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.765 Prop: 13316.491 PropClause: 12958.474 Set: 2701.867 Check: 0.0 Back: 360.455
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 14022927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.772 Prop: 13344.533 PropClause: 12985.675 Set: 2718.076 Check: 0.0 Back: 361.357
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 14057738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.779 Prop: 13373.511 PropClause: 13013.804 Set: 2724.245 Check: 0.0 Back: 362.224
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 14092550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.786 Prop: 13404.022 PropClause: 13043.463 Set: 2730.433 Check: 0.0 Back: 363.119
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 14127364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.793 Prop: 13433.505 PropClause: 13072.099 Set: 2736.679 Check: 0.0 Back: 364.03
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 14162055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.799 Prop: 13465.058 PropClause: 13102.81 Set: 2742.961 Check: 0.0 Back: 364.921
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 14196867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.806 Prop: 13495.374 PropClause: 13132.281 Set: 2749.225 Check: 0.0 Back: 365.806
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 14231183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.813 Prop: 13525.946 PropClause: 13162.022 Set: 2755.362 Check: 0.0 Back: 366.716
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 14265994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.82 Prop: 13556.629 PropClause: 13191.863 Set: 2761.546 Check: 0.0 Back: 367.575
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 14300806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.828 Prop: 13589.637 PropClause: 13224.027 Set: 2767.912 Check: 0.0 Back: 368.467
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 14335620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.836 Prop: 13618.308 PropClause: 13251.854 Set: 2774.052 Check: 0.0 Back: 369.347
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 14370311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.844 Prop: 13648.234 PropClause: 13280.94 Set: 2780.211 Check: 0.0 Back: 370.245
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 14405123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.852 Prop: 13676.772 PropClause: 13308.627 Set: 2786.371 Check: 0.0 Back: 371.131
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 14439439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.859 Prop: 13706.271 PropClause: 13337.299 Set: 2792.45 Check: 0.0 Back: 372.021
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 14474250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.865 Prop: 13737.408 PropClause: 13367.586 Set: 2798.653 Check: 0.0 Back: 372.903
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 14509062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.874 Prop: 13768.558 PropClause: 13397.894 Set: 2804.86 Check: 0.0 Back: 373.783
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 14543876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.88 Prop: 13799.503 PropClause: 13427.996 Set: 2811.052 Check: 0.0 Back: 374.675
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 14578567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.886 Prop: 13826.998 PropClause: 13454.66 Set: 2817.187 Check: 0.0 Back: 375.565
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 14613379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.892 Prop: 13854.543 PropClause: 13481.363 Set: 2823.336 Check: 0.0 Back: 376.461
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 14647695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.9 Prop: 13883.984 PropClause: 13509.965 Set: 2829.492 Check: 0.0 Back: 377.352
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 14682506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.907 Prop: 13913.817 PropClause: 13538.953 Set: 2835.766 Check: 0.0 Back: 378.232
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 14717318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.914 Prop: 13945.84 PropClause: 13570.128 Set: 2841.943 Check: 0.0 Back: 379.131
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 14752132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.923 Prop: 13977.394 PropClause: 13600.83 Set: 2848.229 Check: 0.0 Back: 380.024
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 14786823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.967 Prop: 14009.026 PropClause: 13631.623 Set: 2854.486 Check: 0.0 Back: 380.961
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 14821635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.01 Prop: 14040.964 PropClause: 13662.722 Set: 2860.727 Check: 0.0 Back: 381.836
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 14855951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.016 Prop: 14074.848 PropClause: 13695.761 Set: 2867.066 Check: 0.0 Back: 382.739
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 14890762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.025 Prop: 14106.934 PropClause: 13727.0 Set: 2873.487 Check: 0.0 Back: 383.607
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 14925574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.031 Prop: 14139.609 PropClause: 13758.829 Set: 2879.849 Check: 0.0 Back: 384.503
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 14960388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.037 Prop: 14169.823 PropClause: 13788.207 Set: 2886.098 Check: 0.0 Back: 385.387
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 14995079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.046 Prop: 14200.861 PropClause: 13818.4 Set: 2892.293 Check: 0.0 Back: 386.277
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 15029891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.053 Prop: 14230.961 PropClause: 13847.656 Set: 2898.592 Check: 0.0 Back: 387.145
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 15064207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.061 Prop: 14262.472 PropClause: 13878.339 Set: 2904.823 Check: 0.0 Back: 388.048
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 15099018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.068 Prop: 14294.221 PropClause: 13909.252 Set: 2911.111 Check: 0.0 Back: 388.927
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 15133830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.075 Prop: 14325.598 PropClause: 13939.775 Set: 2917.42 Check: 0.0 Back: 389.813
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 15168147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.081 Prop: 14356.987 PropClause: 13970.332 Set: 2923.602 Check: 0.0 Back: 390.701
INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 15202958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.087 Prop: 14385.713 PropClause: 13998.215 Set: 2929.887 Check: 0.0 Back: 391.577
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 15237770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.094 Prop: 14417.135 PropClause: 14028.79 Set: 2936.221 Check: 0.0 Back: 392.487
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 15272583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.101 Prop: 14448.118 PropClause: 14058.925 Set: 2942.547 Check: 0.0 Back: 393.384
INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 15307394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.107 Prop: 14477.022 PropClause: 14086.983 Set: 2948.813 Check: 0.0 Back: 394.284
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 15342086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.114 Prop: 14506.142 PropClause: 14115.255 Set: 2955.172 Check: 0.0 Back: 395.183
INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 15376403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.121 Prop: 14535.069 PropClause: 14143.349 Set: 2961.269 Check: 0.0 Back: 396.077
INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 15411214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.128 Prop: 14566.293 PropClause: 14173.729 Set: 2967.636 Check: 0.0 Back: 396.948
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 15446026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.136 Prop: 14598.558 PropClause: 14205.141 Set: 2988.05 Check: 0.0 Back: 397.833
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 15480839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.142 Prop: 14629.734 PropClause: 14235.477 Set: 2994.272 Check: 0.0 Back: 398.686
INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 15515650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.152 Prop: 14662.672 PropClause: 14267.572 Set: 3000.634 Check: 0.0 Back: 399.571
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 15550342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.159 Prop: 14694.188 PropClause: 14298.252 Set: 3006.878 Check: 0.0 Back: 400.471
INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 15585156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.166 Prop: 14725.273 PropClause: 14328.484 Set: 3013.149 Check: 0.0 Back: 401.352
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 15619847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.174 Prop: 14756.156 PropClause: 14358.527 Set: 3019.508 Check: 0.0 Back: 402.255
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 15654659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.182 Prop: 14788.329 PropClause: 14389.854 Set: 3025.878 Check: 0.0 Back: 403.144
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 15688975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.19 Prop: 14819.8 PropClause: 14420.487 Set: 3032.194 Check: 0.0 Back: 404.043
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 15723786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.196 Prop: 14851.953 PropClause: 14451.797 Set: 3038.642 Check: 0.0 Back: 404.923
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 15758598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.203 Prop: 14883.976 PropClause: 14482.969 Set: 3044.987 Check: 0.0 Back: 405.804
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 15793412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.211 Prop: 14915.326 PropClause: 14513.476 Set: 3051.337 Check: 0.0 Back: 406.7
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 15828103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.229 Prop: 14946.68 PropClause: 14543.981 Set: 3057.627 Check: 0.0 Back: 407.606
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 15862915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.236 Prop: 14975.443 PropClause: 14571.904 Set: 3063.872 Check: 0.0 Back: 408.507
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 15897231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.243 Prop: 15003.816 PropClause: 14599.447 Set: 3070.0 Check: 0.0 Back: 409.402
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 15932042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.251 Prop: 15032.963 PropClause: 14627.753 Set: 3076.283 Check: 0.0 Back: 410.27
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 15966854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.258 Prop: 15063.861 PropClause: 14657.798 Set: 3082.618 Check: 0.0 Back: 411.17
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 16001668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.267 Prop: 15093.33 PropClause: 14686.426 Set: 3088.89 Check: 0.0 Back: 412.08
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 16036359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.274 Prop: 15125.437 PropClause: 14717.687 Set: 3095.187 Check: 0.0 Back: 412.972
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 16071171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.282 Prop: 15157.567 PropClause: 14748.961 Set: 3101.49 Check: 0.0 Back: 413.846
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 16105487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.289 Prop: 15189.918 PropClause: 14780.479 Set: 3107.794 Check: 0.0 Back: 414.758
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 16140298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.295 Prop: 15221.922 PropClause: 14811.64 Set: 3114.065 Check: 0.0 Back: 415.642
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 16175110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.304 Prop: 15254.638 PropClause: 14843.509 Set: 3120.369 Check: 0.0 Back: 416.535
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 16209924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.31 Prop: 15285.25 PropClause: 14873.279 Set: 3126.617 Check: 0.0 Back: 417.426
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 16244615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.318 Prop: 15317.16 PropClause: 14904.338 Set: 3133.003 Check: 0.0 Back: 418.321
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 16279427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.324 Prop: 15348.473 PropClause: 14934.802 Set: 3139.377 Check: 0.0 Back: 419.21
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 16313743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.332 Prop: 15380.805 PropClause: 14966.3 Set: 3145.63 Check: 0.0 Back: 420.107
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 16348554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.339 Prop: 15412.789 PropClause: 14997.441 Set: 3151.933 Check: 0.0 Back: 420.982
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 16383366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.345 Prop: 15445.096 PropClause: 15028.906 Set: 3158.317 Check: 0.0 Back: 421.881
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 16418180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.353 Prop: 15477.792 PropClause: 15060.756 Set: 3164.747 Check: 0.0 Back: 422.787
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 16452871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.359 Prop: 15507.308 PropClause: 15089.431 Set: 3170.991 Check: 0.0 Back: 423.694
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 16487683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.366 Prop: 15537.723 PropClause: 15119.004 Set: 3177.287 Check: 0.0 Back: 424.591
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 16521999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.373 Prop: 15566.785 PropClause: 15147.238 Set: 3183.462 Check: 0.0 Back: 425.503
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 16556810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.39 Prop: 15596.762 PropClause: 15176.372 Set: 3189.731 Check: 0.0 Back: 426.388
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 16591622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.398 Prop: 15625.805 PropClause: 15204.574 Set: 3196.005 Check: 0.0 Back: 427.284
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 16626436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.403 Prop: 15654.913 PropClause: 15232.837 Set: 3202.347 Check: 0.0 Back: 428.181
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 16661127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.41 Prop: 15684.495 PropClause: 15261.574 Set: 3208.692 Check: 0.0 Back: 429.071
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 16695939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.417 Prop: 15716.281 PropClause: 15292.515 Set: 3215.184 Check: 0.0 Back: 429.984
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 16730255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.423 Prop: 15746.316 PropClause: 15321.719 Set: 3221.289 Check: 0.0 Back: 430.882
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 16765066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.431 Prop: 15778.835 PropClause: 15353.395 Set: 3227.712 Check: 0.0 Back: 431.763
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 16799878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.438 Prop: 15811.178 PropClause: 15384.894 Set: 3234.07 Check: 0.0 Back: 432.646
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 16834692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.446 Prop: 15844.743 PropClause: 15417.616 Set: 3240.52 Check: 0.0 Back: 433.538
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 16869383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.454 Prop: 15875.089 PropClause: 15447.119 Set: 3246.893 Check: 0.0 Back: 434.424
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 16904195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.46 Prop: 15906.618 PropClause: 15477.794 Set: 3253.225 Check: 0.0 Back: 435.318
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 16938511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.467 Prop: 15937.31 PropClause: 15507.653 Set: 3259.505 Check: 0.0 Back: 436.224
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 16973322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.475 Prop: 15970.704 PropClause: 15540.204 Set: 3265.895 Check: 0.0 Back: 437.103
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 17008134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.483 Prop: 16002.086 PropClause: 15570.748 Set: 3272.233 Check: 0.0 Back: 438.011
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 17042948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.491 Prop: 16034.099 PropClause: 15601.914 Set: 3278.63 Check: 0.0 Back: 438.902
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 17077639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.498 Prop: 16065.706 PropClause: 15632.675 Set: 3285.038 Check: 0.0 Back: 439.79
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 17112451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.506 Prop: 16096.26 PropClause: 15662.373 Set: 3291.306 Check: 0.0 Back: 440.685
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 17146767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.512 Prop: 16125.28 PropClause: 15690.562 Set: 3297.477 Check: 0.0 Back: 441.587
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 17181578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.518 Prop: 16153.906 PropClause: 15718.354 Set: 3303.757 Check: 0.0 Back: 442.479
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 17216390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.525 Prop: 16182.473 PropClause: 15746.07 Set: 3309.999 Check: 0.0 Back: 443.367
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 17251204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.531 Prop: 16211.675 PropClause: 15774.427 Set: 3316.193 Check: 0.0 Back: 444.265
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 17285895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.538 Prop: 16240.005 PropClause: 15801.917 Set: 3322.406 Check: 0.0 Back: 445.186
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 17320707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.545 Prop: 16268.706 PropClause: 15829.771 Set: 3328.663 Check: 0.0 Back: 446.086
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 17355023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.554 Prop: 16296.976 PropClause: 15857.21 Set: 3334.765 Check: 0.0 Back: 446.978
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 17389834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.56 Prop: 16327.564 PropClause: 15886.948 Set: 3341.134 Check: 0.0 Back: 447.879
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 17424646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.568 Prop: 16359.756 PropClause: 15918.299 Set: 3347.507 Check: 0.0 Back: 448.774
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 17459460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.577 Prop: 16392.545 PropClause: 15950.241 Set: 3353.9 Check: 0.0 Back: 449.658
INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 17494151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.584 Prop: 16421.941 PropClause: 15978.794 Set: 3360.157 Check: 0.0 Back: 450.539
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 17528963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.59 Prop: 16454.285 PropClause: 16010.289 Set: 3366.456 Check: 0.0 Back: 451.429
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 17563279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.597 Prop: 16484.478 PropClause: 16039.647 Set: 3372.696 Check: 0.0 Back: 452.347
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 17598090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.603 Prop: 16514.626 PropClause: 16068.953 Set: 3378.945 Check: 0.0 Back: 453.228
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 17632902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.61 Prop: 16543.713 PropClause: 16097.194 Set: 3385.182 Check: 0.0 Back: 454.141
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 17667219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.617 Prop: 16574.848 PropClause: 16127.489 Set: 3391.363 Check: 0.0 Back: 455.037
INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 17702030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.624 Prop: 16606.089 PropClause: 16157.875 Set: 3397.693 Check: 0.0 Back: 455.915
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 17736842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.63 Prop: 16637.072 PropClause: 16188.013 Set: 3404.009 Check: 0.0 Back: 456.812
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 17771655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.638 Prop: 16670.207 PropClause: 16220.223 Set: 3410.759 Check: 0.0 Back: 457.707
INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 17806466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.645 Prop: 16698.141 PropClause: 16247.311 Set: 3417.0 Check: 0.0 Back: 458.595
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 17841158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.654 Prop: 16726.077 PropClause: 16274.408 Set: 3423.237 Check: 0.0 Back: 459.484
INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 17875475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.661 Prop: 16754.245 PropClause: 16301.74 Set: 3429.284 Check: 0.0 Back: 460.379
INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 17910286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.667 Prop: 16782.849 PropClause: 16329.502 Set: 3435.595 Check: 0.0 Back: 461.26
INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 17945098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.675 Prop: 16812.627 PropClause: 16358.434 Set: 3441.961 Check: 0.0 Back: 462.154
INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 17979911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.685 Prop: 16843.331 PropClause: 16388.281 Set: 3448.326 Check: 0.0 Back: 463.043
INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 18014667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.691 Prop: 16873.96 PropClause: 16418.058 Set: 3454.636 Check: 0.0 Back: 463.948
INFO - Atoms: 34756/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 18049358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.698 Prop: 16904.03 PropClause: 16447.283 Set: 3460.913 Check: 0.0 Back: 464.851
INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 18084116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.706 Prop: 16936.314 PropClause: 16478.714 Set: 3467.404 Check: 0.0 Back: 465.761
INFO - Atoms: 34758/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 18118750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.713 Prop: 16967.602 PropClause: 16509.165 Set: 3473.705 Check: 0.0 Back: 466.681
INFO - Atoms: 34634/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 18153448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.719 Prop: 16997.695 PropClause: 16538.424 Set: 3479.92 Check: 0.0 Back: 467.566
INFO - Atoms: 34698/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 18187764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.725 Prop: 17028.543 PropClause: 16568.449 Set: 3486.047 Check: 0.0 Back: 468.464
INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 18222341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.731 Prop: 17060.014 PropClause: 16599.071 Set: 3492.21 Check: 0.0 Back: 469.334
INFO - Atoms: 34577/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 18256917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.738 Prop: 17089.226 PropClause: 16627.447 Set: 3498.42 Check: 0.0 Back: 470.236
INFO - Atoms: 34576/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 18291495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.746 Prop: 17119.821 PropClause: 16657.192 Set: 3504.788 Check: 0.0 Back: 471.117
INFO - Atoms: 34578/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 18325945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.753 Prop: 17148.67 PropClause: 16685.203 Set: 3511.016 Check: 0.0 Back: 472.005
INFO - Atoms: 34450/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 18360394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.769 Prop: 17178.92 PropClause: 16714.598 Set: 3517.219 Check: 0.0 Back: 472.894
INFO - Atoms: 34449/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 18394692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.776 Prop: 17208.977 PropClause: 16743.821 Set: 3523.407 Check: 0.0 Back: 473.771
INFO - Atoms: 34298/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 75934 Tprops: 18526 Decides: 84671 RSplits: 0
INFO - Times: Expl: 383.138 Prop: 44180.782 PropClause: 33.352 Set: 14899.812 Check: 398.487 Back: 412.813
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 869438 eq 49065072 cc 207681456 setRep 94559297
INFO - Merges: 658431, cc:1252268
INFO - BVTimes: BB 217165491 BB_DPLL 39199337363 Graph 2144908
INFO - BitBlastingClauses: 552130 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 18429111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.783 Prop: 17239.909 PropClause: 16773.92 Set: 3529.33 Check: 0.0 Back: 474.654
INFO - Atoms: 34419/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 18463529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.789 Prop: 17268.63 PropClause: 16801.803 Set: 3535.488 Check: 0.0 Back: 475.535
INFO - Atoms: 34418/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 18497948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.796 Prop: 17295.965 PropClause: 16828.3 Set: 3541.44 Check: 0.0 Back: 476.406
INFO - Atoms: 34419/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 18548361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.805 Prop: 17352.412 PropClause: 16883.312 Set: 3554.004 Check: 0.0 Back: 477.286
INFO - Atoms: 50413/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 18598905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.817 Prop: 17428.203 PropClause: 16957.661 Set: 3566.772 Check: 0.0 Back: 478.561
INFO - Atoms: 50544/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 18633334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.826 Prop: 17475.699 PropClause: 17004.259 Set: 3573.283 Check: 0.0 Back: 479.836
INFO - Atoms: 34429/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 18667524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.833 Prop: 17505.178 PropClause: 17032.909 Set: 3579.158 Check: 0.0 Back: 480.711
INFO - Atoms: 34190/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 18701584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.839 Prop: 17534.006 PropClause: 17060.908 Set: 3585.017 Check: 0.0 Back: 481.58
INFO - Atoms: 34060/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 18735512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.847 Prop: 17563.92 PropClause: 17089.993 Set: 3590.877 Check: 0.0 Back: 482.453
INFO - Atoms: 33928/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 18753238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.916 Prop: 17586.094 PropClause: 17111.662 Set: 3597.274 Check: 0.0 Back: 483.316
INFO - Atoms: 17726/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 18771095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.982 Prop: 17593.432 PropClause: 17118.567 Set: 3599.896 Check: 0.0 Back: 483.772
INFO - Atoms: 17857/50560 Clauses: 773 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1011 Props: 19619580 Tprops: 0 Decides: 937 RSplits: 0
INFO - Times: Expl: 682.071 Prop: 18120.524 PropClause: 17623.063 Set: 3622.427 Check: 0.029 Back: 504.073
INFO - Atoms: 16709/50560 Clauses: 1272 Axioms: 166130
INFO - Restart
INFO - Confl: 1511 Props: 20953774 Tprops: 0 Decides: 1541 RSplits: 0
INFO - Times: Expl: 2549.668 Prop: 19025.04 PropClause: 18493.196 Set: 3660.708 Check: 0.058 Back: 535.023
INFO - Atoms: 16709/50560 Clauses: 1772 Axioms: 166130
INFO - Restart
INFO - Confl: 2511 Props: 23407540 Tprops: 0 Decides: 3146 RSplits: 0
INFO - Times: Expl: 5120.54 Prop: 20703.679 PropClause: 20109.065 Set: 3718.78 Check: 0.133 Back: 591.563
INFO - Atoms: 16709/50560 Clauses: 2772 Axioms: 166130
INFO - Restart
INFO - Confl: 3011 Props: 23951411 Tprops: 0 Decides: 4287 RSplits: 0
INFO - Times: Expl: 5482.626 Prop: 21023.824 PropClause: 20414.249 Set: 3731.987 Check: 0.164 Back: 604.537
INFO - Atoms: 16709/50560 Clauses: 3272 Axioms: 166130
INFO - Restart
INFO - Confl: 3511 Props: 24688000 Tprops: 0 Decides: 5291 RSplits: 0
INFO - Times: Expl: 7039.862 Prop: 21432.002 PropClause: 20803.771 Set: 3749.205 Check: 0.197 Back: 621.48
INFO - Atoms: 16709/50560 Clauses: 3772 Axioms: 166130
INFO - Restart
INFO - Confl: 4511 Props: 26120851 Tprops: 0 Decides: 6788 RSplits: 0
INFO - Times: Expl: 7636.082 Prop: 22023.753 PropClause: 21359.903 Set: 3782.324 Check: 0.239 Back: 654.067
INFO - Atoms: 16709/50560 Clauses: 4772 Axioms: 166130
INFO - Restart
INFO - Confl: 6511 Props: 29016175 Tprops: 0 Decides: 10741 RSplits: 0
INFO - Times: Expl: 9850.364 Prop: 23629.152 PropClause: 22890.682 Set: 3850.529 Check: 0.373 Back: 721.029
INFO - Atoms: 16709/50560 Clauses: 6772 Axioms: 166130
INFO - Restart
INFO - Confl: 7011 Props: 29770962 Tprops: 0 Decides: 11976 RSplits: 0
INFO - Times: Expl: 10213.187 Prop: 24008.679 PropClause: 23251.242 Set: 3868.158 Check: 0.406 Back: 738.318
INFO - Atoms: 16709/50560 Clauses: 7272 Axioms: 166130
INFO - Restart
INFO - Confl: 7511 Props: 30400585 Tprops: 0 Decides: 12882 RSplits: 0
INFO - Times: Expl: 10596.366 Prop: 24338.001 PropClause: 23564.773 Set: 3882.809 Check: 0.436 Back: 752.732
INFO - Atoms: 16709/50560 Clauses: 7772 Axioms: 166130
INFO - Restart
INFO - Confl: 8511 Props: 31967075 Tprops: 0 Decides: 15375 RSplits: 0
INFO - Times: Expl: 11099.003 Prop: 25254.894 PropClause: 24442.335 Set: 3919.394 Check: 0.507 Back: 788.905
INFO - Atoms: 16710/50560 Clauses: 8772 Axioms: 166130
INFO - Confl: 8676 Props: 32207711 Tprops: 0 Decides: 15759 RSplits: 0
INFO - Times: Expl: 11176.453 Prop: 25410.341 PropClause: 24591.75 Set: 3925.332 Check: 0.519 Back: 794.399
INFO - Atoms: 18562/50560 Clauses: 8937 Axioms: 166130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 519 Props: 82588 Tprops: 20325 Decides: 85465 RSplits: 0
INFO - Times: Expl: 392.527 Prop: 65052.541 PropClause: 36.183 Set: 15563.75 Check: 405.097 Back: 427.847
INFO - Atoms: 908/1158 Clauses: 519 Axioms: 1158
INFO - CCTimes: iE 882312 eq 50835175 cc 212178922 setRep 96259632
INFO - Merges: 667895, cc:1299109
INFO - BVTimes: BB 217165491 BB_DPLL 59853259640 Graph 2164107
INFO - BitBlastingClauses: 561394 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat