Sota solver details
Prenex CNF Track

Instance: fpu-10Xh-correct04-uniform-depth-28
Best Solver: Rareqs_2018 Time: 36.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf_prefix_opt_qdo 262.1 nanoqbf_bloqqer 367.45
- - - - - - Qute_rrs 410.26
- - - - - - caqe-pre 429.49
- - - - - - Caqe-hqspre 449.89
- - - - - - nanoqbf_hqspre 499.78
- - - - - - Qute_default 504.32
- - - - - - depqbf_pre_QxQBH 816.25
Rareqs_2018(36.08)
depqbf_prefix_opt_qdo(262.1)
nanoqbf_bloqqer(367.45)
Qute_rrs(410.26)
caqe-pre(429.49)
Caqe-hqspre(449.89)
nanoqbf_hqspre(499.78)
Qute_default(504.32)
depqbf_pre_QxQBH(816.25)