QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'07
Best Solver: aigqbf_s Time: 2.52 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | aigqbf_sr | 3.2 | preQuel_sKizzo-0.10 | 20.61 | ncQuBE1.1 | 64.34 |
| - | - | - | - | - | - | sKizzo-0.10-qck | 100.89 |
| - | - | - | - | - | - | sKizzo-0.10-std | 116.47 |
| - | - | - | - | - | - | AQME-C4.5 | 227.39 |
| aigqbf_s(2.52) |  |
| aigqbf_sr(3.2) |  |
| preQuel_sKizzo-0.10(20.61) |  |
| ncQuBE1.1(64.34) |  |
| sKizzo-0.10-qck(100.89) |  |
| sKizzo-0.10-std(116.47) |  |
| AQME-C4.5(227.39) |  |
| ncQuBE1.0(350.61) |  |
| qSS(409.25) |  |