Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt19_3_214
Best Solver: cadet Time: 0.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.21 ghostq-plain 0.46 aspQ 1.13
- - - - - - depqbf-v2 2.12
- - - - - - xb-qsts 2.93
- - - - - - xb-bid-qsts 3.28

cadet(0.06)
depqbf-v1(0.21)
ghostq-plain(0.46)
aspQ(1.13)
depqbf-v2(2.12)
xb-qsts(2.93)
xb-bid-qsts(3.28)
struqs-10(6.54)
squeezebf+struqs(6.58)
rareqs(64.29)
depqbf-v3(109.61)
ghostq-cegar(317.12)