Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt21_71_354
Best Solver: cadet Time: 0.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.41 ghostq-cegar 0.94 areqs 1.58
- - - - ghostq-plain 1.05 depqbf-v2 5.11
- - - - - - rareqs 7.44
cadet(0.11)
depqbf-v1(0.41)
ghostq-cegar(0.94)
ghostq-plain(1.05)
areqs(1.58)
depqbf-v2(5.11)
rareqs(7.44)