Sota solver details
QBFEVAL'17 - Random QBFs Track

Instance: ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp
Best Solver: xb-qsts_bqsts2.0 Time: 120.89 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-qsts_xbqsts2.0 123.22 - - - -
- - xb-qsts_xbqsts1.0 123.3 - - - -
- - Qute_random 249.87 - - - -
- - Qute_opt500 252.84 - - - -
- - caqe_2017_v1 440.9 - - - -
xb-qsts_bqsts2.0(120.89)
xb-qsts_xbqsts2.0(123.22)
xb-qsts_xbqsts1.0(123.3)
Qute_random(249.87)
Qute_opt500(252.84)
caqe_2017_v1(440.9)