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


Instance # Sat # Unsat Minority Solver
6qbf-5cnf-40var-320cl.1 7 1 Qbfl
6qbf-5cnf-40var-320cl.3 2 1 Qbfl
6qbf-5cnf-40var-320cl.4 3 1 Qbfl
6qbf-5cnf-40var-320cl.6 8 1 Qbfl
6qbf-5cnf-40var-320cl.8 7 1 Qbfl
Download table[csv, latex]