Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: nxquery_query50_1344n
Best Solver: Caqe-bloqqer-qdo Time: 0.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 2.39 - - Caqe-hqspre 6.19
- - GhostQ___cegar_pcnf_2019 2.4 - - caqe-pre 6.19
- - - - - - Hiqqer2019_1 8.17
- - - - - - Hiqqer2019_2 8.25
- - - - - - Hiqqer2019_3 8.37
- - - - - - Qute_rrs 38.39
- - - - - - Qute_default 42.7
Caqe-bloqqer-qdo(0.6)
GhostQ___plain_pcnf_2019(2.39)
GhostQ___cegar_pcnf_2019(2.4)
Caqe-hqspre(6.19)
caqe-pre(6.19)
Hiqqer2019_1(8.17)
Hiqqer2019_2(8.25)
Hiqqer2019_3(8.37)
Qute_rrs(38.39)
Qute_default(42.7)
depqbf_prefix_opt_qdo(123.74)
depqbf_pre_QxQBH(234.47)