QBF Solver Evaluation Portal
qbflib.orgSota solver results for family mqm
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| Core1108_tbm_21.tex.module.000008 | xb-qsts_bqsts2.0 | SAT | 11.83 |  |
| Core1108_tbm_21.tex.module.000030 | xb-qsts_bqsts2.0 | SAT | 11.11 | |
| Umbrella_tbm_05.tex.module.000039 | caqe_2017_v2 | SAT | 22.95 | |