Sota solver details
QBFEVAL'16 - Random QBFs Track.

Instance: T-adeu-9
Best Solver: depqbf-v1 Time: 0.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - aqua-s3o 1.54 rareqs 2.81
- - - - aqua-f3v 1.76 qesto 2.91
- - - - aqua-s2v 1.79 qestos 3.06
- - - - - - caqe-picosat 5.82
- - - - - - depqbf-v2 7.82
- - - - - - caqe-minisat 9.37
- - - - - - xb-qsts 9.9
- - - - - - xb-bid-qsts 10.24
- - - - - - depqbf-v3 15.63
depqbf-v1(0.21)
aqua-s3o(1.54)
aqua-f3v(1.76)
aqua-s2v(1.79)
rareqs(2.81)
qesto(2.91)
qestos(3.06)
caqe-picosat(5.82)
depqbf-v2(7.82)
caqe-minisat(9.37)
xb-qsts(9.9)
xb-bid-qsts(10.24)
depqbf-v3(15.63)
hiqqer1ldsq(21.33)
hiqqer1(21.4)
hiqqer3(40.33)
qsts(185.87)