DSperse = %77 daha hızlı tanık oluşturma, %66 daha hızlı prova, ~%40 daha az bellek kullanımı. Önemli oldukları yerlerdeki kanıtlar, darboğazlar olmadan güvenilir çıkarımlar →.