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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 24221112
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.282 Prop: 4.651 PropClause: 4.557 Set: 0.908 Check: 0.0 Back: 0.0
INFO - Atoms: 196/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 1242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.324 Prop: 5.178 PropClause: 4.887 Set: 3.17 Check: 0.0 Back: 0.01
INFO - Atoms: 1046/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 2280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.356 Prop: 5.607 PropClause: 5.141 Set: 3.568 Check: 0.0 Back: 0.035
INFO - Atoms: 1038/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 3326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.398 Prop: 6.092 PropClause: 5.441 Set: 3.938 Check: 0.0 Back: 0.058
INFO - Atoms: 1046/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 4364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.42 Prop: 6.488 PropClause: 5.671 Set: 4.343 Check: 0.0 Back: 0.082
INFO - Atoms: 1038/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 5397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.442 Prop: 6.778 PropClause: 5.927 Set: 4.714 Check: 0.0 Back: 0.105
INFO - Atoms: 1033/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 6338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.469 Prop: 6.998 PropClause: 6.104 Set: 5.049 Check: 0.0 Back: 0.129
INFO - Atoms: 941/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 7357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.488 Prop: 7.274 PropClause: 6.345 Set: 5.312 Check: 0.0 Back: 0.151
INFO - Atoms: 1019/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 8353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.509 Prop: 7.513 PropClause: 6.553 Set: 5.562 Check: 0.0 Back: 0.175
INFO - Atoms: 996/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 9349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.53 Prop: 7.743 PropClause: 6.749 Set: 5.827 Check: 0.0 Back: 0.198
INFO - Atoms: 996/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 10345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.548 Prop: 7.979 PropClause: 6.953 Set: 6.199 Check: 0.0 Back: 0.222
INFO - Atoms: 996/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 11339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.573 Prop: 8.231 PropClause: 7.172 Set: 6.532 Check: 0.0 Back: 0.245
INFO - Atoms: 994/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 12356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.595 Prop: 8.472 PropClause: 7.38 Set: 6.863 Check: 0.0 Back: 0.269
INFO - Atoms: 1017/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 13373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.615 Prop: 8.716 PropClause: 7.591 Set: 7.206 Check: 0.0 Back: 0.292
INFO - Atoms: 1017/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 14356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.634 Prop: 8.956 PropClause: 7.8 Set: 7.567 Check: 0.0 Back: 0.316
INFO - Atoms: 983/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 15375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.654 Prop: 9.206 PropClause: 8.015 Set: 7.932 Check: 0.0 Back: 0.339
INFO - Atoms: 1019/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 16399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.963 Prop: 9.566 PropClause: 8.341 Set: 8.27 Check: 0.0 Back: 0.363
INFO - Atoms: 1024/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 17423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.979 Prop: 9.818 PropClause: 8.56 Set: 8.609 Check: 0.0 Back: 0.387
INFO - Atoms: 1024/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 18399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.004 Prop: 10.05 PropClause: 8.759 Set: 8.92 Check: 0.0 Back: 0.411
INFO - Atoms: 976/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 19375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.025 Prop: 10.984 PropClause: 8.953 Set: 9.233 Check: 0.0 Back: 0.434
INFO - Atoms: 976/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 20351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.049 Prop: 11.227 PropClause: 9.148 Set: 9.603 Check: 0.0 Back: 0.456
INFO - Atoms: 976/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 21327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.073 Prop: 11.469 PropClause: 9.347 Set: 9.922 Check: 0.0 Back: 0.479
INFO - Atoms: 976/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 22303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.098 Prop: 11.704 PropClause: 9.547 Set: 10.237 Check: 0.0 Back: 0.502
INFO - Atoms: 976/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 23279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.118 Prop: 11.932 PropClause: 9.741 Set: 10.589 Check: 0.0 Back: 0.525
INFO - Atoms: 976/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 24254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.138 Prop: 12.157 PropClause: 9.933 Set: 10.878 Check: 0.0 Back: 0.548
INFO - Atoms: 975/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 25237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.162 Prop: 12.392 PropClause: 10.135 Set: 11.174 Check: 0.0 Back: 0.57
INFO - Atoms: 983/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 26204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.183 Prop: 12.62 PropClause: 10.328 Set: 11.451 Check: 0.0 Back: 0.593
INFO - Atoms: 967/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 27189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.202 Prop: 12.847 PropClause: 10.522 Set: 11.85 Check: 0.0 Back: 0.616
INFO - Atoms: 985/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 28175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.221 Prop: 13.086 PropClause: 10.726 Set: 12.214 Check: 0.0 Back: 0.639
INFO - Atoms: 986/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 29162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.244 Prop: 13.319 PropClause: 10.926 Set: 12.576 Check: 0.0 Back: 0.662
INFO - Atoms: 987/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 30359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.267 Prop: 13.633 PropClause: 11.198 Set: 13.039 Check: 0.0 Back: 0.684
INFO - Atoms: 1197/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 31318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.284 Prop: 13.904 PropClause: 11.436 Set: 13.394 Check: 0.0 Back: 0.712
INFO - Atoms: 959/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 32277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.3 Prop: 14.133 PropClause: 11.632 Set: 13.746 Check: 0.0 Back: 0.734
INFO - Atoms: 959/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 33473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.323 Prop: 14.445 PropClause: 11.902 Set: 14.213 Check: 0.0 Back: 0.756
INFO - Atoms: 1196/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 34719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.346 Prop: 14.8 PropClause: 12.216 Set: 14.705 Check: 0.0 Back: 0.784
INFO - Atoms: 1246/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 36060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.373 Prop: 16.176 PropClause: 13.546 Set: 15.25 Check: 0.0 Back: 0.812
INFO - Atoms: 1341/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 37363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.399 Prop: 16.595 PropClause: 13.92 Set: 15.765 Check: 0.0 Back: 0.843
INFO - Atoms: 1303/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 38699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.435 Prop: 17.037 PropClause: 14.317 Set: 16.297 Check: 0.0 Back: 0.873
INFO - Atoms: 1336/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 39599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.461 Prop: 17.326 PropClause: 14.57 Set: 16.626 Check: 0.0 Back: 0.904
INFO - Atoms: 900/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 40511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.477 Prop: 17.546 PropClause: 14.76 Set: 17.001 Check: 0.0 Back: 0.925
INFO - Atoms: 912/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 41397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.495 Prop: 17.783 PropClause: 14.934 Set: 17.239 Check: 0.0 Back: 0.946
INFO - Atoms: 886/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 42303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.516 Prop: 18.078 PropClause: 15.118 Set: 17.495 Check: 0.0 Back: 0.966
INFO - Atoms: 906/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 43208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.54 Prop: 18.34 PropClause: 15.348 Set: 17.767 Check: 0.0 Back: 0.987
INFO - Atoms: 905/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 44658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.555 Prop: 18.743 PropClause: 15.705 Set: 18.282 Check: 0.0 Back: 1.009
INFO - Atoms: 1450/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 46138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.578 Prop: 19.214 PropClause: 16.113 Set: 18.795 Check: 0.0 Back: 1.043
INFO - Atoms: 1480/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 47710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.594 Prop: 19.721 PropClause: 16.559 Set: 19.303 Check: 0.0 Back: 1.078
INFO - Atoms: 1572/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 49358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.615 Prop: 20.209 PropClause: 16.984 Set: 19.84 Check: 0.0 Back: 1.115
INFO - Atoms: 1648/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 51034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.653 Prop: 20.711 PropClause: 17.422 Set: 20.165 Check: 0.0 Back: 1.154
INFO - Atoms: 1676/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 52714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.673 Prop: 21.215 PropClause: 17.862 Set: 20.464 Check: 0.0 Back: 1.194
INFO - Atoms: 1680/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 54484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.702 Prop: 21.745 PropClause: 18.324 Set: 20.771 Check: 0.0 Back: 1.233
INFO - Atoms: 1770/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 55692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.724 Prop: 22.158 PropClause: 18.689 Set: 20.964 Check: 0.0 Back: 1.273
INFO - Atoms: 1208/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 57459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.841 Prop: 22.668 PropClause: 19.129 Set: 21.282 Check: 0.0 Back: 1.3
INFO - Atoms: 1767/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 59291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.851 Prop: 23.257 PropClause: 19.646 Set: 21.61 Check: 0.0 Back: 1.34
INFO - Atoms: 1832/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 60574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.859 Prop: 23.69 PropClause: 20.028 Set: 21.827 Check: 0.0 Back: 1.38
INFO - Atoms: 1283/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 62433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.869 Prop: 24.243 PropClause: 20.507 Set: 22.158 Check: 0.0 Back: 1.409
INFO - Atoms: 1859/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 64316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.879 Prop: 24.937 PropClause: 21.127 Set: 22.496 Check: 0.0 Back: 1.451
INFO - Atoms: 1883/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 66739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.897 Prop: 25.701 PropClause: 21.791 Set: 22.946 Check: 0.0 Back: 1.493
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 67404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.903 Prop: 26.065 PropClause: 22.13 Set: 23.029 Check: 0.0 Back: 1.547
INFO - Atoms: 665/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 68276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.911 Prop: 26.294 PropClause: 22.324 Set: 24.991 Check: 0.0 Back: 1.562
INFO - Atoms: 872/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 69279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.917 Prop: 26.525 PropClause: 22.514 Set: 25.269 Check: 0.0 Back: 1.581
INFO - Atoms: 1003/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 70434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.921 Prop: 26.796 PropClause: 22.742 Set: 25.605 Check: 0.0 Back: 1.604
INFO - Atoms: 1155/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 71439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.925 Prop: 27.037 PropClause: 22.945 Set: 25.887 Check: 0.0 Back: 1.63
INFO - Atoms: 1005/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 72595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.929 Prop: 27.339 PropClause: 23.202 Set: 26.228 Check: 0.0 Back: 1.652
INFO - Atoms: 1156/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 73769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.933 Prop: 27.618 PropClause: 23.437 Set: 26.589 Check: 0.0 Back: 1.678
INFO - Atoms: 1174/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 74792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.935 Prop: 27.843 PropClause: 23.623 Set: 26.872 Check: 0.0 Back: 1.704
INFO - Atoms: 1023/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 75966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.941 Prop: 28.112 PropClause: 23.847 Set: 27.211 Check: 0.0 Back: 1.727
INFO - Atoms: 1174/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 76985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.944 Prop: 28.337 PropClause: 24.032 Set: 27.498 Check: 0.0 Back: 1.753
INFO - Atoms: 1019/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 78158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.947 Prop: 28.588 PropClause: 24.239 Set: 27.833 Check: 0.0 Back: 1.776
INFO - Atoms: 1173/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 79179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.951 Prop: 28.833 PropClause: 24.434 Set: 28.398 Check: 0.0 Back: 1.802
INFO - Atoms: 1021/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 80351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.954 Prop: 29.101 PropClause: 24.645 Set: 29.036 Check: 0.0 Back: 1.825
INFO - Atoms: 1172/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 81374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.958 Prop: 29.347 PropClause: 24.852 Set: 29.307 Check: 0.0 Back: 1.851
INFO - Atoms: 1023/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 82545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.961 Prop: 29.623 PropClause: 25.056 Set: 29.6 Check: 0.0 Back: 1.874
INFO - Atoms: 1171/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 84517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.965 Prop: 30.113 PropClause: 25.471 Set: 30.17 Check: 0.0 Back: 1.9
INFO - Atoms: 1972/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 86526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.969 Prop: 30.717 PropClause: 26.0 Set: 30.761 Check: 0.0 Back: 1.944
INFO - Atoms: 2009/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 88561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.973 Prop: 31.304 PropClause: 26.51 Set: 31.361 Check: 0.0 Back: 1.989
INFO - Atoms: 2035/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 90641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.975 Prop: 31.906 PropClause: 27.033 Set: 31.969 Check: 0.0 Back: 2.035
INFO - Atoms: 2080/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 92763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.978 Prop: 32.532 PropClause: 27.579 Set: 32.594 Check: 0.0 Back: 2.082
INFO - Atoms: 2122/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 93721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.981 Prop: 32.93 PropClause: 27.939 Set: 32.899 Check: 0.0 Back: 2.129
INFO - Atoms: 958/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 95892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.986 Prop: 33.555 PropClause: 28.475 Set: 33.596 Check: 0.0 Back: 2.151
INFO - Atoms: 2171/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 98089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.993 Prop: 34.526 PropClause: 29.118 Set: 34.308 Check: 0.0 Back: 2.206
INFO - Atoms: 2197/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 100512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.001 Prop: 35.546 PropClause: 29.841 Set: 35.104 Check: 0.0 Back: 2.256
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 101421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.005 Prop: 36.056 PropClause: 30.229 Set: 35.285 Check: 0.0 Back: 2.31
INFO - Atoms: 909/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 102480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.008 Prop: 36.297 PropClause: 30.417 Set: 35.447 Check: 0.0 Back: 2.331
INFO - Atoms: 1059/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 103373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.013 Prop: 36.497 PropClause: 30.59 Set: 35.58 Check: 0.0 Back: 2.355
INFO - Atoms: 893/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 104763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.019 Prop: 36.834 PropClause: 30.884 Set: 35.817 Check: 0.0 Back: 2.375
INFO - Atoms: 1390/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 106313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.022 Prop: 37.248 PropClause: 31.252 Set: 36.083 Check: 0.0 Back: 2.406
INFO - Atoms: 1550/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 108736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.026 Prop: 37.896 PropClause: 31.825 Set: 36.527 Check: 0.0 Back: 2.441
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 109451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.032 Prop: 38.278 PropClause: 32.185 Set: 36.623 Check: 0.0 Back: 2.496
INFO - Atoms: 715/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 110713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.039 Prop: 38.563 PropClause: 32.431 Set: 36.824 Check: 0.0 Back: 2.512
INFO - Atoms: 1262/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 112196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.042 Prop: 38.946 PropClause: 32.768 Set: 37.079 Check: 0.0 Back: 2.541
INFO - Atoms: 1483/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 114315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.051 Prop: 39.51 PropClause: 33.268 Set: 37.461 Check: 0.0 Back: 2.575
INFO - Atoms: 2119/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 115635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.055 Prop: 39.982 PropClause: 33.699 Set: 37.684 Check: 0.0 Back: 2.623
INFO - Atoms: 1320/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 118058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.061 Prop: 40.608 PropClause: 34.247 Set: 38.125 Check: 0.0 Back: 2.652
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 118797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.064 Prop: 40.917 PropClause: 34.534 Set: 38.222 Check: 0.0 Back: 2.707
INFO - Atoms: 739/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 119822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.067 Prop: 41.124 PropClause: 34.709 Set: 38.382 Check: 0.0 Back: 2.724
INFO - Atoms: 1025/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 120866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.072 Prop: 41.378 PropClause: 34.931 Set: 38.546 Check: 0.0 Back: 2.747
INFO - Atoms: 1044/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 121909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.077 Prop: 41.629 PropClause: 35.151 Set: 38.705 Check: 0.0 Back: 2.77
INFO - Atoms: 1043/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 122998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.083 Prop: 41.897 PropClause: 35.386 Set: 38.874 Check: 0.0 Back: 2.793
INFO - Atoms: 1089/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 124004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.087 Prop: 42.162 PropClause: 35.62 Set: 39.121 Check: 0.0 Back: 2.818
INFO - Atoms: 1006/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 125147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.118 Prop: 42.436 PropClause: 35.856 Set: 39.393 Check: 0.0 Back: 2.841
INFO - Atoms: 1143/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 126291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.158 Prop: 42.726 PropClause: 36.111 Set: 39.576 Check: 0.0 Back: 2.866
INFO - Atoms: 1144/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 127450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.162 Prop: 43.004 PropClause: 36.353 Set: 39.763 Check: 0.0 Back: 2.892
INFO - Atoms: 1159/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 128593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.169 Prop: 43.316 PropClause: 36.631 Set: 40.037 Check: 0.0 Back: 2.92
INFO - Atoms: 1143/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 129753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.173 Prop: 43.605 PropClause: 36.884 Set: 40.301 Check: 0.0 Back: 2.945
INFO - Atoms: 1160/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 130896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.178 Prop: 43.898 PropClause: 37.144 Set: 40.578 Check: 0.0 Back: 2.971
INFO - Atoms: 1143/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 132055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.18 Prop: 44.18 PropClause: 37.391 Set: 40.853 Check: 0.0 Back: 2.996
INFO - Atoms: 1159/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 133220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.187 Prop: 44.503 PropClause: 37.678 Set: 41.118 Check: 0.0 Back: 3.022
INFO - Atoms: 1165/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 134398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.194 Prop: 44.834 PropClause: 37.974 Set: 41.387 Check: 0.0 Back: 3.048
INFO - Atoms: 1178/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 135578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 45.171 PropClause: 38.276 Set: 41.655 Check: 0.0 Back: 3.074
INFO - Atoms: 1180/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 136758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.208 Prop: 45.492 PropClause: 38.561 Set: 41.934 Check: 0.0 Back: 3.1
INFO - Atoms: 1180/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 137765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.213 Prop: 45.753 PropClause: 38.791 Set: 42.17 Check: 0.0 Back: 3.127
INFO - Atoms: 1007/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 138809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.223 Prop: 46.02 PropClause: 39.027 Set: 42.422 Check: 0.0 Back: 3.149
INFO - Atoms: 1044/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 139598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.227 Prop: 46.213 PropClause: 39.195 Set: 42.594 Check: 0.0 Back: 3.172
INFO - Atoms: 789/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 140938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.234 Prop: 46.524 PropClause: 39.463 Set: 42.919 Check: 0.0 Back: 3.19
INFO - Atoms: 1340/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 142089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.238 Prop: 46.842 PropClause: 39.746 Set: 43.191 Check: 0.0 Back: 3.22
INFO - Atoms: 1151/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 143392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.24 Prop: 47.162 PropClause: 40.027 Set: 43.503 Check: 0.0 Back: 3.245
INFO - Atoms: 1303/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 144748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.242 Prop: 47.531 PropClause: 40.356 Set: 43.827 Check: 0.0 Back: 3.274
INFO - Atoms: 1356/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 146085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.245 Prop: 47.889 PropClause: 40.675 Set: 44.157 Check: 0.0 Back: 3.305
INFO - Atoms: 1337/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 147682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.246 Prop: 48.301 PropClause: 41.038 Set: 44.541 Check: 0.0 Back: 3.334
INFO - Atoms: 1597/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 150101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.25 Prop: 48.961 PropClause: 41.625 Set: 45.157 Check: 0.0 Back: 3.37
INFO - Atoms: 2419/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 151788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.272 Prop: 49.547 PropClause: 42.159 Set: 45.567 Check: 0.0 Back: 3.423
INFO - Atoms: 1687/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 154208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.299 Prop: 50.215 PropClause: 42.755 Set: 46.164 Check: 0.0 Back: 3.461
INFO - Atoms: 2420/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 155682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.307 Prop: 50.746 PropClause: 43.242 Set: 46.515 Check: 0.0 Back: 3.514
INFO - Atoms: 1474/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 157047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.31 Prop: 51.15 PropClause: 43.602 Set: 46.848 Check: 0.0 Back: 3.547
INFO - Atoms: 1365/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 159470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.318 Prop: 51.793 PropClause: 44.173 Set: 47.432 Check: 0.0 Back: 3.578
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 160768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.434 Prop: 52.348 PropClause: 44.688 Set: 47.745 Check: 0.0 Back: 3.632
INFO - Atoms: 1298/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 162201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.436 Prop: 52.731 PropClause: 45.029 Set: 48.088 Check: 0.0 Back: 3.661
INFO - Atoms: 1433/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 163748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.441 Prop: 53.195 PropClause: 45.443 Set: 48.477 Check: 0.0 Back: 3.693
INFO - Atoms: 1547/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 164558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.445 Prop: 53.466 PropClause: 45.689 Set: 48.655 Check: 0.0 Back: 3.728
INFO - Atoms: 810/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 166979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.453 Prop: 54.062 PropClause: 46.209 Set: 49.298 Check: 0.0 Back: 3.746
INFO - Atoms: 2421/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 168165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.461 Prop: 54.601 PropClause: 46.712 Set: 49.586 Check: 0.0 Back: 3.801
INFO - Atoms: 1186/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 169335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.469 Prop: 54.914 PropClause: 46.989 Set: 49.856 Check: 0.0 Back: 3.827
INFO - Atoms: 1170/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 170505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.476 Prop: 55.223 PropClause: 47.263 Set: 50.125 Check: 0.0 Back: 3.854
INFO - Atoms: 1170/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 172135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.484 Prop: 55.64 PropClause: 47.63 Set: 50.529 Check: 0.0 Back: 3.88
INFO - Atoms: 1630/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 173431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.489 Prop: 56.042 PropClause: 47.989 Set: 50.835 Check: 0.0 Back: 3.917
INFO - Atoms: 1296/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 175849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.496 Prop: 56.679 PropClause: 48.552 Set: 51.447 Check: 0.0 Back: 3.946
INFO - Atoms: 2418/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 177180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.505 Prop: 57.409 PropClause: 49.24 Set: 51.66 Check: 0.0 Back: 3.999
INFO - Atoms: 1331/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 178381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.51 Prop: 57.722 PropClause: 49.517 Set: 51.849 Check: 0.0 Back: 4.029
INFO - Atoms: 1201/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 179654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.515 Prop: 58.018 PropClause: 49.775 Set: 52.053 Check: 0.0 Back: 4.056
INFO - Atoms: 1273/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 181175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.521 Prop: 58.408 PropClause: 50.114 Set: 52.31 Check: 0.0 Back: 4.084
INFO - Atoms: 1521/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 182692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.526 Prop: 58.817 PropClause: 50.477 Set: 52.566 Check: 0.0 Back: 4.119
INFO - Atoms: 1517/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 184168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.53 Prop: 59.205 PropClause: 50.821 Set: 52.816 Check: 0.0 Back: 4.153
INFO - Atoms: 1476/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 185446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.536 Prop: 59.543 PropClause: 51.119 Set: 53.022 Check: 0.0 Back: 4.186
INFO - Atoms: 1278/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 187212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.545 Prop: 60.031 PropClause: 51.552 Set: 53.343 Check: 0.0 Back: 4.215
INFO - Atoms: 1766/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 188992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.55 Prop: 60.528 PropClause: 51.991 Set: 53.645 Check: 0.0 Back: 4.255
INFO - Atoms: 1780/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 191415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 61.168 PropClause: 52.557 Set: 54.076 Check: 0.0 Back: 4.296
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 192963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.562 Prop: 61.687 PropClause: 53.03 Set: 54.33 Check: 0.0 Back: 4.35
INFO - Atoms: 1548/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 194151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.567 Prop: 62.014 PropClause: 53.321 Set: 54.512 Check: 0.0 Back: 4.385
INFO - Atoms: 1188/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 195611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.57 Prop: 62.371 PropClause: 53.634 Set: 54.757 Check: 0.0 Back: 4.411
INFO - Atoms: 1460/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 196916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.575 Prop: 62.737 PropClause: 53.957 Set: 54.973 Check: 0.0 Back: 4.444
INFO - Atoms: 1305/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 198155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.58 Prop: 63.072 PropClause: 54.254 Set: 55.178 Check: 0.0 Back: 4.473
INFO - Atoms: 1239/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 200571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.584 Prop: 63.65 PropClause: 54.758 Set: 55.608 Check: 0.0 Back: 4.501
INFO - Atoms: 2416/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 202318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.589 Prop: 64.193 PropClause: 55.247 Set: 55.921 Check: 0.0 Back: 4.556
INFO - Atoms: 1747/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 204161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.594 Prop: 64.69 PropClause: 55.688 Set: 56.238 Check: 0.0 Back: 4.595
INFO - Atoms: 1843/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 206007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.602 Prop: 65.213 PropClause: 56.151 Set: 56.564 Check: 0.0 Back: 4.636
INFO - Atoms: 1846/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 207554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.608 Prop: 65.643 PropClause: 56.535 Set: 56.819 Check: 0.0 Back: 4.677
INFO - Atoms: 1547/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 209976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.615 Prop: 66.27 PropClause: 57.088 Set: 57.259 Check: 0.0 Back: 4.712
INFO - Atoms: 2422/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 211291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.619 Prop: 66.725 PropClause: 57.503 Set: 57.469 Check: 0.0 Back: 4.766
INFO - Atoms: 1315/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 212522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.625 Prop: 67.061 PropClause: 57.797 Set: 57.673 Check: 0.0 Back: 4.795
INFO - Atoms: 1231/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 213520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.636 Prop: 67.344 PropClause: 58.041 Set: 57.821 Check: 0.0 Back: 4.823
INFO - Atoms: 998/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 214280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.639 Prop: 67.509 PropClause: 58.182 Set: 57.921 Check: 0.0 Back: 4.845
INFO - Atoms: 760/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 215039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.642 Prop: 67.644 PropClause: 58.295 Set: 58.019 Check: 0.0 Back: 4.862
INFO - Atoms: 759/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 216438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.646 Prop: 67.938 PropClause: 58.546 Set: 58.246 Check: 0.0 Back: 4.879
INFO - Atoms: 1399/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 217804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.651 Prop: 68.29 PropClause: 58.857 Set: 58.468 Check: 0.0 Back: 4.912
INFO - Atoms: 1366/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 219339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.654 Prop: 68.672 PropClause: 59.192 Set: 58.725 Check: 0.0 Back: 4.942
INFO - Atoms: 1535/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 220856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.657 Prop: 69.054 PropClause: 59.525 Set: 58.968 Check: 0.0 Back: 4.977
INFO - Atoms: 1517/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 222876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.659 Prop: 69.55 PropClause: 59.96 Set: 59.325 Check: 0.0 Back: 5.011
INFO - Atoms: 2020/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 225299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.664 Prop: 70.207 PropClause: 60.544 Set: 59.756 Check: 0.0 Back: 5.057
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 226006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.67 Prop: 70.553 PropClause: 60.869 Set: 59.847 Check: 0.0 Back: 5.111
INFO - Atoms: 707/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 227115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.675 Prop: 70.771 PropClause: 61.054 Set: 60.01 Check: 0.0 Back: 5.127
INFO - Atoms: 1109/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 228219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.679 Prop: 71.039 PropClause: 61.285 Set: 60.174 Check: 0.0 Back: 5.152
INFO - Atoms: 1104/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 230416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.688 Prop: 71.548 PropClause: 61.727 Set: 60.579 Check: 0.0 Back: 5.176
INFO - Atoms: 2197/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 232463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.693 Prop: 72.157 PropClause: 62.274 Set: 60.946 Check: 0.0 Back: 5.225
INFO - Atoms: 2047/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 234589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.697 Prop: 72.751 PropClause: 62.804 Set: 61.321 Check: 0.0 Back: 5.271
INFO - Atoms: 2126/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 235864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.702 Prop: 73.171 PropClause: 63.182 Set: 61.519 Check: 0.0 Back: 5.318
INFO - Atoms: 1275/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 238287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.709 Prop: 73.749 PropClause: 63.687 Set: 61.957 Check: 0.0 Back: 5.347
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 239249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.715 Prop: 74.164 PropClause: 64.074 Set: 62.099 Check: 0.0 Back: 5.401
INFO - Atoms: 962/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 239960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.723 Prop: 74.33 PropClause: 64.218 Set: 62.194 Check: 0.0 Back: 5.422
INFO - Atoms: 711/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 241632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.728 Prop: 74.697 PropClause: 64.535 Set: 62.609 Check: 0.0 Back: 5.438
INFO - Atoms: 1672/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 243624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.733 Prop: 75.246 PropClause: 65.021 Set: 62.978 Check: 0.0 Back: 5.476
INFO - Atoms: 1992/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 246047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.737 Prop: 75.914 PropClause: 65.617 Set: 63.428 Check: 0.0 Back: 5.52
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 248470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.743 Prop: 76.626 PropClause: 66.256 Set: 63.87 Check: 0.0 Back: 5.574
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 249718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.747 Prop: 77.094 PropClause: 66.686 Set: 64.073 Check: 0.0 Back: 5.628
INFO - Atoms: 1248/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 250770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.75 Prop: 77.365 PropClause: 66.924 Set: 64.241 Check: 0.0 Back: 5.656
INFO - Atoms: 1052/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 251552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.755 Prop: 77.556 PropClause: 67.087 Set: 64.355 Check: 0.0 Back: 5.679
INFO - Atoms: 782/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 252635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.761 Prop: 77.775 PropClause: 67.273 Set: 64.528 Check: 0.0 Back: 5.697
INFO - Atoms: 1083/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 254074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.766 Prop: 78.122 PropClause: 67.577 Set: 64.781 Check: 0.0 Back: 5.721
INFO - Atoms: 1439/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 255538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.771 Prop: 78.511 PropClause: 67.922 Set: 65.026 Check: 0.0 Back: 5.753
INFO - Atoms: 1464/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 257224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.777 Prop: 78.977 PropClause: 68.337 Set: 65.326 Check: 0.0 Back: 5.786
INFO - Atoms: 1686/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 259255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.784 Prop: 79.537 PropClause: 68.833 Set: 65.694 Check: 0.0 Back: 5.823
INFO - Atoms: 2031/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 261618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.791 Prop: 80.216 PropClause: 69.441 Set: 66.126 Check: 0.0 Back: 5.868
INFO - Atoms: 2363/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 264041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.797 Prop: 80.916 PropClause: 70.069 Set: 66.574 Check: 0.0 Back: 5.921
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 264834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.805 Prop: 81.285 PropClause: 70.414 Set: 66.675 Check: 0.0 Back: 5.975
INFO - Atoms: 793/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 266027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.812 Prop: 81.525 PropClause: 70.619 Set: 66.857 Check: 0.0 Back: 5.993
INFO - Atoms: 1193/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 268034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.819 Prop: 82.032 PropClause: 71.06 Set: 67.237 Check: 0.0 Back: 6.019
INFO - Atoms: 2007/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 270357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.824 Prop: 82.73 PropClause: 71.687 Set: 67.661 Check: 0.0 Back: 6.064
INFO - Atoms: 2323/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 272780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.833 Prop: 83.506 PropClause: 72.39 Set: 78.319 Check: 0.0 Back: 6.116
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 275203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.84 Prop: 84.262 PropClause: 73.07 Set: 78.768 Check: 0.0 Back: 6.17
INFO - Atoms: 2423/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 275918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.845 Prop: 84.581 PropClause: 73.367 Set: 78.86 Check: 0.0 Back: 6.224
INFO - Atoms: 715/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 276625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.848 Prop: 84.708 PropClause: 73.473 Set: 78.949 Check: 0.0 Back: 6.24
INFO - Atoms: 707/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 277419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.852 Prop: 84.874 PropClause: 73.615 Set: 79.05 Check: 0.0 Back: 6.256
INFO - Atoms: 794/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 278373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.861 Prop: 85.129 PropClause: 73.841 Set: 79.205 Check: 0.0 Back: 6.274
INFO - Atoms: 954/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 280055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.866 Prop: 85.606 PropClause: 74.267 Set: 79.512 Check: 0.0 Back: 6.295
INFO - Atoms: 1682/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 281499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.871 Prop: 86.047 PropClause: 74.665 Set: 79.765 Check: 0.0 Back: 6.332
INFO - Atoms: 1444/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 282585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.877 Prop: 86.391 PropClause: 74.972 Set: 79.938 Check: 0.0 Back: 6.364
INFO - Atoms: 1086/2679 Clauses: 129 Axioms: 10597
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 270 Props: 5581 Tprops: 2975 Decides: 3036 RSplits: 0
INFO - Times: Expl: 55.861 Prop: 800.782 PropClause: 2.838 Set: 715.061 Check: 20.077 Back: 8.945
INFO - Atoms: 81/129 Clauses: 270 Axioms: 108
INFO - CCTimes: iE 32186 eq 4919185 cc 5492672 setRep 4663693
INFO - Merges: 9947, cc:9473
INFO - BVTimes: BB 24205262 BB_DPLL 566395052 Graph 14062301
INFO - BitBlastingClauses: 36837 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat