QBF Solver Evaluation Portal
qbflib.orgDiscrepancies tables for tipfixpoint
QBFEVAL'06
| Instance | # Sat | # Unsat | Minority Solver |
|---|---|---|---|
| ken.oop^1.C-f2 | 1 | 1 | QUANTOR_hc, qube5.0 |
| nusmv.syncarb5^2.B-f2 | 15 | 1 | QUANTOR_hc |
| texas.two_proc^6.E-f2 | 1 | 1 | QUANTOR_hc, qube5.0 |
| vis.bakery.E-f2 | 14 | 1 | QUANTOR_hc |