[Termtools] tool says YES but it's not counted

[Johannes Waldmann]

> Could it be that there is a problem with starexec?

there certainly are problems -

tool answers "YES" but starexec gives wrong status
(mostly "runscript error")

Also happens in SRS relative, e.g.,
http://54.199.109.250:3000/pairs/381725840

This had been reported several times, e.g.,
https://www.tapatalk.com/groups/starexec/runscript-errors-t153.html

Starexec has a public source repo and issue tracker now,
https://github.com/StarExec/StarExec

- J.W.