Discrepancies tables for tipfixpoint
QBFEVAL'16 - Prenex CNF Track.


Instance # Sat # Unsat Minority Solver
ken.flash^10.C-f2 1 22 squeezebf+struqs
ken.flash^10.C-f3 1 22 squeezebf+struqs
texas.PI_main^16.E-f2 20 1 qsts
Download table[csv, latex]