Discrepancies table
DQBF Solvers Track


FamilyStructureDomain# Problematic