Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp
Best Solver: xb-qsts Time: 5.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qesto 6.46 xb-bid-qsts 28.09 aqua-s2v 57.84
- - - - aqua-f3v 39.65 aqua-s3o 66.47
- - - - - - rareqs 82.03
- - - - - - caqe-minisat 333.31
- - - - - - caqe-picosat 377.95
xb-qsts(5.41)
qesto(6.46)
xb-bid-qsts(28.09)
aqua-f3v(39.65)
aqua-s2v(57.84)
aqua-s3o(66.47)
rareqs(82.03)
caqe-minisat(333.31)
caqe-picosat(377.95)