Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt19_352_359
Best Solver: cadet Time: 0.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.21 aspQ 1.05 qestos 1.57
- - - - - - rareqs 2.84
- - - - - - depqbf-v2 5.52
cadet(0.11)
depqbf-v1(0.21)
aspQ(1.05)
qestos(1.57)
rareqs(2.84)
depqbf-v2(5.52)