QBF Solver Evaluation Portal
qbflib.orgFamily Adder results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 10245.15 | 320.16 | 251.01 | 495.99 | 498.23 | 0.406 |
| Nenofex | 7215 | 225.47 | 257.8 | 33.5 | 502.83 | 0.625 |
| quantor3.0 | 4039.19 | 126.22 | 199.12 | 35.18 | 46.67 | 0.25 |
| QuBE6.1 | 16201.34 | 506.29 | 217.76 | 600 | 0 | 0.156 |
| ssolve-A | 14526.46 | 453.95 | 250.24 | 600 | 248.49 | 0.281 |
| ssolveB | 14486.19 | 452.69 | 255.34 | 600 | 270 | 0.25 |
| ssolveC | 16054.16 | 501.69 | 217.24 | 600 | 0 | 0.188 |