The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Application domain ChenInterian
Description:
Number of families:
95
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
)
Q_2_2_3 (
50
)
Q_2_3 (
50
)
Q_3_3 (
50
)
Q_3_3_3 (
50
)
Results:
Contact

Organization

Links

Citing QBFLIB