Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: beemldelec4b1_c0to127.sat
Best Solver: Caqe-hqspre Time: 54.89 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 55.17 - - - -
- - Qute_rrs 167.25 - - - -
- - Qute_default 193.29 - - - -
Caqe-hqspre(54.89)
caqe-pre(55.17)
Qute_rrs(167.25)
Qute_default(193.29)