Discrepancies tables for NuSMV_diam
QBFEVAL'07 - Evaluation track on non-prenex non-cnf formulas.


Instance # Sat # Unsat Minority Solver
semaphore3_4 2 8 EBDDRES, squolem
semaphore4_4 2 7 EBDDRES, squolem
semaphore5_4 1 4 EBDDRES
semaphore_5 2 8 EBDDRES, squolem
Download table[csv, latex]