def create_features_labels_df_test():
cr = svcomp15.read_category('static/results-xml-raw', 'mixed-examples')
sourcefiles = {i for k in cr.keys() for i in cr[k].index}
features_df = f.create_feature_df(sourcefiles)
# RPC dataset
ranking_df = ranking.create_ranking_df(cr, svcomp15.compare_results)
features_ranking_df = f.create_features_labels_df(features_df, ranking_df)
# Learning via Utility Functions datasets
score_dfdict = classification.create_benchmark_score_dfdict(cr, svcomp15.score)
features_score_dfdict = {b: f.create_features_labels_df(features_df,
score_dfdict[b]) for b in score_dfdict.keys()}
cputime_dfdict = regression.create_benchmark_cputime_dfdict(cr)
features_cputime_dfdict = {b: f.create_features_labels_df(features_df,
cputime_dfdict[b]) for b in cputime_dfdict.keys()}
def create_benchmark_cputime_df_test():
category_results = svcomp15.read_category('static/results-xml-raw', 'mixed-examples')
df = regression.create_benchmark_cputime_dfdict(category_results)
df['cbmc'].to_csv('cmbc_cputime_df.csv')
df['cpachecker'].to_csv('cpachecker_cputime_df.csv')
df['smack'].to_csv('smack_cputime_df.csv')
