Instances of family Generalized-Tic-Tac-Toe solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
gttt_1_1_001020_3x3_torus_bUNSAT1.04
gttt_2_1_001020_4x4_torus_wUNSAT9.05
gttt_1_1_000111_4x4_torus_wUNSAT9.51
gttt_2_1_00102030_4x4_torus_bUNSAT10.94
gttt_2_1_00011020_4x4_bUNSAT11.16
gttt_1_1_000111_4x4_torus_bSAT43.98
gttt_1_1_00101121_4x4_torus_wUNSAT74.13