Discrepancies tables for jmc_quant_squaring
QBFEVAL'18 - Prenex CNF Track


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