Sota solver details
Prenex CNF Track

Instance: fpu-10Xh-error01-uniform-depth-20
Best Solver: Rareqs_2018 Time: 1.84 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 3.87 depqbf_prefix_opt_qdo 14.01 depqbf_pre_QxQBH 20.14
- - Caqe-hqspre 3.91 iprover_bloqqer_single 14.5 - -
- - Qute_rrs 4.83 nanoqbf_bloqqer 14.66 - -
- - Qute_default 4.89 iprover_bloqqer_schedule 15.03 - -
- - Qute_opt500 4.91 Caqe-bloqqer-qdo 15.06 - -
- - nanoqbf_hqspre 5.5 - - - -
Rareqs_2018(1.84)
caqe-pre(3.87)
Caqe-hqspre(3.91)
Qute_rrs(4.83)
Qute_default(4.89)
Qute_opt500(4.91)
nanoqbf_hqspre(5.5)
depqbf_prefix_opt_qdo(14.01)
iprover_bloqqer_single(14.5)
nanoqbf_bloqqer(14.66)
iprover_bloqqer_schedule(15.03)
Caqe-bloqqer-qdo(15.06)
depqbf_pre_QxQBH(20.14)