Sota solver details
Prenex CNF Track

Instance: b18_PR_4_2
Best Solver: depqbf_prefix_opt_qdo Time: 3.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 4.94 - - depqbf_pre_QxQBH 89.01
- - Qute_opt500 9.86 - - - -
- - Qute_rrs 9.89 - - - -
- - Qute_default 10.08 - - - -
- - caqe-pre 11.19 - - - -
- - Caqe-hqspre 11.41 - - - -
- - nanoqbf_hqspre 11.72 - - - -
depqbf_prefix_opt_qdo(3.25)
Rareqs_2018(4.94)
Qute_opt500(9.86)
Qute_rrs(9.89)
Qute_default(10.08)
caqe-pre(11.19)
Caqe-hqspre(11.41)
nanoqbf_hqspre(11.72)
depqbf_pre_QxQBH(89.01)
iprover_bloqqer_single(384.82)
GhostQ___plain_pcnf_2019(495.27)
iprover_bloqqer_schedule(637.22)
GhostQ___cegar_pcnf_2019(681.4)