Sota solver details
QBFEVAL'16 - Random QBFs Track.

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.89 depqbf-v1 1.81 caqe-minisat 4.77
- - depqbf-v3 1.29 depqbf-v2 1.81 qesto 17.8
- - caqe-picosat 1.46 - - xb-qsts 19.99
- - - - - - xb-bid-qsts 20.26
aqua-f3v(0.35)
aqua-s2v(0.35)
aqua-s3o(0.35)
rareqs(0.89)
depqbf-v3(1.29)
caqe-picosat(1.46)
depqbf-v1(1.81)
depqbf-v2(1.81)
caqe-minisat(4.77)
qesto(17.8)
xb-qsts(19.99)
xb-bid-qsts(20.26)
qestos(498.54)
hiqqer1ldsq(554.83)
hiqqer3(565.8)
hiqqer1(572.41)