Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: S-adeu-47
Best Solver: aqua-s2v Time: 1.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-f3v 1.5 hiqqer1ldsq 8.14 hiqqer3 15.93
- - aqua-s3o 1.5 hiqqer1 8.17 caqe-minisat 49.88
- - depqbf-v1 1.51 caqe-picosat 8.93 - -
- - qsts 1.96 xb-qsts 10.98 - -
- - rareqs 2.65 xb-bid-qsts 11.24 - -
- - qestos 2.76 - - - -
- - qesto 4.41 - - - -
- - depqbf-v3 5.98 - - - -
- - depqbf-v2 6.81 - - - -
aqua-s2v(1.49)
aqua-f3v(1.5)
aqua-s3o(1.5)
depqbf-v1(1.51)
qsts(1.96)
rareqs(2.65)
qestos(2.76)
qesto(4.41)
depqbf-v3(5.98)
depqbf-v2(6.81)
hiqqer1ldsq(8.14)
hiqqer1(8.17)
caqe-picosat(8.93)
xb-qsts(10.98)
xb-bid-qsts(11.24)
hiqqer3(15.93)
caqe-minisat(49.88)