The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for PositionalGames_gttt family
Download (0 Kb)
Submitter:
Valentin Mayer-Eichberger
Suite:
MayerEichberger-Saffidine
Domain:
Miscellanea
Description:
Number of instances:
64
Results:
2019 - Track 1
2018 - Track 1
2018 - Track 5
2017 - Track 5
Instances:
ttt_5x5-shape-0-GTTT-1-1-torus-0
ttt_5x5-shape-0-GTTT-1-1-torus-1
ttt_5x5-shape-0-GTTT-1-2-torus-0
ttt_5x5-shape-0-GTTT-1-2-torus-1
ttt_5x5-shape-0-GTTT-2-1-torus-0
ttt_5x5-shape-0-GTTT-2-1-torus-1
ttt_5x5-shape-0-GTTT-2-2-torus-0
ttt_5x5-shape-0-GTTT-2-2-torus-1
ttt_5x5-shape-1-GTTT-1-1-torus-0
ttt_5x5-shape-1-GTTT-1-1-torus-1
ttt_5x5-shape-1-GTTT-1-2-torus-0
ttt_5x5-shape-1-GTTT-1-2-torus-1
ttt_5x5-shape-1-GTTT-2-1-torus-0
ttt_5x5-shape-1-GTTT-2-1-torus-1
ttt_5x5-shape-1-GTTT-2-2-torus-0
ttt_5x5-shape-1-GTTT-2-2-torus-1
ttt_5x5-shape-2-GTTT-1-1-torus-0
ttt_5x5-shape-2-GTTT-1-1-torus-1
ttt_5x5-shape-2-GTTT-1-2-torus-0
ttt_5x5-shape-2-GTTT-1-2-torus-1
ttt_5x5-shape-2-GTTT-2-1-torus-0
ttt_5x5-shape-2-GTTT-2-1-torus-1
ttt_5x5-shape-2-GTTT-2-2-torus-0
ttt_5x5-shape-2-GTTT-2-2-torus-1
ttt_5x5-shape-3-GTTT-1-1-torus-0
ttt_5x5-shape-3-GTTT-1-1-torus-1
ttt_5x5-shape-3-GTTT-1-2-torus-0
ttt_5x5-shape-3-GTTT-1-2-torus-1
ttt_5x5-shape-3-GTTT-2-1-torus-0
ttt_5x5-shape-3-GTTT-2-1-torus-1
ttt_5x5-shape-3-GTTT-2-2-torus-0
ttt_5x5-shape-3-GTTT-2-2-torus-1
ttt_5x5-shape-4-GTTT-1-1-torus-0
ttt_5x5-shape-4-GTTT-1-1-torus-1
ttt_5x5-shape-4-GTTT-1-2-torus-0
ttt_5x5-shape-4-GTTT-1-2-torus-1
ttt_5x5-shape-4-GTTT-2-1-torus-0
ttt_5x5-shape-4-GTTT-2-1-torus-1
ttt_5x5-shape-4-GTTT-2-2-torus-0
ttt_5x5-shape-4-GTTT-2-2-torus-1
ttt_5x5-shape-5-GTTT-1-1-torus-0
ttt_5x5-shape-5-GTTT-1-1-torus-1
ttt_5x5-shape-5-GTTT-1-2-torus-0
ttt_5x5-shape-5-GTTT-1-2-torus-1
ttt_5x5-shape-5-GTTT-2-1-torus-0
ttt_5x5-shape-5-GTTT-2-1-torus-1
ttt_5x5-shape-5-GTTT-2-2-torus-0
ttt_5x5-shape-5-GTTT-2-2-torus-1
ttt_5x5-shape-6-GTTT-1-1-torus-0
ttt_5x5-shape-6-GTTT-1-1-torus-1
ttt_5x5-shape-6-GTTT-1-2-torus-0
ttt_5x5-shape-6-GTTT-1-2-torus-1
ttt_5x5-shape-6-GTTT-2-1-torus-0
ttt_5x5-shape-6-GTTT-2-1-torus-1
ttt_5x5-shape-6-GTTT-2-2-torus-0
ttt_5x5-shape-6-GTTT-2-2-torus-1
ttt_5x5-shape-7-GTTT-1-1-torus-0
ttt_5x5-shape-7-GTTT-1-1-torus-1
ttt_5x5-shape-7-GTTT-1-2-torus-0
ttt_5x5-shape-7-GTTT-1-2-torus-1
ttt_5x5-shape-7-GTTT-2-1-torus-0
ttt_5x5-shape-7-GTTT-2-1-torus-1
ttt_5x5-shape-7-GTTT-2-2-torus-0
ttt_5x5-shape-7-GTTT-2-2-torus-1
Contact
|
Organization
|
Links
|
Citing QBFLIB