Sota solver details
Prenex CNF Track

Instance: freecell03_5
Best Solver: caqe-pre Time: 105.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 105.91 - - - -
- - nanoqbf_hqspre 109.6 - - - -
- - Qute_rrs 183.96 - - - -
- - Qute_opt500 186.86 - - - -
- - Qute_default 187.01 - - - -
- - Rareqs_2018 277.74 - - - -
caqe-pre(105.35)
Caqe-hqspre(105.91)
nanoqbf_hqspre(109.6)
Qute_rrs(183.96)
Qute_opt500(186.86)
Qute_default(187.01)
Rareqs_2018(277.74)