No group avatar

@SMT-LIB-benchmarks-inc

Official SMT-LIB repository

Incremental benchmarks