Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: k_branch_p-21
Best Solver: prefix-opt-depqbf Time: 11.97 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qbfrelay-limited-depqbf 12.23 caqe_2017_v1 77.61 HQSpre_solver 226.41
- - caqe_2017_v2 50.58 caqe_2017_v3 78.93 Qute_opt500 368.74
- - - - - - Qute_random 373.01
- - - - - - Qute_default 384.75
prefix-opt-depqbf(11.97)
qbfrelay-limited-depqbf(12.23)
caqe_2017_v2(50.58)
caqe_2017_v1(77.61)
caqe_2017_v3(78.93)
HQSpre_solver(226.41)
Qute_opt500(368.74)
Qute_random(373.01)
Qute_default(384.75)