QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'07
Best Solver: yQuaffle Time: 2.17 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | qZilla | 3.47 | sKizzo-0.10-std | 17.3 | - | - |
| - | - | Adaptive2clsQ | 3.5 | sKizzo-0.10-qck | 17.64 | - | - |
| - | - | QUANTOR_2.15 | 4.86 | qSS | 18.45 | - | - |
| - | - | AQME-C4.5 | 7.98 | - | - | - | - |
| - | - | AQME-1NN | 7.99 | - | - | - | - |
| - | - | AQME-RIPPER | 8 | - | - | - | - |
| yQuaffle(2.17) |  |
| qZilla(3.47) |  |
| Adaptive2clsQ(3.5) |  |
| QUANTOR_2.15(4.86) |  |
| AQME-C4.5(7.98) |  |
| AQME-1NN(7.99) |  |
| AQME-RIPPER(8) |  |
| sKizzo-0.10-std(17.3) |  |
| sKizzo-0.10-qck(17.64) |  |
| qSS(18.45) |  |