Discrepancies table
QBFEVAL'19 - Prenex CNF Track


FamilyStructureDomain# Problematic