Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
Best Solver: depqbf_prefix_opt_qdo Time: 3.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_pcnf_2019 16.55 Caqe-hqspre 25.67 Hiqqer2019_3 53.11
- - - - caqe-pre 25.72 depqbf_pre_QxQBH 65.68
- - - - Hiqqer2019_2 30.73 Qute_rrs 68.66
- - - - Qute_default 31.3 - -
- - - - Hiqqer2019_1 36.35 - -
depqbf_prefix_opt_qdo(3.71)
GhostQ___cegar_pcnf_2019(16.55)
Caqe-hqspre(25.67)
caqe-pre(25.72)
Hiqqer2019_2(30.73)
Qute_default(31.3)
Hiqqer2019_1(36.35)
Hiqqer2019_3(53.11)
depqbf_pre_QxQBH(65.68)
Qute_rrs(68.66)
Caqe-bloqqer-qdo(604.35)