Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: ci.e#1.a#3.E#40.A#60.c#312.w#4.s#4.asp
Best Solver: Qute_opt500 Time: 11.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 11.39 qesto 71.96 xb-qsts_xbqsts2.0 538.39
- - caqe_2017_v3 15.85 - - xb-qsts_bqsts2.0 539.85
- - caqe_2017_v2 15.92 - - xb-qsts_xbqsts1.0 541.17
- - Qute_default 19.39 - - - -
- - caqe_2017_v1 22.32 - - - -
- - rareqs 27.08 - - - -
Qute_opt500(11.35)
Qute_random(11.39)
caqe_2017_v3(15.85)
caqe_2017_v2(15.92)
Qute_default(19.39)
caqe_2017_v1(22.32)
rareqs(27.08)
qesto(71.96)
xb-qsts_xbqsts2.0(538.39)
xb-qsts_bqsts2.0(539.85)
xb-qsts_xbqsts1.0(541.17)