Sota solver details
Prenex CNF Track

Instance: k_branch_n-11
Best Solver: iprover_bloqqer_single Time: 5.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - iprover_bloqqer_schedule 5.78 - - Rareqs_2018 478.16
- - Caqe-hqspre 14.65 - - - -
- - caqe-pre 14.67 - - - -
- - Qute_opt500 15.66 - - - -
- - Qute_rrs 16.84 - - - -
- - Qute_default 17 - - - -
- - depqbf_pre_QxQBH 17.84 - - - -
- - nanoqbf_bloqqer 25.97 - - - -
Caqe-bloqqer-qdo(5.6)
iprover_bloqqer_single(5.6)
iprover_bloqqer_schedule(5.78)
Caqe-hqspre(14.65)
caqe-pre(14.67)
Qute_opt500(15.66)
Qute_rrs(16.84)
Qute_default(17)
depqbf_pre_QxQBH(17.84)
nanoqbf_bloqqer(25.97)
Rareqs_2018(478.16)