Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: pipesnotankage19_9
Best Solver: Caqe-hqspre Time: 215.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 218.81 - - - -
- - Qute_rrs 298.43 - - - -
- - Qute_opt500 300.11 - - - -
- - Qute_default 300.74 - - - -
Caqe-hqspre(215.42)
caqe-pre(218.81)
Qute_rrs(298.43)
Qute_opt500(300.11)
Qute_default(300.74)