Discrepancies tables for s298
QBFEVAL'16 - Prenex CNF Track.


Instance # Sat # Unsat Minority Solver
s298_d2_s 23 1 qsts
Download table[csv, latex]