QBF Solver Evaluation Portal
qbflib.orgFamily irqlkeapclte results for solvers
QBFEVAL'10 - 2QBF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aqme-10 | 7202.71 | 1028.96 | 418.96 | 1200 | 1197.29 | 0.143 |
| depqbf | 8401.1 | 1200.16 | 0.01 | 1200.16 | 0.01 | 0 |
| depqbf-pre | 7459.48 | 1065.64 | 329.49 | 1200.15 | 941.58 | 0.143 |
| nenofex-qbfeval10 | 3567.97 | 509.71 | 150.73 | 453.89 | 62.13 | 0 |
| quantor-3.1 | 514.13 | 73.45 | 39.08 | 100.37 | 101.95 | 0.143 |
| QuBE7 | 7217.75 | 1031.11 | 413.79 | 1200.04 | 1182.5 | 0.143 |
| QuBE7-c | 7238.08 | 1034.01 | 406.68 | 1200.04 | 1162.18 | 0.143 |
| QuBE7-m | 7252.5 | 1036.07 | 401.64 | 1200.04 | 1147.77 | 0.143 |
| struqs-10 | 7702.22 | 1100.32 | 244.4 | 1200.09 | 698.43 | 0.143 |