Introduction. Apache Spark is fast, but applications such as preliminary data exploration need to be even faster and are willing to sacrifice some accuracy for a faster result. Since version 1.6, Spark implements approximate algorithms for some common tasks: counting the number of distinct elements in a set, finding if an element belongs to a set, computing. To benchmark the Ada/SPARK code you can use a goto utility. Once the robot reaches the goal location, the drivers prints a message with the number of iterations and the CPU time consumed by the algorithm. To ease the benchmarking, the driver will shutdown the Player process after reaching the goal location.