Sota solver details
Prenex CNF Track

Instance: k_branch_n-17
Best Solver: iprover_bloqqer_schedule Time: 10.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - iprover_bloqqer_single 10.98 - - depqbf_pre_QxQBH 154.38
- - Caqe-bloqqer-qdo 11 - - Caqe-hqspre 160.39
- - - - - - caqe-pre 164.16
- - - - - - Qute_opt500 180.46
- - - - - - Qute_default 186.57
- - - - - - Qute_rrs 209.16
iprover_bloqqer_schedule(10.91)
iprover_bloqqer_single(10.98)
Caqe-bloqqer-qdo(11)
depqbf_pre_QxQBH(154.38)
Caqe-hqspre(160.39)
caqe-pre(164.16)
Qute_opt500(180.46)
Qute_default(186.57)
Qute_rrs(209.16)