QBF Solver Evaluation Portal
qbflib.orgSota solver details
QBFEVAL'17 - Prenex CNF Track
Best Solver: caqe_2017_v1 Time: 2.31 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | caqe_2017_v3 | 2.35 | caqe_2017_v2 | 19.82 | qbfrelay | 23.41 |
| - | - | prefix-opt-depqbf | 9.56 | - | - | HQSpre_solver | 111.42 |
| - | - | qbfrelay-limited-depqbf | 9.73 | - | - | - | - |
| caqe_2017_v1(2.31) |  |
| caqe_2017_v3(2.35) |  |
| prefix-opt-depqbf(9.56) |  |
| qbfrelay-limited-depqbf(9.73) |  |
| caqe_2017_v2(19.82) |  |
| qbfrelay(23.41) |  |
| HQSpre_solver(111.42) |  |
| Qute_opt500(326.38) |  |
| Qute_default(334.25) |  |
| Qute_random(387.92) |  |