Sota solver details
Prenex CNF Track

Instance: small-swap1-fixpoint-8
Best Solver: Rareqs_2018 Time: 0.8 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 0.9 - - - -
- - Caqe-hqspre 0.93 - - - -
- - nanoqbf_hqspre 1.01 - - - -
- - depqbf_pre_QxQBH 1.3 - - - -
- - Qute_default 1.51 - - - -
- - Qute_opt500 1.51 - - - -
- - Qute_rrs 1.52 - - - -
- - Caqe-bloqqer-qdo 1.67 - - - -
- - iprover_bloqqer_single 1.81 - - - -
- - iprover_bloqqer_schedule 1.84 - - - -
- - nanoqbf_bloqqer 2.58 - - - -
Rareqs_2018(0.8)
caqe-pre(0.9)
Caqe-hqspre(0.93)
nanoqbf_hqspre(1.01)
depqbf_pre_QxQBH(1.3)
Qute_default(1.51)
Qute_opt500(1.51)
Qute_rrs(1.52)
Caqe-bloqqer-qdo(1.67)
iprover_bloqqer_single(1.81)
iprover_bloqqer_schedule(1.84)
nanoqbf_bloqqer(2.58)