Sota solver details
Prenex CNF Track

Instance: pipesnotankage14_10
Best Solver: Caqe-hqspre Time: 50.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 51.41 - - depqbf_pre_QxQBH 524.94
- - nanoqbf_hqspre 55.17 - - nanoqbf_bloqqer 533.42
- - Qute_default 78.38 - - - -
- - Qute_opt500 78.56 - - - -
- - Qute_rrs 78.73 - - - -
- - Rareqs_2018 163.63 - - - -
Caqe-hqspre(50.58)
caqe-pre(51.41)
nanoqbf_hqspre(55.17)
Qute_default(78.38)
Qute_opt500(78.56)
Qute_rrs(78.73)
Rareqs_2018(163.63)
depqbf_pre_QxQBH(524.94)
nanoqbf_bloqqer(533.42)