Discrepancies table
QBFEVAL'17 - Prenex non-CNF Track


FamilyStructureDomain# Problematic