Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: tlc05-uniform-depth-45
Best Solver: caqe-pre Time: 1.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 1.21 - - GhostQ___cegar_pcnf_2019 13.8
- - Qute_opt500 1.26 - - Hiqqer2019_2 15.47
- - Qute_rrs 1.29 - - Caqe-bloqqer-qdo 16.95
- - Qute_default 1.32 - - - -
- - depqbf_pre_QxQBH 2.1 - - - -
caqe-pre(1.2)
Caqe-hqspre(1.21)
Qute_opt500(1.26)
Qute_rrs(1.29)
Qute_default(1.32)
depqbf_pre_QxQBH(2.1)
GhostQ___cegar_pcnf_2019(13.8)
Hiqqer2019_2(15.47)
Caqe-bloqqer-qdo(16.95)