Sota solver details
Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 2.38 caqe-pre 6.18 Qute_rrs 39.18
- - GhostQ___cegar_pcnf_2019 2.4 Caqe-hqspre 6.2 Qute_default 42.81
- - Rareqs_2018 2.42 - - - -

Caqe-bloqqer-qdo(0.62)
GhostQ___plain_pcnf_2019(2.38)
GhostQ___cegar_pcnf_2019(2.4)
Rareqs_2018(2.42)
caqe-pre(6.18)
Caqe-hqspre(6.2)
Qute_rrs(39.18)
Qute_default(42.81)
depqbf_prefix_opt_qdo(128.25)
depqbf_pre_QxQBH(237.36)