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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 9231339605
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 4625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.589 Prop: 401.542 PropClause: 401.202 Set: 3.992 Check: 0.0 Back: 0.0
INFO - Atoms: 4625/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 284697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.631 Prop: 603.122 PropClause: 592.782 Set: 377.261 Check: 0.0 Back: 0.163
INFO - Atoms: 280072/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 586205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.771 Prop: 985.406 PropClause: 966.213 Set: 445.001 Check: 0.0 Back: 6.667
INFO - Atoms: 301508/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 873798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.822 Prop: 1163.863 PropClause: 1136.538 Set: 488.88 Check: 0.0 Back: 13.51
INFO - Atoms: 287593/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 1161656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.844 Prop: 1316.171 PropClause: 1280.688 Set: 682.668 Check: 0.0 Back: 20.146
INFO - Atoms: 287858/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1449763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.865 Prop: 1472.654 PropClause: 1429.061 Set: 727.195 Check: 0.0 Back: 26.677
INFO - Atoms: 288107/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1738923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.971 Prop: 1628.183 PropClause: 1576.491 Set: 771.566 Check: 0.0 Back: 33.294
INFO - Atoms: 289160/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 2028341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.989 Prop: 1786.248 PropClause: 1726.367 Set: 816.459 Check: 0.0 Back: 39.872
INFO - Atoms: 289418/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 2317758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.009 Prop: 1936.836 PropClause: 1868.854 Set: 860.469 Check: 0.0 Back: 46.578
INFO - Atoms: 289417/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 2607181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.026 Prop: 2089.737 PropClause: 2013.591 Set: 904.807 Check: 0.0 Back: 53.16
INFO - Atoms: 289423/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 2896605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.045 Prop: 2244.485 PropClause: 2160.164 Set: 948.989 Check: 0.0 Back: 59.857
INFO - Atoms: 289424/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 3186029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.066 Prop: 2399.407 PropClause: 2306.96 Set: 1160.076 Check: 0.0 Back: 66.442
INFO - Atoms: 289424/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 3477761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.085 Prop: 2555.059 PropClause: 2454.354 Set: 1363.529 Check: 0.0 Back: 73.064
INFO - Atoms: 291732/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 3767453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.102 Prop: 2708.224 PropClause: 2599.357 Set: 1407.777 Check: 0.0 Back: 79.656
INFO - Atoms: 289692/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 4067262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.12 Prop: 2877.333 PropClause: 2759.925 Set: 1456.091 Check: 0.0 Back: 86.349
INFO - Atoms: 299809/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 4367073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.137 Prop: 3055.163 PropClause: 2929.296 Set: 1502.781 Check: 0.0 Back: 93.326
INFO - Atoms: 299811/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 4666875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.154 Prop: 3235.952 PropClause: 3101.559 Set: 1551.39 Check: 0.0 Back: 100.235
INFO - Atoms: 299802/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 4966679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.171 Prop: 3407.971 PropClause: 3265.164 Set: 1597.608 Check: 0.0 Back: 107.185
INFO - Atoms: 299804/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 5267767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.191 Prop: 3581.472 PropClause: 3430.226 Set: 1644.306 Check: 0.0 Back: 113.985
INFO - Atoms: 301088/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 5568862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.211 Prop: 3762.795 PropClause: 3603.043 Set: 1691.366 Check: 0.0 Back: 120.817
INFO - Atoms: 301095/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 5870223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.228 Prop: 3936.555 PropClause: 3768.379 Set: 1738.371 Check: 0.0 Back: 127.796
INFO - Atoms: 301361/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 6171584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.246 Prop: 4115.07 PropClause: 3938.37 Set: 1785.573 Check: 0.0 Back: 134.993
INFO - Atoms: 301361/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 6483834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.395 Prop: 4312.629 PropClause: 4127.138 Set: 1835.552 Check: 0.0 Back: 141.886
INFO - Atoms: 312250/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 6796347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.494 Prop: 4519.243 PropClause: 4324.934 Set: 1884.911 Check: 0.0 Back: 149.039
INFO - Atoms: 312513/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 7098554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.543 Prop: 4698.333 PropClause: 4495.491 Set: 1931.867 Check: 0.0 Back: 156.217
INFO - Atoms: 302207/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 7401279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.611 Prop: 4880.549 PropClause: 4669.151 Set: 1979.461 Check: 0.0 Back: 163.108
INFO - Atoms: 302725/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 7702198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.664 Prop: 5061.43 PropClause: 4841.565 Set: 2026.715 Check: 0.0 Back: 170.096
INFO - Atoms: 300919/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 8003135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.713 Prop: 5239.063 PropClause: 5010.686 Set: 2073.827 Check: 0.0 Back: 176.981
INFO - Atoms: 300937/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 8302768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.76 Prop: 5412.512 PropClause: 5175.682 Set: 2120.563 Check: 0.0 Back: 183.851
INFO - Atoms: 299633/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 8595241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.839 Prop: 5593.744 PropClause: 5348.648 Set: 2166.132 Check: 0.0 Back: 190.699
INFO - Atoms: 292473/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 9043866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.851 Prop: 5960.64 PropClause: 5702.895 Set: 2244.464 Check: 0.0 Back: 197.405
INFO - Atoms: 448625/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 9430966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.865 Prop: 6353.338 PropClause: 6084.731 Set: 2308.309 Check: 0.0 Back: 207.667
INFO - Atoms: 387100/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 9822346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.88 Prop: 6655.272 PropClause: 6375.81 Set: 2374.404 Check: 0.0 Back: 216.463
INFO - Atoms: 391380/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 10231961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.926 Prop: 6987.092 PropClause: 6696.072 Set: 2444.692 Check: 0.0 Back: 225.601
INFO - Atoms: 409615/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 10636602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.113 Prop: 7318.581 PropClause: 7016.201 Set: 2513.527 Check: 0.0 Back: 235.126
INFO - Atoms: 404641/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 11040982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.139 Prop: 7633.663 PropClause: 7319.84 Set: 2806.523 Check: 0.0 Back: 244.345
INFO - Atoms: 404380/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 11447955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.153 Prop: 7962.292 PropClause: 7636.96 Set: 3075.567 Check: 0.0 Back: 253.559
INFO - Atoms: 406973/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 11854506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.164 Prop: 8285.672 PropClause: 7948.877 Set: 3144.709 Check: 0.0 Back: 262.866
INFO - Atoms: 406551/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 12265073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.176 Prop: 8603.554 PropClause: 8255.217 Set: 3214.345 Check: 0.0 Back: 272.11
INFO - Atoms: 410567/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 12678211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.191 Prop: 8947.068 PropClause: 8587.124 Set: 3287.786 Check: 0.0 Back: 281.454
INFO - Atoms: 413138/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 13091297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.203 Prop: 9284.742 PropClause: 8913.188 Set: 3359.98 Check: 0.0 Back: 290.952
INFO - Atoms: 413086/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 13507268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.215 Prop: 9624.317 PropClause: 9241.054 Set: 3431.501 Check: 0.0 Back: 300.378
INFO - Atoms: 415971/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 13926327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.228 Prop: 9962.931 PropClause: 9567.946 Set: 3504.008 Check: 0.0 Back: 310.262
INFO - Atoms: 419059/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 14344546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.24 Prop: 10319.657 PropClause: 9912.85 Set: 3577.37 Check: 0.0 Back: 319.805
INFO - Atoms: 418219/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 14759695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 10670.351 PropClause: 10251.851 Set: 3651.934 Check: 0.0 Back: 329.356
INFO - Atoms: 415149/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 15182134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.341 Prop: 11009.504 PropClause: 10579.156 Set: 3724.787 Check: 0.0 Back: 338.812
INFO - Atoms: 422439/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 15604988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.35 Prop: 11360.544 PropClause: 10918.204 Set: 3799.506 Check: 0.0 Back: 348.423
INFO - Atoms: 422854/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 16029939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.359 Prop: 11725.237 PropClause: 11270.883 Set: 3874.582 Check: 0.0 Back: 358.056
INFO - Atoms: 424951/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 16432414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.367 Prop: 12089.346 PropClause: 11623.649 Set: 3945.129 Check: 0.0 Back: 367.778
INFO - Atoms: 402475/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 16839399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.494 Prop: 12432.434 PropClause: 11955.222 Set: 4017.065 Check: 0.0 Back: 377.056
INFO - Atoms: 406985/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 17245830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.507 Prop: 12777.94 PropClause: 12289.311 Set: 4088.6 Check: 0.0 Back: 386.334
INFO - Atoms: 406431/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 17651323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.519 Prop: 13131.01 PropClause: 12630.837 Set: 4162.626 Check: 0.0 Back: 395.642
INFO - Atoms: 405493/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 18058870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.531 Prop: 13470.851 PropClause: 12959.132 Set: 4235.459 Check: 0.0 Back: 404.903
INFO - Atoms: 407547/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 18465948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.542 Prop: 13829.126 PropClause: 13305.877 Set: 4472.668 Check: 0.0 Back: 414.307
INFO - Atoms: 407078/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 18873706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 14185.336 PropClause: 13650.651 Set: 4544.916 Check: 0.0 Back: 423.641
INFO - Atoms: 407758/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 19279148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.568 Prop: 14535.646 PropClause: 13989.574 Set: 4615.781 Check: 0.0 Back: 432.856
INFO - Atoms: 405442/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 19685289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.58 Prop: 14884.933 PropClause: 14327.341 Set: 4687.65 Check: 0.0 Back: 442.087
INFO - Atoms: 406141/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 20092001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.592 Prop: 15223.727 PropClause: 14654.631 Set: 4758.776 Check: 0.0 Back: 451.352
INFO - Atoms: 406712/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 20496054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.605 Prop: 15571.945 PropClause: 14991.49 Set: 4831.177 Check: 0.0 Back: 460.755
INFO - Atoms: 404053/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 20902499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.616 Prop: 15929.865 PropClause: 15337.964 Set: 4904.853 Check: 0.0 Back: 469.987
INFO - Atoms: 406445/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 21308373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.628 Prop: 16264.78 PropClause: 15661.451 Set: 4975.096 Check: 0.0 Back: 479.26
INFO - Atoms: 405874/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 21713055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.64 Prop: 16611.157 PropClause: 15996.547 Set: 5047.302 Check: 0.0 Back: 488.44
INFO - Atoms: 404682/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 22120300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.653 Prop: 16966.315 PropClause: 16340.188 Set: 5119.962 Check: 0.0 Back: 497.686
INFO - Atoms: 407245/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 22527357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.666 Prop: 17307.007 PropClause: 16669.348 Set: 5191.972 Check: 0.0 Back: 507.386
INFO - Atoms: 407057/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 22933347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.679 Prop: 17662.727 PropClause: 17013.543 Set: 5264.769 Check: 0.0 Back: 516.735
INFO - Atoms: 405990/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 23338532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.691 Prop: 18000.359 PropClause: 17339.703 Set: 5335.681 Check: 0.0 Back: 526.041
INFO - Atoms: 405185/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 23745786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.704 Prop: 18336.105 PropClause: 17663.89 Set: 5408.648 Check: 0.0 Back: 535.297
INFO - Atoms: 407254/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 24153610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.716 Prop: 18685.034 PropClause: 18001.319 Set: 5479.538 Check: 0.0 Back: 544.613
INFO - Atoms: 407824/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 24560362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.729 Prop: 19017.399 PropClause: 18322.129 Set: 5551.178 Check: 0.0 Back: 553.857
INFO - Atoms: 406752/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 24967432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.802 Prop: 19359.737 PropClause: 18652.89 Set: 5767.204 Check: 0.0 Back: 563.175
INFO - Atoms: 407070/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 25376064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.807 Prop: 19752.616 PropClause: 19034.225 Set: 5840.326 Check: 0.0 Back: 572.603
INFO - Atoms: 408632/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 25783874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.812 Prop: 20070.319 PropClause: 19340.439 Set: 5912.365 Check: 0.0 Back: 581.964
INFO - Atoms: 407810/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 26190619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.817 Prop: 20432.288 PropClause: 19690.837 Set: 5985.717 Check: 0.0 Back: 591.227
INFO - Atoms: 406745/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 26596556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.822 Prop: 20773.63 PropClause: 20020.618 Set: 6057.361 Check: 0.0 Back: 600.725
INFO - Atoms: 405937/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 27004068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.828 Prop: 21112.074 PropClause: 20347.515 Set: 6342.763 Check: 0.0 Back: 610.106
INFO - Atoms: 407512/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 27410763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.834 Prop: 21453.904 PropClause: 20677.889 Set: 6414.056 Check: 0.0 Back: 619.386
INFO - Atoms: 406695/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 27816893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.839 Prop: 21805.343 PropClause: 21017.795 Set: 6632.684 Check: 0.0 Back: 628.637
INFO - Atoms: 406130/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 28222830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.845 Prop: 22157.525 PropClause: 21358.535 Set: 6704.351 Check: 0.0 Back: 637.864
INFO - Atoms: 405937/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 28630330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.85 Prop: 22493.975 PropClause: 21683.502 Set: 6776.572 Check: 0.0 Back: 647.323
INFO - Atoms: 407500/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 29038143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.856 Prop: 22848.624 PropClause: 22026.612 Set: 6849.314 Check: 0.0 Back: 656.633
INFO - Atoms: 407813/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 29444886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.861 Prop: 23207.225 PropClause: 22373.811 Set: 6921.691 Check: 0.0 Back: 665.951
INFO - Atoms: 406743/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 29850820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.867 Prop: 23556.106 PropClause: 22711.264 Set: 6993.488 Check: 0.0 Back: 675.244
INFO - Atoms: 405934/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 30258328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.873 Prop: 23892.471 PropClause: 23036.16 Set: 7064.116 Check: 0.0 Back: 684.492
INFO - Atoms: 407508/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 30666147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.878 Prop: 24245.911 PropClause: 23378.116 Set: 7342.659 Check: 0.0 Back: 693.733
INFO - Atoms: 407819/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 31072898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.883 Prop: 24610.022 PropClause: 23730.816 Set: 7415.333 Check: 0.0 Back: 703.01
INFO - Atoms: 406751/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 31479717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.888 Prop: 24948.041 PropClause: 24057.335 Set: 7642.979 Check: 0.0 Back: 712.25
INFO - Atoms: 406819/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 31888348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.892 Prop: 25292.747 PropClause: 24390.577 Set: 7714.679 Check: 0.0 Back: 721.478
INFO - Atoms: 408631/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 32296157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.897 Prop: 25657.111 PropClause: 24743.438 Set: 7789.906 Check: 0.0 Back: 730.738
INFO - Atoms: 407809/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 32702901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.903 Prop: 25991.387 PropClause: 25066.263 Set: 7860.909 Check: 0.0 Back: 740.187
INFO - Atoms: 406744/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 33108837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.908 Prop: 26333.07 PropClause: 25396.492 Set: 7931.908 Check: 0.0 Back: 749.418
INFO - Atoms: 405936/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 33516347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.914 Prop: 26691.888 PropClause: 25743.882 Set: 8005.064 Check: 0.0 Back: 758.657
INFO - Atoms: 407510/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 33922788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.919 Prop: 27036.232 PropClause: 26076.836 Set: 8075.685 Check: 0.0 Back: 767.935
INFO - Atoms: 406441/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 34328664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.925 Prop: 27368.564 PropClause: 26397.742 Set: 8350.549 Check: 0.0 Back: 777.194
INFO - Atoms: 405876/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 34733605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.929 Prop: 27714.821 PropClause: 26732.68 Set: 8422.04 Check: 0.0 Back: 786.415
INFO - Atoms: 404941/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 35140847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.936 Prop: 28064.01 PropClause: 27070.407 Set: 8494.068 Check: 0.0 Back: 795.632
INFO - Atoms: 407242/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 35547660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.941 Prop: 28405.356 PropClause: 27400.323 Set: 8565.209 Check: 0.0 Back: 804.879
INFO - Atoms: 406813/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 35953399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.947 Prop: 28767.913 PropClause: 27751.451 Set: 8637.451 Check: 0.0 Back: 814.072
INFO - Atoms: 405739/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 36358333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.952 Prop: 29133.617 PropClause: 28105.771 Set: 8710.371 Check: 0.0 Back: 823.303
INFO - Atoms: 404934/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 36765583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.958 Prop: 29474.347 PropClause: 28435.058 Set: 8781.453 Check: 0.0 Back: 832.628
INFO - Atoms: 407250/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 37172652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.963 Prop: 29831.781 PropClause: 28781.001 Set: 8853.41 Check: 0.0 Back: 841.849
INFO - Atoms: 407069/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 37578651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.968 Prop: 30177.324 PropClause: 29115.104 Set: 8925.198 Check: 0.0 Back: 851.198
INFO - Atoms: 405999/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 37985222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.974 Prop: 30519.787 PropClause: 29446.149 Set: 8996.703 Check: 0.0 Back: 860.475
INFO - Atoms: 406571/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 38393102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.979 Prop: 30858.0 PropClause: 29772.854 Set: 9283.188 Check: 0.0 Back: 869.847
INFO - Atoms: 407880/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 38800161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.984 Prop: 31213.052 PropClause: 30116.373 Set: 9355.165 Check: 0.0 Back: 879.125
INFO - Atoms: 407059/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 39206153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.989 Prop: 31558.048 PropClause: 30449.897 Set: 9426.967 Check: 0.0 Back: 888.492
INFO - Atoms: 405992/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 39611341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.995 Prop: 31896.335 PropClause: 30776.78 Set: 9497.397 Check: 0.0 Back: 897.767
INFO - Atoms: 405188/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 40018596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.0 Prop: 32249.257 PropClause: 31118.126 Set: 9570.56 Check: 0.0 Back: 907.001
INFO - Atoms: 407255/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 40426421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.005 Prop: 32592.844 PropClause: 31450.205 Set: 9807.716 Check: 0.0 Back: 916.398
INFO - Atoms: 407825/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 40833178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.011 Prop: 32933.331 PropClause: 31779.248 Set: 9878.949 Check: 0.0 Back: 925.668
INFO - Atoms: 406757/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 41240256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.017 Prop: 33271.99 PropClause: 32106.219 Set: 9951.077 Check: 0.0 Back: 934.946
INFO - Atoms: 407078/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 41648898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.021 Prop: 33613.785 PropClause: 32436.509 Set: 10022.672 Check: 0.0 Back: 944.242
INFO - Atoms: 408642/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 42056811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.027 Prop: 33974.082 PropClause: 32785.237 Set: 10095.119 Check: 0.0 Back: 953.547
INFO - Atoms: 407913/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 42422251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.031 Prop: 34309.194 PropClause: 33110.054 Set: 10159.906 Check: 0.0 Back: 962.863
INFO - Atoms: 365440/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 42786104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.037 Prop: 34633.512 PropClause: 33424.132 Set: 10227.187 Check: 0.0 Back: 971.148
INFO - Atoms: 363853/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 43149892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.042 Prop: 34948.657 PropClause: 33728.99 Set: 10291.619 Check: 0.0 Back: 979.433
INFO - Atoms: 363788/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 43514518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.048 Prop: 35318.608 PropClause: 34087.308 Set: 10383.58 Check: 0.0 Back: 987.769
INFO - Atoms: 364626/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 43879974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.054 Prop: 35634.258 PropClause: 34392.603 Set: 10448.386 Check: 0.0 Back: 997.849
INFO - Atoms: 365456/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 44243830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.059 Prop: 35944.146 PropClause: 34692.281 Set: 10512.139 Check: 0.0 Back: 1006.214
INFO - Atoms: 363856/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 44608501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.064 Prop: 36271.603 PropClause: 35009.408 Set: 10577.901 Check: 0.0 Back: 1014.455
INFO - Atoms: 364671/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 44974500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.069 Prop: 36587.985 PropClause: 35315.461 Set: 10644.756 Check: 0.0 Back: 1022.942
INFO - Atoms: 365999/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 45339934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.075 Prop: 36891.629 PropClause: 35608.82 Set: 10709.3 Check: 0.0 Back: 1031.333
INFO - Atoms: 365434/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 45703783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.079 Prop: 37194.456 PropClause: 35901.374 Set: 10773.781 Check: 0.0 Back: 1039.663
INFO - Atoms: 363849/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 46067565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.084 Prop: 37507.428 PropClause: 36204.014 Set: 10840.248 Check: 0.0 Back: 1048.003
INFO - Atoms: 363782/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 46432185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.089 Prop: 37814.22 PropClause: 36500.461 Set: 10904.668 Check: 0.0 Back: 1056.44
INFO - Atoms: 364620/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 46796482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.094 Prop: 38113.015 PropClause: 36788.94 Set: 10968.647 Check: 0.0 Back: 1064.785
INFO - Atoms: 364297/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 47159209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.099 Prop: 38406.062 PropClause: 37071.764 Set: 11032.676 Check: 0.0 Back: 1073.093
INFO - Atoms: 362727/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 47522984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.104 Prop: 38699.862 PropClause: 37355.307 Set: 11096.493 Check: 0.0 Back: 1081.394
INFO - Atoms: 363775/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 47887595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.108 Prop: 39002.486 PropClause: 37647.603 Set: 11162.349 Check: 0.0 Back: 1089.706
INFO - Atoms: 364611/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 48253039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.113 Prop: 39297.875 PropClause: 37932.689 Set: 11225.494 Check: 0.0 Back: 1098.062
INFO - Atoms: 365444/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 48616889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.118 Prop: 39601.019 PropClause: 38225.589 Set: 11289.752 Check: 0.0 Back: 1106.326
INFO - Atoms: 363850/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 48980673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.124 Prop: 39895.812 PropClause: 38510.079 Set: 11353.969 Check: 0.0 Back: 1114.573
INFO - Atoms: 363784/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 49345293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.128 Prop: 40179.3 PropClause: 38783.374 Set: 11417.154 Check: 0.0 Back: 1122.871
INFO - Atoms: 364620/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 49709333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.133 Prop: 40456.768 PropClause: 39050.555 Set: 11479.666 Check: 0.0 Back: 1131.126
INFO - Atoms: 364040/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 50071296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.137 Prop: 40749.784 PropClause: 39333.391 Set: 11542.899 Check: 0.0 Back: 1139.43
INFO - Atoms: 361963/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 50434315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.143 Prop: 41058.268 PropClause: 39631.544 Set: 11607.931 Check: 0.0 Back: 1147.688
INFO - Atoms: 363019/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 50798169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.148 Prop: 41350.861 PropClause: 39913.909 Set: 11671.676 Check: 0.0 Back: 1156.045
INFO - Atoms: 363854/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 51162203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.153 Prop: 41636.038 PropClause: 40188.773 Set: 11735.157 Check: 0.0 Back: 1164.301
INFO - Atoms: 364034/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 51524158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.159 Prop: 41926.366 PropClause: 40468.934 Set: 11798.33 Check: 0.0 Back: 1172.638
INFO - Atoms: 361955/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 51886310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.164 Prop: 42218.047 PropClause: 40750.395 Set: 11861.635 Check: 0.0 Back: 1180.902
INFO - Atoms: 362152/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 52249286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.169 Prop: 42501.964 PropClause: 41024.044 Set: 11925.787 Check: 0.0 Back: 1189.115
INFO - Atoms: 362976/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 52613337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.174 Prop: 42779.551 PropClause: 41291.41 Set: 11988.514 Check: 0.0 Back: 1197.389
INFO - Atoms: 364051/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 52975301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.179 Prop: 43066.516 PropClause: 41568.109 Set: 12051.8 Check: 0.0 Back: 1205.626
INFO - Atoms: 361964/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 53338320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.185 Prop: 43351.887 PropClause: 41843.265 Set: 12114.403 Check: 0.0 Back: 1213.879
INFO - Atoms: 363019/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 53702175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.19 Prop: 43636.575 PropClause: 42117.631 Set: 12177.663 Check: 0.0 Back: 1222.106
INFO - Atoms: 363855/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 54066864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.198 Prop: 43914.739 PropClause: 42385.583 Set: 12239.858 Check: 0.0 Back: 1230.464
INFO - Atoms: 364689/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 54429957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.202 Prop: 44214.82 PropClause: 42675.385 Set: 12304.119 Check: 0.0 Back: 1238.809
INFO - Atoms: 363093/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 54792989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.206 Prop: 44502.093 PropClause: 42952.461 Set: 12367.467 Check: 0.0 Back: 1247.143
INFO - Atoms: 363032/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 55156856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.211 Prop: 44783.558 PropClause: 43223.681 Set: 12431.955 Check: 0.0 Back: 1255.371
INFO - Atoms: 363867/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 55520649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.215 Prop: 45058.789 PropClause: 43488.734 Set: 12493.714 Check: 0.0 Back: 1263.583
INFO - Atoms: 363793/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 55881864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.22 Prop: 45344.786 PropClause: 43764.575 Set: 12556.817 Check: 0.0 Back: 1271.782
INFO - Atoms: 361215/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 56244141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.225 Prop: 45627.441 PropClause: 44037.02 Set: 12619.763 Check: 0.0 Back: 1279.986
INFO - Atoms: 362277/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 56607241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.23 Prop: 45910.338 PropClause: 44309.752 Set: 12682.973 Check: 0.0 Back: 1288.2
INFO - Atoms: 363100/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 56971025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.236 Prop: 46194.239 PropClause: 44583.361 Set: 12747.009 Check: 0.0 Back: 1296.39
INFO - Atoms: 363784/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 57331980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.241 Prop: 46487.625 PropClause: 44866.655 Set: 12810.91 Check: 0.0 Back: 1304.711
INFO - Atoms: 360955/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 57693885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.246 Prop: 46784.856 PropClause: 45153.628 Set: 12874.84 Check: 0.0 Back: 1312.878
INFO - Atoms: 361905/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 58056604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.25 Prop: 47063.968 PropClause: 45422.667 Set: 12937.54 Check: 0.0 Back: 1321.155
INFO - Atoms: 362719/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 58419766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.255 Prop: 47341.851 PropClause: 45690.322 Set: 13000.604 Check: 0.0 Back: 1329.339
INFO - Atoms: 363162/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 58780857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.26 Prop: 47636.328 PropClause: 45974.63 Set: 13063.811 Check: 0.0 Back: 1337.499
INFO - Atoms: 361091/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 59142751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.265 Prop: 47927.169 PropClause: 46255.323 Set: 13127.032 Check: 0.0 Back: 1345.727
INFO - Atoms: 361894/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 59505462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.271 Prop: 48203.522 PropClause: 46521.501 Set: 13188.892 Check: 0.0 Back: 1354.032
INFO - Atoms: 362711/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 59869252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.275 Prop: 48478.381 PropClause: 46786.222 Set: 13251.418 Check: 0.0 Back: 1362.392
INFO - Atoms: 363790/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 60230456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.28 Prop: 48776.682 PropClause: 47074.282 Set: 13314.725 Check: 0.0 Back: 1370.576
INFO - Atoms: 361204/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 60592360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.286 Prop: 49072.862 PropClause: 47360.295 Set: 13378.851 Check: 0.0 Back: 1378.818
INFO - Atoms: 361904/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 60955078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.29 Prop: 49360.218 PropClause: 47637.393 Set: 13442.322 Check: 0.0 Back: 1387.022
INFO - Atoms: 362718/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 61319372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.295 Prop: 49641.868 PropClause: 47908.842 Set: 13505.532 Check: 0.0 Back: 1395.27
INFO - Atoms: 364294/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 61681842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.3 Prop: 49930.572 PropClause: 48187.397 Set: 13569.873 Check: 0.0 Back: 1403.601
INFO - Atoms: 362470/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 62045363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.304 Prop: 50229.332 PropClause: 48475.909 Set: 13633.622 Check: 0.0 Back: 1411.793
INFO - Atoms: 363521/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 62409720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.309 Prop: 50510.681 PropClause: 48747.085 Set: 13696.385 Check: 0.0 Back: 1420.055
INFO - Atoms: 364357/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 62774007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.314 Prop: 50797.998 PropClause: 49024.163 Set: 13761.338 Check: 0.0 Back: 1428.264
INFO - Atoms: 364287/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 63136469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.319 Prop: 51093.899 PropClause: 49309.925 Set: 13824.011 Check: 0.0 Back: 1436.68
INFO - Atoms: 362462/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 63498872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.324 Prop: 51402.397 PropClause: 49608.152 Set: 13888.659 Check: 0.0 Back: 1444.868
INFO - Atoms: 362403/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 63862101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.329 Prop: 51686.644 PropClause: 49882.321 Set: 13952.122 Check: 0.0 Back: 1453.153
INFO - Atoms: 363229/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 64226407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.334 Prop: 51969.877 PropClause: 50155.268 Set: 14015.932 Check: 0.0 Back: 1461.449
INFO - Atoms: 364306/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 64588878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.339 Prop: 52261.943 PropClause: 50437.141 Set: 14079.248 Check: 0.0 Back: 1469.648
INFO - Atoms: 362471/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 64952400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.346 Prop: 52569.744 PropClause: 50734.438 Set: 14146.043 Check: 0.0 Back: 1477.868
INFO - Atoms: 363522/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 65316758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.351 Prop: 52852.916 PropClause: 51007.403 Set: 14209.332 Check: 0.0 Back: 1486.174
INFO - Atoms: 364358/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 65681950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.356 Prop: 53136.549 PropClause: 51280.828 Set: 14272.148 Check: 0.0 Back: 1494.462
INFO - Atoms: 365192/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 66045046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.361 Prop: 53428.275 PropClause: 51562.272 Set: 14337.575 Check: 0.0 Back: 1502.677
INFO - Atoms: 363096/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 66408581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.366 Prop: 53718.111 PropClause: 51841.925 Set: 14401.011 Check: 0.0 Back: 1511.084
INFO - Atoms: 363535/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 66772951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.371 Prop: 54002.635 PropClause: 52116.196 Set: 14464.45 Check: 0.0 Back: 1519.399
INFO - Atoms: 364370/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 67137250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.377 Prop: 54290.479 PropClause: 52393.846 Set: 14527.6 Check: 0.0 Back: 1527.698
INFO - Atoms: 364299/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 67499726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.382 Prop: 54584.644 PropClause: 52677.827 Set: 14590.43 Check: 0.0 Back: 1535.942
INFO - Atoms: 362476/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 67863254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.388 Prop: 54872.032 PropClause: 52954.956 Set: 14654.086 Check: 0.0 Back: 1544.14
INFO - Atoms: 363528/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 68227618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.393 Prop: 55152.803 PropClause: 53225.549 Set: 14716.961 Check: 0.0 Back: 1552.388
INFO - Atoms: 364364/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 68591915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.398 Prop: 55448.958 PropClause: 53511.398 Set: 14781.85 Check: 0.0 Back: 1560.588
INFO - Atoms: 364297/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 68954386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.403 Prop: 55734.521 PropClause: 53786.814 Set: 14844.424 Check: 0.0 Back: 1568.945
INFO - Atoms: 362471/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 69316799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.408 Prop: 56037.761 PropClause: 54079.769 Set: 14908.669 Check: 0.0 Back: 1577.143
INFO - Atoms: 362413/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 69680038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.412 Prop: 56318.998 PropClause: 54350.845 Set: 14970.904 Check: 0.0 Back: 1585.479
INFO - Atoms: 363239/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 70044347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.464 Prop: 56612.267 PropClause: 54633.8 Set: 15034.997 Check: 0.0 Back: 1593.666
INFO - Atoms: 364309/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 70407086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.508 Prop: 56901.352 PropClause: 54912.665 Set: 15098.25 Check: 0.0 Back: 1602.102
INFO - Atoms: 362739/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 70770871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.544 Prop: 57189.214 PropClause: 55190.317 Set: 15163.124 Check: 0.0 Back: 1610.348
INFO - Atoms: 363785/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 71135492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.549 Prop: 57466.524 PropClause: 55457.394 Set: 15225.117 Check: 0.0 Back: 1618.568
INFO - Atoms: 364621/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 71500931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.554 Prop: 57761.764 PropClause: 55742.396 Set: 15288.332 Check: 0.0 Back: 1626.807
INFO - Atoms: 365439/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 71864788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.56 Prop: 58067.086 PropClause: 56037.425 Set: 15352.979 Check: 0.0 Back: 1635.05
INFO - Atoms: 363857/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 72228579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.565 Prop: 58352.322 PropClause: 56312.474 Set: 15415.526 Check: 0.0 Back: 1643.371
INFO - Atoms: 363791/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 72593204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.569 Prop: 58635.824 PropClause: 56585.699 Set: 15478.315 Check: 0.0 Back: 1651.586
INFO - Atoms: 364625/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 72957502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.574 Prop: 58923.565 PropClause: 56863.229 Set: 15541.54 Check: 0.0 Back: 1659.882
INFO - Atoms: 364298/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 73320231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.579 Prop: 59218.791 PropClause: 57148.282 Set: 15604.137 Check: 0.0 Back: 1668.161
INFO - Atoms: 362729/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 73684005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.584 Prop: 59528.595 PropClause: 57447.156 Set: 15676.033 Check: 0.0 Back: 1676.363
INFO - Atoms: 363774/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 74048616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.589 Prop: 59809.93 PropClause: 57718.289 Set: 15738.872 Check: 0.0 Back: 1684.624
INFO - Atoms: 364611/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 74412912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.593 Prop: 60096.59 PropClause: 57994.674 Set: 15802.703 Check: 0.0 Back: 1692.855
INFO - Atoms: 364296/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 74775636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 60389.813 PropClause: 58277.758 Set: 15865.342 Check: 0.0 Back: 1701.146
INFO - Atoms: 362724/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 75138048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.603 Prop: 60680.948 PropClause: 58558.602 Set: 15929.392 Check: 0.0 Back: 1709.366
INFO - Atoms: 362412/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 75501287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.609 Prop: 60957.606 PropClause: 58825.202 Set: 15990.942 Check: 0.0 Back: 1717.608
INFO - Atoms: 363239/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 75864461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.614 Prop: 61247.181 PropClause: 59104.534 Set: 16056.259 Check: 0.0 Back: 1725.79
INFO - Atoms: 363174/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 76226064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.619 Prop: 61533.366 PropClause: 59380.603 Set: 16118.814 Check: 0.0 Back: 1733.973
INFO - Atoms: 361603/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 76588463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.623 Prop: 61812.611 PropClause: 59649.697 Set: 16180.983 Check: 0.0 Back: 1742.17
INFO - Atoms: 362399/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 76951692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.628 Prop: 62088.582 PropClause: 59915.558 Set: 16242.581 Check: 0.0 Back: 1750.343
INFO - Atoms: 363229/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 77315984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.632 Prop: 62367.482 PropClause: 60184.303 Set: 16304.672 Check: 0.0 Back: 1758.578
INFO - Atoms: 364292/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 77678455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 62648.64 PropClause: 60455.346 Set: 16366.683 Check: 0.0 Back: 1766.748
INFO - Atoms: 362471/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 78040860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.641 Prop: 62938.721 PropClause: 60735.048 Set: 16433.155 Check: 0.0 Back: 1774.912
INFO - Atoms: 362405/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 78404093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.646 Prop: 63212.956 PropClause: 60999.154 Set: 16496.178 Check: 0.0 Back: 1783.197
INFO - Atoms: 363233/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 78767265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 63490.942 PropClause: 61266.997 Set: 16558.802 Check: 0.0 Back: 1791.353
INFO - Atoms: 363172/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 79128866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.656 Prop: 63773.538 PropClause: 61539.478 Set: 16621.471 Check: 0.0 Back: 1799.494
INFO - Atoms: 361601/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 79491263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.662 Prop: 64070.864 PropClause: 61826.689 Set: 16686.891 Check: 0.0 Back: 1807.643
INFO - Atoms: 362397/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 79854490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.666 Prop: 64344.799 PropClause: 62090.447 Set: 16748.776 Check: 0.0 Back: 1815.909
INFO - Atoms: 363227/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 80217659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 64628.187 PropClause: 62363.686 Set: 16812.558 Check: 0.0 Back: 1824.09
INFO - Atoms: 363169/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 80579254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 64912.249 PropClause: 62637.654 Set: 16874.674 Check: 0.0 Back: 1832.778
INFO - Atoms: 361595/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 80941054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.682 Prop: 65194.989 PropClause: 62910.282 Set: 16938.824 Check: 0.0 Back: 1840.971
INFO - Atoms: 361800/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 81303421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.686 Prop: 65469.952 PropClause: 63175.147 Set: 17001.573 Check: 0.0 Back: 1849.171
INFO - Atoms: 362367/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 81666600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.692 Prop: 65744.164 PropClause: 63439.223 Set: 17063.172 Check: 0.0 Back: 1857.301
INFO - Atoms: 363179/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 82028209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 66028.476 PropClause: 63713.48 Set: 17124.786 Check: 0.0 Back: 1865.448
INFO - Atoms: 361609/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 82390615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.701 Prop: 66311.292 PropClause: 63986.163 Set: 17188.207 Check: 0.0 Back: 1873.592
INFO - Atoms: 362406/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 82753846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.706 Prop: 66593.415 PropClause: 64258.195 Set: 17250.608 Check: 0.0 Back: 1881.816
INFO - Atoms: 363231/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 83118141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.71 Prop: 66870.184 PropClause: 64524.79 Set: 17313.025 Check: 0.0 Back: 1890.071
INFO - Atoms: 364295/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 83480863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.715 Prop: 67152.009 PropClause: 64796.459 Set: 17375.38 Check: 0.0 Back: 1898.247
INFO - Atoms: 362722/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 83843273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 67431.423 PropClause: 65065.734 Set: 17438.15 Check: 0.0 Back: 1906.534
INFO - Atoms: 362410/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 84206510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.725 Prop: 67711.697 PropClause: 65335.868 Set: 17500.15 Check: 0.0 Back: 1914.695
INFO - Atoms: 363237/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 84570811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.729 Prop: 67991.482 PropClause: 65605.465 Set: 17563.083 Check: 0.0 Back: 1922.872
INFO - Atoms: 364301/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 84933542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.734 Prop: 68290.438 PropClause: 65894.202 Set: 17628.663 Check: 0.0 Back: 1931.068
INFO - Atoms: 362731/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 85297317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 68576.2 PropClause: 66169.759 Set: 17692.006 Check: 0.0 Back: 1939.26
INFO - Atoms: 363775/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 85661932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.744 Prop: 68862.755 PropClause: 66446.23 Set: 17755.449 Check: 0.0 Back: 1947.537
INFO - Atoms: 364615/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 86026232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.749 Prop: 69137.788 PropClause: 66711.099 Set: 17818.971 Check: 0.0 Back: 1955.681
INFO - Atoms: 364300/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 86388958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.754 Prop: 69426.41 PropClause: 66989.576 Set: 17881.031 Check: 0.0 Back: 1963.93
INFO - Atoms: 362726/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 86751372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.759 Prop: 69707.55 PropClause: 67260.602 Set: 17943.585 Check: 0.0 Back: 1972.086
INFO - Atoms: 362414/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 87114615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.765 Prop: 69985.14 PropClause: 67528.052 Set: 18006.613 Check: 0.0 Back: 1980.233
INFO - Atoms: 363243/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 87477791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.769 Prop: 70257.945 PropClause: 67790.75 Set: 18068.774 Check: 0.0 Back: 1988.41
INFO - Atoms: 363176/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 87839396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.774 Prop: 70539.197 PropClause: 68061.868 Set: 18130.557 Check: 0.0 Back: 1996.562
INFO - Atoms: 361605/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 88201797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.779 Prop: 70818.351 PropClause: 68330.889 Set: 18194.579 Check: 0.0 Back: 2004.719
INFO - Atoms: 362401/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 88565028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.784 Prop: 71092.116 PropClause: 68594.507 Set: 18256.815 Check: 0.0 Back: 2012.886
INFO - Atoms: 363231/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 88929322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 71366.966 PropClause: 68859.186 Set: 18318.868 Check: 0.0 Back: 2021.048
INFO - Atoms: 364294/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 89291794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.793 Prop: 71657.193 PropClause: 69139.334 Set: 18382.619 Check: 0.0 Back: 2029.24
INFO - Atoms: 362472/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 89654201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.797 Prop: 71940.295 PropClause: 69412.315 Set: 18445.654 Check: 0.0 Back: 2037.526
INFO - Atoms: 362407/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 90017436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.801 Prop: 72217.519 PropClause: 69679.294 Set: 18507.98 Check: 0.0 Back: 2045.69
INFO - Atoms: 363235/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 90380604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 72489.482 PropClause: 69941.138 Set: 18571.309 Check: 0.0 Back: 2053.9
INFO - Atoms: 363168/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 90741703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.811 Prop: 72770.015 PropClause: 70211.611 Set: 18633.23 Check: 0.0 Back: 2062.039
INFO - Atoms: 361099/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 91103598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.816 Prop: 73064.012 PropClause: 70495.451 Set: 18695.814 Check: 0.0 Back: 2070.146
INFO - Atoms: 361895/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 91466322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.821 Prop: 73344.087 PropClause: 70765.391 Set: 18758.267 Check: 0.0 Back: 2078.357
INFO - Atoms: 362724/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 91830112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.825 Prop: 73620.77 PropClause: 71031.904 Set: 18820.752 Check: 0.0 Back: 2086.514
INFO - Atoms: 363790/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 92191332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.831 Prop: 73910.754 PropClause: 71311.79 Set: 18883.697 Check: 0.0 Back: 2094.698
INFO - Atoms: 361220/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 92553242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.837 Prop: 74211.786 PropClause: 71602.667 Set: 18947.717 Check: 0.0 Back: 2102.875
INFO - Atoms: 361910/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 92915972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.842 Prop: 74492.977 PropClause: 71873.694 Set: 19009.881 Check: 0.0 Back: 2111.083
INFO - Atoms: 362730/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 93279142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.847 Prop: 74778.693 PropClause: 72149.224 Set: 19072.723 Check: 0.0 Back: 2119.287
INFO - Atoms: 363170/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 93640240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.852 Prop: 75071.569 PropClause: 72431.989 Set: 19135.722 Check: 0.0 Back: 2127.494
INFO - Atoms: 361098/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 94002140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.856 Prop: 75355.248 PropClause: 72705.527 Set: 19197.984 Check: 0.0 Back: 2135.941
INFO - Atoms: 361900/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 94364864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.861 Prop: 75639.15 PropClause: 72979.277 Set: 19259.921 Check: 0.0 Back: 2144.107
INFO - Atoms: 362724/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 94728029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.866 Prop: 75913.848 PropClause: 73243.788 Set: 19322.358 Check: 0.0 Back: 2152.315
INFO - Atoms: 363165/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 95089119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.871 Prop: 76196.663 PropClause: 73516.423 Set: 19385.063 Check: 0.0 Back: 2160.461
INFO - Atoms: 361090/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 95450922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.877 Prop: 76483.448 PropClause: 73793.01 Set: 19448.959 Check: 0.0 Back: 2168.666
INFO - Atoms: 361803/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 95813280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.882 Prop: 76762.45 PropClause: 74061.822 Set: 19513.026 Check: 0.0 Back: 2176.889
INFO - Atoms: 362358/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 96176456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.887 Prop: 77042.543 PropClause: 74331.753 Set: 19575.072 Check: 0.0 Back: 2185.101
INFO - Atoms: 363176/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 96537810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.892 Prop: 77332.122 PropClause: 74611.227 Set: 19637.845 Check: 0.0 Back: 2193.29
INFO - Atoms: 361354/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 96899958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.896 Prop: 77616.257 PropClause: 74885.294 Set: 19700.1 Check: 0.0 Back: 2201.445
INFO - Atoms: 362148/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 97262938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.901 Prop: 77895.753 PropClause: 75154.632 Set: 19762.611 Check: 0.0 Back: 2209.594
INFO - Atoms: 362980/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 97626982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.905 Prop: 78178.743 PropClause: 75427.441 Set: 19825.942 Check: 0.0 Back: 2217.754
INFO - Atoms: 364044/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 97988953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.91 Prop: 78464.956 PropClause: 75703.542 Set: 19888.47 Check: 0.0 Back: 2225.964
INFO - Atoms: 361971/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 98351110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.915 Prop: 78747.522 PropClause: 75975.968 Set: 19951.151 Check: 0.0 Back: 2234.136
INFO - Atoms: 362157/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 98714096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.919 Prop: 79026.237 PropClause: 76244.537 Set: 20013.208 Check: 0.0 Back: 2242.377
INFO - Atoms: 362986/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 99078142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.923 Prop: 79302.098 PropClause: 76510.259 Set: 20076.777 Check: 0.0 Back: 2250.584
INFO - Atoms: 364046/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 99440118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.929 Prop: 79585.046 PropClause: 76783.086 Set: 20139.341 Check: 0.0 Back: 2258.852
INFO - Atoms: 361976/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 99803139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.935 Prop: 79870.405 PropClause: 77058.34 Set: 20202.206 Check: 0.0 Back: 2267.022
INFO - Atoms: 363021/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 100167000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.94 Prop: 80148.494 PropClause: 77326.283 Set: 20264.848 Check: 0.0 Back: 2275.219
INFO - Atoms: 363861/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 100531041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.944 Prop: 80428.052 PropClause: 77595.673 Set: 20327.221 Check: 0.0 Back: 2283.397
INFO - Atoms: 364041/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 100893009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.949 Prop: 80708.993 PropClause: 77866.518 Set: 20389.025 Check: 0.0 Back: 2291.641
INFO - Atoms: 361968/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 101255167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.955 Prop: 80990.684 PropClause: 78138.09 Set: 20451.199 Check: 0.0 Back: 2299.789
INFO - Atoms: 362158/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 101618151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.96 Prop: 81265.071 PropClause: 78402.402 Set: 20513.551 Check: 0.0 Back: 2307.991
INFO - Atoms: 362984/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 101981320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.965 Prop: 81538.118 PropClause: 78665.342 Set: 20575.661 Check: 0.0 Back: 2316.281
INFO - Atoms: 363169/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 102342668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.97 Prop: 81826.183 PropClause: 78943.293 Set: 20639.184 Check: 0.0 Back: 2324.448
INFO - Atoms: 361348/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 102704812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.976 Prop: 82111.953 PropClause: 79218.921 Set: 20701.926 Check: 0.0 Back: 2332.77
INFO - Atoms: 362144/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 103067786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.981 Prop: 82387.24 PropClause: 79484.089 Set: 20765.154 Check: 0.0 Back: 2340.998
INFO - Atoms: 362974/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 103431827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.986 Prop: 82660.573 PropClause: 79747.31 Set: 20827.379 Check: 0.0 Back: 2349.131
INFO - Atoms: 364041/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 43953 Tprops: 132137 Decides: 134985 RSplits: 0
INFO - Times: Expl: 278.603 Prop: 550360.596 PropClause: 53.989 Set: 207680.966 Check: 1473.357 Back: 344.833
INFO - Atoms: 5/2053 Clauses: 500 Axioms: 1540
INFO - CCTimes: iE 2613963 eq 100265952 cc 66856613 setRep 36486014
INFO - Merges: 235342, cc:262139
INFO - BVTimes: BB 9231304438 BB_DPLL 514420535695 Graph 1320227141
INFO - BitBlastingClauses: 5152906 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 103793328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.991 Prop: 82946.31 PropClause: 80022.959 Set: 20889.649 Check: 0.0 Back: 2357.288
INFO - Atoms: 361501/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 104155014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.996 Prop: 83233.084 PropClause: 80299.606 Set: 20951.522 Check: 0.0 Back: 2365.425
INFO - Atoms: 361686/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 104517528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.0 Prop: 83514.485 PropClause: 80570.904 Set: 21014.982 Check: 0.0 Back: 2373.58
INFO - Atoms: 362514/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 104880233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.005 Prop: 83800.206 PropClause: 80846.591 Set: 21077.418 Check: 0.0 Back: 2381.809
INFO - Atoms: 362705/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 105241117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.01 Prop: 84081.503 PropClause: 81117.807 Set: 21297.247 Check: 0.0 Back: 2390.025
INFO - Atoms: 360884/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 105602797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.015 Prop: 84350.662 PropClause: 81376.919 Set: 21359.303 Check: 0.0 Back: 2398.145
INFO - Atoms: 361680/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 105965307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.019 Prop: 84628.37 PropClause: 81644.557 Set: 21420.983 Check: 0.0 Back: 2406.252
INFO - Atoms: 362510/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 106328007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.024 Prop: 84916.514 PropClause: 81922.602 Set: 21483.959 Check: 0.0 Back: 2414.46
INFO - Atoms: 362700/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 106688883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.029 Prop: 85191.436 PropClause: 82187.451 Set: 21546.943 Check: 0.0 Back: 2422.761
INFO - Atoms: 360876/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 107050216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.034 Prop: 85473.368 PropClause: 82459.344 Set: 21608.275 Check: 0.0 Back: 2430.867
INFO - Atoms: 361333/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 107412115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.04 Prop: 85757.052 PropClause: 82732.974 Set: 21671.118 Check: 0.0 Back: 2438.989
INFO - Atoms: 361899/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 107773707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.045 Prop: 86037.269 PropClause: 83003.15 Set: 21732.591 Check: 0.0 Back: 2447.127
INFO - Atoms: 361592/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 108134237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.049 Prop: 86316.021 PropClause: 83271.827 Set: 21795.345 Check: 0.0 Back: 2455.208
INFO - Atoms: 360530/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 108495561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.054 Prop: 86594.053 PropClause: 83539.799 Set: 21856.639 Check: 0.0 Back: 2463.265
INFO - Atoms: 361324/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 108857449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.059 Prop: 86878.584 PropClause: 83814.26 Set: 21918.717 Check: 0.0 Back: 2471.408
INFO - Atoms: 361888/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 109220145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.063 Prop: 87149.921 PropClause: 84075.5 Set: 22119.6 Check: 0.0 Back: 2479.567
INFO - Atoms: 362696/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 109580771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.068 Prop: 87430.806 PropClause: 84346.351 Set: 22181.393 Check: 0.0 Back: 2487.675
INFO - Atoms: 360626/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished