Sota solver details
QBFEVAL'16 - 2QBF Track.

Instance: stmt31_22_328
Best Solver: cadet Time: 0.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-v1 0.71 ghostq-plain 1.17
- - - - ghostq-cegar 0.97 depqbf-v2 3.51
- - - - - - areqs 8.57
cadet(0.1)
depqbf-v1(0.71)
ghostq-cegar(0.97)
ghostq-plain(1.17)
depqbf-v2(3.51)
areqs(8.57)
rareqs(46.75)
depqbf-v3(168.99)