Sota solver details
Prenex CNF Track

Instance: freecell02_4
Best Solver: caqe-pre Time: 36.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 36.45 - - nanoqbf_bloqqer 650.35
- - nanoqbf_hqspre 39.29 - - Caqe-bloqqer-qdo 673.77
- - depqbf_pre_QxQBH 50.95 - - - -
- - Qute_default 60.77 - - - -
- - Qute_rrs 60.79 - - - -
- - Qute_opt500 60.91 - - - -
- - Rareqs_2018 127.86 - - - -
caqe-pre(36.41)
Caqe-hqspre(36.45)
nanoqbf_hqspre(39.29)
depqbf_pre_QxQBH(50.95)
Qute_default(60.77)
Qute_rrs(60.79)
Qute_opt500(60.91)
Rareqs_2018(127.86)
nanoqbf_bloqqer(650.35)
Caqe-bloqqer-qdo(673.77)