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


Instance # Sat # Unsat Minority Solver
s713_d2_s 21 1 qsts
s713_d3_s 19 1 qsts
s713_d4_s 17 1 qsts
s713_d5_s 16 1 qsts
s713_d6_s 16 1 qsts
Download table[csv, latex]