int num_infeasible; /**< @brief Number of infeasible executions */
int num_buggy_executions; /** @brief Number of buggy executions */
int num_complete; /**< @brief Number of feasible, non-buggy, complete executions */
int num_infeasible; /**< @brief Number of infeasible executions */
int num_buggy_executions; /** @brief Number of buggy executions */
int num_complete; /**< @brief Number of feasible, non-buggy, complete executions */