QBF Solver Evaluation Portal
qbflib.orgInstances of family ASP_Equivalence_Checking solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| k0206272.s.oe | SAT | 0.9 | |
| k0201058.c.oe | SAT | 1.49 | |
| k0206272.v.oe | SAT | 3.81 | |
| k0206272.h.oe | SAT | 10.69 | |
| k0226271.c.oe | SAT | 22.88 | |
| k0026150.h.oe | SAT | 25.05 | |
| k0225744.s.oe | SAT | 25.98 | |
| k0225418.v.oe | SAT | 53.86 | |
| k0225744.v.oe | FAIL | 900 | |
| k0206272.connected.oe | FAIL | 900.01 | |
| k0225682.c.oe | FAIL | 900.01 | |
| k0026150.s.oe | FAIL | 900.01 | |
| k0225744.h.oe | FAIL | 900.02 | |
| k0300663.v.oe | FAIL | 900.03 | |
| k0300663.s.oe | FAIL | 900.04 | |
| k0300663.h.oe | FAIL | 900.05 | |
| k0225418.h.oe | FAIL | 900.06 | |
| k0300663.connected.oe | FAIL | 900.06 | |
| k0026150.connected.oe | FAIL | 900.06 | |
| k0225418.connected.oe | FAIL | 900.06 | |
| k0026150.v.oe | FAIL | 900.07 | |
| k0225418.s.oe | FAIL | 900.07 | |
| k0302060.c.oe | FAIL | 900.07 | |
| k0225418.c.oe | FAIL | 900.07 | |
| k0225744.connected.oe | FAIL | 900.09 |