No group avatar

@SMT-LIB-benchmarks-tmp

This serves as a temporary repository for objects that need sorting or validation, e.g. benchmarks.

  • Repository to store benchmarks before validation, as soon as they are received by SMT-LIB managers