QBF Solver Evaluation Portal
qbflib.orgUnique instances for ghostq-plain
QBFEVAL'16 - Prenex CNF Track.
| Instance | Time | Result |
|---|---|---|
| C880.blif_0.10_0.20_0_1_inp_exact | 189.5 | UNSAT |
| C880.blif_0.10_0.20_0_0_inp_exact | 218.92 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| C880.blif_0.10_0.20_0_1_inp_exact | 189.5 | UNSAT |
| C880.blif_0.10_0.20_0_0_inp_exact | 218.92 | UNSAT |