Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: c6_BMC_p1_k512
Best Solver: Hiqqer2019_1 Time: 1.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_3 2.89 - - depqbf_pre_QxQBH 30.99
- - depqbf_prefix_opt_qdo 3.97 - - caqe-pre 38.96
- - - - - - Caqe-hqspre 39.39
- - - - - - Caqe-bloqqer-qdo 96.87
- - - - - - Hiqqer2019_2 149.48
Hiqqer2019_1(1.76)
Hiqqer2019_3(2.89)
depqbf_prefix_opt_qdo(3.97)
depqbf_pre_QxQBH(30.99)
caqe-pre(38.96)
Caqe-hqspre(39.39)
Caqe-bloqqer-qdo(96.87)
Hiqqer2019_2(149.48)
GhostQ___cegar_pcnf_2019(265.13)
Qute_rrs(423.5)
Qute_default(515.59)