Instance | # Sat | # Unsat | Minority Solver |
---|---|---|---|
6qbf-5cnf-40var-320cl.1 | 2 | 1 | QbflHR |
6qbf-5cnf-40var-320cl.4 | 1 | 1 | QbflHR, sSolve |
6qbf-5cnf-40var-320cl.5 | 2 | 1 | QbflHR |
6qbf-5cnf-40var-320cl.6 | 3 | 1 | QbflHR |
6qbf-5cnf-40var-320cl.7 | 1 | 1 | QbflHR, sSolve |
6qbf-5cnf-40var-320cl.8 | 2 | 1 | QbflHR |
6qbf-5cnf-40var-320cl.9 | 1 | 1 | QbflHR, sSolve |