Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt21_71_413
Best Solver: cadet Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - ghostq-plain 1.04 ghostq-cegar 1.3
- - - - - - areqs 2.73
- - - - - - depqbf-v2 4.32
cadet(0.12)
ghostq-plain(1.04)
ghostq-cegar(1.3)
areqs(2.73)
depqbf-v2(4.32)
aspQ(28.81)
depqbf-v1(159.01)
rareqs(269.39)