Discrepancies tables for jmc_quant_squaring
QBFEVAL'10 - Small Hard Track.


Instance # Sat # Unsat Minority Solver
test4_quant_squaring2 3 1 AIGSolve
Download table[csv, latex]