Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: b20_PR_7_20
Best Solver: depqbf_prefix_opt_qdo Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Qute_default 1.98
- - - - - - Qute_rrs 2
- - - - - - Qute_opt500 2.02
- - - - - - Caqe-hqspre 2.36
- - - - - - caqe-pre 2.39
- - - - - - depqbf_pre_QxQBH 3.52
- - - - - - GhostQ___plain_pcnf_2019 4.19
depqbf_prefix_opt_qdo(0.05)
Qute_default(1.98)
Qute_rrs(2)
Qute_opt500(2.02)
Caqe-hqspre(2.36)
caqe-pre(2.39)
depqbf_pre_QxQBH(3.52)
GhostQ___plain_pcnf_2019(4.19)
GhostQ___cegar_pcnf_2019(9.18)
Hiqqer2019_2(720.29)