Sota solver details
Prenex CNF Track

Instance: c3_BMC_p1_k256
Best Solver: Rareqs_2018 Time: 5.92 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - nanoqbf_bloqqer 37.36 nanoqbf_hqspre 60.19
- - - - Caqe-hqspre 55.84 Caqe-bloqqer-qdo 88.02
- - - - depqbf_pre_QxQBH 56.81 Qute_rrs 222.66
- - - - caqe-pre 57.28 Qute_default 223.39
- - - - - - Qute_opt500 227.04
Rareqs_2018(5.92)
nanoqbf_bloqqer(37.36)
Caqe-hqspre(55.84)
depqbf_pre_QxQBH(56.81)
caqe-pre(57.28)
nanoqbf_hqspre(60.19)
Caqe-bloqqer-qdo(88.02)
Qute_rrs(222.66)
Qute_default(223.39)
Qute_opt500(227.04)
GhostQ___cegar_pcnf_2019(703.01)