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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2299262880
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 445152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.577 Prop: 608.324 PropClause: 595.299 Set: 134.008 Check: 0.0 Back: 0.0
INFO - Atoms: 445152/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 890282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.627 Prop: 1133.488 PropClause: 1109.291 Set: 210.529 Check: 0.0 Back: 10.303
INFO - Atoms: 445130/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1335452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.661 Prop: 1671.283 PropClause: 1635.217 Set: 289.125 Check: 0.0 Back: 20.469
INFO - Atoms: 445170/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 1780603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.706 Prop: 2218.192 PropClause: 2171.016 Set: 366.362 Check: 0.0 Back: 30.543
INFO - Atoms: 445151/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 2225737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.754 Prop: 2768.32 PropClause: 2710.175 Set: 444.263 Check: 0.0 Back: 40.859
INFO - Atoms: 445134/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 2670856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.796 Prop: 3301.312 PropClause: 3232.28 Set: 521.235 Check: 0.0 Back: 51.054
INFO - Atoms: 445119/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 3115962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.839 Prop: 3829.394 PropClause: 3749.568 Set: 597.69 Check: 0.0 Back: 61.167
INFO - Atoms: 445106/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 3561057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.883 Prop: 4351.88 PropClause: 4261.146 Set: 673.87 Check: 0.0 Back: 71.209
INFO - Atoms: 445095/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 4006143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.925 Prop: 4902.432 PropClause: 4800.774 Set: 750.726 Check: 0.0 Back: 81.406
INFO - Atoms: 445086/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 4451222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.965 Prop: 5431.471 PropClause: 5318.896 Set: 827.142 Check: 0.0 Back: 91.53
INFO - Atoms: 445079/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 4896296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.009 Prop: 5968.297 PropClause: 5844.817 Set: 904.787 Check: 0.0 Back: 101.668
INFO - Atoms: 445074/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 5341370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.058 Prop: 6528.241 PropClause: 6393.812 Set: 982.188 Check: 0.0 Back: 111.79
INFO - Atoms: 445074/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 5786426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.125 Prop: 7058.151 PropClause: 6912.95 Set: 1057.665 Check: 0.0 Back: 121.951
INFO - Atoms: 445056/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 6231482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.168 Prop: 7566.983 PropClause: 7410.94 Set: 1132.971 Check: 0.0 Back: 131.995
INFO - Atoms: 445056/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 6676522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.205 Prop: 8114.625 PropClause: 7947.645 Set: 1210.348 Check: 0.0 Back: 142.035
INFO - Atoms: 445040/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 7121565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.321 Prop: 8649.169 PropClause: 8471.299 Set: 1287.553 Check: 0.0 Back: 152.178
INFO - Atoms: 445043/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 7565340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.338 Prop: 9201.445 PropClause: 9012.701 Set: 1365.631 Check: 0.0 Back: 162.314
INFO - Atoms: 443775/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 8008012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.358 Prop: 9717.799 PropClause: 9518.232 Set: 1441.339 Check: 0.0 Back: 172.43
INFO - Atoms: 442672/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 8449729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.376 Prop: 10234.691 PropClause: 10024.347 Set: 1517.425 Check: 0.0 Back: 182.401
INFO - Atoms: 441717/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 8891432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.397 Prop: 10760.494 PropClause: 10539.282 Set: 1594.395 Check: 0.0 Back: 192.456
INFO - Atoms: 441703/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 9333123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.418 Prop: 11315.63 PropClause: 11083.496 Set: 1672.024 Check: 0.0 Back: 202.541
INFO - Atoms: 441691/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 9774829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.435 Prop: 11857.175 PropClause: 11614.159 Set: 1749.589 Check: 0.0 Back: 212.683
INFO - Atoms: 441706/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 10215895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.456 Prop: 12404.562 PropClause: 12150.678 Set: 1826.921 Check: 0.0 Back: 222.805
INFO - Atoms: 441066/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 10656327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.475 Prop: 12924.29 PropClause: 12659.586 Set: 1902.952 Check: 0.0 Back: 232.913
INFO - Atoms: 440432/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 11096120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.495 Prop: 13464.439 PropClause: 13188.924 Set: 1978.547 Check: 0.0 Back: 242.936
INFO - Atoms: 439793/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 11535630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.515 Prop: 14011.86 PropClause: 13725.484 Set: 2056.873 Check: 0.0 Back: 252.985
INFO - Atoms: 439510/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 11974463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.537 Prop: 14560.81 PropClause: 14263.68 Set: 2134.149 Check: 0.0 Back: 263.004
INFO - Atoms: 438833/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 12412726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.557 Prop: 15108.265 PropClause: 14800.338 Set: 2209.647 Check: 0.0 Back: 273.011
INFO - Atoms: 438263/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 12850601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.578 Prop: 15663.204 PropClause: 15344.562 Set: 2286.066 Check: 0.0 Back: 282.998
INFO - Atoms: 437875/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 13288218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.595 Prop: 16175.503 PropClause: 15846.204 Set: 2361.006 Check: 0.0 Back: 293.006
INFO - Atoms: 437617/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 13725447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.618 Prop: 16709.131 PropClause: 16369.088 Set: 2543.527 Check: 0.0 Back: 302.898
INFO - Atoms: 437229/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 14162416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.636 Prop: 17237.953 PropClause: 16887.166 Set: 2724.268 Check: 0.0 Back: 312.91
INFO - Atoms: 436969/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 14598997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.656 Prop: 17794.574 PropClause: 17433.074 Set: 2801.027 Check: 0.0 Back: 322.884
INFO - Atoms: 436581/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 15035165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.674 Prop: 18339.717 PropClause: 17967.515 Set: 2877.285 Check: 0.0 Back: 332.883
INFO - Atoms: 436168/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 15470943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.691 Prop: 18879.587 PropClause: 18496.738 Set: 2952.844 Check: 0.0 Back: 342.875
INFO - Atoms: 435778/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 15906463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.709 Prop: 19396.331 PropClause: 19002.802 Set: 3026.712 Check: 0.0 Back: 352.874
INFO - Atoms: 435520/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 16341439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 19944.921 PropClause: 19540.719 Set: 3102.311 Check: 0.0 Back: 362.781
INFO - Atoms: 434976/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 16776159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.749 Prop: 20479.457 PropClause: 20064.661 Set: 3177.398 Check: 0.0 Back: 372.685
INFO - Atoms: 434720/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 17210489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.77 Prop: 21020.399 PropClause: 20594.919 Set: 3253.083 Check: 0.0 Back: 382.576
INFO - Atoms: 434330/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 17644561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.8 Prop: 21533.88 PropClause: 21097.749 Set: 3326.496 Check: 0.0 Back: 392.533
INFO - Atoms: 434072/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 18078245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.817 Prop: 22049.579 PropClause: 21602.817 Set: 3497.887 Check: 0.0 Back: 402.375
INFO - Atoms: 433684/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 18511984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.834 Prop: 22570.256 PropClause: 22112.811 Set: 3571.85 Check: 0.0 Back: 412.212
INFO - Atoms: 433739/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 18945333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.858 Prop: 23118.005 PropClause: 22649.942 Set: 3646.634 Check: 0.0 Back: 422.149
INFO - Atoms: 433349/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 19378517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.879 Prop: 23655.315 PropClause: 23176.649 Set: 3721.69 Check: 0.0 Back: 432.03
INFO - Atoms: 433184/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 19810909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.9 Prop: 24204.421 PropClause: 23715.159 Set: 3796.392 Check: 0.0 Back: 441.882
INFO - Atoms: 432392/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 20243043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.92 Prop: 24710.806 PropClause: 24211.011 Set: 3870.918 Check: 0.0 Back: 451.748
INFO - Atoms: 432134/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 20674792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.938 Prop: 25231.711 PropClause: 24721.418 Set: 3944.662 Check: 0.0 Back: 461.522
INFO - Atoms: 431749/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 21105968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.958 Prop: 25749.266 PropClause: 25228.4 Set: 4018.668 Check: 0.0 Back: 471.31
INFO - Atoms: 431176/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 21536754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.977 Prop: 26298.229 PropClause: 25766.791 Set: 4202.821 Check: 0.0 Back: 481.115
INFO - Atoms: 430786/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 21966593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.996 Prop: 26822.542 PropClause: 26280.514 Set: 4276.971 Check: 0.0 Back: 490.999
INFO - Atoms: 429839/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 22396110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.016 Prop: 27343.33 PropClause: 26790.725 Set: 4351.597 Check: 0.0 Back: 500.825
INFO - Atoms: 429517/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 22825367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.036 Prop: 27832.43 PropClause: 27269.211 Set: 4423.982 Check: 0.0 Back: 510.571
INFO - Atoms: 429257/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 23254238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.053 Prop: 28350.306 PropClause: 27776.582 Set: 4498.115 Check: 0.0 Back: 520.315
INFO - Atoms: 428871/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 23682851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.071 Prop: 28877.573 PropClause: 28293.353 Set: 4571.72 Check: 0.0 Back: 530.083
INFO - Atoms: 428613/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 24111076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.09 Prop: 29446.582 PropClause: 28851.818 Set: 4647.436 Check: 0.0 Back: 539.905
INFO - Atoms: 428225/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 24539035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.112 Prop: 30009.286 PropClause: 29403.927 Set: 4844.078 Check: 0.0 Back: 549.742
INFO - Atoms: 427959/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 24966612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.13 Prop: 30575.323 PropClause: 29959.324 Set: 4919.628 Check: 0.0 Back: 559.627
INFO - Atoms: 427577/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 25393931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.148 Prop: 31104.315 PropClause: 30477.798 Set: 4992.675 Check: 0.0 Back: 569.421
INFO - Atoms: 427319/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 25820864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.17 Prop: 31648.105 PropClause: 31011.054 Set: 5066.824 Check: 0.0 Back: 579.242
INFO - Atoms: 426933/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 26247537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.192 Prop: 32183.958 PropClause: 31536.355 Set: 5140.8 Check: 0.0 Back: 589.362
INFO - Atoms: 426673/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 26673824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.212 Prop: 32745.951 PropClause: 32087.785 Set: 5216.747 Check: 0.0 Back: 599.128
INFO - Atoms: 426287/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 27099853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.235 Prop: 33323.88 PropClause: 32655.162 Set: 5356.089 Check: 0.0 Back: 608.95
INFO - Atoms: 426029/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 27525494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.256 Prop: 33848.475 PropClause: 33169.309 Set: 5428.958 Check: 0.0 Back: 618.77
INFO - Atoms: 425641/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 27950877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.278 Prop: 34361.797 PropClause: 33672.191 Set: 5502.056 Check: 0.0 Back: 628.479
INFO - Atoms: 425383/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 28375870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.305 Prop: 34913.217 PropClause: 34213.09 Set: 5576.245 Check: 0.0 Back: 638.261
INFO - Atoms: 424993/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 28800600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.325 Prop: 35439.92 PropClause: 34729.335 Set: 5649.658 Check: 0.0 Back: 648.044
INFO - Atoms: 424730/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 29224949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.346 Prop: 35983.247 PropClause: 35262.223 Set: 5724.25 Check: 0.0 Back: 657.787
INFO - Atoms: 424349/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 29648974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.364 Prop: 36502.654 PropClause: 35771.185 Set: 5797.136 Check: 0.0 Back: 667.537
INFO - Atoms: 424025/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 30072677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.379 Prop: 37034.207 PropClause: 36292.285 Set: 5870.546 Check: 0.0 Back: 677.158
INFO - Atoms: 423703/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 30496115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.392 Prop: 37560.549 PropClause: 36808.194 Set: 5943.322 Check: 0.0 Back: 686.801
INFO - Atoms: 423438/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 30919172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.409 Prop: 38086.761 PropClause: 37323.97 Set: 6017.488 Check: 0.0 Back: 696.491
INFO - Atoms: 423057/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 31341905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.426 Prop: 38623.461 PropClause: 37850.25 Set: 6090.453 Check: 0.0 Back: 706.15
INFO - Atoms: 422733/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 31764314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.442 Prop: 39155.298 PropClause: 38371.66 Set: 6163.464 Check: 0.0 Back: 715.817
INFO - Atoms: 422409/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 32186465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.459 Prop: 39673.216 PropClause: 38879.118 Set: 6236.483 Check: 0.0 Back: 725.519
INFO - Atoms: 422151/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 32608230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.475 Prop: 40230.267 PropClause: 39425.787 Set: 6310.675 Check: 0.0 Back: 735.197
INFO - Atoms: 421765/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 33029729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.495 Prop: 40772.12 PropClause: 39957.226 Set: 6383.041 Check: 0.0 Back: 744.847
INFO - Atoms: 421499/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 33450848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.513 Prop: 41309.469 PropClause: 40484.144 Set: 6456.102 Check: 0.0 Back: 754.556
INFO - Atoms: 421119/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 33871707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.53 Prop: 41832.22 PropClause: 40996.55 Set: 6529.019 Check: 0.0 Back: 764.235
INFO - Atoms: 420859/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 34292180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.548 Prop: 42381.988 PropClause: 41535.906 Set: 6602.236 Check: 0.0 Back: 773.84
INFO - Atoms: 420473/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 34712329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.564 Prop: 42868.313 PropClause: 42011.833 Set: 6673.483 Check: 0.0 Back: 783.421
INFO - Atoms: 420149/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 35132154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.583 Prop: 43405.555 PropClause: 42538.686 Set: 6746.607 Check: 0.0 Back: 793.115
INFO - Atoms: 419825/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 35551715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.601 Prop: 43940.187 PropClause: 43062.917 Set: 6819.826 Check: 0.0 Back: 802.823
INFO - Atoms: 419561/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 35970896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.655 Prop: 44478.106 PropClause: 43590.503 Set: 6892.445 Check: 0.0 Back: 812.412
INFO - Atoms: 419181/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 36389813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.712 Prop: 45004.972 PropClause: 44107.026 Set: 6964.736 Check: 0.0 Back: 822.065
INFO - Atoms: 418917/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 36808348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.725 Prop: 45545.095 PropClause: 44636.761 Set: 7039.149 Check: 0.0 Back: 831.677
INFO - Atoms: 418535/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 37226625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.739 Prop: 46056.243 PropClause: 45137.588 Set: 7110.795 Check: 0.0 Back: 841.319
INFO - Atoms: 418277/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 37644514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.751 Prop: 46589.914 PropClause: 45660.961 Set: 7236.438 Check: 0.0 Back: 850.855
INFO - Atoms: 417889/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 38062079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.764 Prop: 47108.219 PropClause: 46168.989 Set: 7308.77 Check: 0.0 Back: 860.456
INFO - Atoms: 417565/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 38479322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.775 Prop: 47638.662 PropClause: 46689.206 Set: 7381.864 Check: 0.0 Back: 869.952
INFO - Atoms: 417243/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 38896305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.786 Prop: 48151.935 PropClause: 47192.156 Set: 7454.004 Check: 0.0 Back: 880.106
INFO - Atoms: 416983/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 39312902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.798 Prop: 48668.437 PropClause: 47698.321 Set: 7526.414 Check: 0.0 Back: 889.767
INFO - Atoms: 416597/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 39729175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.81 Prop: 49186.127 PropClause: 48205.718 Set: 7702.913 Check: 0.0 Back: 899.369
INFO - Atoms: 416273/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 40145126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.822 Prop: 49733.268 PropClause: 48742.467 Set: 7777.016 Check: 0.0 Back: 908.877
INFO - Atoms: 415951/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 40560819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.833 Prop: 50258.413 PropClause: 49257.315 Set: 7850.747 Check: 0.0 Back: 918.598
INFO - Atoms: 415693/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 40976124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 50793.322 PropClause: 49782.04 Set: 7924.13 Check: 0.0 Back: 928.221
INFO - Atoms: 415305/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 41391105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.856 Prop: 51295.486 PropClause: 50273.905 Set: 7996.901 Check: 0.0 Back: 937.812
INFO - Atoms: 414981/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 41805764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.868 Prop: 51820.107 PropClause: 50788.308 Set: 8069.106 Check: 0.0 Back: 947.39
INFO - Atoms: 414659/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 42220099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.882 Prop: 52340.423 PropClause: 51298.44 Set: 8140.559 Check: 0.0 Back: 956.898
INFO - Atoms: 414335/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 42633644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.895 Prop: 52878.526 PropClause: 51826.328 Set: 8212.506 Check: 0.0 Back: 966.393
INFO - Atoms: 413545/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 43046931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.909 Prop: 53422.943 PropClause: 52360.403 Set: 8286.276 Check: 0.0 Back: 975.917
INFO - Atoms: 413287/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 43459833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.923 Prop: 53971.873 PropClause: 52899.005 Set: 8427.56 Check: 0.0 Back: 985.64
INFO - Atoms: 412902/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 43872467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.933 Prop: 54471.995 PropClause: 53388.846 Set: 8498.955 Check: 0.0 Back: 995.275
INFO - Atoms: 412634/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 44284718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.946 Prop: 54969.934 PropClause: 53876.66 Set: 8569.244 Check: 0.0 Back: 1004.749
INFO - Atoms: 412251/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 44696647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.959 Prop: 55484.216 PropClause: 54380.815 Set: 8641.598 Check: 0.0 Back: 1014.175
INFO - Atoms: 411929/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 45108252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.971 Prop: 56004.675 PropClause: 54891.087 Set: 8713.364 Check: 0.0 Back: 1023.796
INFO - Atoms: 411605/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 45519535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.984 Prop: 56519.323 PropClause: 55395.503 Set: 8784.756 Check: 0.0 Back: 1033.337
INFO - Atoms: 411283/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 45930496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.996 Prop: 57014.454 PropClause: 55880.562 Set: 8854.812 Check: 0.0 Back: 1042.79
INFO - Atoms: 410961/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 46341191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.008 Prop: 57504.713 PropClause: 56360.559 Set: 8925.191 Check: 0.0 Back: 1052.23
INFO - Atoms: 410695/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 46751504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.019 Prop: 58006.513 PropClause: 56852.205 Set: 8996.089 Check: 0.0 Back: 1061.818
INFO - Atoms: 410313/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 47161559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.031 Prop: 58526.83 PropClause: 57362.386 Set: 9156.548 Check: 0.0 Back: 1071.32
INFO - Atoms: 410055/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 47571228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.043 Prop: 59024.336 PropClause: 57849.812 Set: 9227.311 Check: 0.0 Back: 1080.846
INFO - Atoms: 409669/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 47980639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.055 Prop: 59518.412 PropClause: 58333.789 Set: 9297.953 Check: 0.0 Back: 1090.241
INFO - Atoms: 409411/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 48389662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.067 Prop: 60030.735 PropClause: 58836.011 Set: 9368.198 Check: 0.0 Back: 1099.637
INFO - Atoms: 409023/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 48798427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.078 Prop: 60505.14 PropClause: 59300.416 Set: 9483.924 Check: 0.0 Back: 1109.08
INFO - Atoms: 408765/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 49206804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.088 Prop: 61006.046 PropClause: 59791.255 Set: 9554.523 Check: 0.0 Back: 1118.334
INFO - Atoms: 408377/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 49614857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.099 Prop: 61513.56 PropClause: 60288.662 Set: 9625.601 Check: 0.0 Back: 1127.702
INFO - Atoms: 408053/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 50022588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.112 Prop: 62022.686 PropClause: 60787.755 Set: 9696.648 Check: 0.0 Back: 1137.182
INFO - Atoms: 407731/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 50429995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.124 Prop: 62508.883 PropClause: 61263.9 Set: 9767.709 Check: 0.0 Back: 1146.497
INFO - Atoms: 407407/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 50837078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.136 Prop: 63012.44 PropClause: 61757.381 Set: 9838.487 Check: 0.0 Back: 1155.852
INFO - Atoms: 407083/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 51243903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.148 Prop: 63498.417 PropClause: 62233.284 Set: 9908.322 Check: 0.0 Back: 1168.86
INFO - Atoms: 406825/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 51650340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.159 Prop: 63992.335 PropClause: 62717.18 Set: 9978.29 Check: 0.0 Back: 1178.171
INFO - Atoms: 406437/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 52056514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.17 Prop: 64489.353 PropClause: 63204.131 Set: 10048.362 Check: 0.0 Back: 1187.492
INFO - Atoms: 406174/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 52462305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.181 Prop: 65006.89 PropClause: 63711.585 Set: 10118.687 Check: 0.0 Back: 1196.826
INFO - Atoms: 405791/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 52867838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.192 Prop: 65511.528 PropClause: 64206.251 Set: 10190.099 Check: 0.0 Back: 1206.176
INFO - Atoms: 405533/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 53272983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 65995.388 PropClause: 64680.137 Set: 10258.683 Check: 0.0 Back: 1215.51
INFO - Atoms: 405145/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 53677806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.217 Prop: 66486.88 PropClause: 65161.712 Set: 10327.518 Check: 0.0 Back: 1224.854
INFO - Atoms: 404823/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 54082305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.228 Prop: 66976.428 PropClause: 65641.3 Set: 10396.753 Check: 0.0 Back: 1234.157
INFO - Atoms: 404499/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 54486546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.241 Prop: 67467.682 PropClause: 66122.623 Set: 10465.922 Check: 0.0 Back: 1243.417
INFO - Atoms: 404241/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 54890401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.26 Prop: 67985.512 PropClause: 66630.516 Set: 10535.602 Check: 0.0 Back: 1252.714
INFO - Atoms: 403855/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 55293998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.302 Prop: 68487.728 PropClause: 67122.799 Set: 10606.006 Check: 0.0 Back: 1261.901
INFO - Atoms: 403597/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 55697207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.309 Prop: 68994.858 PropClause: 67619.937 Set: 10676.61 Check: 0.0 Back: 1271.181
INFO - Atoms: 403209/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 56100156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.316 Prop: 69476.33 PropClause: 68091.457 Set: 10745.853 Check: 0.0 Back: 1280.367
INFO - Atoms: 402949/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 56502719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.322 Prop: 70008.968 PropClause: 68614.153 Set: 10816.398 Check: 0.0 Back: 1289.599
INFO - Atoms: 402563/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 56905017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.33 Prop: 70495.757 PropClause: 69091.08 Set: 10885.112 Check: 0.0 Back: 1298.858
INFO - Atoms: 402298/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 57306934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.337 Prop: 71002.523 PropClause: 69587.914 Set: 10954.969 Check: 0.0 Back: 1308.057
INFO - Atoms: 401917/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 57708593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.344 Prop: 71491.45 PropClause: 70066.935 Set: 11023.811 Check: 0.0 Back: 1317.299
INFO - Atoms: 401659/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 58109864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.352 Prop: 71980.658 PropClause: 70546.274 Set: 11093.038 Check: 0.0 Back: 1326.516
INFO - Atoms: 401271/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 58510877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.358 Prop: 72437.804 PropClause: 70993.624 Set: 11160.622 Check: 0.0 Back: 1335.678
INFO - Atoms: 401013/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 58911500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.395 Prop: 72952.118 PropClause: 71498.126 Set: 11230.11 Check: 0.0 Back: 1344.804
INFO - Atoms: 400623/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 59311865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.429 Prop: 73438.973 PropClause: 71975.153 Set: 11299.138 Check: 0.0 Back: 1353.995
INFO - Atoms: 400365/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 59711844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.436 Prop: 73939.359 PropClause: 72465.654 Set: 11368.322 Check: 0.0 Back: 1363.129
INFO - Atoms: 399979/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 60111499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 74427.712 PropClause: 72944.113 Set: 11437.369 Check: 0.0 Back: 1372.318
INFO - Atoms: 399655/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 60510832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.45 Prop: 74920.495 PropClause: 73427.133 Set: 11505.93 Check: 0.0 Back: 1381.514
INFO - Atoms: 399333/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 60909905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.457 Prop: 75412.609 PropClause: 73909.407 Set: 11582.601 Check: 0.0 Back: 1390.651
INFO - Atoms: 399073/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 61308592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.465 Prop: 75924.959 PropClause: 74411.914 Set: 11651.741 Check: 0.0 Back: 1399.846
INFO - Atoms: 398687/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 61707019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.472 Prop: 76418.506 PropClause: 74895.638 Set: 11720.992 Check: 0.0 Back: 1409.012
INFO - Atoms: 398427/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 62105060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.479 Prop: 76905.81 PropClause: 75373.082 Set: 11789.498 Check: 0.0 Back: 1418.154
INFO - Atoms: 398041/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 62502777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.487 Prop: 77396.747 PropClause: 75854.253 Set: 11857.362 Check: 0.0 Back: 1427.362
INFO - Atoms: 397717/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 62900170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.494 Prop: 77872.596 PropClause: 76320.361 Set: 11924.923 Check: 0.0 Back: 1436.441
INFO - Atoms: 397393/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 63297307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.5 Prop: 78334.941 PropClause: 76772.961 Set: 11992.245 Check: 0.0 Back: 1445.504
INFO - Atoms: 397137/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 63694056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.506 Prop: 78826.426 PropClause: 77254.682 Set: 12060.282 Check: 0.0 Back: 1454.54
INFO - Atoms: 396749/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 64090481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.514 Prop: 79313.769 PropClause: 77732.256 Set: 12128.467 Check: 0.0 Back: 1463.659
INFO - Atoms: 396425/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 64486582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.52 Prop: 79807.896 PropClause: 78216.651 Set: 12196.838 Check: 0.0 Back: 1472.733
INFO - Atoms: 396101/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 64882418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.528 Prop: 80305.635 PropClause: 78704.644 Set: 12265.314 Check: 0.0 Back: 1481.911
INFO - Atoms: 395836/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 65277873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.536 Prop: 80777.902 PropClause: 79167.179 Set: 12332.516 Check: 0.0 Back: 1490.992
INFO - Atoms: 395455/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 65673072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.542 Prop: 81241.348 PropClause: 79620.953 Set: 12399.383 Check: 0.0 Back: 1499.996
INFO - Atoms: 395199/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 66067883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.549 Prop: 81746.459 PropClause: 80116.313 Set: 12468.252 Check: 0.0 Back: 1508.967
INFO - Atoms: 394811/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 66462434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.556 Prop: 82242.706 PropClause: 80602.871 Set: 12536.093 Check: 0.0 Back: 1518.03
INFO - Atoms: 394551/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 66856599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 82749.922 PropClause: 81100.392 Set: 12605.912 Check: 0.0 Back: 1527.073
INFO - Atoms: 394165/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 67250504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.569 Prop: 83249.387 PropClause: 81590.164 Set: 12674.383 Check: 0.0 Back: 1536.29
INFO - Atoms: 393905/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 67644023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.576 Prop: 83736.247 PropClause: 82067.396 Set: 12741.449 Check: 0.0 Back: 1545.323
INFO - Atoms: 393519/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 68037218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.583 Prop: 84203.405 PropClause: 82524.887 Set: 12808.231 Check: 0.0 Back: 1554.333
INFO - Atoms: 393195/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 68430091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.591 Prop: 84697.235 PropClause: 83008.984 Set: 12877.512 Check: 0.0 Back: 1563.381
INFO - Atoms: 392873/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 68822704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.599 Prop: 85197.112 PropClause: 83499.076 Set: 12946.259 Check: 0.0 Back: 1572.599
INFO - Atoms: 392613/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 69214929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.608 Prop: 85699.2 PropClause: 83991.559 Set: 13013.625 Check: 0.0 Back: 1581.645
INFO - Atoms: 392225/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 69606896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.615 Prop: 86201.491 PropClause: 84484.11 Set: 13127.442 Check: 0.0 Back: 1590.597
INFO - Atoms: 391967/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 69998477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.623 Prop: 86678.677 PropClause: 84951.702 Set: 13194.495 Check: 0.0 Back: 1599.521
INFO - Atoms: 391581/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 70389800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.629 Prop: 87147.264 PropClause: 85410.705 Set: 13261.24 Check: 0.0 Back: 1608.441
INFO - Atoms: 391323/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 70780735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.636 Prop: 87652.488 PropClause: 85906.318 Set: 13328.538 Check: 0.0 Back: 1617.46
INFO - Atoms: 390935/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 71171346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.644 Prop: 88148.193 PropClause: 86392.375 Set: 13473.309 Check: 0.0 Back: 1626.501
INFO - Atoms: 390611/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 71561633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.65 Prop: 88661.683 PropClause: 86896.26 Set: 13541.093 Check: 0.0 Back: 1635.553
INFO - Atoms: 390287/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 71951664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.658 Prop: 89164.856 PropClause: 87389.806 Set: 13610.064 Check: 0.0 Back: 1644.545
INFO - Atoms: 390031/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 72341305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.665 Prop: 89645.829 PropClause: 87861.233 Set: 13677.096 Check: 0.0 Back: 1653.597
INFO - Atoms: 389641/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 72730688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 90106.904 PropClause: 88312.724 Set: 13743.12 Check: 0.0 Back: 1662.478
INFO - Atoms: 389383/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 73119683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 90605.884 PropClause: 88802.176 Set: 13810.229 Check: 0.0 Back: 1671.363
INFO - Atoms: 388995/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 73508356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.685 Prop: 91090.136 PropClause: 89276.805 Set: 13877.864 Check: 0.0 Back: 1680.282
INFO - Atoms: 388673/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 73896707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.693 Prop: 91593.026 PropClause: 89770.179 Set: 14000.835 Check: 0.0 Back: 1689.148
INFO - Atoms: 388351/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 74284800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.699 Prop: 92095.687 PropClause: 90263.3 Set: 14067.766 Check: 0.0 Back: 1698.101
INFO - Atoms: 388093/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 74672505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.706 Prop: 92575.38 PropClause: 90733.512 Set: 14133.454 Check: 0.0 Back: 1706.948
INFO - Atoms: 387705/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 75059950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.713 Prop: 93040.99 PropClause: 91189.618 Set: 14200.274 Check: 0.0 Back: 1715.832
INFO - Atoms: 387445/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 75447009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.719 Prop: 93528.796 PropClause: 91667.88 Set: 14267.545 Check: 0.0 Back: 1724.647
INFO - Atoms: 387059/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 75833808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.726 Prop: 94019.246 PropClause: 92148.806 Set: 14334.251 Check: 0.0 Back: 1733.525
INFO - Atoms: 386799/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 76220221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.733 Prop: 94510.196 PropClause: 92630.285 Set: 14401.793 Check: 0.0 Back: 1742.37
INFO - Atoms: 386413/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 76606376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 95003.061 PropClause: 93113.659 Set: 14573.878 Check: 0.0 Back: 1751.227
INFO - Atoms: 386155/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 76992141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.747 Prop: 95492.627 PropClause: 93593.752 Set: 14640.562 Check: 0.0 Back: 1760.122
INFO - Atoms: 385765/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 77377648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.754 Prop: 95958.122 PropClause: 94049.813 Set: 14706.917 Check: 0.0 Back: 1769.042
INFO - Atoms: 385507/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 77762769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.761 Prop: 96459.038 PropClause: 94541.188 Set: 14774.172 Check: 0.0 Back: 1777.86
INFO - Atoms: 385121/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 78147627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.769 Prop: 96933.771 PropClause: 95006.469 Set: 14841.52 Check: 0.0 Back: 1786.715
INFO - Atoms: 384858/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 78532100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.776 Prop: 97428.177 PropClause: 95491.407 Set: 14909.088 Check: 0.0 Back: 1795.582
INFO - Atoms: 384473/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 78916317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.783 Prop: 97908.308 PropClause: 95962.074 Set: 14975.716 Check: 0.0 Back: 1804.462
INFO - Atoms: 384217/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 79300146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.791 Prop: 98392.393 PropClause: 96436.744 Set: 15042.149 Check: 0.0 Back: 1813.346
INFO - Atoms: 383829/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 79683710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.797 Prop: 98843.547 PropClause: 96878.474 Set: 15106.886 Check: 0.0 Back: 1822.135
INFO - Atoms: 383564/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 80066891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 99324.129 PropClause: 97349.661 Set: 15173.31 Check: 0.0 Back: 1830.872
INFO - Atoms: 383181/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 80449750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.814 Prop: 99805.292 PropClause: 97821.421 Set: 15289.397 Check: 0.0 Back: 1839.647
INFO - Atoms: 382859/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 80832285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.821 Prop: 100289.431 PropClause: 98296.173 Set: 15355.531 Check: 0.0 Back: 1848.465
INFO - Atoms: 382535/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 81214564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.828 Prop: 100764.699 PropClause: 98762.064 Set: 15421.399 Check: 0.0 Back: 1857.247
INFO - Atoms: 382279/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 81596455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 101228.234 PropClause: 99216.186 Set: 15486.76 Check: 0.0 Back: 1866.058
INFO - Atoms: 381891/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 81978086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.841 Prop: 101686.993 PropClause: 99665.502 Set: 15553.283 Check: 0.0 Back: 1874.781
INFO - Atoms: 381631/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 82359331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.848 Prop: 102166.479 PropClause: 100135.572 Set: 15620.202 Check: 0.0 Back: 1883.531
INFO - Atoms: 381245/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 82740252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.855 Prop: 102639.505 PropClause: 100599.218 Set: 15686.281 Check: 0.0 Back: 1892.29
INFO - Atoms: 380921/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 83120851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.862 Prop: 103130.403 PropClause: 101080.664 Set: 15753.234 Check: 0.0 Back: 1901.038
INFO - Atoms: 380599/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 83501190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.868 Prop: 103596.859 PropClause: 101537.698 Set: 15819.612 Check: 0.0 Back: 1909.812
INFO - Atoms: 380339/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 83881141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.876 Prop: 104064.667 PropClause: 101996.143 Set: 15885.304 Check: 0.0 Back: 1918.566
INFO - Atoms: 379951/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 84260834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.883 Prop: 104526.843 PropClause: 102448.893 Set: 16058.247 Check: 0.0 Back: 1927.34
INFO - Atoms: 379693/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 84640141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.891 Prop: 105011.549 PropClause: 102924.283 Set: 16124.709 Check: 0.0 Back: 1936.108
INFO - Atoms: 379307/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 85019188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.898 Prop: 105476.86 PropClause: 103380.213 Set: 16189.504 Check: 0.0 Back: 1944.79
INFO - Atoms: 379047/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 85397849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.906 Prop: 105961.712 PropClause: 103855.682 Set: 16318.759 Check: 0.0 Back: 1953.487
INFO - Atoms: 378661/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 85776252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.914 Prop: 106430.951 PropClause: 104315.572 Set: 16384.357 Check: 0.0 Back: 1962.306
INFO - Atoms: 378403/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 86154267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.92 Prop: 106923.576 PropClause: 104798.868 Set: 16450.945 Check: 0.0 Back: 1971.023
INFO - Atoms: 378015/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 86532024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.928 Prop: 107374.625 PropClause: 105240.635 Set: 16515.187 Check: 0.0 Back: 1979.693
INFO - Atoms: 377757/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 86909393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.934 Prop: 107834.235 PropClause: 105690.976 Set: 16580.018 Check: 0.0 Back: 1988.338
INFO - Atoms: 377369/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 87286502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.941 Prop: 108299.208 PropClause: 106146.668 Set: 16644.723 Check: 0.0 Back: 1996.984
INFO - Atoms: 377109/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 87663223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.948 Prop: 108778.211 PropClause: 106616.392 Set: 16710.593 Check: 0.0 Back: 2005.656
INFO - Atoms: 376721/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 88039686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.954 Prop: 109242.102 PropClause: 107070.988 Set: 16775.961 Check: 0.0 Back: 2014.343
INFO - Atoms: 376463/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 88415761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.962 Prop: 109713.55 PropClause: 107533.163 Set: 16840.905 Check: 0.0 Back: 2023.028
INFO - Atoms: 376075/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 88791578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.967 Prop: 110169.723 PropClause: 107980.045 Set: 16905.678 Check: 0.0 Back: 2031.672
INFO - Atoms: 375817/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 89167007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.975 Prop: 110645.509 PropClause: 108446.509 Set: 16971.099 Check: 0.0 Back: 2040.284
INFO - Atoms: 375429/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 89542180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.984 Prop: 111112.069 PropClause: 108903.806 Set: 17036.672 Check: 0.0 Back: 2048.897
INFO - Atoms: 375173/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 89916965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.992 Prop: 111584.619 PropClause: 109367.136 Set: 17102.776 Check: 0.0 Back: 2057.554
INFO - Atoms: 374785/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 90291492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.999 Prop: 112040.1 PropClause: 109813.392 Set: 17166.942 Check: 0.0 Back: 2066.163
INFO - Atoms: 374527/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 90665631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.006 Prop: 112509.664 PropClause: 110273.74 Set: 17231.773 Check: 0.0 Back: 2074.79
INFO - Atoms: 374139/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 91039510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.013 Prop: 112965.604 PropClause: 110720.485 Set: 17295.599 Check: 0.0 Back: 2083.427
INFO - Atoms: 373879/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 91413001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.02 Prop: 113408.351 PropClause: 111154.077 Set: 17358.944 Check: 0.0 Back: 2091.923
INFO - Atoms: 373491/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 91786236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.028 Prop: 113851.417 PropClause: 111587.963 Set: 17422.044 Check: 0.0 Back: 2100.43
INFO - Atoms: 373235/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 92159081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.035 Prop: 114312.121 PropClause: 112039.541 Set: 17485.678 Check: 0.0 Back: 2108.948
INFO - Atoms: 372845/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 92531670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.043 Prop: 114769.281 PropClause: 112487.488 Set: 17550.699 Check: 0.0 Back: 2117.505
INFO - Atoms: 372589/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 92903871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.051 Prop: 115239.522 PropClause: 112948.598 Set: 17614.627 Check: 0.0 Back: 2126.118
INFO - Atoms: 372201/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 93275814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 115665.652 PropClause: 113365.587 Set: 17677.419 Check: 0.0 Back: 2134.659
INFO - Atoms: 371943/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 93647367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.065 Prop: 116114.24 PropClause: 113804.944 Set: 17743.002 Check: 0.0 Back: 2143.15
INFO - Atoms: 371553/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 94018662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.072 Prop: 116547.785 PropClause: 114229.41 Set: 17805.416 Check: 0.0 Back: 2151.647
INFO - Atoms: 371295/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 94389571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.079 Prop: 116997.833 PropClause: 114670.346 Set: 17868.848 Check: 0.0 Back: 2160.134
INFO - Atoms: 370909/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 94760222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.085 Prop: 117449.584 PropClause: 115112.96 Set: 17932.445 Check: 0.0 Back: 2168.609
INFO - Atoms: 370651/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 95130483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.093 Prop: 117932.702 PropClause: 115586.926 Set: 17997.879 Check: 0.0 Back: 2177.104
INFO - Atoms: 370261/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 95500488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.102 Prop: 118401.079 PropClause: 116046.134 Set: 18061.947 Check: 0.0 Back: 2185.645
INFO - Atoms: 370005/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 95870105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.109 Prop: 118859.822 PropClause: 116495.748 Set: 18126.303 Check: 0.0 Back: 2194.158
INFO - Atoms: 369617/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 96239458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.116 Prop: 119308.987 PropClause: 116935.83 Set: 18189.986 Check: 0.0 Back: 2202.635
INFO - Atoms: 369353/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 96608429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.123 Prop: 119767.042 PropClause: 117384.785 Set: 18300.894 Check: 0.0 Back: 2211.1
INFO - Atoms: 368971/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 96977142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.13 Prop: 120224.792 PropClause: 117833.466 Set: 18364.305 Check: 0.0 Back: 2219.583
INFO - Atoms: 368713/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 97345465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.137 Prop: 120715.452 PropClause: 118314.943 Set: 18428.473 Check: 0.0 Back: 2228.042
INFO - Atoms: 368323/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 97713530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.145 Prop: 121184.616 PropClause: 118774.993 Set: 18574.825 Check: 0.0 Back: 2236.541
INFO - Atoms: 368065/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 98081209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.152 Prop: 121627.633 PropClause: 119208.976 Set: 18637.399 Check: 0.0 Back: 2245.117
INFO - Atoms: 367679/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 98448630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 122058.238 PropClause: 119630.542 Set: 18699.964 Check: 0.0 Back: 2253.541
INFO - Atoms: 367421/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 98815663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.165 Prop: 122521.567 PropClause: 120084.739 Set: 18764.798 Check: 0.0 Back: 2261.98
INFO - Atoms: 367033/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 99182438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.173 Prop: 122977.048 PropClause: 120531.149 Set: 18827.94 Check: 0.0 Back: 2270.433
INFO - Atoms: 366775/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 99548825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.179 Prop: 123437.788 PropClause: 120982.777 Set: 18891.532 Check: 0.0 Back: 2278.83
INFO - Atoms: 366387/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 99914952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.186 Prop: 123884.561 PropClause: 121420.408 Set: 18955.125 Check: 0.0 Back: 2287.274
INFO - Atoms: 366127/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 100280691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.192 Prop: 124339.242 PropClause: 121866.048 Set: 19017.743 Check: 0.0 Back: 2295.673
INFO - Atoms: 365739/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 100646174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.2 Prop: 124793.806 PropClause: 122311.565 Set: 19080.654 Check: 0.0 Back: 2304.11
INFO - Atoms: 365483/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 101011267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.206 Prop: 125259.286 PropClause: 122768.039 Set: 19144.725 Check: 0.0 Back: 2312.535
INFO - Atoms: 365093/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 101376102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.213 Prop: 125698.375 PropClause: 123198.085 Set: 19208.002 Check: 0.0 Back: 2320.887
INFO - Atoms: 364835/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 101740549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.221 Prop: 126158.428 PropClause: 123649.12 Set: 19325.9 Check: 0.0 Back: 2329.29
INFO - Atoms: 364447/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 102104740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.228 Prop: 126607.516 PropClause: 124089.244 Set: 19388.916 Check: 0.0 Back: 2337.656
INFO - Atoms: 364191/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 102468543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.235 Prop: 127051.338 PropClause: 124524.019 Set: 19451.873 Check: 0.0 Back: 2346.039
INFO - Atoms: 363803/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 102832086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.242 Prop: 127475.987 PropClause: 124939.656 Set: 19514.15 Check: 0.0 Back: 2354.433
INFO - Atoms: 363543/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 103195241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 127911.214 PropClause: 125365.903 Set: 19576.903 Check: 0.0 Back: 2362.797
INFO - Atoms: 363155/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 103558138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.257 Prop: 128333.439 PropClause: 125779.15 Set: 19639.514 Check: 0.0 Back: 2371.175
INFO - Atoms: 362897/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 103920647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.266 Prop: 128784.228 PropClause: 126220.947 Set: 19701.862 Check: 0.0 Back: 2379.614
INFO - Atoms: 362509/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 104282900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.273 Prop: 129227.488 PropClause: 126655.292 Set: 19763.983 Check: 0.0 Back: 2387.935
INFO - Atoms: 362253/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 104644765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.28 Prop: 129662.887 PropClause: 127081.756 Set: 19826.264 Check: 0.0 Back: 2396.263
INFO - Atoms: 361865/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 105006372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.286 Prop: 130089.587 PropClause: 127499.617 Set: 19888.386 Check: 0.0 Back: 2404.608
INFO - Atoms: 361607/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 105367591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.293 Prop: 130526.941 PropClause: 127927.969 Set: 19949.867 Check: 0.0 Back: 2412.881
INFO - Atoms: 361219/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 105728550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.302 Prop: 130959.12 PropClause: 128351.289 Set: 20091.273 Check: 0.0 Back: 2421.166
INFO - Atoms: 360959/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 106089121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.307 Prop: 131402.921 PropClause: 128786.219 Set: 20153.007 Check: 0.0 Back: 2429.448
INFO - Atoms: 360571/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 106449436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.313 Prop: 131839.756 PropClause: 129214.158 Set: 20214.856 Check: 0.0 Back: 2437.722
INFO - Atoms: 360315/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 106809363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.321 Prop: 132289.269 PropClause: 129654.771 Set: 20277.358 Check: 0.0 Back: 2446.192
INFO - Atoms: 359927/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 107169032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.328 Prop: 132721.923 PropClause: 130078.472 Set: 20339.29 Check: 0.0 Back: 2454.564
INFO - Atoms: 359669/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 107528311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.334 Prop: 133133.067 PropClause: 130480.753 Set: 20399.942 Check: 0.0 Back: 2462.821
INFO - Atoms: 359279/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 107887334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.342 Prop: 133537.48 PropClause: 130876.336 Set: 20461.3 Check: 0.0 Back: 2471.06
INFO - Atoms: 359023/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 108245967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 133969.991 PropClause: 131300.007 Set: 20522.582 Check: 0.0 Back: 2479.292
INFO - Atoms: 358633/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 108604342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.355 Prop: 134394.416 PropClause: 131715.62 Set: 20694.122 Check: 0.0 Back: 2487.522
INFO - Atoms: 358375/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 108962331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.362 Prop: 134837.95 PropClause: 132150.287 Set: 20755.949 Check: 0.0 Back: 2495.819
INFO - Atoms: 357989/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 109320062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.37 Prop: 135259.739 PropClause: 132563.265 Set: 20817.51 Check: 0.0 Back: 2504.088
INFO - Atoms: 357731/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 109677405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.377 Prop: 135671.693 PropClause: 132966.353 Set: 20878.35 Check: 0.0 Back: 2512.402
INFO - Atoms: 357343/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 110034424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.383 Prop: 136076.213 PropClause: 133362.038 Set: 20939.147 Check: 0.0 Back: 2520.59
INFO - Atoms: 357019/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 110391121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.391 Prop: 136503.356 PropClause: 133780.314 Set: 21000.832 Check: 0.0 Back: 2528.802
INFO - Atoms: 356697/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 110747558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.399 Prop: 136915.661 PropClause: 134183.823 Set: 21061.098 Check: 0.0 Back: 2537.049
INFO - Atoms: 356437/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 111103609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.406 Prop: 137350.14 PropClause: 134609.487 Set: 21122.343 Check: 0.0 Back: 2545.251
INFO - Atoms: 356051/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 111459336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.413 Prop: 137781.789 PropClause: 135032.32 Set: 21264.226 Check: 0.0 Back: 2553.391
INFO - Atoms: 355727/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 111814739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.42 Prop: 138217.348 PropClause: 135459.123 Set: 21326.608 Check: 0.0 Back: 2561.661
INFO - Atoms: 355403/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 112169820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.427 Prop: 138622.481 PropClause: 135855.496 Set: 21387.166 Check: 0.0 Back: 2569.851
INFO - Atoms: 355081/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 112524577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.433 Prop: 139031.131 PropClause: 136255.408 Set: 21447.005 Check: 0.0 Back: 2578.061
INFO - Atoms: 354757/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 112879076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.442 Prop: 139453.069 PropClause: 136668.62 Set: 21507.507 Check: 0.0 Back: 2586.218
INFO - Atoms: 354499/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 113233187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.449 Prop: 139880.806 PropClause: 137087.58 Set: 21568.579 Check: 0.0 Back: 2594.415
INFO - Atoms: 354111/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 113587040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.455 Prop: 140306.141 PropClause: 137504.165 Set: 21630.133 Check: 0.0 Back: 2602.602
INFO - Atoms: 353853/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 113940507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.463 Prop: 140734.722 PropClause: 137923.966 Set: 21690.864 Check: 0.0 Back: 2610.76
INFO - Atoms: 353467/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 114293716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.47 Prop: 141151.507 PropClause: 138331.999 Set: 21751.056 Check: 0.0 Back: 2619.151
INFO - Atoms: 353209/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 114646537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.476 Prop: 141558.898 PropClause: 138730.704 Set: 21810.776 Check: 0.0 Back: 2627.242
INFO - Atoms: 352821/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 114999098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.483 Prop: 141957.715 PropClause: 139120.795 Set: 21870.464 Check: 0.0 Back: 2635.325
INFO - Atoms: 352561/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 115351271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.49 Prop: 142375.378 PropClause: 139529.784 Set: 21931.483 Check: 0.0 Back: 2643.439
INFO - Atoms: 352173/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 115703188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.497 Prop: 142791.697 PropClause: 139937.445 Set: 21991.864 Check: 0.0 Back: 2651.534
INFO - Atoms: 351917/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 116054717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.504 Prop: 143215.036 PropClause: 140352.152 Set: 22115.588 Check: 0.0 Back: 2659.604
INFO - Atoms: 351529/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 116405988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 143626.282 PropClause: 140754.794 Set: 22175.035 Check: 0.0 Back: 2667.698
INFO - Atoms: 351271/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 116756871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.519 Prop: 144033.576 PropClause: 141153.466 Set: 22235.046 Check: 0.0 Back: 2675.738
INFO - Atoms: 350883/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 117107430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.525 Prop: 144426.129 PropClause: 141537.375 Set: 22294.51 Check: 0.0 Back: 2683.74
INFO - Atoms: 350559/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 117457665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.533 Prop: 144834.711 PropClause: 141937.26 Set: 22354.18 Check: 0.0 Back: 2691.74
INFO - Atoms: 350235/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 117807644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.541 Prop: 145245.034 PropClause: 142338.895 Set: 22414.977 Check: 0.0 Back: 2699.801
INFO - Atoms: 349979/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 118157235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.547 Prop: 145672.823 PropClause: 142758.065 Set: 22474.745 Check: 0.0 Back: 2707.852
INFO - Atoms: 349591/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 118506568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.553 Prop: 146079.753 PropClause: 143156.453 Set: 22533.831 Check: 0.0 Back: 2715.902
INFO - Atoms: 349333/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 118855513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.562 Prop: 146500.04 PropClause: 143568.159 Set: 22593.654 Check: 0.0 Back: 2723.948
INFO - Atoms: 348945/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 119204134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.569 Prop: 146890.583 PropClause: 143950.108 Set: 22653.082 Check: 0.0 Back: 2731.968
INFO - Atoms: 348621/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 119552431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.576 Prop: 147290.371 PropClause: 144341.348 Set: 22711.914 Check: 0.0 Back: 2739.857
INFO - Atoms: 348297/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 119900470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.583 Prop: 147682.139 PropClause: 144724.482 Set: 22771.28 Check: 0.0 Back: 2747.753
INFO - Atoms: 348039/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 120248123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 148095.704 PropClause: 145129.479 Set: 22831.072 Check: 0.0 Back: 2755.834
INFO - Atoms: 347653/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 120595513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 148508.441 PropClause: 145533.676 Set: 22993.257 Check: 0.0 Back: 2763.81
INFO - Atoms: 347390/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 120942520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.602 Prop: 148930.949 PropClause: 145947.639 Set: 23052.778 Check: 0.0 Back: 2771.823
INFO - Atoms: 347007/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 121289267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.61 Prop: 149343.197 PropClause: 146351.362 Set: 23111.834 Check: 0.0 Back: 2779.804
INFO - Atoms: 346747/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 121635626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.616 Prop: 149748.769 PropClause: 146748.458 Set: 23169.946 Check: 0.0 Back: 2787.777
INFO - Atoms: 346359/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 121981729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.623 Prop: 150132.449 PropClause: 147123.609 Set: 23228.124 Check: 0.0 Back: 2795.721
INFO - Atoms: 346103/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 122327442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 150540.13 PropClause: 147522.778 Set: 23340.691 Check: 0.0 Back: 2803.611
INFO - Atoms: 345713/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 122672897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.636 Prop: 150944.144 PropClause: 147918.244 Set: 23399.145 Check: 0.0 Back: 2811.483
INFO - Atoms: 345455/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 123017966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.644 Prop: 151354.068 PropClause: 148319.65 Set: 23457.751 Check: 0.0 Back: 2819.385
INFO - Atoms: 345069/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 123362772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.651 Prop: 151771.634 PropClause: 148728.682 Set: 23516.949 Check: 0.0 Back: 2827.342
INFO - Atoms: 344806/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 123707193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.658 Prop: 152189.9 PropClause: 149138.452 Set: 23576.52 Check: 0.0 Back: 2835.277
INFO - Atoms: 344421/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 124051358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.667 Prop: 152572.038 PropClause: 149512.115 Set: 23634.81 Check: 0.0 Back: 2843.189
INFO - Atoms: 344165/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 124395133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.673 Prop: 152960.904 PropClause: 149892.574 Set: 23692.815 Check: 0.0 Back: 2851.11
INFO - Atoms: 343775/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 124738650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.679 Prop: 153337.747 PropClause: 150260.991 Set: 23750.429 Check: 0.0 Back: 2858.98
INFO - Atoms: 343517/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 125081781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.687 Prop: 153745.261 PropClause: 150660.059 Set: 23808.708 Check: 0.0 Back: 2866.82
INFO - Atoms: 343131/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 125424652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.693 Prop: 154139.344 PropClause: 151045.684 Set: 23866.436 Check: 0.0 Back: 2874.737
INFO - Atoms: 342871/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 125767135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 154544.61 PropClause: 151442.458 Set: 23925.979 Check: 0.0 Back: 2882.562
INFO - Atoms: 342483/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 126109360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.706 Prop: 154948.764 PropClause: 151838.122 Set: 23983.891 Check: 0.0 Back: 2890.424
INFO - Atoms: 342225/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 126451199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.714 Prop: 155338.945 PropClause: 152219.873 Set: 24041.803 Check: 0.0 Back: 2898.284
INFO - Atoms: 341839/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 126792780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.721 Prop: 155714.838 PropClause: 152587.369 Set: 24099.182 Check: 0.0 Back: 2906.144
INFO - Atoms: 341581/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 127133973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.728 Prop: 156113.363 PropClause: 152977.562 Set: 24157.099 Check: 0.0 Back: 2913.967
INFO - Atoms: 341193/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 127474842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.734 Prop: 156511.315 PropClause: 153367.122 Set: 24215.438 Check: 0.0 Back: 2921.782
INFO - Atoms: 340869/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 127815389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.741 Prop: 156919.492 PropClause: 153766.944 Set: 24273.391 Check: 0.0 Back: 2929.638
INFO - Atoms: 340547/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 128155678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.748 Prop: 157318.323 PropClause: 154157.399 Set: 24331.462 Check: 0.0 Back: 2937.509
INFO - Atoms: 340289/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 128495577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.755 Prop: 157719.572 PropClause: 154550.3 Set: 24389.149 Check: 0.0 Back: 2945.354
INFO - Atoms: 339899/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 128835218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.762 Prop: 158115.104 PropClause: 154937.48 Set: 24446.829 Check: 0.0 Back: 2953.183
INFO - Atoms: 339641/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 129174473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.77 Prop: 158516.768 PropClause: 155330.762 Set: 24505.306 Check: 0.0 Back: 2961.054
INFO - Atoms: 339255/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 129513468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.777 Prop: 158905.296 PropClause: 155710.935 Set: 24563.268 Check: 0.0 Back: 2968.852
INFO - Atoms: 338995/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 129852077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 159296.788 PropClause: 156094.124 Set: 24620.906 Check: 0.0 Back: 2976.601
INFO - Atoms: 338609/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 130190419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 159685.082 PropClause: 156474.101 Set: 24678.047 Check: 0.0 Back: 2984.327
INFO - Atoms: 338342/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 130528382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.798 Prop: 160092.529 PropClause: 156873.214 Set: 24735.953 Check: 0.0 Back: 2992.04
INFO - Atoms: 337963/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 130866087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.803 Prop: 160486.868 PropClause: 157259.175 Set: 24793.664 Check: 0.0 Back: 2999.768
INFO - Atoms: 337705/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 131203404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.811 Prop: 160879.737 PropClause: 157643.721 Set: 24851.718 Check: 0.0 Back: 3007.455
INFO - Atoms: 337317/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 131540397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.818 Prop: 161253.879 PropClause: 158009.556 Set: 24908.649 Check: 0.0 Back: 3015.18
INFO - Atoms: 336993/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 131877068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.825 Prop: 161644.517 PropClause: 158391.861 Set: 24965.97 Check: 0.0 Back: 3022.844
INFO - Atoms: 336671/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 132213481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.833 Prop: 162032.951 PropClause: 158772.005 Set: 25023.425 Check: 0.0 Back: 3030.556
INFO - Atoms: 336413/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 132549506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.84 Prop: 162427.596 PropClause: 159158.373 Set: 25129.539 Check: 0.0 Back: 3038.268
INFO - Atoms: 336025/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 132885273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 162825.1 PropClause: 159547.604 Set: 25186.455 Check: 0.0 Back: 3046.005
INFO - Atoms: 335767/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 133220652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.854 Prop: 163235.292 PropClause: 159949.536 Set: 25243.962 Check: 0.0 Back: 3053.757
INFO - Atoms: 335379/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 133555771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.861 Prop: 163605.924 PropClause: 160311.88 Set: 25300.67 Check: 0.0 Back: 3061.498
INFO - Atoms: 335119/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 133890504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.869 Prop: 163983.395 PropClause: 160681.096 Set: 25357.156 Check: 0.0 Back: 3069.243
INFO - Atoms: 334733/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 134224977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.876 Prop: 164366.932 PropClause: 161056.433 Set: 25488.33 Check: 0.0 Back: 3076.876
INFO - Atoms: 334473/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 134559062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.883 Prop: 164762.131 PropClause: 161443.419 Set: 25545.307 Check: 0.0 Back: 3084.569
INFO - Atoms: 334085/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 134892891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.889 Prop: 165156.14 PropClause: 161829.226 Set: 25601.784 Check: 0.0 Back: 3092.249
INFO - Atoms: 333829/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 135226330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.897 Prop: 165558.561 PropClause: 162223.442 Set: 25659.06 Check: 0.0 Back: 3099.98
INFO - Atoms: 333439/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 135559511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.904 Prop: 165941.469 PropClause: 162598.159 Set: 25715.561 Check: 0.0 Back: 3107.686
INFO - Atoms: 333181/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 135892306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.912 Prop: 166317.387 PropClause: 162965.951 Set: 25771.535 Check: 0.0 Back: 3115.356
INFO - Atoms: 332795/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 136224841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.919 Prop: 166680.955 PropClause: 163321.384 Set: 25827.308 Check: 0.0 Back: 3122.999
INFO - Atoms: 332535/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 136556990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.927 Prop: 167062.337 PropClause: 163694.611 Set: 25936.614 Check: 0.0 Back: 3130.613
INFO - Atoms: 332149/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 136888881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.934 Prop: 167436.856 PropClause: 164061.009 Set: 25992.491 Check: 0.0 Back: 3138.297
INFO - Atoms: 331891/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 137220382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.941 Prop: 167833.119 PropClause: 164449.121 Set: 26049.349 Check: 0.0 Back: 3145.921
INFO - Atoms: 331501/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 137551627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.948 Prop: 168213.397 PropClause: 164821.315 Set: 26105.626 Check: 0.0 Back: 3153.59
INFO - Atoms: 331245/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 137882484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.956 Prop: 168616.452 PropClause: 165216.253 Set: 26162.02 Check: 0.0 Back: 3161.21
INFO - Atoms: 330857/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 138213083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.963 Prop: 168979.026 PropClause: 165570.668 Set: 26217.733 Check: 0.0 Back: 3168.854
INFO - Atoms: 330599/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 138543294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.97 Prop: 169354.944 PropClause: 165938.528 Set: 26273.553 Check: 0.0 Back: 3176.415
INFO - Atoms: 330211/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 138873247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.977 Prop: 169724.947 PropClause: 166300.45 Set: 26400.915 Check: 0.0 Back: 3183.981
INFO - Atoms: 329953/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 139202812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.983 Prop: 170111.625 PropClause: 166679.028 Set: 26458.003 Check: 0.0 Back: 3191.573
INFO - Atoms: 329565/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 139532112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.99 Prop: 170489.455 PropClause: 167048.719 Set: 26514.441 Check: 0.0 Back: 3199.158
INFO - Atoms: 329300/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 139861029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.996 Prop: 170873.352 PropClause: 167424.489 Set: 26570.557 Check: 0.0 Back: 3206.868
INFO - Atoms: 328917/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 140189624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.002 Prop: 171240.862 PropClause: 167783.936 Set: 26626.561 Check: 0.0 Back: 3214.53
INFO - Atoms: 328595/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 140517897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.008 Prop: 171606.348 PropClause: 168141.456 Set: 26681.457 Check: 0.0 Back: 3222.142
INFO - Atoms: 328273/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 140845846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.014 Prop: 171957.075 PropClause: 168484.18 Set: 26735.697 Check: 0.0 Back: 3229.661
INFO - Atoms: 327949/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 141173471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.02 Prop: 172322.043 PropClause: 168841.117 Set: 26791.557 Check: 0.0 Back: 3237.172
INFO - Atoms: 327625/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 141500832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.027 Prop: 172685.72 PropClause: 169196.725 Set: 26847.589 Check: 0.0 Back: 3244.646
INFO - Atoms: 327361/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 141827811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.034 Prop: 173057.292 PropClause: 169560.27 Set: 26958.849 Check: 0.0 Back: 3252.137
INFO - Atoms: 326979/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 142154534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.041 Prop: 173426.558 PropClause: 169921.574 Set: 27013.888 Check: 0.0 Back: 3259.669
INFO - Atoms: 326723/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 142480869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.048 Prop: 173806.001 PropClause: 170293.011 Set: 27069.627 Check: 0.0 Back: 3267.168
INFO - Atoms: 326335/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 142806946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.054 Prop: 174173.368 PropClause: 170652.368 Set: 27124.236 Check: 0.0 Back: 3274.672
INFO - Atoms: 326077/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 143132635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.061 Prop: 174546.311 PropClause: 171017.349 Set: 27178.772 Check: 0.0 Back: 3282.19
INFO - Atoms: 325689/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 143458064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.068 Prop: 174896.47 PropClause: 171359.605 Set: 27232.279 Check: 0.0 Back: 3289.664
INFO - Atoms: 325429/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 143783105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.075 Prop: 175263.522 PropClause: 171718.722 Set: 27286.726 Check: 0.0 Back: 3297.074
INFO - Atoms: 325041/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 144107883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.081 Prop: 175624.162 PropClause: 172071.378 Set: 27341.5 Check: 0.0 Back: 3304.496
INFO - Atoms: 324778/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 144432280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.089 Prop: 175997.288 PropClause: 172436.49 Set: 27396.862 Check: 0.0 Back: 3311.967
INFO - Atoms: 324397/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 144756419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.096 Prop: 176357.806 PropClause: 172789.037 Set: 27525.681 Check: 0.0 Back: 3319.407
INFO - Atoms: 324139/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 145080170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 176731.906 PropClause: 173155.139 Set: 27581.086 Check: 0.0 Back: 3326.876
INFO - Atoms: 323751/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 145403661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.109 Prop: 177082.506 PropClause: 173497.756 Set: 27635.638 Check: 0.0 Back: 3334.374
INFO - Atoms: 323491/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 145726764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.116 Prop: 177436.138 PropClause: 173843.465 Set: 27690.874 Check: 0.0 Back: 3341.742
INFO - Atoms: 323103/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 146049606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.123 Prop: 177784.212 PropClause: 174183.606 Set: 27744.701 Check: 0.0 Back: 3349.086
INFO - Atoms: 322842/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 146372063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 178146.911 PropClause: 174538.376 Set: 27799.489 Check: 0.0 Back: 3356.414
INFO - Atoms: 322457/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 146694262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.137 Prop: 178509.85 PropClause: 174893.378 Set: 27854.419 Check: 0.0 Back: 3363.778
INFO - Atoms: 322199/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 147016073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 178888.261 PropClause: 175263.853 Set: 27909.173 Check: 0.0 Back: 3371.164
INFO - Atoms: 321811/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 147337626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 179250.817 PropClause: 175618.526 Set: 27963.135 Check: 0.0 Back: 3378.527
INFO - Atoms: 321553/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 147658793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.158 Prop: 179613.235 PropClause: 175973.055 Set: 28017.062 Check: 0.0 Back: 3385.843
INFO - Atoms: 321167/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 147979702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.165 Prop: 179956.953 PropClause: 176308.968 Set: 28070.755 Check: 0.0 Back: 3393.188
INFO - Atoms: 320909/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 148300223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 180306.774 PropClause: 176650.882 Set: 28188.318 Check: 0.0 Back: 3400.572
INFO - Atoms: 320521/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 148620484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.178 Prop: 180664.999 PropClause: 177001.246 Set: 28241.723 Check: 0.0 Back: 3407.95
INFO - Atoms: 320261/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 148940359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.185 Prop: 181032.789 PropClause: 177361.2 Set: 28295.96 Check: 0.0 Back: 3415.275
INFO - Atoms: 319875/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 149259976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.19 Prop: 181391.128 PropClause: 177711.686 Set: 28350.115 Check: 0.0 Back: 3422.635
INFO - Atoms: 319617/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 149579205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.198 Prop: 181775.291 PropClause: 178087.917 Set: 28405.129 Check: 0.0 Back: 3429.978
INFO - Atoms: 319229/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 149898176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.204 Prop: 182128.648 PropClause: 178433.421 Set: 28458.68 Check: 0.0 Back: 3437.385
INFO - Atoms: 318971/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 150216759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.212 Prop: 182477.9 PropClause: 178774.811 Set: 28512.43 Check: 0.0 Back: 3444.723
INFO - Atoms: 318583/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 150535078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.218 Prop: 182817.133 PropClause: 179106.215 Set: 28565.459 Check: 0.0 Back: 3452.006
INFO - Atoms: 318319/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 150853013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.225 Prop: 183161.91 PropClause: 179443.178 Set: 28619.301 Check: 0.0 Back: 3459.269
INFO - Atoms: 317935/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 151170690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 183511.913 PropClause: 179785.346 Set: 28672.813 Check: 0.0 Back: 3466.49
INFO - Atoms: 317677/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 151487979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.24 Prop: 183867.704 PropClause: 180133.303 Set: 28727.285 Check: 0.0 Back: 3473.705
INFO - Atoms: 317289/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 151805012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.245 Prop: 184217.558 PropClause: 180475.334 Set: 28780.114 Check: 0.0 Back: 3480.933
INFO - Atoms: 317033/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 152121655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.252 Prop: 184575.461 PropClause: 180825.483 Set: 28833.38 Check: 0.0 Back: 3488.19
INFO - Atoms: 316643/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 152437976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.259 Prop: 184911.908 PropClause: 181154.17 Set: 29012.15 Check: 0.0 Back: 3495.45
INFO - Atoms: 316321/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 152753975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.267 Prop: 185267.621 PropClause: 181502.153 Set: 29064.985 Check: 0.0 Back: 3502.682
INFO - Atoms: 315999/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 153069710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.273 Prop: 185598.904 PropClause: 181825.679 Set: 29118.03 Check: 0.0 Back: 3509.904
INFO - Atoms: 315735/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 153385061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.281 Prop: 185952.354 PropClause: 182171.385 Set: 29170.95 Check: 0.0 Back: 3517.015
INFO - Atoms: 315351/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 153700149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 186297.251 PropClause: 182508.557 Set: 29224.497 Check: 0.0 Back: 3524.203
INFO - Atoms: 315088/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 154014856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.293 Prop: 186660.691 PropClause: 182864.277 Set: 29277.803 Check: 0.0 Back: 3531.422
INFO - Atoms: 314707/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 154329296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.301 Prop: 187004.2 PropClause: 183200.036 Set: 29330.842 Check: 0.0 Back: 3538.666
INFO - Atoms: 314440/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 154643357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.309 Prop: 187356.317 PropClause: 183544.42 Set: 29384.941 Check: 0.0 Back: 3545.895
INFO - Atoms: 314061/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 154957158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.315 Prop: 187689.636 PropClause: 183870.015 Set: 29437.323 Check: 0.0 Back: 3553.086
INFO - Atoms: 313801/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 155270571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.322 Prop: 188033.849 PropClause: 184206.455 Set: 29489.832 Check: 0.0 Back: 3560.219
INFO - Atoms: 313413/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 155583721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.329 Prop: 188361.943 PropClause: 184526.887 Set: 29541.522 Check: 0.0 Back: 3567.415
INFO - Atoms: 313150/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 155896490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.337 Prop: 188716.725 PropClause: 184873.97 Set: 29595.28 Check: 0.0 Back: 3574.545
INFO - Atoms: 312769/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 156208999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.345 Prop: 189060.084 PropClause: 185209.644 Set: 29648.044 Check: 0.0 Back: 3581.757
INFO - Atoms: 312509/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 156521120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.351 Prop: 189415.066 PropClause: 185556.898 Set: 29701.276 Check: 0.0 Back: 3588.928
INFO - Atoms: 312121/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 156832983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.358 Prop: 189769.211 PropClause: 185903.333 Set: 29753.961 Check: 0.0 Back: 3596.21
INFO - Atoms: 311863/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 157144460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.366 Prop: 190119.895 PropClause: 186246.349 Set: 29893.775 Check: 0.0 Back: 3603.315
INFO - Atoms: 311477/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 157455679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.373 Prop: 190454.642 PropClause: 186573.501 Set: 29945.269 Check: 0.0 Back: 3610.548
INFO - Atoms: 311219/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 157766508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.38 Prop: 190790.374 PropClause: 186901.571 Set: 30062.592 Check: 0.0 Back: 3617.74
INFO - Atoms: 310829/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 158077015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.387 Prop: 191121.657 PropClause: 187225.125 Set: 30114.255 Check: 0.0 Back: 3624.92
INFO - Atoms: 310507/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 158387198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.394 Prop: 191469.353 PropClause: 187565.17 Set: 30211.661 Check: 0.0 Back: 3632.065
INFO - Atoms: 310183/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 158697125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.401 Prop: 191803.857 PropClause: 187892.068 Set: 30263.405 Check: 0.0 Back: 3639.218
INFO - Atoms: 309927/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 159006664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.409 Prop: 192154.137 PropClause: 188234.726 Set: 30315.993 Check: 0.0 Back: 3646.312
INFO - Atoms: 309539/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 159315945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.417 Prop: 192490.891 PropClause: 188563.849 Set: 30367.638 Check: 0.0 Back: 3653.413
INFO - Atoms: 309281/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 159624836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.425 Prop: 192833.576 PropClause: 188898.949 Set: 30419.465 Check: 0.0 Back: 3660.524
INFO - Atoms: 308891/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 159933405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 193152.237 PropClause: 189210.068 Set: 30470.411 Check: 0.0 Back: 3667.609
INFO - Atoms: 308569/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 160241652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.461 Prop: 193480.271 PropClause: 189530.518 Set: 30522.194 Check: 0.0 Back: 3674.645
INFO - Atoms: 308247/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 160549639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.469 Prop: 193809.682 PropClause: 189852.362 Set: 30573.86 Check: 0.0 Back: 3681.698
INFO - Atoms: 307987/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 160857238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.476 Prop: 194150.744 PropClause: 190185.876 Set: 30625.69 Check: 0.0 Back: 3688.761
INFO - Atoms: 307599/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 161164579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.483 Prop: 194486.183 PropClause: 190513.758 Set: 30677.173 Check: 0.0 Back: 3695.821
INFO - Atoms: 307341/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 161471532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 194836.275 PropClause: 190856.268 Set: 30728.835 Check: 0.0 Back: 3702.862
INFO - Atoms: 306953/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 161778221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.497 Prop: 195170.607 PropClause: 191183.036 Set: 30779.957 Check: 0.0 Back: 3709.932
INFO - Atoms: 306689/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 162084528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 195505.945 PropClause: 191510.919 Set: 30830.515 Check: 0.0 Back: 3716.909
INFO - Atoms: 306307/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 162390513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.511 Prop: 195831.434 PropClause: 191828.888 Set: 30882.72 Check: 0.0 Back: 3723.912
INFO - Atoms: 305985/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 162696176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.518 Prop: 196169.472 PropClause: 192159.387 Set: 30933.948 Check: 0.0 Back: 3730.916
INFO - Atoms: 305663/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 163001579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.525 Prop: 196505.117 PropClause: 192487.508 Set: 30985.371 Check: 0.0 Back: 3737.909
INFO - Atoms: 305403/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 163306594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.533 Prop: 196846.819 PropClause: 192821.746 Set: 31037.211 Check: 0.0 Back: 3744.859
INFO - Atoms: 305015/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 163611351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.54 Prop: 197185.848 PropClause: 193153.254 Set: 31089.366 Check: 0.0 Back: 3751.89
INFO - Atoms: 304757/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 163915722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 197523.991 PropClause: 193483.868 Set: 31140.79 Check: 0.0 Back: 3758.91
INFO - Atoms: 304371/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 164219830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.555 Prop: 197861.526 PropClause: 193813.941 Set: 31191.782 Check: 0.0 Back: 3765.854
INFO - Atoms: 304108/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 164523555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.562 Prop: 198199.939 PropClause: 194144.917 Set: 31242.239 Check: 0.0 Back: 3772.865
INFO - Atoms: 303725/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 164827022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.568 Prop: 198523.89 PropClause: 194461.369 Set: 31293.325 Check: 0.0 Back: 3779.826
INFO - Atoms: 303467/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 165130101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 198842.786 PropClause: 194772.836 Set: 31343.472 Check: 0.0 Back: 3786.765
INFO - Atoms: 303079/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 165432920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.583 Prop: 199167.695 PropClause: 195090.323 Set: 31395.041 Check: 0.0 Back: 3793.631
INFO - Atoms: 302819/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 165735351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.589 Prop: 199511.848 PropClause: 195427.032 Set: 31446.11 Check: 0.0 Back: 3800.563
INFO - Atoms: 302431/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 166037518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.597 Prop: 199851.686 PropClause: 195759.429 Set: 31496.398 Check: 0.0 Back: 3807.457
INFO - Atoms: 302167/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 166339303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.605 Prop: 200225.836 PropClause: 196126.106 Set: 31548.094 Check: 0.0 Back: 3814.41
INFO - Atoms: 301785/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 166640830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.612 Prop: 200585.477 PropClause: 196478.264 Set: 31599.213 Check: 0.0 Back: 3821.414
INFO - Atoms: 301527/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 166941971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.619 Prop: 200940.098 PropClause: 196825.329 Set: 31650.431 Check: 0.0 Back: 3828.377
INFO - Atoms: 301141/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 167242852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.627 Prop: 201272.038 PropClause: 197149.702 Set: 31700.957 Check: 0.0 Back: 3835.52
INFO - Atoms: 300881/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 167543345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.635 Prop: 201618.665 PropClause: 197488.783 Set: 31752.263 Check: 0.0 Back: 3842.578
INFO - Atoms: 300493/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 167843574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.642 Prop: 201958.783 PropClause: 197821.369 Set: 31803.668 Check: 0.0 Back: 3849.646
INFO - Atoms: 300229/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 168143423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.65 Prop: 202307.061 PropClause: 198162.249 Set: 31854.297 Check: 0.0 Back: 3856.624
INFO - Atoms: 299849/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 168443007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 202651.344 PropClause: 198499.125 Set: 31905.391 Check: 0.0 Back: 3863.572
INFO - Atoms: 299584/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 168742208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.664 Prop: 203010.813 PropClause: 198851.185 Set: 31957.843 Check: 0.0 Back: 3870.463
INFO - Atoms: 299201/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 169041153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.672 Prop: 203356.013 PropClause: 199188.986 Set: 32009.055 Check: 0.0 Back: 3877.444
INFO - Atoms: 298945/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 169339710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.68 Prop: 203678.57 PropClause: 199504.248 Set: 32058.863 Check: 0.0 Back: 3884.281
INFO - Atoms: 298557/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 169638009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.689 Prop: 203993.847 PropClause: 199812.168 Set: 32109.179 Check: 0.0 Back: 3891.105
INFO - Atoms: 298299/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 169935920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 204333.344 PropClause: 200144.238 Set: 32258.833 Check: 0.0 Back: 3897.961
INFO - Atoms: 297911/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 170233567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.704 Prop: 204667.545 PropClause: 200471.083 Set: 32312.062 Check: 0.0 Back: 3904.931
INFO - Atoms: 297647/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 170530830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.711 Prop: 205006.433 PropClause: 200802.633 Set: 32459.239 Check: 0.0 Back: 3911.782
INFO - Atoms: 297263/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 170827771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.719 Prop: 205340.824 PropClause: 201129.608 Set: 32508.512 Check: 0.0 Back: 3918.691
INFO - Atoms: 296941/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 171124390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.727 Prop: 205680.719 PropClause: 201462.161 Set: 32662.803 Check: 0.0 Back: 3925.522
INFO - Atoms: 296619/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 171420751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.732 Prop: 205992.846 PropClause: 201766.97 Set: 32712.16 Check: 0.0 Back: 3932.367
INFO - Atoms: 296361/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 171716722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.74 Prop: 206314.304 PropClause: 202081.139 Set: 32854.211 Check: 0.0 Back: 3939.133
INFO - Atoms: 295971/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 172012437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.746 Prop: 206628.064 PropClause: 202387.57 Set: 32903.378 Check: 0.0 Back: 3945.968
INFO - Atoms: 295715/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 172307764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.752 Prop: 206950.88 PropClause: 202703.095 Set: 33047.27 Check: 0.0 Back: 3952.738
INFO - Atoms: 295327/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 172602833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 207278.56 PropClause: 203023.47 Set: 33096.758 Check: 0.0 Back: 3959.54
INFO - Atoms: 295069/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 172897512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.765 Prop: 207611.537 PropClause: 203349.163 Set: 33237.835 Check: 0.0 Back: 3966.266
INFO - Atoms: 294679/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 173191935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.771 Prop: 207935.956 PropClause: 203666.294 Set: 33286.644 Check: 0.0 Back: 3973.074
INFO - Atoms: 294423/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 173485968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.778 Prop: 208261.018 PropClause: 203984.069 Set: 33418.177 Check: 0.0 Back: 3979.855
INFO - Atoms: 294033/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 173779743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.785 Prop: 208563.901 PropClause: 204279.786 Set: 33467.36 Check: 0.0 Back: 3986.583
INFO - Atoms: 293775/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 174073132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.791 Prop: 208877.444 PropClause: 204586.037 Set: 33596.55 Check: 0.0 Back: 3993.334
INFO - Atoms: 293389/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 174366263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.798 Prop: 209190.951 PropClause: 204892.312 Set: 33645.269 Check: 0.0 Back: 4000.045
INFO - Atoms: 293131/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 174659006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.805 Prop: 209515.605 PropClause: 205209.69 Set: 33775.935 Check: 0.0 Back: 4006.781
INFO - Atoms: 292743/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 174951489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.812 Prop: 209836.443 PropClause: 205523.259 Set: 33825.471 Check: 0.0 Back: 4013.561
INFO - Atoms: 292483/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 175243586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.819 Prop: 210165.816 PropClause: 205845.393 Set: 33961.077 Check: 0.0 Back: 4020.314
INFO - Atoms: 292097/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 175535425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 210505.593 PropClause: 206177.907 Set: 34011.073 Check: 0.0 Back: 4027.111
INFO - Atoms: 291839/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 175826874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.833 Prop: 210826.176 PropClause: 206491.221 Set: 34146.848 Check: 0.0 Back: 4033.855
INFO - Atoms: 291449/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 176118058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.839 Prop: 211141.083 PropClause: 206798.926 Set: 34194.638 Check: 0.0 Back: 4040.609
INFO - Atoms: 291184/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 176408861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.847 Prop: 211461.176 PropClause: 207111.805 Set: 34341.277 Check: 0.0 Back: 4047.304
INFO - Atoms: 290803/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 176699406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.853 Prop: 211781.651 PropClause: 207425.083 Set: 34389.961 Check: 0.0 Back: 4053.996
INFO - Atoms: 290545/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 176989565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.861 Prop: 212102.102 PropClause: 207738.418 Set: 34438.757 Check: 0.0 Back: 4060.65
INFO - Atoms: 290159/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 177279466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.869 Prop: 212425.801 PropClause: 208054.955 Set: 34487.48 Check: 0.0 Back: 4067.322
INFO - Atoms: 289901/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 177568977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.875 Prop: 212753.499 PropClause: 208375.489 Set: 34536.692 Check: 0.0 Back: 4073.993
INFO - Atoms: 289511/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 177858232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 213076.448 PropClause: 208691.343 Set: 34585.227 Check: 0.0 Back: 4080.683
INFO - Atoms: 289255/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 178147099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.889 Prop: 213387.837 PropClause: 208995.589 Set: 34632.476 Check: 0.0 Back: 4087.368
INFO - Atoms: 288867/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 178435706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.896 Prop: 213682.241 PropClause: 209282.865 Set: 34679.083 Check: 0.0 Back: 4093.965
INFO - Atoms: 288607/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 178723925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.902 Prop: 213990.369 PropClause: 209583.914 Set: 34727.078 Check: 0.0 Back: 4100.545
INFO - Atoms: 288219/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 179011888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.91 Prop: 214294.002 PropClause: 209880.48 Set: 34774.993 Check: 0.0 Back: 4107.156
INFO - Atoms: 287963/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 179299461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.916 Prop: 214611.184 PropClause: 210190.592 Set: 34822.406 Check: 0.0 Back: 4113.801
INFO - Atoms: 287573/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 179586776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.924 Prop: 214920.649 PropClause: 210493.014 Set: 34869.225 Check: 0.0 Back: 4120.405
INFO - Atoms: 287315/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 179873705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 215237.436 PropClause: 210802.711 Set: 34916.748 Check: 0.0 Back: 4126.997
INFO - Atoms: 286929/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 180160374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.939 Prop: 215545.517 PropClause: 211103.699 Set: 34965.456 Check: 0.0 Back: 4133.61
INFO - Atoms: 286669/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 180446655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.946 Prop: 215865.112 PropClause: 211416.155 Set: 35014.039 Check: 0.0 Back: 4140.171
INFO - Atoms: 286281/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 180732678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.952 Prop: 216155.628 PropClause: 211699.543 Set: 35061.818 Check: 0.0 Back: 4146.715
INFO - Atoms: 286023/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 181018315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.959 Prop: 216459.859 PropClause: 211996.754 Set: 35108.432 Check: 0.0 Back: 4153.26
INFO - Atoms: 285637/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 181303694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.968 Prop: 216760.52 PropClause: 212290.431 Set: 35154.909 Check: 0.0 Back: 4159.865
INFO - Atoms: 285379/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 181588685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 217071.912 PropClause: 212594.819 Set: 35202.152 Check: 0.0 Back: 4166.44
INFO - Atoms: 284991/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 181873409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.981 Prop: 217379.786 PropClause: 212895.658 Set: 35249.916 Check: 0.0 Back: 4172.984
INFO - Atoms: 284724/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 182157754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.989 Prop: 217689.221 PropClause: 213198.033 Set: 35297.957 Check: 0.0 Back: 4179.522
INFO - Atoms: 284345/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 182441839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.996 Prop: 217997.351 PropClause: 213499.168 Set: 35344.779 Check: 0.0 Back: 4186.071
INFO - Atoms: 284085/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 6140 Tprops: 10174 Decides: 427894 RSplits: 0
INFO - Times: Expl: 1775.472 Prop: 574624.347 PropClause: 27.314 Set: 197145.868 Check: 10435.797 Back: 624.867
INFO - Atoms: 37/3763 Clauses: 500 Axioms: 3763
INFO - CCTimes: iE 4315722 eq 206263676 cc 2391939140 setRep 754332788
INFO - Merges: 3847729, cc:14503040
INFO - BVTimes: BB 2299239465 BB_DPLL 508778038477 Graph 6543622288
INFO - BitBlastingClauses: 2864130 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 182725538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.003 Prop: 218304.99 PropClause: 213799.779 Set: 35439.317 Check: 0.0 Back: 4192.635
INFO - Atoms: 283699/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 183008979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.009 Prop: 218587.871 PropClause: 214075.683 Set: 35486.31 Check: 0.0 Back: 4199.129
INFO - Atoms: 283441/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 183292032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.017 Prop: 218880.72 PropClause: 214361.467 Set: 35534.372 Check: 0.0 Back: 4205.637
INFO - Atoms: 283053/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 183574761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 219182.582 PropClause: 214656.326 Set: 35580.975 Check: 0.0 Back: 4212.166
INFO - Atoms: 282729/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 183857168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.097 Prop: 219495.955 PropClause: 214962.658 Set: 35628.802 Check: 0.0 Back: 4218.651
INFO - Atoms: 282407/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 184139310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.168 Prop: 219803.597 PropClause: 215263.25 Set: 35676.862 Check: 0.0 Back: 4225.175
INFO - Atoms: 282142/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 184421069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.213 Prop: 220112.462 PropClause: 215565.103 Set: 35725.532 Check: 0.0 Back: 4231.654
INFO - Atoms: 281759/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 184702572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.257 Prop: 220402.396 PropClause: 215848.095 Set: 35771.576 Check: 0.0 Back: 4238.183
INFO - Atoms: 281503/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 184983685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.294 Prop: 220689.778 PropClause: 216128.507 Set: 35818.773 Check: 0.0 Back: 4244.684
INFO - Atoms: 281113/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 185264540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.334 Prop: 220976.685 PropClause: 216408.453 Set: 35866.382 Check: 0.0 Back: 4251.085
INFO - Atoms: 280855/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 185545009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.374 Prop: 221271.275 PropClause: 216696.045 Set: 35913.353 Check: 0.0 Back: 4257.547
INFO - Atoms: 280469/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 185825220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.412 Prop: 221562.705 PropClause: 216980.515 Set: 35960.51 Check: 0.0 Back: 4264.036
INFO - Atoms: 280211/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 186105041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.464 Prop: 221865.919 PropClause: 217276.789 Set: 36086.482 Check: 0.0 Back: 4270.482
INFO - Atoms: 279821/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 186384606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.503 Prop: 222141.505 PropClause: 217545.443 Set: 36133.532 Check: 0.0 Back: 4276.961
INFO - Atoms: 279565/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 186663783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.542 Prop: 222429.384 PropClause: 217826.383 Set: 36180.653 Check: 0.0 Back: 4283.309
INFO - Atoms: 279177/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 186942700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.582 Prop: 222707.552 PropClause: 218097.69 Set: 36227.133 Check: 0.0 Back: 4289.733
INFO - Atoms: 278917/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 187221231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.625 Prop: 222996.537 PropClause: 218379.755 Set: 36274.477 Check: 0.0 Back: 4296.11
INFO - Atoms: 278531/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 187499438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.662 Prop: 223282.503 PropClause: 218658.878 Set: 36321.219 Check: 0.0 Back: 4302.524
INFO - Atoms: 278207/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 187777321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.704 Prop: 223569.159 PropClause: 218938.656 Set: 36368.156 Check: 0.0 Back: 4308.934
INFO - Atoms: 277883/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 188054948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.748 Prop: 223843.0 PropClause: 219205.638 Set: 36414.021 Check: 0.0 Back: 4315.322
INFO - Atoms: 277627/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 188332185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.881 Prop: 224120.301 PropClause: 219476.123 Set: 36461.149 Check: 0.0 Back: 4321.669
INFO - Atoms: 277237/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 188609166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.891 Prop: 224386.668 PropClause: 219735.631 Set: 36506.986 Check: 0.0 Back: 4327.99
INFO - Atoms: 276981/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 188885757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.904 Prop: 224673.027 PropClause: 220015.142 Set: 36554.434 Check: 0.0 Back: 4334.309
INFO - Atoms: 276591/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 189162092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.915 Prop: 224964.437 PropClause: 220299.632 Set: 36601.52 Check: 0.0 Back: 4340.654
INFO - Atoms: 276335/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 189438039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.927 Prop: 225258.42 PropClause: 220586.729 Set: 36648.553 Check: 0.0 Back: 4347.018
INFO - Atoms: 275947/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 189713721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.938 Prop: 225537.333 PropClause: 220858.805 Set: 36695.051 Check: 0.0 Back: 4353.401
INFO - Atoms: 275682/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 189989020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.95 Prop: 225811.504 PropClause: 221126.163 Set: 36829.592 Check: 0.0 Back: 4359.722
INFO - Atoms: 275299/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 190264061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.961 Prop: 226078.9 PropClause: 221386.737 Set: 36874.378 Check: 0.0 Back: 4365.963
INFO - Atoms: 275041/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 190538716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.973 Prop: 226368.239 PropClause: 221669.243 Set: 36921.109 Check: 0.0 Back: 4372.266
INFO - Atoms: 274655/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 190813111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.984 Prop: 226652.316 PropClause: 221946.532 Set: 36966.581 Check: 0.0 Back: 4378.598
INFO - Atoms: 274395/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 191087120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.996 Prop: 226941.75 PropClause: 222229.15 Set: 37013.126 Check: 0.0 Back: 4384.899
INFO - Atoms: 274009/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 191360869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.006 Prop: 227224.779 PropClause: 222505.366 Set: 37059.953 Check: 0.0 Back: 4391.167
INFO - Atoms: 273749/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 191634230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.017 Prop: 227498.878 PropClause: 222772.686 Set: 37106.204 Check: 0.0 Back: 4397.437
INFO - Atoms: 273361/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 191907269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.029 Prop: 227772.769 PropClause: 223039.803 Set: 37152.432 Check: 0.0 Back: 4403.708
INFO - Atoms: 273039/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 192179984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.04 Prop: 228054.456 PropClause: 223314.709 Set: 37198.727 Check: 0.0 Back: 4409.967
INFO - Atoms: 272715/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 192452377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.051 Prop: 228335.576 PropClause: 223589.104 Set: 37244.676 Check: 0.0 Back: 4416.262
INFO - Atoms: 272393/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 192724446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.061 Prop: 228616.418 PropClause: 223863.179 Set: 37291.097 Check: 0.0 Back: 4422.548
INFO - Atoms: 272069/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 192996259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.073 Prop: 228892.575 PropClause: 224132.558 Set: 37336.564 Check: 0.0 Back: 4428.78
INFO - Atoms: 271813/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 193267684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.084 Prop: 229165.804 PropClause: 224399.083 Set: 37381.383 Check: 0.0 Back: 4435.048
INFO - Atoms: 271425/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 193538849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.095 Prop: 229426.515 PropClause: 224653.071 Set: 37426.625 Check: 0.0 Back: 4441.331
INFO - Atoms: 271165/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 193809628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.108 Prop: 229695.614 PropClause: 224915.457 Set: 37471.307 Check: 0.0 Back: 4447.505
INFO - Atoms: 270779/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 194080147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.119 Prop: 229959.644 PropClause: 225172.777 Set: 37516.226 Check: 0.0 Back: 4453.734
INFO - Atoms: 270519/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 194350278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.13 Prop: 230240.714 PropClause: 225447.113 Set: 37562.206 Check: 0.0 Back: 4459.92
INFO - Atoms: 270131/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 194620208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.142 Prop: 230519.529 PropClause: 225719.216 Set: 37607.81 Check: 0.0 Back: 4466.149
INFO - Atoms: 269930/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 194888099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.153 Prop: 230803.02 PropClause: 225996.032 Set: 37653.36 Check: 0.0 Back: 4472.368
INFO - Atoms: 267891/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 195155734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.164 Prop: 231054.026 PropClause: 226240.411 Set: 37697.928 Check: 0.0 Back: 4478.544
INFO - Atoms: 267635/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 195422979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.174 Prop: 231315.091 PropClause: 226494.839 Set: 37741.971 Check: 0.0 Back: 4484.691
INFO - Atoms: 267245/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 195689966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.185 Prop: 231575.335 PropClause: 226748.43 Set: 37786.116 Check: 0.0 Back: 4490.816
INFO - Atoms: 266987/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 195956567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.195 Prop: 231849.159 PropClause: 227015.666 Set: 37830.86 Check: 0.0 Back: 4496.964
INFO - Atoms: 266601/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 196222910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.206 Prop: 232110.237 PropClause: 227270.137 Set: 37874.408 Check: 0.0 Back: 4503.114
INFO - Atoms: 266343/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 196488863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.218 Prop: 232376.506 PropClause: 227529.802 Set: 37918.56 Check: 0.0 Back: 4509.217
INFO - Atoms: 265953/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 196754494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.229 Prop: 232624.899 PropClause: 227771.617 Set: 37962.221 Check: 0.0 Back: 4515.313
INFO - Atoms: 265631/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 197019801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.24 Prop: 232882.469 PropClause: 228022.573 Set: 38006.611 Check: 0.0 Back: 4521.404
INFO - Atoms: 265307/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 197284850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.251 Prop: 233140.555 PropClause: 228274.074 Set: 38050.957 Check: 0.0 Back: 4527.486
INFO - Atoms: 265049/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 197549513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.262 Prop: 233401.691 PropClause: 228528.652 Set: 38095.217 Check: 0.0 Back: 4533.601
INFO - Atoms: 264663/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 197813916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.273 Prop: 233653.427 PropClause: 228773.846 Set: 38138.546 Check: 0.0 Back: 4539.69
INFO - Atoms: 264403/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 198077933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.283 Prop: 233920.749 PropClause: 229034.633 Set: 38183.031 Check: 0.0 Back: 4545.766
INFO - Atoms: 264017/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 198341690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.294 Prop: 234174.014 PropClause: 229281.345 Set: 38226.054 Check: 0.0 Back: 4551.871
INFO - Atoms: 263757/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 198605059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.305 Prop: 234425.45 PropClause: 229526.274 Set: 38268.572 Check: 0.0 Back: 4557.911
INFO - Atoms: 263369/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 198868170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.317 Prop: 234666.123 PropClause: 229760.411 Set: 38312.066 Check: 0.0 Back: 4563.942
INFO - Atoms: 263111/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 199130895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.328 Prop: 234923.796 PropClause: 230011.562 Set: 38355.857 Check: 0.0 Back: 4569.957
INFO - Atoms: 262725/445178 Clauses: 2753 Axioms: 1488130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished