Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: rankfunc55_signed_16
Best Solver: cadet Time: 0.01 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - areqs 0.02 - - depqbf-v3 0.1
- - depqbf-v1 0.02 - - hiqqer1ldsq 0.12
- - qestos 0.02 - - hiqqer1 0.13
- - rareqs 0.02 - - hiqqer3 0.13
- - aspQ 0.03 - - xb-qsts 0.14
- - - - - - xb-bid-qsts 0.15
- - - - - - iprover-QBF-bloqqer 0.17
- - - - - - depqbf-v2 0.21
cadet(0.01)
areqs(0.02)
depqbf-v1(0.02)
qestos(0.02)
rareqs(0.02)
aspQ(0.03)
depqbf-v3(0.1)
hiqqer1ldsq(0.12)
hiqqer1(0.13)
hiqqer3(0.13)
xb-qsts(0.14)
xb-bid-qsts(0.15)
iprover-QBF-bloqqer(0.17)
depqbf-v2(0.21)