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 |