Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: rankfunc3_unsigned_32
Best Solver: areqs Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aspQ 0.05 cadet 0.25 xb-bid-qsts 0.85
- - hiqqer1ldsq 0.08 - - xb-qsts 0.85
- - hiqqer1 0.09 - - iprover-QBF-bloqqer 0.88
- - hiqqer3 0.09 - - struqs-10 3.65
- - depqbf-v1 0.11 - - squeezebf+struqs 3.73
- - - - - - depqbf-v3 3.85
areqs(0.04)
qestos(0.04)
rareqs(0.04)
aspQ(0.05)
hiqqer1ldsq(0.08)
hiqqer1(0.09)
hiqqer3(0.09)
depqbf-v1(0.11)
cadet(0.25)
xb-bid-qsts(0.85)
xb-qsts(0.85)
iprover-QBF-bloqqer(0.88)
struqs-10(3.65)
squeezebf+struqs(3.73)
depqbf-v3(3.85)
depqbf-v2(4.21)