/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: 116687443
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.418 Prop: 3.419 PropClause: 3.179 Set: 1.915 Check: 0.0 Back: 0.0
INFO - Atoms: 665/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 2108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.454 Prop: 5.666 PropClause: 4.746 Set: 3.654 Check: 0.0 Back: 0.034
INFO - Atoms: 1443/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 3404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.477 Prop: 6.185 PropClause: 5.06 Set: 4.188 Check: 0.0 Back: 0.068
INFO - Atoms: 1296/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 4847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.503 Prop: 6.572 PropClause: 5.392 Set: 4.88 Check: 0.0 Back: 0.098
INFO - Atoms: 1443/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 6274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.527 Prop: 6.945 PropClause: 5.709 Set: 5.475 Check: 0.0 Back: 0.131
INFO - Atoms: 1427/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 7657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.551 Prop: 7.508 PropClause: 6.226 Set: 9.63 Check: 0.0 Back: 0.164
INFO - Atoms: 1383/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 9102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.591 Prop: 7.897 PropClause: 6.566 Set: 9.992 Check: 0.0 Back: 0.197
INFO - Atoms: 1445/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 10493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.613 Prop: 8.24 PropClause: 6.865 Set: 10.307 Check: 0.0 Back: 0.23
INFO - Atoms: 1391/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 11954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.634 Prop: 8.573 PropClause: 7.152 Set: 10.648 Check: 0.0 Back: 0.262
INFO - Atoms: 1461/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 13348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.656 Prop: 8.921 PropClause: 7.457 Set: 10.975 Check: 0.0 Back: 0.296
INFO - Atoms: 1394/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 14632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.695 Prop: 9.239 PropClause: 7.734 Set: 11.262 Check: 0.0 Back: 0.329
INFO - Atoms: 1284/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 16025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.722 Prop: 9.569 PropClause: 8.021 Set: 11.59 Check: 0.0 Back: 0.358
INFO - Atoms: 1393/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 17327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.743 Prop: 9.866 PropClause: 8.276 Set: 11.878 Check: 0.0 Back: 0.39
INFO - Atoms: 1302/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 18787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.771 Prop: 11.606 PropClause: 8.605 Set: 12.263 Check: 0.0 Back: 0.42
INFO - Atoms: 1460/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 20248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.796 Prop: 12.032 PropClause: 8.975 Set: 12.619 Check: 0.0 Back: 0.455
INFO - Atoms: 1461/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 21673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.822 Prop: 12.413 PropClause: 9.292 Set: 12.958 Check: 0.0 Back: 0.488
INFO - Atoms: 1425/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 23102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.847 Prop: 12.789 PropClause: 9.609 Set: 13.419 Check: 0.0 Back: 0.521
INFO - Atoms: 1429/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 24533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.873 Prop: 13.167 PropClause: 9.938 Set: 13.862 Check: 0.0 Back: 0.554
INFO - Atoms: 1431/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 25987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.899 Prop: 13.582 PropClause: 10.306 Set: 14.317 Check: 0.0 Back: 0.587
INFO - Atoms: 1454/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 27414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.92 Prop: 13.957 PropClause: 10.633 Set: 14.767 Check: 0.0 Back: 0.621
INFO - Atoms: 1427/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 28870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.948 Prop: 14.346 PropClause: 10.973 Set: 15.155 Check: 0.0 Back: 0.654
INFO - Atoms: 1456/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 30358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.985 Prop: 14.773 PropClause: 11.347 Set: 15.531 Check: 0.0 Back: 0.687
INFO - Atoms: 1488/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 31800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.015 Prop: 15.187 PropClause: 11.713 Set: 15.871 Check: 0.0 Back: 0.723
INFO - Atoms: 1442/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 33261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.051 Prop: 15.723 PropClause: 12.151 Set: 16.201 Check: 0.0 Back: 0.755
INFO - Atoms: 1461/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 34756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.079 Prop: 16.104 PropClause: 12.482 Set: 16.546 Check: 0.0 Back: 0.789
INFO - Atoms: 1495/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 36374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.098 Prop: 16.527 PropClause: 12.851 Set: 16.966 Check: 0.0 Back: 0.824
INFO - Atoms: 1618/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 38004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.125 Prop: 17.005 PropClause: 13.274 Set: 17.363 Check: 0.0 Back: 0.861
INFO - Atoms: 1630/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 39763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.153 Prop: 17.511 PropClause: 13.721 Set: 17.844 Check: 0.0 Back: 0.899
INFO - Atoms: 1759/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 41600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.178 Prop: 18.035 PropClause: 14.179 Set: 18.309 Check: 0.0 Back: 0.94
INFO - Atoms: 1837/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 43504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.2 Prop: 18.575 PropClause: 14.66 Set: 18.819 Check: 0.0 Back: 0.982
INFO - Atoms: 1904/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 45402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.215 Prop: 19.046 PropClause: 15.071 Set: 19.289 Check: 0.0 Back: 1.026
INFO - Atoms: 1898/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 47447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.235 Prop: 19.589 PropClause: 15.549 Set: 19.836 Check: 0.0 Back: 1.069
INFO - Atoms: 2045/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 48791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.269 Prop: 20.095 PropClause: 16.01 Set: 20.106 Check: 0.0 Back: 1.116
INFO - Atoms: 1344/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 50160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.286 Prop: 20.381 PropClause: 16.253 Set: 20.401 Check: 0.0 Back: 1.147
INFO - Atoms: 1369/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 51530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.301 Prop: 21.22 PropClause: 17.049 Set: 20.674 Check: 0.0 Back: 1.179
INFO - Atoms: 1370/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 53573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.323 Prop: 21.695 PropClause: 17.458 Set: 21.226 Check: 0.0 Back: 1.21
INFO - Atoms: 2043/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 55508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.343 Prop: 22.213 PropClause: 17.908 Set: 21.733 Check: 0.0 Back: 1.257
INFO - Atoms: 1935/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 57441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.361 Prop: 22.726 PropClause: 18.358 Set: 22.219 Check: 0.0 Back: 1.302
INFO - Atoms: 1933/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 58791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.378 Prop: 23.075 PropClause: 18.662 Set: 22.415 Check: 0.0 Back: 1.347
INFO - Atoms: 1350/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 60140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.389 Prop: 23.362 PropClause: 18.904 Set: 22.579 Check: 0.0 Back: 1.378
INFO - Atoms: 1349/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 61493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.403 Prop: 23.644 PropClause: 19.142 Set: 22.744 Check: 0.0 Back: 1.409
INFO - Atoms: 1353/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 63271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.428 Prop: 24.068 PropClause: 19.506 Set: 23.004 Check: 0.0 Back: 1.44
INFO - Atoms: 1778/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 64604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.453 Prop: 24.447 PropClause: 19.84 Set: 23.164 Check: 0.0 Back: 1.481
INFO - Atoms: 1333/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 66318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.485 Prop: 24.852 PropClause: 20.188 Set: 23.416 Check: 0.0 Back: 1.512
INFO - Atoms: 1714/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 67668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.507 Prop: 25.194 PropClause: 20.487 Set: 23.582 Check: 0.0 Back: 1.552
INFO - Atoms: 1350/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 68983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.528 Prop: 25.476 PropClause: 20.718 Set: 23.733 Check: 0.0 Back: 1.583
INFO - Atoms: 1315/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 70358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.65 Prop: 25.772 PropClause: 20.966 Set: 24.016 Check: 0.0 Back: 1.613
INFO - Atoms: 1375/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 71768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.657 Prop: 26.107 PropClause: 21.256 Set: 24.281 Check: 0.0 Back: 1.645
INFO - Atoms: 1410/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 73318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.667 Prop: 26.519 PropClause: 21.618 Set: 24.61 Check: 0.0 Back: 1.677
INFO - Atoms: 1550/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 74678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.674 Prop: 26.875 PropClause: 21.93 Set: 24.88 Check: 0.0 Back: 1.713
INFO - Atoms: 1360/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 76194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.683 Prop: 27.264 PropClause: 22.26 Set: 25.21 Check: 0.0 Back: 1.745
INFO - Atoms: 1516/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 77692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.69 Prop: 27.681 PropClause: 22.614 Set: 25.529 Check: 0.0 Back: 1.78
INFO - Atoms: 1498/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 78834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.698 Prop: 28.007 PropClause: 22.894 Set: 25.755 Check: 0.0 Back: 1.814
INFO - Atoms: 1142/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 79976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.706 Prop: 28.277 PropClause: 23.12 Set: 25.983 Check: 0.0 Back: 1.84
INFO - Atoms: 1142/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 81119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.714 Prop: 28.553 PropClause: 23.351 Set: 26.214 Check: 0.0 Back: 1.868
INFO - Atoms: 1143/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 82521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.729 Prop: 29.01 PropClause: 23.751 Set: 26.411 Check: 0.0 Back: 1.895
INFO - Atoms: 1402/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 83667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.734 Prop: 29.288 PropClause: 23.984 Set: 26.546 Check: 0.0 Back: 1.927
INFO - Atoms: 1146/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 85162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.74 Prop: 29.647 PropClause: 24.285 Set: 26.761 Check: 0.0 Back: 1.953
INFO - Atoms: 1495/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 86651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.745 Prop: 30.038 PropClause: 24.612 Set: 26.97 Check: 0.0 Back: 1.988
INFO - Atoms: 1489/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 87799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.75 Prop: 30.346 PropClause: 24.875 Set: 27.108 Check: 0.0 Back: 2.022
INFO - Atoms: 1148/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 89368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.759 Prop: 30.707 PropClause: 25.172 Set: 27.328 Check: 0.0 Back: 2.049
INFO - Atoms: 1569/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 90598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.763 Prop: 31.005 PropClause: 25.421 Set: 27.476 Check: 0.0 Back: 2.085
INFO - Atoms: 1230/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 91835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.769 Prop: 31.264 PropClause: 25.63 Set: 27.626 Check: 0.0 Back: 2.113
INFO - Atoms: 1237/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 93637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.775 Prop: 31.684 PropClause: 25.975 Set: 27.904 Check: 0.0 Back: 2.142
INFO - Atoms: 1802/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 95426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.787 Prop: 32.205 PropClause: 26.42 Set: 28.18 Check: 0.0 Back: 2.183
INFO - Atoms: 1789/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 97230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.8 Prop: 32.71 PropClause: 26.85 Set: 28.451 Check: 0.0 Back: 2.224
INFO - Atoms: 1804/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 99026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.81 Prop: 33.188 PropClause: 27.251 Set: 28.716 Check: 0.0 Back: 2.266
INFO - Atoms: 1796/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 100830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.822 Prop: 33.677 PropClause: 27.665 Set: 29.005 Check: 0.0 Back: 2.308
INFO - Atoms: 1804/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 102515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.833 Prop: 34.252 PropClause: 28.116 Set: 29.256 Check: 0.0 Back: 2.35
INFO - Atoms: 1685/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 103758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.842 Prop: 34.599 PropClause: 28.411 Set: 29.411 Check: 0.0 Back: 2.389
INFO - Atoms: 1243/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 105001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.847 Prop: 34.869 PropClause: 28.623 Set: 29.562 Check: 0.0 Back: 2.419
INFO - Atoms: 1243/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 106800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.888 Prop: 35.249 PropClause: 28.948 Set: 29.823 Check: 0.0 Back: 2.447
INFO - Atoms: 1799/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 108319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.921 Prop: 35.953 PropClause: 29.606 Set: 30.023 Check: 0.0 Back: 2.489
INFO - Atoms: 1519/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 109857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.927 Prop: 36.315 PropClause: 29.896 Set: 30.226 Check: 0.0 Back: 2.524
INFO - Atoms: 1538/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 111771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.945 Prop: 36.736 PropClause: 30.259 Set: 30.502 Check: 0.0 Back: 2.56
INFO - Atoms: 1914/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 113688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.95 Prop: 37.197 PropClause: 30.662 Set: 30.785 Check: 0.0 Back: 2.604
INFO - Atoms: 1917/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 115002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.953 Prop: 37.544 PropClause: 30.969 Set: 30.946 Check: 0.0 Back: 2.649
INFO - Atoms: 1314/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 116330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.222 Prop: 37.808 PropClause: 31.193 Set: 31.108 Check: 0.0 Back: 2.679
INFO - Atoms: 1328/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 117963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.237 Prop: 38.292 PropClause: 31.472 Set: 31.341 Check: 0.0 Back: 2.71
INFO - Atoms: 1633/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 119652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.24 Prop: 38.699 PropClause: 31.829 Set: 31.586 Check: 0.0 Back: 2.748
INFO - Atoms: 1689/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 121338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.243 Prop: 39.077 PropClause: 32.156 Set: 31.826 Check: 0.0 Back: 2.787
INFO - Atoms: 1686/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 122568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.246 Prop: 39.517 PropClause: 32.559 Set: 31.991 Check: 0.0 Back: 2.826
INFO - Atoms: 1230/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 123814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.249 Prop: 39.748 PropClause: 32.752 Set: 32.146 Check: 0.0 Back: 2.856
INFO - Atoms: 1246/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 125087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.253 Prop: 40.136 PropClause: 32.983 Set: 32.298 Check: 0.0 Back: 2.885
INFO - Atoms: 1273/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 126976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.257 Prop: 40.53 PropClause: 33.321 Set: 32.595 Check: 0.0 Back: 2.913
INFO - Atoms: 1889/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 129059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.262 Prop: 41.107 PropClause: 33.824 Set: 32.954 Check: 0.0 Back: 2.956
INFO - Atoms: 2083/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 131142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.268 Prop: 41.659 PropClause: 34.313 Set: 33.3 Check: 0.0 Back: 3.003
INFO - Atoms: 2083/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 132928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.273 Prop: 42.146 PropClause: 34.751 Set: 33.567 Check: 0.0 Back: 3.05
INFO - Atoms: 1786/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 134929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.283 Prop: 42.637 PropClause: 35.187 Set: 33.881 Check: 0.0 Back: 3.09
INFO - Atoms: 2001/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 136888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.287 Prop: 43.155 PropClause: 35.651 Set: 34.185 Check: 0.0 Back: 3.135
INFO - Atoms: 1959/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 138842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.292 Prop: 43.645 PropClause: 36.087 Set: 34.488 Check: 0.0 Back: 3.18
INFO - Atoms: 1954/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 140794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.296 Prop: 44.155 PropClause: 36.543 Set: 34.811 Check: 0.0 Back: 3.224
INFO - Atoms: 1952/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 142605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.302 Prop: 44.627 PropClause: 36.964 Set: 35.089 Check: 0.0 Back: 3.268
INFO - Atoms: 1811/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 143690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.307 Prop: 44.932 PropClause: 37.239 Set: 35.214 Check: 0.0 Back: 3.309
INFO - Atoms: 1085/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 145466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.321 Prop: 45.334 PropClause: 37.585 Set: 36.926 Check: 0.0 Back: 3.334
INFO - Atoms: 1776/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 146830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.349 Prop: 45.683 PropClause: 37.896 Set: 37.226 Check: 0.0 Back: 3.374
INFO - Atoms: 1364/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 148335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.36 Prop: 45.983 PropClause: 38.153 Set: 37.637 Check: 0.0 Back: 3.405
INFO - Atoms: 1505/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 150317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.366 Prop: 46.43 PropClause: 38.545 Set: 38.212 Check: 0.0 Back: 3.439
INFO - Atoms: 1982/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 152026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.368 Prop: 46.853 PropClause: 38.92 Set: 38.652 Check: 0.0 Back: 3.484
INFO - Atoms: 1709/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 154122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.372 Prop: 47.344 PropClause: 39.353 Set: 39.261 Check: 0.0 Back: 3.524
INFO - Atoms: 2096/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 155958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.374 Prop: 47.814 PropClause: 39.771 Set: 39.755 Check: 0.0 Back: 3.571
INFO - Atoms: 1836/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 158233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.377 Prop: 48.363 PropClause: 40.257 Set: 40.419 Check: 0.0 Back: 3.613
INFO - Atoms: 2275/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 160617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.39 Prop: 48.971 PropClause: 40.799 Set: 40.846 Check: 0.0 Back: 3.665
INFO - Atoms: 2384/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 163060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.444 Prop: 49.59 PropClause: 41.352 Set: 41.253 Check: 0.0 Back: 3.72
INFO - Atoms: 2443/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 164504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.447 Prop: 49.985 PropClause: 41.709 Set: 41.54 Check: 0.0 Back: 3.776
INFO - Atoms: 1444/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 166248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.463 Prop: 50.364 PropClause: 42.039 Set: 41.915 Check: 0.0 Back: 3.809
INFO - Atoms: 1744/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 168562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.469 Prop: 50.885 PropClause: 42.498 Set: 42.299 Check: 0.0 Back: 3.847
INFO - Atoms: 2314/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 171036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.472 Prop: 51.577 PropClause: 43.122 Set: 42.888 Check: 0.0 Back: 3.9
INFO - Atoms: 2474/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 173542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.477 Prop: 52.262 PropClause: 43.739 Set: 43.475 Check: 0.0 Back: 3.956
INFO - Atoms: 2506/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 176086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.482 Prop: 52.981 PropClause: 44.39 Set: 44.08 Check: 0.0 Back: 4.013
INFO - Atoms: 2544/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 178675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.485 Prop: 53.688 PropClause: 45.027 Set: 44.704 Check: 0.0 Back: 4.072
INFO - Atoms: 2589/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 179867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.489 Prop: 54.112 PropClause: 45.418 Set: 44.94 Check: 0.0 Back: 4.13
INFO - Atoms: 1192/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 181349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.492 Prop: 54.415 PropClause: 45.681 Set: 45.268 Check: 0.0 Back: 4.157
INFO - Atoms: 1482/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 183433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.513 Prop: 54.916 PropClause: 46.125 Set: 45.739 Check: 0.0 Back: 4.19
INFO - Atoms: 2084/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 185186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.534 Prop: 55.394 PropClause: 46.556 Set: 46.114 Check: 0.0 Back: 4.237
INFO - Atoms: 1753/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 187253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.536 Prop: 55.917 PropClause: 47.023 Set: 46.588 Check: 0.0 Back: 4.277
INFO - Atoms: 2067/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 188903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.539 Prop: 56.363 PropClause: 47.423 Set: 46.941 Check: 0.0 Back: 4.324
INFO - Atoms: 1650/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 190929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.544 Prop: 56.864 PropClause: 47.87 Set: 47.4 Check: 0.0 Back: 4.361
INFO - Atoms: 2026/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 193547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.547 Prop: 57.546 PropClause: 48.48 Set: 48.018 Check: 0.0 Back: 4.406
INFO - Atoms: 2618/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 196219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.549 Prop: 58.336 PropClause: 49.198 Set: 48.633 Check: 0.0 Back: 4.466
INFO - Atoms: 2672/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 199112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 59.165 PropClause: 49.948 Set: 49.35 Check: 0.0 Back: 4.527
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 200306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.559 Prop: 59.642 PropClause: 50.392 Set: 49.578 Check: 0.0 Back: 4.593
INFO - Atoms: 1194/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 202112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.563 Prop: 60.054 PropClause: 50.755 Set: 49.991 Check: 0.0 Back: 4.62
INFO - Atoms: 1806/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 203868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.568 Prop: 60.527 PropClause: 51.181 Set: 50.384 Check: 0.0 Back: 4.661
INFO - Atoms: 1756/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 205661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.573 Prop: 60.994 PropClause: 51.599 Set: 50.774 Check: 0.0 Back: 4.7
INFO - Atoms: 1793/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 207543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.581 Prop: 61.488 PropClause: 52.043 Set: 51.188 Check: 0.0 Back: 4.741
INFO - Atoms: 1882/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 209132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.586 Prop: 61.935 PropClause: 52.446 Set: 51.54 Check: 0.0 Back: 4.783
INFO - Atoms: 1589/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 210784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.593 Prop: 62.38 PropClause: 52.846 Set: 51.92 Check: 0.0 Back: 4.819
INFO - Atoms: 1652/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 212468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.599 Prop: 62.823 PropClause: 53.243 Set: 52.284 Check: 0.0 Back: 4.856
INFO - Atoms: 1684/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 214087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.604 Prop: 63.235 PropClause: 53.61 Set: 52.641 Check: 0.0 Back: 4.894
INFO - Atoms: 1619/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 215874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.609 Prop: 63.804 PropClause: 54.13 Set: 52.933 Check: 0.0 Back: 4.931
INFO - Atoms: 1787/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 217475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.611 Prop: 64.242 PropClause: 54.525 Set: 53.187 Check: 0.0 Back: 4.972
INFO - Atoms: 1601/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 219076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.614 Prop: 64.613 PropClause: 54.851 Set: 53.425 Check: 0.0 Back: 5.008
INFO - Atoms: 1601/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 220680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.617 Prop: 64.997 PropClause: 55.192 Set: 53.656 Check: 0.0 Back: 5.045
INFO - Atoms: 1604/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 222204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.62 Prop: 65.349 PropClause: 55.503 Set: 53.866 Check: 0.0 Back: 5.082
INFO - Atoms: 1524/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 223666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.622 Prop: 65.682 PropClause: 55.795 Set: 54.079 Check: 0.0 Back: 5.116
INFO - Atoms: 1462/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 225270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.625 Prop: 66.043 PropClause: 56.112 Set: 54.316 Check: 0.0 Back: 5.15
INFO - Atoms: 1604/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 227204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.627 Prop: 66.534 PropClause: 56.55 Set: 54.631 Check: 0.0 Back: 5.186
INFO - Atoms: 1934/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 230097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.63 Prop: 67.289 PropClause: 57.217 Set: 55.136 Check: 0.0 Back: 5.23
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 231250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.632 Prop: 67.73 PropClause: 57.626 Set: 55.275 Check: 0.0 Back: 5.296
INFO - Atoms: 1153/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 233083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.634 Prop: 68.105 PropClause: 57.951 Set: 55.579 Check: 0.0 Back: 5.322
INFO - Atoms: 1833/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 234923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.636 Prop: 68.562 PropClause: 58.359 Set: 55.874 Check: 0.0 Back: 5.363
INFO - Atoms: 1840/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 236618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.665 Prop: 68.984 PropClause: 58.734 Set: 56.126 Check: 0.0 Back: 5.405
INFO - Atoms: 1695/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 238509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.674 Prop: 69.444 PropClause: 59.142 Set: 56.418 Check: 0.0 Back: 5.443
INFO - Atoms: 1891/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 240760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.678 Prop: 69.99 PropClause: 59.627 Set: 56.785 Check: 0.0 Back: 5.485
INFO - Atoms: 2251/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 243339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.679 Prop: 70.669 PropClause: 60.236 Set: 57.219 Check: 0.0 Back: 5.536
INFO - Atoms: 2579/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 246232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.683 Prop: 71.436 PropClause: 60.924 Set: 57.711 Check: 0.0 Back: 5.594
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 247902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.688 Prop: 72.004 PropClause: 61.446 Set: 57.966 Check: 0.0 Back: 5.66
INFO - Atoms: 1670/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 249898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.689 Prop: 72.483 PropClause: 61.87 Set: 58.291 Check: 0.0 Back: 5.698
INFO - Atoms: 1996/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 252459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.691 Prop: 73.112 PropClause: 62.429 Set: 58.731 Check: 0.0 Back: 5.743
INFO - Atoms: 2561/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 255352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.695 Prop: 73.873 PropClause: 63.112 Set: 59.242 Check: 0.0 Back: 5.8
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 257224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.697 Prop: 74.468 PropClause: 63.655 Set: 59.543 Check: 0.0 Back: 5.866
INFO - Atoms: 1872/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 259227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.7 Prop: 74.972 PropClause: 64.104 Set: 59.871 Check: 0.0 Back: 5.909
INFO - Atoms: 2003/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 262118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.704 Prop: 75.697 PropClause: 64.75 Set: 60.375 Check: 0.0 Back: 5.954
INFO - Atoms: 2891/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 264229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.709 Prop: 76.336 PropClause: 65.331 Set: 60.718 Check: 0.0 Back: 6.021
INFO - Atoms: 2111/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 265771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.714 Prop: 76.791 PropClause: 65.743 Set: 60.946 Check: 0.0 Back: 6.068
INFO - Atoms: 1542/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 267216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.718 Prop: 77.122 PropClause: 66.034 Set: 61.158 Check: 0.0 Back: 6.104
INFO - Atoms: 1445/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 268662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 77.456 PropClause: 66.329 Set: 61.365 Check: 0.0 Back: 6.136
INFO - Atoms: 1446/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 270107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.725 Prop: 77.791 PropClause: 66.624 Set: 61.573 Check: 0.0 Back: 6.169
INFO - Atoms: 1445/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 271652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.728 Prop: 78.149 PropClause: 66.939 Set: 61.813 Check: 0.0 Back: 6.202
INFO - Atoms: 1545/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 272891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.734 Prop: 78.444 PropClause: 67.2 Set: 61.972 Check: 0.0 Back: 6.237
INFO - Atoms: 1239/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 274788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.738 Prop: 78.866 PropClause: 67.571 Set: 62.281 Check: 0.0 Back: 6.265
INFO - Atoms: 1897/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 277679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.743 Prop: 79.595 PropClause: 68.222 Set: 62.789 Check: 0.0 Back: 6.307
INFO - Atoms: 2891/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 279126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.745 Prop: 80.111 PropClause: 68.697 Set: 62.992 Check: 0.0 Back: 6.373
INFO - Atoms: 1447/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 281231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.749 Prop: 80.579 PropClause: 69.108 Set: 63.343 Check: 0.0 Back: 6.406
INFO - Atoms: 2105/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 283471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.754 Prop: 81.171 PropClause: 69.638 Set: 63.717 Check: 0.0 Back: 6.453
INFO - Atoms: 2240/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 285112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.758 Prop: 81.645 PropClause: 70.067 Set: 63.976 Check: 0.0 Back: 6.504
INFO - Atoms: 1641/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 287068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.761 Prop: 82.117 PropClause: 70.485 Set: 64.301 Check: 0.0 Back: 6.541
INFO - Atoms: 1956/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 289268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.766 Prop: 82.674 PropClause: 70.982 Set: 64.672 Check: 0.0 Back: 6.585
INFO - Atoms: 2200/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 291489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.769 Prop: 83.268 PropClause: 71.516 Set: 65.04 Check: 0.0 Back: 6.637
INFO - Atoms: 2221/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 294380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.773 Prop: 84.008 PropClause: 72.177 Set: 65.548 Check: 0.0 Back: 6.687
INFO - Atoms: 2891/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 296323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.779 Prop: 84.639 PropClause: 72.755 Set: 65.884 Check: 0.0 Back: 6.753
INFO - Atoms: 1943/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 298237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.782 Prop: 85.121 PropClause: 73.185 Set: 66.193 Check: 0.0 Back: 6.797
INFO - Atoms: 1914/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 301120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.786 Prop: 85.855 PropClause: 73.839 Set: 66.705 Check: 0.0 Back: 6.84
INFO - Atoms: 2883/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 302726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.789 Prop: 86.399 PropClause: 74.34 Set: 66.943 Check: 0.0 Back: 6.906
INFO - Atoms: 1606/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 305317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.793 Prop: 87.028 PropClause: 74.897 Set: 67.387 Check: 0.0 Back: 6.942
INFO - Atoms: 2591/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 307957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.795 Prop: 87.741 PropClause: 75.54 Set: 67.837 Check: 0.0 Back: 7.0
INFO - Atoms: 2640/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 310850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.798 Prop: 88.556 PropClause: 76.276 Set: 68.346 Check: 0.0 Back: 7.063
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 312956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.8 Prop: 89.211 PropClause: 76.873 Set: 68.69 Check: 0.0 Back: 7.128
INFO - Atoms: 2106/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 314902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.803 Prop: 89.743 PropClause: 77.352 Set: 69.012 Check: 0.0 Back: 7.175
INFO - Atoms: 1946/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 316833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.805 Prop: 90.234 PropClause: 77.79 Set: 69.33 Check: 0.0 Back: 7.219
INFO - Atoms: 1931/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 318867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.809 Prop: 90.868 PropClause: 78.369 Set: 69.664 Check: 0.0 Back: 7.264
INFO - Atoms: 2034/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 321087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.813 Prop: 91.463 PropClause: 78.903 Set: 70.078 Check: 0.0 Back: 7.311
INFO - Atoms: 2220/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 323456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.815 Prop: 92.131 PropClause: 79.506 Set: 70.53 Check: 0.0 Back: 7.361
INFO - Atoms: 2369/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 325653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.817 Prop: 92.732 PropClause: 80.047 Set: 70.902 Check: 0.0 Back: 7.415
INFO - Atoms: 2197/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 327775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.819 Prop: 93.32 PropClause: 80.578 Set: 71.257 Check: 0.0 Back: 7.464
INFO - Atoms: 2122/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 329718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.822 Prop: 93.839 PropClause: 81.043 Set: 71.57 Check: 0.0 Back: 7.512
INFO - Atoms: 1943/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 331973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.824 Prop: 94.42 PropClause: 81.563 Set: 71.949 Check: 0.0 Back: 7.556
INFO - Atoms: 2255/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 333078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.826 Prop: 94.783 PropClause: 81.887 Set: 72.084 Check: 0.0 Back: 7.608
INFO - Atoms: 1105/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 335971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.829 Prop: 95.439 PropClause: 82.458 Set: 72.61 Check: 0.0 Back: 7.633
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 338404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.832 Prop: 96.146 PropClause: 83.099 Set: 73.033 Check: 0.0 Back: 7.699
INFO - Atoms: 2433/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 340670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.834 Prop: 96.797 PropClause: 83.687 Set: 73.424 Check: 0.0 Back: 7.755
INFO - Atoms: 2266/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 343563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.839 Prop: 97.573 PropClause: 84.385 Set: 73.943 Check: 0.0 Back: 7.805
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 346106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 98.343 PropClause: 85.084 Set: 74.382 Check: 0.0 Back: 7.872
INFO - Atoms: 2543/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 348781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.845 Prop: 99.075 PropClause: 85.744 Set: 74.848 Check: 0.0 Back: 7.929
INFO - Atoms: 2675/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 351674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.849 Prop: 99.875 PropClause: 86.465 Set: 75.362 Check: 0.0 Back: 7.99
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 354412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.852 Prop: 100.658 PropClause: 87.174 Set: 75.853 Check: 0.0 Back: 8.056
INFO - Atoms: 2738/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 357041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.855 Prop: 101.42 PropClause: 87.864 Set: 76.315 Check: 0.0 Back: 8.117
INFO - Atoms: 2629/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 359322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.861 Prop: 102.075 PropClause: 88.457 Set: 76.695 Check: 0.0 Back: 8.177
INFO - Atoms: 2281/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 361869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.864 Prop: 102.773 PropClause: 89.086 Set: 77.146 Check: 0.0 Back: 8.228
INFO - Atoms: 2547/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 364572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.867 Prop: 103.51 PropClause: 89.749 Set: 77.63 Check: 0.0 Back: 8.286
INFO - Atoms: 2703/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 367408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.977 Prop: 104.338 PropClause: 90.499 Set: 78.14 Check: 0.0 Back: 8.347
INFO - Atoms: 2836/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 370301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.98 Prop: 105.145 PropClause: 91.227 Set: 78.673 Check: 0.0 Back: 8.411
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 373194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.985 Prop: 105.972 PropClause: 91.975 Set: 79.198 Check: 0.0 Back: 8.476
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 375234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.991 Prop: 106.656 PropClause: 92.603 Set: 79.539 Check: 0.0 Back: 8.542
INFO - Atoms: 2040/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 378127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.0 Prop: 107.42 PropClause: 93.288 Set: 80.037 Check: 0.0 Back: 8.588
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 380197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.005 Prop: 108.078 PropClause: 93.89 Set: 80.376 Check: 0.0 Back: 8.655
INFO - Atoms: 2070/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 382111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.011 Prop: 108.628 PropClause: 94.387 Set: 80.683 Check: 0.0 Back: 8.702
INFO - Atoms: 1914/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 384025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.018 Prop: 109.143 PropClause: 94.85 Set: 80.991 Check: 0.0 Back: 8.756
INFO - Atoms: 1914/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 385940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.021 Prop: 109.636 PropClause: 95.291 Set: 81.292 Check: 0.0 Back: 8.801
INFO - Atoms: 1915/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 388828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.027 Prop: 110.329 PropClause: 95.905 Set: 81.784 Check: 0.0 Back: 8.844
INFO - Atoms: 2888/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 390786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.029 Prop: 110.952 PropClause: 96.475 Set: 82.103 Check: 0.0 Back: 8.91
INFO - Atoms: 1958/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 392971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.034 Prop: 111.498 PropClause: 96.962 Set: 82.464 Check: 0.0 Back: 8.954
INFO - Atoms: 2185/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 395864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.04 Prop: 112.245 PropClause: 97.629 Set: 82.956 Check: 0.0 Back: 9.003
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 397905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.045 Prop: 112.876 PropClause: 98.205 Set: 83.269 Check: 0.0 Back: 9.069
INFO - Atoms: 2041/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 399948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.049 Prop: 113.41 PropClause: 98.684 Set: 83.594 Check: 0.0 Back: 9.116
INFO - Atoms: 2043/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 401992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.074 Prop: 113.941 PropClause: 99.158 Set: 83.925 Check: 0.0 Back: 9.162
INFO - Atoms: 2044/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 404114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.078 Prop: 114.496 PropClause: 99.655 Set: 84.261 Check: 0.0 Back: 9.208
INFO - Atoms: 2122/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 406378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.082 Prop: 115.06 PropClause: 100.158 Set: 84.619 Check: 0.0 Back: 9.256
INFO - Atoms: 2264/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 409271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.086 Prop: 115.814 PropClause: 100.83 Set: 85.124 Check: 0.0 Back: 9.307
INFO - Atoms: 2893/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 411657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.091 Prop: 116.509 PropClause: 101.459 Set: 85.513 Check: 0.0 Back: 9.373
INFO - Atoms: 2386/3151 Clauses: 129 Axioms: 13045
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 293 Props: 6927 Tprops: 3430 Decides: 3200 RSplits: 0
INFO - Times: Expl: 65.803 Prop: 59831.37 PropClause: 3.537 Set: 761.415 Check: 35.622 Back: 22.029
INFO - Atoms: 100/129 Clauses: 293 Axioms: 108
INFO - CCTimes: iE 41632 eq 6854581 cc 6166596 setRep 7577235
INFO - Merges: 12243, cc:12445
INFO - BVTimes: BB 116676412 BB_DPLL 757999556 Graph 16195527
INFO - BitBlastingClauses: 41333 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat