Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: add5_REDUCED
Best Solver: Caqe-hqspre Time: 15.98 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 16.02 - - Qute_rrs 386.74
- - depqbf_prefix_opt_qdo 19.39 - - GhostQ___cegar_pcnf_2019 597.83
- - Caqe-bloqqer-qdo 26.19 - - - -
- - Hiqqer2019_2 47.84 - - - -
Caqe-hqspre(15.98)
caqe-pre(16.02)
depqbf_prefix_opt_qdo(19.39)
Caqe-bloqqer-qdo(26.19)
Hiqqer2019_2(47.84)
Qute_rrs(386.74)
GhostQ___cegar_pcnf_2019(597.83)