| Instance |
# Sat |
# Unsat |
Minority Solver |
| assertion11_0_1 |
2 |
5 |
xb-bid-qsts, xb-qsts |
| assertion12_0_1 |
2 |
5 |
xb-bid-qsts, xb-qsts |
| assertion2_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| assertion5_0_1 |
2 |
5 |
xb-bid-qsts, xb-qsts |
| assertion6_0_1 |
2 |
3 |
xb-bid-qsts, xb-qsts |
| assertion7_0_1 |
2 |
3 |
xb-bid-qsts, xb-qsts |
| possibility10_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| possibility11_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| possibility3_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| possibility5_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
| possibility6_0_1 |
2 |
2 |
ghostq-cegar, ghostq-plain, xb-bid-qsts, xb-qsts |
qbflib.org