Sota solver details
Prenex CNF Track

Instance: k_ph_n-20
Best Solver: nanoqbf_hqspre Time: 5.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 8.02 - - depqbf_prefix_opt_qdo 72.58
- - Caqe-hqspre 8.03 - - - -
- - Qute_opt500 10.12 - - - -
- - Qute_default 10.19 - - - -
- - Qute_rrs 10.19 - - - -
- - depqbf_pre_QxQBH 12.86 - - - -
- - Rareqs_2018 12.9 - - - -
- - Caqe-bloqqer-qdo 19.13 - - - -
nanoqbf_hqspre(5.58)
caqe-pre(8.02)
Caqe-hqspre(8.03)
Qute_opt500(10.12)
Qute_default(10.19)
Qute_rrs(10.19)
depqbf_pre_QxQBH(12.86)
Rareqs_2018(12.9)
Caqe-bloqqer-qdo(19.13)
depqbf_prefix_opt_qdo(72.58)