Instances of family Generalized-Tic-Tac-Toe solved by Hiqqer2019_2
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
gttt_1_1_000111_4x4_torus_wUNSAT2.69
gttt_2_1_001020_4x4_torus_wUNSAT3.13
gttt_2_2_000111_4x4_wUNSAT3.27
gttt_2_2_000111_4x4_bSAT3.4
gttt_2_2_000111_4x4_torus_wUNSAT3.49
gttt_2_2_000111_4x4_torus_bSAT3.51
gttt_2_1_00102030_4x4_torus_bUNSAT3.64
gttt_1_1_000111_4x4_torus_bSAT7.3
gttt_2_1_00011020_4x4_bUNSAT8.28
gttt_1_1_00101121_4x4_torus_wUNSAT127.52