Close to 12 mm. Very similar to the other Dindymus sp. sighting. I can not identify the other bug. They were having a tug of war for minutes, then the larger bug attacked, a struggle followed and both fell on the ground. Edit: looks like Dindymus circumcinctus (https://www.flickr.com/photos/cpmservices/6193696207/)