Sota solver details
Prenex CNF Track

Instance: c6_BMC_p1_k1024
Best Solver: Rareqs_2018 Time: 2.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_prefix_opt_qdo 9.44 - - nanoqbf_bloqqer 48.68
- - - - - - depqbf_pre_QxQBH 55.26
- - - - - - nanoqbf_hqspre 61.95
Rareqs_2018(2.73)
depqbf_prefix_opt_qdo(9.44)
nanoqbf_bloqqer(48.68)
depqbf_pre_QxQBH(55.26)
nanoqbf_hqspre(61.95)
caqe-pre(453.24)
Qute_rrs(484.08)
Qute_default(572.4)
Caqe-hqspre(849.59)
Caqe-bloqqer-qdo(891.18)