QBF Solver Evaluation Portal
qbflib.orgUnique instances for GhostQ___plain_pcnf_2019
Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| C6288.blif_0.10_0.20_0_1_inp_exact | 631.45 | SAT |
| ken.flash^09.C-d4 | 177.45 | UNSAT |
| eijk.bs1512.S-f4 | 4.76 | SAT |
| eijk.S1196.S-f2 | 196.86 | UNSAT |