Sota solver details
Prenex CNF Track

Instance: s05378_PR_5_20
Best Solver: caqe-pre Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_prefix_opt_qdo 0.02 - - Caqe-hqspre 0.5
- - - - - - Rareqs_2018 0.53
- - - - - - Qute_default 0.61
- - - - - - Qute_rrs 0.61
- - - - - - Qute_opt500 0.66
- - - - - - nanoqbf_hqspre 0.69
- - - - - - depqbf_pre_QxQBH 0.84
- - - - - - Caqe-bloqqer-qdo 0.99
caqe-pre(0)
depqbf_prefix_opt_qdo(0.02)
Caqe-hqspre(0.5)
Rareqs_2018(0.53)
Qute_default(0.61)
Qute_rrs(0.61)
Qute_opt500(0.66)
nanoqbf_hqspre(0.69)
depqbf_pre_QxQBH(0.84)
Caqe-bloqqer-qdo(0.99)
GhostQ___plain_pcnf_2019(1.81)
GhostQ___cegar_pcnf_2019(3.47)
nanoqbf_bloqqer(6.31)
iprover_bloqqer_single(109.7)