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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 269117517
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 124862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.635 Prop: 147.27 PropClause: 142.08 Set: 62.952 Check: 0.0 Back: 0.0
INFO - Atoms: 124862/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 249085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.686 Prop: 304.119 PropClause: 294.568 Set: 142.929 Check: 0.0 Back: 2.848
INFO - Atoms: 124223/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 373312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.757 Prop: 433.042 PropClause: 419.899 Set: 164.455 Check: 0.0 Back: 5.683
INFO - Atoms: 124227/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 497534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.837 Prop: 573.077 PropClause: 556.859 Set: 185.828 Check: 0.0 Back: 8.531
INFO - Atoms: 124222/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 621761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.885 Prop: 703.602 PropClause: 684.314 Set: 207.233 Check: 0.0 Back: 11.596
INFO - Atoms: 124227/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 745982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.935 Prop: 838.023 PropClause: 815.688 Set: 228.422 Check: 0.0 Back: 15.294
INFO - Atoms: 124221/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 870201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.983 Prop: 969.774 PropClause: 944.371 Set: 250.015 Check: 0.0 Back: 19.003
INFO - Atoms: 124219/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 994159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.029 Prop: 1110.451 PropClause: 1081.982 Set: 271.436 Check: 0.0 Back: 22.709
INFO - Atoms: 123958/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1117738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.096 Prop: 1237.466 PropClause: 1205.959 Set: 292.611 Check: 0.0 Back: 26.43
INFO - Atoms: 123579/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1240993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.145 Prop: 1374.77 PropClause: 1340.237 Set: 356.409 Check: 0.0 Back: 30.111
INFO - Atoms: 123255/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1363926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.209 Prop: 1501.451 PropClause: 1463.879 Set: 377.514 Check: 0.0 Back: 33.708
INFO - Atoms: 122933/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1486594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.255 Prop: 1633.385 PropClause: 1592.797 Set: 422.391 Check: 0.0 Back: 37.362
INFO - Atoms: 122668/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1608881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.297 Prop: 1759.294 PropClause: 1715.703 Set: 443.443 Check: 0.0 Back: 40.963
INFO - Atoms: 122287/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1730844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.342 Prop: 1891.925 PropClause: 1845.307 Set: 495.524 Check: 0.0 Back: 44.578
INFO - Atoms: 121963/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1852485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.381 Prop: 2017.058 PropClause: 1967.439 Set: 516.562 Check: 0.0 Back: 48.177
INFO - Atoms: 121641/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1973861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.427 Prop: 2153.542 PropClause: 2100.553 Set: 575.959 Check: 0.0 Back: 51.79
INFO - Atoms: 121376/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 2094856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.47 Prop: 2280.844 PropClause: 2224.867 Set: 596.855 Check: 0.0 Back: 55.252
INFO - Atoms: 120995/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 2215527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.516 Prop: 2411.114 PropClause: 2352.157 Set: 617.62 Check: 0.0 Back: 58.789
INFO - Atoms: 120671/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 2335876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.553 Prop: 2535.734 PropClause: 2473.81 Set: 638.287 Check: 0.0 Back: 62.326
INFO - Atoms: 120349/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 2455960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.6 Prop: 2668.626 PropClause: 2603.762 Set: 658.677 Check: 0.0 Back: 65.855
INFO - Atoms: 120084/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 2575663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.641 Prop: 2790.025 PropClause: 2722.188 Set: 679.106 Check: 0.0 Back: 69.367
INFO - Atoms: 119703/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2695100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.68 Prop: 2919.452 PropClause: 2848.692 Set: 699.406 Check: 0.0 Back: 72.892
INFO - Atoms: 119437/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2814157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.728 Prop: 3045.862 PropClause: 2972.14 Set: 766.007 Check: 0.0 Back: 76.314
INFO - Atoms: 119057/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2932948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.769 Prop: 3174.499 PropClause: 3097.845 Set: 786.291 Check: 0.0 Back: 79.502
INFO - Atoms: 118791/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 3051359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.818 Prop: 3297.259 PropClause: 3217.715 Set: 806.562 Check: 0.0 Back: 82.994
INFO - Atoms: 118411/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 3169504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.863 Prop: 3430.344 PropClause: 3347.894 Set: 826.844 Check: 0.0 Back: 86.472
INFO - Atoms: 118145/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 3287269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.905 Prop: 3554.908 PropClause: 3469.555 Set: 847.141 Check: 0.0 Back: 89.932
INFO - Atoms: 117765/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 3404768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.947 Prop: 3679.614 PropClause: 3591.358 Set: 867.173 Check: 0.0 Back: 93.425
INFO - Atoms: 117499/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 3521887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.988 Prop: 3806.71 PropClause: 3715.565 Set: 887.421 Check: 0.0 Back: 96.871
INFO - Atoms: 117119/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 3638682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.031 Prop: 3933.25 PropClause: 3839.256 Set: 907.225 Check: 0.0 Back: 100.271
INFO - Atoms: 116795/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 3755155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.075 Prop: 4055.234 PropClause: 3958.347 Set: 952.572 Check: 0.0 Back: 103.659
INFO - Atoms: 116473/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 3871304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.148 Prop: 4187.355 PropClause: 4087.623 Set: 972.403 Check: 0.0 Back: 107.086
INFO - Atoms: 116149/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 3987131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.191 Prop: 4308.576 PropClause: 4205.998 Set: 992.043 Check: 0.0 Back: 110.441
INFO - Atoms: 115827/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 4102693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.239 Prop: 4439.363 PropClause: 4333.934 Set: 1011.754 Check: 0.0 Back: 113.796
INFO - Atoms: 115562/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 4217874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.289 Prop: 4560.946 PropClause: 4452.65 Set: 1031.584 Check: 0.0 Back: 117.177
INFO - Atoms: 115181/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 4332731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.336 Prop: 4685.202 PropClause: 4574.098 Set: 1050.943 Check: 0.0 Back: 120.553
INFO - Atoms: 114857/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 4447266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.382 Prop: 4804.948 PropClause: 4691.027 Set: 1070.479 Check: 0.0 Back: 123.827
INFO - Atoms: 114535/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 4561536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.433 Prop: 4931.084 PropClause: 4814.346 Set: 1089.99 Check: 0.0 Back: 127.073
INFO - Atoms: 114270/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 4675425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.508 Prop: 5049.42 PropClause: 4929.878 Set: 1109.294 Check: 0.0 Back: 130.361
INFO - Atoms: 113889/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 4788990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.549 Prop: 5171.768 PropClause: 5049.436 Set: 1128.509 Check: 0.0 Back: 133.678
INFO - Atoms: 113565/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 4902233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.597 Prop: 5291.465 PropClause: 5166.331 Set: 1147.918 Check: 0.0 Back: 136.94
INFO - Atoms: 113243/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 5015152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.66 Prop: 5414.139 PropClause: 5286.221 Set: 1167.026 Check: 0.0 Back: 140.243
INFO - Atoms: 112919/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 5127749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.702 Prop: 5531.029 PropClause: 5400.347 Set: 1186.082 Check: 0.0 Back: 143.476
INFO - Atoms: 112597/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 5240022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.742 Prop: 5654.871 PropClause: 5521.419 Set: 1205.072 Check: 0.0 Back: 146.706
INFO - Atoms: 112273/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 5351973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.789 Prop: 5774.461 PropClause: 5638.241 Set: 1224.101 Check: 0.0 Back: 149.892
INFO - Atoms: 111951/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 5463600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.826 Prop: 5891.034 PropClause: 5752.056 Set: 1242.857 Check: 0.0 Back: 153.091
INFO - Atoms: 111627/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 5574905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.872 Prop: 6006.021 PropClause: 5864.239 Set: 1261.769 Check: 0.0 Back: 156.263
INFO - Atoms: 111305/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 5685945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.91 Prop: 6121.169 PropClause: 5976.651 Set: 1280.367 Check: 0.0 Back: 159.471
INFO - Atoms: 111040/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 5796604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.953 Prop: 6233.564 PropClause: 6086.309 Set: 1299.008 Check: 0.0 Back: 162.649
INFO - Atoms: 110659/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 5906996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.042 Prop: 6350.688 PropClause: 6200.712 Set: 1317.364 Check: 0.0 Back: 165.8
INFO - Atoms: 110392/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 6017009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.083 Prop: 6467.131 PropClause: 6314.429 Set: 1335.891 Check: 0.0 Back: 168.869
INFO - Atoms: 110013/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 6126698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.125 Prop: 6586.595 PropClause: 6431.185 Set: 1376.571 Check: 0.0 Back: 172.025
INFO - Atoms: 109689/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 6236065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.223 Prop: 6700.591 PropClause: 6542.49 Set: 1394.958 Check: 0.0 Back: 175.136
INFO - Atoms: 109367/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 6345108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.246 Prop: 6822.614 PropClause: 6661.827 Set: 1413.354 Check: 0.0 Back: 178.297
INFO - Atoms: 109043/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 6453829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.264 Prop: 6934.73 PropClause: 6771.267 Set: 1431.623 Check: 0.0 Back: 181.383
INFO - Atoms: 108721/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 6562226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.282 Prop: 7056.95 PropClause: 6890.802 Set: 1449.942 Check: 0.0 Back: 184.462
INFO - Atoms: 108397/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 6670301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.299 Prop: 7168.254 PropClause: 6999.448 Set: 1468.079 Check: 0.0 Back: 187.553
INFO - Atoms: 108075/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 6778052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.315 Prop: 7285.795 PropClause: 7114.326 Set: 1486.261 Check: 0.0 Back: 190.612
INFO - Atoms: 107751/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 6885481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.336 Prop: 7400.559 PropClause: 7226.416 Set: 1504.528 Check: 0.0 Back: 193.653
INFO - Atoms: 107429/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 6992586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.354 Prop: 7519.48 PropClause: 7342.683 Set: 1522.69 Check: 0.0 Back: 196.757
INFO - Atoms: 107105/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 7099369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.373 Prop: 7632.17 PropClause: 7452.719 Set: 1540.864 Check: 0.0 Back: 199.822
INFO - Atoms: 106783/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 7205828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.393 Prop: 7751.18 PropClause: 7569.077 Set: 1558.85 Check: 0.0 Back: 202.857
INFO - Atoms: 106459/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 7311965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.41 Prop: 7861.624 PropClause: 7676.89 Set: 1576.922 Check: 0.0 Back: 205.869
INFO - Atoms: 106137/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 7417778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.429 Prop: 7976.765 PropClause: 7789.401 Set: 1594.735 Check: 0.0 Back: 208.879
INFO - Atoms: 105813/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 7523269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.453 Prop: 8087.833 PropClause: 7897.858 Set: 1612.502 Check: 0.0 Back: 211.839
INFO - Atoms: 105491/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 7628494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.471 Prop: 8196.826 PropClause: 8004.274 Set: 1629.956 Check: 0.0 Back: 214.796
INFO - Atoms: 105225/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 7733339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.486 Prop: 8304.611 PropClause: 8109.458 Set: 1647.553 Check: 0.0 Back: 217.733
INFO - Atoms: 104845/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 7837918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.503 Prop: 8412.694 PropClause: 8214.974 Set: 1664.981 Check: 0.0 Back: 220.682
INFO - Atoms: 104579/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 7942117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.521 Prop: 8520.1 PropClause: 8319.821 Set: 1682.484 Check: 0.0 Back: 223.593
INFO - Atoms: 104199/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 8045992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.537 Prop: 8629.826 PropClause: 8426.992 Set: 1699.664 Check: 0.0 Back: 226.497
INFO - Atoms: 103875/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 8149545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.552 Prop: 8734.951 PropClause: 8529.564 Set: 1716.982 Check: 0.0 Back: 229.398
INFO - Atoms: 103553/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 8252832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.567 Prop: 8844.798 PropClause: 8636.876 Set: 1734.093 Check: 0.0 Back: 232.343
INFO - Atoms: 103287/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 8355739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.584 Prop: 8949.85 PropClause: 8739.394 Set: 1772.446 Check: 0.0 Back: 235.216
INFO - Atoms: 102907/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 8458322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.599 Prop: 9057.43 PropClause: 8844.45 Set: 1789.423 Check: 0.0 Back: 238.068
INFO - Atoms: 102583/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 8560583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.614 Prop: 9159.806 PropClause: 8944.3 Set: 1806.531 Check: 0.0 Back: 240.936
INFO - Atoms: 102261/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 8662520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.63 Prop: 9266.01 PropClause: 9047.995 Set: 1823.644 Check: 0.0 Back: 243.825
INFO - Atoms: 101937/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 8764135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.646 Prop: 9366.768 PropClause: 9146.25 Set: 1840.469 Check: 0.0 Back: 246.638
INFO - Atoms: 101615/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 8865485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.662 Prop: 9469.364 PropClause: 9246.353 Set: 1857.186 Check: 0.0 Back: 249.467
INFO - Atoms: 101350/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 8966454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 9570.581 PropClause: 9345.075 Set: 1874.083 Check: 0.0 Back: 252.296
INFO - Atoms: 100969/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 9067099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.692 Prop: 9672.824 PropClause: 9444.842 Set: 1890.732 Check: 0.0 Back: 255.099
INFO - Atoms: 100645/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 9167422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.709 Prop: 9770.552 PropClause: 9540.092 Set: 1907.361 Check: 0.0 Back: 257.864
INFO - Atoms: 100323/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 9267421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 9870.036 PropClause: 9637.107 Set: 1923.796 Check: 0.0 Back: 260.652
INFO - Atoms: 99999/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 9367098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 9968.886 PropClause: 9733.506 Set: 1940.381 Check: 0.0 Back: 263.428
INFO - Atoms: 99677/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 9466451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.756 Prop: 10068.247 PropClause: 9830.417 Set: 1956.692 Check: 0.0 Back: 266.179
INFO - Atoms: 99353/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 9565482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.8 Prop: 10169.482 PropClause: 9929.198 Set: 1973.125 Check: 0.0 Back: 268.936
INFO - Atoms: 99031/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 9664247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.853 Prop: 10270.273 PropClause: 10027.548 Set: 1989.405 Check: 0.0 Back: 271.69
INFO - Atoms: 98765/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 9762632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.865 Prop: 10366.075 PropClause: 10120.915 Set: 2005.803 Check: 0.0 Back: 274.425
INFO - Atoms: 98385/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 9860750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.876 Prop: 10466.005 PropClause: 10218.429 Set: 2022.168 Check: 0.0 Back: 277.145
INFO - Atoms: 98118/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 9958489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.889 Prop: 10558.77 PropClause: 10308.804 Set: 2052.255 Check: 0.0 Back: 279.826
INFO - Atoms: 97739/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 10055904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.903 Prop: 10657.697 PropClause: 10405.349 Set: 2068.192 Check: 0.0 Back: 282.498
INFO - Atoms: 97415/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 10152997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.915 Prop: 10750.753 PropClause: 10495.997 Set: 2084.262 Check: 0.0 Back: 285.142
INFO - Atoms: 97093/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 10249825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.926 Prop: 10848.468 PropClause: 10591.312 Set: 2100.299 Check: 0.0 Back: 287.812
INFO - Atoms: 96828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 10346272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.939 Prop: 10940.925 PropClause: 10681.405 Set: 2116.129 Check: 0.0 Back: 290.481
INFO - Atoms: 96447/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 10442452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.95 Prop: 11039.382 PropClause: 10777.499 Set: 2131.884 Check: 0.0 Back: 293.131
INFO - Atoms: 96180/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 10538253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.962 Prop: 11130.842 PropClause: 10866.611 Set: 2147.637 Check: 0.0 Back: 295.809
INFO - Atoms: 95801/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 10633788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.973 Prop: 11225.524 PropClause: 10958.917 Set: 2163.386 Check: 0.0 Back: 298.456
INFO - Atoms: 95535/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 10728943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.984 Prop: 11315.712 PropClause: 11046.769 Set: 2179.017 Check: 0.0 Back: 301.1
INFO - Atoms: 95155/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 10823774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.998 Prop: 11410.214 PropClause: 11138.951 Set: 2194.53 Check: 0.0 Back: 303.702
INFO - Atoms: 94831/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 10918283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.009 Prop: 11503.876 PropClause: 11230.293 Set: 2210.006 Check: 0.0 Back: 306.3
INFO - Atoms: 94509/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 11012468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.021 Prop: 11597.49 PropClause: 11321.576 Set: 2225.498 Check: 0.0 Back: 308.841
INFO - Atoms: 94185/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 11106331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.032 Prop: 11686.162 PropClause: 11407.904 Set: 2241.044 Check: 0.0 Back: 311.442
INFO - Atoms: 93863/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 11199870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.044 Prop: 11778.73 PropClause: 11498.188 Set: 2256.414 Check: 0.0 Back: 314.012
INFO - Atoms: 93539/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 11293087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.055 Prop: 11865.847 PropClause: 11583.015 Set: 2271.628 Check: 0.0 Back: 316.57
INFO - Atoms: 93217/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 11386038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.067 Prop: 11957.546 PropClause: 11672.434 Set: 2286.752 Check: 0.0 Back: 318.981
INFO - Atoms: 92951/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 11478609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.078 Prop: 12045.168 PropClause: 11757.766 Set: 2301.996 Check: 0.0 Back: 321.507
INFO - Atoms: 92571/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 11570914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.088 Prop: 12136.267 PropClause: 11846.59 Set: 2317.097 Check: 0.0 Back: 324.051
INFO - Atoms: 92305/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 11662839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.1 Prop: 12221.227 PropClause: 11929.292 Set: 2354.09 Check: 0.0 Back: 326.541
INFO - Atoms: 91925/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 11754497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.112 Prop: 12311.405 PropClause: 12017.207 Set: 2369.27 Check: 0.0 Back: 329.027
INFO - Atoms: 91658/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 11845776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.123 Prop: 12395.99 PropClause: 12099.531 Set: 2384.22 Check: 0.0 Back: 331.552
INFO - Atoms: 91279/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 11936731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.133 Prop: 12483.194 PropClause: 12184.489 Set: 2399.037 Check: 0.0 Back: 334.117
INFO - Atoms: 90955/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 12027364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.145 Prop: 12566.275 PropClause: 12265.335 Set: 2413.866 Check: 0.0 Back: 336.615
INFO - Atoms: 90633/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 12117673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 12656.459 PropClause: 12353.289 Set: 2450.205 Check: 0.0 Back: 338.937
INFO - Atoms: 90309/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 12207660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.169 Prop: 12740.96 PropClause: 12435.584 Set: 2464.82 Check: 0.0 Back: 341.386
INFO - Atoms: 89987/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 12297323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.18 Prop: 12831.443 PropClause: 12523.851 Set: 2479.419 Check: 0.0 Back: 343.823
INFO - Atoms: 89663/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 12386664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.192 Prop: 12916.179 PropClause: 12606.377 Set: 2493.941 Check: 0.0 Back: 346.25
INFO - Atoms: 89341/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 12475740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.204 Prop: 13003.534 PropClause: 12691.546 Set: 2508.298 Check: 0.0 Back: 348.617
INFO - Atoms: 89076/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 12564435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.215 Prop: 13081.684 PropClause: 12767.518 Set: 2522.648 Check: 0.0 Back: 351.019
INFO - Atoms: 88695/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 12652806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.227 Prop: 13165.044 PropClause: 12848.715 Set: 2536.851 Check: 0.0 Back: 353.416
INFO - Atoms: 88371/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 12740855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.24 Prop: 13245.752 PropClause: 12927.244 Set: 2551.196 Check: 0.0 Back: 355.811
INFO - Atoms: 88049/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 12828580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.252 Prop: 13327.467 PropClause: 13006.799 Set: 2565.393 Check: 0.0 Back: 358.187
INFO - Atoms: 87725/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 12915983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.263 Prop: 13403.707 PropClause: 13080.905 Set: 2579.509 Check: 0.0 Back: 360.563
INFO - Atoms: 87403/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 13003121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.274 Prop: 13481.523 PropClause: 13156.592 Set: 2593.412 Check: 0.0 Back: 362.899
INFO - Atoms: 87138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 13089878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.287 Prop: 13559.249 PropClause: 13232.157 Set: 2619.394 Check: 0.0 Back: 365.232
INFO - Atoms: 86757/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 13176311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.301 Prop: 13639.12 PropClause: 13309.891 Set: 2633.234 Check: 0.0 Back: 367.566
INFO - Atoms: 86433/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 13262422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.312 Prop: 13715.113 PropClause: 13383.76 Set: 2647.161 Check: 0.0 Back: 369.922
INFO - Atoms: 86111/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 13348267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.326 Prop: 13792.573 PropClause: 13459.124 Set: 2660.777 Check: 0.0 Back: 372.25
INFO - Atoms: 85845/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 13433732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.341 Prop: 13865.756 PropClause: 13530.215 Set: 2674.372 Check: 0.0 Back: 374.541
INFO - Atoms: 85465/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 13518873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.355 Prop: 13942.274 PropClause: 13604.655 Set: 2688.051 Check: 0.0 Back: 376.81
INFO - Atoms: 85141/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 13603692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.367 Prop: 14016.514 PropClause: 13676.742 Set: 2701.735 Check: 0.0 Back: 379.118
INFO - Atoms: 84819/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 13688187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.381 Prop: 14099.412 PropClause: 13757.562 Set: 2715.405 Check: 0.0 Back: 381.416
INFO - Atoms: 84495/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 13772360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.395 Prop: 14171.599 PropClause: 13827.689 Set: 2728.82 Check: 0.0 Back: 383.731
INFO - Atoms: 84173/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 13856266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.409 Prop: 14250.757 PropClause: 13904.781 Set: 2742.224 Check: 0.0 Back: 385.981
INFO - Atoms: 83906/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 13941448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.421 Prop: 14325.347 PropClause: 13977.283 Set: 2756.221 Check: 0.0 Back: 388.235
INFO - Atoms: 85182/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 14026955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 14403.855 PropClause: 14053.662 Set: 2787.304 Check: 0.0 Back: 390.523
INFO - Atoms: 85507/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 14112721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.447 Prop: 14478.067 PropClause: 14125.758 Set: 2801.244 Check: 0.0 Back: 392.843
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 14198550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.457 Prop: 14558.499 PropClause: 14204.086 Set: 2815.143 Check: 0.0 Back: 395.141
INFO - Atoms: 85829/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 14283364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.468 Prop: 14633.455 PropClause: 14276.96 Set: 2828.88 Check: 0.0 Back: 397.458
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 14369383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.479 Prop: 14712.813 PropClause: 14354.206 Set: 2842.946 Check: 0.0 Back: 399.724
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 14455209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.491 Prop: 14787.285 PropClause: 14426.558 Set: 2856.978 Check: 0.0 Back: 402.068
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 14540022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.502 Prop: 14865.613 PropClause: 14502.784 Set: 2870.684 Check: 0.0 Back: 404.392
INFO - Atoms: 84813/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 14625850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 14941.05 PropClause: 14576.117 Set: 2884.672 Check: 0.0 Back: 406.701
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 14711867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.522 Prop: 15021.064 PropClause: 14654.023 Set: 2898.638 Check: 0.0 Back: 408.976
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 14796681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 15097.55 PropClause: 14728.423 Set: 2912.367 Check: 0.0 Back: 411.271
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 14882700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.545 Prop: 15177.809 PropClause: 14806.561 Set: 2926.426 Check: 0.0 Back: 413.547
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 14968526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.558 Prop: 15254.695 PropClause: 14881.322 Set: 2940.903 Check: 0.0 Back: 415.887
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 15054607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.568 Prop: 15334.282 PropClause: 14958.8 Set: 2954.952 Check: 0.0 Back: 418.181
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 15140623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.578 Prop: 15411.016 PropClause: 15033.419 Set: 2969.068 Check: 0.0 Back: 420.509
INFO - Atoms: 86016/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 15226389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.59 Prop: 15491.805 PropClause: 15112.095 Set: 2983.108 Check: 0.0 Back: 422.836
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 15311203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.601 Prop: 15568.276 PropClause: 15186.471 Set: 2996.932 Check: 0.0 Back: 425.17
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 15397220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.614 Prop: 15649.835 PropClause: 15265.914 Set: 3030.985 Check: 0.0 Back: 427.468
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 15483048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.624 Prop: 15724.384 PropClause: 15338.354 Set: 3044.912 Check: 0.0 Back: 429.805
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 15569129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.636 Prop: 15805.602 PropClause: 15417.453 Set: 3059.21 Check: 0.0 Back: 432.108
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 15655148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.647 Prop: 15881.463 PropClause: 15491.191 Set: 3073.285 Check: 0.0 Back: 434.449
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 15740914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.657 Prop: 15960.83 PropClause: 15568.437 Set: 3087.25 Check: 0.0 Back: 436.767
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 15825728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.668 Prop: 16035.364 PropClause: 15640.888 Set: 3101.144 Check: 0.0 Back: 439.087
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 15911745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.68 Prop: 16115.132 PropClause: 15718.546 Set: 3115.227 Check: 0.0 Back: 441.349
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 15997573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.689 Prop: 16189.355 PropClause: 15790.637 Set: 3129.345 Check: 0.0 Back: 443.669
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 16083713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.698 Prop: 16266.324 PropClause: 15865.492 Set: 3143.378 Check: 0.0 Back: 445.955
INFO - Atoms: 86140/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 16169731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.71 Prop: 16339.17 PropClause: 15936.221 Set: 3157.399 Check: 0.0 Back: 448.296
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 16255497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.72 Prop: 16415.996 PropClause: 16010.946 Set: 3171.232 Check: 0.0 Back: 450.606
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 16340311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.731 Prop: 16492.617 PropClause: 16085.486 Set: 3184.905 Check: 0.0 Back: 452.933
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 16426328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.743 Prop: 16571.151 PropClause: 16161.912 Set: 3198.849 Check: 0.0 Back: 455.185
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 16512156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.755 Prop: 16644.706 PropClause: 16233.349 Set: 3212.825 Check: 0.0 Back: 457.519
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 16596969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.765 Prop: 16721.325 PropClause: 16307.871 Set: 3226.594 Check: 0.0 Back: 459.833
INFO - Atoms: 84813/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 16682794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.777 Prop: 16794.162 PropClause: 16378.606 Set: 3240.496 Check: 0.0 Back: 462.134
INFO - Atoms: 85825/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 16768814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.788 Prop: 16871.168 PropClause: 16453.513 Set: 3254.408 Check: 0.0 Back: 464.409
INFO - Atoms: 86020/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 16853628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.801 Prop: 16943.751 PropClause: 16524.014 Set: 3289.698 Check: 0.0 Back: 466.735
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 16939647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.812 Prop: 17025.279 PropClause: 16603.413 Set: 3303.762 Check: 0.0 Back: 468.947
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 17025473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.822 Prop: 17098.755 PropClause: 16674.779 Set: 3317.73 Check: 0.0 Back: 471.275
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 17111613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 17178.034 PropClause: 16751.936 Set: 3331.783 Check: 0.0 Back: 473.581
INFO - Atoms: 86140/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 17197629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.844 Prop: 17251.171 PropClause: 16822.964 Set: 3345.661 Check: 0.0 Back: 475.903
INFO - Atoms: 86016/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 17283395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.857 Prop: 17330.442 PropClause: 16900.146 Set: 3359.612 Check: 0.0 Back: 478.217
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 17368209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.868 Prop: 17403.618 PropClause: 16971.225 Set: 3373.47 Check: 0.0 Back: 480.533
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 17454226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.879 Prop: 17484.812 PropClause: 17050.299 Set: 3387.782 Check: 0.0 Back: 482.818
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 17540054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.89 Prop: 17560.842 PropClause: 17124.214 Set: 3401.988 Check: 0.0 Back: 485.156
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 17626192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.901 Prop: 17641.044 PropClause: 17202.31 Set: 3416.104 Check: 0.0 Back: 487.49
INFO - Atoms: 86138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 17712210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.912 Prop: 17718.002 PropClause: 17277.16 Set: 3430.206 Check: 0.0 Back: 489.793
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 17797976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.922 Prop: 17796.265 PropClause: 17353.307 Set: 3444.229 Check: 0.0 Back: 492.108
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 17882790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.934 Prop: 17878.632 PropClause: 17433.581 Set: 3458.32 Check: 0.0 Back: 494.414
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 17968807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.945 Prop: 17958.577 PropClause: 17511.391 Set: 3472.554 Check: 0.0 Back: 496.713
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 18054635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.955 Prop: 18033.716 PropClause: 17584.431 Set: 3486.539 Check: 0.0 Back: 499.012
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 18140716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.964 Prop: 18115.579 PropClause: 17664.151 Set: 3500.776 Check: 0.0 Back: 501.3
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 18226734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.976 Prop: 18191.665 PropClause: 17738.114 Set: 3514.999 Check: 0.0 Back: 503.631
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 18312500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.987 Prop: 18273.142 PropClause: 17817.474 Set: 3543.124 Check: 0.0 Back: 505.948
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 18397314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.998 Prop: 18347.163 PropClause: 17889.413 Set: 3556.873 Check: 0.0 Back: 508.232
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 18483331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.011 Prop: 18429.93 PropClause: 17970.063 Set: 3570.998 Check: 0.0 Back: 510.505
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 18569159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.053 Prop: 18505.096 PropClause: 18043.111 Set: 3585.018 Check: 0.0 Back: 512.832
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 18655240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.096 Prop: 18593.785 PropClause: 18129.672 Set: 3599.203 Check: 0.0 Back: 515.143
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 18741259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.107 Prop: 18669.778 PropClause: 18203.54 Set: 3613.481 Check: 0.0 Back: 517.459
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 18827025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.119 Prop: 18747.816 PropClause: 18279.462 Set: 3627.564 Check: 0.0 Back: 519.785
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 18911839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.129 Prop: 18822.652 PropClause: 18352.214 Set: 3641.401 Check: 0.0 Back: 522.113
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 18997856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.139 Prop: 18903.237 PropClause: 18430.679 Set: 3655.657 Check: 0.0 Back: 524.372
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 19083684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.149 Prop: 18980.705 PropClause: 18506.026 Set: 3669.9 Check: 0.0 Back: 526.699
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 19169765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.161 Prop: 19060.304 PropClause: 18583.503 Set: 3684.116 Check: 0.0 Back: 529.009
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 19255784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.173 Prop: 19137.177 PropClause: 18658.254 Set: 3698.355 Check: 0.0 Back: 531.329
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 19341550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.184 Prop: 19218.015 PropClause: 18736.973 Set: 3712.467 Check: 0.0 Back: 533.638
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 19426364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.195 Prop: 19295.669 PropClause: 18812.517 Set: 3726.437 Check: 0.0 Back: 535.939
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 19512381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.206 Prop: 19373.169 PropClause: 18887.884 Set: 3740.627 Check: 0.0 Back: 538.203
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 19598209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.247 Prop: 19448.632 PropClause: 18961.25 Set: 3754.665 Check: 0.0 Back: 540.521
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 19684348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.263 Prop: 19525.795 PropClause: 19036.311 Set: 3768.718 Check: 0.0 Back: 542.803
INFO - Atoms: 86139/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 19770366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.301 Prop: 19600.289 PropClause: 19108.705 Set: 3782.775 Check: 0.0 Back: 545.115
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 19856132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.308 Prop: 19674.819 PropClause: 19181.125 Set: 3796.787 Check: 0.0 Back: 547.429
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 19940946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 19748.233 PropClause: 19252.451 Set: 3810.62 Check: 0.0 Back: 549.725
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 20026963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.321 Prop: 19824.609 PropClause: 19326.711 Set: 3824.723 Check: 0.0 Back: 551.984
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 20112791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.329 Prop: 19898.852 PropClause: 19398.853 Set: 3838.708 Check: 0.0 Back: 554.295
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 20198872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 19976.328 PropClause: 19474.226 Set: 3852.774 Check: 0.0 Back: 556.587
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 20284891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 20050.288 PropClause: 19546.055 Set: 3889.847 Check: 0.0 Back: 558.888
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 20370657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.348 Prop: 20132.389 PropClause: 19626.031 Set: 3903.993 Check: 0.0 Back: 561.121
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 20455471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.355 Prop: 20204.386 PropClause: 19695.958 Set: 3917.828 Check: 0.0 Back: 563.435
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 20541488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.362 Prop: 20280.175 PropClause: 19769.647 Set: 3931.933 Check: 0.0 Back: 565.693
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 20627316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 20358.969 PropClause: 19846.341 Set: 3946.072 Check: 0.0 Back: 567.933
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 20712188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.376 Prop: 20440.556 PropClause: 19925.823 Set: 3960.107 Check: 0.0 Back: 570.219
INFO - Atoms: 84872/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 20798013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.383 Prop: 20517.711 PropClause: 20000.859 Set: 3995.194 Check: 0.0 Back: 572.459
INFO - Atoms: 85825/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 20884033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.392 Prop: 20593.445 PropClause: 20074.494 Set: 4009.206 Check: 0.0 Back: 574.756
INFO - Atoms: 86020/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 20968847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 20668.485 PropClause: 20147.466 Set: 4023.0 Check: 0.0 Back: 577.038
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 21054866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 20748.848 PropClause: 20225.722 Set: 4037.212 Check: 0.0 Back: 579.264
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 21140692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.415 Prop: 20828.388 PropClause: 20303.134 Set: 4051.523 Check: 0.0 Back: 581.598
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 21226830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 20907.295 PropClause: 20379.913 Set: 4065.776 Check: 0.0 Back: 583.901
INFO - Atoms: 86138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 21312847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 20984.327 PropClause: 20454.836 Set: 4100.054 Check: 0.0 Back: 586.227
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 21398613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.439 Prop: 21068.012 PropClause: 20536.413 Set: 4114.239 Check: 0.0 Back: 588.529
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 21483427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.447 Prop: 21143.291 PropClause: 20609.609 Set: 4128.161 Check: 0.0 Back: 590.852
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 21569444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 21224.076 PropClause: 20688.269 Set: 4142.565 Check: 0.0 Back: 593.138
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 21655272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.46 Prop: 21300.712 PropClause: 20762.781 Set: 4156.884 Check: 0.0 Back: 595.455
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 21741353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.467 Prop: 21380.74 PropClause: 20840.703 Set: 4171.119 Check: 0.0 Back: 597.753
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 21827372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.476 Prop: 21457.239 PropClause: 20915.09 Set: 4205.974 Check: 0.0 Back: 600.075
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 21913138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.483 Prop: 21537.791 PropClause: 20993.521 Set: 4220.252 Check: 0.0 Back: 602.41
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 21997952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.493 Prop: 21615.882 PropClause: 21069.516 Set: 4234.263 Check: 0.0 Back: 604.724
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 22083969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.499 Prop: 21694.995 PropClause: 21146.514 Set: 4248.586 Check: 0.0 Back: 607.006
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 22169797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.508 Prop: 21771.718 PropClause: 21221.128 Set: 4262.777 Check: 0.0 Back: 609.321
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 22255878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.515 Prop: 21851.173 PropClause: 21298.455 Set: 4277.045 Check: 0.0 Back: 611.641
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 22341897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.523 Prop: 21927.939 PropClause: 21373.098 Set: 4291.387 Check: 0.0 Back: 613.953
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 22427663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.53 Prop: 22007.092 PropClause: 21450.134 Set: 4305.592 Check: 0.0 Back: 616.263
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 22512477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.537 Prop: 22081.693 PropClause: 21522.653 Set: 4319.532 Check: 0.0 Back: 618.552
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 22598494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.546 Prop: 22160.137 PropClause: 21598.986 Set: 4333.844 Check: 0.0 Back: 620.842
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 22684322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.552 Prop: 22237.372 PropClause: 21674.125 Set: 4348.07 Check: 0.0 Back: 623.136
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 22770462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.559 Prop: 22317.345 PropClause: 21751.967 Set: 4362.444 Check: 0.0 Back: 625.437
INFO - Atoms: 86140/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 22856481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.565 Prop: 22393.619 PropClause: 21826.113 Set: 4376.88 Check: 0.0 Back: 627.753
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 22942247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.573 Prop: 22475.068 PropClause: 21905.474 Set: 4391.097 Check: 0.0 Back: 630.091
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 23027061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.58 Prop: 22549.639 PropClause: 21977.966 Set: 4404.993 Check: 0.0 Back: 632.398
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 23113078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 22627.347 PropClause: 22053.566 Set: 4419.312 Check: 0.0 Back: 634.691
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 23198906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.594 Prop: 22706.229 PropClause: 22130.326 Set: 4433.774 Check: 0.0 Back: 636.951
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 23285045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.601 Prop: 22787.363 PropClause: 22209.329 Set: 4448.199 Check: 0.0 Back: 639.252
INFO - Atoms: 86139/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 23371063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 22868.037 PropClause: 22287.884 Set: 4462.55 Check: 0.0 Back: 641.574
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 23456829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.617 Prop: 22953.819 PropClause: 22371.562 Set: 4476.892 Check: 0.0 Back: 643.88
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 23541643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.623 Prop: 23031.735 PropClause: 22447.387 Set: 4491.016 Check: 0.0 Back: 646.188
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 23627660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.63 Prop: 23113.452 PropClause: 22526.968 Set: 4505.567 Check: 0.0 Back: 648.47
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 23713488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.636 Prop: 23189.799 PropClause: 22601.195 Set: 4519.941 Check: 0.0 Back: 650.79
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 23799569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.643 Prop: 23269.54 PropClause: 22678.812 Set: 4534.349 Check: 0.0 Back: 653.119
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 23885587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.649 Prop: 23344.573 PropClause: 22751.719 Set: 4548.714 Check: 0.0 Back: 655.394
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 23971353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 23422.943 PropClause: 22827.978 Set: 4575.329 Check: 0.0 Back: 657.716
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 24056167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.664 Prop: 23497.7 PropClause: 22900.635 Set: 4589.44 Check: 0.0 Back: 660.018
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 24142184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.671 Prop: 23578.641 PropClause: 22979.454 Set: 4603.944 Check: 0.0 Back: 662.313
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 24228012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.678 Prop: 23655.169 PropClause: 23053.866 Set: 4618.281 Check: 0.0 Back: 664.638
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 24314093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.685 Prop: 23735.11 PropClause: 23131.678 Set: 4632.697 Check: 0.0 Back: 666.944
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 24400112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.691 Prop: 23810.828 PropClause: 23205.266 Set: 4647.141 Check: 0.0 Back: 669.262
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 24485878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.699 Prop: 23889.24 PropClause: 23281.564 Set: 4661.414 Check: 0.0 Back: 671.585
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 24570692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.706 Prop: 23963.597 PropClause: 23353.828 Set: 4675.421 Check: 0.0 Back: 673.889
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 24656709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.713 Prop: 24044.789 PropClause: 23432.896 Set: 4689.992 Check: 0.0 Back: 676.163
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 24742537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.72 Prop: 24122.49 PropClause: 23508.481 Set: 4704.38 Check: 0.0 Back: 678.497
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 24827408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.727 Prop: 24201.725 PropClause: 23585.611 Set: 4718.532 Check: 0.0 Back: 680.807
INFO - Atoms: 84871/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 24913234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.737 Prop: 24280.901 PropClause: 23662.67 Set: 4732.952 Check: 0.0 Back: 683.117
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 24999253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.744 Prop: 24360.041 PropClause: 23739.674 Set: 4747.455 Check: 0.0 Back: 685.448
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 25085335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.753 Prop: 24438.105 PropClause: 23815.614 Set: 4762.285 Check: 0.0 Back: 687.767
INFO - Atoms: 86082/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 25171099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.761 Prop: 24519.329 PropClause: 23894.727 Set: 4776.6 Check: 0.0 Back: 690.104
INFO - Atoms: 85764/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 25257118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.767 Prop: 24597.716 PropClause: 23971.002 Set: 4790.881 Check: 0.0 Back: 692.392
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 25341931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.774 Prop: 24675.16 PropClause: 24046.358 Set: 4804.884 Check: 0.0 Back: 694.716
INFO - Atoms: 84813/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 25427757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.781 Prop: 24748.756 PropClause: 24117.852 Set: 4819.153 Check: 0.0 Back: 697.01
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 25513776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.787 Prop: 24827.317 PropClause: 24194.31 Set: 4833.524 Check: 0.0 Back: 699.319
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 25599860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.805 Prop: 24902.994 PropClause: 24267.875 Set: 4870.089 Check: 0.0 Back: 701.611
INFO - Atoms: 86084/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 25685624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.812 Prop: 24983.022 PropClause: 24345.78 Set: 4884.486 Check: 0.0 Back: 703.841
INFO - Atoms: 85764/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 25771641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.819 Prop: 25060.195 PropClause: 24420.828 Set: 4898.904 Check: 0.0 Back: 706.141
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 25857782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 25138.946 PropClause: 24497.473 Set: 4913.217 Check: 0.0 Back: 708.473
INFO - Atoms: 86141/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 25943801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.832 Prop: 25214.209 PropClause: 24570.623 Set: 4927.62 Check: 0.0 Back: 710.788
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 26029567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.839 Prop: 25294.056 PropClause: 24648.373 Set: 4941.855 Check: 0.0 Back: 713.079
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 26114381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.846 Prop: 25368.677 PropClause: 24720.892 Set: 4955.931 Check: 0.0 Back: 715.37
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 26200400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.852 Prop: 25445.495 PropClause: 24795.583 Set: 4970.42 Check: 0.0 Back: 717.655
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 26286226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.858 Prop: 25521.408 PropClause: 24869.361 Set: 4984.893 Check: 0.0 Back: 719.949
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 26372307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.866 Prop: 25599.419 PropClause: 24945.266 Set: 4999.205 Check: 0.0 Back: 722.252
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 26458326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.872 Prop: 25675.193 PropClause: 25018.927 Set: 5013.546 Check: 0.0 Back: 724.522
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 26544092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.88 Prop: 25752.82 PropClause: 25094.433 Set: 5027.945 Check: 0.0 Back: 726.811
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 26628906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.887 Prop: 25827.989 PropClause: 25167.503 Set: 5042.164 Check: 0.0 Back: 729.13
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 26714923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.896 Prop: 25907.047 PropClause: 25244.45 Set: 5056.655 Check: 0.0 Back: 731.432
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 26800751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.903 Prop: 25983.297 PropClause: 25318.597 Set: 5070.989 Check: 0.0 Back: 733.734
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 26886891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.911 Prop: 26061.354 PropClause: 25394.55 Set: 5085.387 Check: 0.0 Back: 736.018
INFO - Atoms: 86140/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 26972910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.918 Prop: 26137.567 PropClause: 25468.633 Set: 5100.138 Check: 0.0 Back: 738.308
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 27058676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.924 Prop: 26216.044 PropClause: 25544.982 Set: 5114.572 Check: 0.0 Back: 740.629
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 27143490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 26290.03 PropClause: 25616.899 Set: 5128.518 Check: 0.0 Back: 742.94
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 27229507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.938 Prop: 26365.16 PropClause: 25689.925 Set: 5142.885 Check: 0.0 Back: 745.202
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 27315335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.947 Prop: 26439.173 PropClause: 25761.845 Set: 5157.102 Check: 0.0 Back: 747.482
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 27401473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 26516.074 PropClause: 25836.624 Set: 5171.661 Check: 0.0 Back: 749.747
INFO - Atoms: 86138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 27487492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.962 Prop: 26590.107 PropClause: 25908.537 Set: 5186.085 Check: 0.0 Back: 752.085
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 27573258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.969 Prop: 26668.721 PropClause: 25985.057 Set: 5200.213 Check: 0.0 Back: 754.39
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 27658072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.976 Prop: 26743.239 PropClause: 26057.506 Set: 5214.233 Check: 0.0 Back: 756.685
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 27744089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.983 Prop: 26817.522 PropClause: 26129.695 Set: 5228.375 Check: 0.0 Back: 758.924
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 27829917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.989 Prop: 26890.491 PropClause: 26200.536 Set: 5242.774 Check: 0.0 Back: 761.207
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 27915998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.996 Prop: 26965.398 PropClause: 26273.324 Set: 5257.152 Check: 0.0 Back: 763.546
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 28002016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.003 Prop: 27038.727 PropClause: 26344.56 Set: 5271.429 Check: 0.0 Back: 765.869
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 28087782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.01 Prop: 27112.269 PropClause: 26416.011 Set: 5285.523 Check: 0.0 Back: 768.158
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 28172596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.018 Prop: 27185.458 PropClause: 26487.13 Set: 5299.478 Check: 0.0 Back: 770.429
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 28258613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.025 Prop: 27262.396 PropClause: 26561.934 Set: 5314.007 Check: 0.0 Back: 772.682
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 28344441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.032 Prop: 27335.402 PropClause: 26632.823 Set: 5328.301 Check: 0.0 Back: 774.983
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 28430522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.039 Prop: 27412.846 PropClause: 26708.172 Set: 5361.997 Check: 0.0 Back: 777.294
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 28516540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.047 Prop: 27489.663 PropClause: 26782.889 Set: 5376.348 Check: 0.0 Back: 779.55
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 28602306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 27565.024 PropClause: 26856.149 Set: 5390.626 Check: 0.0 Back: 781.862
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 28687120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.062 Prop: 27638.024 PropClause: 26927.054 Set: 5404.72 Check: 0.0 Back: 784.156
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 28773137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.068 Prop: 27715.338 PropClause: 27002.242 Set: 5419.257 Check: 0.0 Back: 786.417
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 28858965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.075 Prop: 27789.315 PropClause: 27074.109 Set: 5433.614 Check: 0.0 Back: 788.719
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 28943837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.083 Prop: 27867.566 PropClause: 27150.267 Set: 5447.7 Check: 0.0 Back: 791.038
INFO - Atoms: 84872/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 29029663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.09 Prop: 27946.584 PropClause: 27227.176 Set: 5462.129 Check: 0.0 Back: 793.321
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 29115682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.096 Prop: 28024.427 PropClause: 27302.89 Set: 5476.637 Check: 0.0 Back: 795.625
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 29200496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.102 Prop: 28100.521 PropClause: 27376.879 Set: 5490.96 Check: 0.0 Back: 797.951
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 29286515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 28176.47 PropClause: 27450.716 Set: 5505.441 Check: 0.0 Back: 800.23
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 29372341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.115 Prop: 28251.178 PropClause: 27523.301 Set: 5519.844 Check: 0.0 Back: 802.538
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 29458479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 28330.702 PropClause: 27600.716 Set: 5534.27 Check: 0.0 Back: 804.841
INFO - Atoms: 86138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 29544495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.128 Prop: 28405.631 PropClause: 27673.513 Set: 5548.801 Check: 0.0 Back: 807.147
INFO - Atoms: 86016/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 29630261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.136 Prop: 28483.976 PropClause: 27749.745 Set: 5563.218 Check: 0.0 Back: 809.467
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 29715075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.145 Prop: 28562.937 PropClause: 27826.628 Set: 5577.379 Check: 0.0 Back: 811.763
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 29801092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.151 Prop: 28645.668 PropClause: 27907.246 Set: 5591.945 Check: 0.0 Back: 814.029
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 29886920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.158 Prop: 28720.915 PropClause: 27980.383 Set: 5606.332 Check: 0.0 Back: 816.325
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 29973058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.164 Prop: 28801.169 PropClause: 28058.505 Set: 5620.973 Check: 0.0 Back: 818.65
INFO - Atoms: 86138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 30059077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.171 Prop: 28879.483 PropClause: 28134.692 Set: 5635.609 Check: 0.0 Back: 821.001
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 30144843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.178 Prop: 28956.646 PropClause: 28209.764 Set: 5649.969 Check: 0.0 Back: 823.307
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 30229657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.186 Prop: 29037.697 PropClause: 28288.73 Set: 5664.365 Check: 0.0 Back: 825.599
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 30315674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.193 Prop: 29116.075 PropClause: 28365.002 Set: 5678.893 Check: 0.0 Back: 827.89
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 30401502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 29193.798 PropClause: 28440.607 Set: 5693.435 Check: 0.0 Back: 830.216
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 30487583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.208 Prop: 29273.373 PropClause: 28518.058 Set: 5708.133 Check: 0.0 Back: 832.513
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 30573602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.215 Prop: 29350.336 PropClause: 28592.908 Set: 5722.752 Check: 0.0 Back: 834.8
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 30659368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.222 Prop: 29428.468 PropClause: 28668.942 Set: 5737.189 Check: 0.0 Back: 837.002
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 30744182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.229 Prop: 29502.849 PropClause: 28741.24 Set: 5751.367 Check: 0.0 Back: 839.313
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 30830199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.235 Prop: 29578.644 PropClause: 28814.89 Set: 5766.561 Check: 0.0 Back: 841.598
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 30916027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.243 Prop: 29650.702 PropClause: 28884.834 Set: 5780.889 Check: 0.0 Back: 843.937
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 31002167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 29726.795 PropClause: 28958.827 Set: 5795.263 Check: 0.0 Back: 846.215
INFO - Atoms: 86140/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 31088185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.256 Prop: 29801.315 PropClause: 29031.246 Set: 5809.662 Check: 0.0 Back: 848.521
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 31173951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.261 Prop: 29875.966 PropClause: 29103.787 Set: 5823.967 Check: 0.0 Back: 850.81
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 31258765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.27 Prop: 29946.789 PropClause: 29172.51 Set: 5838.135 Check: 0.0 Back: 853.137
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 31344782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.277 Prop: 30019.831 PropClause: 29243.434 Set: 5852.603 Check: 0.0 Back: 855.447
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 31430610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.285 Prop: 30095.239 PropClause: 29316.721 Set: 5866.988 Check: 0.0 Back: 857.776
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 31516691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.292 Prop: 30169.261 PropClause: 29388.641 Set: 5881.36 Check: 0.0 Back: 860.11
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 31602710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.3 Prop: 30241.974 PropClause: 29459.239 Set: 5895.785 Check: 0.0 Back: 862.399
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 31688476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.308 Prop: 30315.276 PropClause: 29530.424 Set: 5910.17 Check: 0.0 Back: 864.733
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 31773290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.316 Prop: 30385.661 PropClause: 29598.734 Set: 5924.261 Check: 0.0 Back: 867.061
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 31859307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.324 Prop: 30457.665 PropClause: 29668.642 Set: 5938.515 Check: 0.0 Back: 869.323
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 31945135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.331 Prop: 30529.651 PropClause: 29738.52 Set: 5952.982 Check: 0.0 Back: 871.636
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 32031275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.339 Prop: 30603.208 PropClause: 29809.952 Set: 5983.072 Check: 0.0 Back: 873.927
INFO - Atoms: 86140/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 32117294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.346 Prop: 30673.939 PropClause: 29878.554 Set: 5997.514 Check: 0.0 Back: 876.245
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 32203060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.355 Prop: 30747.747 PropClause: 29950.261 Set: 6011.75 Check: 0.0 Back: 878.587
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 32287874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.362 Prop: 30820.143 PropClause: 30020.593 Set: 6025.774 Check: 0.0 Back: 880.873
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 32373891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.371 Prop: 30897.548 PropClause: 30095.893 Set: 6040.31 Check: 0.0 Back: 883.13
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 32459719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.38 Prop: 30970.585 PropClause: 30166.821 Set: 6054.724 Check: 0.0 Back: 885.453
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 32545857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.388 Prop: 31046.125 PropClause: 30240.234 Set: 6069.288 Check: 0.0 Back: 887.757
INFO - Atoms: 86138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 32631876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.396 Prop: 31118.967 PropClause: 30310.955 Set: 6100.276 Check: 0.0 Back: 890.084
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 32717642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.405 Prop: 31199.29 PropClause: 30389.181 Set: 6114.631 Check: 0.0 Back: 892.408
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 32802456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.412 Prop: 31271.461 PropClause: 30459.272 Set: 6128.739 Check: 0.0 Back: 894.71
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 32888473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.418 Prop: 31347.056 PropClause: 30532.748 Set: 6143.457 Check: 0.0 Back: 897.006
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 32974301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.426 Prop: 31419.867 PropClause: 30603.446 Set: 6157.988 Check: 0.0 Back: 899.349
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 33060382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.432 Prop: 31494.592 PropClause: 30676.061 Set: 6172.486 Check: 0.0 Back: 901.674
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 33146400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.438 Prop: 31569.936 PropClause: 30749.29 Set: 6187.0 Check: 0.0 Back: 904.003
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 33232166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.445 Prop: 31647.289 PropClause: 30824.541 Set: 6201.499 Check: 0.0 Back: 906.344
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 33316980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.452 Prop: 31720.312 PropClause: 30895.482 Set: 6215.715 Check: 0.0 Back: 908.669
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 33402997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.459 Prop: 31793.583 PropClause: 30966.631 Set: 6230.288 Check: 0.0 Back: 910.978
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 33488825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.468 Prop: 31868.416 PropClause: 31039.361 Set: 6244.79 Check: 0.0 Back: 913.296
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 33574964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.475 Prop: 31943.14 PropClause: 31111.979 Set: 6259.248 Check: 0.0 Back: 915.598
INFO - Atoms: 86139/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 33660982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.481 Prop: 32017.658 PropClause: 31184.387 Set: 6273.793 Check: 0.0 Back: 917.96
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 33746748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.488 Prop: 32092.97 PropClause: 31257.571 Set: 6288.281 Check: 0.0 Back: 920.292
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 33831562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.494 Prop: 32166.149 PropClause: 31328.656 Set: 6302.552 Check: 0.0 Back: 922.652
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 33917579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.502 Prop: 32241.152 PropClause: 31401.558 Set: 6328.514 Check: 0.0 Back: 924.929
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 34003407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.509 Prop: 32314.428 PropClause: 31472.729 Set: 6342.984 Check: 0.0 Back: 927.255
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 34089488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.514 Prop: 32388.841 PropClause: 31545.031 Set: 6357.472 Check: 0.0 Back: 929.558
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 34175507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.521 Prop: 32462.323 PropClause: 31616.405 Set: 6371.994 Check: 0.0 Back: 931.898
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 34261273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.528 Prop: 32537.546 PropClause: 31689.516 Set: 6386.427 Check: 0.0 Back: 934.232
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 34346087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.534 Prop: 32612.282 PropClause: 31762.156 Set: 6400.765 Check: 0.0 Back: 936.561
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 34432104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.54 Prop: 32687.197 PropClause: 31834.963 Set: 6415.268 Check: 0.0 Back: 938.832
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 34517932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.547 Prop: 32760.443 PropClause: 31906.098 Set: 6429.702 Check: 0.0 Back: 941.174
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 34604071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.555 Prop: 32838.021 PropClause: 31981.564 Set: 6444.217 Check: 0.0 Back: 943.469
INFO - Atoms: 86139/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 34690089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.561 Prop: 32912.271 PropClause: 32053.692 Set: 6458.905 Check: 0.0 Back: 945.797
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 34775855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.568 Prop: 32985.686 PropClause: 32124.995 Set: 6473.336 Check: 0.0 Back: 948.174
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 34860669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.575 Prop: 33056.077 PropClause: 32193.306 Set: 6487.496 Check: 0.0 Back: 950.465
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 34946686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.581 Prop: 33128.557 PropClause: 32263.691 Set: 6501.98 Check: 0.0 Back: 952.729
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 35032514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.588 Prop: 33200.798 PropClause: 32333.822 Set: 6516.403 Check: 0.0 Back: 955.021
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 35118653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.595 Prop: 33272.161 PropClause: 32403.05 Set: 6530.869 Check: 0.0 Back: 957.333
INFO - Atoms: 86139/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 35204671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.603 Prop: 33343.58 PropClause: 32472.352 Set: 6565.12 Check: 0.0 Back: 959.677
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 35290437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.609 Prop: 33415.607 PropClause: 32542.282 Set: 6579.42 Check: 0.0 Back: 961.965
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 35375251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.616 Prop: 33486.7 PropClause: 32611.303 Set: 6593.566 Check: 0.0 Back: 964.253
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 35461268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.621 Prop: 33560.007 PropClause: 32682.505 Set: 6608.038 Check: 0.0 Back: 966.509
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 35547096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.628 Prop: 33630.2 PropClause: 32750.57 Set: 6622.445 Check: 0.0 Back: 968.833
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 35633177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.634 Prop: 33705.249 PropClause: 32823.501 Set: 6637.087 Check: 0.0 Back: 971.144
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 35719195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.64 Prop: 33775.929 PropClause: 32892.083 Set: 6651.526 Check: 0.0 Back: 973.438
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 35804961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.646 Prop: 33848.825 PropClause: 32962.887 Set: 6665.893 Check: 0.0 Back: 975.729
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 35889775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.655 Prop: 33920.585 PropClause: 33032.556 Set: 6699.112 Check: 0.0 Back: 978.049
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 35975792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.66 Prop: 33997.192 PropClause: 33107.042 Set: 6713.847 Check: 0.0 Back: 980.333
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 36061620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.666 Prop: 34068.285 PropClause: 33176.019 Set: 6728.239 Check: 0.0 Back: 982.684
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 36147701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.674 Prop: 34142.72 PropClause: 33248.35 Set: 6742.839 Check: 0.0 Back: 984.996
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 36233720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.681 Prop: 34215.793 PropClause: 33319.318 Set: 6757.421 Check: 0.0 Back: 987.301
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 36319486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.687 Prop: 34290.711 PropClause: 33392.141 Set: 6771.865 Check: 0.0 Back: 989.602
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 36404300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.695 Prop: 34364.854 PropClause: 33464.183 Set: 6786.269 Check: 0.0 Back: 991.911
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 36490317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.701 Prop: 34441.879 PropClause: 33539.078 Set: 6801.054 Check: 0.0 Back: 994.232
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 36576145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.708 Prop: 34514.864 PropClause: 33609.953 Set: 6827.666 Check: 0.0 Back: 996.49
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 36662284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.716 Prop: 34588.61 PropClause: 33681.585 Set: 6842.264 Check: 0.0 Back: 998.789
INFO - Atoms: 86139/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 36748303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.722 Prop: 34661.87 PropClause: 33752.737 Set: 6856.894 Check: 0.0 Back: 1001.098
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 36834069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.728 Prop: 34737.049 PropClause: 33825.796 Set: 6871.369 Check: 0.0 Back: 1003.418
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 36918883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.736 Prop: 34810.493 PropClause: 33897.141 Set: 6885.669 Check: 0.0 Back: 1005.773
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 37004900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.743 Prop: 34884.645 PropClause: 33969.178 Set: 6900.354 Check: 0.0 Back: 1008.066
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 37090728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.748 Prop: 34957.918 PropClause: 34040.344 Set: 6914.884 Check: 0.0 Back: 1010.386
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 37175541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.755 Prop: 35032.378 PropClause: 34112.724 Set: 6929.191 Check: 0.0 Back: 1012.719
INFO - Atoms: 84813/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 37261367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.762 Prop: 35105.742 PropClause: 34183.962 Set: 6943.956 Check: 0.0 Back: 1014.988
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 37347386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.769 Prop: 35182.287 PropClause: 34258.377 Set: 6958.68 Check: 0.0 Back: 1017.321
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 37433470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.777 Prop: 35256.632 PropClause: 34330.613 Set: 6973.33 Check: 0.0 Back: 1019.642
INFO - Atoms: 86084/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 37519234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.783 Prop: 35332.924 PropClause: 34404.795 Set: 6987.963 Check: 0.0 Back: 1021.959
INFO - Atoms: 85764/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 37605253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.79 Prop: 35405.364 PropClause: 34475.124 Set: 7002.668 Check: 0.0 Back: 1024.245
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 37690125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.796 Prop: 35480.553 PropClause: 34548.214 Set: 7017.146 Check: 0.0 Back: 1026.549
INFO - Atoms: 84872/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 37775950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.804 Prop: 35552.83 PropClause: 34618.37 Set: 7031.86 Check: 0.0 Back: 1028.845
INFO - Atoms: 85825/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 37861970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.81 Prop: 35628.311 PropClause: 34691.755 Set: 7046.449 Check: 0.0 Back: 1031.184
INFO - Atoms: 86020/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 37948052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.817 Prop: 35703.386 PropClause: 34764.713 Set: 7081.091 Check: 0.0 Back: 1033.516
INFO - Atoms: 86082/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 38033816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.823 Prop: 35777.527 PropClause: 34836.748 Set: 7095.645 Check: 0.0 Back: 1035.818
INFO - Atoms: 85764/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 38119833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.829 Prop: 35850.129 PropClause: 34907.228 Set: 7110.285 Check: 0.0 Back: 1038.143
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 38205916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.833 Prop: 35924.672 PropClause: 34979.636 Set: 7125.043 Check: 0.0 Back: 1040.48
INFO - Atoms: 86083/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 38291934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.84 Prop: 35997.281 PropClause: 35050.143 Set: 7139.596 Check: 0.0 Back: 1042.809
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 38377700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.846 Prop: 36071.958 PropClause: 35122.718 Set: 7154.221 Check: 0.0 Back: 1045.103
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 38462514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.853 Prop: 36144.968 PropClause: 35193.649 Set: 7168.437 Check: 0.0 Back: 1047.387
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 38548533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.859 Prop: 36219.956 PropClause: 35266.516 Set: 7183.19 Check: 0.0 Back: 1049.671
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 38634359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.869 Prop: 36294.332 PropClause: 35338.769 Set: 7198.014 Check: 0.0 Back: 1052.009
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 38720498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.876 Prop: 36371.789 PropClause: 35414.111 Set: 7212.761 Check: 0.0 Back: 1054.341
INFO - Atoms: 86139/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 38806516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.883 Prop: 36445.869 PropClause: 35486.081 Set: 7227.457 Check: 0.0 Back: 1056.67
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 38892282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.89 Prop: 36521.044 PropClause: 35559.143 Set: 7241.967 Check: 0.0 Back: 1058.975
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 38977096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.896 Prop: 36593.529 PropClause: 35629.525 Set: 7256.408 Check: 0.0 Back: 1061.278
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 39063113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.902 Prop: 36668.385 PropClause: 35702.255 Set: 7271.185 Check: 0.0 Back: 1063.569
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 39148941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.917 Prop: 36744.022 PropClause: 35775.776 Set: 7285.849 Check: 0.0 Back: 1065.875
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 39235022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.925 Prop: 36818.933 PropClause: 35848.569 Set: 7300.535 Check: 0.0 Back: 1068.2
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 39321041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.933 Prop: 36892.448 PropClause: 35919.962 Set: 7315.232 Check: 0.0 Back: 1070.538
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 39406807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.942 Prop: 36971.838 PropClause: 35997.226 Set: 7329.965 Check: 0.0 Back: 1072.863
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 39491621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.949 Prop: 37043.006 PropClause: 36066.298 Set: 7344.394 Check: 0.0 Back: 1075.185
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 39577638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.955 Prop: 37118.665 PropClause: 36139.829 Set: 7359.206 Check: 0.0 Back: 1077.467
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 39663466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.963 Prop: 37190.314 PropClause: 36209.368 Set: 7373.848 Check: 0.0 Back: 1079.788
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 39749547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.97 Prop: 37264.016 PropClause: 36280.952 Set: 7388.575 Check: 0.0 Back: 1082.122
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 39835566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.976 Prop: 37336.752 PropClause: 36351.565 Set: 7403.29 Check: 0.0 Back: 1084.431
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 39921332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.982 Prop: 37409.024 PropClause: 36421.713 Set: 7417.79 Check: 0.0 Back: 1086.746
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 40006146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.989 Prop: 37479.969 PropClause: 36490.563 Set: 7432.116 Check: 0.0 Back: 1089.066
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 40092163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.998 Prop: 37552.808 PropClause: 36561.279 Set: 7468.487 Check: 0.0 Back: 1091.343
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 40177991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.003 Prop: 37627.318 PropClause: 36633.678 Set: 7483.126 Check: 0.0 Back: 1093.607
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 40264072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.01 Prop: 37704.515 PropClause: 36708.751 Set: 7497.988 Check: 0.0 Back: 1095.916
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 40350091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.016 Prop: 37780.78 PropClause: 36782.883 Set: 7512.813 Check: 0.0 Back: 1098.243
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 40435857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.023 Prop: 37856.242 PropClause: 36856.237 Set: 7527.534 Check: 0.0 Back: 1100.549
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 40520671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.031 Prop: 37930.631 PropClause: 36928.545 Set: 7541.968 Check: 0.0 Back: 1102.86
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 40606688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.039 Prop: 38008.581 PropClause: 37004.372 Set: 7556.929 Check: 0.0 Back: 1105.145
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 40692516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.044 Prop: 38082.96 PropClause: 37076.644 Set: 7571.566 Check: 0.0 Back: 1107.453
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 40778597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.05 Prop: 38161.822 PropClause: 37153.381 Set: 7586.468 Check: 0.0 Back: 1109.753
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 40864615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.06 Prop: 38237.83 PropClause: 37227.258 Set: 7613.254 Check: 0.0 Back: 1112.054
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 40950381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.067 Prop: 38313.659 PropClause: 37300.98 Set: 7627.916 Check: 0.0 Back: 1114.382
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 41035195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.074 Prop: 38387.144 PropClause: 37372.382 Set: 7642.338 Check: 0.0 Back: 1116.671
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 41121212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.081 Prop: 38460.78 PropClause: 37443.899 Set: 7657.065 Check: 0.0 Back: 1118.96
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 41207040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.086 Prop: 38533.006 PropClause: 37514.0 Set: 7671.708 Check: 0.0 Back: 1121.251
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 41293121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.092 Prop: 38608.636 PropClause: 37587.501 Set: 7686.374 Check: 0.0 Back: 1123.591
INFO - Atoms: 86081/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 41379140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.1 Prop: 38681.722 PropClause: 37658.492 Set: 7701.043 Check: 0.0 Back: 1125.908
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 41464906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.107 Prop: 38755.92 PropClause: 37730.594 Set: 7715.446 Check: 0.0 Back: 1128.214
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 41549720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.114 Prop: 38828.497 PropClause: 37801.099 Set: 7729.77 Check: 0.0 Back: 1130.49
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 41635737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.121 Prop: 38905.109 PropClause: 37875.578 Set: 7744.689 Check: 0.0 Back: 1132.743
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 41721565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.129 Prop: 38978.692 PropClause: 37947.035 Set: 7759.492 Check: 0.0 Back: 1135.075
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 41807705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.137 Prop: 39052.333 PropClause: 38018.571 Set: 7774.229 Check: 0.0 Back: 1137.401
INFO - Atoms: 86140/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 41893724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.143 Prop: 39124.637 PropClause: 38088.766 Set: 7788.865 Check: 0.0 Back: 1139.712
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 41979490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.15 Prop: 39199.63 PropClause: 38161.653 Set: 7803.486 Check: 0.0 Back: 1142.002
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 42064304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.157 Prop: 39270.44 PropClause: 38230.367 Set: 7817.985 Check: 0.0 Back: 1144.317
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 42150321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.164 Prop: 39343.621 PropClause: 38301.414 Set: 7832.866 Check: 0.0 Back: 1146.615
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 42236149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.171 Prop: 39417.929 PropClause: 38373.608 Set: 7847.547 Check: 0.0 Back: 1148.914
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 42322287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.177 Prop: 39493.464 PropClause: 38447.033 Set: 7862.406 Check: 0.0 Back: 1151.21
INFO - Atoms: 86138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 42408305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.183 Prop: 39568.445 PropClause: 38519.904 Set: 7877.146 Check: 0.0 Back: 1153.52
INFO - Atoms: 86018/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 42494071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.191 Prop: 39642.775 PropClause: 38592.12 Set: 7891.952 Check: 0.0 Back: 1155.837
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 42578885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.198 Prop: 39716.063 PropClause: 38663.306 Set: 7906.431 Check: 0.0 Back: 1158.115
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 42664902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.204 Prop: 39792.343 PropClause: 38737.485 Set: 7921.26 Check: 0.0 Back: 1160.414
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 42750730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.211 Prop: 39872.104 PropClause: 38815.136 Set: 7936.451 Check: 0.0 Back: 1162.714
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 42836868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.218 Prop: 39947.008 PropClause: 38887.925 Set: 7951.295 Check: 0.0 Back: 1165.022
INFO - Atoms: 86138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 42922887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.226 Prop: 40021.25 PropClause: 38960.052 Set: 7966.129 Check: 0.0 Back: 1167.328
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 43008653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.233 Prop: 40094.87 PropClause: 39031.543 Set: 7980.875 Check: 0.0 Back: 1169.659
INFO - Atoms: 85766/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 43093467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.238 Prop: 40164.436 PropClause: 39099.015 Set: 7995.239 Check: 0.0 Back: 1171.98
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 43179484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.246 Prop: 40237.263 PropClause: 39169.725 Set: 8027.4 Check: 0.0 Back: 1174.254
INFO - Atoms: 86017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 43265312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.251 Prop: 40308.191 PropClause: 39238.553 Set: 8042.01 Check: 0.0 Back: 1176.559
INFO - Atoms: 85828/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 43350125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.259 Prop: 40383.502 PropClause: 39311.79 Set: 8056.324 Check: 0.0 Back: 1178.856
INFO - Atoms: 84813/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 43435950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.266 Prop: 40457.513 PropClause: 39383.675 Set: 8071.211 Check: 0.0 Back: 1181.133
INFO - Atoms: 85825/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 43521970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.273 Prop: 40533.597 PropClause: 39457.636 Set: 8085.905 Check: 0.0 Back: 1183.443
INFO - Atoms: 86020/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 43608054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.278 Prop: 40607.341 PropClause: 39529.27 Set: 8100.625 Check: 0.0 Back: 1185.744
INFO - Atoms: 86084/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 43693818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.285 Prop: 40679.195 PropClause: 39599.026 Set: 8115.132 Check: 0.0 Back: 1188.028
INFO - Atoms: 85764/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 43779837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.292 Prop: 40750.258 PropClause: 39667.991 Set: 8129.64 Check: 0.0 Back: 1190.314
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 43864650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.299 Prop: 40820.664 PropClause: 39736.29 Set: 8143.994 Check: 0.0 Back: 1192.592
INFO - Atoms: 84813/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 43950476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.305 Prop: 40890.651 PropClause: 39804.161 Set: 8158.696 Check: 0.0 Back: 1194.859
INFO - Atoms: 85826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 44036495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.312 Prop: 40962.508 PropClause: 39873.922 Set: 8173.247 Check: 0.0 Back: 1197.159
INFO - Atoms: 86019/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 44122577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.319 Prop: 41033.882 PropClause: 39943.196 Set: 8187.801 Check: 0.0 Back: 1199.448
INFO - Atoms: 86082/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 44208341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.327 Prop: 41104.453 PropClause: 40011.675 Set: 8202.218 Check: 0.0 Back: 1201.76
INFO - Atoms: 85764/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 44294237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.333 Prop: 41176.633 PropClause: 40081.744 Set: 8216.935 Check: 0.0 Back: 1204.04
INFO - Atoms: 85896/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 44380166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.339 Prop: 41251.156 PropClause: 40154.153 Set: 8231.693 Check: 0.0 Back: 1206.355
INFO - Atoms: 85929/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 44465909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.345 Prop: 41324.454 PropClause: 40225.353 Set: 8246.302 Check: 0.0 Back: 1208.66
INFO - Atoms: 85743/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 44551521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.352 Prop: 41399.17 PropClause: 40297.977 Set: 8260.912 Check: 0.0 Back: 1210.962
INFO - Atoms: 85612/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 44636335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.359 Prop: 41471.546 PropClause: 40368.27 Set: 8275.363 Check: 0.0 Back: 1213.258
INFO - Atoms: 84814/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 44721794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.366 Prop: 41546.339 PropClause: 40440.963 Set: 8289.993 Check: 0.0 Back: 1215.555
INFO - Atoms: 85459/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 44807250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.373 Prop: 41619.704 PropClause: 40512.224 Set: 8304.677 Check: 0.0 Back: 1217.834
INFO - Atoms: 85456/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 44892767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.379 Prop: 41693.214 PropClause: 40583.624 Set: 8319.447 Check: 0.0 Back: 1220.143
INFO - Atoms: 85517/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 44977905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.534 Prop: 41766.648 PropClause: 40654.969 Set: 8334.082 Check: 0.0 Back: 1222.45
INFO - Atoms: 85138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 45063043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.543 Prop: 41839.623 PropClause: 40725.85 Set: 8348.515 Check: 0.0 Back: 1224.725
INFO - Atoms: 85138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 45148181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.688 Prop: 41911.471 PropClause: 40795.607 Set: 8363.012 Check: 0.0 Back: 1227.021
INFO - Atoms: 85138/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 45232978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.695 Prop: 41984.207 PropClause: 40866.255 Set: 8377.535 Check: 0.0 Back: 1229.301
INFO - Atoms: 84797/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 45318091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.701 Prop: 42056.135 PropClause: 40936.082 Set: 8392.171 Check: 0.0 Back: 1231.587
INFO - Atoms: 85113/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 45402886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.709 Prop: 42128.741 PropClause: 41006.61 Set: 8406.644 Check: 0.0 Back: 1233.862
INFO - Atoms: 84795/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 75589 Tprops: 18767 Decides: 82387 RSplits: 0
INFO - Times: Expl: 361.67 Prop: 106177.947 PropClause: 21.215 Set: 16154.316 Check: 253.088 Back: 396.761
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 765961 eq 31501708 cc 113143967 setRep 72920742
INFO - Merges: 649770, cc:1230408
INFO - BVTimes: BB 269107378 BB_DPLL 95971322588 Graph 2031700
INFO - BitBlastingClauses: 799810 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 45487997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.717 Prop: 42203.911 PropClause: 41079.697 Set: 8421.234 Check: 0.0 Back: 1236.15
INFO - Atoms: 85111/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 45571694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.86 Prop: 42277.386 PropClause: 41151.116 Set: 8435.389 Check: 0.0 Back: 1238.447
INFO - Atoms: 83697/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 45655711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.867 Prop: 42348.933 PropClause: 41220.604 Set: 8449.742 Check: 0.0 Back: 1240.668
INFO - Atoms: 84017/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 45739406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.877 Prop: 42426.907 PropClause: 41296.514 Set: 8464.182 Check: 0.0 Back: 1242.934
INFO - Atoms: 83695/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 45822779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.883 Prop: 42498.385 PropClause: 41365.895 Set: 8478.32 Check: 0.0 Back: 1245.201
INFO - Atoms: 83373/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 45906931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.889 Prop: 42578.282 PropClause: 41443.736 Set: 8502.894 Check: 0.0 Back: 1247.444
INFO - Atoms: 84152/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 45991472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.894 Prop: 42650.13 PropClause: 41513.518 Set: 8527.279 Check: 0.0 Back: 1249.602
INFO - Atoms: 84541/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 46076272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.952 Prop: 42727.867 PropClause: 41589.156 Set: 8551.927 Check: 0.0 Back: 1251.803
INFO - Atoms: 84800/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 46161457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.036 Prop: 42800.941 PropClause: 41660.124 Set: 8566.55 Check: 0.0 Back: 1254.009
INFO - Atoms: 85185/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 46246903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.155 Prop: 42880.806 PropClause: 41737.905 Set: 8580.925 Check: 0.0 Back: 1256.258
INFO - Atoms: 85446/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 46332734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.166 Prop: 42954.14 PropClause: 41809.13 Set: 8595.424 Check: 0.0 Back: 1258.46
INFO - Atoms: 85831/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 46418826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.175 Prop: 43028.789 PropClause: 41881.685 Set: 8609.812 Check: 0.0 Back: 1260.687
INFO - Atoms: 86092/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 46505303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.186 Prop: 43103.204 PropClause: 41953.985 Set: 8624.427 Check: 0.0 Back: 1262.892
INFO - Atoms: 86477/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 46592041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.195 Prop: 43180.797 PropClause: 42029.434 Set: 8639.099 Check: 0.0 Back: 1265.163
INFO - Atoms: 86738/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 46679164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.204 Prop: 43256.509 PropClause: 42103.003 Set: 8653.951 Check: 0.0 Back: 1267.405
INFO - Atoms: 87123/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 46766548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.215 Prop: 43334.019 PropClause: 42178.389 Set: 8668.521 Check: 0.0 Back: 1269.671
INFO - Atoms: 87384/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 46854317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.225 Prop: 43413.631 PropClause: 42255.857 Set: 8683.408 Check: 0.0 Back: 1271.948
INFO - Atoms: 87769/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 46942347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.236 Prop: 43495.477 PropClause: 42335.55 Set: 8698.24 Check: 0.0 Back: 1274.232
INFO - Atoms: 88030/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 47030762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.246 Prop: 43572.952 PropClause: 42410.854 Set: 8713.297 Check: 0.0 Back: 1276.521
INFO - Atoms: 88415/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 47119438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.256 Prop: 43653.988 PropClause: 42489.71 Set: 8728.261 Check: 0.0 Back: 1278.874
INFO - Atoms: 88676/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 47208499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.268 Prop: 43730.528 PropClause: 42564.053 Set: 8743.311 Check: 0.0 Back: 1281.206
INFO - Atoms: 89061/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 47297821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.28 Prop: 43809.889 PropClause: 42641.225 Set: 8758.47 Check: 0.0 Back: 1283.554
INFO - Atoms: 89322/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 47387528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.291 Prop: 43889.632 PropClause: 42718.758 Set: 8773.831 Check: 0.0 Back: 1285.898
INFO - Atoms: 89707/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 47477496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.302 Prop: 43970.045 PropClause: 42796.954 Set: 8789.13 Check: 0.0 Back: 1288.267
INFO - Atoms: 89968/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 47567849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.314 Prop: 44051.033 PropClause: 42875.705 Set: 8804.513 Check: 0.0 Back: 1290.64
INFO - Atoms: 90353/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 47658463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.325 Prop: 44132.426 PropClause: 42954.896 Set: 8819.683 Check: 0.0 Back: 1293.058
INFO - Atoms: 90614/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 47749462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.337 Prop: 44214.418 PropClause: 43034.673 Set: 8835.348 Check: 0.0 Back: 1295.431
INFO - Atoms: 90999/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 47840722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.348 Prop: 44295.786 PropClause: 43113.827 Set: 8850.619 Check: 0.0 Back: 1297.834
INFO - Atoms: 91260/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 47932367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.359 Prop: 44377.951 PropClause: 43193.738 Set: 8866.259 Check: 0.0 Back: 1300.22
INFO - Atoms: 91645/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 48024273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.371 Prop: 44464.892 PropClause: 43278.42 Set: 8881.939 Check: 0.0 Back: 1302.692
INFO - Atoms: 91906/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 48116564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.38 Prop: 44546.128 PropClause: 43357.418 Set: 8897.58 Check: 0.0 Back: 1305.152
INFO - Atoms: 92291/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 48209116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.393 Prop: 44631.562 PropClause: 43440.595 Set: 8913.296 Check: 0.0 Back: 1307.588
INFO - Atoms: 92552/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 48302053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.404 Prop: 44713.872 PropClause: 43520.636 Set: 8928.986 Check: 0.0 Back: 1310.022
INFO - Atoms: 92937/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 48395251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.415 Prop: 44800.064 PropClause: 43604.536 Set: 8944.924 Check: 0.0 Back: 1312.489
INFO - Atoms: 93198/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 48488834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.426 Prop: 44883.651 PropClause: 43685.823 Set: 8960.907 Check: 0.0 Back: 1314.985
INFO - Atoms: 93583/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 48582678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.436 Prop: 44972.454 PropClause: 43772.334 Set: 8976.88 Check: 0.0 Back: 1317.539
INFO - Atoms: 93844/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 48676907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.445 Prop: 45060.436 PropClause: 43858.007 Set: 8992.972 Check: 0.0 Back: 1320.04
INFO - Atoms: 94229/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 48771397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.454 Prop: 45149.38 PropClause: 43944.648 Set: 9008.912 Check: 0.0 Back: 1322.563
INFO - Atoms: 94490/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 48866272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.465 Prop: 45248.733 PropClause: 44041.66 Set: 9025.494 Check: 0.0 Back: 1325.082
INFO - Atoms: 94875/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 48961408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.476 Prop: 45341.311 PropClause: 44131.873 Set: 9041.786 Check: 0.0 Back: 1327.661
INFO - Atoms: 95136/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 49056929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.486 Prop: 45431.25 PropClause: 44219.479 Set: 9058.118 Check: 0.0 Back: 1330.258
INFO - Atoms: 95521/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 49152711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.497 Prop: 45524.421 PropClause: 44310.309 Set: 9092.291 Check: 0.0 Back: 1332.83
INFO - Atoms: 95782/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 49248878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.507 Prop: 45614.632 PropClause: 44398.154 Set: 9108.779 Check: 0.0 Back: 1335.418
INFO - Atoms: 96167/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 49345306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.518 Prop: 45707.384 PropClause: 44488.537 Set: 9125.31 Check: 0.0 Back: 1338.006
INFO - Atoms: 96428/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 49442119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.529 Prop: 45798.583 PropClause: 44577.356 Set: 9141.939 Check: 0.0 Back: 1340.619
INFO - Atoms: 96813/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 49539193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.54 Prop: 45892.817 PropClause: 44669.19 Set: 9158.557 Check: 0.0 Back: 1343.283
INFO - Atoms: 97074/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 49636652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.549 Prop: 45984.82 PropClause: 44758.811 Set: 9175.213 Check: 0.0 Back: 1345.946
INFO - Atoms: 97459/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 49734372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.558 Prop: 46080.829 PropClause: 44852.433 Set: 9191.945 Check: 0.0 Back: 1348.618
INFO - Atoms: 97720/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 49832477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.569 Prop: 46178.736 PropClause: 44947.919 Set: 9208.864 Check: 0.0 Back: 1351.24
INFO - Atoms: 98105/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 49930843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.579 Prop: 46272.488 PropClause: 45039.255 Set: 9225.705 Check: 0.0 Back: 1353.946
INFO - Atoms: 98366/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 50029594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.59 Prop: 46366.992 PropClause: 45131.35 Set: 9242.578 Check: 0.0 Back: 1356.622
INFO - Atoms: 98751/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 50128606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.602 Prop: 46462.951 PropClause: 45224.888 Set: 9259.593 Check: 0.0 Back: 1359.332
INFO - Atoms: 99012/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 50228003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.612 Prop: 46559.149 PropClause: 45318.647 Set: 9276.67 Check: 0.0 Back: 1362.035
INFO - Atoms: 99397/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 50327661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.625 Prop: 46656.221 PropClause: 45413.271 Set: 9293.819 Check: 0.0 Back: 1364.76
INFO - Atoms: 99658/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 50427704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.636 Prop: 46754.594 PropClause: 45509.184 Set: 9311.089 Check: 0.0 Back: 1367.468
INFO - Atoms: 100043/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 50528008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.648 Prop: 46851.999 PropClause: 45604.136 Set: 9328.246 Check: 0.0 Back: 1370.249
INFO - Atoms: 100304/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 50628697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.659 Prop: 46949.388 PropClause: 45699.07 Set: 9345.46 Check: 0.0 Back: 1373.082
INFO - Atoms: 100689/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 50729647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.67 Prop: 47048.418 PropClause: 45795.635 Set: 9363.173 Check: 0.0 Back: 1375.843
INFO - Atoms: 100950/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 50830982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.681 Prop: 47147.156 PropClause: 45891.883 Set: 9380.664 Check: 0.0 Back: 1378.625
INFO - Atoms: 101335/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 50932578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.693 Prop: 47246.714 PropClause: 45988.95 Set: 9398.116 Check: 0.0 Back: 1381.411
INFO - Atoms: 101596/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 51034559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.703 Prop: 47347.193 PropClause: 46086.926 Set: 9437.862 Check: 0.0 Back: 1384.197
INFO - Atoms: 101981/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 51136801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.715 Prop: 47448.078 PropClause: 46185.314 Set: 9455.31 Check: 0.0 Back: 1386.997
INFO - Atoms: 102242/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 51239428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.726 Prop: 47549.475 PropClause: 46284.186 Set: 9472.982 Check: 0.0 Back: 1389.763
INFO - Atoms: 102627/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 51342316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.737 Prop: 47650.198 PropClause: 46382.383 Set: 9490.661 Check: 0.0 Back: 1392.604
INFO - Atoms: 102888/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 51445589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.749 Prop: 47751.464 PropClause: 46481.132 Set: 9508.3 Check: 0.0 Back: 1395.416
INFO - Atoms: 103273/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 51549123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.76 Prop: 47850.062 PropClause: 46577.219 Set: 9525.913 Check: 0.0 Back: 1398.252
INFO - Atoms: 103534/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 51653042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.776 Prop: 47950.467 PropClause: 46675.099 Set: 9543.575 Check: 0.0 Back: 1401.076
INFO - Atoms: 103919/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 51757222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.786 Prop: 48050.016 PropClause: 46772.096 Set: 9561.37 Check: 0.0 Back: 1403.902
INFO - Atoms: 104180/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 51861787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.807 Prop: 48151.628 PropClause: 46871.137 Set: 9579.345 Check: 0.0 Back: 1406.8
INFO - Atoms: 104565/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 51966613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.819 Prop: 48258.476 PropClause: 46975.436 Set: 9597.372 Check: 0.0 Back: 1409.69
INFO - Atoms: 104826/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 52071824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.829 Prop: 48359.566 PropClause: 47073.96 Set: 9615.407 Check: 0.0 Back: 1412.572
INFO - Atoms: 105211/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 52177296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.839 Prop: 48459.481 PropClause: 47171.302 Set: 9633.328 Check: 0.0 Back: 1415.468
INFO - Atoms: 105472/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 52283153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.85 Prop: 48564.909 PropClause: 47274.127 Set: 9651.716 Check: 0.0 Back: 1418.377
INFO - Atoms: 105857/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 52389271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.86 Prop: 48671.391 PropClause: 47378.018 Set: 9670.029 Check: 0.0 Back: 1421.332
INFO - Atoms: 106118/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 52495774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.87 Prop: 48772.414 PropClause: 47476.432 Set: 9688.276 Check: 0.0 Back: 1424.252
INFO - Atoms: 106503/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 52602538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.881 Prop: 48875.171 PropClause: 47576.571 Set: 9706.585 Check: 0.0 Back: 1427.207
INFO - Atoms: 106764/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 52709687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.892 Prop: 48979.806 PropClause: 47678.581 Set: 9725.067 Check: 0.0 Back: 1430.16
INFO - Atoms: 107149/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 52817097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.904 Prop: 49083.554 PropClause: 47779.688 Set: 9743.572 Check: 0.0 Back: 1433.131
INFO - Atoms: 107410/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 579 Props: 52924892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.916 Prop: 49193.346 PropClause: 47886.827 Set: 9762.238 Check: 0.0 Back: 1436.109
INFO - Atoms: 107795/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 53032948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.935 Prop: 49304.81 PropClause: 47995.647 Set: 9792.916 Check: 0.0 Back: 1439.12
INFO - Atoms: 108056/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 53141389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.946 Prop: 49420.33 PropClause: 48108.5 Set: 9811.842 Check: 0.0 Back: 1442.173
INFO - Atoms: 108441/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 53250091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.957 Prop: 49539.865 PropClause: 48225.358 Set: 9830.818 Check: 0.0 Back: 1445.195
INFO - Atoms: 108702/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 583 Props: 53359178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.97 Prop: 49657.97 PropClause: 48340.796 Set: 9849.828 Check: 0.0 Back: 1448.234
INFO - Atoms: 109087/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 53468526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.982 Prop: 49774.311 PropClause: 48454.44 Set: 9868.825 Check: 0.0 Back: 1451.326
INFO - Atoms: 109348/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 53578259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.995 Prop: 49892.348 PropClause: 48569.777 Set: 9888.001 Check: 0.0 Back: 1454.412
INFO - Atoms: 109733/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 53688253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.007 Prop: 50008.817 PropClause: 48683.537 Set: 9907.275 Check: 0.0 Back: 1457.5
INFO - Atoms: 109994/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 587 Props: 53798632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.018 Prop: 50128.306 PropClause: 48800.306 Set: 9926.624 Check: 0.0 Back: 1460.599
INFO - Atoms: 110379/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 53909272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.027 Prop: 50245.934 PropClause: 48915.219 Set: 9945.904 Check: 0.0 Back: 1463.756
INFO - Atoms: 110640/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 54020297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.038 Prop: 50364.824 PropClause: 49031.366 Set: 9983.195 Check: 0.0 Back: 1466.91
INFO - Atoms: 111025/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 54131583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.05 Prop: 50485.166 PropClause: 49148.96 Set: 10002.765 Check: 0.0 Back: 1470.091
INFO - Atoms: 111286/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 591 Props: 54243254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.062 Prop: 50610.555 PropClause: 49271.58 Set: 10022.494 Check: 0.0 Back: 1473.272
INFO - Atoms: 111671/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 54355186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.073 Prop: 50730.101 PropClause: 49388.379 Set: 10041.946 Check: 0.0 Back: 1476.453
INFO - Atoms: 111932/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 54467503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.085 Prop: 50851.436 PropClause: 49506.969 Set: 10061.517 Check: 0.0 Back: 1479.626
INFO - Atoms: 112317/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 54580081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.094 Prop: 50972.919 PropClause: 49625.687 Set: 10081.222 Check: 0.0 Back: 1482.806
INFO - Atoms: 112578/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 54693044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.106 Prop: 51096.751 PropClause: 49746.738 Set: 10101.137 Check: 0.0 Back: 1486.005
INFO - Atoms: 112963/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 54806268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.118 Prop: 51219.685 PropClause: 49866.908 Set: 10120.799 Check: 0.0 Back: 1489.142
INFO - Atoms: 113224/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 597 Props: 54919877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.13 Prop: 51340.932 PropClause: 49985.352 Set: 10140.68 Check: 0.0 Back: 1492.383
INFO - Atoms: 113609/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 55033747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.141 Prop: 51463.171 PropClause: 50104.809 Set: 10181.415 Check: 0.0 Back: 1495.608
INFO - Atoms: 113870/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 55148002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.151 Prop: 51584.645 PropClause: 50223.468 Set: 10201.41 Check: 0.0 Back: 1498.882
INFO - Atoms: 114255/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 55262518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.165 Prop: 51716.105 PropClause: 50352.122 Set: 10221.4 Check: 0.0 Back: 1502.157
INFO - Atoms: 114516/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 601 Props: 55377419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.176 Prop: 51839.063 PropClause: 50472.254 Set: 10241.528 Check: 0.0 Back: 1505.36
INFO - Atoms: 114901/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 55492581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.188 Prop: 51962.677 PropClause: 50592.949 Set: 10261.68 Check: 0.0 Back: 1508.654
INFO - Atoms: 115162/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 55608128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.2 Prop: 52088.148 PropClause: 50715.578 Set: 10281.964 Check: 0.0 Back: 1511.935
INFO - Atoms: 115547/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 55723936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.212 Prop: 52216.22 PropClause: 50840.788 Set: 10302.441 Check: 0.0 Back: 1515.215
INFO - Atoms: 115808/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 55840129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.224 Prop: 52338.638 PropClause: 50960.353 Set: 10322.633 Check: 0.0 Back: 1518.548
INFO - Atoms: 116193/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 55956583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.235 Prop: 52469.364 PropClause: 51088.215 Set: 10343.132 Check: 0.0 Back: 1521.886
INFO - Atoms: 116454/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 56073422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.248 Prop: 52597.726 PropClause: 51213.703 Set: 10385.739 Check: 0.0 Back: 1525.268
INFO - Atoms: 116839/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 608 Props: 56190522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.258 Prop: 52722.511 PropClause: 51335.605 Set: 10406.275 Check: 0.0 Back: 1528.643
INFO - Atoms: 117100/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 609 Props: 56308007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.27 Prop: 52849.04 PropClause: 51459.229 Set: 10427.115 Check: 0.0 Back: 1532.007
INFO - Atoms: 117485/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 610 Props: 56425753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.281 Prop: 52979.615 PropClause: 51586.876 Set: 10447.972 Check: 0.0 Back: 1535.393
INFO - Atoms: 117746/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 611 Props: 56543884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.293 Prop: 53109.536 PropClause: 51713.852 Set: 10468.873 Check: 0.0 Back: 1538.807
INFO - Atoms: 118131/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 612 Props: 56662276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.304 Prop: 53237.642 PropClause: 51839.031 Set: 10489.773 Check: 0.0 Back: 1542.226
INFO - Atoms: 118392/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 613 Props: 56781053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.315 Prop: 53369.565 PropClause: 51968.02 Set: 10510.759 Check: 0.0 Back: 1545.625
INFO - Atoms: 118777/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 614 Props: 56900091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.325 Prop: 53494.787 PropClause: 52090.3 Set: 10531.681 Check: 0.0 Back: 1549.06
INFO - Atoms: 119038/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 615 Props: 57019514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.336 Prop: 53621.985 PropClause: 52214.537 Set: 10552.737 Check: 0.0 Back: 1552.379
INFO - Atoms: 119423/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 616 Props: 57139198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.348 Prop: 53752.651 PropClause: 52342.232 Set: 10591.126 Check: 0.0 Back: 1555.863
INFO - Atoms: 119684/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 617 Props: 57259267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.359 Prop: 53883.291 PropClause: 52469.905 Set: 10612.34 Check: 0.0 Back: 1559.345
INFO - Atoms: 120069/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 618 Props: 57379597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.372 Prop: 54015.221 PropClause: 52598.853 Set: 10633.671 Check: 0.0 Back: 1562.814
INFO - Atoms: 120330/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 619 Props: 57500312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.383 Prop: 54149.042 PropClause: 52729.683 Set: 10655.089 Check: 0.0 Back: 1566.334
INFO - Atoms: 120715/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 620 Props: 57621288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.396 Prop: 54286.928 PropClause: 52864.567 Set: 10676.6 Check: 0.0 Back: 1569.879
INFO - Atoms: 120976/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 621 Props: 57742649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.408 Prop: 54420.322 PropClause: 52994.969 Set: 10697.959 Check: 0.0 Back: 1573.4
INFO - Atoms: 121361/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 622 Props: 57864271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.419 Prop: 54554.93 PropClause: 53126.577 Set: 10719.436 Check: 0.0 Back: 1576.937
INFO - Atoms: 121622/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 623 Props: 57986278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.429 Prop: 54691.504 PropClause: 53260.138 Set: 10741.228 Check: 0.0 Back: 1580.456
INFO - Atoms: 122007/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 624 Props: 58108546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.441 Prop: 54828.006 PropClause: 53393.634 Set: 10762.808 Check: 0.0 Back: 1584.036
INFO - Atoms: 122268/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 625 Props: 58231199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.454 Prop: 54967.155 PropClause: 53529.77 Set: 10784.588 Check: 0.0 Back: 1587.586
INFO - Atoms: 122653/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 626 Props: 58354113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.463 Prop: 55101.63 PropClause: 53661.225 Set: 10806.178 Check: 0.0 Back: 1591.179
INFO - Atoms: 122914/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 627 Props: 58477411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.477 Prop: 55236.834 PropClause: 53793.378 Set: 10827.958 Check: 0.0 Back: 1594.801
INFO - Atoms: 123298/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 628 Props: 58600971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.489 Prop: 55370.36 PropClause: 53923.861 Set: 10849.51 Check: 0.0 Back: 1598.38
INFO - Atoms: 123560/124864 Clauses: 773 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1128 Props: 67611675 Tprops: 0 Decides: 24289 RSplits: 0
INFO - Times: Expl: 3673.328 Prop: 64936.548 PropClause: 63251.432 Set: 11072.943 Check: 0.571 Back: 1815.662
INFO - Atoms: 41444/124864 Clauses: 1272 Axioms: 413810
INFO - Confl: 1549 Props: 71912849 Tprops: 0 Decides: 33726 RSplits: 0
INFO - Times: Expl: 5313.306 Prop: 69326.551 PropClause: 67527.684 Set: 11175.267 Check: 0.796 Back: 1916.955
INFO - Atoms: 42268/124864 Clauses: 1693 Axioms: 413810
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 630 Props: 77060 Tprops: 18771 Decides: 90043 RSplits: 0
INFO - Times: Expl: 391.928 Prop: 156091.142 PropClause: 22.766 Set: 16361.7 Check: 258.215 Back: 421.453
INFO - Atoms: 904/1158 Clauses: 630 Axioms: 1158
INFO - CCTimes: iE 790353 eq 32316386 cc 116409773 setRep 74231617
INFO - Merges: 654955, cc:1257292
INFO - BVTimes: BB 269107378 BB_DPLL 142977926326 Graph 2204422
INFO - BitBlastingClauses: 899398 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat