Rename classes and tables so that it match benchexec #4
Description
Follow the naming that is used by benchexec, so that it is easy to map benchexec internals/ and tables to ours and vice versa.
{{ message }}
Follow the naming that is used by benchexec, so that it is easy to map benchexec internals/ and tables to ours and vice versa.