Discrepancies tables for Generalized-Tic-Tac-Toe
QBFEVAL'16 - Prenex CNF Track.


Instance # Sat # Unsat Minority Solver
gttt_1_1_000111_3x3_torus_w 1 22 xb-bid-qsts
gttt_1_1_001020_3x3_w 1 21 xb-bid-qsts
gttt_2_1_00011020_4x4_b 1 11 xb-bid-qsts
gttt_2_1_000111_3x3_torus_b 22 1 qsts
gttt_2_1_0010_4x4_torus_b 1 20 xb-bid-qsts
Download table[csv, latex]