QBF Solver Evaluation Portal
qbflib.orgResults for instance Umbrella_tbm_24.tex.module.000103
QBFEVAL'10 - Competitive Track.
| Solver | Time | Result |
|---|---|---|
| depqbf-pre | 7.34 | SAT |
| depqbf | 7.38 | SAT |
| QuBE7 | 12.84 | SAT |
| aqme-10 | 19.37 | SAT |
| QuBE7-c | 28.82 | SAT |
| QuBE7-m | 30.18 | SAT |
| quantor-3.1 | 65.64 | FAIL |
| qmaiga | 101.99 | SAT |
| AIGSolve | 160.64 | SAT |
| struqs-10 | 1200.07 | FAIL |
| nenofex-qbfeval10 | 1200.19 | FAIL |