Detail page for Generalized-Tic-Tac-Toe family


	Submitter:	Charles Jordan

	Suite:	Diptarama-Jordan-Shinohara

	Domain:	Planning

	Description:

	Number of instances:	180

	Results:	2019 - Track 1 2018 - Track 1 2017 - Track 1 2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7

	Instances:	gttt_1_1_00011011_3x3_b gttt_1_1_00011011_3x3_torus_b gttt_1_1_00011011_3x3_torus_w gttt_1_1_00011011_3x3_w gttt_1_1_00011011_4x4_b gttt_1_1_00011011_4x4_torus_b gttt_1_1_00011011_4x4_torus_w gttt_1_1_00011011_4x4_w gttt_1_1_00011020_3x3_b gttt_1_1_00011020_3x3_torus_b gttt_1_1_00011020_3x3_torus_w gttt_1_1_00011020_3x3_w gttt_1_1_00011020_4x4_b gttt_1_1_00011020_4x4_torus_b gttt_1_1_00011020_4x4_torus_w gttt_1_1_00011020_4x4_w gttt_1_1_000111_3x3_b gttt_1_1_000111_3x3_torus_b gttt_1_1_000111_3x3_torus_w gttt_1_1_000111_3x3_w gttt_1_1_000111_4x4_b gttt_1_1_000111_4x4_torus_b gttt_1_1_000111_4x4_torus_w gttt_1_1_000111_4x4_w gttt_1_1_00101120_3x3_b gttt_1_1_00101120_3x3_torus_b gttt_1_1_00101120_3x3_torus_w gttt_1_1_00101120_3x3_w gttt_1_1_00101120_4x4_b gttt_1_1_00101120_4x4_torus_b gttt_1_1_00101120_4x4_torus_w gttt_1_1_00101120_4x4_w gttt_1_1_00101121_3x3_b gttt_1_1_00101121_3x3_torus_b gttt_1_1_00101121_3x3_torus_w gttt_1_1_00101121_3x3_w gttt_1_1_00101121_4x4_b gttt_1_1_00101121_4x4_torus_b gttt_1_1_00101121_4x4_torus_w gttt_1_1_00101121_4x4_w gttt_1_1_00102030_4x4_b gttt_1_1_00102030_4x4_torus_b gttt_1_1_00102030_4x4_torus_w gttt_1_1_00102030_4x4_w gttt_1_1_001020_3x3_b gttt_1_1_001020_3x3_torus_b gttt_1_1_001020_3x3_torus_w gttt_1_1_001020_3x3_w gttt_1_1_001020_4x4_b gttt_1_1_001020_4x4_torus_b gttt_1_1_001020_4x4_torus_w gttt_1_1_001020_4x4_w gttt_1_1_0010_3x3_b gttt_1_1_0010_3x3_torus_b gttt_1_1_0010_3x3_torus_w gttt_1_1_0010_3x3_w gttt_1_1_0010_4x4_b gttt_1_1_0010_4x4_torus_b gttt_1_1_0010_4x4_torus_w gttt_1_1_0010_4x4_w gttt_2_1_00011011_3x3_b gttt_2_1_00011011_3x3_torus_b gttt_2_1_00011011_3x3_torus_w gttt_2_1_00011011_3x3_w gttt_2_1_00011011_4x4_b gttt_2_1_00011011_4x4_torus_b gttt_2_1_00011011_4x4_torus_w gttt_2_1_00011011_4x4_w gttt_2_1_00011020_3x3_b gttt_2_1_00011020_3x3_torus_b gttt_2_1_00011020_3x3_torus_w gttt_2_1_00011020_3x3_w gttt_2_1_00011020_4x4_b gttt_2_1_00011020_4x4_torus_b gttt_2_1_00011020_4x4_torus_w gttt_2_1_00011020_4x4_w gttt_2_1_000111_3x3_b gttt_2_1_000111_3x3_torus_b gttt_2_1_000111_3x3_torus_w gttt_2_1_000111_3x3_w gttt_2_1_000111_4x4_b gttt_2_1_000111_4x4_torus_b gttt_2_1_000111_4x4_torus_w gttt_2_1_000111_4x4_w gttt_2_1_00101120_3x3_b gttt_2_1_00101120_3x3_torus_b gttt_2_1_00101120_3x3_torus_w gttt_2_1_00101120_3x3_w gttt_2_1_00101120_4x4_b gttt_2_1_00101120_4x4_torus_b gttt_2_1_00101120_4x4_torus_w gttt_2_1_00101120_4x4_w gttt_2_1_00101121_3x3_b gttt_2_1_00101121_3x3_torus_b gttt_2_1_00101121_3x3_torus_w gttt_2_1_00101121_3x3_w gttt_2_1_00101121_4x4_b gttt_2_1_00101121_4x4_torus_b gttt_2_1_00101121_4x4_torus_w gttt_2_1_00101121_4x4_w gttt_2_1_00102030_4x4_b gttt_2_1_00102030_4x4_torus_b gttt_2_1_00102030_4x4_torus_w gttt_2_1_00102030_4x4_w gttt_2_1_001020_3x3_b gttt_2_1_001020_3x3_torus_b gttt_2_1_001020_3x3_torus_w gttt_2_1_001020_3x3_w gttt_2_1_001020_4x4_b gttt_2_1_001020_4x4_torus_b gttt_2_1_001020_4x4_torus_w gttt_2_1_001020_4x4_w gttt_2_1_0010_3x3_b gttt_2_1_0010_3x3_torus_b gttt_2_1_0010_3x3_torus_w gttt_2_1_0010_3x3_w gttt_2_1_0010_4x4_b gttt_2_1_0010_4x4_torus_b gttt_2_1_0010_4x4_torus_w gttt_2_1_0010_4x4_w gttt_2_2_00011011_3x3_b gttt_2_2_00011011_3x3_torus_b gttt_2_2_00011011_3x3_torus_w gttt_2_2_00011011_3x3_w gttt_2_2_00011011_4x4_b gttt_2_2_00011011_4x4_torus_b gttt_2_2_00011011_4x4_torus_w gttt_2_2_00011011_4x4_w gttt_2_2_00011020_3x3_b gttt_2_2_00011020_3x3_torus_b gttt_2_2_00011020_3x3_torus_w gttt_2_2_00011020_3x3_w gttt_2_2_00011020_4x4_b gttt_2_2_00011020_4x4_torus_b gttt_2_2_00011020_4x4_torus_w gttt_2_2_00011020_4x4_w gttt_2_2_000111_3x3_b gttt_2_2_000111_3x3_torus_b gttt_2_2_000111_3x3_torus_w gttt_2_2_000111_3x3_w gttt_2_2_000111_4x4_b gttt_2_2_000111_4x4_torus_b gttt_2_2_000111_4x4_torus_w gttt_2_2_000111_4x4_w gttt_2_2_00101120_3x3_b gttt_2_2_00101120_3x3_torus_b gttt_2_2_00101120_3x3_torus_w gttt_2_2_00101120_3x3_w gttt_2_2_00101120_4x4_b gttt_2_2_00101120_4x4_torus_b gttt_2_2_00101120_4x4_torus_w gttt_2_2_00101120_4x4_w gttt_2_2_00101121_3x3_b gttt_2_2_00101121_3x3_torus_b gttt_2_2_00101121_3x3_torus_w gttt_2_2_00101121_3x3_w gttt_2_2_00101121_4x4_b gttt_2_2_00101121_4x4_torus_b gttt_2_2_00101121_4x4_torus_w gttt_2_2_00101121_4x4_w gttt_2_2_00102030_4x4_b gttt_2_2_00102030_4x4_torus_b gttt_2_2_00102030_4x4_torus_w gttt_2_2_00102030_4x4_w gttt_2_2_001020_3x3_b gttt_2_2_001020_3x3_torus_b gttt_2_2_001020_3x3_torus_w gttt_2_2_001020_3x3_w gttt_2_2_001020_4x4_b gttt_2_2_001020_4x4_torus_b gttt_2_2_001020_4x4_torus_w gttt_2_2_001020_4x4_w gttt_2_2_0010_3x3_b gttt_2_2_0010_3x3_torus_b gttt_2_2_0010_3x3_torus_w gttt_2_2_0010_3x3_w gttt_2_2_0010_4x4_b gttt_2_2_0010_4x4_torus_b gttt_2_2_0010_4x4_torus_w gttt_2_2_0010_4x4_w

The Quantified Boolean Formulas Satisfiability Library

Detail page for Generalized-Tic-Tac-Toe family