QBF Solver Evaluation Portal
qbflib.orgSota solver details
Prenex CNF Track
Best Solver: iprover_bloqqer_single Time: 22.44 s.
CPU Time differences with best solver
| x1 | x5 | x10 | x100 | ||||
|---|---|---|---|---|---|---|---|
| Solver | Time | Solver | Time | Solver | Time | Solver | Time |
| - | - | Caqe-bloqqer-qdo | 22.5 | depqbf_pre_QxQBH | 208.43 | Caqe-hqspre | 324.33 |
| - | - | iprover_bloqqer_schedule | 22.78 | - | - | caqe-pre | 335.94 |
| - | - | - | - | - | - | Qute_rrs | 875.79 |
| iprover_bloqqer_single(22.44) |  |
| Caqe-bloqqer-qdo(22.5) |  |
| iprover_bloqqer_schedule(22.78) |  |
| depqbf_pre_QxQBH(208.43) |  |
| Caqe-hqspre(324.33) |  |
| caqe-pre(335.94) |  |
| Qute_rrs(875.79) |  |