Sota solver details
Prenex CNF Track

Instance: depots09_12
Best Solver: caqe-pre Time: 173.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 174 - - - -
- - nanoqbf_hqspre 184.94 - - - -
- - Qute_opt500 222.49 - - - -
- - Qute_default 222.6 - - - -
- - Qute_rrs 222.63 - - - -
- - Rareqs_2018 621.1 - - - -
caqe-pre(173.12)
Caqe-hqspre(174)
nanoqbf_hqspre(184.94)
Qute_opt500(222.49)
Qute_default(222.6)
Qute_rrs(222.63)
Rareqs_2018(621.1)