The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Suite Tentrup
Download(0 Kb)
Submitter:
Leander Tentrup
Description:
Number of families:
12
Families:
amba (
64
)
cycle-sched (
88
)
driver (
48
)
genbuf (
126
)
hwmcc (
124
)
hyperLTL (
2
)
ltl2aig-comp (
68
)
LTL2DBA (
38
)
LTL2DPA (
4
)
mult-matrix (
522
)
Tentrup_dqbf (
145
)
toy (
270
)
Results:
2020 - Track 1
2020 - Track 3
2020 - Track 4
2019 - Track 1
2019 - Track 2
2019 - Track 3
2018 - Track 1
2018 - Track 2
2018 - Track 3
2018 - Track 4
2018 - Track 5
2017 - Track 1
2017 - Track 2
2017 - Track 3
Contact
|
Organization
|
Links
|
Citing QBFLIB