Discrepancies table
QBFEVAL'07


FamilyStructureDomain# Problematic
blackbox-01X-QBF Fixed Formal Verification 104
BMC Fixed Formal Verification 15
Debug Fixed Formal Verification 2
tipfixpoint Fixed Formal Verification 31