Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt52_244_394
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.79
- - - - - - ghostq-plain 2.02
- - - - - - depqbf-v1 4.32
- - - - - - areqs 5.46
- - - - - - depqbf-v2 6.91

cadet(0.11)
ghostq-cegar(1.79)
ghostq-plain(2.02)
depqbf-v1(4.32)
areqs(5.46)
depqbf-v2(6.91)
rareqs(127.77)