team |
## QCIR Fuzzer## OverviewQCIR is a gate-based input format for quantified Boolean formulas in non-PCNF.Our tool qcir-fuzz is a random generator producing QCIR
formulas according to the fixed shape
model with a forall-exists prefix.
## DownloadsDownload qcir-fzuzz as executable jar or the sources.Run qcir-fuzz with:
**m**: number of universals**n**: number of existentials
## Experiments- 1000 instances for m=1000 and n=40, n=45, n=50
- Runtimes of RAReQS and ghostQ
## PublicationThe experiments are described in our paper Errata: In the paper, the random model is described by |X| = n and |Y| = m, but it should be |X| = m and |Y| = n. |