The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Suite Interian
Download(0 Kb)
Submitter:
Yannet Interian
Description:
Random QBF generated by generaQBF
Number of families:
91
Families:
q2k3k3 (
270
)
Qq2k1k4v40v40m16 (
10
)
Qq2k1k4v40v40m2 (
10
)
Qq2k1k4v40v40m32 (
10
)
Qq2k1k4v40v40m4 (
10
)
Qq2k1k4v40v40m8 (
10
)
Qq2k1k4v80v80m16 (
10
)
Qq2k1k4v80v80m2 (
10
)
Qq2k1k4v80v80m32 (
10
)
Qq2k1k4v80v80m4 (
10
)
Qq2k1k4v80v80m8 (
10
)
Qq2k2k3v40v40m16 (
10
)
Qq2k2k3v40v40m2 (
10
)
Qq2k2k3v40v40m32 (
10
)
Qq2k2k3v40v40m4 (
10
)
Qq2k2k3v40v40m8 (
10
)
Qq2k2k3v80v80m16 (
10
)
Qq2k2k3v80v80m2 (
10
)
Qq2k2k3v80v80m32 (
10
)
Qq2k2k3v80v80m4 (
10
)
Qq2k2k3v80v80m8 (
10
)
Qq2k3k2v40v40m16 (
10
)
Qq2k3k2v40v40m2 (
10
)
Qq2k3k2v40v40m32 (
10
)
Qq2k3k2v40v40m4 (
10
)
Qq2k3k2v40v40m8 (
10
)
Qq2k3k2v80v80m16 (
10
)
Qq2k3k2v80v80m2 (
10
)
Qq2k3k2v80v80m32 (
10
)
Qq2k3k2v80v80m4 (
10
)
Qq2k3k2v80v80m8 (
10
)
Qq3k1k1k3v40v40v40m16 (
10
)
Qq3k1k1k3v40v40v40m2 (
10
)
Qq3k1k1k3v40v40v40m32 (
10
)
Qq3k1k1k3v40v40v40m4 (
10
)
Qq3k1k1k3v40v40v40m8 (
10
)
Qq3k1k1k3v80v80v80m16 (
10
)
Qq3k1k1k3v80v80v80m2 (
10
)
Qq3k1k1k3v80v80v80m32 (
10
)
Qq3k1k1k3v80v80v80m4 (
10
)
Qq3k1k1k3v80v80v80m8 (
10
)
Qq3k1k2k2v40v40v40m16 (
10
)
Qq3k1k2k2v40v40v40m2 (
10
)
Qq3k1k2k2v40v40v40m32 (
10
)
Qq3k1k2k2v40v40v40m4 (
10
)
Qq3k1k2k2v40v40v40m8 (
10
)
Qq3k1k2k2v80v80v80m16 (
10
)
Qq3k1k2k2v80v80v80m2 (
10
)
Qq3k1k2k2v80v80v80m32 (
10
)
Qq3k1k2k2v80v80v80m4 (
10
)
Qq3k1k2k2v80v80v80m8 (
10
)
Qq3k1k3k1v40v40v40m16 (
10
)
Qq3k1k3k1v40v40v40m2 (
10
)
Qq3k1k3k1v40v40v40m32 (
10
)
Qq3k1k3k1v40v40v40m4 (
10
)
Qq3k1k3k1v40v40v40m8 (
10
)
Qq3k1k3k1v80v80v80m16 (
10
)
Qq3k1k3k1v80v80v80m2 (
10
)
Qq3k1k3k1v80v80v80m32 (
10
)
Qq3k1k3k1v80v80v80m4 (
10
)
Qq3k1k3k1v80v80v80m8 (
10
)
Qq3k2k1k2v40v40v40m16 (
10
)
Qq3k2k1k2v40v40v40m2 (
10
)
Qq3k2k1k2v40v40v40m32 (
10
)
Qq3k2k1k2v40v40v40m4 (
10
)
Qq3k2k1k2v40v40v40m8 (
10
)
Qq3k2k1k2v80v80v80m16 (
10
)
Qq3k2k1k2v80v80v80m2 (
10
)
Qq3k2k1k2v80v80v80m32 (
10
)
Qq3k2k1k2v80v80v80m4 (
10
)
Qq3k2k1k2v80v80v80m8 (
10
)
Qq3k2k2k1v40v40v40m16 (
10
)
Qq3k2k2k1v40v40v40m2 (
10
)
Qq3k2k2k1v40v40v40m32 (
10
)
Qq3k2k2k1v40v40v40m4 (
10
)
Qq3k2k2k1v40v40v40m8 (
10
)
Qq3k2k2k1v80v80v80m16 (
10
)
Qq3k2k2k1v80v80v80m2 (
10
)
Qq3k2k2k1v80v80v80m32 (
10
)
Qq3k2k2k1v80v80v80m4 (
10
)
Qq3k2k2k1v80v80v80m8 (
10
)
Qq3k3k1k1v40v40v40m16 (
10
)
Qq3k3k1k1v40v40v40m2 (
10
)
Qq3k3k1k1v40v40v40m32 (
10
)
Qq3k3k1k1v40v40v40m4 (
10
)
Qq3k3k1k1v40v40v40m8 (
10
)
Qq3k3k1k1v80v80v80m16 (
10
)
Qq3k3k1k1v80v80v80m2 (
10
)
Qq3k3k1k1v80v80v80m32 (
10
)
Qq3k3k1k1v80v80v80m4 (
10
)
Qq3k3k1k1v80v80v80m8 (
10
)
Results:
2010 - Track 4
2006 - Track 1
Contact
|
Organization
|
Links
|
Citing QBFLIB
