| Instance |
# Sat |
# Unsat |
Minority Solver |
| 2qbf-5cnf-100var-200cl.2 |
9 |
1 |
QUBE-BJ |
| 2qbf-5cnf-150var-300cl.1 |
10 |
1 |
QUBE-BJ |
| 2qbf-5cnf-150var-300cl.2 |
7 |
1 |
QUBE-BJ |
| 2qbf-5cnf-50var-200cl.1 |
1 |
2 |
sSolve |
| 3qbf-5cnf-100var-800cl.1 |
3 |
1 |
QUBE-BJ |
| 3qbf-5cnf-150var-1200cl.1 |
3 |
1 |
QUBE-BJ |
| 3qbf-5cnf-150var-1200cl.2 |
3 |
2 |
QUBE-BJ, QUBE-LRN |
| 3qbf-5cnf-50var-400cl.1 |
7 |
1 |
QUBE-BJ |
| 3qbf-5cnf-50var-500cl.2 |
4 |
2 |
QUBE-BJ, QUBE-LRN |
| 4qbf-5cnf-100var-400cl.1 |
3 |
2 |
QUBE-BJ, QUBE-LRN |
| 4qbf-5cnf-100var-400cl.2 |
3 |
2 |
QUBE-BJ, QUBE-LRN |
| 4qbf-5cnf-150var-600cl.1 |
3 |
2 |
QUBE-BJ, QUBE-LRN |
| 4qbf-5cnf-150var-600cl.2 |
3 |
2 |
QUBE-BJ, QUBE-LRN |
| 4qbf-5cnf-150var-900cl.1 |
1 |
2 |
sSolve |
| 4qbf-5cnf-50var-300cl.1 |
1 |
2 |
sSolve |
| 4qbf-5cnf-50var-300cl.2 |
4 |
1 |
QUBE-BJ |
| 5qbf-5cnf-100var-1000cl.1 |
2 |
2 |
QBFL-BS, QBFL-JW, QUBE-BJ, QUBE-LRN |
| 5qbf-5cnf-100var-800cl.2 |
3 |
2 |
QUBE-BJ, QUBE-LRN |
| 5qbf-5cnf-150var-1500cl.1 |
2 |
2 |
QBFL-BS, QBFL-JW, QUBE-BJ, QUBE-LRN |
| 5qbf-5cnf-150var-1500cl.2 |
2 |
2 |
QBFL-BS, QBFL-JW, QUBE-BJ, QUBE-LRN |
| 5qbf-5cnf-50var-500cl.1 |
3 |
1 |
QUBE-BJ |
| 5qbf-5cnf-50var-500cl.2 |
8 |
1 |
QUBE-BJ |
| 5qbf-5cnf-50var-600cl.1 |
1 |
1 |
QUBE-BJ, QUBE-LRN |
| cf_2_3x2_r_ |
12 |
3 |
QBFL-BS, QBFL-JW, QMRes |
| cf_2_4x8_r_ |
10 |
3 |
QBFL-BS, QBFL-JW, WalkQSAT |
| cf_2_5x4_r_ |
10 |
3 |
QBFL-BS, QBFL-JW, WalkQSAT |
| cf_2_8x3_r_ |
11 |
2 |
QBFL-BS, QBFL-JW |
| cf_2_8x5_r_ |
8 |
2 |
QBFL-BS, QBFL-JW |
| k_ph_n-21 |
1 |
1 |
QSAT, QUBE-LRN |
| lognBWLARGEA0 |
3 |
8 |
QMRes, semprop, yQuaffle |
| lognBWLARGEB0 |
3 |
8 |
QMRes, semprop, yQuaffle |
| MB3qbf-5cnf-150var-300cl.2 |
13 |
1 |
QBFL-BS |
| s27_d2_s |
14 |
2 |
CLearn, GRL |
qbflib.org