Discrepancies table
QBFEVAL'16 - 2QBF Track.


FamilyStructureDomain# Problematic
irqlkeapclte Fixed Formal Verification 2
Reduction-finding Fixed Miscellanea 4
terminator Fixed Formal Verification 8
wmiforward Fixed Formal Verification 2