Sota solver details
Prenex CNF Track

Instance: k_branch_p-16
Best Solver: depqbf_prefix_opt_qdo Time: 0.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - Rareqs_2018 0.6 nanoqbf_bloqqer 4.91
- - - - - - iprover_bloqqer_schedule 8.33
- - - - - - Caqe-bloqqer-qdo 8.38
- - - - - - iprover_bloqqer_single 8.4
depqbf_prefix_opt_qdo(0.09)
Rareqs_2018(0.6)
nanoqbf_bloqqer(4.91)
iprover_bloqqer_schedule(8.33)
Caqe-bloqqer-qdo(8.38)
iprover_bloqqer_single(8.4)
Caqe-hqspre(43.89)
caqe-pre(48.29)
Qute_opt500(74.28)
Qute_rrs(75.83)
Qute_default(75.85)
depqbf_pre_QxQBH(133.16)