| Class Tree | |
|---|---|
| Description | These benchmarks are translation of randomly generated 2-QBF instances using Chen-Interian method presented at IJCAI 2005. (for reference, Hubie Chen and Yannet Interian. A Model for Generating Random Quantified Boolean Formulas. Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), 2005). Instances are generated using some of the settings in the original paper. The generator is available at the QBFLIB web portal (http://www.qbflib.org). |
| Submitter | Martin Gebser |
| Compatible Encodings |
|
| Output Predicates |
|
| Instances 1 - 20 of 40 |
|
Expand All
Collapse All
