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


Instance # Sat # Unsat Minority Solver
s499_d17_s 7 1 qsts
s499_d22_u 2 6 xb-bid-qsts, xb-qsts
s499_d24_u 2 6 xb-bid-qsts, xb-qsts
Download table[csv, latex]