QBF Solver Evaluation Portal
qbflib.orgDiscrepancies table
QBFEVAL'18 - Prenex 2QBF Track
| Family | Structure | Domain | # Problematic |
|---|---|---|---|
| HardwareFixpoint | Fixed | Formal Verification | 11 |
| Sorting_networks | Fixed | Miscellanea | 18 |
| Family | Structure | Domain | # Problematic |
|---|---|---|---|
| HardwareFixpoint | Fixed | Formal Verification | 11 |
| Sorting_networks | Fixed | Miscellanea | 18 |