Add the `determine_result()` method to ABC's tool module
Add the `determine_result()` method to ABC's tool module

sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec