Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt21_79_304
Best Solver: depqbf-v1 Time: 0.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - cadet 0.09 rareqs 0.48 areqs 1.49
- - - - qestos 0.57 ghostq-cegar 2.01
- - - - - - ghostq-plain 2.43
- - - - - - depqbf-v2 2.71

depqbf-v1(0.08)
cadet(0.09)
rareqs(0.48)
qestos(0.57)
areqs(1.49)
ghostq-cegar(2.01)
ghostq-plain(2.43)
depqbf-v2(2.71)
struqs-10(10.12)
squeezebf+struqs(10.19)
aspQ(12.67)