Sota solver details
Prenex CNF Track

Instance: s15850_PR_0_50
Best Solver: depqbf_prefix_opt_qdo Time: 1.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 2.11 Caqe-bloqqer-qdo 5.3 nanoqbf_bloqqer 24.17
- - Caqe-hqspre 3.7 depqbf_pre_QxQBH 7.03 - -
- - caqe-pre 3.74 - - - -
- - Qute_default 3.74 - - - -
- - Qute_rrs 3.8 - - - -
- - Qute_opt500 3.81 - - - -
- - nanoqbf_hqspre 5.11 - - - -
depqbf_prefix_opt_qdo(1.03)
Rareqs_2018(2.11)
Caqe-hqspre(3.7)
caqe-pre(3.74)
Qute_default(3.74)
Qute_rrs(3.8)
Qute_opt500(3.81)
nanoqbf_hqspre(5.11)
Caqe-bloqqer-qdo(5.3)
depqbf_pre_QxQBH(7.03)
nanoqbf_bloqqer(24.17)
iprover_bloqqer_single(137.29)
iprover_bloqqer_schedule(541.48)