Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-adeu-49
Best Solver: depqbf-v1 Time: 0.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqua-s3o 1.09 - - rareqs 3.83
- - aqua-f3v 1.1 - - qestos 3.96
- - aqua-s2v 1.1 - - qesto 4.59
- - - - - - qsts 7.13
- - - - - - depqbf-v3 8.62
- - - - - - depqbf-v2 9.11
- - - - - - xb-qsts 11.06
- - - - - - hiqqer1ldsq 11.55
- - - - - - hiqqer1 11.56
- - - - - - xb-bid-qsts 11.71
- - - - - - caqe-picosat 13.55
- - - - - - hiqqer3 17.55
depqbf-v1(0.31)
aqua-s3o(1.09)
aqua-f3v(1.1)
aqua-s2v(1.1)
rareqs(3.83)
qestos(3.96)
qesto(4.59)
qsts(7.13)
depqbf-v3(8.62)
depqbf-v2(9.11)
xb-qsts(11.06)
hiqqer1ldsq(11.55)
hiqqer1(11.56)
xb-bid-qsts(11.71)
caqe-picosat(13.55)
hiqqer3(17.55)
caqe-minisat(41.78)