Sota solver details
Prenex CNF Track

Instance: beemldelec4b1_c0to127.sat
Best Solver: caqe-pre Time: 55.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 55.24 - - - -
- - Qute_rrs 187.93 - - - -
- - Qute_default 207.8 - - - -
caqe-pre(55.07)
Caqe-hqspre(55.24)
Qute_rrs(187.93)
Qute_default(207.8)