QBF Solver Evaluation Portal
qbflib.orgFamily FPGA_PLB_FIT_FAST results for solvers
QBFEVAL'08
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AQME-1NN | 6.96 | 1.39 | 0.97 | 0.92 | 0.17 | 1 |
| Nenofex | 10.69 | 2.14 | 3.77 | 0.24 | 0.34 | 1 |
| quantor3.0 | 2.21 | 0.44 | 0.73 | 0.11 | 0.13 | 1 |
| QuBE6.1 | 601.1 | 120.22 | 239.89 | 0.09 | 0.47 | 0.8 |
| ssolve-A | 1200.13 | 240.03 | 293.92 | 0.07 | 300 | 0.6 |
| ssolveB | 1200.15 | 240.03 | 293.91 | 0.09 | 300.01 | 0.6 |
| ssolveC | 1200.1 | 240.02 | 293.92 | 0.05 | 300 | 0.6 |