Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt22_92_263
Best Solver: cadet Time: 0.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.08 depqbf-v3 0.61 ghostq-plain 0.71
- - - - - - ghostq-cegar 0.73
- - - - - - hiqqer3 0.81
- - - - - - areqs 1.39
- - - - - - depqbf-v2 2.51

cadet(0.07)
depqbf-v1(0.08)
depqbf-v3(0.61)
ghostq-plain(0.71)
ghostq-cegar(0.73)
hiqqer3(0.81)
areqs(1.39)
depqbf-v2(2.51)
rareqs(7.66)
struqs-10(7.96)
squeezebf+struqs(8.01)
xb-bid-qsts(29.75)
qsts(388.64)