The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Suite MayerEichberger-Saffidine
Download(0 Kb)
Submitter:
Valentin Mayer-Eichberger
Description:
Number of families:
5
Families:
gttt-4x4_2020 (
96
)
gttt-5x5-iterative-deepening_2020 (
20
)
hex-hein_2020 (
23
)
PositionalGames_gttt (
64
)
PositionalGames_hex (
49
)
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2018 - Track 5
2017 - Track 5
Contact
|
Organization
|
Links
|
Citing QBFLIB