Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-adeu-42
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.63 hiqqer1ldsq 5.4
- - - - aqua-s2v 2.16 hiqqer1 5.6
- - - - aqua-f3v 2.22 depqbf-v2 7.31
- - - - rareqs 2.39 hiqqer3 10.52
- - - - qesto 2.48 caqe-picosat 11
- - - - qestos 2.78 xb-qsts 11.5
- - - - - - depqbf-v3 20.93
depqbf-v1(0.31)
aqua-s3o(1.63)
aqua-s2v(2.16)
aqua-f3v(2.22)
rareqs(2.39)
qesto(2.48)
qestos(2.78)
hiqqer1ldsq(5.4)
hiqqer1(5.6)
depqbf-v2(7.31)
hiqqer3(10.52)
caqe-picosat(11)
xb-qsts(11.5)
depqbf-v3(20.93)
qsts(38)
xb-bid-qsts(39.36)
caqe-minisat(448.73)