Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ci.e#1.a#3.E#40.A#60.c#296.w#6.s#6.asp
Best Solver: aqua-s2v Time: 2.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s3o 3.91 xb-qsts 13.22 caqe-picosat 39.88
- - aqua-f3v 5.41 xb-bid-qsts 13.29 qesto 121.14
- - rareqs 7.86 depqbf-v2 20.21 - -
aqua-s2v(2.53)
aqua-s3o(3.91)
aqua-f3v(5.41)
rareqs(7.86)
xb-qsts(13.22)
xb-bid-qsts(13.29)
depqbf-v2(20.21)
caqe-picosat(39.88)
qesto(121.14)