Sota solver details
Prenex CNF Track

Instance: c4_Debug_s3_f2_e2_v3
Best Solver: caqe-pre Time: 150.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 151.23 - - - -
- - nanoqbf_hqspre 156.5 - - - -
- - Qute_default 163.7 - - - -
- - Qute_opt500 164.58 - - - -
- - Qute_rrs 164.95 - - - -

caqe-pre(150.03)
Caqe-hqspre(151.23)
nanoqbf_hqspre(156.5)
Qute_default(163.7)
Qute_opt500(164.58)
Qute_rrs(164.95)