Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt21_143_403
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
- - - - - - ghostq-cegar 1.17
- - - - - - ghostq-plain 1.19
- - - - - - depqbf-v2 3.91
- - - - - - areqs 5.67

cadet(0.11)
ghostq-cegar(1.17)
ghostq-plain(1.19)
depqbf-v2(3.91)
areqs(5.67)
depqbf-v1(216.51)
rareqs(217.39)