Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp
Best Solver: aqua-f3v Time: 0.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s2v 0.37 depqbf-v2 1.91 qesto 4.87
- - aqua-s3o 0.37 depqbf-v3 2.15 caqe-picosat 11.96
- - depqbf-v1 1.71 - - rareqs 27.95
- - - - - - caqe-minisat 32.98
- - - - - - xb-bid-qsts 33.56
- - - - - - hiqqer1ldsq 35.56
- - - - - - hiqqer3 36.29
- - - - - - hiqqer1 36.52
aqua-f3v(0.37)
aqua-s2v(0.37)
aqua-s3o(0.37)
depqbf-v1(1.71)
depqbf-v2(1.91)
depqbf-v3(2.15)
qesto(4.87)
caqe-picosat(11.96)
rareqs(27.95)
caqe-minisat(32.98)
xb-bid-qsts(33.56)
hiqqer1ldsq(35.56)
hiqqer3(36.29)
hiqqer1(36.52)
xb-qsts(105)