Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: Q_2-3_v-80-100_r-13.2
Best Solver: depqbf_pre_QxQBH Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
depqbf_prefix_opt_qdo 0 - - - - - -
depqbf_prefix_opt_qdo(0)
depqbf_pre_QxQBH(0)
Caqe-hqspre(5.83)
Caqe-bloqqer-qdo(5.89)
caqe-pre(5.89)
Qute_rrs(8.17)
Qute_default(9.19)
Hiqqer2019_3(142.24)
Hiqqer2019_1(142.46)
Hiqqer2019_2(142.56)