Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
Best Solver: qesto Time: 6.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_2017_v1 11.91 caqe_2017_v2 37.01 rareqs 82.35
- - Qute_opt500 26.32 caqe_2017_v3 37.21 - -
- - Qute_random 26.35 xb-qsts_xbqsts1.0 51.09 - -
- - - - xb-qsts_xbqsts2.0 51.11 - -
- - - - xb-qsts_bqsts2.0 51.12 - -
- - - - Qute_default 64.41 - -
qesto(6.5)
caqe_2017_v1(11.91)
Qute_opt500(26.32)
Qute_random(26.35)
caqe_2017_v2(37.01)
caqe_2017_v3(37.21)
xb-qsts_xbqsts1.0(51.09)
xb-qsts_xbqsts2.0(51.11)
xb-qsts_bqsts2.0(51.12)
Qute_default(64.41)
rareqs(82.35)