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)