Sota solver details
Prenex CNF Track

Instance: pipesnotankage17_6
Best Solver: caqe-pre Time: 64.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 64.45 - - - -
- - nanoqbf_hqspre 66.77 - - - -
- - Qute_default 79.68 - - - -
- - Qute_opt500 79.85 - - - -
- - Qute_rrs 80.22 - - - -
- - Rareqs_2018 229.26 - - - -

caqe-pre(64.19)
Caqe-hqspre(64.45)
nanoqbf_hqspre(66.77)
Qute_default(79.68)
Qute_opt500(79.85)
Qute_rrs(80.22)
Rareqs_2018(229.26)