added Jiangs server to the correctness benchmarks