SCFL Comparative Invariant Benchmark Suite 1.0 | Synapse