Discrepancies tables for Connect2
QBFEVAL'04


Instance # Sat # Unsat Minority Solver
cf_2_3x2_r_ 12 3 QBFL-BS, QBFL-JW, QMRes
cf_2_4x8_r_ 10 3 QBFL-BS, QBFL-JW, WalkQSAT
cf_2_5x4_r_ 10 3 QBFL-BS, QBFL-JW, WalkQSAT
cf_2_8x3_r_ 11 2 QBFL-BS, QBFL-JW
cf_2_8x5_r_ 8 2 QBFL-BS, QBFL-JW
Download table[csv, latex]