Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: rankfunc1_unsigned_64
Best Solver: areqs Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aspQ 0.07 - - xb-qsts 0.97
- - hiqqer1ldsq 0.1 - - xb-bid-qsts 0.98
- - hiqqer1 0.11 - - iprover-QBF-bloqqer 1.01
- - hiqqer3 0.11 - - depqbf-v3 2.79
- - cadet 0.19 - - depqbf-v2 3.42
- - - - - - struqs-10 3.66
- - - - - - squeezebf+struqs 3.73

areqs(0.06)
qestos(0.06)
rareqs(0.06)
aspQ(0.07)
hiqqer1ldsq(0.1)
hiqqer1(0.11)
hiqqer3(0.11)
cadet(0.19)
xb-qsts(0.97)
xb-bid-qsts(0.98)
iprover-QBF-bloqqer(1.01)
depqbf-v3(2.79)
depqbf-v2(3.42)
struqs-10(3.66)
squeezebf+struqs(3.73)