Sota solver details
Prenex CNF Track

Instance: c1_Debug_s3_f2_e1_v2
Best Solver: nanoqbf_bloqqer Time: 59.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 112.05 - - - -
- - Caqe-hqspre 112.49 - - - -
- - nanoqbf_hqspre 127.13 - - - -
- - Qute_opt500 130.21 - - - -
- - Qute_rrs 131.38 - - - -
- - Qute_default 132.53 - - - -
- - Rareqs_2018 180.33 - - - -

nanoqbf_bloqqer(59.85)
caqe-pre(112.05)
Caqe-hqspre(112.49)
nanoqbf_hqspre(127.13)
Qute_opt500(130.21)
Qute_rrs(131.38)
Qute_default(132.53)
Rareqs_2018(180.33)