Sota solver details
Prenex CNF Track

Instance: tlc05-uniform-depth-40
Best Solver: Rareqs_2018 Time: 0.81 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 0.9 - - nanoqbf_bloqqer 10.5
- - caqe-pre 0.91 - - GhostQ___cegar_pcnf_2019 11.44
- - Qute_default 0.97 - - Caqe-bloqqer-qdo 15.1
- - Qute_opt500 0.99 - - iprover_bloqqer_schedule 16.84
- - Qute_rrs 1.01 - - iprover_bloqqer_single 17.2
- - nanoqbf_hqspre 1.36 - - - -
- - depqbf_pre_QxQBH 1.73 - - - -
Rareqs_2018(0.81)
Caqe-hqspre(0.9)
caqe-pre(0.91)
Qute_default(0.97)
Qute_opt500(0.99)
Qute_rrs(1.01)
nanoqbf_hqspre(1.36)
depqbf_pre_QxQBH(1.73)
nanoqbf_bloqqer(10.5)
GhostQ___cegar_pcnf_2019(11.44)
Caqe-bloqqer-qdo(15.1)
iprover_bloqqer_schedule(16.84)
iprover_bloqqer_single(17.2)