Sota solver details
Prenex CNF Track

Instance: tlc05-uniform-depth-65
Best Solver: Rareqs_2018 Time: 1.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 2.59 - - nanoqbf_bloqqer 17.87
- - Qute_rrs 2.59 - - GhostQ___cegar_pcnf_2019 27.29
- - Qute_default 2.63 - - Caqe-bloqqer-qdo 30.08
- - caqe-pre 2.69 - - iprover_bloqqer_single 81.78
- - Caqe-hqspre 2.75 - - iprover_bloqqer_schedule 82.65
- - nanoqbf_hqspre 3.29 - - - -
- - depqbf_pre_QxQBH 4.28 - - - -
Rareqs_2018(1.52)
Qute_opt500(2.59)
Qute_rrs(2.59)
Qute_default(2.63)
caqe-pre(2.69)
Caqe-hqspre(2.75)
nanoqbf_hqspre(3.29)
depqbf_pre_QxQBH(4.28)
nanoqbf_bloqqer(17.87)
GhostQ___cegar_pcnf_2019(27.29)
Caqe-bloqqer-qdo(30.08)
iprover_bloqqer_single(81.78)
iprover_bloqqer_schedule(82.65)