Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt21_70_369
Best Solver: cadet Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.31 ghostq-plain 0.94 ghostq-cegar 1.26
- - - - - - depqbf-v2 6.11
cadet(0.1)
depqbf-v1(0.31)
ghostq-plain(0.94)
ghostq-cegar(1.26)
depqbf-v2(6.11)
aspQ(19.84)
areqs(68.41)
qestos(151.87)