Discrepancies tables for genbuf
QBFEVAL'18 - Prenex CNF Track


Instance # Sat # Unsat Minority Solver
genbuf10b4n.unsat 3 6 Qute_default, Qute_opt500, Qute_random
genbuf9b4n.unsat 2 5 Qute_opt500, Qute_random
Download table[csv, latex]