Benchmark
VERINA
A formal verification benchmark containing 189 verification tasks, each of which can be completed either by proving or by refuting.
Timeline (last 90 days)
Oct 30
EasyProver completed all 189 tasks of VERINA, by both proof and refutation.
Unverified50%