Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: k_branch_n-21
Best Solver: iProver-qbf-bloqqer-2017-07-27-v3 Time: 17.84 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_bqsts2.0 18.1 qbfrelay-limited-depqbf 115.18 Qute_random 434.94
- - xb-qsts_xbqsts2.0 18.1 HQSpre_solver 164.74 Qute_opt500 442.52
- - dynQBF-bloqqer-hqspre 18.13 - - - -
- - xb-qsts_xbqsts1.0 18.6 - - - -
- - qbfrelay 18.77 - - - -
iProver-qbf-bloqqer-2017-07-27-v3(17.84)
xb-qsts_bqsts2.0(18.1)
xb-qsts_xbqsts2.0(18.1)
dynQBF-bloqqer-hqspre(18.13)
xb-qsts_xbqsts1.0(18.6)
qbfrelay(18.77)
qbfrelay-limited-depqbf(115.18)
HQSpre_solver(164.74)
Qute_random(434.94)
Qute_opt500(442.52)