Discrepancies tables
QBFEVAL'05


Instance # Sat # Unsat Minority Solver
3qbf-5cnf-160var-1280cl.5 1 1 QbflHR, QChaffLearn
3qbf-5cnf-20var-160cl.0 8 1 QChaffLearn
3qbf-5cnf-40var-320cl.7 6 1 QChaffLearn
3qbf-5cnf-40var-320cl.8 7 1 QChaffLearn
3qbf-5cnf-80var-640cl.1 4 1 QChaffLearn
3qbf-5cnf-80var-640cl.6 4 1 QChaffLearn
3qbf-5cnf-80var-640cl.7 3 1 QChaffLearn
4qbf-5cnf-20var-160cl.2 6 2 QbflHR, QChaffLearn
4qbf-5cnf-20var-160cl.9 5 1 QbflHR
5qbf-5cnf-80var-640cl.1 3 1 QChaffLearn
6qbf-5cnf-20var-160cl.0 6 1 QbflHR
6qbf-5cnf-20var-160cl.1 7 1 QbflHR
6qbf-5cnf-20var-160cl.4 7 1 QbflHR
6qbf-5cnf-20var-160cl.5 8 1 QbflHR
6qbf-5cnf-20var-160cl.6 7 1 QbflHR
6qbf-5cnf-40var-320cl.1 2 1 QbflHR
6qbf-5cnf-40var-320cl.4 1 1 QbflHR, sSolve
6qbf-5cnf-40var-320cl.5 2 1 QbflHR
6qbf-5cnf-40var-320cl.6 3 1 QbflHR
6qbf-5cnf-40var-320cl.7 1 1 QbflHR, sSolve
6qbf-5cnf-40var-320cl.8 2 1 QbflHR
6qbf-5cnf-40var-320cl.9 1 1 QbflHR, sSolve
6qbf-5cnf-80var-640cl.1 1 1 QbflHR, sSolve
6qbf-5cnf-80var-640cl.2 1 1 QbflHR, sSolve
BLOCKS3iii.5 5 1 QChaffLearn
C432.blif_0.10_0.20_0_1_inp_exact 6 1 QChaffLearn
C499.blif_0.10_0.20_0_1_inp_exact 2 1 QChaffLearn
comp.blif_0.10_0.20_0_1_inp_exact 11 1 QChaffLearn
counter_16 2 1 QChaffLearn
counter_2 12 1 QChaffLearn
counter_32 2 1 QChaffLearn
counter_4 10 1 QChaffLearn
counter_8 7 1 QChaffLearn
counter_e_2 12 1 QChaffLearn
counter_e_4 9 1 QChaffLearn
counter_e_8 3 1 QChaffLearn
counter_re_2 12 1 QChaffLearn
counter_re_4 8 1 QChaffLearn
counter_re_8 3 1 QChaffLearn
counter_r_2 12 1 QChaffLearn
counter_r_4 10 1 QChaffLearn
counter_r_8 3 1 QChaffLearn
k_lin_n-12 5 1 QChaffLearn
k_lin_n-16 3 1 QChaffLearn
k_ph_n-16 5 1 QChaffLearn
lut4_XOR_f1 10 1 QChaffLearn
ncf_16_32_2_d.7 1 10 GRL
ncf_16_32_2_d.9 1 10 GRL
ncf_16_32_2_edau.7 1 10 GRL
ncf_16_32_2_edau.9 1 10 GRL
ncf_16_32_2_euad.7 1 10 GRL
ncf_16_32_2_euad.9 1 10 GRL
ncf_16_32_2_u.7 1 10 GRL
ncf_16_32_2_u.9 1 10 GRL
ncf_4_16_2_d.7 9 1 QChaffLearn
ncf_4_16_2_edau.8 6 1 QChaffLearn
ncf_4_16_4_d.9 9 1 QChaffLearn
ncf_4_16_8_d.10 2 1 QChaffLearn
ncf_4_16_8_edau.10 2 1 QChaffLearn
ncf_4_32_4_edau.2 2 1 QChaffLearn
ncf_4_8_2_d.10 11 1 QbflHR
ncf_4_8_2_edau.10 11 1 QbflHR
ncf_4_8_2_euad.10 9 1 QbflHR
ncf_4_8_2_u.10 10 1 QbflHR
ncf_4_8_4_d.10 10 1 QChaffLearn
ncf_4_8_8_d.4 8 1 QChaffLearn
ncf_4_8_8_edau.10 3 1 QChaffLearn
ncf_4_8_8_edau.4 7 1 QChaffLearn
ncf_4_8_8_edau.7 4 1 QChaffLearn
ncf_4_8_8_euad.10 4 1 QbflHR
ncf_4_8_8_euad.7 4 1 QChaffLearn
ncf_4_8_8_u.10 5 1 QbflHR
ncf_4_8_8_u.5 1 8 GRL
ncf_4_8_8_u.7 4 1 QChaffLearn
ncf_8_16_2_d.6 1 10 GRL
ncf_8_16_2_edau.6 1 10 GRL
ncf_8_16_2_euad.6 1 10 GRL
ncf_8_16_2_u.6 1 10 GRL
ncf_8_16_4_d.1 10 1 QbflHR
ncf_8_16_4_edau.1 10 1 QbflHR
ncf_8_16_4_euad.1 10 1 QbflHR
ncf_8_16_4_u.1 9 1 QbflHR
term1.blif_0.10_1.00_0_1_out_exact 10 1 QChaffLearn
toilet_c_08_01.2 2 11 skizzo_v0.4, skizzo_v0.5
toilet_c_10_01.2 2 11 skizzo_v0.4, skizzo_v0.5
tree-exa2-10 2 11 skizzo_v0.4, skizzo_v0.5
tree-exa2-15 2 10 skizzo_v0.4, skizzo_v0.5
tree-exa2-20 2 10 skizzo_v0.4, skizzo_v0.5
tree-exa2-25 2 10 skizzo_v0.4, skizzo_v0.5
tree-exa2-30 2 10 skizzo_v0.4, skizzo_v0.5
tree-exa2-35 2 10 skizzo_v0.4, skizzo_v0.5
tree-exa2-40 2 9 skizzo_v0.4, skizzo_v0.5
tree-exa2-45 2 8 skizzo_v0.4, skizzo_v0.5
tree-exa2-50 2 7 skizzo_v0.4, skizzo_v0.5
z4ml.blif_0.10_0.20_0_1_inp_exact 12 1 QChaffLearn
Download table[csv, latex]