Sota solver details
Prenex CNF Track

Instance: freecell02_6
Best Solver: caqe-pre Time: 60.48 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 60.59 - - - -
- - nanoqbf_hqspre 63.17 - - - -
- - Qute_opt500 90.16 - - - -
- - Qute_default 90.74 - - - -
- - Qute_rrs 90.79 - - - -
- - Rareqs_2018 229.44 - - - -
caqe-pre(60.48)
Caqe-hqspre(60.59)
nanoqbf_hqspre(63.17)
Qute_opt500(90.16)
Qute_default(90.74)
Qute_rrs(90.79)
Rareqs_2018(229.44)