Graphs & Benchmarks

Benchmarks graphs for comparing state-of-the-art solvers for symmetry detection.

Benchmarks comparing state-of-the-art solvers to dejavu.

Benchmark plots comparing state-of-the-art solvers to dejavu, as scatter plots by size.