Sota solver details
Prenex CNF Track

Instance: tlc05-uniform-depth-85
Best Solver: Rareqs_2018 Time: 2.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 3.49 - - nanoqbf_bloqqer 24.3
- - Qute_rrs 3.5 - - Caqe-bloqqer-qdo 45.32
- - Qute_opt500 3.53 - - GhostQ___cegar_pcnf_2019 46.29
- - nanoqbf_hqspre 5.89 - - iprover_bloqqer_schedule 105.14
- - caqe-pre 6 - - iprover_bloqqer_single 107.84
- - Caqe-hqspre 6.01 - - - -
- - depqbf_pre_QxQBH 7.66 - - - -
Rareqs_2018(2.07)
Qute_default(3.49)
Qute_rrs(3.5)
Qute_opt500(3.53)
nanoqbf_hqspre(5.89)
caqe-pre(6)
Caqe-hqspre(6.01)
depqbf_pre_QxQBH(7.66)
nanoqbf_bloqqer(24.3)
Caqe-bloqqer-qdo(45.32)
GhostQ___cegar_pcnf_2019(46.29)
iprover_bloqqer_schedule(105.14)
iprover_bloqqer_single(107.84)