Sota solver details
QBFEVAL'17 - Prenex CNF Track

Instance: query21_query58_1344n
Best Solver: qesto Time: 1.65 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 2.4 - - Qute_opt500 34.16
- - xb-qsts_bqsts2.0 2.78 - - Qute_random 34.78
- - xb-qsts_xbqsts1.0 3.55 - - caqe_2017_v1 36.82
- - xb-qsts_xbqsts2.0 3.59 - - QELL_default 50.41
- - GhostQ-PG_cegar 3.8 - - caqe_2017_v2 95.05
- - GhostQ-PG_plain 6.62 - - caqe_2017_v3 96.49
- - - - - - QELL_unit 148.85
qesto(1.65)
rareqs(2.4)
xb-qsts_bqsts2.0(2.78)
xb-qsts_xbqsts1.0(3.55)
xb-qsts_xbqsts2.0(3.59)
GhostQ-PG_cegar(3.8)
GhostQ-PG_plain(6.62)
Qute_opt500(34.16)
Qute_random(34.78)
caqe_2017_v1(36.82)
QELL_default(50.41)
caqe_2017_v2(95.05)
caqe_2017_v3(96.49)
QELL_unit(148.85)
Qute_default(172)
CUED1919_NNL(318.11)
CUED1919_NL(331.71)
heretiq(335.09)