HCOMP 13 Experiments.