Sota solver details
QBFEVAL'17 - Prenex 2QBF Track

Instance: query36_query25_1344n
Best Solver: caqe_2017_v1 Time: 0.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ-PG_cegar 0.53 - - CUED1919_NL 4.38
- - rareqs 0.57 - - qesto 4.47
- - ASPQ2 1.33 - - CUED1919_NNL 5.15
- - - - - - caqe_2017_v3 21.57
- - - - - - caqe_2017_v2 21.74
- - - - - - QELL_default 30.15
- - - - - - QELL_unit 35.1
caqe_2017_v1(0.42)
GhostQ-PG_cegar(0.53)
rareqs(0.57)
ASPQ2(1.33)
CUED1919_NL(4.38)
qesto(4.47)
CUED1919_NNL(5.15)
caqe_2017_v3(21.57)
caqe_2017_v2(21.74)
QELL_default(30.15)
QELL_unit(35.1)
xb-qsts_bqsts2.0(67.29)
xb-qsts_xbqsts2.0(67.76)
xb-qsts_xbqsts1.0(67.99)
GhostQ-PG_plain(165.05)
ijtihad_v2(795.13)