The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Suite Peitl
Download(0 Kb)
Submitter:
Tomas Peitl
Description:
Number of families:
3
Families:
chess_composing (
58
)
chess_solving (
127
)
Rewriting (
10
)
Results:
2020 - Track 3
2019 - Track 2
2018 - Track 2
2016 - Track 1
2016 - Track 2
2016 - Track 5
2016 - Track 6
2016 - Track 7
Contact
|
Organization
|
Links
|
Citing QBFLIB
