Sota solver details
Prenex CNF Track

Instance: k_ph_n-19
Best Solver: nanoqbf_hqspre Time: 4.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 6.89 depqbf_prefix_opt_qdo 24.66 Rareqs_2018 51
- - Caqe-hqspre 6.93 Caqe-bloqqer-qdo 39.02 - -
- - Qute_opt500 8.65 - - - -
- - Qute_default 8.66 - - - -
- - Qute_rrs 8.67 - - - -
- - depqbf_pre_QxQBH 10.69 - - - -
nanoqbf_hqspre(4.04)
caqe-pre(6.89)
Caqe-hqspre(6.93)
Qute_opt500(8.65)
Qute_default(8.66)
Qute_rrs(8.67)
depqbf_pre_QxQBH(10.69)
depqbf_prefix_opt_qdo(24.66)
Caqe-bloqqer-qdo(39.02)
Rareqs_2018(51)
GhostQ___cegar_pcnf_2019(642.93)