Speedup of Boissinot w.r.t. Kildall
Analysis time, normalized w.r.t. Kildall
Querying time, normalized w.r.t. Kildall
Total time, normalized w.r.t. Kildall