Sota solver details
Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 1.33 - - depqbf_prefix_opt_qdo 25.92
- - - - - - depqbf_pre_QxQBH 29.71
- - - - - - nanoqbf_hqspre 30.27
- - - - - - GhostQ___cegar_pcnf_2019 82.63
- - - - - - GhostQ___plain_pcnf_2019 117.02

Caqe-hqspre(1.3)
caqe-pre(1.33)
depqbf_prefix_opt_qdo(25.92)
depqbf_pre_QxQBH(29.71)
nanoqbf_hqspre(30.27)
GhostQ___cegar_pcnf_2019(82.63)
GhostQ___plain_pcnf_2019(117.02)
Rareqs_2018(183.15)
Caqe-bloqqer-qdo(453.08)