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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 6427326
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1451 Tprops: 0 Decides: 12 RSplits: 0
INFO - Times: Expl: 1.365 Prop: 1.266 PropClause: 1.027 Set: 2.493 Check: 0.0 Back: 0.021
INFO - Atoms: 942/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 2632 Tprops: 0 Decides: 14 RSplits: 0
INFO - Times: Expl: 1.608 Prop: 1.535 PropClause: 1.252 Set: 2.81 Check: 0.001 Back: 0.051
INFO - Atoms: 1021/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 3798 Tprops: 0 Decides: 16 RSplits: 0
INFO - Times: Expl: 1.842 Prop: 1.822 PropClause: 1.463 Set: 3.115 Check: 0.001 Back: 0.078
INFO - Atoms: 1013/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 4970 Tprops: 0 Decides: 20 RSplits: 0
INFO - Times: Expl: 2.207 Prop: 2.179 PropClause: 1.737 Set: 3.4 Check: 0.001 Back: 0.107
INFO - Atoms: 916/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 6109 Tprops: 0 Decides: 22 RSplits: 0
INFO - Times: Expl: 2.417 Prop: 2.439 PropClause: 1.959 Set: 3.711 Check: 0.001 Back: 0.131
INFO - Atoms: 996/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 7371 Tprops: 0 Decides: 26 RSplits: 0
INFO - Times: Expl: 2.818 Prop: 2.76 PropClause: 2.231 Set: 4.071 Check: 0.001 Back: 0.16
INFO - Atoms: 988/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 8485 Tprops: 0 Decides: 28 RSplits: 0
INFO - Times: Expl: 3.022 Prop: 3.025 PropClause: 2.462 Set: 4.372 Check: 0.001 Back: 0.185
INFO - Atoms: 980/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 9585 Tprops: 0 Decides: 30 RSplits: 0
INFO - Times: Expl: 3.251 Prop: 3.299 PropClause: 2.697 Set: 9.742 Check: 0.001 Back: 0.211
INFO - Atoms: 972/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 10673 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 3.463 Prop: 3.547 PropClause: 2.909 Set: 9.971 Check: 0.001 Back: 0.236
INFO - Atoms: 964/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 11748 Tprops: 0 Decides: 34 RSplits: 0
INFO - Times: Expl: 3.659 Prop: 3.794 PropClause: 3.121 Set: 10.263 Check: 0.001 Back: 0.261
INFO - Atoms: 957/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 12817 Tprops: 0 Decides: 36 RSplits: 0
INFO - Times: Expl: 3.86 Prop: 4.041 PropClause: 3.331 Set: 10.524 Check: 0.001 Back: 0.285
INFO - Atoms: 955/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 13886 Tprops: 0 Decides: 38 RSplits: 0
INFO - Times: Expl: 4.055 Prop: 4.281 PropClause: 3.538 Set: 10.787 Check: 0.001 Back: 0.309
INFO - Atoms: 954/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 14955 Tprops: 0 Decides: 40 RSplits: 0
INFO - Times: Expl: 4.481 Prop: 4.516 PropClause: 3.738 Set: 11.046 Check: 0.001 Back: 0.334
INFO - Atoms: 954/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 16011 Tprops: 0 Decides: 42 RSplits: 0
INFO - Times: Expl: 4.67 Prop: 5.851 PropClause: 3.95 Set: 11.305 Check: 0.001 Back: 0.358
INFO - Atoms: 947/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 17069 Tprops: 0 Decides: 44 RSplits: 0
INFO - Times: Expl: 4.869 Prop: 6.134 PropClause: 4.158 Set: 11.561 Check: 0.002 Back: 0.382
INFO - Atoms: 949/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 18123 Tprops: 0 Decides: 46 RSplits: 0
INFO - Times: Expl: 5.054 Prop: 6.376 PropClause: 4.36 Set: 11.815 Check: 0.002 Back: 0.406
INFO - Atoms: 945/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 19283 Tprops: 0 Decides: 50 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 7.491 PropClause: 5.431 Set: 12.072 Check: 0.002 Back: 0.433
INFO - Atoms: 945/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 20319 Tprops: 0 Decides: 52 RSplits: 0
INFO - Times: Expl: 5.661 Prop: 7.731 PropClause: 5.634 Set: 12.343 Check: 0.002 Back: 0.456
INFO - Atoms: 936/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 21355 Tprops: 0 Decides: 54 RSplits: 0
INFO - Times: Expl: 5.843 Prop: 7.967 PropClause: 5.833 Set: 12.59 Check: 0.002 Back: 0.481
INFO - Atoms: 936/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 22375 Tprops: 0 Decides: 56 RSplits: 0
INFO - Times: Expl: 6.02 Prop: 8.201 PropClause: 6.031 Set: 12.831 Check: 0.002 Back: 0.504
INFO - Atoms: 927/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 23397 Tprops: 0 Decides: 58 RSplits: 0
INFO - Times: Expl: 6.197 Prop: 8.436 PropClause: 6.23 Set: 13.096 Check: 0.002 Back: 0.527
INFO - Atoms: 927/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 24442 Tprops: 0 Decides: 62 RSplits: 0
INFO - Times: Expl: 10.644 Prop: 8.696 PropClause: 6.451 Set: 14.222 Check: 0.002 Back: 0.552
INFO - Atoms: 873/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 25433 Tprops: 0 Decides: 64 RSplits: 0
INFO - Times: Expl: 10.767 Prop: 8.921 PropClause: 6.64 Set: 14.483 Check: 0.002 Back: 0.574
INFO - Atoms: 910/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 26467 Tprops: 0 Decides: 68 RSplits: 0
INFO - Times: Expl: 10.994 Prop: 9.173 PropClause: 6.855 Set: 14.703 Check: 0.003 Back: 0.598
INFO - Atoms: 870/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 27448 Tprops: 0 Decides: 70 RSplits: 0
INFO - Times: Expl: 11.116 Prop: 9.407 PropClause: 7.047 Set: 14.928 Check: 0.003 Back: 0.62
INFO - Atoms: 903/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 28487 Tprops: 0 Decides: 74 RSplits: 0
INFO - Times: Expl: 11.69 Prop: 9.677 PropClause: 7.273 Set: 15.139 Check: 0.003 Back: 0.644
INFO - Atoms: 871/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 29471 Tprops: 0 Decides: 76 RSplits: 0
INFO - Times: Expl: 11.775 Prop: 9.925 PropClause: 7.479 Set: 15.433 Check: 0.003 Back: 0.666
INFO - Atoms: 904/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 30515 Tprops: 0 Decides: 80 RSplits: 0
INFO - Times: Expl: 11.883 Prop: 10.365 PropClause: 7.719 Set: 15.712 Check: 0.003 Back: 0.69
INFO - Atoms: 872/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 31502 Tprops: 0 Decides: 82 RSplits: 0
INFO - Times: Expl: 11.95 Prop: 10.648 PropClause: 7.951 Set: 15.996 Check: 0.003 Back: 0.712
INFO - Atoms: 905/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 32546 Tprops: 0 Decides: 86 RSplits: 0
INFO - Times: Expl: 12.06 Prop: 10.955 PropClause: 8.191 Set: 16.268 Check: 0.003 Back: 0.736
INFO - Atoms: 872/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 33559 Tprops: 0 Decides: 88 RSplits: 0
INFO - Times: Expl: 12.122 Prop: 11.22 PropClause: 8.414 Set: 16.555 Check: 0.003 Back: 0.758
INFO - Atoms: 921/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 34598 Tprops: 0 Decides: 92 RSplits: 0
INFO - Times: Expl: 12.228 Prop: 11.504 PropClause: 8.654 Set: 16.824 Check: 0.004 Back: 0.783
INFO - Atoms: 871/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 35579 Tprops: 0 Decides: 94 RSplits: 0
INFO - Times: Expl: 12.324 Prop: 11.763 PropClause: 8.871 Set: 17.103 Check: 0.004 Back: 0.805
INFO - Atoms: 903/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 36585 Tprops: 0 Decides: 98 RSplits: 0
INFO - Times: Expl: 12.433 Prop: 12.048 PropClause: 9.097 Set: 17.362 Check: 0.004 Back: 0.829
INFO - Atoms: 862/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 37540 Tprops: 0 Decides: 100 RSplits: 0
INFO - Times: Expl: 12.5 Prop: 12.313 PropClause: 9.292 Set: 17.567 Check: 0.004 Back: 0.85
INFO - Atoms: 887/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 38513 Tprops: 0 Decides: 104 RSplits: 0
INFO - Times: Expl: 12.586 Prop: 12.542 PropClause: 9.481 Set: 17.755 Check: 0.004 Back: 0.873
INFO - Atoms: 853/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 39473 Tprops: 0 Decides: 108 RSplits: 0
INFO - Times: Expl: 12.668 Prop: 12.755 PropClause: 9.654 Set: 17.943 Check: 0.004 Back: 0.895
INFO - Atoms: 861/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 41342 Tprops: 0 Decides: 165 RSplits: 0
INFO - Times: Expl: 12.891 Prop: 13.267 PropClause: 10.068 Set: 18.159 Check: 0.006 Back: 0.943
INFO - Atoms: 877/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 42596 Tprops: 0 Decides: 175 RSplits: 0
INFO - Times: Expl: 13.019 Prop: 13.618 PropClause: 10.337 Set: 18.349 Check: 0.006 Back: 0.972
INFO - Atoms: 855/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 43697 Tprops: 0 Decides: 178 RSplits: 0
INFO - Times: Expl: 13.083 Prop: 13.862 PropClause: 10.537 Set: 18.572 Check: 0.006 Back: 0.995
INFO - Atoms: 940/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 44792 Tprops: 0 Decides: 180 RSplits: 0
INFO - Times: Expl: 13.146 Prop: 14.106 PropClause: 10.737 Set: 18.789 Check: 0.006 Back: 1.021
INFO - Atoms: 940/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 45874 Tprops: 0 Decides: 182 RSplits: 0
INFO - Times: Expl: 13.57 Prop: 14.344 PropClause: 10.932 Set: 18.998 Check: 0.006 Back: 1.045
INFO - Atoms: 932/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 47003 Tprops: 0 Decides: 186 RSplits: 0
INFO - Times: Expl: 15.088 Prop: 14.611 PropClause: 11.151 Set: 19.185 Check: 0.006 Back: 1.073
INFO - Atoms: 845/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 48193 Tprops: 0 Decides: 190 RSplits: 0
INFO - Times: Expl: 27.205 Prop: 14.91 PropClause: 11.398 Set: 19.402 Check: 0.007 Back: 1.098
INFO - Atoms: 915/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 49244 Tprops: 0 Decides: 192 RSplits: 0
INFO - Times: Expl: 27.278 Prop: 15.172 PropClause: 11.59 Set: 19.619 Check: 0.007 Back: 1.122
INFO - Atoms: 915/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 50293 Tprops: 0 Decides: 194 RSplits: 0
INFO - Times: Expl: 27.339 Prop: 15.402 PropClause: 11.78 Set: 19.826 Check: 0.007 Back: 1.146
INFO - Atoms: 915/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 51327 Tprops: 0 Decides: 196 RSplits: 0
INFO - Times: Expl: 27.4 Prop: 15.63 PropClause: 11.967 Set: 20.03 Check: 0.007 Back: 1.17
INFO - Atoms: 906/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 52346 Tprops: 0 Decides: 198 RSplits: 0
INFO - Times: Expl: 27.459 Prop: 15.857 PropClause: 12.154 Set: 20.234 Check: 0.007 Back: 1.194
INFO - Atoms: 899/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 53371 Tprops: 0 Decides: 202 RSplits: 0
INFO - Times: Expl: 27.552 Prop: 16.086 PropClause: 12.342 Set: 20.411 Check: 0.007 Back: 1.219
INFO - Atoms: 829/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 54374 Tprops: 0 Decides: 204 RSplits: 0
INFO - Times: Expl: 27.611 Prop: 16.315 PropClause: 12.531 Set: 20.536 Check: 0.007 Back: 1.24
INFO - Atoms: 888/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 55360 Tprops: 0 Decides: 206 RSplits: 0
INFO - Times: Expl: 27.676 Prop: 16.531 PropClause: 12.706 Set: 20.638 Check: 0.007 Back: 1.263
INFO - Atoms: 880/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 56429 Tprops: 0 Decides: 210 RSplits: 0
INFO - Times: Expl: 27.787 Prop: 16.781 PropClause: 12.912 Set: 20.742 Check: 0.007 Back: 1.288
INFO - Atoms: 871/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 57387 Tprops: 0 Decides: 212 RSplits: 0
INFO - Times: Expl: 27.844 Prop: 17.01 PropClause: 13.078 Set: 20.841 Check: 0.007 Back: 1.31
INFO - Atoms: 862/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 58328 Tprops: 0 Decides: 214 RSplits: 0
INFO - Times: Expl: 27.91 Prop: 17.199 PropClause: 13.229 Set: 20.938 Check: 0.008 Back: 1.332
INFO - Atoms: 854/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 59261 Tprops: 0 Decides: 216 RSplits: 0
INFO - Times: Expl: 27.97 Prop: 17.377 PropClause: 13.378 Set: 21.035 Check: 0.008 Back: 1.353
INFO - Atoms: 846/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 60177 Tprops: 0 Decides: 218 RSplits: 0
INFO - Times: Expl: 28.024 Prop: 17.55 PropClause: 13.522 Set: 21.129 Check: 0.008 Back: 1.374
INFO - Atoms: 839/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 61095 Tprops: 0 Decides: 222 RSplits: 0
INFO - Times: Expl: 28.105 Prop: 17.725 PropClause: 13.668 Set: 21.215 Check: 0.008 Back: 1.396
INFO - Atoms: 801/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 63246 Tprops: 0 Decides: 328 RSplits: 0
INFO - Times: Expl: 28.371 Prop: 18.261 PropClause: 14.111 Set: 21.334 Check: 0.011 Back: 1.447
INFO - Atoms: 812/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 64352 Tprops: 0 Decides: 332 RSplits: 0
INFO - Times: Expl: 28.441 Prop: 18.496 PropClause: 14.31 Set: 21.443 Check: 0.011 Back: 1.47
INFO - Atoms: 892/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 65430 Tprops: 0 Decides: 335 RSplits: 0
INFO - Times: Expl: 28.505 Prop: 18.714 PropClause: 14.494 Set: 21.552 Check: 0.011 Back: 1.495
INFO - Atoms: 892/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 66469 Tprops: 0 Decides: 337 RSplits: 0
INFO - Times: Expl: 28.567 Prop: 18.922 PropClause: 14.669 Set: 21.657 Check: 0.011 Back: 1.518
INFO - Atoms: 884/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 67657 Tprops: 0 Decides: 341 RSplits: 0
INFO - Times: Expl: 28.676 Prop: 19.163 PropClause: 14.872 Set: 21.769 Check: 0.011 Back: 1.545
INFO - Atoms: 884/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 68841 Tprops: 0 Decides: 345 RSplits: 0
INFO - Times: Expl: 28.786 Prop: 19.409 PropClause: 15.08 Set: 21.881 Check: 0.011 Back: 1.573
INFO - Atoms: 884/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 69860 Tprops: 0 Decides: 347 RSplits: 0
INFO - Times: Expl: 28.864 Prop: 19.643 PropClause: 15.276 Set: 21.999 Check: 0.011 Back: 1.597
INFO - Atoms: 875/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 70998 Tprops: 0 Decides: 351 RSplits: 0
INFO - Times: Expl: 28.977 Prop: 19.893 PropClause: 15.488 Set: 22.105 Check: 0.012 Back: 1.623
INFO - Atoms: 866/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 71988 Tprops: 0 Decides: 353 RSplits: 0
INFO - Times: Expl: 29.2 Prop: 20.099 PropClause: 15.663 Set: 22.206 Check: 0.012 Back: 1.646
INFO - Atoms: 858/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 73088 Tprops: 0 Decides: 357 RSplits: 0
INFO - Times: Expl: 29.305 Prop: 20.326 PropClause: 15.854 Set: 22.31 Check: 0.012 Back: 1.672
INFO - Atoms: 849/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 74060 Tprops: 0 Decides: 359 RSplits: 0
INFO - Times: Expl: 29.365 Prop: 20.52 PropClause: 16.017 Set: 22.408 Check: 0.012 Back: 1.694
INFO - Atoms: 849/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 75030 Tprops: 0 Decides: 361 RSplits: 0
INFO - Times: Expl: 29.425 Prop: 20.722 PropClause: 16.183 Set: 22.509 Check: 0.012 Back: 1.716
INFO - Atoms: 849/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 76107 Tprops: 0 Decides: 365 RSplits: 0
INFO - Times: Expl: 29.529 Prop: 20.945 PropClause: 16.37 Set: 22.611 Check: 0.012 Back: 1.741
INFO - Atoms: 841/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 77051 Tprops: 0 Decides: 367 RSplits: 0
INFO - Times: Expl: 29.593 Prop: 21.135 PropClause: 16.531 Set: 22.71 Check: 0.012 Back: 1.763
INFO - Atoms: 833/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 77982 Tprops: 0 Decides: 369 RSplits: 0
INFO - Times: Expl: 29.651 Prop: 21.321 PropClause: 16.687 Set: 22.805 Check: 0.012 Back: 1.784
INFO - Atoms: 825/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 79005 Tprops: 0 Decides: 373 RSplits: 0
INFO - Times: Expl: 29.75 Prop: 21.528 PropClause: 16.861 Set: 22.899 Check: 0.013 Back: 1.808
INFO - Atoms: 817/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 79938 Tprops: 0 Decides: 377 RSplits: 0
INFO - Times: Expl: 29.835 Prop: 21.722 PropClause: 17.024 Set: 22.986 Check: 0.013 Back: 1.83
INFO - Atoms: 772/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 80850 Tprops: 0 Decides: 381 RSplits: 0
INFO - Times: Expl: 29.92 Prop: 21.904 PropClause: 17.177 Set: 23.069 Check: 0.013 Back: 1.851
INFO - Atoms: 763/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 81729 Tprops: 0 Decides: 383 RSplits: 0
INFO - Times: Expl: 29.983 Prop: 22.073 PropClause: 17.318 Set: 23.158 Check: 0.013 Back: 1.87
INFO - Atoms: 792/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 82619 Tprops: 0 Decides: 387 RSplits: 0
INFO - Times: Expl: 30.063 Prop: 22.246 PropClause: 17.462 Set: 23.239 Check: 0.013 Back: 1.891
INFO - Atoms: 755/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 84725 Tprops: 0 Decides: 538 RSplits: 0
INFO - Times: Expl: 30.337 Prop: 22.806 PropClause: 17.921 Set: 23.356 Check: 0.017 Back: 1.943
INFO - Atoms: 764/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 85792 Tprops: 0 Decides: 544 RSplits: 0
INFO - Times: Expl: 30.406 Prop: 23.041 PropClause: 18.12 Set: 23.464 Check: 0.017 Back: 1.965
INFO - Atoms: 842/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 86884 Tprops: 0 Decides: 549 RSplits: 0
INFO - Times: Expl: 30.539 Prop: 23.268 PropClause: 18.313 Set: 23.551 Check: 0.017 Back: 1.992
INFO - Atoms: 747/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 87869 Tprops: 0 Decides: 551 RSplits: 0
INFO - Times: Expl: 30.597 Prop: 23.459 PropClause: 18.473 Set: 23.651 Check: 0.017 Back: 2.013
INFO - Atoms: 832/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 88939 Tprops: 0 Decides: 556 RSplits: 0
INFO - Times: Expl: 30.723 Prop: 23.682 PropClause: 18.661 Set: 23.739 Check: 0.018 Back: 2.039
INFO - Atoms: 755/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 89895 Tprops: 0 Decides: 558 RSplits: 0
INFO - Times: Expl: 30.779 Prop: 23.873 PropClause: 18.822 Set: 23.839 Check: 0.018 Back: 2.059
INFO - Atoms: 815/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 90931 Tprops: 0 Decides: 563 RSplits: 0
INFO - Times: Expl: 30.905 Prop: 24.086 PropClause: 19.001 Set: 23.923 Check: 0.018 Back: 2.085
INFO - Atoms: 743/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 91858 Tprops: 0 Decides: 565 RSplits: 0
INFO - Times: Expl: 30.958 Prop: 24.269 PropClause: 19.154 Set: 24.017 Check: 0.018 Back: 2.105
INFO - Atoms: 798/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 92847 Tprops: 0 Decides: 570 RSplits: 0
INFO - Times: Expl: 31.082 Prop: 24.478 PropClause: 19.329 Set: 24.1 Check: 0.018 Back: 2.129
INFO - Atoms: 724/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 93745 Tprops: 0 Decides: 572 RSplits: 0
INFO - Times: Expl: 31.137 Prop: 24.65 PropClause: 19.473 Set: 24.191 Check: 0.018 Back: 2.148
INFO - Atoms: 781/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 94646 Tprops: 0 Decides: 576 RSplits: 0
INFO - Times: Expl: 31.219 Prop: 24.833 PropClause: 19.627 Set: 24.267 Check: 0.018 Back: 2.171
INFO - Atoms: 710/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 95586 Tprops: 0 Decides: 580 RSplits: 0
INFO - Times: Expl: 31.343 Prop: 25.025 PropClause: 19.789 Set: 24.346 Check: 0.018 Back: 2.192
INFO - Atoms: 717/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 96477 Tprops: 0 Decides: 584 RSplits: 0
INFO - Times: Expl: 31.648 Prop: 25.205 PropClause: 19.94 Set: 24.423 Check: 0.019 Back: 2.213
INFO - Atoms: 710/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 97412 Tprops: 0 Decides: 588 RSplits: 0
INFO - Times: Expl: 31.748 Prop: 25.394 PropClause: 20.098 Set: 24.516 Check: 0.019 Back: 2.234
INFO - Atoms: 725/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 98266 Tprops: 0 Decides: 590 RSplits: 0
INFO - Times: Expl: 31.933 Prop: 25.562 PropClause: 20.239 Set: 24.602 Check: 0.019 Back: 2.253
INFO - Atoms: 758/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 99177 Tprops: 0 Decides: 595 RSplits: 0
INFO - Times: Expl: 33.239 Prop: 25.93 PropClause: 20.57 Set: 24.685 Check: 0.019 Back: 2.275
INFO - Atoms: 707/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 100016 Tprops: 0 Decides: 597 RSplits: 0
INFO - Times: Expl: 33.307 Prop: 26.118 PropClause: 20.712 Set: 24.778 Check: 0.019 Back: 2.294
INFO - Atoms: 752/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 100909 Tprops: 0 Decides: 602 RSplits: 0
INFO - Times: Expl: 33.565 Prop: 26.305 PropClause: 20.87 Set: 24.856 Check: 0.019 Back: 2.317
INFO - Atoms: 705/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 101722 Tprops: 0 Decides: 604 RSplits: 0
INFO - Times: Expl: 33.698 Prop: 26.473 PropClause: 21.011 Set: 25.12 Check: 0.019 Back: 2.335
INFO - Atoms: 736/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 102544 Tprops: 0 Decides: 608 RSplits: 0
INFO - Times: Expl: 33.809 Prop: 26.659 PropClause: 21.171 Set: 25.198 Check: 0.02 Back: 2.355
INFO - Atoms: 699/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 103839 Tprops: 0 Decides: 683 RSplits: 0
INFO - Times: Expl: 33.989 Prop: 27.011 PropClause: 21.464 Set: 25.291 Check: 0.022 Back: 2.387
INFO - Atoms: 694/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 104998 Tprops: 0 Decides: 722 RSplits: 0
INFO - Times: Expl: 34.139 Prop: 27.292 PropClause: 21.7 Set: 25.38 Check: 0.023 Back: 2.415
INFO - Atoms: 702/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 106004 Tprops: 0 Decides: 732 RSplits: 0
INFO - Times: Expl: 34.259 Prop: 27.521 PropClause: 21.895 Set: 25.467 Check: 0.023 Back: 2.438
INFO - Atoms: 715/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 106844 Tprops: 0 Decides: 736 RSplits: 0
INFO - Times: Expl: 34.356 Prop: 27.736 PropClause: 22.043 Set: 25.548 Check: 0.024 Back: 2.458
INFO - Atoms: 709/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 107893 Tprops: 0 Decides: 749 RSplits: 0
INFO - Times: Expl: 34.509 Prop: 27.971 PropClause: 22.241 Set: 25.635 Check: 0.024 Back: 2.483
INFO - Atoms: 708/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 108754 Tprops: 0 Decides: 753 RSplits: 0
INFO - Times: Expl: 34.606 Prop: 28.146 PropClause: 22.393 Set: 25.72 Check: 0.024 Back: 2.503
INFO - Atoms: 730/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 109716 Tprops: 0 Decides: 761 RSplits: 0
INFO - Times: Expl: 34.722 Prop: 28.35 PropClause: 22.571 Set: 25.807 Check: 0.024 Back: 2.526
INFO - Atoms: 723/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 111259 Tprops: 0 Decides: 868 RSplits: 0
INFO - Times: Expl: 34.946 Prop: 28.77 PropClause: 22.923 Set: 25.911 Check: 0.026 Back: 2.564
INFO - Atoms: 718/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 112282 Tprops: 0 Decides: 877 RSplits: 0
INFO - Times: Expl: 35.113 Prop: 29.007 PropClause: 23.123 Set: 26.002 Check: 0.027 Back: 2.588
INFO - Atoms: 741/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 113315 Tprops: 0 Decides: 887 RSplits: 0
INFO - Times: Expl: 35.237 Prop: 29.229 PropClause: 23.316 Set: 26.092 Check: 0.027 Back: 2.612
INFO - Atoms: 736/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 114190 Tprops: 0 Decides: 891 RSplits: 0
INFO - Times: Expl: 35.351 Prop: 29.408 PropClause: 23.471 Set: 26.182 Check: 0.027 Back: 2.632
INFO - Atoms: 752/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 115291 Tprops: 0 Decides: 906 RSplits: 0
INFO - Times: Expl: 35.483 Prop: 29.643 PropClause: 23.675 Set: 26.275 Check: 0.027 Back: 2.658
INFO - Atoms: 747/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 116515 Tprops: 0 Decides: 928 RSplits: 0
INFO - Times: Expl: 35.638 Prop: 29.926 PropClause: 23.919 Set: 26.372 Check: 0.028 Back: 2.687
INFO - Atoms: 739/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 117739 Tprops: 0 Decides: 948 RSplits: 0
INFO - Times: Expl: 35.793 Prop: 30.218 PropClause: 24.175 Set: 26.518 Check: 0.028 Back: 2.716
INFO - Atoms: 739/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 118647 Tprops: 0 Decides: 952 RSplits: 0
INFO - Times: Expl: 35.933 Prop: 30.419 PropClause: 24.351 Set: 26.666 Check: 0.029 Back: 2.736
INFO - Atoms: 763/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 119735 Tprops: 0 Decides: 965 RSplits: 0
INFO - Times: Expl: 36.093 Prop: 30.653 PropClause: 24.555 Set: 26.814 Check: 0.029 Back: 2.761
INFO - Atoms: 753/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 120678 Tprops: 0 Decides: 971 RSplits: 0
INFO - Times: Expl: 36.182 Prop: 30.861 PropClause: 24.737 Set: 26.961 Check: 0.029 Back: 2.782
INFO - Atoms: 758/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 121568 Tprops: 0 Decides: 975 RSplits: 0
INFO - Times: Expl: 36.39 Prop: 31.048 PropClause: 24.9 Set: 27.113 Check: 0.029 Back: 2.803
INFO - Atoms: 764/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 122747 Tprops: 0 Decides: 990 RSplits: 0
INFO - Times: Expl: 36.584 Prop: 31.311 PropClause: 25.129 Set: 27.261 Check: 0.029 Back: 2.83
INFO - Atoms: 766/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 123863 Tprops: 0 Decides: 1002 RSplits: 0
INFO - Times: Expl: 36.657 Prop: 31.574 PropClause: 25.353 Set: 27.397 Check: 0.03 Back: 2.856
INFO - Atoms: 753/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 124838 Tprops: 0 Decides: 1009 RSplits: 0
INFO - Times: Expl: 36.716 Prop: 31.778 PropClause: 25.531 Set: 27.538 Check: 0.03 Back: 2.878
INFO - Atoms: 755/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 125733 Tprops: 0 Decides: 1011 RSplits: 0
INFO - Times: Expl: 36.758 Prop: 31.958 PropClause: 25.688 Set: 27.687 Check: 0.03 Back: 2.899
INFO - Atoms: 810/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 126651 Tprops: 0 Decides: 1015 RSplits: 0
INFO - Times: Expl: 36.81 Prop: 32.144 PropClause: 25.85 Set: 27.828 Check: 0.03 Back: 2.92
INFO - Atoms: 783/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 127690 Tprops: 0 Decides: 1023 RSplits: 0
INFO - Times: Expl: 36.876 Prop: 32.365 PropClause: 26.043 Set: 27.972 Check: 0.03 Back: 2.943
INFO - Atoms: 781/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 128634 Tprops: 0 Decides: 1027 RSplits: 0
INFO - Times: Expl: 36.993 Prop: 32.563 PropClause: 26.215 Set: 28.116 Check: 0.03 Back: 2.965
INFO - Atoms: 793/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 129605 Tprops: 0 Decides: 1031 RSplits: 0
INFO - Times: Expl: 37.036 Prop: 32.771 PropClause: 26.398 Set: 28.262 Check: 0.03 Back: 2.986
INFO - Atoms: 827/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 130537 Tprops: 0 Decides: 1035 RSplits: 0
INFO - Times: Expl: 37.104 Prop: 32.964 PropClause: 26.567 Set: 28.405 Check: 0.031 Back: 3.008
INFO - Atoms: 797/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 131748 Tprops: 0 Decides: 1049 RSplits: 0
INFO - Times: Expl: 37.187 Prop: 33.243 PropClause: 26.801 Set: 28.566 Check: 0.031 Back: 3.036
INFO - Atoms: 802/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 133064 Tprops: 0 Decides: 1070 RSplits: 0
INFO - Times: Expl: 37.279 Prop: 33.545 PropClause: 27.063 Set: 28.721 Check: 0.031 Back: 3.066
INFO - Atoms: 798/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 134080 Tprops: 0 Decides: 1076 RSplits: 0
INFO - Times: Expl: 37.342 Prop: 33.77 PropClause: 27.261 Set: 28.881 Check: 0.031 Back: 3.095
INFO - Atoms: 817/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 135199 Tprops: 0 Decides: 1085 RSplits: 0
INFO - Times: Expl: 37.432 Prop: 34.009 PropClause: 27.469 Set: 29.035 Check: 0.032 Back: 3.12
INFO - Atoms: 814/1744 Clauses: 253 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 136135 Tprops: 0 Decides: 1089 RSplits: 0
INFO - Times: Expl: 37.543 Prop: 34.197 PropClause: 27.633 Set: 29.177 Check: 0.032 Back: 3.142
INFO - Atoms: 806/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 137460 Tprops: 0 Decides: 1108 RSplits: 0
INFO - Times: Expl: 37.629 Prop: 34.493 PropClause: 27.891 Set: 29.328 Check: 0.032 Back: 3.172
INFO - Atoms: 821/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 138422 Tprops: 0 Decides: 1112 RSplits: 0
INFO - Times: Expl: 37.686 Prop: 34.697 PropClause: 28.07 Set: 29.473 Check: 0.032 Back: 3.193
INFO - Atoms: 831/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 139592 Tprops: 0 Decides: 1121 RSplits: 0
INFO - Times: Expl: 37.782 Prop: 34.948 PropClause: 28.288 Set: 29.623 Check: 0.033 Back: 3.22
INFO - Atoms: 837/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 140571 Tprops: 0 Decides: 1125 RSplits: 0
INFO - Times: Expl: 37.838 Prop: 35.149 PropClause: 28.463 Set: 29.767 Check: 0.033 Back: 3.242
INFO - Atoms: 830/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 141799 Tprops: 0 Decides: 1140 RSplits: 0
INFO - Times: Expl: 37.916 Prop: 35.418 PropClause: 28.698 Set: 29.911 Check: 0.033 Back: 3.27
INFO - Atoms: 832/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 143201 Tprops: 0 Decides: 1161 RSplits: 0
INFO - Times: Expl: 38.004 Prop: 35.746 PropClause: 28.985 Set: 30.07 Check: 0.033 Back: 3.301
INFO - Atoms: 842/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 144326 Tprops: 0 Decides: 1168 RSplits: 0
INFO - Times: Expl: 38.069 Prop: 35.998 PropClause: 29.207 Set: 30.221 Check: 0.034 Back: 3.326
INFO - Atoms: 856/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 145601 Tprops: 0 Decides: 1182 RSplits: 0
INFO - Times: Expl: 38.151 Prop: 36.297 PropClause: 29.471 Set: 30.37 Check: 0.034 Back: 3.355
INFO - Atoms: 847/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 146987 Tprops: 0 Decides: 1200 RSplits: 0
INFO - Times: Expl: 38.239 Prop: 36.617 PropClause: 29.751 Set: 30.522 Check: 0.034 Back: 3.387
INFO - Atoms: 848/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 148086 Tprops: 0 Decides: 1206 RSplits: 0
INFO - Times: Expl: 38.329 Prop: 36.849 PropClause: 29.953 Set: 30.621 Check: 0.034 Back: 3.411
INFO - Atoms: 866/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 149086 Tprops: 0 Decides: 1210 RSplits: 0
INFO - Times: Expl: 38.383 Prop: 37.041 PropClause: 30.119 Set: 30.717 Check: 0.035 Back: 3.433
INFO - Atoms: 860/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 150270 Tprops: 0 Decides: 1221 RSplits: 0
INFO - Times: Expl: 38.453 Prop: 37.283 PropClause: 30.329 Set: 30.82 Check: 0.035 Back: 3.46
INFO - Atoms: 866/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 151302 Tprops: 0 Decides: 1225 RSplits: 0
INFO - Times: Expl: 38.511 Prop: 37.494 PropClause: 30.513 Set: 30.925 Check: 0.035 Back: 3.483
INFO - Atoms: 884/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 152523 Tprops: 0 Decides: 1234 RSplits: 0
INFO - Times: Expl: 38.604 Prop: 37.74 PropClause: 30.726 Set: 31.03 Check: 0.035 Back: 3.511
INFO - Atoms: 887/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 153561 Tprops: 0 Decides: 1238 RSplits: 0
INFO - Times: Expl: 38.659 Prop: 37.945 PropClause: 30.904 Set: 31.133 Check: 0.035 Back: 3.535
INFO - Atoms: 880/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 154896 Tprops: 0 Decides: 1254 RSplits: 0
INFO - Times: Expl: 38.741 Prop: 38.23 PropClause: 31.151 Set: 31.241 Check: 0.035 Back: 3.566
INFO - Atoms: 889/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 155967 Tprops: 0 Decides: 1258 RSplits: 0
INFO - Times: Expl: 38.798 Prop: 38.449 PropClause: 31.343 Set: 31.345 Check: 0.036 Back: 3.59
INFO - Atoms: 908/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 157194 Tprops: 0 Decides: 1266 RSplits: 0
INFO - Times: Expl: 38.867 Prop: 38.699 PropClause: 31.56 Set: 31.455 Check: 0.036 Back: 3.618
INFO - Atoms: 914/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 158717 Tprops: 0 Decides: 1290 RSplits: 0
INFO - Times: Expl: 38.968 Prop: 39.053 PropClause: 31.869 Set: 31.571 Check: 0.036 Back: 3.653
INFO - Atoms: 906/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 159945 Tprops: 0 Decides: 1297 RSplits: 0
INFO - Times: Expl: 39.037 Prop: 39.325 PropClause: 32.108 Set: 31.684 Check: 0.036 Back: 3.68
INFO - Atoms: 925/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 161264 Tprops: 0 Decides: 1307 RSplits: 0
INFO - Times: Expl: 39.116 Prop: 39.606 PropClause: 32.353 Set: 31.795 Check: 0.037 Back: 3.71
INFO - Atoms: 922/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 162742 Tprops: 0 Decides: 1321 RSplits: 0
INFO - Times: Expl: 39.232 Prop: 39.928 PropClause: 32.634 Set: 31.912 Check: 0.037 Back: 3.745
INFO - Atoms: 930/1744 Clauses: 254 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 163852 Tprops: 0 Decides: 1325 RSplits: 0
INFO - Times: Expl: 39.293 Prop: 40.154 PropClause: 32.831 Set: 32.02 Check: 0.037 Back: 3.77
INFO - Atoms: 924/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 165359 Tprops: 0 Decides: 1343 RSplits: 0
INFO - Times: Expl: 39.387 Prop: 40.488 PropClause: 33.122 Set: 32.135 Check: 0.038 Back: 3.805
INFO - Atoms: 917/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 611 Props: 166495 Tprops: 0 Decides: 1347 RSplits: 0
INFO - Times: Expl: 39.448 Prop: 40.727 PropClause: 33.332 Set: 32.247 Check: 0.038 Back: 3.83
INFO - Atoms: 949/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 615 Props: 167744 Tprops: 0 Decides: 1355 RSplits: 0
INFO - Times: Expl: 39.517 Prop: 40.984 PropClause: 33.556 Set: 32.36 Check: 0.038 Back: 3.858
INFO - Atoms: 945/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 619 Props: 169178 Tprops: 0 Decides: 1370 RSplits: 0
INFO - Times: Expl: 39.605 Prop: 41.305 PropClause: 33.835 Set: 32.479 Check: 0.038 Back: 3.891
INFO - Atoms: 941/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 623 Props: 170404 Tprops: 0 Decides: 1377 RSplits: 0
INFO - Times: Expl: 39.673 Prop: 41.571 PropClause: 34.069 Set: 32.592 Check: 0.038 Back: 3.918
INFO - Atoms: 947/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 627 Props: 171964 Tprops: 0 Decides: 1395 RSplits: 0
INFO - Times: Expl: 39.818 Prop: 41.941 PropClause: 34.395 Set: 32.716 Check: 0.039 Back: 3.954
INFO - Atoms: 945/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 631 Props: 173176 Tprops: 0 Decides: 1401 RSplits: 0
INFO - Times: Expl: 39.901 Prop: 42.206 PropClause: 34.628 Set: 32.83 Check: 0.039 Back: 3.981
INFO - Atoms: 951/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 635 Props: 174703 Tprops: 0 Decides: 1418 RSplits: 0
INFO - Times: Expl: 40.018 Prop: 42.554 PropClause: 34.933 Set: 32.948 Check: 0.039 Back: 4.016
INFO - Atoms: 945/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 639 Props: 175915 Tprops: 0 Decides: 1424 RSplits: 0
INFO - Times: Expl: 40.093 Prop: 42.818 PropClause: 35.165 Set: 33.062 Check: 0.039 Back: 4.043
INFO - Atoms: 949/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 643 Props: 177355 Tprops: 0 Decides: 1440 RSplits: 0
INFO - Times: Expl: 40.198 Prop: 43.139 PropClause: 35.446 Set: 33.181 Check: 0.04 Back: 4.076
INFO - Atoms: 945/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 647 Props: 178553 Tprops: 0 Decides: 1446 RSplits: 0
INFO - Times: Expl: 40.323 Prop: 43.404 PropClause: 35.678 Set: 33.294 Check: 0.04 Back: 4.104
INFO - Atoms: 945/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 651 Props: 179984 Tprops: 0 Decides: 1462 RSplits: 0
INFO - Times: Expl: 40.458 Prop: 43.727 PropClause: 35.961 Set: 33.414 Check: 0.04 Back: 4.136
INFO - Atoms: 938/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 655 Props: 181184 Tprops: 0 Decides: 1468 RSplits: 0
INFO - Times: Expl: 40.523 Prop: 43.984 PropClause: 36.186 Set: 33.529 Check: 0.04 Back: 4.163
INFO - Atoms: 940/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 659 Props: 182738 Tprops: 0 Decides: 1490 RSplits: 0
INFO - Times: Expl: 40.621 Prop: 44.354 PropClause: 36.511 Set: 33.649 Check: 0.041 Back: 4.198
INFO - Atoms: 933/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 663 Props: 183971 Tprops: 0 Decides: 1497 RSplits: 0
INFO - Times: Expl: 40.709 Prop: 44.627 PropClause: 36.75 Set: 33.761 Check: 0.041 Back: 4.226
INFO - Atoms: 956/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 667 Props: 185569 Tprops: 0 Decides: 1517 RSplits: 0
INFO - Times: Expl: 40.817 Prop: 44.993 PropClause: 37.071 Set: 33.884 Check: 0.042 Back: 4.263
INFO - Atoms: 955/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 671 Props: 186776 Tprops: 0 Decides: 1523 RSplits: 0
INFO - Times: Expl: 40.884 Prop: 45.254 PropClause: 37.299 Set: 33.997 Check: 0.042 Back: 4.29
INFO - Atoms: 959/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 674 Props: 187978 Tprops: 0 Decides: 1527 RSplits: 0
INFO - Times: Expl: 40.934 Prop: 45.498 PropClause: 37.513 Set: 34.122 Check: 0.042 Back: 4.316
INFO - Atoms: 1014/1744 Clauses: 251 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 678 Props: 189143 Tprops: 0 Decides: 1531 RSplits: 0
INFO - Times: Expl: 40.994 Prop: 45.739 PropClause: 37.723 Set: 34.238 Check: 0.042 Back: 4.343
INFO - Atoms: 972/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 682 Props: 190764 Tprops: 0 Decides: 1551 RSplits: 0
INFO - Times: Expl: 41.104 Prop: 46.121 PropClause: 38.058 Set: 34.365 Check: 0.042 Back: 4.38
INFO - Atoms: 967/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 686 Props: 191917 Tprops: 0 Decides: 1555 RSplits: 0
INFO - Times: Expl: 41.178 Prop: 49.521 PropClause: 41.427 Set: 34.475 Check: 0.042 Back: 4.407
INFO - Atoms: 966/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 690 Props: 193086 Tprops: 0 Decides: 1559 RSplits: 0
INFO - Times: Expl: 41.246 Prop: 49.766 PropClause: 41.639 Set: 36.224 Check: 0.043 Back: 4.434
INFO - Atoms: 979/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 694 Props: 194533 Tprops: 0 Decides: 1575 RSplits: 0
INFO - Times: Expl: 41.337 Prop: 50.092 PropClause: 41.924 Set: 36.469 Check: 0.043 Back: 4.467
INFO - Atoms: 966/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 698 Props: 196183 Tprops: 0 Decides: 1597 RSplits: 0
INFO - Times: Expl: 41.444 Prop: 50.487 PropClause: 42.271 Set: 36.704 Check: 0.043 Back: 4.504
INFO - Atoms: 977/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 702 Props: 197415 Tprops: 0 Decides: 1603 RSplits: 0
INFO - Times: Expl: 41.513 Prop: 50.751 PropClause: 42.502 Set: 36.923 Check: 0.044 Back: 4.532
INFO - Atoms: 973/1744 Clauses: 252 Axioms: 4328
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 214 Props: 3350 Tprops: 0 Decides: 19328 RSplits: 0
INFO - Times: Expl: 20.791 Prop: 406.245 PropClause: 2.441 Set: 679.293 Check: 2.182 Back: 20.62
INFO - Atoms: 39/269 Clauses: 214 Axioms: 342
INFO - CCTimes: iE 0 eq 14232364 cc 596183 setRep 11478485
INFO - Merges: 14414, cc:0
INFO - BVTimes: BB 6421916 BB_DPLL 299254251 Graph 449739
INFO - BitBlastingClauses: 48224 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat