QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'07
Best Solver: Adaptive2clsQ Time: 7.22 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | qZilla | 7.38 | qSS | 36.48 | - | - |
| - | - | QUANTOR_2.15 | 7.81 | - | - | - | - |
| - | - | AQME-1NN | 13.12 | - | - | - | - |
| - | - | AQME-C4.5 | 13.18 | - | - | - | - |
| - | - | AQME-RIPPER | 13.57 | - | - | - | - |
| - | - | sKizzo-0.10-qck | 26.65 | - | - | - | - |
| - | - | sKizzo-0.10-std | 31.97 | - | - | - | - |
| Adaptive2clsQ(7.22) |  |
| qZilla(7.38) |  |
| QUANTOR_2.15(7.81) |  |
| AQME-1NN(13.12) |  |
| AQME-C4.5(13.18) |  |
| AQME-RIPPER(13.57) |  |
| sKizzo-0.10-qck(26.65) |  |
| sKizzo-0.10-std(31.97) |  |
| qSS(36.48) |  |