Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: kmdf_pcidrv_sys_hw_physet.c
Best Solver: Caqe-hqspre Time: 1.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 1.31 - - depqbf_prefix_opt_qdo 25.6
- - - - - - depqbf_pre_QxQBH 29.63
- - - - - - GhostQ___cegar_pcnf_2019 82.47
- - - - - - GhostQ___plain_pcnf_2019 123.01
Caqe-hqspre(1.29)
caqe-pre(1.31)
depqbf_prefix_opt_qdo(25.6)
depqbf_pre_QxQBH(29.63)
GhostQ___cegar_pcnf_2019(82.47)
GhostQ___plain_pcnf_2019(123.01)
Hiqqer2019_3(293.04)
Hiqqer2019_1(298.25)
Hiqqer2019_2(442.21)
Caqe-bloqqer-qdo(454.55)