Add integer time data points to the core-time tradeoff output

core-time-tradeoff

@@ -33,6 +33,10 @@ pub_times = [ ( int(row['M']),
 # Sort the list of all times appearing in the data
 all_times = sorted([ tpl[1] for tpl in priv_times + pub_times ])
 
+# Put integer times in there as well
+max_int_time = int(all_times[-1])
+all_times = sorted(all_times + [t for t in range(1,max_int_time+1)])
+
 # Interpolate 4 points between each pair of points in the sorted list
 # and flatten the result
 interp_times = [ x for xs in