Discrepancies table
QBFEVAL'18 - Prenex CNF Track


FamilyStructureDomain# Problematic
Adder Fixed Formal Verification 2
blackbox-01X-QBF Fixed Formal Verification 14
genbuf Fixed Miscellanea 2
Generalized-Tic-Tac-Toe Fixed Planning 5
HardwareFixpoint Fixed Formal Verification 5
jmc_quant_squaring Fixed Formal Verification 1
mqm Fixed Miscellanea 6
QBF-Hardness Fixed Miscellanea 7
Reduction-finding Fixed Miscellanea 1
Sorting_networks Fixed Miscellanea 5