Commit 111e5d57 authored by Luca Pulina's avatar Luca Pulina

qcir instances

parent 3ea3f599

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.

File added
The instances were randomly generated according to our new model of prenex non clausal 2QBFs.
The paper describing the model is under revision, so we refrain from reporting a precise description of the model now.
The same instances are provided both in QDIMACS and QCIR format in folders:
- random.qcir
- random.qdimacs
QDIMACS formulas are CNFs obtained applying the Tseitin transformation, and are equisatisfiable to the corresponding QCIR ones.
The parameters employed for generating formulas are embedded in the formula name.
We report together with the instances a text file sorting them according to the expected empirical hardness:
- instances-with-info.txt
For more information contact: