Collection of Verification Tasks (MOVED, please follow the link)

No description available

SVsim: a tool that generates synthetic Structural Variant calls as benchmarks to test/evaluate SV calling pipelines.

No description available

Performance comparison between small hand-written SVE kernels and compiler-generated ones.

AdvSV stands as the first dataset developed specifically for evaluating Speaker Verification (SV) systems against adversarial attacks. It aims to benchmark the robustness of ASV models in the face of such attacks and offers vital resources for researchers to explore the characteristics of adversarial and replay attacks in this domain.

List of benchmark of Svelte that maybe you wanna try 🙌

Svelto benchmarks that run in Unity

Benchmarks for Svelto.ECS and Svelto.Tasks

According to the benchmarking study of Liu et al., six optimal combinations were selected for HiFi read–based and assembly-based SV calling.

A set of benchmark tests for SVG images.

Somatic Mosaicism across Human Tissues SV Benchmark

Some random benchmarks of SV and Python

All the benchmarks collected from SV-COMP, TermComp, and OSS_Bench

The benchmark repository for SeaHorn-ICE project.

A benchmarking tool for structural variation (SV) detection tools

logs/results/witnesses for symbolic pathfinder when run on sv-benchmarks (RuntimeException and ReachSafety)

This is the github repo to benchmark long read SV tools

For benchmarking purposes. Original link: https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/main/2023/symbiotic.zip

MetaTango is a benchmarking pipeline for evaluating structural variant (SV) calling in microbiome datasets. It provides a direct comparison between reference-based methods (e.g., Sniffles2) and graph-based methods (e.g., Rhea)

No description available

SV simulation for rapid benchmarking

SV-COMP Benchmarks

sv comp c benchmarks

Quartet SV benchmark set

SAT benchmarks from SV-COMP input programs

No description available

Run CBMC on SV-COMP benchmarks using EC2

No description available

Configurations/scripts to run SV-COMP benchmarks on Emulab