QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'07
Best Solver: AQME-1NN Time: 0.7 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | AQME-C4.5 | 0.78 | ncQuBE1.0 | 3.54 | sKizzo-0.10-qck | 18.81 |
| - | - | AQME-RIPPER | 0.82 | - | - | qZilla | 43.52 |
| - | - | aigqbf_s | 1.27 | - | - | Adaptive2clsQ | 52.04 |
| - | - | ncQuBE1.1 | 1.92 | - | - | - | - |
| - | - | aigqbf_sr | 2.04 | - | - | - | - |
| AQME-1NN(0.7) |  |
| AQME-C4.5(0.78) |  |
| AQME-RIPPER(0.82) |  |
| aigqbf_s(1.27) |  |
| ncQuBE1.1(1.92) |  |
| aigqbf_sr(2.04) |  |
| ncQuBE1.0(3.54) |  |
| sKizzo-0.10-qck(18.81) |  |
| qZilla(43.52) |  |
| Adaptive2clsQ(52.04) |  |
| qSS(78.24) |  |
| sKizzo-0.10-std(78.56) |  |