Instances of family Generalized-Tic-Tac-Toe solved by heretiq
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
gttt_1_1_001020_3x3_torus_bUNSAT0.31
gttt_2_1_001020_4x4_torus_wUNSAT25.04
gttt_2_1_00102030_4x4_torus_bUNSAT37.64
gttt_1_1_000111_4x4_torus_wUNSAT42.79
gttt_2_1_00011020_4x4_bUNSAT108.54
gttt_1_1_000111_4x4_torus_bSAT228.4
gttt_1_1_00101121_4x4_torus_wFAIL900