Sota solver details
Prenex CNF Track

Instance: small-swap1-fixpoint-9
Best Solver: nanoqbf_hqspre Time: 2.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - iprover_bloqqer_schedule 2.38 - - - -
- - Caqe-bloqqer-qdo 2.44 - - - -
- - caqe-pre 2.45 - - - -
- - Caqe-hqspre 2.5 - - - -
- - iprover_bloqqer_single 2.5 - - - -
- - depqbf_pre_QxQBH 3.08 - - - -
- - Rareqs_2018 3.09 - - - -
- - Qute_rrs 3.19 - - - -
- - Qute_opt500 3.22 - - - -
- - Qute_default 3.24 - - - -
- - nanoqbf_bloqqer 3.82 - - - -

iprover_bloqqer_schedule(2.38)
nanoqbf_hqspre(2.38)
Caqe-bloqqer-qdo(2.44)
caqe-pre(2.45)
Caqe-hqspre(2.5)
iprover_bloqqer_single(2.5)
depqbf_pre_QxQBH(3.08)
Rareqs_2018(3.09)
Qute_rrs(3.19)
Qute_opt500(3.22)
Qute_default(3.24)
nanoqbf_bloqqer(3.82)