Sota solver details
Prenex CNF Track

Instance: fpu-01Xh-error02-uniform-depth-24
Best Solver: Rareqs_2018 Time: 2.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 4.6 nanoqbf_bloqqer 16.5 depqbf_pre_QxQBH 24.1
- - Caqe-hqspre 4.62 depqbf_prefix_opt_qdo 16.52 - -
- - Qute_rrs 5.71 iprover_bloqqer_single 16.84 - -
- - Qute_opt500 5.78 iprover_bloqqer_schedule 17.38 - -
- - Qute_default 5.85 Caqe-bloqqer-qdo 17.39 - -
- - nanoqbf_hqspre 6.5 - - - -
Rareqs_2018(2.12)
caqe-pre(4.6)
Caqe-hqspre(4.62)
Qute_rrs(5.71)
Qute_opt500(5.78)
Qute_default(5.85)
nanoqbf_hqspre(6.5)
nanoqbf_bloqqer(16.5)
depqbf_prefix_opt_qdo(16.52)
iprover_bloqqer_single(16.84)
iprover_bloqqer_schedule(17.38)
Caqe-bloqqer-qdo(17.39)
depqbf_pre_QxQBH(24.1)