QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ASP_Equivalence_Checking
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| k0026150.h.oe | Quabs_2018 | SAT | 0 |  |
| k0026150.s.oe | GhostQ_PG___plain_qcir_2018 | UNSAT | 30.54 | |
| k0201058.c.oe | QFUN | SAT | 0 | |
| k0206272.h.oe | Quabs_2018 | SAT | 0 | |
| k0206272.s.oe | Quabs_2018 | SAT | 0 | |
| k0206272.v.oe | GhostQ_PG___plain_qcir_2018 | SAT | 0.42 | |
| k0225418.c.oe | GhostQ_PG___plain_qcir_2018 | UNSAT | 113.13 | |
| k0225418.connected.oe | QFUN | SAT | 1.07 | |
| k0225418.h.oe | GhostQ_PG___plain_qcir_2018 | UNSAT | 167.48 | |
| k0225418.s.oe | GhostQ_PG___plain_qcir_2018 | UNSAT | 31.01 | |
| k0225418.v.oe | QFUN | SAT | 0 | |
| k0225682.c.oe | GhostQ_PG___plain_qcir_2018 | UNSAT | 116.44 | |
| k0225744.h.oe | GhostQ_PG___plain_qcir_2018 | UNSAT | 172.97 | |
| k0225744.s.oe | QFUN | SAT | 0 | |
| k0226271.c.oe | QFUN | SAT | 0 | |
| k0300663.h.oe | GhostQ_PG___plain_qcir_2018 | UNSAT | 204.24 | |
| k0300663.s.oe | GhostQ_PG___plain_qcir_2018 | UNSAT | 32.25 | |
| k0302060.c.oe | GhostQ_PG___plain_qcir_2018 | UNSAT | 117.59 | |