Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt50_205_293
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 - - depqbf-v3 0.95
- - - - - - aspQ 2.49
- - - - - - depqbf-v2 3.41
- - - - - - areqs 4.09
- - - - - - ghostq-cegar 4.18
- - - - - - rareqs 4.25
- - - - - - ghostq-plain 4.79
cadet(0.09)
depqbf-v1(0.11)
depqbf-v3(0.95)
aspQ(2.49)
depqbf-v2(3.41)
areqs(4.09)
ghostq-cegar(4.18)
rareqs(4.25)
ghostq-plain(4.79)
struqs-10(14.49)
squeezebf+struqs(14.56)
xb-bid-qsts(43.13)
qestos(85.76)