Open jwaldmann opened 7 years ago
Specification of competition says http://www.termination-portal.org/wiki/Termination_Competition_2017#Competition_Procedure
For those problems where a correct answer is (partially) known, any contradictory answer will be penalized by -10 points.
This is currently not implemented at all, and so far we were lucky, because it was never needed.
Implementation would need
Specification of competition says http://www.termination-portal.org/wiki/Termination_Competition_2017#Competition_Procedure
This is currently not implemented at all, and so far we were lucky, because it was never needed.
Implementation would need