The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Suite Seidl
Download(11520 Kb)
Submitter:
Martina Seidl
Description:
Number of families:
5
Families:
ASP_Program_Inclusion (
200
)
crafted_2020 (
132
)
NCFS (
150
)
NCFS_bin (
150
)
Random-qcir-1000-50 (
1000
)
Results:
2020 - Track 2
2018 - Track 2
2016 - Track 8
2010 - Track 4
2008 - Track 2
2006 - Track 1
Contact
|
Organization
|
Links
|
Citing QBFLIB
