Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt19_83_142
Best Solver: cadet Time: 0.05 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-v1 0.11 ghostq-plain 0.42 qsts 0.76
- - depqbf-v3 0.25 ghostq-cegar 0.44 depqbf-v2 2.12
- - - - - - areqs 2.36
- - - - - - struqs-10 2.55
- - - - - - squeezebf+struqs 2.58
- - - - - - xb-qsts 3.81
cadet(0.05)
depqbf-v1(0.11)
depqbf-v3(0.25)
ghostq-plain(0.42)
ghostq-cegar(0.44)
qsts(0.76)
depqbf-v2(2.12)
areqs(2.36)
struqs-10(2.55)
squeezebf+struqs(2.58)
xb-qsts(3.81)
rareqs(9.09)
xb-bid-qsts(32.04)
aspQ(44.38)