A formally verified benchmark of 300 algorithmic problems generated
by proceval (proceval/0.1.0). Every instance satisfies machine-checked
proof obligations produced with the Z3 SMT solver at generation time.
Composition
Domains
Value
Problems
arrays
100
automata
100
graphs
100
Difficulty distribution
Value
Problems
easy
75
medium
75
hard
75
extreme
75
Variants… See the full description on the dataset page: https://huggingface.co/datasets/Giavy/proceval-v1.
