Discrepancies table
QBFEVAL'08 - non-prenex non-cnf track.


FamilyStructureDomain# Problematic
NuSMV_diam_bin Fixed Formal Verification 1