Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp
Best Solver: aqua-s2v Time: 0.35 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-f3v 0.43 - - rareqs 4.97
- - aqua-s3o 0.61 - - qesto 21.05
aqua-s2v(0.35)
aqua-f3v(0.43)
aqua-s3o(0.61)
rareqs(4.97)
qesto(21.05)
depqbf-v2(38.52)
hiqqer1ldsq(41.03)
hiqqer1(42.42)
hiqqer3(42.53)
caqe-picosat(84.05)
xb-bid-qsts(303.83)
xb-qsts(304.83)
depqbf-v3(411.8)