Those that start with "gecko." are the gecko benchmarks. The others are servo. I'm not sure of the difference between the servo and linux64 links. (Edited for

Those that start with "gecko." are the gecko benchmarks. The others are servo. I'm not sure of the difference between the servo and linux64 links. (Edited for clarity).