Discrepancies tables for BMC
QBFEVAL'07


Instance # Sat # Unsat Minority Solver
c1_BMC_p2_k2 1 14 preQuel_sKizzo-0.10
c3_BMC_p2_k1024 1 12 preQuel_sKizzo-0.10
c3_BMC_p2_k128 1 12 preQuel_sKizzo-0.10
c3_BMC_p2_k16 1 14 preQuel_sKizzo-0.10
c3_BMC_p2_k2 1 14 preQuel_sKizzo-0.10
c3_BMC_p2_k2048 1 12 preQuel_sKizzo-0.10
c3_BMC_p2_k256 1 12 preQuel_sKizzo-0.10
c3_BMC_p2_k32 1 14 preQuel_sKizzo-0.10
c3_BMC_p2_k4 1 14 preQuel_sKizzo-0.10
c3_BMC_p2_k512 1 12 preQuel_sKizzo-0.10
c3_BMC_p2_k64 1 14 preQuel_sKizzo-0.10
c3_BMC_p2_k8 1 14 preQuel_sKizzo-0.10
c4_BMC_p2_k2 1 15 preQuel_sKizzo-0.10
c5_BMC_p2_k2 1 12 preQuel_sKizzo-0.10
c6_BMC_p2_k2 1 14 preQuel_sKizzo-0.10
Download table[csv, latex]