The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Application domain Model A
Description:
Number of families:
248
Families:
mA-t2-1qbf-5cnf-160var-1280cl (
10
)
mA-t2-1qbf-5cnf-160var-2560cl (
10
)
mA-t2-1qbf-5cnf-160var-320cl (
10
)
mA-t2-1qbf-5cnf-160var-5120cl (
10
)
mA-t2-1qbf-5cnf-160var-640cl (
10
)
mA-t2-1qbf-5cnf-20var-160cl (
10
)
mA-t2-1qbf-5cnf-20var-320cl (
10
)
mA-t2-1qbf-5cnf-20var-40cl (
10
)
mA-t2-1qbf-5cnf-20var-640cl (
10
)
mA-t2-1qbf-5cnf-20var-80cl (
10
)
mA-t2-1qbf-5cnf-40var-1280cl (
10
)
mA-t2-1qbf-5cnf-40var-160cl (
10
)
mA-t2-1qbf-5cnf-40var-320cl (
10
)
mA-t2-1qbf-5cnf-40var-640cl (
10
)
mA-t2-1qbf-5cnf-40var-80cl (
10
)
mA-t2-1qbf-5cnf-80var-1280cl (
10
)
mA-t2-1qbf-5cnf-80var-160cl (
10
)
mA-t2-1qbf-5cnf-80var-2560cl (
10
)
mA-t2-1qbf-5cnf-80var-320cl (
10
)
mA-t2-1qbf-5cnf-80var-640cl (
10
)
mA-t2-2qbf-5cnf-100var-1000cl (
2
)
mA-t2-2qbf-5cnf-100var-1200cl (
2
)
mA-t2-2qbf-5cnf-100var-1400cl (
2
)
mA-t2-2qbf-5cnf-100var-1600cl (
2
)
mA-t2-2qbf-5cnf-100var-1800cl (
2
)
mA-t2-2qbf-5cnf-100var-200cl (
2
)
mA-t2-2qbf-5cnf-100var-400cl (
2
)
mA-t2-2qbf-5cnf-100var-600cl (
2
)
mA-t2-2qbf-5cnf-100var-800cl (
2
)
mA-t2-2qbf-5cnf-150var-1200cl (
2
)
mA-t2-2qbf-5cnf-150var-1500cl (
2
)
mA-t2-2qbf-5cnf-150var-1800cl (
2
)
mA-t2-2qbf-5cnf-150var-2100cl (
2
)
mA-t2-2qbf-5cnf-150var-2400cl (
2
)
mA-t2-2qbf-5cnf-150var-2700cl (
2
)
mA-t2-2qbf-5cnf-150var-300cl (
2
)
mA-t2-2qbf-5cnf-150var-600cl (
2
)
mA-t2-2qbf-5cnf-150var-900cl (
2
)
mA-t2-2qbf-5cnf-160var-1280cl (
10
)
mA-t2-2qbf-5cnf-160var-2560cl (
10
)
mA-t2-2qbf-5cnf-160var-320cl (
10
)
mA-t2-2qbf-5cnf-160var-5120cl (
10
)
mA-t2-2qbf-5cnf-160var-640cl (
10
)
mA-t2-2qbf-5cnf-20var-160cl (
10
)
mA-t2-2qbf-5cnf-20var-320cl (
10
)
mA-t2-2qbf-5cnf-20var-40cl (
10
)
mA-t2-2qbf-5cnf-20var-640cl (
10
)
mA-t2-2qbf-5cnf-20var-80cl (
10
)
mA-t2-2qbf-5cnf-40var-1280cl (
10
)
mA-t2-2qbf-5cnf-40var-160cl (
10
)
mA-t2-2qbf-5cnf-40var-320cl (
10
)
mA-t2-2qbf-5cnf-40var-640cl (
10
)
mA-t2-2qbf-5cnf-40var-80cl (
10
)
mA-t2-2qbf-5cnf-50var-100cl (
2
)
mA-t2-2qbf-5cnf-50var-200cl (
2
)
mA-t2-2qbf-5cnf-50var-300cl (
2
)
mA-t2-2qbf-5cnf-50var-400cl (
2
)
mA-t2-2qbf-5cnf-50var-500cl (
2
)
mA-t2-2qbf-5cnf-50var-600cl (
2
)
mA-t2-2qbf-5cnf-50var-700cl (
2
)
mA-t2-2qbf-5cnf-50var-800cl (
2
)
mA-t2-2qbf-5cnf-50var-900cl (
2
)
mA-t2-2qbf-5cnf-80var-1280cl (
10
)
mA-t2-2qbf-5cnf-80var-160cl (
10
)
mA-t2-2qbf-5cnf-80var-2560cl (
10
)
mA-t2-2qbf-5cnf-80var-320cl (
10
)
mA-t2-2qbf-5cnf-80var-640cl (
10
)
mA-t2-3qbf-5cnf-100var-1000cl (
2
)
mA-t2-3qbf-5cnf-100var-1200cl (
2
)
mA-t2-3qbf-5cnf-100var-1400cl (
2
)
mA-t2-3qbf-5cnf-100var-1600cl (
2
)
mA-t2-3qbf-5cnf-100var-1800cl (
2
)
mA-t2-3qbf-5cnf-100var-200cl (
2
)
mA-t2-3qbf-5cnf-100var-400cl (
2
)
mA-t2-3qbf-5cnf-100var-600cl (
2
)
mA-t2-3qbf-5cnf-100var-800cl (
2
)
mA-t2-3qbf-5cnf-150var-1200cl (
2
)
mA-t2-3qbf-5cnf-150var-1500cl (
2
)
mA-t2-3qbf-5cnf-150var-1800cl (
2
)
mA-t2-3qbf-5cnf-150var-2100cl (
2
)
mA-t2-3qbf-5cnf-150var-2400cl (
2
)
mA-t2-3qbf-5cnf-150var-2700cl (
2
)
mA-t2-3qbf-5cnf-150var-300cl (
2
)
mA-t2-3qbf-5cnf-150var-600cl (
2
)
mA-t2-3qbf-5cnf-150var-900cl (
2
)
mA-t2-3qbf-5cnf-160var-1280cl (
10
)
mA-t2-3qbf-5cnf-160var-2560cl (
10
)
mA-t2-3qbf-5cnf-160var-320cl (
10
)
mA-t2-3qbf-5cnf-160var-5120cl (
10
)
mA-t2-3qbf-5cnf-160var-640cl (
10
)
mA-t2-3qbf-5cnf-20var-160cl (
10
)
mA-t2-3qbf-5cnf-20var-320cl (
10
)
mA-t2-3qbf-5cnf-20var-40cl (
10
)
mA-t2-3qbf-5cnf-20var-640cl (
10
)
mA-t2-3qbf-5cnf-20var-80cl (
10
)
mA-t2-3qbf-5cnf-40var-1280cl (
10
)
mA-t2-3qbf-5cnf-40var-160cl (
10
)
mA-t2-3qbf-5cnf-40var-320cl (
10
)
mA-t2-3qbf-5cnf-40var-640cl (
10
)
mA-t2-3qbf-5cnf-40var-80cl (
10
)
mA-t2-3qbf-5cnf-50var-100cl (
2
)
mA-t2-3qbf-5cnf-50var-200cl (
2
)
mA-t2-3qbf-5cnf-50var-300cl (
2
)
mA-t2-3qbf-5cnf-50var-400cl (
2
)
mA-t2-3qbf-5cnf-50var-500cl (
2
)
mA-t2-3qbf-5cnf-50var-600cl (
2
)
mA-t2-3qbf-5cnf-50var-700cl (
2
)
mA-t2-3qbf-5cnf-50var-800cl (
2
)
mA-t2-3qbf-5cnf-50var-900cl (
2
)
mA-t2-3qbf-5cnf-80var-1280cl (
10
)
mA-t2-3qbf-5cnf-80var-160cl (
10
)
mA-t2-3qbf-5cnf-80var-2560cl (
10
)
mA-t2-3qbf-5cnf-80var-320cl (
10
)
mA-t2-3qbf-5cnf-80var-640cl (
10
)
mA-t2-4qbf-5cnf-100var-1000cl (
2
)
mA-t2-4qbf-5cnf-100var-1200cl (
2
)
mA-t2-4qbf-5cnf-100var-1400cl (
2
)
mA-t2-4qbf-5cnf-100var-1600cl (
2
)
mA-t2-4qbf-5cnf-100var-1800cl (
2
)
mA-t2-4qbf-5cnf-100var-200cl (
2
)
mA-t2-4qbf-5cnf-100var-400cl (
2
)
mA-t2-4qbf-5cnf-100var-600cl (
2
)
mA-t2-4qbf-5cnf-100var-800cl (
2
)
mA-t2-4qbf-5cnf-150var-1200cl (
2
)
mA-t2-4qbf-5cnf-150var-1500cl (
2
)
mA-t2-4qbf-5cnf-150var-1800cl (
2
)
mA-t2-4qbf-5cnf-150var-2100cl (
2
)
mA-t2-4qbf-5cnf-150var-2400cl (
2
)
mA-t2-4qbf-5cnf-150var-2700cl (
2
)
mA-t2-4qbf-5cnf-150var-300cl (
2
)
mA-t2-4qbf-5cnf-150var-600cl (
2
)
mA-t2-4qbf-5cnf-150var-900cl (
2
)
mA-t2-4qbf-5cnf-160var-1280cl (
10
)
mA-t2-4qbf-5cnf-160var-2560cl (
10
)
mA-t2-4qbf-5cnf-160var-320cl (
10
)
mA-t2-4qbf-5cnf-160var-5120cl (
10
)
mA-t2-4qbf-5cnf-160var-640cl (
10
)
mA-t2-4qbf-5cnf-20var-160cl (
10
)
mA-t2-4qbf-5cnf-20var-320cl (
10
)
mA-t2-4qbf-5cnf-20var-40cl (
10
)
mA-t2-4qbf-5cnf-20var-640cl (
10
)
mA-t2-4qbf-5cnf-20var-80cl (
10
)
mA-t2-4qbf-5cnf-40var-1280cl (
10
)
mA-t2-4qbf-5cnf-40var-160cl (
10
)
mA-t2-4qbf-5cnf-40var-320cl (
10
)
mA-t2-4qbf-5cnf-40var-640cl (
10
)
mA-t2-4qbf-5cnf-40var-80cl (
10
)
mA-t2-4qbf-5cnf-50var-100cl (
2
)
mA-t2-4qbf-5cnf-50var-200cl (
2
)
mA-t2-4qbf-5cnf-50var-300cl (
2
)
mA-t2-4qbf-5cnf-50var-400cl (
2
)
mA-t2-4qbf-5cnf-50var-500cl (
2
)
mA-t2-4qbf-5cnf-50var-600cl (
2
)
mA-t2-4qbf-5cnf-50var-700cl (
2
)
mA-t2-4qbf-5cnf-50var-800cl (
2
)
mA-t2-4qbf-5cnf-50var-900cl (
2
)
mA-t2-4qbf-5cnf-80var-1280cl (
10
)
mA-t2-4qbf-5cnf-80var-160cl (
10
)
mA-t2-4qbf-5cnf-80var-2560cl (
10
)
mA-t2-4qbf-5cnf-80var-320cl (
10
)
mA-t2-4qbf-5cnf-80var-640cl (
10
)
mA-t2-5qbf-5cnf-100var-1000cl (
2
)
mA-t2-5qbf-5cnf-100var-1200cl (
2
)
mA-t2-5qbf-5cnf-100var-1400cl (
2
)
mA-t2-5qbf-5cnf-100var-1600cl (
2
)
mA-t2-5qbf-5cnf-100var-1800cl (
2
)
mA-t2-5qbf-5cnf-100var-200cl (
2
)
mA-t2-5qbf-5cnf-100var-400cl (
2
)
mA-t2-5qbf-5cnf-100var-600cl (
2
)
mA-t2-5qbf-5cnf-100var-800cl (
2
)
mA-t2-5qbf-5cnf-150var-1200cl (
2
)
mA-t2-5qbf-5cnf-150var-1500cl (
2
)
mA-t2-5qbf-5cnf-150var-1800cl (
2
)
mA-t2-5qbf-5cnf-150var-2100cl (
2
)
mA-t2-5qbf-5cnf-150var-2400cl (
2
)
mA-t2-5qbf-5cnf-150var-2700cl (
2
)
mA-t2-5qbf-5cnf-150var-300cl (
2
)
mA-t2-5qbf-5cnf-150var-600cl (
2
)
mA-t2-5qbf-5cnf-150var-900cl (
2
)
mA-t2-5qbf-5cnf-160var-1280cl (
10
)
mA-t2-5qbf-5cnf-160var-2560cl (
10
)
mA-t2-5qbf-5cnf-160var-320cl (
10
)
mA-t2-5qbf-5cnf-160var-5120cl (
10
)
mA-t2-5qbf-5cnf-160var-640cl (
10
)
mA-t2-5qbf-5cnf-20var-160cl (
10
)
mA-t2-5qbf-5cnf-20var-320cl (
10
)
mA-t2-5qbf-5cnf-20var-40cl (
10
)
mA-t2-5qbf-5cnf-20var-640cl (
10
)
mA-t2-5qbf-5cnf-20var-80cl (
10
)
mA-t2-5qbf-5cnf-40var-1280cl (
10
)
mA-t2-5qbf-5cnf-40var-160cl (
10
)
mA-t2-5qbf-5cnf-40var-320cl (
10
)
mA-t2-5qbf-5cnf-40var-640cl (
10
)
mA-t2-5qbf-5cnf-40var-80cl (
10
)
mA-t2-5qbf-5cnf-50var-100cl (
2
)
mA-t2-5qbf-5cnf-50var-200cl (
2
)
mA-t2-5qbf-5cnf-50var-300cl (
2
)
mA-t2-5qbf-5cnf-50var-400cl (
2
)
mA-t2-5qbf-5cnf-50var-500cl (
2
)
mA-t2-5qbf-5cnf-50var-600cl (
2
)
mA-t2-5qbf-5cnf-50var-700cl (
2
)
mA-t2-5qbf-5cnf-50var-800cl (
2
)
mA-t2-5qbf-5cnf-50var-900cl (
2
)
mA-t2-5qbf-5cnf-80var-1280cl (
10
)
mA-t2-5qbf-5cnf-80var-160cl (
10
)
mA-t2-5qbf-5cnf-80var-2560cl (
10
)
mA-t2-5qbf-5cnf-80var-320cl (
10
)
mA-t2-5qbf-5cnf-80var-640cl (
10
)
mA-t2-6qbf-5cnf-160var-1280cl (
10
)
mA-t2-6qbf-5cnf-160var-2560cl (
10
)
mA-t2-6qbf-5cnf-160var-320cl (
10
)
mA-t2-6qbf-5cnf-160var-5120cl (
10
)
mA-t2-6qbf-5cnf-160var-640cl (
10
)
mA-t2-6qbf-5cnf-20var-160cl (
10
)
mA-t2-6qbf-5cnf-20var-320cl (
10
)
mA-t2-6qbf-5cnf-20var-40cl (
10
)
mA-t2-6qbf-5cnf-20var-640cl (
10
)
mA-t2-6qbf-5cnf-20var-80cl (
10
)
mA-t2-6qbf-5cnf-40var-1280cl (
10
)
mA-t2-6qbf-5cnf-40var-160cl (
10
)
mA-t2-6qbf-5cnf-40var-320cl (
10
)
mA-t2-6qbf-5cnf-40var-640cl (
10
)
mA-t2-6qbf-5cnf-40var-80cl (
10
)
mA-t2-6qbf-5cnf-80var-1280cl (
10
)
mA-t2-6qbf-5cnf-80var-160cl (
10
)
mA-t2-6qbf-5cnf-80var-2560cl (
10
)
mA-t2-6qbf-5cnf-80var-320cl (
10
)
mA-t2-6qbf-5cnf-80var-640cl (
10
)
mA-t2-7qbf-5cnf-160var-1280cl (
10
)
mA-t2-7qbf-5cnf-160var-2560cl (
10
)
mA-t2-7qbf-5cnf-160var-320cl (
8
)
mA-t2-7qbf-5cnf-160var-5120cl (
10
)
mA-t2-7qbf-5cnf-160var-640cl (
10
)
mA-t2-7qbf-5cnf-20var-160cl (
10
)
mA-t2-7qbf-5cnf-20var-320cl (
10
)
mA-t2-7qbf-5cnf-20var-40cl (
10
)
mA-t2-7qbf-5cnf-20var-640cl (
10
)
mA-t2-7qbf-5cnf-20var-80cl (
10
)
mA-t2-7qbf-5cnf-40var-1280cl (
10
)
mA-t2-7qbf-5cnf-40var-160cl (
10
)
mA-t2-7qbf-5cnf-40var-320cl (
10
)
mA-t2-7qbf-5cnf-40var-640cl (
10
)
mA-t2-7qbf-5cnf-40var-80cl (
6
)
mA-t2-7qbf-5cnf-80var-1280cl (
10
)
mA-t2-7qbf-5cnf-80var-160cl (
9
)
mA-t2-7qbf-5cnf-80var-2560cl (
10
)
mA-t2-7qbf-5cnf-80var-320cl (
10
)
mA-t2-7qbf-5cnf-80var-640cl (
10
)
Results:
Contact
|
Organization
|
Links
|
Citing QBFLIB