The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for amba family
Download (0 Kb)
Submitter:
Leander Tentrup
Suite:
Tentrup
Domain:
Miscellanea
Description:
Number of instances:
64
Results:
2020 - Track 1
2020 - Track 3
2019 - Track 1
2019 - Track 2
2018 - Track 1
2018 - Track 2
2018 - Track 3
2018 - Track 5
2017 - Track 1
2017 - Track 2
2017 - Track 3
Instances:
amba2b9n.sat
amba2b9n.unsat
amba2b9y.sat
amba2b9y.unsat
amba2c7n.sat
amba2c7n.unsat
amba2c7y.sat
amba2c7y.unsat
amba2f9n.sat
amba2f9n.unsat
amba2f9y.sat
amba2f9y.unsat
amba3b5n.sat
amba3b5n.unsat
amba3b5y.sat
amba3b5y.unsat
amba3c5n.sat
amba3c5n.unsat
amba3c5y.sat
amba3c5y.unsat
amba3f9n.sat
amba3f9n.unsat
amba3f9y.sat
amba3f9y.unsat
amba4b9n.sat
amba4b9n.unsat
amba4b9y.sat
amba4b9y.unsat
amba4c7n.sat
amba4c7n.unsat
amba4c7y.sat
amba4c7y.unsat
amba4f25n.sat
amba4f25n.unsat
amba4f25y.sat
amba4f25y.unsat
amba5b5n.sat
amba5b5n.unsat
amba5b5y.sat
amba5b5y.unsat
amba5c5n.sat
amba5c5n.unsat
amba5c5y.sat
amba5c5y.unsat
amba5f17n.sat
amba5f17n.unsat
amba5f17y.sat
amba5f17y.unsat
amba6b5n.sat
amba6b5n.unsat
amba6b5y.sat
amba6b5y.unsat
amba6c5n.sat
amba6c5n.unsat
amba6c5y.sat
amba6c5y.unsat
amba7b5n.sat
amba7b5n.unsat
amba7b5y.sat
amba7b5y.unsat
amba7c5n.sat
amba7c5n.unsat
amba7c5y.sat
amba7c5y.unsat
Contact
|
Organization
|
Links
|
Citing QBFLIB