Sota solver details
Prenex CNF Track

Instance: pipesnotankage17_7
Best Solver: Caqe-hqspre Time: 63.97 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 64.02 - - - -
- - nanoqbf_hqspre 66.2 - - - -
- - Qute_default 90.52 - - - -
- - Qute_rrs 90.79 - - - -
- - Qute_opt500 91.25 - - - -
- - Rareqs_2018 225.59 - - - -

Caqe-hqspre(63.97)
caqe-pre(64.02)
nanoqbf_hqspre(66.2)
Qute_default(90.52)
Qute_rrs(90.79)
Qute_opt500(91.25)
Rareqs_2018(225.59)