Murieron 5.000 sertorianos y 6.000 pompeyanos.