Less than 5 quantification levels:
qfun64 | qfun-nolrn | ghostq | quabs | |
---|---|---|---|---|
solved | 426 | 417 | 393 | 387 |
2 quantification levels:
qfun64 | qfun-nolrn | ghostq | quabs | |
---|---|---|---|---|
solved | 325 | 323 | 314 | 308 |
3 quantification levels:
qfun64 | qfun-nolrn | ghostq | quabs | |
---|---|---|---|---|
solved | 82 | 76 | 63 | 63 |
All quantification levels:
qfun64 | qfun-nolrn | ghostq | quabs | |
---|---|---|---|---|
solved | 511 | 452 | 517 | 515 |
Circuits were revers-engineered from CNF by a tool by Will Klieber.
qfun64 | qfun-nolrn | ghostq | rareqs | |
---|---|---|---|---|
solved | 140 | 133 | 119 | 110 |