Discrepancies tables for ToiletC
QBFEVAL'05


Instance # Sat # Unsat Minority Solver
toilet_c_08_01.2 2 11 skizzo_v0.4, skizzo_v0.5
toilet_c_10_01.2 2 11 skizzo_v0.4, skizzo_v0.5
Download table[csv, latex]