Sota solver details
QBFEVAL'17 - Random QBFs Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 1.87 rareqs 12.08 Qute_default 20.97
- - - - caqe_2017_v1 12.63 qesto 23.53
- - - - caqe_2017_v3 12.83 - -
- - - - caqe_2017_v2 12.88 - -
Qute_opt500(1.86)
Qute_random(1.87)
rareqs(12.08)
caqe_2017_v1(12.63)
caqe_2017_v3(12.83)
caqe_2017_v2(12.88)
Qute_default(20.97)
qesto(23.53)
xb-qsts_xbqsts2.0(235.32)
xb-qsts_xbqsts1.0(236.64)
xb-qsts_bqsts2.0(237.17)