Discrepancies tables for mA-t2-6qbf-5cnf-40var-320cl
QBFEVAL'05


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
Download table[csv, latex]