Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: b21_PR_8_20
Best Solver: depqbf_prefix_opt_qdo Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Qute_opt500 1.67
- - - - - - Qute_default 1.68
- - - - - - Qute_rrs 1.68
- - - - - - caqe-pre 1.8
- - - - - - Caqe-hqspre 1.84
- - - - - - depqbf_pre_QxQBH 2.31
depqbf_prefix_opt_qdo(0.04)
Qute_opt500(1.67)
Qute_default(1.68)
Qute_rrs(1.68)
caqe-pre(1.8)
Caqe-hqspre(1.84)
depqbf_pre_QxQBH(2.31)
GhostQ___cegar_pcnf_2019(5.28)
GhostQ___plain_pcnf_2019(6.19)