Sota solver details
QBFEVAL'16 - Random QBFs Track.

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - xb-bid-qsts 7.84 aqua-f3v 47 - -
- - qesto 9.43 rareqs 59.48 - -
- - aqua-s2v 15.46 caqe-picosat 67.48 - -
- - aqua-s3o 16.29 - - - -
xb-qsts(7.77)
xb-bid-qsts(7.84)
qesto(9.43)
aqua-s2v(15.46)
aqua-s3o(16.29)
aqua-f3v(47)
rareqs(59.48)
caqe-picosat(67.48)