Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-adeu-7
Best Solver: depqbf-v1 Time: 0.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-f3v 1.44 rareqs 3.47 hiqqer1ldsq 7.11
- - aqua-s2v 1.44 qestos 3.71 hiqqer1 7.14
- - aqua-s3o 1.44 qesto 4.87 depqbf-v2 7.72
- - - - - - qsts 9.05
- - - - - - depqbf-v3 9.39
- - - - - - xb-qsts 12.91
- - - - - - xb-bid-qsts 13.57
- - - - - - hiqqer3 14.16
- - - - - - caqe-picosat 17.65
- - - - - - caqe-minisat 39.31
depqbf-v1(0.61)
aqua-f3v(1.44)
aqua-s2v(1.44)
aqua-s3o(1.44)
rareqs(3.47)
qestos(3.71)
qesto(4.87)
hiqqer1ldsq(7.11)
hiqqer1(7.14)
depqbf-v2(7.72)
qsts(9.05)
depqbf-v3(9.39)
xb-qsts(12.91)
xb-bid-qsts(13.57)
hiqqer3(14.16)
caqe-picosat(17.65)
caqe-minisat(39.31)