Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: c1_BMC_p2_k2048
Best Solver: Hiqqer2019_1 Time: 19.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_3 19.27 depqbf_pre_QxQBH 117.15 caqe-pre 477.22
- - depqbf_prefix_opt_qdo 67.66 Qute_rrs 129.04 Caqe-hqspre 579.58
- - - - Qute_default 130.45 - -
- - - - Qute_opt500 130.54 - -
- - - - Hiqqer2019_2 143.05 - -
Hiqqer2019_1(19.17)
Hiqqer2019_3(19.27)
depqbf_prefix_opt_qdo(67.66)
depqbf_pre_QxQBH(117.15)
Qute_rrs(129.04)
Qute_default(130.45)
Qute_opt500(130.54)
Hiqqer2019_2(143.05)
caqe-pre(477.22)
Caqe-hqspre(579.58)