QBF Solver Evaluation Portal
qbflib.orgSota solver details
Prenex CNF Track
Best Solver: depqbf_prefix_opt_qdo Time: 3.49 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | GhostQ___plain_pcnf_2019 | 4.97 | - | - | nanoqbf_hqspre | 50.47 |
| - | - | GhostQ___cegar_pcnf_2019 | 5.9 | - | - | depqbf_pre_QxQBH | 63.67 |
| - | - | caqe-pre | 13.48 | - | - | - | - |
| - | - | Caqe-hqspre | 13.56 | - | - | - | - |
| depqbf_prefix_opt_qdo(3.49) |  |
| GhostQ___plain_pcnf_2019(4.97) |  |
| GhostQ___cegar_pcnf_2019(5.9) |  |
| caqe-pre(13.48) |  |
| Caqe-hqspre(13.56) |  |
| nanoqbf_hqspre(50.47) |  |
| depqbf_pre_QxQBH(63.67) |  |