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

InstanceResultTime
gttt_2_2_000111_4x4_torus_wUNSAT1.74
gttt_2_2_000111_4x4_wUNSAT2.62
gttt_1_1_000111_4x4_torus_wUNSAT3.37
gttt_2_2_000111_4x4_bSAT7.95
gttt_2_2_000111_4x4_torus_bSAT7.98
gttt_2_1_001020_4x4_torus_wUNSAT8.49
gttt_2_1_00102030_4x4_torus_bUNSAT53.6
gttt_2_1_00011020_4x4_bUNSAT72.06
gttt_1_1_000111_4x4_torus_bSAT89.97
gttt_1_1_00101121_4x4_torus_wUNSAT314.02