Instances of family Generalized-Tic-Tac-Toe solved by aqua-s3o
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
gttt_2_2_0010_3x3_torus_wUNSAT0.16
gttt_2_1_000111_3x3_torus_bSAT0.19
gttt_2_2_00101121_3x3_bUNSAT1.36
gttt_1_1_000111_3x3_torus_wUNSAT1.67
gttt_1_1_001020_3x3_wUNSAT4.58
gttt_2_1_0010_4x4_torus_bUNSAT4.7
gttt_2_1_00011020_4x4_bFAIL239.6
gttt_2_1_00102030_4x4_torus_bFAIL273.11
gttt_2_2_001020_4x4_wFAIL287.95
gttt_1_1_00101121_4x4_torus_wFAIL320.2