The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Generalized-Tic-Tac-Toe family
Download (0 Kb)
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
Contact
|
Organization
|
Links
|
Citing QBFLIB