Discrepancies tables for mA-t2-6qbf-5cnf-20var-160cl
QBFEVAL'05


Instance # Sat # Unsat Minority Solver
6qbf-5cnf-20var-160cl.0 6 1 QbflHR
6qbf-5cnf-20var-160cl.1 7 1 QbflHR
6qbf-5cnf-20var-160cl.4 7 1 QbflHR
6qbf-5cnf-20var-160cl.5 8 1 QbflHR
6qbf-5cnf-20var-160cl.6 7 1 QbflHR
Download table[csv, latex]