These are results of the experiments for ATVA’19:

## Registered S3 methods overwritten by 'ggplot2':
##   method         from 
##   [.quosures     rlang
##   c.quosures     rlang
##   print.quosures rlang

Filename	snort-filtered-results.tsv
Benchmarks	748
Timeout	60000

df

	Classical	Our
Timeouts	178	18

We now set the time of the timeouted benchmarks to 70000 ms for showing in the plots.