Instances of family Generalized-Tic-Tac-Toe solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
gttt_2_2_0010_3x3_torus_wUNSAT0.22
gttt_2_2_00101121_3x3_bUNSAT0.72
gttt_2_1_000111_3x3_torus_bSAT1.02
gttt_1_1_001020_3x3_wUNSAT1.22
gttt_1_1_000111_3x3_torus_wUNSAT1.83
gttt_2_1_0010_4x4_torus_bUNSAT7.43
gttt_2_2_001020_4x4_wUNSAT18.65
gttt_2_1_00102030_4x4_torus_bUNSAT48.41
gttt_2_1_00011020_4x4_bUNSAT172.71
gttt_1_1_00101121_4x4_torus_wFAIL299.83