Discrepancies table
QBFEVAL'06


FamilyStructureDomain# Problematic
CounterFactual Probabilistic NestedCounterFactual 10
k_branch_n Fixed Miscellanea 2
k_d4_n Fixed Miscellanea 6
k_dum_n Fixed Miscellanea 5
k_grz_n Fixed Miscellanea 5
k_lin_n Fixed Miscellanea 6
k_path_n Fixed Miscellanea 5
k_ph_n Fixed Miscellanea 3
k_poly_n Fixed Miscellanea 6
k_t4p_n Fixed Miscellanea 6
mA-t2-4qbf-5cnf-20var-160cl Probabilistic Model A 1
mA-t2-6qbf-5cnf-20var-160cl Probabilistic Model A 4
mA-t2-6qbf-5cnf-40var-320cl Probabilistic Model A 5
s298 Fixed Formal Verification 2
s386 Fixed Formal Verification 1
s499 Fixed Formal Verification 2
s510 Fixed Formal Verification 1
s713 Fixed Formal Verification 1
s820 Fixed Formal Verification 1
Sorting_networks Fixed Miscellanea 11
Strategic_Companies Probabilistic Planning 157
tipfixpoint Fixed Formal Verification 4