Discrepancies tables
QBFEVAL'07 - Evaluation of Suite Audemard as hors concours formulas.


Instance # Sat # Unsat Minority Solver
aim-50-2_0-yes1-1-90 1 15 EBDDRES
par8-2-c-00 2 13 aigqbf_s, aigqbf_sr
par8-2-c-50 2 13 aigqbf_s, aigqbf_sr
par8-2-c-90 2 14 aigqbf_s, aigqbf_sr
par8-3-c-50 2 13 aigqbf_s, aigqbf_sr
par8-3-c-90 2 14 aigqbf_s, aigqbf_sr
par8-5-c-00 2 13 aigqbf_s, aigqbf_sr
par8-5-c-50 2 13 aigqbf_s, aigqbf_sr
par8-5-c-90 2 14 aigqbf_s, aigqbf_sr
Download table[csv, latex]