From 85a63f97f55b1381e8fe009a7f79f008e63c7197 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 14 Nov 2017 11:41:56 -0500 Subject: A small script for calculating speedup ratios from results --- etc/ratios.py | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100755 etc/ratios.py (limited to 'etc') diff --git a/etc/ratios.py b/etc/ratios.py new file mode 100755 index 000000000..3748936f0 --- /dev/null +++ b/etc/ratios.py @@ -0,0 +1,19 @@ +#!/usr/bin/python3 + +curves = {} + +try: + while True: + line = input() + curve, variant, time = line.split() + if curve not in curves: + curves[curve] = {} + curves[curve][variant] = time +except EOFError: + pass + +for curve, variants in curves.items(): + if 'fiat_solinas64' in variants and 'gmpvar64' in variants: + print(curve, float(variants['gmpvar64']) / float(variants['fiat_solinas64'])) + if 'fiat_solinas32' in variants and 'gmpvar32' in variants: + print(curve, float(variants['gmpvar32']) / float(variants['fiat_solinas32'])) -- cgit v1.2.3