Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: query07_query64_1344n
Best Solver: qsts Time: 0.31 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - rareqs 0.37 areqs 2.37 xb-qsts 3.15
- - aspQ 0.69 - - xb-bid-qsts 3.33
- - - - - - hiqqer1ldsq 4.28
- - - - - - hiqqer1 4.39
- - - - - - depqbf-v2 5.01
- - - - - - qestos 5.59
- - - - - - hiqqer3 9.75
qsts(0.31)
rareqs(0.37)
aspQ(0.69)
areqs(2.37)
xb-qsts(3.15)
xb-bid-qsts(3.33)
hiqqer1ldsq(4.28)
hiqqer1(4.39)
depqbf-v2(5.01)
qestos(5.59)
hiqqer3(9.75)
struqs-10(40.59)
squeezebf+struqs(41.01)