Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt44_41_288
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.12 depqbf-v3 0.65 ghostq-plain 0.91
- - - - rareqs 0.79 aspQ 1.21
- - - - - - areqs 1.35
- - - - - - depqbf-v2 1.91
- - - - - - qestos 7.21
- - - - - - ghostq-cegar 7.75
- - - - - - struqs-10 8.99
cadet(0.09)
depqbf-v1(0.12)
depqbf-v3(0.65)
rareqs(0.79)
ghostq-plain(0.91)
aspQ(1.21)
areqs(1.35)
depqbf-v2(1.91)
qestos(7.21)
ghostq-cegar(7.75)
struqs-10(8.99)
squeezebf+struqs(9.03)
qsts(410.46)