Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt19_137_408
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
- - - - - - qestos 1.13
- - - - - - rareqs 1.15
- - - - - - depqbf-v2 4.11

cadet(0.11)
qestos(1.13)
rareqs(1.15)
depqbf-v2(4.11)
ghostq-plain(35.58)
depqbf-v1(372.11)