Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: pipesnotankage15_10
Best Solver: Caqe-hqspre Time: 48.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 48.09 - - depqbf_pre_QxQBH 514.96
- - Qute_opt500 64.87 - - - -
- - Qute_default 65.17 - - - -
- - Qute_rrs 65.24 - - - -
Caqe-hqspre(48.09)
caqe-pre(48.09)
Qute_opt500(64.87)
Qute_default(65.17)
Qute_rrs(65.24)
depqbf_pre_QxQBH(514.96)