Instances of family Generalized-Tic-Tac-Toe solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
gttt_2_2_0010_3x3_torus_wUNSAT0.66
gttt_2_1_000111_3x3_torus_bSAT0.81
gttt_1_1_001020_3x3_wUNSAT1.1
gttt_1_1_000111_3x3_torus_wUNSAT1.21
gttt_2_2_00101121_3x3_bUNSAT1.67
gttt_2_1_0010_4x4_torus_bUNSAT3.04
gttt_2_2_001020_4x4_wUNSAT23.5
gttt_2_1_00011020_4x4_bUNSAT328.83
gttt_2_1_00102030_4x4_torus_bFAIL600
gttt_1_1_00101121_4x4_torus_wFAIL600