Sota solver details
Prenex CNF Track

Instance: tlc05-uniform-depth-45
Best Solver: Rareqs_2018 Time: 0.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 1.22 - - nanoqbf_bloqqer 11.65
- - caqe-pre 1.22 - - GhostQ___cegar_pcnf_2019 13.9
- - Qute_opt500 1.29 - - Caqe-bloqqer-qdo 18.09
- - Qute_rrs 1.3 - - iprover_bloqqer_single 20.45
- - Qute_default 1.32 - - iprover_bloqqer_schedule 20.89
- - nanoqbf_hqspre 1.66 - - - -
- - depqbf_pre_QxQBH 2.19 - - - -
Rareqs_2018(0.91)
Caqe-hqspre(1.22)
caqe-pre(1.22)
Qute_opt500(1.29)
Qute_rrs(1.3)
Qute_default(1.32)
nanoqbf_hqspre(1.66)
depqbf_pre_QxQBH(2.19)
nanoqbf_bloqqer(11.65)
GhostQ___cegar_pcnf_2019(13.9)
Caqe-bloqqer-qdo(18.09)
iprover_bloqqer_single(20.45)
iprover_bloqqer_schedule(20.89)