Discrepancies table
QBFEVAL'17 - Prenex CNF Track


FamilyStructureDomain# Problematic