added count per iteration plot

Author: AYadrov

infra/nightly.sh

@@ -62,6 +62,7 @@ function perf {
     python3 infra/ratio_plot.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     python3 infra/point_graph.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     python3 infra/histograms.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
+    python3 infra/cnt_per_iters_plot.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     cp profile.json "$REPORTDIR"/profile.json
     cp profile.js "$REPORTDIR"/profile.js
 }
@@ -71,6 +72,7 @@ function bench {
     python3 infra/ratio_plot.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     python3 infra/point_graph.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     python3 infra/histograms.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
+    python3 infra/cnt_per_iters_plot.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     cp profile.json "$REPORTDIR"/profile.json
     cp profile.js "$REPORTDIR"/profile.js
 }

infra/ratio_plot.py

@@ -82,7 +82,7 @@ def tool_cmp2speed(x):
             label='sollya')
 
     ax.legend()
-    ax.set_xlabel("Truth uniform precision")
+    ax.set_xlabel("True uniform precision")
     ax.set_ylabel("Ratio")
     ax.yaxis.grid(True, linestyle='-', which='major', color='grey', alpha=0.3)
     plt.savefig(args.path + "/ratio_plot_precision.png", format="png")

time.rkt

@@ -403,6 +403,7 @@
     (html-add-plot html-port "ratio_plot_iter.png")
     (html-add-plot html-port "ratio_plot_precision.png")
     (html-add-plot html-port "point_graph.png")
+    (html-add-plot html-port "cnt_per_iters_plot.png")
     (html-add-histogram html-port "histogram_valid.png")
     (html-add-histogram html-port "histogram_all.png"))