Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: c1_BMC_p2_k1024
Best Solver: Hiqqer2019_3 Time: 9.96 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 9.99 depqbf_prefix_opt_qdo 70.42 Hiqqer2019_2 137.42
- - - - Qute_rrs 89.48 caqe-pre 155.76
- - - - Qute_default 89.71 Caqe-hqspre 157.25
- - - - Qute_opt500 90.08 depqbf_pre_QxQBH 625.85
Hiqqer2019_3(9.96)
Hiqqer2019_1(9.99)
depqbf_prefix_opt_qdo(70.42)
Qute_rrs(89.48)
Qute_default(89.71)
Qute_opt500(90.08)
Hiqqer2019_2(137.42)
caqe-pre(155.76)
Caqe-hqspre(157.25)
depqbf_pre_QxQBH(625.85)