Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt21_138_304
Best Solver: cadet Time: 0.09 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.11 rareqs 0.66 ghostq-cegar 1.11
- - - - - - depqbf-v2 2.81
- - - - - - ghostq-plain 6.27
cadet(0.09)
depqbf-v1(0.11)
rareqs(0.66)
ghostq-cegar(1.11)
depqbf-v2(2.81)
ghostq-plain(6.27)
struqs-10(11.92)
squeezebf+struqs(11.98)
qestos(31.58)
xb-bid-qsts(33.38)
areqs(51.9)