Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: add4_REDUCED
Best Solver: Caqe-bloqqer-qdo Time: 2.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 9.28 GhostQ___cegar_pcnf_2019 20.2 Hiqqer2019_2 73.55
- - caqe-pre 9.38 - - Hiqqer2019_3 94.54
- - depqbf_pre_QxQBH 10.77 - - Hiqqer2019_1 94.8
- - - - - - depqbf_prefix_opt_qdo 102.86
- - - - - - Qute_rrs 153.37
- - - - - - Qute_default 155.86
- - - - - - Qute_opt500 162.38
- - - - - - GhostQ___plain_pcnf_2019 239.32
Caqe-bloqqer-qdo(2.78)
Caqe-hqspre(9.28)
caqe-pre(9.38)
depqbf_pre_QxQBH(10.77)
GhostQ___cegar_pcnf_2019(20.2)
Hiqqer2019_2(73.55)
Hiqqer2019_3(94.54)
Hiqqer2019_1(94.8)
depqbf_prefix_opt_qdo(102.86)
Qute_rrs(153.37)
Qute_default(155.86)
Qute_opt500(162.38)
GhostQ___plain_pcnf_2019(239.32)