Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: c5_BMC_p1_k32
Best Solver: caqe-pre Time: 22.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 23 - - Hiqqer2019_3 251.53
- - depqbf_pre_QxQBH 30.38 - - Hiqqer2019_1 251.74
- - Qute_rrs 32.3 - - Hiqqer2019_2 751.53
- - Qute_opt500 32.37 - - - -
- - Qute_default 33.3 - - - -
- - Caqe-bloqqer-qdo 55.34 - - - -
- - GhostQ___cegar_pcnf_2019 105.8 - - - -
caqe-pre(22.78)
Caqe-hqspre(23)
depqbf_pre_QxQBH(30.38)
Qute_rrs(32.3)
Qute_opt500(32.37)
Qute_default(33.3)
Caqe-bloqqer-qdo(55.34)
GhostQ___cegar_pcnf_2019(105.8)
Hiqqer2019_3(251.53)
Hiqqer2019_1(251.74)
Hiqqer2019_2(751.53)