The contestants used software from Cal State (called PC squared); here's a screen shot of the software being used to submit the solution to the practice problem.
Previous Picture -- Next Picture