Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: GuidanceService
Best Solver: Qute_default Time: 3.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - Caqe-hqspre 28.08 depqbf_pre_QxQBH 156.34
- - - - caqe-pre 28.15 - -
- - - - Qute_rrs 32.11 - -
Qute_default(3.25)
Caqe-hqspre(28.08)
caqe-pre(28.15)
Qute_rrs(32.11)
depqbf_pre_QxQBH(156.34)