Sota solver details
Prenex CNF Track

Instance: k_ph_n-18
Best Solver: nanoqbf_hqspre Time: 2.89 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 3.63 Rareqs_2018 16.31 Caqe-bloqqer-qdo 31.53
- - caqe-pre 3.69 iprover_bloqqer_single 16.91 - -
- - Qute_rrs 4.26 iprover_bloqqer_schedule 19.03 - -
- - Qute_opt500 4.3 - - - -
- - Qute_default 4.34 - - - -
- - depqbf_pre_QxQBH 6.39 - - - -
- - nanoqbf_bloqqer 10.28 - - - -
- - depqbf_prefix_opt_qdo 11.52 - - - -
nanoqbf_hqspre(2.89)
Caqe-hqspre(3.63)
caqe-pre(3.69)
Qute_rrs(4.26)
Qute_opt500(4.3)
Qute_default(4.34)
depqbf_pre_QxQBH(6.39)
nanoqbf_bloqqer(10.28)
depqbf_prefix_opt_qdo(11.52)
Rareqs_2018(16.31)
iprover_bloqqer_single(16.91)
iprover_bloqqer_schedule(19.03)
Caqe-bloqqer-qdo(31.53)
GhostQ___plain_pcnf_2019(741.99)
GhostQ___cegar_pcnf_2019(811.61)