Skip to content

Add benchmark definition for Symbiotic

Martina Vitovská requested to merge xvitovs1/bench-defs:master into master

Add benchmark definition for Symbiotic for Test-Comp 2019. We did not know how to name the runs so this should be fixed later.

Merge request reports