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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 232872303
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 55067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.646 Prop: 105.915 PropClause: 102.42 Set: 32.779 Check: 0.0 Back: 0.0
INFO - Atoms: 55067/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 109690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.675 Prop: 199.965 PropClause: 193.157 Set: 84.779 Check: 0.0 Back: 1.421
INFO - Atoms: 54623/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 163983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.754 Prop: 284.143 PropClause: 274.798 Set: 98.137 Check: 0.0 Back: 2.861
INFO - Atoms: 54293/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 218276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.804 Prop: 364.289 PropClause: 352.516 Set: 111.116 Check: 0.0 Back: 4.237
INFO - Atoms: 54293/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 272569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.847 Prop: 441.351 PropClause: 427.076 Set: 123.869 Check: 0.0 Back: 5.602
INFO - Atoms: 54293/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 326857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.933 Prop: 507.839 PropClause: 491.61 Set: 140.883 Check: 0.0 Back: 7.006
INFO - Atoms: 54288/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 380922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.026 Prop: 571.188 PropClause: 553.395 Set: 151.172 Check: 0.0 Back: 8.397
INFO - Atoms: 54065/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 434759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.113 Prop: 645.398 PropClause: 625.911 Set: 165.409 Check: 0.0 Back: 9.695
INFO - Atoms: 53837/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 488370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.169 Prop: 721.454 PropClause: 700.318 Set: 179.32 Check: 0.0 Back: 11.099
INFO - Atoms: 53611/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 541769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.222 Prop: 796.246 PropClause: 773.459 Set: 192.95 Check: 0.0 Back: 12.501
INFO - Atoms: 53399/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 594926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.27 Prop: 871.826 PropClause: 847.408 Set: 206.698 Check: 0.0 Back: 13.907
INFO - Atoms: 53157/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 647870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.331 Prop: 953.753 PropClause: 927.686 Set: 219.642 Check: 0.0 Back: 15.291
INFO - Atoms: 52944/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 700573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.38 Prop: 1018.043 PropClause: 990.493 Set: 235.359 Check: 0.0 Back: 16.672
INFO - Atoms: 52703/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 753048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.452 Prop: 1077.511 PropClause: 1048.484 Set: 250.906 Check: 0.0 Back: 17.914
INFO - Atoms: 52475/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 805297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.496 Prop: 1138.436 PropClause: 1107.943 Set: 266.445 Check: 0.0 Back: 19.134
INFO - Atoms: 52249/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 857335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.57 Prop: 1196.489 PropClause: 1164.533 Set: 276.254 Check: 0.0 Back: 20.474
INFO - Atoms: 52038/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 909130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.618 Prop: 1254.01 PropClause: 1220.596 Set: 286.167 Check: 0.0 Back: 21.802
INFO - Atoms: 51795/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 960712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.667 Prop: 1314.264 PropClause: 1279.385 Set: 295.978 Check: 0.0 Back: 23.049
INFO - Atoms: 51582/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1012053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.712 Prop: 1371.508 PropClause: 1335.177 Set: 305.754 Check: 0.0 Back: 24.279
INFO - Atoms: 51341/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1063166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.757 Prop: 1427.484 PropClause: 1389.715 Set: 315.32 Check: 0.0 Back: 25.503
INFO - Atoms: 51113/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1114053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.802 Prop: 1479.194 PropClause: 1439.989 Set: 324.84 Check: 0.0 Back: 26.702
INFO - Atoms: 50887/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1164712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.847 Prop: 1536.167 PropClause: 1495.534 Set: 334.428 Check: 0.0 Back: 27.914
INFO - Atoms: 50659/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1215145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.893 Prop: 1591.397 PropClause: 1549.343 Set: 343.866 Check: 0.0 Back: 29.114
INFO - Atoms: 50433/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1265350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.935 Prop: 1648.677 PropClause: 1605.205 Set: 353.162 Check: 0.0 Back: 30.303
INFO - Atoms: 50205/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1315329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.983 Prop: 1703.999 PropClause: 1659.126 Set: 362.567 Check: 0.0 Back: 31.489
INFO - Atoms: 49979/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1365080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.031 Prop: 1760.223 PropClause: 1713.949 Set: 371.801 Check: 0.0 Back: 32.668
INFO - Atoms: 49751/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1414605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.08 Prop: 1817.52 PropClause: 1769.854 Set: 381.216 Check: 0.0 Back: 33.83
INFO - Atoms: 49525/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1463902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.124 Prop: 1870.839 PropClause: 1821.787 Set: 390.4 Check: 0.0 Back: 35.01
INFO - Atoms: 49297/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1512973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.172 Prop: 1923.62 PropClause: 1873.196 Set: 404.716 Check: 0.0 Back: 36.163
INFO - Atoms: 49071/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1561832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.216 Prop: 1979.818 PropClause: 1928.031 Set: 418.287 Check: 0.0 Back: 37.313
INFO - Atoms: 48859/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1610449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.262 Prop: 2035.372 PropClause: 1982.238 Set: 432.249 Check: 0.0 Back: 38.486
INFO - Atoms: 48617/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1658838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.304 Prop: 2087.654 PropClause: 2033.162 Set: 445.642 Check: 0.0 Back: 39.647
INFO - Atoms: 48389/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1707001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.345 Prop: 2140.265 PropClause: 2084.398 Set: 459.018 Check: 0.0 Back: 40.807
INFO - Atoms: 48163/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1754936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.39 Prop: 2191.68 PropClause: 2134.469 Set: 472.319 Check: 0.0 Back: 41.946
INFO - Atoms: 47935/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1802645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.435 Prop: 2243.457 PropClause: 2184.905 Set: 485.709 Check: 0.0 Back: 43.089
INFO - Atoms: 47709/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1850126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.478 Prop: 2292.386 PropClause: 2232.499 Set: 494.425 Check: 0.0 Back: 44.228
INFO - Atoms: 47481/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1897381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.518 Prop: 2342.856 PropClause: 2281.625 Set: 503.157 Check: 0.0 Back: 45.367
INFO - Atoms: 47255/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1944424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.559 Prop: 2392.29 PropClause: 2329.735 Set: 511.768 Check: 0.0 Back: 46.488
INFO - Atoms: 47043/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1991225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.597 Prop: 2442.712 PropClause: 2378.847 Set: 520.458 Check: 0.0 Back: 47.603
INFO - Atoms: 46801/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2037814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.648 Prop: 2504.417 PropClause: 2439.097 Set: 531.276 Check: 0.0 Back: 48.708
INFO - Atoms: 46589/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2084161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.687 Prop: 2554.235 PropClause: 2487.611 Set: 539.753 Check: 0.0 Back: 49.813
INFO - Atoms: 46347/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2130295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.738 Prop: 2598.037 PropClause: 2530.11 Set: 548.026 Check: 0.0 Back: 50.914
INFO - Atoms: 46134/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2176188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.781 Prop: 2644.737 PropClause: 2575.523 Set: 556.256 Check: 0.0 Back: 52.028
INFO - Atoms: 45893/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2221853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.82 Prop: 2691.378 PropClause: 2620.889 Set: 564.473 Check: 0.0 Back: 53.131
INFO - Atoms: 45665/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2267292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.859 Prop: 2738.757 PropClause: 2666.993 Set: 572.77 Check: 0.0 Back: 54.224
INFO - Atoms: 45439/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2312519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.9 Prop: 2785.335 PropClause: 2712.299 Set: 580.994 Check: 0.0 Back: 55.3
INFO - Atoms: 45227/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2357504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.947 Prop: 2832.595 PropClause: 2758.289 Set: 589.48 Check: 0.0 Back: 56.42
INFO - Atoms: 44985/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2402276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.991 Prop: 2877.861 PropClause: 2802.3 Set: 597.66 Check: 0.0 Back: 57.5
INFO - Atoms: 44772/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2446807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.032 Prop: 2923.675 PropClause: 2846.866 Set: 605.893 Check: 0.0 Back: 58.594
INFO - Atoms: 44531/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2491125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.074 Prop: 2970.02 PropClause: 2891.967 Set: 614.029 Check: 0.0 Back: 59.661
INFO - Atoms: 44318/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2535202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.117 Prop: 3014.239 PropClause: 2934.946 Set: 621.967 Check: 0.0 Back: 60.73
INFO - Atoms: 44077/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2579067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.262 Prop: 3060.445 PropClause: 2979.915 Set: 629.923 Check: 0.0 Back: 61.785
INFO - Atoms: 43865/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2622690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.283 Prop: 3104.783 PropClause: 3023.015 Set: 637.877 Check: 0.0 Back: 62.836
INFO - Atoms: 43623/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2666085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.304 Prop: 3150.039 PropClause: 3067.046 Set: 645.693 Check: 0.0 Back: 63.888
INFO - Atoms: 43395/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2709254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.324 Prop: 3188.822 PropClause: 3104.62 Set: 653.507 Check: 0.0 Back: 64.919
INFO - Atoms: 43169/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2752212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.344 Prop: 3231.774 PropClause: 3146.383 Set: 661.171 Check: 0.0 Back: 65.957
INFO - Atoms: 42958/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2794927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.362 Prop: 3272.49 PropClause: 3185.906 Set: 668.839 Check: 0.0 Back: 66.969
INFO - Atoms: 42715/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2837414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.381 Prop: 3314.066 PropClause: 3226.304 Set: 676.365 Check: 0.0 Back: 67.982
INFO - Atoms: 42487/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 2879675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.401 Prop: 3355.297 PropClause: 3266.36 Set: 683.827 Check: 0.0 Back: 68.982
INFO - Atoms: 42261/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 2921708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.42 Prop: 3397.059 PropClause: 3306.959 Set: 691.344 Check: 0.0 Back: 69.975
INFO - Atoms: 42033/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 2963515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 3438.467 PropClause: 3347.198 Set: 698.773 Check: 0.0 Back: 70.977
INFO - Atoms: 41807/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3005094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.46 Prop: 3476.494 PropClause: 3384.064 Set: 705.989 Check: 0.0 Back: 71.972
INFO - Atoms: 41579/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3046447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.48 Prop: 3515.697 PropClause: 3422.123 Set: 713.351 Check: 0.0 Back: 72.968
INFO - Atoms: 41353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3087572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.498 Prop: 3553.517 PropClause: 3458.804 Set: 720.583 Check: 0.0 Back: 73.958
INFO - Atoms: 41125/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3128471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.52 Prop: 3594.754 PropClause: 3498.911 Set: 727.927 Check: 0.0 Back: 74.951
INFO - Atoms: 40899/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3169142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.541 Prop: 3638.479 PropClause: 3541.502 Set: 735.185 Check: 0.0 Back: 75.936
INFO - Atoms: 40671/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3209587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.563 Prop: 3676.681 PropClause: 3578.565 Set: 742.464 Check: 0.0 Back: 76.925
INFO - Atoms: 40445/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3249820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.587 Prop: 3717.137 PropClause: 3617.881 Set: 753.511 Check: 0.0 Back: 77.906
INFO - Atoms: 40233/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 3289811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.608 Prop: 3754.714 PropClause: 3654.336 Set: 764.23 Check: 0.0 Back: 78.888
INFO - Atoms: 39991/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 3329574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.627 Prop: 3793.426 PropClause: 3691.933 Set: 774.58 Check: 0.0 Back: 79.849
INFO - Atoms: 39763/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 3369111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.646 Prop: 3833.423 PropClause: 3730.823 Set: 785.131 Check: 0.0 Back: 80.803
INFO - Atoms: 39537/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3408420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.669 Prop: 3870.799 PropClause: 3767.096 Set: 811.822 Check: 0.0 Back: 81.783
INFO - Atoms: 39309/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3447503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.69 Prop: 3907.752 PropClause: 3802.956 Set: 818.887 Check: 0.0 Back: 82.729
INFO - Atoms: 39083/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3486358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.709 Prop: 3945.503 PropClause: 3839.613 Set: 825.879 Check: 0.0 Back: 83.677
INFO - Atoms: 38855/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3524987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.729 Prop: 3982.684 PropClause: 3875.703 Set: 832.832 Check: 0.0 Back: 84.628
INFO - Atoms: 38629/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3563388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.753 Prop: 4022.752 PropClause: 3914.591 Set: 841.691 Check: 0.0 Back: 85.572
INFO - Atoms: 38401/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3601563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.776 Prop: 4060.35 PropClause: 3951.113 Set: 848.522 Check: 0.0 Back: 86.583
INFO - Atoms: 38175/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 3639526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.797 Prop: 4094.867 PropClause: 3984.551 Set: 855.187 Check: 0.0 Back: 87.524
INFO - Atoms: 37963/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 3677247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.815 Prop: 4129.318 PropClause: 4017.938 Set: 861.909 Check: 0.0 Back: 88.433
INFO - Atoms: 37721/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 3714756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.834 Prop: 4163.445 PropClause: 4051.013 Set: 868.52 Check: 0.0 Back: 89.363
INFO - Atoms: 37509/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 3752023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.854 Prop: 4197.276 PropClause: 4083.795 Set: 875.149 Check: 0.0 Back: 90.297
INFO - Atoms: 37267/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 3789077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.871 Prop: 4230.576 PropClause: 4116.055 Set: 881.637 Check: 0.0 Back: 91.211
INFO - Atoms: 37054/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 3825890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.891 Prop: 4263.98 PropClause: 4148.427 Set: 888.153 Check: 0.0 Back: 92.132
INFO - Atoms: 36813/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 3864039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.917 Prop: 4306.095 PropClause: 4189.396 Set: 896.195 Check: 0.0 Back: 93.034
INFO - Atoms: 38149/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 3902211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.944 Prop: 4344.139 PropClause: 4226.364 Set: 903.203 Check: 0.0 Back: 93.965
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 3939697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.971 Prop: 4384.858 PropClause: 4265.922 Set: 912.414 Check: 0.0 Back: 94.906
INFO - Atoms: 37486/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 3977869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.994 Prop: 4429.392 PropClause: 4309.28 Set: 921.919 Check: 0.0 Back: 95.872
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4016021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.02 Prop: 4470.351 PropClause: 4349.055 Set: 931.448 Check: 0.0 Back: 96.873
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 4054397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.047 Prop: 4512.498 PropClause: 4390.023 Set: 940.687 Check: 0.0 Back: 97.89
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 4092747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.076 Prop: 4556.161 PropClause: 4432.51 Set: 949.965 Check: 0.0 Back: 98.873
INFO - Atoms: 38350/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 4130901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.102 Prop: 4597.155 PropClause: 4472.329 Set: 959.064 Check: 0.0 Back: 99.882
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 4168390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.2 Prop: 4641.716 PropClause: 4515.715 Set: 968.044 Check: 0.0 Back: 100.882
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 4206562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.254 Prop: 4674.476 PropClause: 4547.396 Set: 974.967 Check: 0.0 Back: 101.861
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 4244915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.321 Prop: 4708.808 PropClause: 4580.654 Set: 981.89 Check: 0.0 Back: 102.795
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 4283289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 4745.296 PropClause: 4616.058 Set: 988.831 Check: 0.0 Back: 103.72
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 4321642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.444 Prop: 4781.342 PropClause: 4651.028 Set: 995.827 Check: 0.0 Back: 104.654
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 4359796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.525 Prop: 4815.903 PropClause: 4684.52 Set: 1002.786 Check: 0.0 Back: 105.567
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 4397285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.577 Prop: 4848.977 PropClause: 4716.542 Set: 1009.329 Check: 0.0 Back: 106.49
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 4435457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 4883.703 PropClause: 4750.195 Set: 1016.276 Check: 0.0 Back: 107.393
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 4473810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.636 Prop: 4917.757 PropClause: 4783.171 Set: 1023.207 Check: 0.0 Back: 108.325
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 4512184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.655 Prop: 4956.916 PropClause: 4821.163 Set: 1031.046 Check: 0.0 Back: 109.261
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 4550536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.673 Prop: 4995.566 PropClause: 4858.721 Set: 1038.131 Check: 0.0 Back: 110.192
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 4588690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.689 Prop: 5029.708 PropClause: 4891.792 Set: 1045.047 Check: 0.0 Back: 111.133
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 4626196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.707 Prop: 5066.422 PropClause: 4927.455 Set: 1051.791 Check: 0.0 Back: 112.058
INFO - Atoms: 37506/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 4664368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.723 Prop: 5099.998 PropClause: 4959.957 Set: 1058.74 Check: 0.0 Back: 113.005
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 4702721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.739 Prop: 5135.643 PropClause: 4994.525 Set: 1065.713 Check: 0.0 Back: 113.937
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 4741097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.755 Prop: 5171.677 PropClause: 5029.485 Set: 1072.739 Check: 0.0 Back: 114.87
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 4779449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.826 Prop: 5208.246 PropClause: 5064.972 Set: 1079.728 Check: 0.0 Back: 115.811
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 4817603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.889 Prop: 5243.211 PropClause: 5098.873 Set: 1086.655 Check: 0.0 Back: 116.74
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 4855107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.905 Prop: 5278.893 PropClause: 5133.508 Set: 1093.327 Check: 0.0 Back: 117.653
INFO - Atoms: 37504/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 4893279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.921 Prop: 5314.001 PropClause: 5167.546 Set: 1100.297 Check: 0.0 Back: 118.573
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 4931632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.937 Prop: 5350.739 PropClause: 5203.213 Set: 1107.274 Check: 0.0 Back: 119.499
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 4970006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.952 Prop: 5383.6 PropClause: 5235.0 Set: 1114.265 Check: 0.0 Back: 120.434
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 5008359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.968 Prop: 5419.983 PropClause: 5270.307 Set: 1121.203 Check: 0.0 Back: 121.37
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 5046513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 5455.026 PropClause: 5304.276 Set: 1128.096 Check: 0.0 Back: 122.303
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 5084017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.002 Prop: 5499.565 PropClause: 5347.659 Set: 1137.0 Check: 0.0 Back: 123.231
INFO - Atoms: 37504/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 5122189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.018 Prop: 5542.135 PropClause: 5389.024 Set: 1145.66 Check: 0.0 Back: 124.192
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 5160542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 5578.475 PropClause: 5424.285 Set: 1152.656 Check: 0.0 Back: 125.217
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 5198916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.076 Prop: 5613.289 PropClause: 5458.011 Set: 1159.676 Check: 0.0 Back: 126.158
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 5237269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.087 Prop: 5649.696 PropClause: 5493.333 Set: 1166.726 Check: 0.0 Back: 127.106
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 5275423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.096 Prop: 5685.582 PropClause: 5528.142 Set: 1173.676 Check: 0.0 Back: 128.04
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 5312927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.106 Prop: 5721.753 PropClause: 5563.261 Set: 1180.448 Check: 0.0 Back: 128.987
INFO - Atoms: 37504/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 5351099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.116 Prop: 5757.053 PropClause: 5597.472 Set: 1187.501 Check: 0.0 Back: 129.907
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 5389452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.126 Prop: 5789.947 PropClause: 5629.29 Set: 1194.39 Check: 0.0 Back: 130.846
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 5427828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.135 Prop: 5825.21 PropClause: 5663.482 Set: 1201.415 Check: 0.0 Back: 131.777
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 5466181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.145 Prop: 5860.598 PropClause: 5697.782 Set: 1208.415 Check: 0.0 Back: 132.728
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 5504335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.155 Prop: 5895.122 PropClause: 5731.236 Set: 1215.598 Check: 0.0 Back: 133.661
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 5541824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.165 Prop: 5929.851 PropClause: 5764.887 Set: 1222.287 Check: 0.0 Back: 134.585
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 5579996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.175 Prop: 5963.373 PropClause: 5797.324 Set: 1229.218 Check: 0.0 Back: 135.49
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 5618349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.183 Prop: 5998.902 PropClause: 5831.778 Set: 1236.202 Check: 0.0 Back: 136.408
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 5656725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.192 Prop: 6031.997 PropClause: 5863.791 Set: 1243.157 Check: 0.0 Back: 137.338
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 5695078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 6066.634 PropClause: 5897.353 Set: 1250.181 Check: 0.0 Back: 138.31
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 5733232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.209 Prop: 6101.269 PropClause: 5930.904 Set: 1257.088 Check: 0.0 Back: 139.24
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 5770737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.217 Prop: 6137.702 PropClause: 5966.283 Set: 1263.857 Check: 0.0 Back: 140.176
INFO - Atoms: 37505/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 5808909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.227 Prop: 6172.325 PropClause: 5999.805 Set: 1270.779 Check: 0.0 Back: 141.083
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 5847262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.236 Prop: 6205.359 PropClause: 6031.757 Set: 1277.588 Check: 0.0 Back: 142.002
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 5885638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.247 Prop: 6239.134 PropClause: 6064.448 Set: 1284.575 Check: 0.0 Back: 142.953
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 5923991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.258 Prop: 6273.215 PropClause: 6097.461 Set: 1291.545 Check: 0.0 Back: 143.919
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 5962145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.269 Prop: 6306.055 PropClause: 6129.233 Set: 1298.27 Check: 0.0 Back: 144.846
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 5999634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.279 Prop: 6339.581 PropClause: 6161.708 Set: 1304.99 Check: 0.0 Back: 145.776
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 6037806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.289 Prop: 6373.091 PropClause: 6194.15 Set: 1311.916 Check: 0.0 Back: 146.7
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 6076159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.298 Prop: 6406.452 PropClause: 6226.437 Set: 1318.707 Check: 0.0 Back: 147.623
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 6114535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.306 Prop: 6442.016 PropClause: 6260.925 Set: 1325.706 Check: 0.0 Back: 148.555
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 6152887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.318 Prop: 6476.57 PropClause: 6294.408 Set: 1332.684 Check: 0.0 Back: 149.485
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 6191041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.331 Prop: 6510.606 PropClause: 6327.378 Set: 1339.607 Check: 0.0 Back: 150.421
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 6228530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.342 Prop: 6542.655 PropClause: 6358.369 Set: 1346.3 Check: 0.0 Back: 151.344
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 6266702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.353 Prop: 6575.085 PropClause: 6389.724 Set: 1353.152 Check: 0.0 Back: 152.256
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 6305055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.362 Prop: 6610.778 PropClause: 6424.343 Set: 1360.145 Check: 0.0 Back: 153.184
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 6343431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.374 Prop: 6644.363 PropClause: 6456.841 Set: 1367.03 Check: 0.0 Back: 154.119
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 6381784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.385 Prop: 6680.148 PropClause: 6491.541 Set: 1373.923 Check: 0.0 Back: 155.042
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 6419938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.396 Prop: 6712.195 PropClause: 6522.526 Set: 1380.765 Check: 0.0 Back: 155.965
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 6457427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 6746.61 PropClause: 6555.885 Set: 1387.497 Check: 0.0 Back: 156.884
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 6495599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.418 Prop: 6778.795 PropClause: 6586.994 Set: 1394.404 Check: 0.0 Back: 157.802
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 6533952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.429 Prop: 6813.664 PropClause: 6620.788 Set: 1401.392 Check: 0.0 Back: 158.73
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 6572326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.44 Prop: 6850.18 PropClause: 6656.23 Set: 1408.495 Check: 0.0 Back: 159.662
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 6610679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.45 Prop: 6885.266 PropClause: 6690.234 Set: 1415.452 Check: 0.0 Back: 160.592
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 6648833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.459 Prop: 6920.165 PropClause: 6724.055 Set: 1422.398 Check: 0.0 Back: 161.524
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 6686322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.467 Prop: 6952.73 PropClause: 6755.566 Set: 1429.086 Check: 0.0 Back: 162.434
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 6724494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.477 Prop: 6986.73 PropClause: 6788.498 Set: 1436.013 Check: 0.0 Back: 163.346
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 6762847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.487 Prop: 7020.025 PropClause: 6820.715 Set: 1442.921 Check: 0.0 Back: 164.267
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 6801223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.496 Prop: 7053.983 PropClause: 6853.599 Set: 1449.901 Check: 0.0 Back: 165.209
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 6839576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.505 Prop: 7089.869 PropClause: 6888.396 Set: 1456.799 Check: 0.0 Back: 166.14
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 6877730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.513 Prop: 7124.35 PropClause: 6921.803 Set: 1463.799 Check: 0.0 Back: 167.066
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 6915219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.522 Prop: 7159.119 PropClause: 6955.515 Set: 1470.555 Check: 0.0 Back: 168.001
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 6953391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.533 Prop: 7193.253 PropClause: 6988.581 Set: 1477.528 Check: 0.0 Back: 168.905
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 6991744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.542 Prop: 7228.179 PropClause: 7022.446 Set: 1484.554 Check: 0.0 Back: 169.841
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 7030120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.553 Prop: 7264.596 PropClause: 7057.796 Set: 1491.629 Check: 0.0 Back: 170.765
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 7068472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.578 Prop: 7298.94 PropClause: 7091.059 Set: 1498.565 Check: 0.0 Back: 171.707
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 7106626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.588 Prop: 7333.066 PropClause: 7124.112 Set: 1505.513 Check: 0.0 Back: 172.642
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 7144115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.597 Prop: 7367.117 PropClause: 7157.111 Set: 1512.252 Check: 0.0 Back: 173.563
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 7182287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.606 Prop: 7400.547 PropClause: 7189.469 Set: 1519.185 Check: 0.0 Back: 174.468
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 7220640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.616 Prop: 7438.02 PropClause: 7225.863 Set: 1526.21 Check: 0.0 Back: 175.382
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 7259016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.626 Prop: 7474.222 PropClause: 7260.985 Set: 1533.292 Check: 0.0 Back: 176.317
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 7297368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.636 Prop: 7511.712 PropClause: 7297.38 Set: 1540.453 Check: 0.0 Back: 177.241
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 7335522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.646 Prop: 7548.938 PropClause: 7333.528 Set: 1547.518 Check: 0.0 Back: 178.165
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 7373028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.656 Prop: 7585.804 PropClause: 7369.349 Set: 1554.464 Check: 0.0 Back: 179.095
INFO - Atoms: 37506/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 7411200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.665 Prop: 7619.713 PropClause: 7402.185 Set: 1561.575 Check: 0.0 Back: 180.021
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 7449553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.674 Prop: 7654.082 PropClause: 7435.468 Set: 1568.666 Check: 0.0 Back: 180.96
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 7487927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.684 Prop: 7690.68 PropClause: 7470.988 Set: 1575.657 Check: 0.0 Back: 181.89
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 7526279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.694 Prop: 7726.133 PropClause: 7505.361 Set: 1582.698 Check: 0.0 Back: 182.819
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 7564433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.703 Prop: 7762.495 PropClause: 7540.647 Set: 1589.736 Check: 0.0 Back: 183.754
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 7601922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.711 Prop: 7795.753 PropClause: 7572.849 Set: 1596.559 Check: 0.0 Back: 184.691
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 7640094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.721 Prop: 7831.579 PropClause: 7607.599 Set: 1603.635 Check: 0.0 Back: 185.6
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 7678447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.731 Prop: 7867.941 PropClause: 7642.882 Set: 1610.786 Check: 0.0 Back: 186.528
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 7716821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.741 Prop: 7903.161 PropClause: 7677.026 Set: 1617.892 Check: 0.0 Back: 187.461
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 7755174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.752 Prop: 7939.56 PropClause: 7712.339 Set: 1625.042 Check: 0.0 Back: 188.4
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 7793328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.761 Prop: 7974.502 PropClause: 7746.207 Set: 1632.005 Check: 0.0 Back: 189.321
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 7830817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.771 Prop: 8011.742 PropClause: 7782.399 Set: 1638.927 Check: 0.0 Back: 190.255
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 7868989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.779 Prop: 8046.673 PropClause: 7816.262 Set: 1645.977 Check: 0.0 Back: 191.163
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 7907342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.788 Prop: 8082.981 PropClause: 7851.49 Set: 1653.071 Check: 0.0 Back: 192.082
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 7945716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.796 Prop: 8117.346 PropClause: 7884.774 Set: 1660.191 Check: 0.0 Back: 193.01
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 7984068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.804 Prop: 8154.452 PropClause: 7920.805 Set: 1667.327 Check: 0.0 Back: 193.954
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 8022222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.816 Prop: 8188.992 PropClause: 7954.27 Set: 1674.341 Check: 0.0 Back: 194.882
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 8059727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.825 Prop: 8223.836 PropClause: 7988.047 Set: 1681.095 Check: 0.0 Back: 195.804
INFO - Atoms: 37505/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 8097899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.836 Prop: 8260.362 PropClause: 8023.498 Set: 1688.125 Check: 0.0 Back: 196.707
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 8136252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.846 Prop: 8296.116 PropClause: 8058.172 Set: 1695.248 Check: 0.0 Back: 197.628
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 8174628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.855 Prop: 8333.327 PropClause: 8094.303 Set: 1702.424 Check: 0.0 Back: 198.58
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 8212980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.864 Prop: 8369.164 PropClause: 8129.05 Set: 1709.571 Check: 0.0 Back: 199.508
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 8251134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.872 Prop: 8406.33 PropClause: 8165.143 Set: 1716.637 Check: 0.0 Back: 200.437
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 8288623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.883 Prop: 8443.441 PropClause: 8201.198 Set: 1723.589 Check: 0.0 Back: 201.365
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 8326795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.892 Prop: 8478.654 PropClause: 8235.337 Set: 1730.613 Check: 0.0 Back: 202.274
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 8365148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.901 Prop: 8515.661 PropClause: 8271.254 Set: 1737.802 Check: 0.0 Back: 203.197
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 8403522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.909 Prop: 8550.093 PropClause: 8304.595 Set: 1744.963 Check: 0.0 Back: 204.129
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 8441874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.92 Prop: 8586.547 PropClause: 8339.97 Set: 1752.136 Check: 0.0 Back: 205.066
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 8480028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.929 Prop: 8625.392 PropClause: 8377.739 Set: 1759.266 Check: 0.0 Back: 205.988
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 8517517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.941 Prop: 8662.727 PropClause: 8414.008 Set: 1766.173 Check: 0.0 Back: 206.927
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 8555689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.95 Prop: 8700.965 PropClause: 8451.168 Set: 1773.364 Check: 0.0 Back: 207.843
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 8594042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.959 Prop: 8738.808 PropClause: 8487.931 Set: 1780.659 Check: 0.0 Back: 208.776
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 8632416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.969 Prop: 8777.61 PropClause: 8525.655 Set: 1787.874 Check: 0.0 Back: 209.705
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 8670768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.978 Prop: 8815.439 PropClause: 8562.403 Set: 1794.981 Check: 0.0 Back: 210.638
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 8708922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.985 Prop: 8854.275 PropClause: 8600.165 Set: 1802.069 Check: 0.0 Back: 211.566
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 8747311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.994 Prop: 8888.837 PropClause: 8633.647 Set: 1809.187 Check: 0.0 Back: 212.5
INFO - Atoms: 38389/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 8785463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.004 Prop: 8920.317 PropClause: 8664.055 Set: 1816.112 Check: 0.0 Back: 213.423
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 8823814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.014 Prop: 8958.912 PropClause: 8701.567 Set: 1823.266 Check: 0.0 Back: 214.359
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 8861304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.025 Prop: 8998.514 PropClause: 8740.114 Set: 1830.853 Check: 0.0 Back: 215.286
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 8899657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.035 Prop: 9029.532 PropClause: 8770.063 Set: 1837.907 Check: 0.0 Back: 216.227
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 8937829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.045 Prop: 9060.357 PropClause: 8799.814 Set: 1844.863 Check: 0.0 Back: 217.165
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 8976218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.055 Prop: 9096.61 PropClause: 8834.987 Set: 1852.001 Check: 0.0 Back: 218.104
INFO - Atoms: 38389/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 9014370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.064 Prop: 9132.198 PropClause: 8869.502 Set: 1859.051 Check: 0.0 Back: 219.036
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 9052721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.073 Prop: 9166.581 PropClause: 8902.798 Set: 1866.117 Check: 0.0 Back: 219.972
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 9090211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.082 Prop: 9198.759 PropClause: 8933.922 Set: 1872.884 Check: 0.0 Back: 220.909
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 9128561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.091 Prop: 9234.399 PropClause: 8968.469 Set: 1879.95 Check: 0.0 Back: 221.81
INFO - Atoms: 38350/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 9166736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.1 Prop: 9269.545 PropClause: 9002.537 Set: 1887.052 Check: 0.0 Back: 222.739
INFO - Atoms: 38175/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 9204225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.109 Prop: 9298.437 PropClause: 9030.375 Set: 1893.743 Check: 0.0 Back: 223.675
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 9242397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.118 Prop: 9331.326 PropClause: 9062.191 Set: 1900.72 Check: 0.0 Back: 224.593
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 9280750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.127 Prop: 9366.819 PropClause: 9096.605 Set: 1907.769 Check: 0.0 Back: 225.51
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 9319126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.137 Prop: 9403.065 PropClause: 9131.77 Set: 1914.858 Check: 0.0 Back: 226.424
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 9357477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.145 Prop: 9432.994 PropClause: 9160.618 Set: 1921.747 Check: 0.0 Back: 227.353
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 9395631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.154 Prop: 9464.033 PropClause: 9190.559 Set: 1928.6 Check: 0.0 Back: 228.293
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 9433120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.161 Prop: 9497.879 PropClause: 9223.357 Set: 1935.278 Check: 0.0 Back: 229.212
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 9471292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.171 Prop: 9529.451 PropClause: 9253.85 Set: 1942.152 Check: 0.0 Back: 230.129
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 9509645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.179 Prop: 9558.723 PropClause: 9282.046 Set: 1949.07 Check: 0.0 Back: 231.052
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 9548019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.186 Prop: 9592.024 PropClause: 9314.266 Set: 1955.967 Check: 0.0 Back: 231.982
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 9586372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.195 Prop: 9626.997 PropClause: 9348.16 Set: 1962.937 Check: 0.0 Back: 232.907
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 9624526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.204 Prop: 9655.428 PropClause: 9375.525 Set: 1969.679 Check: 0.0 Back: 233.832
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 9662015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.212 Prop: 9684.309 PropClause: 9403.356 Set: 1976.317 Check: 0.0 Back: 234.758
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 9700187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.221 Prop: 9717.784 PropClause: 9435.761 Set: 1983.241 Check: 0.0 Back: 235.67
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 9738540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.228 Prop: 9753.161 PropClause: 9470.063 Set: 1990.187 Check: 0.0 Back: 236.595
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 9776916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.236 Prop: 9781.857 PropClause: 9497.685 Set: 1997.072 Check: 0.0 Back: 237.519
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 9815269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.246 Prop: 9812.675 PropClause: 9527.423 Set: 2003.916 Check: 0.0 Back: 238.465
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 9853423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.255 Prop: 9847.258 PropClause: 9560.933 Set: 2010.83 Check: 0.0 Back: 239.38
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 9890912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.263 Prop: 9882.779 PropClause: 9595.4 Set: 2017.638 Check: 0.0 Back: 240.297
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 9929084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.273 Prop: 9911.665 PropClause: 9623.214 Set: 2024.468 Check: 0.0 Back: 241.2
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 9967437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.282 Prop: 9941.228 PropClause: 9651.702 Set: 2031.405 Check: 0.0 Back: 242.123
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 10005813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.292 Prop: 9976.683 PropClause: 9686.084 Set: 2038.513 Check: 0.0 Back: 243.044
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 10044166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.301 Prop: 10012.714 PropClause: 9721.032 Set: 2045.582 Check: 0.0 Back: 243.983
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 10082320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.309 Prop: 10042.226 PropClause: 9749.476 Set: 2052.467 Check: 0.0 Back: 244.904
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 10119809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.316 Prop: 10073.363 PropClause: 9779.554 Set: 2059.284 Check: 0.0 Back: 245.833
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 10157981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.324 Prop: 10108.673 PropClause: 9813.794 Set: 2066.29 Check: 0.0 Back: 246.733
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 10196334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.331 Prop: 10142.138 PropClause: 9846.185 Set: 2073.269 Check: 0.0 Back: 247.651
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 10234710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.34 Prop: 10173.143 PropClause: 9876.112 Set: 2080.238 Check: 0.0 Back: 248.582
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 10273063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.348 Prop: 10206.573 PropClause: 9908.456 Set: 2087.257 Check: 0.0 Back: 249.512
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 10311217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.355 Prop: 10242.982 PropClause: 9943.776 Set: 2094.245 Check: 0.0 Back: 250.42
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 10348706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.363 Prop: 10276.944 PropClause: 9976.684 Set: 2101.024 Check: 0.0 Back: 251.336
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 10386878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.373 Prop: 10308.099 PropClause: 10006.769 Set: 2108.066 Check: 0.0 Back: 252.246
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 10425231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.383 Prop: 10342.898 PropClause: 10040.454 Set: 2115.1 Check: 0.0 Back: 253.178
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 10463607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.393 Prop: 10378.117 PropClause: 10074.571 Set: 2122.047 Check: 0.0 Back: 254.128
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 10501959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.402 Prop: 10409.582 PropClause: 10104.964 Set: 2128.924 Check: 0.0 Back: 255.047
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 10540113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.412 Prop: 10441.519 PropClause: 10135.826 Set: 2146.922 Check: 0.0 Back: 255.968
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 10577602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.42 Prop: 10474.206 PropClause: 10167.453 Set: 2153.702 Check: 0.0 Back: 256.889
INFO - Atoms: 37489/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 10615774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.428 Prop: 10508.008 PropClause: 10200.186 Set: 2160.698 Check: 0.0 Back: 257.789
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 10654127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.436 Prop: 10540.681 PropClause: 10231.786 Set: 2167.623 Check: 0.0 Back: 258.706
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 10692503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.444 Prop: 10572.752 PropClause: 10262.785 Set: 2174.611 Check: 0.0 Back: 259.624
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 10730856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.454 Prop: 10604.87 PropClause: 10293.831 Set: 2181.458 Check: 0.0 Back: 260.536
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 10769010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.463 Prop: 10636.867 PropClause: 10324.763 Set: 2188.397 Check: 0.0 Back: 261.455
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 10806516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.471 Prop: 10670.147 PropClause: 10356.996 Set: 2195.21 Check: 0.0 Back: 262.381
INFO - Atoms: 37506/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 10844688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.48 Prop: 10702.098 PropClause: 10387.883 Set: 2202.162 Check: 0.0 Back: 263.285
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 10883041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.489 Prop: 10734.698 PropClause: 10419.409 Set: 2209.098 Check: 0.0 Back: 264.205
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 10921415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.496 Prop: 10767.868 PropClause: 10451.498 Set: 2216.047 Check: 0.0 Back: 265.119
INFO - Atoms: 38374/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 10959768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.506 Prop: 10803.019 PropClause: 10485.576 Set: 2223.271 Check: 0.0 Back: 266.05
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 10997922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.516 Prop: 10836.005 PropClause: 10517.492 Set: 2230.164 Check: 0.0 Back: 266.976
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 11035427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.525 Prop: 10868.768 PropClause: 10549.205 Set: 2236.878 Check: 0.0 Back: 267.892
INFO - Atoms: 37505/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 11073599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.537 Prop: 10903.257 PropClause: 10582.626 Set: 2243.87 Check: 0.0 Back: 268.801
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 11111952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.546 Prop: 10936.293 PropClause: 10614.59 Set: 2250.846 Check: 0.0 Back: 269.722
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 11150328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.556 Prop: 10968.914 PropClause: 10646.139 Set: 2257.807 Check: 0.0 Back: 270.65
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 11188681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.564 Prop: 11001.307 PropClause: 10677.457 Set: 2264.774 Check: 0.0 Back: 271.574
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 11226835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.573 Prop: 11033.836 PropClause: 10708.917 Set: 2271.643 Check: 0.0 Back: 272.49
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 11264339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.582 Prop: 11067.705 PropClause: 10741.724 Set: 2278.503 Check: 0.0 Back: 273.421
INFO - Atoms: 37504/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 11302511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.591 Prop: 11101.004 PropClause: 10773.945 Set: 2285.531 Check: 0.0 Back: 274.322
INFO - Atoms: 38172/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 11340864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.601 Prop: 11135.142 PropClause: 10806.998 Set: 2292.619 Check: 0.0 Back: 275.255
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 11379240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.61 Prop: 11169.997 PropClause: 10840.78 Set: 2299.717 Check: 0.0 Back: 276.184
INFO - Atoms: 38376/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 11417593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.62 Prop: 11205.061 PropClause: 10874.766 Set: 2306.888 Check: 0.0 Back: 277.111
INFO - Atoms: 38353/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 11455747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.629 Prop: 11239.331 PropClause: 10907.964 Set: 2313.835 Check: 0.0 Back: 278.046
INFO - Atoms: 38154/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 11494135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.638 Prop: 11273.793 PropClause: 10941.348 Set: 2320.97 Check: 0.0 Back: 278.957
INFO - Atoms: 38388/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 11532287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.647 Prop: 11307.545 PropClause: 10974.027 Set: 2327.954 Check: 0.0 Back: 279.882
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 11570638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.657 Prop: 11341.564 PropClause: 11006.972 Set: 2335.024 Check: 0.0 Back: 280.802
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 11608128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.665 Prop: 11374.598 PropClause: 11038.955 Set: 2341.787 Check: 0.0 Back: 281.728
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 11646480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.675 Prop: 11407.674 PropClause: 11070.953 Set: 2348.896 Check: 0.0 Back: 282.634
INFO - Atoms: 38352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 11684653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.685 Prop: 11441.599 PropClause: 11103.809 Set: 2355.889 Check: 0.0 Back: 283.555
INFO - Atoms: 38173/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 11723026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.694 Prop: 11475.217 PropClause: 11136.352 Set: 2362.98 Check: 0.0 Back: 284.47
INFO - Atoms: 38373/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 11761178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.703 Prop: 11508.374 PropClause: 11168.44 Set: 2369.95 Check: 0.0 Back: 285.405
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 11799529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.711 Prop: 11542.1 PropClause: 11201.09 Set: 2376.972 Check: 0.0 Back: 286.32
INFO - Atoms: 38351/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 11837019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.719 Prop: 11575.629 PropClause: 11233.565 Set: 2383.81 Check: 0.0 Back: 287.256
INFO - Atoms: 37490/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 11875275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.728 Prop: 11608.979 PropClause: 11265.841 Set: 2390.92 Check: 0.0 Back: 288.163
INFO - Atoms: 38256/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 11913441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.738 Prop: 11644.372 PropClause: 11300.159 Set: 2398.17 Check: 0.0 Back: 289.094
INFO - Atoms: 38166/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 11950946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.748 Prop: 11678.871 PropClause: 11333.607 Set: 2405.065 Check: 0.0 Back: 290.009
INFO - Atoms: 37505/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 11989005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.757 Prop: 11713.454 PropClause: 11367.12 Set: 2412.179 Check: 0.0 Back: 290.906
INFO - Atoms: 38059/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 12027157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.767 Prop: 11747.615 PropClause: 11400.208 Set: 2419.212 Check: 0.0 Back: 291.835
INFO - Atoms: 38152/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 12065321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.778 Prop: 11781.517 PropClause: 11433.035 Set: 2426.346 Check: 0.0 Back: 292.753
INFO - Atoms: 38164/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 12103263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.787 Prop: 11814.704 PropClause: 11465.159 Set: 2433.276 Check: 0.0 Back: 293.716
INFO - Atoms: 37942/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 12141203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.796 Prop: 11848.209 PropClause: 11497.6 Set: 2440.204 Check: 0.0 Back: 294.64
INFO - Atoms: 37940/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 12178708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.804 Prop: 11880.93 PropClause: 11529.258 Set: 2447.017 Check: 0.0 Back: 295.555
INFO - Atoms: 37505/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 12216427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.813 Prop: 11914.854 PropClause: 11562.123 Set: 2453.975 Check: 0.0 Back: 296.464
INFO - Atoms: 37719/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 12254145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.947 Prop: 11946.821 PropClause: 11593.032 Set: 2460.834 Check: 0.0 Back: 297.382
INFO - Atoms: 37718/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 12291968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.957 Prop: 11982.47 PropClause: 11627.614 Set: 2467.859 Check: 0.0 Back: 298.277
INFO - Atoms: 37823/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 12330010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.965 Prop: 12015.082 PropClause: 11659.155 Set: 2474.891 Check: 0.0 Back: 299.178
INFO - Atoms: 38042/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 12368011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.973 Prop: 12047.612 PropClause: 11690.622 Set: 2481.791 Check: 0.0 Back: 300.094
INFO - Atoms: 38001/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 12406052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.982 Prop: 12079.658 PropClause: 11721.59 Set: 2488.716 Check: 0.0 Back: 301.007
INFO - Atoms: 38041/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 12443864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.146 Prop: 12112.396 PropClause: 11753.265 Set: 2495.579 Check: 0.0 Back: 301.924
INFO - Atoms: 37812/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 12481676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.272 Prop: 12146.095 PropClause: 11785.902 Set: 2502.441 Check: 0.0 Back: 302.896
INFO - Atoms: 37812/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 12519479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.282 Prop: 12179.344 PropClause: 11818.088 Set: 2509.428 Check: 0.0 Back: 303.815
INFO - Atoms: 37803/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 12557483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.294 Prop: 12215.877 PropClause: 11853.558 Set: 2520.308 Check: 0.0 Back: 304.726
INFO - Atoms: 38004/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 12595508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.304 Prop: 12251.225 PropClause: 11887.834 Set: 2527.345 Check: 0.0 Back: 305.65
INFO - Atoms: 38025/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 12632879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.314 Prop: 12285.171 PropClause: 11920.735 Set: 2534.114 Check: 0.0 Back: 306.571
INFO - Atoms: 37371/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 12670251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.324 Prop: 12319.496 PropClause: 11954.011 Set: 2540.889 Check: 0.0 Back: 307.469
INFO - Atoms: 37372/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 12707397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.332 Prop: 12352.298 PropClause: 11985.769 Set: 2547.605 Check: 0.0 Back: 308.368
INFO - Atoms: 37146/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 12744749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.372 Prop: 12395.381 PropClause: 12026.833 Set: 2572.048 Check: 0.0 Back: 309.29
INFO - Atoms: 37352/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 12764755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.51 Prop: 12417.358 PropClause: 12048.189 Set: 2576.434 Check: 0.0 Back: 310.26
INFO - Atoms: 20006/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 12784986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.528 Prop: 12428.035 PropClause: 12058.234 Set: 2580.919 Check: 0.0 Back: 310.782
INFO - Atoms: 20231/55072 Clauses: 485 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 819 Props: 15830402 Tprops: 0 Decides: 13823 RSplits: 0
INFO - Times: Expl: 1181.553 Prop: 15060.508 PropClause: 14594.362 Set: 2659.718 Check: 0.346 Back: 384.809
INFO - Atoms: 18230/55072 Clauses: 984 Axioms: 182066
INFO - Confl: 1141 Props: 16832640 Tprops: 0 Decides: 16961 RSplits: 0
INFO - Times: Expl: 1567.485 Prop: 15842.652 PropClause: 15345.251 Set: 2684.682 Check: 0.43 Back: 408.989
INFO - Atoms: 18870/55072 Clauses: 1306 Axioms: 182066
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 356 Props: 32329 Tprops: 7609 Decides: 35974 RSplits: 0
INFO - Times: Expl: 199.458 Prop: 37525.795 PropClause: 13.477 Set: 4477.687 Check: 272.202 Back: 135.738
INFO - Atoms: 645/726 Clauses: 356 Axioms: 726
INFO - CCTimes: iE 365697 eq 23103621 cc 71503842 setRep 40046003
INFO - Merges: 260554, cc:433686
INFO - BVTimes: BB 232855521 BB_DPLL 34002124969 Graph 111665631
INFO - BitBlastingClauses: 336946 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat