Discrepancies tables for mA-t2-4qbf-5cnf-100var-400cl
QBFEVAL'04


Instance # Sat # Unsat Minority Solver
4qbf-5cnf-100var-400cl.1 3 2 QUBE-BJ, QUBE-LRN
4qbf-5cnf-100var-400cl.2 3 2 QUBE-BJ, QUBE-LRN
Download table[csv, latex]