Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: depots09_11
Best Solver: caqe-pre Time: 170.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 171.34 - - - -
- - Qute_default 219.82 - - - -
- - Qute_opt500 220.23 - - - -
- - Qute_rrs 220.56 - - - -
caqe-pre(170.63)
Caqe-hqspre(171.34)
Qute_default(219.82)
Qute_opt500(220.23)
Qute_rrs(220.56)