QBF Solver Evaluation Portal
qbflib.orgFamily MutexP results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 153.98 | 22 | 50.02 | 1.32 | 1.75 | 1 |
| Nenofex | 2106.01 | 300.86 | 277.42 | 303.88 | 599.98 | 0.571 |
| quantor3.0 | 111.88 | 15.98 | 14.69 | 23.46 | 23.51 | 0.429 |
| QuBE6.1 | 2406.2 | 343.74 | 295.91 | 600 | 599.97 | 0.429 |
| ssolve-A | 0.66 | 0.09 | 0.11 | 0.04 | 0.07 | 1 |
| ssolveB | 0.72 | 0.1 | 0.13 | 0.04 | 0.08 | 1 |
| ssolveC | 0.63 | 0.09 | 0.11 | 0.04 | 0.08 | 1 |