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


Instance # Sat # Unsat Minority Solver
dme1_2 7 1 qsts
dme1_3 7 1 qsts
dme1_4 7 1 qsts
dme1_5 7 1 qsts
dme1_6 7 1 qsts
dme1_7 7 1 qsts
dme1_8 7 1 qsts
dmeSmall_2 7 1 qsts
dmeSmall_4 7 1 qsts
dmeSmall_8 7 1 qsts
dmeSmall_9 7 1 qsts
Download table[csv, latex]