Subtyping Tests (or Type Inclusion) Benchmarks
Created by Yoav Zibin and
Yossi Gil
Single Dispatching Benchmarks
All subtyping benchmarks in COU/COMPACT format,
click here for format explanations
The benchmarks
PQ Tree implementation taken from AGD,
written by Sebastian Leipert
(see documentation here)