Sota solver details
Prenex CNF Track

Instance: small-swap1-fixpoint-6
Best Solver: Rareqs_2018 Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
caqe-pre 0 - - - - Caqe-hqspre 0.5
- - - - - - nanoqbf_hqspre 0.56
- - - - - - depqbf_pre_QxQBH 0.74
- - - - - - Qute_rrs 0.93
- - - - - - Qute_opt500 0.95
- - - - - - Qute_default 0.96
caqe-pre(0)
Rareqs_2018(0)
Caqe-hqspre(0.5)
nanoqbf_hqspre(0.56)
depqbf_pre_QxQBH(0.74)
Qute_rrs(0.93)
Qute_opt500(0.95)
Qute_default(0.96)
Caqe-bloqqer-qdo(1.18)
iprover_bloqqer_schedule(1.23)
iprover_bloqqer_single(1.23)
nanoqbf_bloqqer(1.31)