Graph 3-Colourability As A Benchmark