Discrepancies table
QBFEVAL'16 - Prenex CNF Track.


FamilyStructureDomain# Problematic
Adder Fixed Formal Verification 2
blackbox-01X-QBF Fixed Formal Verification 1
Blocks Fixed Planning 3
BMC Fixed Formal Verification 5
C432 Fixed Formal Verification 2
C499 Fixed Formal Verification 3
C5315 Fixed Formal Verification 1
C880 Fixed Formal Verification 4
Chain Fixed Miscellanea 10
conformant_planning Fixed Planning 1
Connect4 Fixed Planning 6
DFlipFlop Fixed Formal Verification 1
dungeon Fixed Planning 1
fpu Fixed Formal Verification 10
Generalized-Tic-Tac-Toe Fixed Planning 5
incrementer-encoder Fixed Formal Verification 6
LinearBitvectorRankingFunction Fixed Formal Verification 1
Logn Fixed Planning 2
s1196 Fixed Formal Verification 5
s298 Fixed Formal Verification 1
s3330 Fixed Formal Verification 2
s499 Fixed Formal Verification 7
s510 Fixed Formal Verification 1
s641 Fixed Formal Verification 5
s713 Fixed Formal Verification 5
Sorting_networks Fixed Miscellanea 2
term1 Fixed Formal Verification 2
tipdiam Fixed Formal Verification 2
tipfixpoint Fixed Formal Verification 3
trafficlight-controller Fixed Formal Verification 6
VonNeumann Fixed Formal Verification 10