calvin#1711

Match history statistics for calvin#1711.