[Termtools] YES or NO? ( GCD5.jar-obl-8.smt2 )

[Johannes Waldmann]

with some of the Integer Transition Systems,
there seems to be some confusion:
"two say will, two say won't"  (*)

http://nfa.imn.htwk-leipzig.de/termcomp-devel/show_many_job_results/3391

the benchmark ( GCD5.jar-obl-8.smt2 ) is
https://www.starexec.org/starexec/services/benchmarks/963634/contents?limit=-1

I have no idea of the correct answer, but it's a nice
test case for getting to know one of the categories
that we plan to introduce this year ...

- J.

(*) that's of course a Monty Python reference