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


Instance # Sat # Unsat Minority Solver
s499_d12_s 14 1 qsts
s499_d15_s 10 1 qsts
s499_d17_s 10 1 qsts
s499_d18_s 10 1 qsts
s499_d19_s 9 1 qsts
s499_d7_s 14 1 qsts
s499_d9_s 14 1 qsts
Download table[csv, latex]