Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: b18_PR_4_2
Best Solver: depqbf_prefix_opt_qdo Time: 3.23 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 9.79 - - depqbf_pre_QxQBH 89.15
- - Qute_default 9.89 - - - -
- - Qute_rrs 10.08 - - - -
- - caqe-pre 11.38 - - - -
- - Caqe-hqspre 11.4 - - - -
depqbf_prefix_opt_qdo(3.23)
Qute_opt500(9.79)
Qute_default(9.89)
Qute_rrs(10.08)
caqe-pre(11.38)
Caqe-hqspre(11.4)
depqbf_pre_QxQBH(89.15)
GhostQ___plain_pcnf_2019(453.23)
GhostQ___cegar_pcnf_2019(668.48)