Instances of family Generalized-Tic-Tac-Toe solved by Rareqs_2018
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
gttt_2_2_000111_4x4_wUNSAT6.67
gttt_2_2_000111_4x4_torus_wUNSAT19.93
gttt_2_2_000111_4x4_bSAT22.49
gttt_2_1_00102030_4x4_torus_bUNSAT74.08
gttt_2_1_001020_4x4_torus_wUNSAT179.79
gttt_2_2_000111_4x4_torus_bSAT335.97
gttt_2_1_00011020_4x4_bUNSAT398.44
gttt_1_1_00101121_4x4_torus_wFAIL900
gttt_1_1_000111_4x4_torus_wFAIL900.07
gttt_1_1_000111_4x4_torus_bFAIL900.1