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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 145143456
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 56636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.576 Prop: 72.273 PropClause: 70.235 Set: 33.32 Check: 0.0 Back: 0.0
INFO - Atoms: 56636/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 112894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.649 Prop: 144.967 PropClause: 141.048 Set: 58.31 Check: 0.0 Back: 1.314
INFO - Atoms: 56258/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 169152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.699 Prop: 216.822 PropClause: 211.029 Set: 80.455 Check: 0.0 Back: 2.59
INFO - Atoms: 56258/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 225410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.754 Prop: 282.519 PropClause: 274.818 Set: 96.481 Check: 0.0 Back: 3.88
INFO - Atoms: 56258/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 281662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.814 Prop: 345.239 PropClause: 335.595 Set: 106.309 Check: 0.0 Back: 5.161
INFO - Atoms: 56252/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 337915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.875 Prop: 411.195 PropClause: 399.86 Set: 116.318 Check: 0.0 Back: 6.431
INFO - Atoms: 56253/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 394167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.913 Prop: 471.442 PropClause: 458.552 Set: 126.089 Check: 0.0 Back: 7.694
INFO - Atoms: 56252/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 450418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.954 Prop: 536.186 PropClause: 521.718 Set: 136.146 Check: 0.0 Back: 8.964
INFO - Atoms: 56251/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 506480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.014 Prop: 598.357 PropClause: 582.322 Set: 146.096 Check: 0.0 Back: 10.222
INFO - Atoms: 56062/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 562365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.056 Prop: 662.225 PropClause: 644.637 Set: 160.909 Check: 0.0 Back: 11.48
INFO - Atoms: 55885/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 618037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.111 Prop: 720.479 PropClause: 701.351 Set: 175.514 Check: 0.0 Back: 12.728
INFO - Atoms: 55672/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 673530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.159 Prop: 783.554 PropClause: 762.883 Set: 208.157 Check: 0.0 Back: 13.979
INFO - Atoms: 55493/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 728812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.201 Prop: 840.439 PropClause: 818.24 Set: 217.856 Check: 0.0 Back: 15.215
INFO - Atoms: 55282/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 783916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.245 Prop: 902.614 PropClause: 878.896 Set: 227.536 Check: 0.0 Back: 16.448
INFO - Atoms: 55104/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 838808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.282 Prop: 958.717 PropClause: 933.476 Set: 237.185 Check: 0.0 Back: 17.678
INFO - Atoms: 54892/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 893504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.328 Prop: 1022.185 PropClause: 995.416 Set: 246.951 Check: 0.0 Back: 18.901
INFO - Atoms: 54696/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 948006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.378 Prop: 1078.194 PropClause: 1049.807 Set: 269.593 Check: 0.0 Back: 20.123
INFO - Atoms: 54502/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1002331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.419 Prop: 1135.803 PropClause: 1105.908 Set: 279.109 Check: 0.0 Back: 21.342
INFO - Atoms: 54325/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1056443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.459 Prop: 1190.892 PropClause: 1159.504 Set: 288.48 Check: 0.0 Back: 22.552
INFO - Atoms: 54112/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1110376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.501 Prop: 1249.384 PropClause: 1216.501 Set: 297.894 Check: 0.0 Back: 23.761
INFO - Atoms: 53933/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1164098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.541 Prop: 1307.944 PropClause: 1273.571 Set: 307.377 Check: 0.0 Back: 24.97
INFO - Atoms: 53722/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1217624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.582 Prop: 1369.786 PropClause: 1333.931 Set: 317.257 Check: 0.0 Back: 26.181
INFO - Atoms: 53526/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1270956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.627 Prop: 1425.445 PropClause: 1388.105 Set: 331.27 Check: 0.0 Back: 27.38
INFO - Atoms: 53332/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1324092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.666 Prop: 1484.563 PropClause: 1445.745 Set: 345.222 Check: 0.0 Back: 28.574
INFO - Atoms: 53136/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1377034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.704 Prop: 1539.903 PropClause: 1499.614 Set: 359.28 Check: 0.0 Back: 29.771
INFO - Atoms: 52942/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1429798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.748 Prop: 1598.435 PropClause: 1556.673 Set: 373.415 Check: 0.0 Back: 30.956
INFO - Atoms: 52764/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1482350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.784 Prop: 1651.3 PropClause: 1608.084 Set: 387.526 Check: 0.0 Back: 32.132
INFO - Atoms: 52552/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1534724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.823 Prop: 1704.706 PropClause: 1660.029 Set: 396.549 Check: 0.0 Back: 33.31
INFO - Atoms: 52374/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1586886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.86 Prop: 1754.464 PropClause: 1708.333 Set: 405.477 Check: 0.0 Back: 34.482
INFO - Atoms: 52162/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1638869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.899 Prop: 1810.193 PropClause: 1762.619 Set: 414.416 Check: 0.0 Back: 35.655
INFO - Atoms: 51983/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1690641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.938 Prop: 1859.934 PropClause: 1810.926 Set: 423.292 Check: 0.0 Back: 36.816
INFO - Atoms: 51772/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1742217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.981 Prop: 1912.371 PropClause: 1861.93 Set: 432.145 Check: 0.0 Back: 37.968
INFO - Atoms: 51576/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1793599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.02 Prop: 1961.705 PropClause: 1909.847 Set: 440.857 Check: 0.0 Back: 39.114
INFO - Atoms: 51382/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1844804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.061 Prop: 2012.07 PropClause: 1958.792 Set: 449.505 Check: 0.0 Back: 40.253
INFO - Atoms: 51205/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1895796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.096 Prop: 2059.29 PropClause: 2004.597 Set: 458.101 Check: 0.0 Back: 41.4
INFO - Atoms: 50992/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1946610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.133 Prop: 2111.262 PropClause: 2055.167 Set: 466.813 Check: 0.0 Back: 42.542
INFO - Atoms: 50814/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1997212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.17 Prop: 2159.616 PropClause: 2102.117 Set: 475.387 Check: 0.0 Back: 43.68
INFO - Atoms: 50602/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2047635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.217 Prop: 2214.421 PropClause: 2155.531 Set: 483.995 Check: 0.0 Back: 44.811
INFO - Atoms: 50423/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2097847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.258 Prop: 2262.6 PropClause: 2202.328 Set: 492.45 Check: 0.0 Back: 45.947
INFO - Atoms: 50212/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2147880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.303 Prop: 2311.691 PropClause: 2250.039 Set: 500.905 Check: 0.0 Back: 47.069
INFO - Atoms: 50033/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2197702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.338 Prop: 2357.475 PropClause: 2294.443 Set: 509.3 Check: 0.0 Back: 48.182
INFO - Atoms: 49822/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2247328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.378 Prop: 2407.037 PropClause: 2342.631 Set: 517.73 Check: 0.0 Back: 49.298
INFO - Atoms: 49626/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2296760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.414 Prop: 2452.932 PropClause: 2387.149 Set: 526.053 Check: 0.0 Back: 50.404
INFO - Atoms: 49432/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2346015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.452 Prop: 2501.919 PropClause: 2434.78 Set: 534.337 Check: 0.0 Back: 51.517
INFO - Atoms: 49255/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2395057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.491 Prop: 2547.899 PropClause: 2479.402 Set: 542.648 Check: 0.0 Back: 52.627
INFO - Atoms: 49042/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2443920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.529 Prop: 2594.044 PropClause: 2524.199 Set: 550.854 Check: 0.0 Back: 53.733
INFO - Atoms: 48863/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2492572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.565 Prop: 2638.32 PropClause: 2567.132 Set: 559.021 Check: 0.0 Back: 54.823
INFO - Atoms: 48652/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2541046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.605 Prop: 2683.878 PropClause: 2611.349 Set: 567.132 Check: 0.0 Back: 55.913
INFO - Atoms: 48474/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2589308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.653 Prop: 2731.213 PropClause: 2657.339 Set: 576.779 Check: 0.0 Back: 57.0
INFO - Atoms: 48262/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2637374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.699 Prop: 2781.083 PropClause: 2705.861 Set: 589.522 Check: 0.0 Back: 58.083
INFO - Atoms: 48066/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2685246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.734 Prop: 2827.291 PropClause: 2750.746 Set: 601.883 Check: 0.0 Back: 59.164
INFO - Atoms: 47872/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2732940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.879 Prop: 2874.35 PropClause: 2796.485 Set: 621.549 Check: 0.0 Back: 60.223
INFO - Atoms: 47694/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2780422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.901 Prop: 2917.777 PropClause: 2838.594 Set: 629.469 Check: 0.0 Back: 61.279
INFO - Atoms: 47482/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2827708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.921 Prop: 2962.503 PropClause: 2882.008 Set: 637.498 Check: 0.0 Back: 62.336
INFO - Atoms: 47286/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2874800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.942 Prop: 3008.778 PropClause: 2926.972 Set: 645.46 Check: 0.0 Back: 63.4
INFO - Atoms: 47092/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2921715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.962 Prop: 3053.857 PropClause: 2970.741 Set: 653.295 Check: 0.0 Back: 64.457
INFO - Atoms: 46915/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2968417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.985 Prop: 3095.451 PropClause: 3011.042 Set: 661.085 Check: 0.0 Back: 65.508
INFO - Atoms: 46702/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3014923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.035 Prop: 3140.404 PropClause: 3054.712 Set: 668.808 Check: 0.0 Back: 66.546
INFO - Atoms: 46506/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3061235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.095 Prop: 3182.793 PropClause: 3095.815 Set: 676.581 Check: 0.0 Back: 67.583
INFO - Atoms: 46312/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3107369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.117 Prop: 3230.369 PropClause: 3142.113 Set: 684.323 Check: 0.0 Back: 68.62
INFO - Atoms: 46134/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3153291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.14 Prop: 3272.147 PropClause: 3182.613 Set: 692.034 Check: 0.0 Back: 69.653
INFO - Atoms: 45922/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3199017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.161 Prop: 3316.0 PropClause: 3225.194 Set: 699.707 Check: 0.0 Back: 70.682
INFO - Atoms: 45726/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3244549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.182 Prop: 3356.812 PropClause: 3264.729 Set: 707.317 Check: 0.0 Back: 71.707
INFO - Atoms: 45532/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3289904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 3406.213 PropClause: 3312.865 Set: 714.967 Check: 0.0 Back: 72.726
INFO - Atoms: 45355/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3335046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.225 Prop: 3452.574 PropClause: 3357.959 Set: 722.63 Check: 0.0 Back: 73.746
INFO - Atoms: 45142/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3380009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.247 Prop: 3496.18 PropClause: 3400.317 Set: 730.134 Check: 0.0 Back: 74.767
INFO - Atoms: 44963/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3424761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.27 Prop: 3536.554 PropClause: 3439.446 Set: 737.581 Check: 0.0 Back: 75.773
INFO - Atoms: 44752/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3469317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.296 Prop: 3581.709 PropClause: 3483.365 Set: 744.995 Check: 0.0 Back: 76.774
INFO - Atoms: 44556/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 3513679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.319 Prop: 3621.649 PropClause: 3522.066 Set: 752.312 Check: 0.0 Back: 77.781
INFO - Atoms: 44362/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 3557845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.343 Prop: 3667.516 PropClause: 3566.683 Set: 759.791 Check: 0.0 Back: 78.779
INFO - Atoms: 44166/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 3601817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.364 Prop: 3704.897 PropClause: 3602.827 Set: 767.017 Check: 0.0 Back: 79.786
INFO - Atoms: 43972/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3645593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.388 Prop: 3745.267 PropClause: 3641.975 Set: 774.225 Check: 0.0 Back: 80.766
INFO - Atoms: 43776/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3689175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.411 Prop: 3782.845 PropClause: 3678.341 Set: 781.416 Check: 0.0 Back: 81.745
INFO - Atoms: 43582/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3732561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.434 Prop: 3823.373 PropClause: 3717.662 Set: 788.568 Check: 0.0 Back: 82.722
INFO - Atoms: 43386/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3775753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.485 Prop: 3865.208 PropClause: 3758.296 Set: 795.764 Check: 0.0 Back: 83.701
INFO - Atoms: 43192/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3818749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.571 Prop: 3903.843 PropClause: 3795.734 Set: 802.79 Check: 0.0 Back: 84.669
INFO - Atoms: 42996/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3861551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.587 Prop: 3941.141 PropClause: 3831.842 Set: 809.821 Check: 0.0 Back: 85.632
INFO - Atoms: 42802/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 3904175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.601 Prop: 3979.283 PropClause: 3868.797 Set: 816.798 Check: 0.0 Back: 86.591
INFO - Atoms: 42624/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 3946587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.616 Prop: 4013.802 PropClause: 3902.138 Set: 823.714 Check: 0.0 Back: 87.547
INFO - Atoms: 42412/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 3988821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.631 Prop: 4050.17 PropClause: 3937.331 Set: 830.601 Check: 0.0 Back: 88.494
INFO - Atoms: 42234/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 4030843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.644 Prop: 4083.745 PropClause: 3969.742 Set: 837.411 Check: 0.0 Back: 89.441
INFO - Atoms: 42022/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 4072669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.657 Prop: 4125.619 PropClause: 4010.451 Set: 844.254 Check: 0.0 Back: 90.376
INFO - Atoms: 41826/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4114301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 4159.549 PropClause: 4043.218 Set: 850.989 Check: 0.0 Back: 91.313
INFO - Atoms: 41632/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4155755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.685 Prop: 4194.703 PropClause: 4077.215 Set: 857.752 Check: 0.0 Back: 92.247
INFO - Atoms: 41454/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4196997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.7 Prop: 4228.124 PropClause: 4109.487 Set: 864.557 Check: 0.0 Back: 93.177
INFO - Atoms: 41242/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 4238061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.716 Prop: 4262.835 PropClause: 4143.056 Set: 871.195 Check: 0.0 Back: 94.112
INFO - Atoms: 41064/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 4278913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.731 Prop: 4296.467 PropClause: 4175.551 Set: 877.828 Check: 0.0 Back: 95.036
INFO - Atoms: 40852/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4319569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.746 Prop: 4332.115 PropClause: 4210.063 Set: 884.472 Check: 0.0 Back: 95.952
INFO - Atoms: 40656/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 4360031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.759 Prop: 4364.356 PropClause: 4241.167 Set: 891.081 Check: 0.0 Back: 96.871
INFO - Atoms: 40462/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 4400297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 4397.053 PropClause: 4272.744 Set: 897.56 Check: 0.0 Back: 97.778
INFO - Atoms: 40266/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 4440369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.787 Prop: 4428.264 PropClause: 4302.842 Set: 904.044 Check: 0.0 Back: 98.687
INFO - Atoms: 40072/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 4480264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.8 Prop: 4460.651 PropClause: 4334.119 Set: 910.477 Check: 0.0 Back: 99.588
INFO - Atoms: 39895/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 4519946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.817 Prop: 4492.93 PropClause: 4365.287 Set: 916.894 Check: 0.0 Back: 100.482
INFO - Atoms: 39682/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 4559432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.858 Prop: 4525.069 PropClause: 4396.326 Set: 923.248 Check: 0.0 Back: 101.376
INFO - Atoms: 39486/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 4598724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.913 Prop: 4555.147 PropClause: 4425.308 Set: 929.632 Check: 0.0 Back: 102.258
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 4637838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.923 Prop: 4587.163 PropClause: 4456.233 Set: 935.935 Check: 0.0 Back: 103.141
INFO - Atoms: 39114/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 4676740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.934 Prop: 4616.814 PropClause: 4484.802 Set: 942.175 Check: 0.0 Back: 104.016
INFO - Atoms: 38902/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 4715464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.943 Prop: 4648.812 PropClause: 4515.723 Set: 948.402 Check: 0.0 Back: 104.889
INFO - Atoms: 38724/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 4753976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.952 Prop: 4678.002 PropClause: 4543.844 Set: 954.6 Check: 0.0 Back: 105.758
INFO - Atoms: 38512/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 4792309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.962 Prop: 4710.633 PropClause: 4575.405 Set: 960.872 Check: 0.0 Back: 106.622
INFO - Atoms: 38333/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 4830431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.971 Prop: 4739.147 PropClause: 4602.851 Set: 967.035 Check: 0.0 Back: 107.481
INFO - Atoms: 38122/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 4869333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.982 Prop: 4775.953 PropClause: 4638.573 Set: 973.571 Check: 0.0 Back: 108.334
INFO - Atoms: 38902/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 4908408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.994 Prop: 4804.906 PropClause: 4666.439 Set: 979.941 Check: 0.0 Back: 109.211
INFO - Atoms: 39075/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 4947700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.002 Prop: 4835.457 PropClause: 4695.899 Set: 986.348 Check: 0.0 Back: 110.086
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 4986968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.012 Prop: 4863.888 PropClause: 4723.237 Set: 992.751 Check: 0.0 Back: 110.965
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 5025687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.022 Prop: 4895.024 PropClause: 4753.297 Set: 998.996 Check: 0.0 Back: 111.846
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 5064976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.034 Prop: 4924.143 PropClause: 4781.31 Set: 1005.477 Check: 0.0 Back: 112.715
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 5104244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.045 Prop: 4954.401 PropClause: 4810.465 Set: 1011.864 Check: 0.0 Back: 113.601
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 5142946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 4983.009 PropClause: 4837.989 Set: 1018.073 Check: 0.0 Back: 114.487
INFO - Atoms: 38702/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 5182214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.066 Prop: 5012.008 PropClause: 4865.899 Set: 1024.396 Check: 0.0 Back: 115.354
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 5221504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.077 Prop: 5040.207 PropClause: 4893.013 Set: 1030.713 Check: 0.0 Back: 116.227
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 5260205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.088 Prop: 5069.735 PropClause: 4921.47 Set: 1036.934 Check: 0.0 Back: 117.106
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 5299497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.098 Prop: 5097.118 PropClause: 4947.768 Set: 1043.234 Check: 0.0 Back: 117.973
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 5338765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.107 Prop: 5126.682 PropClause: 4976.24 Set: 1049.622 Check: 0.0 Back: 118.853
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 5378225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.117 Prop: 5153.703 PropClause: 5002.168 Set: 1056.012 Check: 0.0 Back: 119.732
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 5417493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.129 Prop: 5183.252 PropClause: 5030.628 Set: 1062.352 Check: 0.0 Back: 120.617
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 5456928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.14 Prop: 5213.344 PropClause: 5059.627 Set: 1068.791 Check: 0.0 Back: 121.502
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 5495629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.15 Prop: 5242.112 PropClause: 5087.323 Set: 1075.006 Check: 0.0 Back: 122.378
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 5534918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.161 Prop: 5271.243 PropClause: 5115.366 Set: 1081.36 Check: 0.0 Back: 123.235
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 5574354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.17 Prop: 5299.978 PropClause: 5143.013 Set: 1087.747 Check: 0.0 Back: 124.114
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 5613814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.179 Prop: 5328.097 PropClause: 5170.041 Set: 1094.192 Check: 0.0 Back: 124.997
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 5653082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 5359.411 PropClause: 5200.259 Set: 1100.597 Check: 0.0 Back: 125.877
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 5692515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.2 Prop: 5387.638 PropClause: 5227.384 Set: 1107.036 Check: 0.0 Back: 126.758
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 5731234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.211 Prop: 5417.058 PropClause: 5255.72 Set: 1113.282 Check: 0.0 Back: 127.659
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 5770523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.219 Prop: 5445.905 PropClause: 5283.474 Set: 1119.724 Check: 0.0 Back: 128.53
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 5809959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.229 Prop: 5475.056 PropClause: 5311.533 Set: 1126.124 Check: 0.0 Back: 129.411
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 5849419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.238 Prop: 5506.662 PropClause: 5342.034 Set: 1132.652 Check: 0.0 Back: 130.29
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 5888687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.251 Prop: 5541.263 PropClause: 5375.548 Set: 1139.182 Check: 0.0 Back: 131.17
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 5928120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.262 Prop: 5570.557 PropClause: 5403.735 Set: 1145.72 Check: 0.0 Back: 132.053
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 5966821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.272 Prop: 5599.428 PropClause: 5431.533 Set: 1151.901 Check: 0.0 Back: 132.94
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 6006111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.281 Prop: 5627.633 PropClause: 5458.644 Set: 1158.289 Check: 0.0 Back: 133.816
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 6045546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.291 Prop: 5657.195 PropClause: 5487.108 Set: 1164.718 Check: 0.0 Back: 134.696
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 6084248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.301 Prop: 5684.484 PropClause: 5513.314 Set: 1170.956 Check: 0.0 Back: 135.588
INFO - Atoms: 38702/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 6123681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.311 Prop: 5714.226 PropClause: 5541.961 Set: 1177.404 Check: 0.0 Back: 136.458
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 6162973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.321 Prop: 5741.24 PropClause: 5567.893 Set: 1183.775 Check: 0.0 Back: 137.335
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 6202448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.329 Prop: 5770.374 PropClause: 5595.937 Set: 1190.174 Check: 0.0 Back: 138.206
INFO - Atoms: 39475/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 6241881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.338 Prop: 5798.523 PropClause: 5622.989 Set: 1196.556 Check: 0.0 Back: 139.087
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 6281151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.35 Prop: 5828.977 PropClause: 5652.351 Set: 1202.98 Check: 0.0 Back: 139.971
INFO - Atoms: 39270/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 6319853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.359 Prop: 5857.595 PropClause: 5679.894 Set: 1209.246 Check: 0.0 Back: 140.851
INFO - Atoms: 38702/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 6359286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.368 Prop: 5887.343 PropClause: 5708.545 Set: 1215.747 Check: 0.0 Back: 141.726
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 6398578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.377 Prop: 5915.34 PropClause: 5735.451 Set: 1222.173 Check: 0.0 Back: 142.611
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 6438052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.386 Prop: 5944.576 PropClause: 5763.59 Set: 1228.628 Check: 0.0 Back: 143.494
INFO - Atoms: 39474/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 6477486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.396 Prop: 5974.84 PropClause: 5792.75 Set: 1235.149 Check: 0.0 Back: 144.383
INFO - Atoms: 39434/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 6516756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.404 Prop: 6005.925 PropClause: 5822.744 Set: 1241.581 Check: 0.0 Back: 145.261
INFO - Atoms: 39270/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 6556214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.416 Prop: 6036.417 PropClause: 5852.131 Set: 1248.343 Check: 0.0 Back: 146.144
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 6595482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.429 Prop: 6066.732 PropClause: 5881.358 Set: 1254.748 Check: 0.0 Back: 147.042
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 6634915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.438 Prop: 6094.709 PropClause: 5908.233 Set: 1261.234 Check: 0.0 Back: 147.917
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 6673634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.448 Prop: 6124.347 PropClause: 5936.791 Set: 1267.531 Check: 0.0 Back: 148.816
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 6712925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.458 Prop: 6152.753 PropClause: 5964.101 Set: 1274.0 Check: 0.0 Back: 149.688
INFO - Atoms: 39291/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 6752359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.467 Prop: 6186.284 PropClause: 5996.535 Set: 1280.636 Check: 0.0 Back: 150.574
INFO - Atoms: 39434/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 6791817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.478 Prop: 6214.564 PropClause: 6023.705 Set: 1287.208 Check: 0.0 Back: 151.462
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 6831085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 6246.441 PropClause: 6054.475 Set: 1293.691 Check: 0.0 Back: 152.354
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 6870518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.497 Prop: 6275.958 PropClause: 6082.883 Set: 1300.257 Check: 0.0 Back: 153.243
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 6909237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.507 Prop: 6305.872 PropClause: 6111.71 Set: 1306.611 Check: 0.0 Back: 154.136
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 6948526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.516 Prop: 6335.736 PropClause: 6140.474 Set: 1313.13 Check: 0.0 Back: 155.009
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 6987962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.525 Prop: 6365.5 PropClause: 6169.136 Set: 1319.674 Check: 0.0 Back: 155.897
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 7027422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.533 Prop: 6394.148 PropClause: 6196.679 Set: 1326.177 Check: 0.0 Back: 156.788
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 7066690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.542 Prop: 6424.552 PropClause: 6225.99 Set: 1332.645 Check: 0.0 Back: 157.679
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 7106123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.551 Prop: 6453.149 PropClause: 6253.493 Set: 1339.129 Check: 0.0 Back: 158.564
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 7144824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.56 Prop: 6482.971 PropClause: 6282.244 Set: 1345.453 Check: 0.0 Back: 159.448
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 7184114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 6511.737 PropClause: 6309.917 Set: 1351.973 Check: 0.0 Back: 160.314
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 7223549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.579 Prop: 6542.99 PropClause: 6340.076 Set: 1358.506 Check: 0.0 Back: 161.193
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 7263007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 6572.459 PropClause: 6368.448 Set: 1365.065 Check: 0.0 Back: 162.077
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 7302275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.598 Prop: 6603.126 PropClause: 6398.025 Set: 1371.538 Check: 0.0 Back: 162.972
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 7341708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.608 Prop: 6634.243 PropClause: 6428.044 Set: 1378.146 Check: 0.0 Back: 163.852
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 7380427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.619 Prop: 6664.781 PropClause: 6457.507 Set: 1384.46 Check: 0.0 Back: 164.753
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 7419716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.628 Prop: 6693.725 PropClause: 6485.357 Set: 1390.953 Check: 0.0 Back: 165.622
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 7459152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.638 Prop: 6724.345 PropClause: 6514.884 Set: 1397.484 Check: 0.0 Back: 166.497
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 7498612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.647 Prop: 6754.14 PropClause: 6543.582 Set: 1404.049 Check: 0.0 Back: 167.382
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 7537880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.656 Prop: 6785.237 PropClause: 6573.589 Set: 1410.522 Check: 0.0 Back: 168.263
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 7577313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.667 Prop: 6815.35 PropClause: 6602.595 Set: 1428.826 Check: 0.0 Back: 169.142
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 7616014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 6845.308 PropClause: 6631.465 Set: 1435.136 Check: 0.0 Back: 170.029
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 7655303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.69 Prop: 6875.676 PropClause: 6660.741 Set: 1441.724 Check: 0.0 Back: 170.898
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 7694739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.702 Prop: 6912.77 PropClause: 6696.713 Set: 1448.49 Check: 0.0 Back: 171.781
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 7734199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.711 Prop: 6941.469 PropClause: 6724.319 Set: 1455.079 Check: 0.0 Back: 172.67
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 7773467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.721 Prop: 6972.475 PropClause: 6754.235 Set: 1461.549 Check: 0.0 Back: 173.557
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 7812900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.73 Prop: 7001.575 PropClause: 6782.241 Set: 1468.093 Check: 0.0 Back: 174.439
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 7851601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.739 Prop: 7031.512 PropClause: 6811.1 Set: 1474.423 Check: 0.0 Back: 175.323
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 7890890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 7064.032 PropClause: 6842.528 Set: 1480.97 Check: 0.0 Back: 176.188
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 7930326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.76 Prop: 7094.33 PropClause: 6871.727 Set: 1487.573 Check: 0.0 Back: 177.071
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 7969028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.794 Prop: 7123.016 PropClause: 6899.339 Set: 1493.949 Check: 0.0 Back: 177.962
INFO - Atoms: 38702/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 8008461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.826 Prop: 7153.37 PropClause: 6928.598 Set: 1500.529 Check: 0.0 Back: 178.832
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 8047753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.835 Prop: 7182.502 PropClause: 6956.637 Set: 1506.995 Check: 0.0 Back: 179.719
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 8086472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.843 Prop: 7213.401 PropClause: 6986.458 Set: 1513.359 Check: 0.0 Back: 180.595
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 8125763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.852 Prop: 7241.491 PropClause: 7013.464 Set: 1519.89 Check: 0.0 Back: 181.457
INFO - Atoms: 39291/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 8165197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.862 Prop: 7271.377 PropClause: 7042.259 Set: 1526.398 Check: 0.0 Back: 182.342
INFO - Atoms: 39434/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 8204655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.871 Prop: 7301.235 PropClause: 7071.019 Set: 1532.95 Check: 0.0 Back: 183.228
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 8243923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.882 Prop: 7332.821 PropClause: 7101.521 Set: 1539.468 Check: 0.0 Back: 184.109
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 8283358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.893 Prop: 7362.482 PropClause: 7130.086 Set: 1546.026 Check: 0.0 Back: 184.994
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 8322077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.901 Prop: 7392.55 PropClause: 7159.078 Set: 1552.431 Check: 0.0 Back: 185.877
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 8361367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.911 Prop: 7420.983 PropClause: 7186.419 Set: 1558.987 Check: 0.0 Back: 186.744
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 8400802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.921 Prop: 7454.536 PropClause: 7218.875 Set: 1565.631 Check: 0.0 Back: 187.63
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 8440260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.932 Prop: 7483.901 PropClause: 7247.147 Set: 1572.191 Check: 0.0 Back: 188.518
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 8479528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.942 Prop: 7518.063 PropClause: 7280.213 Set: 1579.016 Check: 0.0 Back: 189.408
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 8518961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.951 Prop: 7547.256 PropClause: 7308.307 Set: 1585.595 Check: 0.0 Back: 190.282
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 8557680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.959 Prop: 7578.158 PropClause: 7338.132 Set: 1591.946 Check: 0.0 Back: 191.163
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 8596969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.968 Prop: 7606.828 PropClause: 7365.703 Set: 1598.505 Check: 0.0 Back: 192.024
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 8636405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.981 Prop: 7640.881 PropClause: 7398.652 Set: 1605.135 Check: 0.0 Back: 192.904
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 8675865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.99 Prop: 7670.012 PropClause: 7426.68 Set: 1611.749 Check: 0.0 Back: 193.791
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 8715133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.0 Prop: 7700.363 PropClause: 7455.938 Set: 1618.262 Check: 0.0 Back: 194.675
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 8754566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.009 Prop: 7729.621 PropClause: 7484.099 Set: 1624.849 Check: 0.0 Back: 195.557
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 8793285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.018 Prop: 7761.385 PropClause: 7514.78 Set: 1631.291 Check: 0.0 Back: 196.446
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 8832574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.028 Prop: 7790.332 PropClause: 7542.632 Set: 1637.901 Check: 0.0 Back: 197.326
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 8872010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.037 Prop: 7820.491 PropClause: 7571.691 Set: 1644.45 Check: 0.0 Back: 198.206
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 8911470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.047 Prop: 7849.58 PropClause: 7599.685 Set: 1651.033 Check: 0.0 Back: 199.092
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 8950738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.06 Prop: 7880.001 PropClause: 7629.012 Set: 1657.606 Check: 0.0 Back: 199.973
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 8990171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.071 Prop: 7909.455 PropClause: 7657.368 Set: 1664.171 Check: 0.0 Back: 200.858
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 9028890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.081 Prop: 7940.383 PropClause: 7687.218 Set: 1670.558 Check: 0.0 Back: 201.738
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 9068179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.093 Prop: 7969.669 PropClause: 7715.411 Set: 1677.221 Check: 0.0 Back: 202.617
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 9107615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.102 Prop: 8000.728 PropClause: 7745.373 Set: 1683.84 Check: 0.0 Back: 203.504
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 9147073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.113 Prop: 8030.902 PropClause: 7774.442 Set: 1690.482 Check: 0.0 Back: 204.385
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 9186341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.123 Prop: 8059.369 PropClause: 7801.825 Set: 1696.926 Check: 0.0 Back: 205.274
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 9225774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.132 Prop: 8090.78 PropClause: 7832.14 Set: 1703.591 Check: 0.0 Back: 206.15
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 9264493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.142 Prop: 8125.704 PropClause: 7865.984 Set: 1710.131 Check: 0.0 Back: 207.037
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 9303783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 8156.644 PropClause: 7895.834 Set: 1716.724 Check: 0.0 Back: 207.91
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 9343218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.16 Prop: 8190.094 PropClause: 7928.19 Set: 1723.327 Check: 0.0 Back: 208.79
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 9382678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 8219.756 PropClause: 7956.748 Set: 1729.926 Check: 0.0 Back: 209.673
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 9421946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.18 Prop: 8250.179 PropClause: 7986.081 Set: 1736.457 Check: 0.0 Back: 210.564
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 9461379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.189 Prop: 8280.886 PropClause: 8015.693 Set: 1743.094 Check: 0.0 Back: 211.453
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 9500080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 8313.706 PropClause: 8047.436 Set: 1749.537 Check: 0.0 Back: 212.337
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 9539369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.208 Prop: 8344.371 PropClause: 8077.002 Set: 1756.194 Check: 0.0 Back: 213.21
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 9578805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.217 Prop: 8373.394 PropClause: 8104.933 Set: 1762.802 Check: 0.0 Back: 214.101
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 9618265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.226 Prop: 8404.746 PropClause: 8135.193 Set: 1769.472 Check: 0.0 Back: 214.974
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 9657533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.238 Prop: 8434.465 PropClause: 8163.831 Set: 1775.992 Check: 0.0 Back: 215.858
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 9696966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.247 Prop: 8467.167 PropClause: 8195.434 Set: 1782.681 Check: 0.0 Back: 216.746
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 9735686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.256 Prop: 8498.746 PropClause: 8225.944 Set: 1789.114 Check: 0.0 Back: 217.63
INFO - Atoms: 38720/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 9774976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.266 Prop: 8526.241 PropClause: 8252.348 Set: 1795.633 Check: 0.0 Back: 218.498
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 9814411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.276 Prop: 8556.937 PropClause: 8281.934 Set: 1802.228 Check: 0.0 Back: 219.388
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 9853869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.285 Prop: 8585.241 PropClause: 8309.145 Set: 1808.783 Check: 0.0 Back: 220.273
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 9893137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.295 Prop: 8619.275 PropClause: 8342.096 Set: 1815.409 Check: 0.0 Back: 221.161
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 9932570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.306 Prop: 8650.527 PropClause: 8372.257 Set: 1832.871 Check: 0.0 Back: 222.041
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 9971289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.316 Prop: 8679.153 PropClause: 8399.806 Set: 1839.207 Check: 0.0 Back: 222.923
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 10010578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.325 Prop: 8707.253 PropClause: 8426.817 Set: 1845.732 Check: 0.0 Back: 223.788
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 10050014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.333 Prop: 8736.27 PropClause: 8454.746 Set: 1852.265 Check: 0.0 Back: 224.668
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 10089474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 8765.388 PropClause: 8482.772 Set: 1858.925 Check: 0.0 Back: 225.545
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 10128742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.352 Prop: 8797.472 PropClause: 8513.762 Set: 1865.574 Check: 0.0 Back: 226.421
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 10168175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.36 Prop: 8827.651 PropClause: 8542.85 Set: 1872.14 Check: 0.0 Back: 227.297
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 10206894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.369 Prop: 8857.495 PropClause: 8571.618 Set: 1878.591 Check: 0.0 Back: 228.186
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 10246184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.378 Prop: 8884.839 PropClause: 8597.873 Set: 1885.189 Check: 0.0 Back: 229.058
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 10285619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.386 Prop: 8913.605 PropClause: 8625.549 Set: 1891.724 Check: 0.0 Back: 229.931
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 10325079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.394 Prop: 8942.116 PropClause: 8652.971 Set: 1898.3 Check: 0.0 Back: 230.814
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 10364347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.405 Prop: 8973.28 PropClause: 8683.042 Set: 1904.939 Check: 0.0 Back: 231.689
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 10403780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.417 Prop: 9006.061 PropClause: 8714.733 Set: 1911.608 Check: 0.0 Back: 232.564
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 10442481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 9035.295 PropClause: 8742.897 Set: 1917.95 Check: 0.0 Back: 233.459
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 10481770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.436 Prop: 9064.035 PropClause: 8770.546 Set: 1924.553 Check: 0.0 Back: 234.322
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 10521206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.444 Prop: 9093.028 PropClause: 8798.439 Set: 1931.11 Check: 0.0 Back: 235.197
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 10560664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 9120.717 PropClause: 8825.04 Set: 1937.652 Check: 0.0 Back: 236.07
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 10599932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.465 Prop: 9150.403 PropClause: 8853.64 Set: 1944.175 Check: 0.0 Back: 236.949
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 10639365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.473 Prop: 9179.304 PropClause: 8881.451 Set: 1950.818 Check: 0.0 Back: 237.824
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 10678084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 9210.041 PropClause: 8911.113 Set: 1957.28 Check: 0.0 Back: 238.706
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 10717374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 9238.976 PropClause: 8938.959 Set: 1963.938 Check: 0.0 Back: 239.57
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 10756809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.499 Prop: 9269.805 PropClause: 8968.694 Set: 1970.621 Check: 0.0 Back: 240.445
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 10796267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.51 Prop: 9299.277 PropClause: 8997.058 Set: 1977.279 Check: 0.0 Back: 241.332
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 10835535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.519 Prop: 9330.111 PropClause: 9026.806 Set: 1983.872 Check: 0.0 Back: 242.216
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 10874968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.527 Prop: 9358.517 PropClause: 9054.116 Set: 1990.542 Check: 0.0 Back: 243.097
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 10913669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 9389.904 PropClause: 9084.421 Set: 1997.071 Check: 0.0 Back: 243.985
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 10952958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 9420.313 PropClause: 9113.733 Set: 2003.796 Check: 0.0 Back: 244.863
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 10992394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.557 Prop: 9451.478 PropClause: 9143.802 Set: 2010.512 Check: 0.0 Back: 245.746
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 11031852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.567 Prop: 9484.993 PropClause: 9176.212 Set: 2017.358 Check: 0.0 Back: 246.63
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 11071120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.577 Prop: 9514.624 PropClause: 9204.752 Set: 2023.929 Check: 0.0 Back: 247.515
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 11110553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 9543.286 PropClause: 9232.318 Set: 2030.717 Check: 0.0 Back: 248.394
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 11149272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.599 Prop: 9573.704 PropClause: 9261.662 Set: 2037.246 Check: 0.0 Back: 249.278
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 11188561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.608 Prop: 9603.23 PropClause: 9290.09 Set: 2043.938 Check: 0.0 Back: 250.153
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 11227997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.619 Prop: 9633.356 PropClause: 9319.105 Set: 2050.65 Check: 0.0 Back: 251.038
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 11267457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.628 Prop: 9663.513 PropClause: 9348.157 Set: 2057.442 Check: 0.0 Back: 251.929
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 11306725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.637 Prop: 9693.553 PropClause: 9377.101 Set: 2064.132 Check: 0.0 Back: 252.817
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 11346158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.646 Prop: 9723.085 PropClause: 9405.537 Set: 2070.799 Check: 0.0 Back: 253.698
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 11384876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 9752.535 PropClause: 9433.911 Set: 2077.29 Check: 0.0 Back: 254.587
INFO - Atoms: 38718/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 11424166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.673 Prop: 9782.218 PropClause: 9462.493 Set: 2096.802 Check: 0.0 Back: 255.455
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 11463601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.683 Prop: 9812.606 PropClause: 9491.785 Set: 2103.503 Check: 0.0 Back: 256.336
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 11503059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.692 Prop: 9842.175 PropClause: 9520.258 Set: 2110.195 Check: 0.0 Back: 257.217
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 11542327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 9872.265 PropClause: 9549.258 Set: 2116.828 Check: 0.0 Back: 258.1
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 11581760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 9901.433 PropClause: 9577.329 Set: 2123.555 Check: 0.0 Back: 258.975
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 11620479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 9931.447 PropClause: 9606.266 Set: 2130.048 Check: 0.0 Back: 259.863
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 11659769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.733 Prop: 9961.529 PropClause: 9635.255 Set: 2136.737 Check: 0.0 Back: 260.732
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 11699204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.742 Prop: 9991.587 PropClause: 9664.214 Set: 2143.462 Check: 0.0 Back: 261.608
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 11738662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.752 Prop: 10020.802 PropClause: 9692.335 Set: 2150.178 Check: 0.0 Back: 262.492
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 11777930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.762 Prop: 10050.428 PropClause: 9720.87 Set: 2156.816 Check: 0.0 Back: 263.377
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 11817363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.772 Prop: 10080.595 PropClause: 9749.941 Set: 2163.62 Check: 0.0 Back: 264.258
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 11856839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.782 Prop: 10110.611 PropClause: 9778.861 Set: 2170.3 Check: 0.0 Back: 265.149
INFO - Atoms: 39476/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 11896274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.795 Prop: 10141.128 PropClause: 9808.282 Set: 2177.086 Check: 0.0 Back: 266.035
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 11935544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.805 Prop: 10172.599 PropClause: 9838.663 Set: 2183.738 Check: 0.0 Back: 266.92
INFO - Atoms: 39270/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 11974246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.819 Prop: 10207.678 PropClause: 9872.659 Set: 2190.596 Check: 0.0 Back: 267.799
INFO - Atoms: 38702/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 12013681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.83 Prop: 10238.079 PropClause: 9901.968 Set: 2197.384 Check: 0.0 Back: 268.692
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 12052971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.84 Prop: 10267.468 PropClause: 9930.261 Set: 2204.03 Check: 0.0 Back: 269.58
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 12092428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.851 Prop: 10299.544 PropClause: 9961.247 Set: 2210.852 Check: 0.0 Back: 270.458
INFO - Atoms: 39457/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 12131863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.861 Prop: 10333.435 PropClause: 9994.034 Set: 2217.684 Check: 0.0 Back: 271.341
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 12171133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.873 Prop: 10366.299 PropClause: 10025.802 Set: 2234.243 Check: 0.0 Back: 272.223
INFO - Atoms: 39270/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 12210591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.882 Prop: 10396.814 PropClause: 10055.214 Set: 2240.988 Check: 0.0 Back: 273.104
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 12249859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.893 Prop: 10428.035 PropClause: 10085.339 Set: 2247.659 Check: 0.0 Back: 273.992
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 12289292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.903 Prop: 10457.477 PropClause: 10113.687 Set: 2254.396 Check: 0.0 Back: 274.869
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 12327993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.911 Prop: 10488.239 PropClause: 10143.369 Set: 2261.01 Check: 0.0 Back: 275.748
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 12367285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.919 Prop: 10518.864 PropClause: 10172.906 Set: 2267.781 Check: 0.0 Back: 276.612
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 12406718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.929 Prop: 10549.572 PropClause: 10202.523 Set: 2274.478 Check: 0.0 Back: 277.492
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 12446178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.938 Prop: 10579.526 PropClause: 10231.38 Set: 2281.263 Check: 0.0 Back: 278.38
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 12485446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.946 Prop: 10610.272 PropClause: 10261.038 Set: 2287.966 Check: 0.0 Back: 279.262
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 12524879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 10640.645 PropClause: 10290.31 Set: 2294.714 Check: 0.0 Back: 280.145
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 12563599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.965 Prop: 10670.886 PropClause: 10319.474 Set: 2301.22 Check: 0.0 Back: 281.022
INFO - Atoms: 38720/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 12602888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 10700.173 PropClause: 10347.665 Set: 2307.939 Check: 0.0 Back: 281.889
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 12642324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.986 Prop: 10733.172 PropClause: 10379.567 Set: 2314.845 Check: 0.0 Back: 282.774
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 12681784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 10764.825 PropClause: 10410.123 Set: 2321.698 Check: 0.0 Back: 283.659
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 12721052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.005 Prop: 10796.178 PropClause: 10440.382 Set: 2328.449 Check: 0.0 Back: 284.543
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 12760485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.013 Prop: 10826.988 PropClause: 10470.097 Set: 2335.209 Check: 0.0 Back: 285.422
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 12799186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.022 Prop: 10857.96 PropClause: 10499.994 Set: 2341.795 Check: 0.0 Back: 286.305
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 12838475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.032 Prop: 10887.08 PropClause: 10528.02 Set: 2348.551 Check: 0.0 Back: 287.172
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 12877911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.041 Prop: 10917.658 PropClause: 10557.501 Set: 2355.308 Check: 0.0 Back: 288.053
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 12917369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.052 Prop: 10948.853 PropClause: 10587.594 Set: 2369.891 Check: 0.0 Back: 288.944
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 12956637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.064 Prop: 10979.456 PropClause: 10617.101 Set: 2376.628 Check: 0.0 Back: 289.833
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 12996070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.075 Prop: 11009.678 PropClause: 10646.214 Set: 2383.453 Check: 0.0 Back: 290.717
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 13034789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.085 Prop: 11043.226 PropClause: 10678.682 Set: 2390.235 Check: 0.0 Back: 291.611
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 13074079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.094 Prop: 11072.693 PropClause: 10707.053 Set: 2397.033 Check: 0.0 Back: 292.485
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 13113514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.103 Prop: 11103.706 PropClause: 10736.971 Set: 2403.812 Check: 0.0 Back: 293.364
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 13152216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.113 Prop: 11134.744 PropClause: 10766.933 Set: 2410.469 Check: 0.0 Back: 294.247
INFO - Atoms: 38702/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 13191649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.124 Prop: 11164.435 PropClause: 10795.527 Set: 2417.279 Check: 0.0 Back: 295.117
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 13230941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.134 Prop: 11194.56 PropClause: 10824.561 Set: 2423.975 Check: 0.0 Back: 296.001
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 13269660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.142 Prop: 11223.858 PropClause: 10852.784 Set: 2430.501 Check: 0.0 Back: 296.884
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 13308951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.15 Prop: 11252.846 PropClause: 10880.683 Set: 2437.262 Check: 0.0 Back: 297.752
INFO - Atoms: 39291/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 13348385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.159 Prop: 11282.257 PropClause: 10909.001 Set: 2443.96 Check: 0.0 Back: 298.626
INFO - Atoms: 39434/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 13387843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 11311.698 PropClause: 10937.347 Set: 2450.725 Check: 0.0 Back: 299.512
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 13427111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.179 Prop: 11343.284 PropClause: 10967.843 Set: 2457.584 Check: 0.0 Back: 300.397
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 13466546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.188 Prop: 11376.114 PropClause: 10999.584 Set: 2464.348 Check: 0.0 Back: 301.277
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 13505247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.198 Prop: 11406.162 PropClause: 11028.556 Set: 2470.869 Check: 0.0 Back: 302.163
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 13544536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.208 Prop: 11437.217 PropClause: 11058.522 Set: 2477.62 Check: 0.0 Back: 303.03
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 13583972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.217 Prop: 11467.566 PropClause: 11087.77 Set: 2484.489 Check: 0.0 Back: 303.909
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 13623430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.225 Prop: 11497.349 PropClause: 11116.458 Set: 2491.275 Check: 0.0 Back: 304.791
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 13662698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.236 Prop: 11527.782 PropClause: 11145.798 Set: 2498.003 Check: 0.0 Back: 305.674
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 13702131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.245 Prop: 11557.683 PropClause: 11174.597 Set: 2504.768 Check: 0.0 Back: 306.556
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 13740832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.254 Prop: 11588.23 PropClause: 11204.069 Set: 2511.349 Check: 0.0 Back: 307.439
INFO - Atoms: 38701/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 13780122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.262 Prop: 11616.274 PropClause: 11231.022 Set: 2518.11 Check: 0.0 Back: 308.305
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 13819557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.271 Prop: 11645.829 PropClause: 11259.483 Set: 2524.869 Check: 0.0 Back: 309.185
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 13859017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.28 Prop: 11677.636 PropClause: 11290.194 Set: 2531.712 Check: 0.0 Back: 310.067
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 13898285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 11707.651 PropClause: 11319.114 Set: 2538.474 Check: 0.0 Back: 310.949
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 13937718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.302 Prop: 11736.595 PropClause: 11346.959 Set: 2545.211 Check: 0.0 Back: 311.829
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 13976437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.311 Prop: 11766.192 PropClause: 11375.481 Set: 2551.767 Check: 0.0 Back: 312.712
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 14015727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.321 Prop: 11798.987 PropClause: 11407.185 Set: 2558.714 Check: 0.0 Back: 313.576
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 14055162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.332 Prop: 11830.678 PropClause: 11437.782 Set: 2565.543 Check: 0.0 Back: 314.458
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 14094620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.341 Prop: 11860.269 PropClause: 11466.277 Set: 2572.285 Check: 0.0 Back: 315.34
INFO - Atoms: 39458/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 14133888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.352 Prop: 11893.673 PropClause: 11498.588 Set: 2579.115 Check: 0.0 Back: 316.221
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 14173321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.361 Prop: 11922.518 PropClause: 11526.338 Set: 2585.84 Check: 0.0 Back: 317.11
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 14212039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.37 Prop: 11951.904 PropClause: 11554.645 Set: 2592.397 Check: 0.0 Back: 317.991
INFO - Atoms: 38718/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 14251328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.381 Prop: 11988.436 PropClause: 11590.06 Set: 2599.484 Check: 0.0 Back: 318.858
INFO - Atoms: 39289/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 14290764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.393 Prop: 12018.7 PropClause: 11619.218 Set: 2606.277 Check: 0.0 Back: 319.749
INFO - Atoms: 39436/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 14330224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.404 Prop: 12048.889 PropClause: 11648.303 Set: 2613.111 Check: 0.0 Back: 320.633
INFO - Atoms: 39460/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 14369492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.416 Prop: 12079.799 PropClause: 11678.105 Set: 2630.443 Check: 0.0 Back: 321.524
INFO - Atoms: 39268/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 14408925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 12109.976 PropClause: 11707.178 Set: 2637.295 Check: 0.0 Back: 322.419
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 14447644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.438 Prop: 12140.462 PropClause: 11736.582 Set: 2643.918 Check: 0.0 Back: 323.309
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 14486934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.449 Prop: 12171.231 PropClause: 11766.258 Set: 2650.708 Check: 0.0 Back: 324.175
INFO - Atoms: 39290/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 14526369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.458 Prop: 12202.831 PropClause: 11796.765 Set: 2657.507 Check: 0.0 Back: 325.053
INFO - Atoms: 39435/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 14565071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.467 Prop: 12232.479 PropClause: 11825.331 Set: 2664.067 Check: 0.0 Back: 325.95
INFO - Atoms: 38702/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 14604504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.477 Prop: 12264.894 PropClause: 11856.652 Set: 2670.997 Check: 0.0 Back: 326.818
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 14643796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.485 Prop: 12294.475 PropClause: 11885.141 Set: 2677.796 Check: 0.0 Back: 327.703
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 14683271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.495 Prop: 12325.099 PropClause: 11914.659 Set: 2684.634 Check: 0.0 Back: 328.582
INFO - Atoms: 39475/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 14722703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.505 Prop: 12355.148 PropClause: 11943.607 Set: 2691.361 Check: 0.0 Back: 329.461
INFO - Atoms: 39432/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 14761973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.516 Prop: 12385.113 PropClause: 11972.485 Set: 2698.034 Check: 0.0 Back: 330.35
INFO - Atoms: 39270/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 14800675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.525 Prop: 12414.4 PropClause: 12000.701 Set: 2704.586 Check: 0.0 Back: 331.226
INFO - Atoms: 38702/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 14840108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.535 Prop: 12444.386 PropClause: 12029.595 Set: 2711.39 Check: 0.0 Back: 332.088
INFO - Atoms: 39433/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 14879400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.546 Prop: 12477.098 PropClause: 12061.217 Set: 2718.148 Check: 0.0 Back: 332.964
INFO - Atoms: 39292/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 14918857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.555 Prop: 12508.17 PropClause: 12091.199 Set: 2725.048 Check: 0.0 Back: 333.843
INFO - Atoms: 39457/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 14958213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.566 Prop: 12543.685 PropClause: 12125.609 Set: 2731.953 Check: 0.0 Back: 334.725
INFO - Atoms: 39356/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 14997482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.577 Prop: 12574.311 PropClause: 12155.139 Set: 2738.758 Check: 0.0 Back: 335.611
INFO - Atoms: 39269/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 15036852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.585 Prop: 12603.961 PropClause: 12183.692 Set: 2745.584 Check: 0.0 Back: 336.493
INFO - Atoms: 39370/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 15076031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.595 Prop: 12634.163 PropClause: 12212.811 Set: 2752.293 Check: 0.0 Back: 337.375
INFO - Atoms: 39179/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 15115297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.607 Prop: 12664.08 PropClause: 12241.633 Set: 2768.731 Check: 0.0 Back: 338.26
INFO - Atoms: 39266/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 15154016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.617 Prop: 12694.305 PropClause: 12270.776 Set: 2775.454 Check: 0.0 Back: 339.136
INFO - Atoms: 38719/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 15193104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.627 Prop: 12725.073 PropClause: 12300.464 Set: 2782.259 Check: 0.0 Back: 339.999
INFO - Atoms: 39088/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 15232195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.636 Prop: 12754.603 PropClause: 12328.91 Set: 2789.044 Check: 0.0 Back: 340.875
INFO - Atoms: 39091/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 15271286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.724 Prop: 12790.072 PropClause: 12363.259 Set: 2796.033 Check: 0.0 Back: 341.744
INFO - Atoms: 39091/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 15310177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.733 Prop: 12820.121 PropClause: 12392.233 Set: 2802.688 Check: 0.0 Back: 342.634
INFO - Atoms: 38891/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 15348860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.742 Prop: 12849.934 PropClause: 12420.968 Set: 2809.342 Check: 0.0 Back: 343.515
INFO - Atoms: 38683/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 15387732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.752 Prop: 12879.048 PropClause: 12449.0 Set: 2816.123 Check: 0.0 Back: 344.379
INFO - Atoms: 38872/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 15426582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.762 Prop: 12907.832 PropClause: 12476.699 Set: 2822.797 Check: 0.0 Back: 345.254
INFO - Atoms: 38850/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 15465474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.769 Prop: 12936.903 PropClause: 12504.68 Set: 2829.535 Check: 0.0 Back: 346.133
INFO - Atoms: 38892/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 15504157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.778 Prop: 12965.61 PropClause: 12532.299 Set: 2836.232 Check: 0.0 Back: 347.011
INFO - Atoms: 38683/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 15543049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.787 Prop: 12996.108 PropClause: 12561.706 Set: 2842.96 Check: 0.0 Back: 347.881
INFO - Atoms: 38892/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 15581733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.796 Prop: 13029.243 PropClause: 12593.75 Set: 2849.791 Check: 0.0 Back: 348.765
INFO - Atoms: 38684/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 15620420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.804 Prop: 13058.322 PropClause: 12621.74 Set: 2856.466 Check: 0.0 Back: 349.644
INFO - Atoms: 38687/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 15658541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.813 Prop: 13089.877 PropClause: 12652.23 Set: 2863.108 Check: 0.0 Back: 350.517
INFO - Atoms: 38121/56640 Clauses: 581 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 877 Props: 17474422 Tprops: 0 Decides: 5465 RSplits: 0
INFO - Times: Expl: 899.532 Prop: 14248.41 PropClause: 13757.209 Set: 2910.451 Check: 0.135 Back: 393.896
INFO - Atoms: 18726/56640 Clauses: 1080 Axioms: 186994
INFO - Restart
INFO - Confl: 1377 Props: 19387154 Tprops: 0 Decides: 11143 RSplits: 0
INFO - Times: Expl: 1397.836 Prop: 15446.188 PropClause: 14897.868 Set: 2955.816 Check: 0.274 Back: 439.239
INFO - Atoms: 18760/56640 Clauses: 1580 Axioms: 186994
INFO - Confl: 1524 Props: 19873478 Tprops: 0 Decides: 12339 RSplits: 0
INFO - Times: Expl: 1543.232 Prop: 15766.604 PropClause: 15203.952 Set: 2967.687 Check: 0.302 Back: 450.777
INFO - Atoms: 20189/56640 Clauses: 1727 Axioms: 186994
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 379 Props: 44579 Tprops: 10950 Decides: 47908 RSplits: 0
INFO - Times: Expl: 226.15 Prop: 37974.685 PropClause: 14.693 Set: 6298.659 Check: 142.037 Back: 194.326
INFO - Atoms: 684/870 Clauses: 379 Axioms: 870
INFO - CCTimes: iE 403894 eq 20364476 cc 60109125 setRep 40758273
INFO - Merges: 371767, cc:644836
INFO - BVTimes: BB 145128057 BB_DPLL 34534409732 Graph 1192593
INFO - BitBlastingClauses: 406234 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat