No group avatar

@SMT-LIB-benchmarks

Official SMT-LIB repository

Non-incremental benchmarks

There are no subgroups to show.