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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 7925694
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 1681 Tprops: 0 Decides: 20 RSplits: 0
INFO - Times: Expl: 3.235 Prop: 6.152 PropClause: 5.239 Set: 3.491 Check: 0.009 Back: 0.086
INFO - Atoms: 575/1040 Clauses: 156 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 2742 Tprops: 0 Decides: 27 RSplits: 0
INFO - Times: Expl: 3.841 Prop: 6.829 PropClause: 5.666 Set: 5.391 Check: 0.011 Back: 0.114
INFO - Atoms: 570/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 3602 Tprops: 0 Decides: 29 RSplits: 0
INFO - Times: Expl: 4.127 Prop: 7.278 PropClause: 5.944 Set: 5.794 Check: 0.013 Back: 0.134
INFO - Atoms: 673/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 4446 Tprops: 0 Decides: 31 RSplits: 0
INFO - Times: Expl: 4.414 Prop: 7.729 PropClause: 6.215 Set: 6.09 Check: 0.014 Back: 0.156
INFO - Atoms: 664/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 5274 Tprops: 0 Decides: 33 RSplits: 0
INFO - Times: Expl: 4.738 Prop: 8.261 PropClause: 6.527 Set: 6.383 Check: 0.015 Back: 0.178
INFO - Atoms: 655/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 6103 Tprops: 0 Decides: 35 RSplits: 0
INFO - Times: Expl: 4.992 Prop: 8.698 PropClause: 6.797 Set: 6.677 Check: 0.016 Back: 0.199
INFO - Atoms: 655/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 6902 Tprops: 0 Decides: 37 RSplits: 0
INFO - Times: Expl: 5.263 Prop: 9.135 PropClause: 7.069 Set: 6.969 Check: 0.017 Back: 0.22
INFO - Atoms: 638/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 7715 Tprops: 0 Decides: 39 RSplits: 0
INFO - Times: Expl: 5.534 Prop: 9.56 PropClause: 7.34 Set: 7.265 Check: 0.018 Back: 0.241
INFO - Atoms: 647/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 8511 Tprops: 0 Decides: 41 RSplits: 0
INFO - Times: Expl: 5.799 Prop: 9.923 PropClause: 7.614 Set: 7.586 Check: 0.018 Back: 0.261
INFO - Atoms: 637/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 9292 Tprops: 0 Decides: 43 RSplits: 0
INFO - Times: Expl: 6.044 Prop: 10.208 PropClause: 7.858 Set: 7.863 Check: 0.018 Back: 0.281
INFO - Atoms: 628/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 10056 Tprops: 0 Decides: 45 RSplits: 0
INFO - Times: Expl: 6.309 Prop: 10.644 PropClause: 8.141 Set: 12.316 Check: 0.018 Back: 0.301
INFO - Atoms: 619/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 10821 Tprops: 0 Decides: 47 RSplits: 0
INFO - Times: Expl: 6.655 Prop: 10.934 PropClause: 8.391 Set: 12.644 Check: 0.019 Back: 0.32
INFO - Atoms: 620/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 11569 Tprops: 0 Decides: 49 RSplits: 0
INFO - Times: Expl: 7.116 Prop: 11.223 PropClause: 8.638 Set: 12.974 Check: 0.019 Back: 0.34
INFO - Atoms: 610/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 12334 Tprops: 0 Decides: 51 RSplits: 0
INFO - Times: Expl: 7.35 Prop: 11.531 PropClause: 8.904 Set: 13.311 Check: 0.019 Back: 0.359
INFO - Atoms: 619/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 13241 Tprops: 0 Decides: 55 RSplits: 0
INFO - Times: Expl: 7.756 Prop: 11.881 PropClause: 9.209 Set: 14.108 Check: 0.019 Back: 0.382
INFO - Atoms: 619/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 13992 Tprops: 0 Decides: 57 RSplits: 0
INFO - Times: Expl: 7.978 Prop: 12.14 PropClause: 9.434 Set: 14.401 Check: 0.019 Back: 0.402
INFO - Atoms: 611/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 14730 Tprops: 0 Decides: 59 RSplits: 0
INFO - Times: Expl: 8.374 Prop: 12.404 PropClause: 9.665 Set: 14.709 Check: 0.019 Back: 0.42
INFO - Atoms: 603/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 15472 Tprops: 0 Decides: 61 RSplits: 0
INFO - Times: Expl: 8.592 Prop: 12.672 PropClause: 9.897 Set: 15.038 Check: 0.019 Back: 0.439
INFO - Atoms: 609/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 16207 Tprops: 0 Decides: 63 RSplits: 0
INFO - Times: Expl: 8.974 Prop: 12.951 PropClause: 10.141 Set: 15.37 Check: 0.019 Back: 0.459
INFO - Atoms: 602/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 17073 Tprops: 0 Decides: 67 RSplits: 0
INFO - Times: Expl: 15.256 Prop: 13.326 PropClause: 10.471 Set: 15.699 Check: 0.019 Back: 0.481
INFO - Atoms: 602/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 17802 Tprops: 0 Decides: 69 RSplits: 0
INFO - Times: Expl: 15.509 Prop: 13.591 PropClause: 10.701 Set: 16.028 Check: 0.019 Back: 0.501
INFO - Atoms: 594/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 18521 Tprops: 0 Decides: 71 RSplits: 0
INFO - Times: Expl: 15.679 Prop: 13.884 PropClause: 10.95 Set: 16.397 Check: 0.02 Back: 0.519
INFO - Atoms: 593/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 19346 Tprops: 0 Decides: 75 RSplits: 0
INFO - Times: Expl: 15.933 Prop: 15.805 PropClause: 11.254 Set: 16.716 Check: 0.021 Back: 0.54
INFO - Atoms: 585/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 20064 Tprops: 0 Decides: 77 RSplits: 0
INFO - Times: Expl: 16.805 Prop: 16.093 PropClause: 11.503 Set: 17.02 Check: 0.022 Back: 0.559
INFO - Atoms: 587/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 20776 Tprops: 0 Decides: 79 RSplits: 0
INFO - Times: Expl: 16.899 Prop: 16.391 PropClause: 11.738 Set: 17.325 Check: 0.022 Back: 0.577
INFO - Atoms: 587/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 21596 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 18.282 Prop: 16.785 PropClause: 12.069 Set: 17.631 Check: 0.022 Back: 0.599
INFO - Atoms: 579/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 22305 Tprops: 0 Decides: 85 RSplits: 0
INFO - Times: Expl: 18.382 Prop: 17.074 PropClause: 12.318 Set: 17.92 Check: 0.022 Back: 0.617
INFO - Atoms: 585/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 22985 Tprops: 0 Decides: 87 RSplits: 0
INFO - Times: Expl: 18.49 Prop: 17.57 PropClause: 12.572 Set: 18.2 Check: 0.023 Back: 0.636
INFO - Atoms: 569/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 23658 Tprops: 0 Decides: 89 RSplits: 0
INFO - Times: Expl: 18.572 Prop: 17.832 PropClause: 12.799 Set: 18.433 Check: 0.023 Back: 0.654
INFO - Atoms: 560/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 24338 Tprops: 0 Decides: 91 RSplits: 0
INFO - Times: Expl: 18.641 Prop: 18.1 PropClause: 13.032 Set: 18.678 Check: 0.023 Back: 0.671
INFO - Atoms: 569/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 25127 Tprops: 0 Decides: 95 RSplits: 0
INFO - Times: Expl: 18.767 Prop: 18.419 PropClause: 13.311 Set: 18.911 Check: 0.023 Back: 0.692
INFO - Atoms: 569/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 25815 Tprops: 0 Decides: 99 RSplits: 0
INFO - Times: Expl: 18.873 Prop: 18.728 PropClause: 13.554 Set: 19.097 Check: 0.023 Back: 0.713
INFO - Atoms: 500/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 26479 Tprops: 0 Decides: 101 RSplits: 0
INFO - Times: Expl: 18.943 Prop: 18.939 PropClause: 13.733 Set: 19.34 Check: 0.024 Back: 0.73
INFO - Atoms: 560/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 27235 Tprops: 0 Decides: 105 RSplits: 0
INFO - Times: Expl: 19.084 Prop: 19.218 PropClause: 13.953 Set: 19.558 Check: 0.024 Back: 0.75
INFO - Atoms: 552/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 27883 Tprops: 0 Decides: 107 RSplits: 0
INFO - Times: Expl: 19.156 Prop: 19.422 PropClause: 14.127 Set: 19.779 Check: 0.024 Back: 0.767
INFO - Atoms: 551/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 28531 Tprops: 0 Decides: 109 RSplits: 0
INFO - Times: Expl: 19.224 Prop: 19.63 PropClause: 14.304 Set: 19.958 Check: 0.024 Back: 0.784
INFO - Atoms: 551/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 29292 Tprops: 0 Decides: 113 RSplits: 0
INFO - Times: Expl: 19.343 Prop: 19.882 PropClause: 14.517 Set: 20.151 Check: 0.025 Back: 0.804
INFO - Atoms: 559/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 29940 Tprops: 0 Decides: 115 RSplits: 0
INFO - Times: Expl: 19.412 Prop: 20.104 PropClause: 14.706 Set: 21.686 Check: 0.025 Back: 0.821
INFO - Atoms: 551/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 30604 Tprops: 0 Decides: 117 RSplits: 0
INFO - Times: Expl: 27.961 Prop: 20.345 PropClause: 14.913 Set: 21.888 Check: 0.025 Back: 0.84
INFO - Atoms: 560/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 31355 Tprops: 0 Decides: 122 RSplits: 0
INFO - Times: Expl: 28.112 Prop: 20.603 PropClause: 15.132 Set: 22.061 Check: 0.025 Back: 0.862
INFO - Atoms: 508/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 32019 Tprops: 0 Decides: 124 RSplits: 0
INFO - Times: Expl: 28.511 Prop: 20.831 PropClause: 15.328 Set: 22.271 Check: 0.025 Back: 0.879
INFO - Atoms: 560/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 32808 Tprops: 0 Decides: 128 RSplits: 0
INFO - Times: Expl: 28.653 Prop: 21.103 PropClause: 15.56 Set: 22.475 Check: 0.026 Back: 0.901
INFO - Atoms: 569/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 33517 Tprops: 0 Decides: 132 RSplits: 0
INFO - Times: Expl: 28.781 Prop: 21.337 PropClause: 15.759 Set: 22.651 Check: 0.026 Back: 0.923
INFO - Atoms: 503/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 34165 Tprops: 0 Decides: 134 RSplits: 0
INFO - Times: Expl: 28.866 Prop: 21.568 PropClause: 15.935 Set: 22.847 Check: 0.026 Back: 0.939
INFO - Atoms: 551/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 34813 Tprops: 0 Decides: 136 RSplits: 0
INFO - Times: Expl: 28.949 Prop: 21.783 PropClause: 16.123 Set: 23.049 Check: 0.026 Back: 0.956
INFO - Atoms: 551/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 35449 Tprops: 0 Decides: 138 RSplits: 0
INFO - Times: Expl: 29.024 Prop: 21.987 PropClause: 16.293 Set: 23.235 Check: 0.026 Back: 0.973
INFO - Atoms: 543/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 36089 Tprops: 0 Decides: 140 RSplits: 0
INFO - Times: Expl: 29.097 Prop: 22.182 PropClause: 16.463 Set: 23.417 Check: 0.026 Back: 0.99
INFO - Atoms: 543/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 36740 Tprops: 0 Decides: 142 RSplits: 0
INFO - Times: Expl: 29.171 Prop: 22.393 PropClause: 16.638 Set: 23.604 Check: 0.026 Back: 1.007
INFO - Atoms: 552/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 37506 Tprops: 0 Decides: 146 RSplits: 0
INFO - Times: Expl: 29.313 Prop: 22.656 PropClause: 16.856 Set: 23.81 Check: 0.027 Back: 1.027
INFO - Atoms: 560/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 38186 Tprops: 0 Decides: 148 RSplits: 0
INFO - Times: Expl: 29.393 Prop: 22.874 PropClause: 17.048 Set: 24.026 Check: 0.027 Back: 1.044
INFO - Atoms: 569/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 38882 Tprops: 0 Decides: 150 RSplits: 0
INFO - Times: Expl: 29.48 Prop: 23.12 PropClause: 17.253 Set: 24.3 Check: 0.027 Back: 1.062
INFO - Atoms: 578/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 39712 Tprops: 0 Decides: 154 RSplits: 0
INFO - Times: Expl: 29.623 Prop: 23.408 PropClause: 17.492 Set: 24.52 Check: 0.027 Back: 1.084
INFO - Atoms: 586/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 40408 Tprops: 0 Decides: 156 RSplits: 0
INFO - Times: Expl: 29.705 Prop: 23.664 PropClause: 17.684 Set: 24.736 Check: 0.027 Back: 1.102
INFO - Atoms: 578/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 41091 Tprops: 0 Decides: 158 RSplits: 0
INFO - Times: Expl: 30.108 Prop: 23.892 PropClause: 17.871 Set: 24.944 Check: 0.027 Back: 1.121
INFO - Atoms: 570/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 41862 Tprops: 0 Decides: 162 RSplits: 0
INFO - Times: Expl: 30.248 Prop: 24.17 PropClause: 18.103 Set: 25.164 Check: 0.028 Back: 1.142
INFO - Atoms: 561/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 42545 Tprops: 0 Decides: 164 RSplits: 0
INFO - Times: Expl: 30.333 Prop: 24.418 PropClause: 18.29 Set: 25.41 Check: 0.028 Back: 1.159
INFO - Atoms: 570/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 43244 Tprops: 0 Decides: 166 RSplits: 0
INFO - Times: Expl: 30.428 Prop: 24.628 PropClause: 18.474 Set: 25.625 Check: 0.028 Back: 1.178
INFO - Atoms: 579/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 44038 Tprops: 0 Decides: 170 RSplits: 0
INFO - Times: Expl: 30.553 Prop: 24.877 PropClause: 18.691 Set: 25.841 Check: 0.028 Back: 1.199
INFO - Atoms: 570/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 44708 Tprops: 0 Decides: 172 RSplits: 0
INFO - Times: Expl: 30.624 Prop: 25.077 PropClause: 18.865 Set: 26.048 Check: 0.028 Back: 1.218
INFO - Atoms: 562/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 45391 Tprops: 0 Decides: 174 RSplits: 0
INFO - Times: Expl: 30.698 Prop: 25.287 PropClause: 19.047 Set: 26.267 Check: 0.028 Back: 1.236
INFO - Atoms: 570/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 46162 Tprops: 0 Decides: 178 RSplits: 0
INFO - Times: Expl: 30.821 Prop: 25.533 PropClause: 19.263 Set: 26.478 Check: 0.028 Back: 1.257
INFO - Atoms: 561/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 46829 Tprops: 0 Decides: 180 RSplits: 0
INFO - Times: Expl: 30.891 Prop: 25.766 PropClause: 19.47 Set: 26.676 Check: 0.028 Back: 1.275
INFO - Atoms: 561/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 47480 Tprops: 0 Decides: 182 RSplits: 0
INFO - Times: Expl: 30.97 Prop: 25.963 PropClause: 19.641 Set: 26.79 Check: 0.028 Back: 1.292
INFO - Atoms: 552/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 48189 Tprops: 0 Decides: 186 RSplits: 0
INFO - Times: Expl: 31.09 Prop: 26.184 PropClause: 19.833 Set: 26.872 Check: 0.029 Back: 1.312
INFO - Atoms: 503/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 48840 Tprops: 0 Decides: 188 RSplits: 0
INFO - Times: Expl: 31.173 Prop: 26.39 PropClause: 20.013 Set: 26.964 Check: 0.029 Back: 1.329
INFO - Atoms: 552/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 49480 Tprops: 0 Decides: 190 RSplits: 0
INFO - Times: Expl: 31.239 Prop: 26.555 PropClause: 20.153 Set: 27.052 Check: 0.029 Back: 1.346
INFO - Atoms: 544/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 50193 Tprops: 0 Decides: 195 RSplits: 0
INFO - Times: Expl: 31.691 Prop: 26.755 PropClause: 20.324 Set: 27.131 Check: 0.029 Back: 1.367
INFO - Atoms: 499/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 50831 Tprops: 0 Decides: 197 RSplits: 0
INFO - Times: Expl: 32.053 Prop: 26.94 PropClause: 20.485 Set: 27.22 Check: 0.029 Back: 1.383
INFO - Atoms: 543/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 51485 Tprops: 0 Decides: 199 RSplits: 0
INFO - Times: Expl: 32.133 Prop: 27.105 PropClause: 20.624 Set: 27.308 Check: 0.029 Back: 1.402
INFO - Atoms: 552/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 52152 Tprops: 0 Decides: 201 RSplits: 0
INFO - Times: Expl: 32.25 Prop: 27.286 PropClause: 20.78 Set: 27.397 Check: 0.029 Back: 1.418
INFO - Atoms: 561/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 52913 Tprops: 0 Decides: 205 RSplits: 0
INFO - Times: Expl: 32.379 Prop: 27.485 PropClause: 20.949 Set: 27.486 Check: 0.029 Back: 1.44
INFO - Atoms: 553/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 53583 Tprops: 0 Decides: 207 RSplits: 0
INFO - Times: Expl: 32.448 Prop: 27.655 PropClause: 21.092 Set: 27.578 Check: 0.029 Back: 1.457
INFO - Atoms: 562/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 54269 Tprops: 0 Decides: 209 RSplits: 0
INFO - Times: Expl: 32.523 Prop: 27.826 PropClause: 21.237 Set: 27.67 Check: 0.03 Back: 1.475
INFO - Atoms: 571/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 54968 Tprops: 0 Decides: 213 RSplits: 0
INFO - Times: Expl: 32.635 Prop: 28.015 PropClause: 21.399 Set: 27.749 Check: 0.03 Back: 1.497
INFO - Atoms: 509/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 55625 Tprops: 0 Decides: 215 RSplits: 0
INFO - Times: Expl: 32.712 Prop: 28.184 PropClause: 21.541 Set: 27.839 Check: 0.03 Back: 1.513
INFO - Atoms: 554/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 56300 Tprops: 0 Decides: 219 RSplits: 0
INFO - Times: Expl: 32.81 Prop: 28.364 PropClause: 21.694 Set: 27.912 Check: 0.03 Back: 1.532
INFO - Atoms: 498/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 56957 Tprops: 0 Decides: 221 RSplits: 0
INFO - Times: Expl: 32.878 Prop: 28.521 PropClause: 21.827 Set: 28.001 Check: 0.03 Back: 1.549
INFO - Atoms: 554/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 57603 Tprops: 0 Decides: 223 RSplits: 0
INFO - Times: Expl: 32.943 Prop: 28.689 PropClause: 21.969 Set: 28.089 Check: 0.03 Back: 1.566
INFO - Atoms: 546/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 58231 Tprops: 0 Decides: 225 RSplits: 0
INFO - Times: Expl: 33.012 Prop: 28.846 PropClause: 22.103 Set: 28.174 Check: 0.03 Back: 1.583
INFO - Atoms: 537/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 58845 Tprops: 0 Decides: 227 RSplits: 0
INFO - Times: Expl: 33.077 Prop: 28.998 PropClause: 22.23 Set: 28.257 Check: 0.03 Back: 1.6
INFO - Atoms: 530/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 59454 Tprops: 0 Decides: 229 RSplits: 0
INFO - Times: Expl: 33.14 Prop: 29.144 PropClause: 22.353 Set: 28.338 Check: 0.03 Back: 1.617
INFO - Atoms: 527/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 60063 Tprops: 0 Decides: 231 RSplits: 0
INFO - Times: Expl: 33.209 Prop: 29.302 PropClause: 22.487 Set: 28.42 Check: 0.03 Back: 1.633
INFO - Atoms: 527/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 60704 Tprops: 0 Decides: 235 RSplits: 0
INFO - Times: Expl: 33.307 Prop: 29.469 PropClause: 22.628 Set: 28.494 Check: 0.03 Back: 1.651
INFO - Atoms: 488/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 61342 Tprops: 0 Decides: 237 RSplits: 0
INFO - Times: Expl: 33.375 Prop: 29.623 PropClause: 22.757 Set: 28.582 Check: 0.031 Back: 1.667
INFO - Atoms: 544/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 61964 Tprops: 0 Decides: 239 RSplits: 0
INFO - Times: Expl: 33.44 Prop: 29.772 PropClause: 22.882 Set: 28.667 Check: 0.031 Back: 1.684
INFO - Atoms: 535/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 62608 Tprops: 0 Decides: 243 RSplits: 0
INFO - Times: Expl: 33.544 Prop: 29.938 PropClause: 23.023 Set: 28.738 Check: 0.031 Back: 1.704
INFO - Atoms: 485/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 63214 Tprops: 0 Decides: 245 RSplits: 0
INFO - Times: Expl: 33.611 Prop: 30.083 PropClause: 23.144 Set: 28.824 Check: 0.031 Back: 1.719
INFO - Atoms: 526/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 63816 Tprops: 0 Decides: 247 RSplits: 0
INFO - Times: Expl: 33.678 Prop: 30.229 PropClause: 23.267 Set: 28.906 Check: 0.031 Back: 1.736
INFO - Atoms: 521/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 64396 Tprops: 0 Decides: 249 RSplits: 0
INFO - Times: Expl: 33.747 Prop: 30.382 PropClause: 23.397 Set: 28.987 Check: 0.031 Back: 1.752
INFO - Atoms: 510/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 65022 Tprops: 0 Decides: 253 RSplits: 0
INFO - Times: Expl: 33.851 Prop: 30.538 PropClause: 23.529 Set: 29.057 Check: 0.031 Back: 1.77
INFO - Atoms: 477/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 65620 Tprops: 0 Decides: 255 RSplits: 0
INFO - Times: Expl: 33.917 Prop: 30.687 PropClause: 23.653 Set: 29.14 Check: 0.031 Back: 1.788
INFO - Atoms: 519/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 66277 Tprops: 0 Decides: 260 RSplits: 0
INFO - Times: Expl: 34.048 Prop: 30.858 PropClause: 23.797 Set: 29.214 Check: 0.031 Back: 1.807
INFO - Atoms: 493/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 66906 Tprops: 0 Decides: 264 RSplits: 0
INFO - Times: Expl: 34.141 Prop: 31.012 PropClause: 23.927 Set: 29.288 Check: 0.032 Back: 1.823
INFO - Atoms: 492/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 68293 Tprops: 0 Decides: 321 RSplits: 0
INFO - Times: Expl: 34.412 Prop: 31.449 PropClause: 24.295 Set: 29.39 Check: 0.033 Back: 1.862
INFO - Atoms: 511/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 69381 Tprops: 0 Decides: 331 RSplits: 0
INFO - Times: Expl: 34.566 Prop: 31.754 PropClause: 24.556 Set: 29.507 Check: 0.033 Back: 1.889
INFO - Atoms: 604/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 70217 Tprops: 0 Decides: 337 RSplits: 0
INFO - Times: Expl: 34.675 Prop: 31.978 PropClause: 24.748 Set: 29.596 Check: 0.034 Back: 1.914
INFO - Atoms: 505/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 70983 Tprops: 0 Decides: 339 RSplits: 0
INFO - Times: Expl: 34.75 Prop: 32.169 PropClause: 24.91 Set: 29.694 Check: 0.034 Back: 1.932
INFO - Atoms: 586/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 71736 Tprops: 0 Decides: 341 RSplits: 0
INFO - Times: Expl: 34.819 Prop: 32.357 PropClause: 25.07 Set: 29.793 Check: 0.034 Back: 1.952
INFO - Atoms: 578/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 72643 Tprops: 0 Decides: 345 RSplits: 0
INFO - Times: Expl: 34.974 Prop: 32.637 PropClause: 25.315 Set: 33.782 Check: 0.034 Back: 1.977
INFO - Atoms: 570/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 73370 Tprops: 0 Decides: 347 RSplits: 0
INFO - Times: Expl: 35.045 Prop: 32.818 PropClause: 25.468 Set: 33.875 Check: 0.034 Back: 2.0
INFO - Atoms: 562/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 74081 Tprops: 0 Decides: 349 RSplits: 0
INFO - Times: Expl: 35.115 Prop: 33.001 PropClause: 25.624 Set: 33.969 Check: 0.034 Back: 2.019
INFO - Atoms: 553/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 74926 Tprops: 0 Decides: 353 RSplits: 0
INFO - Times: Expl: 35.265 Prop: 33.226 PropClause: 25.817 Set: 34.063 Check: 0.034 Back: 2.041
INFO - Atoms: 545/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 75611 Tprops: 0 Decides: 355 RSplits: 0
INFO - Times: Expl: 35.337 Prop: 33.404 PropClause: 25.968 Set: 34.152 Check: 0.034 Back: 2.059
INFO - Atoms: 537/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 76294 Tprops: 0 Decides: 357 RSplits: 0
INFO - Times: Expl: 35.437 Prop: 33.578 PropClause: 26.117 Set: 34.242 Check: 0.034 Back: 2.077
INFO - Atoms: 537/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 77094 Tprops: 0 Decides: 361 RSplits: 0
INFO - Times: Expl: 35.549 Prop: 33.791 PropClause: 26.297 Set: 34.331 Check: 0.035 Back: 2.098
INFO - Atoms: 528/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 77750 Tprops: 0 Decides: 363 RSplits: 0
INFO - Times: Expl: 35.613 Prop: 33.956 PropClause: 26.437 Set: 34.416 Check: 0.035 Back: 2.116
INFO - Atoms: 520/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 78402 Tprops: 0 Decides: 365 RSplits: 0
INFO - Times: Expl: 35.704 Prop: 34.137 PropClause: 26.593 Set: 34.501 Check: 0.035 Back: 2.133
INFO - Atoms: 520/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 79158 Tprops: 0 Decides: 369 RSplits: 0
INFO - Times: Expl: 35.816 Prop: 34.339 PropClause: 26.765 Set: 34.587 Check: 0.035 Back: 2.153
INFO - Atoms: 512/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 79783 Tprops: 0 Decides: 371 RSplits: 0
INFO - Times: Expl: 35.878 Prop: 34.497 PropClause: 26.899 Set: 34.667 Check: 0.035 Back: 2.17
INFO - Atoms: 503/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 80390 Tprops: 0 Decides: 373 RSplits: 0
INFO - Times: Expl: 35.942 Prop: 34.652 PropClause: 27.031 Set: 34.745 Check: 0.035 Back: 2.186
INFO - Atoms: 494/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 81100 Tprops: 0 Decides: 377 RSplits: 0
INFO - Times: Expl: 36.047 Prop: 34.842 PropClause: 27.192 Set: 34.826 Check: 0.035 Back: 2.204
INFO - Atoms: 494/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 81691 Tprops: 0 Decides: 379 RSplits: 0
INFO - Times: Expl: 36.107 Prop: 34.993 PropClause: 27.321 Set: 34.905 Check: 0.035 Back: 2.221
INFO - Atoms: 485/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 82267 Tprops: 0 Decides: 381 RSplits: 0
INFO - Times: Expl: 36.166 Prop: 35.14 PropClause: 27.446 Set: 34.982 Check: 0.035 Back: 2.235
INFO - Atoms: 477/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 82932 Tprops: 0 Decides: 385 RSplits: 0
INFO - Times: Expl: 36.271 Prop: 35.318 PropClause: 27.599 Set: 35.056 Check: 0.035 Back: 2.252
INFO - Atoms: 477/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 83492 Tprops: 0 Decides: 387 RSplits: 0
INFO - Times: Expl: 36.328 Prop: 35.462 PropClause: 27.721 Set: 35.129 Check: 0.036 Back: 2.267
INFO - Atoms: 468/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 84082 Tprops: 0 Decides: 391 RSplits: 0
INFO - Times: Expl: 36.415 Prop: 35.618 PropClause: 27.853 Set: 35.192 Check: 0.036 Back: 2.284
INFO - Atoms: 426/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 84635 Tprops: 0 Decides: 393 RSplits: 0
INFO - Times: Expl: 36.506 Prop: 35.772 PropClause: 27.977 Set: 35.264 Check: 0.036 Back: 2.298
INFO - Atoms: 463/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 85191 Tprops: 0 Decides: 397 RSplits: 0
INFO - Times: Expl: 37.354 Prop: 36.156 PropClause: 28.338 Set: 35.324 Check: 0.036 Back: 2.313
INFO - Atoms: 422/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 86016 Tprops: 0 Decides: 448 RSplits: 0
INFO - Times: Expl: 38.495 Prop: 36.469 PropClause: 28.567 Set: 35.392 Check: 0.037 Back: 2.336
INFO - Atoms: 415/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 86629 Tprops: 0 Decides: 453 RSplits: 0
INFO - Times: Expl: 38.585 Prop: 36.646 PropClause: 28.717 Set: 35.478 Check: 0.038 Back: 2.351
INFO - Atoms: 459/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 87256 Tprops: 0 Decides: 459 RSplits: 0
INFO - Times: Expl: 38.709 Prop: 36.833 PropClause: 28.875 Set: 35.542 Check: 0.038 Back: 2.369
INFO - Atoms: 423/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 87818 Tprops: 0 Decides: 463 RSplits: 0
INFO - Times: Expl: 38.809 Prop: 36.981 PropClause: 28.997 Set: 35.606 Check: 0.038 Back: 2.384
INFO - Atoms: 428/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 88530 Tprops: 0 Decides: 473 RSplits: 0
INFO - Times: Expl: 38.93 Prop: 37.18 PropClause: 29.163 Set: 35.676 Check: 0.038 Back: 2.403
INFO - Atoms: 433/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 89135 Tprops: 0 Decides: 477 RSplits: 0
INFO - Times: Expl: 39.045 Prop: 37.354 PropClause: 29.309 Set: 35.75 Check: 0.038 Back: 2.417
INFO - Atoms: 463/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 89765 Tprops: 0 Decides: 482 RSplits: 0
INFO - Times: Expl: 39.205 Prop: 37.534 PropClause: 29.46 Set: 35.814 Check: 0.039 Back: 2.435
INFO - Atoms: 440/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 90317 Tprops: 0 Decides: 484 RSplits: 0
INFO - Times: Expl: 39.28 Prop: 37.687 PropClause: 29.589 Set: 35.887 Check: 0.039 Back: 2.449
INFO - Atoms: 470/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 90881 Tprops: 0 Decides: 486 RSplits: 0
INFO - Times: Expl: 39.353 Prop: 37.837 PropClause: 29.714 Set: 35.961 Check: 0.039 Back: 2.464
INFO - Atoms: 476/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 91463 Tprops: 0 Decides: 488 RSplits: 0
INFO - Times: Expl: 39.438 Prop: 38.001 PropClause: 29.852 Set: 36.04 Check: 0.039 Back: 2.478
INFO - Atoms: 491/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 92153 Tprops: 0 Decides: 492 RSplits: 0
INFO - Times: Expl: 39.573 Prop: 38.195 PropClause: 30.016 Set: 36.119 Check: 0.039 Back: 2.496
INFO - Atoms: 506/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 92761 Tprops: 0 Decides: 494 RSplits: 0
INFO - Times: Expl: 39.648 Prop: 38.356 PropClause: 30.15 Set: 36.204 Check: 0.039 Back: 2.512
INFO - Atoms: 510/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 93361 Tprops: 0 Decides: 496 RSplits: 0
INFO - Times: Expl: 39.748 Prop: 38.517 PropClause: 30.285 Set: 36.285 Check: 0.039 Back: 2.528
INFO - Atoms: 504/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 93996 Tprops: 0 Decides: 500 RSplits: 0
INFO - Times: Expl: 39.925 Prop: 38.697 PropClause: 30.436 Set: 36.357 Check: 0.039 Back: 2.546
INFO - Atoms: 465/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 94550 Tprops: 0 Decides: 502 RSplits: 0
INFO - Times: Expl: 39.966 Prop: 38.804 PropClause: 30.527 Set: 36.411 Check: 0.039 Back: 2.561
INFO - Atoms: 481/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 95134 Tprops: 0 Decides: 506 RSplits: 0
INFO - Times: Expl: 40.025 Prop: 38.92 PropClause: 30.625 Set: 36.461 Check: 0.039 Back: 2.575
INFO - Atoms: 454/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 95918 Tprops: 0 Decides: 524 RSplits: 0
INFO - Times: Expl: 40.167 Prop: 39.15 PropClause: 30.816 Set: 36.531 Check: 0.04 Back: 2.595
INFO - Atoms: 456/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 96488 Tprops: 0 Decides: 528 RSplits: 0
INFO - Times: Expl: 40.263 Prop: 39.303 PropClause: 30.944 Set: 36.595 Check: 0.04 Back: 2.61
INFO - Atoms: 443/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 97076 Tprops: 0 Decides: 532 RSplits: 0
INFO - Times: Expl: 40.361 Prop: 39.45 PropClause: 31.065 Set: 36.658 Check: 0.04 Back: 2.626
INFO - Atoms: 441/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 97832 Tprops: 0 Decides: 544 RSplits: 0
INFO - Times: Expl: 40.489 Prop: 39.66 PropClause: 31.239 Set: 36.73 Check: 0.041 Back: 2.645
INFO - Atoms: 455/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 98420 Tprops: 0 Decides: 548 RSplits: 0
INFO - Times: Expl: 40.637 Prop: 39.824 PropClause: 31.377 Set: 36.807 Check: 0.041 Back: 2.661
INFO - Atoms: 455/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 99041 Tprops: 0 Decides: 552 RSplits: 0
INFO - Times: Expl: 40.746 Prop: 39.996 PropClause: 31.521 Set: 36.91 Check: 0.041 Back: 2.676
INFO - Atoms: 459/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 99627 Tprops: 0 Decides: 556 RSplits: 0
INFO - Times: Expl: 40.838 Prop: 40.157 PropClause: 31.653 Set: 37.018 Check: 0.041 Back: 2.691
INFO - Atoms: 452/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 100406 Tprops: 0 Decides: 566 RSplits: 0
INFO - Times: Expl: 40.958 Prop: 40.388 PropClause: 31.847 Set: 37.136 Check: 0.041 Back: 2.71
INFO - Atoms: 469/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 101025 Tprops: 0 Decides: 570 RSplits: 0
INFO - Times: Expl: 41.049 Prop: 40.552 PropClause: 31.983 Set: 37.206 Check: 0.041 Back: 2.726
INFO - Atoms: 467/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 101692 Tprops: 0 Decides: 575 RSplits: 0
INFO - Times: Expl: 41.187 Prop: 40.74 PropClause: 32.141 Set: 37.282 Check: 0.042 Back: 2.744
INFO - Atoms: 467/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 102291 Tprops: 0 Decides: 579 RSplits: 0
INFO - Times: Expl: 41.282 Prop: 40.902 PropClause: 32.276 Set: 37.394 Check: 0.042 Back: 2.759
INFO - Atoms: 461/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 102935 Tprops: 0 Decides: 583 RSplits: 0
INFO - Times: Expl: 41.393 Prop: 41.076 PropClause: 32.421 Set: 37.51 Check: 0.042 Back: 2.775
INFO - Atoms: 472/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 103538 Tprops: 0 Decides: 587 RSplits: 0
INFO - Times: Expl: 41.505 Prop: 41.256 PropClause: 32.558 Set: 37.631 Check: 0.042 Back: 2.79
INFO - Atoms: 464/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 104252 Tprops: 0 Decides: 593 RSplits: 0
INFO - Times: Expl: 41.596 Prop: 41.456 PropClause: 32.726 Set: 37.764 Check: 0.042 Back: 2.807
INFO - Atoms: 525/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 104877 Tprops: 0 Decides: 597 RSplits: 0
INFO - Times: Expl: 41.695 Prop: 41.637 PropClause: 32.877 Set: 37.886 Check: 0.042 Back: 2.824
INFO - Atoms: 482/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 105494 Tprops: 0 Decides: 599 RSplits: 0
INFO - Times: Expl: 41.763 Prop: 41.806 PropClause: 33.019 Set: 38.023 Check: 0.042 Back: 2.838
INFO - Atoms: 527/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 106142 Tprops: 0 Decides: 603 RSplits: 0
INFO - Times: Expl: 41.863 Prop: 41.987 PropClause: 33.17 Set: 38.138 Check: 0.043 Back: 2.856
INFO - Atoms: 490/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 107076 Tprops: 0 Decides: 611 RSplits: 0
INFO - Times: Expl: 42.013 Prop: 42.271 PropClause: 33.411 Set: 38.279 Check: 0.043 Back: 2.88
INFO - Atoms: 553/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 107830 Tprops: 0 Decides: 617 RSplits: 0
INFO - Times: Expl: 42.158 Prop: 42.503 PropClause: 33.606 Set: 38.406 Check: 0.043 Back: 2.901
INFO - Atoms: 504/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 108486 Tprops: 0 Decides: 619 RSplits: 0
INFO - Times: Expl: 42.229 Prop: 42.69 PropClause: 33.763 Set: 38.548 Check: 0.043 Back: 2.917
INFO - Atoms: 553/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 109214 Tprops: 0 Decides: 623 RSplits: 0
INFO - Times: Expl: 42.412 Prop: 42.899 PropClause: 33.939 Set: 38.674 Check: 0.043 Back: 2.936
INFO - Atoms: 528/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 109968 Tprops: 0 Decides: 628 RSplits: 0
INFO - Times: Expl: 42.64 Prop: 43.111 PropClause: 34.117 Set: 38.804 Check: 0.044 Back: 2.955
INFO - Atoms: 525/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 110656 Tprops: 0 Decides: 632 RSplits: 0
INFO - Times: Expl: 42.745 Prop: 43.263 PropClause: 34.247 Set: 38.908 Check: 0.044 Back: 2.972
INFO - Atoms: 519/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 111414 Tprops: 0 Decides: 636 RSplits: 0
INFO - Times: Expl: 42.868 Prop: 43.451 PropClause: 34.409 Set: 39.009 Check: 0.044 Back: 2.989
INFO - Atoms: 535/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 112116 Tprops: 0 Decides: 640 RSplits: 0
INFO - Times: Expl: 43.002 Prop: 43.647 PropClause: 34.574 Set: 39.133 Check: 0.044 Back: 3.007
INFO - Atoms: 527/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 112904 Tprops: 0 Decides: 645 RSplits: 0
INFO - Times: Expl: 43.194 Prop: 43.896 PropClause: 34.776 Set: 39.275 Check: 0.044 Back: 3.026
INFO - Atoms: 545/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 609 Props: 113617 Tprops: 0 Decides: 649 RSplits: 0
INFO - Times: Expl: 43.314 Prop: 44.106 PropClause: 34.952 Set: 39.414 Check: 0.044 Back: 3.045
INFO - Atoms: 538/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 614 Props: 114378 Tprops: 0 Decides: 653 RSplits: 0
INFO - Times: Expl: 43.416 Prop: 44.335 PropClause: 35.132 Set: 39.547 Check: 0.044 Back: 3.064
INFO - Atoms: 544/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 618 Props: 115100 Tprops: 0 Decides: 657 RSplits: 0
INFO - Times: Expl: 43.512 Prop: 44.488 PropClause: 35.264 Set: 39.652 Check: 0.044 Back: 3.083
INFO - Atoms: 537/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 621 Props: 115783 Tprops: 0 Decides: 659 RSplits: 0
INFO - Times: Expl: 43.553 Prop: 44.648 PropClause: 35.402 Set: 39.758 Check: 0.045 Back: 3.097
INFO - Atoms: 581/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 624 Props: 116477 Tprops: 0 Decides: 661 RSplits: 0
INFO - Times: Expl: 43.601 Prop: 44.793 PropClause: 35.527 Set: 39.831 Check: 0.045 Back: 3.112
INFO - Atoms: 588/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 629 Props: 117293 Tprops: 0 Decides: 665 RSplits: 0
INFO - Times: Expl: 43.658 Prop: 44.962 PropClause: 35.671 Set: 39.906 Check: 0.045 Back: 3.131
INFO - Atoms: 596/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 632 Props: 118016 Tprops: 0 Decides: 667 RSplits: 0
INFO - Times: Expl: 43.694 Prop: 45.11 PropClause: 35.798 Set: 39.982 Check: 0.045 Back: 3.147
INFO - Atoms: 605/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 635 Props: 118748 Tprops: 0 Decides: 669 RSplits: 0
INFO - Times: Expl: 43.733 Prop: 45.267 PropClause: 35.933 Set: 40.059 Check: 0.045 Back: 3.164
INFO - Atoms: 606/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 640 Props: 119582 Tprops: 0 Decides: 673 RSplits: 0
INFO - Times: Expl: 43.846 Prop: 45.479 PropClause: 36.118 Set: 40.143 Check: 0.045 Back: 3.183
INFO - Atoms: 598/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 643 Props: 120293 Tprops: 0 Decides: 675 RSplits: 0
INFO - Times: Expl: 43.93 Prop: 45.685 PropClause: 36.288 Set: 40.246 Check: 0.045 Back: 3.201
INFO - Atoms: 592/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 648 Props: 121055 Tprops: 0 Decides: 679 RSplits: 0
INFO - Times: Expl: 44.022 Prop: 45.89 PropClause: 36.464 Set: 40.337 Check: 0.045 Back: 3.222
INFO - Atoms: 542/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 652 Props: 121765 Tprops: 0 Decides: 683 RSplits: 0
INFO - Times: Expl: 44.13 Prop: 46.079 PropClause: 36.626 Set: 40.415 Check: 0.045 Back: 3.24
INFO - Atoms: 534/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 655 Props: 122574 Tprops: 0 Decides: 693 RSplits: 0
INFO - Times: Expl: 44.199 Prop: 46.322 PropClause: 36.835 Set: 40.513 Check: 0.046 Back: 3.259
INFO - Atoms: 583/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 658 Props: 123346 Tprops: 0 Decides: 697 RSplits: 0
INFO - Times: Expl: 44.257 Prop: 46.538 PropClause: 37.022 Set: 40.607 Check: 0.046 Back: 3.28
INFO - Atoms: 577/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 662 Props: 124141 Tprops: 0 Decides: 703 RSplits: 0
INFO - Times: Expl: 44.332 Prop: 46.756 PropClause: 37.209 Set: 40.691 Check: 0.046 Back: 3.301
INFO - Atoms: 528/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 666 Props: 124853 Tprops: 0 Decides: 707 RSplits: 0
INFO - Times: Expl: 44.401 Prop: 46.951 PropClause: 37.376 Set: 40.781 Check: 0.046 Back: 3.319
INFO - Atoms: 522/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 670 Props: 125571 Tprops: 0 Decides: 711 RSplits: 0
INFO - Times: Expl: 44.47 Prop: 47.148 PropClause: 37.545 Set: 40.867 Check: 0.046 Back: 3.339
INFO - Atoms: 526/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 675 Props: 126321 Tprops: 0 Decides: 715 RSplits: 0
INFO - Times: Expl: 44.545 Prop: 47.347 PropClause: 37.715 Set: 40.949 Check: 0.046 Back: 3.358
INFO - Atoms: 526/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 679 Props: 127015 Tprops: 0 Decides: 719 RSplits: 0
INFO - Times: Expl: 44.616 Prop: 47.534 PropClause: 37.875 Set: 41.03 Check: 0.046 Back: 3.376
INFO - Atoms: 519/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 683 Props: 127730 Tprops: 0 Decides: 723 RSplits: 0
INFO - Times: Expl: 44.712 Prop: 47.726 PropClause: 38.04 Set: 41.117 Check: 0.047 Back: 3.394
INFO - Atoms: 528/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 687 Props: 128437 Tprops: 0 Decides: 727 RSplits: 0
INFO - Times: Expl: 44.776 Prop: 47.91 PropClause: 38.196 Set: 41.201 Check: 0.047 Back: 3.412
INFO - Atoms: 524/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 691 Props: 129322 Tprops: 0 Decides: 741 RSplits: 0
INFO - Times: Expl: 44.874 Prop: 48.163 PropClause: 38.412 Set: 41.289 Check: 0.047 Back: 3.434
INFO - Atoms: 525/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 695 Props: 130026 Tprops: 0 Decides: 745 RSplits: 0
INFO - Times: Expl: 45.006 Prop: 48.351 PropClause: 38.573 Set: 41.371 Check: 0.047 Back: 3.452
INFO - Atoms: 528/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 699 Props: 130728 Tprops: 0 Decides: 749 RSplits: 0
INFO - Times: Expl: 45.078 Prop: 48.545 PropClause: 38.738 Set: 41.456 Check: 0.047 Back: 3.472
INFO - Atoms: 526/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 703 Props: 131604 Tprops: 0 Decides: 759 RSplits: 0
INFO - Times: Expl: 45.166 Prop: 48.796 PropClause: 38.954 Set: 41.545 Check: 0.048 Back: 3.494
INFO - Atoms: 527/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 706 Props: 132373 Tprops: 0 Decides: 763 RSplits: 0
INFO - Times: Expl: 45.301 Prop: 49.012 PropClause: 39.139 Set: 41.645 Check: 0.048 Back: 3.512
INFO - Atoms: 576/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 709 Props: 133081 Tprops: 0 Decides: 765 RSplits: 0
INFO - Times: Expl: 45.358 Prop: 49.206 PropClause: 39.307 Set: 41.744 Check: 0.048 Back: 3.53
INFO - Atoms: 584/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 713 Props: 133825 Tprops: 0 Decides: 769 RSplits: 0
INFO - Times: Expl: 45.431 Prop: 49.416 PropClause: 39.487 Set: 41.83 Check: 0.048 Back: 3.55
INFO - Atoms: 532/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 719 Props: 134632 Tprops: 0 Decides: 774 RSplits: 0
INFO - Times: Expl: 45.539 Prop: 49.643 PropClause: 39.683 Set: 41.916 Check: 0.048 Back: 3.57
INFO - Atoms: 530/1040 Clauses: 154 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 723 Props: 135359 Tprops: 0 Decides: 778 RSplits: 0
INFO - Times: Expl: 45.613 Prop: 49.846 PropClause: 39.857 Set: 42.0 Check: 0.048 Back: 3.588
INFO - Atoms: 530/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 728 Props: 136159 Tprops: 0 Decides: 782 RSplits: 0
INFO - Times: Expl: 45.803 Prop: 50.076 PropClause: 40.056 Set: 42.088 Check: 0.049 Back: 3.608
INFO - Atoms: 541/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 732 Props: 136896 Tprops: 0 Decides: 786 RSplits: 0
INFO - Times: Expl: 45.933 Prop: 50.277 PropClause: 40.228 Set: 42.178 Check: 0.049 Back: 3.627
INFO - Atoms: 533/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 735 Props: 137646 Tprops: 0 Decides: 791 RSplits: 0
INFO - Times: Expl: 46.0 Prop: 50.484 PropClause: 40.406 Set: 42.268 Check: 0.049 Back: 3.646
INFO - Atoms: 561/1040 Clauses: 151 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 739 Props: 138475 Tprops: 0 Decides: 799 RSplits: 0
INFO - Times: Expl: 46.081 Prop: 50.723 PropClause: 40.612 Set: 42.349 Check: 0.049 Back: 3.668
INFO - Atoms: 518/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 744 Props: 139193 Tprops: 0 Decides: 803 RSplits: 0
INFO - Times: Expl: 46.206 Prop: 50.927 PropClause: 40.787 Set: 42.807 Check: 0.049 Back: 3.686
INFO - Atoms: 530/1040 Clauses: 153 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 748 Props: 139855 Tprops: 0 Decides: 807 RSplits: 0
INFO - Times: Expl: 46.288 Prop: 51.102 PropClause: 40.937 Set: 42.983 Check: 0.049 Back: 3.705
INFO - Atoms: 522/1040 Clauses: 152 Axioms: 2588
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 247 Props: 3211 Tprops: 0 Decides: 13563 RSplits: 0
INFO - Times: Expl: 27.11 Prop: 486.675 PropClause: 10.836 Set: 573.192 Check: 3.42 Back: 18.898
INFO - Atoms: 33/173 Clauses: 247 Axioms: 218
INFO - CCTimes: iE 0 eq 17799806 cc 991061 setRep 1901484
INFO - Merges: 10109, cc:0
INFO - BVTimes: BB 7916717 BB_DPLL 321978232 Graph 362440
INFO - BitBlastingClauses: 31596 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat