QBF Solver Evaluation Portal
qbflib.orgFamily C499 results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 2137.6 | 267.2 | 266.91 | 172.37 | 594.95 | 0.625 |
| Nenofex | 393.4 | 49.18 | 49.83 | 39.93 | 96.28 | 0.5 |
| quantor3.0 | 2402.22 | 300.28 | 299.72 | 300.69 | 599.59 | 0.5 |
| QuBE6.1 | 2495.42 | 311.93 | 289.48 | 346.8 | 599.13 | 0.5 |
| ssolve-A | 2401.4 | 300.18 | 299.82 | 300.5 | 599.83 | 0.5 |
| ssolveB | 2401.56 | 300.19 | 299.81 | 300.57 | 599.82 | 0.5 |
| ssolveC | 3600.09 | 450.01 | 259.79 | 600 | 299.98 | 0.25 |