Sota solver details
Prenex CNF Track

Instance: ntrivil_query71_1344
Best Solver: depqbf_prefix_opt_qdo Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
nanoqbf_hqspre 0 - - - - Caqe-hqspre 0.66
Rareqs_2018 0 - - - - caqe-pre 0.7
- - - - - - Qute_opt500 0.9
- - - - - - Qute_rrs 0.9
- - - - - - Caqe-bloqqer-qdo 0.91
- - - - - - Qute_default 0.91
- - - - - - depqbf_pre_QxQBH 0.97
depqbf_prefix_opt_qdo(0)
nanoqbf_hqspre(0)
Rareqs_2018(0)
Caqe-hqspre(0.66)
caqe-pre(0.7)
Qute_opt500(0.9)
Qute_rrs(0.9)
Caqe-bloqqer-qdo(0.91)
Qute_default(0.91)
depqbf_pre_QxQBH(0.97)
GhostQ___plain_pcnf_2019(1.13)
nanoqbf_bloqqer(1.18)
GhostQ___cegar_pcnf_2019(1.21)
iprover_bloqqer_single(135.63)
iprover_bloqqer_schedule(328.01)