Discrepancies tables for Reduction-finding
QBFEVAL'18 - Prenex CNF Track


Instance # Sat # Unsat Minority Solver
query03_query25_1344 2 10 Qute_opt500, Qute_random
Download table[csv, latex]