Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: k_branch_n-17
Best Solver: Caqe-bloqqer-qdo Time: 10.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - depqbf_pre_QxQBH 153.96
- - - - - - caqe-pre 154.26
- - - - - - Caqe-hqspre 160.61
- - - - - - Qute_opt500 201.26
- - - - - - Qute_rrs 209.51
- - - - - - Qute_default 219.06
Caqe-bloqqer-qdo(10.73)
depqbf_pre_QxQBH(153.96)
caqe-pre(154.26)
Caqe-hqspre(160.61)
Qute_opt500(201.26)
Qute_rrs(209.51)
Qute_default(219.06)