Sota solver details
Prenex CNF Track

Instance: b21_PR_8_20
Best Solver: depqbf_prefix_opt_qdo Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Qute_default 1.68
- - - - - - Qute_opt500 1.71
- - - - - - Qute_rrs 1.72
- - - - - - caqe-pre 1.8
- - - - - - Caqe-hqspre 1.83
- - - - - - nanoqbf_hqspre 2.19
- - - - - - depqbf_pre_QxQBH 2.34
depqbf_prefix_opt_qdo(0.04)
Qute_default(1.68)
Qute_opt500(1.71)
Qute_rrs(1.72)
caqe-pre(1.8)
Caqe-hqspre(1.83)
nanoqbf_hqspre(2.19)
depqbf_pre_QxQBH(2.34)
GhostQ___cegar_pcnf_2019(5.4)
GhostQ___plain_pcnf_2019(6.19)
iprover_bloqqer_single(157.73)