Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: tlc05-uniform-depth-75
Best Solver: Qute_rrs Time: 2.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 2.93 - - GhostQ___cegar_pcnf_2019 35.76
- - Qute_default 2.99 - - Caqe-bloqqer-qdo 36.96
- - Caqe-hqspre 3.17 - - - -
- - caqe-pre 3.23 - - - -
- - depqbf_pre_QxQBH 6.44 - - - -
Qute_rrs(2.91)
Qute_opt500(2.93)
Qute_default(2.99)
Caqe-hqspre(3.17)
caqe-pre(3.23)
depqbf_pre_QxQBH(6.44)
GhostQ___cegar_pcnf_2019(35.76)
Caqe-bloqqer-qdo(36.96)