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


Instance # Sat # Unsat Minority Solver
c4_BMC_p1_k32 7 1 qsts
Download table[csv, latex]