Teach script to report number of benchmarks determined to be correct by only one tool.
Teach script to report number of benchmarks determined to be
correct by only one tool.

delcypher/klee-runner,delcypher/klee-runner