Quint Result Benchmarking