Sota solver details
Prenex CNF Track

Instance: tlc05-uniform-depth-75
Best Solver: Rareqs_2018 Time: 1.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_rrs 2.98 - - nanoqbf_bloqqer 20.68
- - Qute_default 2.99 - - GhostQ___cegar_pcnf_2019 36.11
- - Qute_opt500 2.99 - - Caqe-bloqqer-qdo 37.59
- - caqe-pre 3.2 - - iprover_bloqqer_schedule 90.17
- - Caqe-hqspre 3.29 - - iprover_bloqqer_single 90.68
- - nanoqbf_hqspre 5.02 - - - -
- - depqbf_pre_QxQBH 6.5 - - - -
Rareqs_2018(1.73)
Qute_rrs(2.98)
Qute_default(2.99)
Qute_opt500(2.99)
caqe-pre(3.2)
Caqe-hqspre(3.29)
nanoqbf_hqspre(5.02)
depqbf_pre_QxQBH(6.5)
nanoqbf_bloqqer(20.68)
GhostQ___cegar_pcnf_2019(36.11)
Caqe-bloqqer-qdo(37.59)
iprover_bloqqer_schedule(90.17)
iprover_bloqqer_single(90.68)