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

InstanceResultTime
gttt_2_1_001020_4x4_torus_wUNSAT166.31
gttt_1_1_000111_4x4_torus_wUNSAT187.85
gttt_2_2_000111_4x4_torus_wFAIL900.01
gttt_2_2_000111_4x4_torus_bFAIL900.02
gttt_2_2_000111_4x4_bFAIL900.02
gttt_1_1_000111_4x4_torus_bFAIL900.04
gttt_2_1_00011020_4x4_bFAIL900.06
gttt_2_2_000111_4x4_wFAIL900.06
gttt_1_1_00101121_4x4_torus_wFAIL900.08
gttt_2_1_00102030_4x4_torus_bFAIL900.09