Discrepancies table
QBFEVAL'10 - Competitive Track.


FamilyStructureDomain# Problematic
Abduction Fixed Miscellanea 1
jmc_quant Fixed Formal Verification 1
s386 Fixed Formal Verification 1