QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'07
Best Solver: QUANTOR_2.15 Time: 0.38 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | AQME-1NN | 1.05 | sKizzo-0.10-qck | 2.79 | squolem | 6.25 |
| - | - | AQME-C4.5 | 1.14 | sKizzo-0.10-std | 2.8 | preQuel_sKizzo-0.10 | 6.5 |
| - | - | AQME-RIPPER | 1.16 | EBDDRES | 3.45 | - | - |
| QUANTOR_2.15(0.38) |  |
| AQME-1NN(1.05) |  |
| AQME-C4.5(1.14) |  |
| AQME-RIPPER(1.16) |  |
| sKizzo-0.10-qck(2.79) |  |
| sKizzo-0.10-std(2.8) |  |
| EBDDRES(3.45) |  |
| squolem(6.25) |  |
| preQuel_sKizzo-0.10(6.5) |  |
| qZilla(64.9) |  |
| aigqbf_s(124.06) |  |
| qSS(135.89) |  |
| aigqbf_sr(200.22) |  |