run some benchmarks

4 files changed, 1342 insertions, 0 deletions

diff --git a/measurements/2018-11-03-gcc/aggregate.sh b/measurements/2018-11-03-gcc/aggregate.sh
new file mode 100644
index 000000000..590a45a0e
--- /dev/null
+++ b/measurements/2018-11-03-gcc/aggregate.sh
@@ -0,0 +1,4 @@
+for f in $(find . -name gmpxx.log); do echo -e "$(basename "$(dirname "$f")" | cut -d_ -f2-)\tgmpxx\t$(cat "$f" | cut -d' ' -f3 | cut -d, -f1)"; done
+for f in $(find . -name gmpsec.log); do echo -e "$(basename "$(dirname "$f")" | cut -d_ -f2-)\tgmpsec\t$(cat "$f" | cut -d' ' -f3 | cut -d, -f1)"; done
+for f in $(find . -name gmpvar.log); do echo -e "$(basename "$(dirname "$f")" | cut -d_ -f2-)\tgmpvar\t$(cat "$f" | cut -d' ' -f3 | cut -d, -f1)"; done
+for f in $(find . -name fibe.log); do echo -e "$(basename "$(dirname "$f")" | cut -d_ -f2-)\tfibe_$(basename "$(dirname "$f")" | cut -d_ -f1)\t$(cat "$f" | cut -d' ' -f3 | cut -d, -f1)"; done
diff --git a/measurements/2018-11-03-gcc/benchmarks.log b/measurements/2018-11-03-gcc/benchmarks.log
new file mode 100644
index 000000000..14eaeb6d3
--- /dev/null
+++ b/measurements/2018-11-03-gcc/benchmarks.log
@@ -0,0 +1,652 @@
+2^127-1	fiat_solinas64	0.00
+2^129-25	fiat_solinas64	0.00
+2^130-5	fiat_solinas64	0.00
+2^141-9	fiat_solinas64	0.00
+2^150-3	fiat_solinas64	0.00
+2^150-5	fiat_solinas64	0.00
+2^165-25	fiat_solinas64	0.00
+2^166-5	fiat_solinas64	0.00
+2^171-19	fiat_solinas64	0.00
+2^174-17	fiat_solinas64	0.00
+2^174-3	fiat_solinas64	0.00
+2^130-5	fiat_solinas32	0.04
+2^127-1	fiat_solinas32	0.05
+2^140-27	fiat_solinas64	0.05
+2^158-15	fiat_solinas32	0.05
+2^196-15	fiat_solinas64	0.05
+2^212-29	fiat_solinas64	0.05
+2^216-2^108-1	fiat_solinas64	0.05
+2^222-117	fiat_solinas64	0.05
+2^230-27	fiat_solinas64	0.05
+2^127-1	fiat_montgomery64	0.06
+2^129-25	fiat_solinas32	0.06
+2^137-13	fiat_solinas64	0.06
+2^140-27	fiat_solinas32	0.06
+2^141-9	fiat_solinas32	0.06
+2^150-5	fiat_solinas32	0.06
+2^152-17	fiat_solinas32	0.06
+2^152-17	fiat_solinas64	0.06
+2^158-15	fiat_solinas64	0.06
+2^189-25	fiat_solinas64	0.06
+2^190-11	fiat_solinas64	0.06
+2^194-33	fiat_solinas64	0.06
+2^198-17	fiat_solinas64	0.06
+2^206-5	fiat_solinas64	0.06
+2^213-3	fiat_solinas64	0.06
+2^221-3	fiat_solinas64	0.06
+2^226-5	fiat_solinas64	0.06
+2^191-19	fiat_solinas64	0.07
+2^192-2^64-1	fiat_solinas64	0.07
+2^235-15	fiat_solinas64	0.07
+2^251-9	fiat_solinas64	0.07
+2^255-19	fiat_solinas64	0.07
+2^255-765	fiat_solinas64	0.07
+2^256-189	fiat_solinas64	0.07
+2^266-3	fiat_solinas64	0.07
+2^285-9	fiat_solinas64	0.07
+2^216-2^108-1	fiat_solinas32	0.08
+2^255-2^4-2^1-1	fiat_solinas64	0.08
+2^291-19	fiat_solinas64	0.08
+2^137-13	fiat_solinas32	0.09
+2^194-33	fiat_solinas32	0.09
+2^243-9	fiat_solinas64	0.09
+2^336-17	fiat_solinas64	0.09
+2^336-3	fiat_solinas64	0.09
+2^243-9	fiat_solinas32	0.10
+2^321-9	fiat_solinas64	0.10
+2^338-15	fiat_solinas64	0.10
+2^165-25	fiat_solinas32	0.11
+2^171-19	fiat_solinas32	0.11
+2^174-17	fiat_solinas32	0.11
+2^198-17	fiat_solinas32	0.11
+2^235-15	fiat_solinas32	0.11
+2^191-19	fiat_solinas32	0.12
+2^127-1	fiat_montgomery32	0.13
+2^221-3	fiat_solinas32	0.13
+2^222-117	fiat_solinas32	0.13
+2^230-27	fiat_solinas32	0.13
+2^251-9	fiat_solinas32	0.13
+2^255-19	fiat_solinas32	0.13
+2^379-19	fiat_solinas64	0.13
+2^416-2^208-1	fiat_solinas64	0.13
+2^448-2^224-1	fiat_solinas64	0.13
+2^450-2^225-1	fiat_solinas64	0.14
+2^480-2^240-1	fiat_solinas64	0.14
+2^127-1	gmpvar	0.15
+2^166-5	fiat_solinas32	0.15
+2^369-25	fiat_solinas64	0.15
+2^384-317	fiat_solinas64	0.15
+2^468-17	fiat_solinas64	0.15
+2^401-31	fiat_solinas64	0.16
+2^444-17	fiat_solinas64	0.16
+2^452-3	fiat_solinas64	0.16
+2^206-5	fiat_solinas32	0.17
+2^266-3	fiat_solinas32	0.17
+2^255-765	fiat_solinas32	0.18
+2^256-189	fiat_solinas32	0.18
+2^291-19	fiat_solinas32	0.18
+2^414-17	fiat_solinas64	0.18
+2^489-21	fiat_solinas64	0.18
+2^256-2^32-977	fiat_solinas32	0.19
+2^495-31	fiat_solinas64	0.19
+2^521-1	fiat_solinas64	0.20
+2^338-15	fiat_solinas32	0.22
+2^382-105	fiat_solinas64	0.22
+2^511-481	fiat_solinas64	0.23
+2^512-569	fiat_solinas64	0.23
+2^192-2^64-1	gmpvar	0.24
+2^192-2^64-1	gmpvar	0.25
+2^127-1	gmpsec	0.26
+2^191-19	gmpvar	0.26
+2^511-187	fiat_solinas64	0.26
+2^129-25	gmpvar	0.27
+2^130-5	gmpvar	0.27
+2^137-13	gmpvar	0.27
+2^140-27	gmpvar	0.27
+2^141-9	gmpvar	0.27
+2^150-3	gmpvar	0.27
+2^150-5	gmpvar	0.27
+2^152-17	gmpvar	0.27
+2^158-15	gmpvar	0.27
+2^165-25	gmpvar	0.27
+2^166-5	gmpvar	0.27
+2^171-19	gmpvar	0.27
+2^174-17	gmpvar	0.27
+2^174-3	gmpvar	0.27
+2^189-25	gmpvar	0.27
+2^190-11	gmpvar	0.27
+2^191-19	gmpvar	0.27
+2^130-5	gmpvar	0.28
+2^137-13	gmpvar	0.28
+2^140-27	gmpvar	0.28
+2^141-9	gmpvar	0.28
+2^150-5	gmpvar	0.28
+2^152-17	gmpvar	0.28
+2^158-15	gmpvar	0.28
+2^171-19	gmpvar	0.28
+2^174-17	gmpvar	0.28
+2^190-11	gmpvar	0.28
+2^192-2^64-1	gmpsec	0.28
+2^129-25	gmpvar	0.29
+2^137-13	gmpvar	0.30
+2^255-19	gmpvar	0.32
+2^255-2^4-2^1-1	gmpvar	0.32
+2^255-765	gmpvar	0.32
+2^256-2^224+2^192+2^96-1	gmpvar	0.32
+2^171-19	gmpvar	0.33
+2^194-33	gmpvar	0.33
+2^198-17	gmpvar	0.33
+2^216-2^108-1	gmpvar	0.33
+2^221-3	gmpvar	0.33
+2^222-117	gmpvar	0.33
+2^224-2^96+1	gmpvar	0.33
+2^255-2^4-2^1-1	gmpvar	0.33
+2^255-765	gmpvar	0.33
+2^256-189	gmpvar	0.33
+2^256-2^224+2^192+2^96-1	gmpvar	0.33
+2^256-2^32-977	gmpvar	0.33
+2^194-33	gmpvar	0.34
+2^196-15	gmpvar	0.34
+2^198-17	gmpvar	0.34
+2^205-45x2^198-1	gmpvar	0.34
+2^206-5	gmpvar	0.34
+2^212-29	gmpvar	0.34
+2^213-3	gmpvar	0.34
+2^216-2^108-1	gmpvar	0.34
+2^221-3	gmpvar	0.34
+2^222-117	gmpvar	0.34
+2^224-2^96+1	gmpvar	0.34
+2^226-5	gmpvar	0.34
+2^230-27	gmpvar	0.34
+2^235-15	gmpvar	0.34
+2^243-9	gmpvar	0.34
+2^251-9	gmpvar	0.34
+2^254-127x2^240-1	gmpvar	0.34
+2^256-189	gmpvar	0.34
+2^256-2^32-977	gmpvar	0.34
+2^256-88x2^240-1	gmpvar	0.34
+2^196-15	gmpvar	0.35
+2^205-45x2^198-1	gmpvar	0.35
+2^212-29	gmpvar	0.35
+2^216-2^108-1	gmpvar	0.35
+2^222-117	gmpvar	0.35
+2^230-27	gmpvar	0.35
+2^235-15	gmpvar	0.35
+2^254-127x2^240-1	gmpvar	0.35
+2^256-2^32-977	gmpvar	0.35
+2^205-45x2^198-1	gmpvar	0.36
+2^243-9	gmpvar	0.36
+2^256-88x2^240-1	gmpvar	0.36
+2^190-11	gmpsec	0.37
+2^191-19	gmpsec	0.37
+2^256-189	gmpsec	0.37
+2^256-2^224+2^192+2^96-1	gmpsec	0.37
+2^256-2^32-977	gmpsec	0.37
+2^256-88x2^240-1	gmpsec	0.37
+2^129-25	gmpsec	0.38
+2^130-5	gmpsec	0.38
+2^137-13	gmpsec	0.38
+2^140-27	gmpsec	0.38
+2^141-9	gmpsec	0.38
+2^150-3	gmpsec	0.38
+2^150-5	gmpsec	0.38
+2^152-17	gmpsec	0.38
+2^158-15	gmpsec	0.38
+2^165-25	gmpsec	0.38
+2^166-5	gmpsec	0.38
+2^174-17	gmpsec	0.38
+2^174-3	gmpsec	0.38
+2^189-25	gmpsec	0.38
+2^190-11	gmpsec	0.38
+2^191-19	gmpsec	0.38
+2^256-189	gmpsec	0.38
+2^256-2^224+2^192+2^96-1	gmpsec	0.38
+2^256-2^32-977	gmpsec	0.38
+2^256-88x2^240-1	gmpsec	0.38
+2^137-13	gmpsec	0.39
+2^140-27	gmpsec	0.39
+2^158-15	gmpsec	0.39
+2^165-25	gmpsec	0.39
+2^166-5	gmpsec	0.39
+2^171-19	gmpsec	0.39
+2^174-17	gmpsec	0.39
+2^174-3	gmpsec	0.39
+2^189-25	gmpsec	0.39
+2^256-189	gmpsec	0.39
+2^137-13	gmpsec	0.40
+2^256-2^224+2^192+2^96-1	gmpsec	0.41
+2^266-3	gmpvar	0.42
+2^285-9	gmpvar	0.42
+2^291-19	gmpvar	0.42
+2^251-9	gmpvar	0.43
+2^285-9	gmpvar	0.43
+2^291-19	gmpvar	0.43
+2^291-19	gmpvar	0.44
+2^266-3	gmpvar	0.45
+2^285-9	gmpvar	0.45
+2^384-2^128-2^96+2^32-1	gmpvar	0.45
+2^384-317	gmpvar	0.45
+2^384-5x2^368-1	gmpvar	0.45
+2^384-79x2^376-1	gmpvar	0.45
+2^384-2^128-2^96+2^32-1	gmpvar	0.46
+2^384-317	gmpvar	0.46
+2^384-79x2^376-1	gmpvar	0.46
+2^255-19	gmpsec	0.47
+2^255-2^4-2^1-1	gmpsec	0.47
+2^255-765	gmpsec	0.47
+2^384-317	gmpvar	0.47
+2^384-5x2^368-1	gmpvar	0.47
+2^384-79x2^376-1	gmpvar	0.47
+2^255-19	gmpsec	0.48
+2^255-2^4-2^1-1	gmpsec	0.48
+2^255-765	gmpsec	0.48
+2^212-29	gmpsec	0.49
+2^213-3	gmpsec	0.49
+2^216-2^108-1	gmpsec	0.49
+2^221-3	gmpsec	0.49
+2^224-2^96+1	gmpsec	0.49
+2^226-5	gmpsec	0.49
+2^230-27	gmpsec	0.49
+2^235-15	gmpsec	0.49
+2^243-9	gmpsec	0.49
+2^254-127x2^240-1	gmpsec	0.49
+2^255-765	gmpsec	0.49
+2^383-187	gmpvar	0.49
+2^194-33	gmpsec	0.50
+2^196-15	gmpsec	0.50
+2^205-45x2^198-1	gmpsec	0.50
+2^206-5	gmpsec	0.50
+2^212-29	gmpsec	0.50
+2^213-3	gmpsec	0.50
+2^216-2^108-1	gmpsec	0.50
+2^222-117	gmpsec	0.50
+2^224-2^96+1	gmpsec	0.50
+2^226-5	gmpsec	0.50
+2^230-27	gmpsec	0.50
+2^235-15	gmpsec	0.50
+2^243-9	gmpsec	0.50
+2^251-9	gmpsec	0.50
+2^254-127x2^240-1	gmpsec	0.50
+2^383-187	gmpvar	0.50
+2^383-31	gmpvar	0.50
+2^198-17	gmpsec	0.51
+2^213-3	gmpsec	0.51
+2^221-3	gmpsec	0.51
+2^224-2^96+1	gmpsec	0.51
+2^226-5	gmpsec	0.51
+2^230-27	gmpsec	0.51
+2^235-15	gmpsec	0.51
+2^243-9	gmpsec	0.51
+2^254-127x2^240-1	gmpsec	0.51
+2^383-421	gmpvar	0.51
+2^198-17	gmpsec	0.52
+2^206-5	gmpsec	0.52
+2^221-3	gmpsec	0.52
+2^251-9	gmpsec	0.52
+2^322-2^161-1	gmpvar	0.52
+2^336-17	gmpvar	0.52
+2^336-3	gmpvar	0.52
+2^338-15	gmpvar	0.52
+2^369-25	gmpvar	0.52
+2^379-19	gmpvar	0.52
+2^382-105	gmpvar	0.52
+2^384-2^128-2^96+2^32-1	fiat_montgomery64	0.52
+2^198-17	gmpsec	0.53
+2^321-9	gmpvar	0.53
+2^322-2^161-1	gmpvar	0.53
+2^336-3	gmpvar	0.53
+2^338-15	gmpvar	0.53
+2^369-25	gmpvar	0.53
+2^379-19	gmpvar	0.53
+2^382-105	gmpvar	0.53
+2^383-421	gmpvar	0.53
+2^448-2^224-1	gmpvar	0.53
+2^336-17	gmpvar	0.54
+2^379-19	gmpvar	0.54
+2^127-1	gmpxx	0.55
+2^382-105	gmpvar	0.55
+2^448-2^224-1	gmpvar	0.55
+2^127-1	gmpxx	0.56
+2^206-5	gmpsec	0.58
+2^401-31	gmpvar	0.59
+2^413-21	gmpvar	0.59
+2^414-17	gmpvar	0.59
+2^416-2^208-1	gmpvar	0.59
+2^444-17	gmpvar	0.59
+2^127-1	gmpxx	0.60
+2^389-21	gmpvar	0.60
+2^401-31	gmpvar	0.60
+2^413-21	gmpvar	0.60
+2^414-17	gmpvar	0.60
+2^416-2^208-1	gmpvar	0.60
+2^384-317	gmpsec	0.61
+2^389-21	gmpvar	0.61
+2^401-31	gmpvar	0.61
+2^414-17	gmpvar	0.61
+2^416-2^208-1	gmpvar	0.61
+2^444-17	gmpvar	0.61
+2^512-491x2^496-1	gmpvar	0.61
+2^512-569	gmpvar	0.61
+2^384-2^128-2^96+2^32-1	gmpsec	0.62
+2^384-317	gmpsec	0.62
+2^384-5x2^368-1	gmpsec	0.62
+2^384-79x2^376-1	gmpsec	0.62
+2^512-491x2^496-1	gmpvar	0.62
+2^512-569	gmpvar	0.62
+2^512-491x2^496-1	gmpvar	0.63
+2^266-3	gmpsec	0.64
+2^285-9	gmpsec	0.64
+2^291-19	gmpsec	0.64
+2^511-481	gmpvar	0.64
+2^285-9	gmpsec	0.65
+2^384-2^128-2^96+2^32-1	gmpsec	0.65
+2^511-187	gmpvar	0.65
+2^511-481	gmpvar	0.65
+2^266-3	gmpsec	0.66
+2^291-19	gmpsec	0.66
+2^285-9	gmpsec	0.67
+2^511-481	gmpvar	0.67
+2^137-13	gmpxx	0.68
+2^291-19	gmpsec	0.68
+2^450-2^225-1	gmpvar	0.68
+2^468-17	gmpvar	0.68
+2^480-2^240-1	gmpvar	0.68
+2^489-21	gmpvar	0.68
+2^495-31	gmpvar	0.68
+2^510-290x2^496-1	gmpvar	0.68
+2^137-13	gmpxx	0.69
+2^140-27	gmpxx	0.69
+2^141-9	gmpxx	0.69
+2^150-5	gmpxx	0.69
+2^450-2^225-1	gmpvar	0.69
+2^468-17	gmpvar	0.69
+2^480-2^240-1	gmpvar	0.69
+2^488-17	gmpvar	0.69
+2^489-21	gmpvar	0.69
+2^495-31	gmpvar	0.69
+2^510-290x2^496-1	gmpvar	0.69
+2^137-13	gmpxx	0.70
+2^141-9	gmpxx	0.70
+2^150-3	gmpxx	0.70
+2^150-5	gmpxx	0.70
+2^152-17	gmpxx	0.70
+2^450-2^225-1	gmpvar	0.70
+2^452-3	gmpvar	0.70
+2^468-17	gmpvar	0.70
+2^488-17	gmpvar	0.70
+2^150-3	gmpxx	0.71
+2^150-5	gmpxx	0.71
+2^158-15	gmpxx	0.71
+2^452-3	gmpvar	0.71
+2^468-17	gmpvar	0.71
+2^129-25	gmpxx	0.72
+2^130-5	gmpxx	0.72
+2^158-15	gmpxx	0.72
+2^165-25	gmpxx	0.72
+2^166-5	gmpxx	0.72
+2^174-17	gmpxx	0.72
+2^130-5	gmpxx	0.73
+2^152-17	gmpxx	0.73
+2^165-25	gmpxx	0.73
+2^166-5	gmpxx	0.73
+2^171-19	gmpxx	0.73
+2^174-17	gmpxx	0.73
+2^174-3	gmpxx	0.73
+2^191-19	gmpxx	0.73
+2^192-2^64-1	gmpxx	0.73
+2^452-3	gmpvar	0.73
+2^129-25	gmpxx	0.74
+2^130-5	gmpxx	0.74
+2^166-5	gmpxx	0.74
+2^171-19	gmpxx	0.74
+2^174-17	gmpxx	0.74
+2^189-25	gmpxx	0.74
+2^171-19	gmpxx	0.75
+2^189-25	gmpxx	0.75
+2^190-11	gmpxx	0.75
+2^191-19	gmpxx	0.75
+2^383-187	gmpsec	0.75
+2^383-31	gmpsec	0.75
+2^383-421	gmpsec	0.75
+2^189-25	gmpxx	0.76
+2^190-11	gmpxx	0.76
+2^383-187	gmpsec	0.76
+2^129-25	gmpxx	0.77
+2^448-2^224-1	gmpsec	0.77
+2^322-2^161-1	gmpsec	0.78
+2^448-2^224-1	gmpsec	0.78
+2^150-5	gmpxx	0.79
+2^321-9	gmpsec	0.79
+2^322-2^161-1	gmpsec	0.79
+2^336-17	gmpsec	0.79
+2^336-3	gmpsec	0.79
+2^338-15	gmpsec	0.79
+2^369-25	gmpsec	0.79
+2^379-19	gmpsec	0.79
+2^382-105	gmpsec	0.79
+2^322-2^161-1	gmpsec	0.80
+2^336-17	gmpsec	0.80
+2^336-3	gmpsec	0.80
+2^338-15	gmpsec	0.80
+2^369-25	gmpsec	0.80
+2^379-19	gmpsec	0.80
+2^382-105	gmpsec	0.80
+2^321-9	gmpsec	0.81
+2^322-2^161-1	gmpsec	0.81
+2^382-105	gmpsec	0.81
+2^521-1	gmpvar	0.81
+2^198-17	gmpxx	0.82
+2^206-5	gmpxx	0.82
+2^212-29	gmpxx	0.82
+2^521-1	gmpvar	0.82
+2^196-15	gmpxx	0.83
+2^206-5	gmpxx	0.83
+2^212-29	gmpxx	0.83
+2^213-3	gmpxx	0.83
+2^222-117	gmpxx	0.83
+2^336-17	gmpsec	0.83
+2^196-15	gmpxx	0.84
+2^198-17	gmpxx	0.84
+2^221-3	gmpxx	0.84
+2^222-117	gmpxx	0.84
+2^256-189	gmpxx	0.84
+2^256-2^224+2^192+2^96-1	gmpxx	0.84
+2^256-2^32-977	gmpxx	0.84
+2^256-88x2^240-1	gmpxx	0.84
+2^521-1	gmpvar	0.84
+2^196-15	gmpxx	0.85
+2^198-17	gmpxx	0.85
+2^206-5	gmpxx	0.85
+2^213-3	gmpxx	0.85
+2^221-3	gmpxx	0.85
+2^222-117	gmpxx	0.85
+2^226-5	gmpxx	0.85
+2^255-19	gmpxx	0.85
+2^255-2^4-2^1-1	gmpxx	0.85
+2^256-189	gmpxx	0.85
+2^256-2^32-977	gmpxx	0.85
+2^256-88x2^240-1	gmpxx	0.85
+2^198-17	gmpxx	0.86
+2^205-45x2^198-1	gmpxx	0.86
+2^212-29	gmpxx	0.86
+2^216-2^108-1	gmpxx	0.86
+2^226-5	gmpxx	0.86
+2^230-27	gmpxx	0.86
+2^255-19	gmpxx	0.86
+2^255-2^4-2^1-1	gmpxx	0.86
+2^255-765	gmpxx	0.86
+2^256-2^224+2^192+2^96-1	gmpxx	0.86
+2^256-88x2^240-1	gmpxx	0.86
+2^205-45x2^198-1	gmpxx	0.87
+2^216-2^108-1	gmpxx	0.87
+2^224-2^96+1	gmpxx	0.87
+2^226-5	gmpxx	0.87
+2^230-27	gmpxx	0.87
+2^235-15	gmpxx	0.87
+2^243-9	gmpxx	0.87
+2^251-9	gmpxx	0.87
+2^255-19	gmpxx	0.87
+2^255-2^4-2^1-1	gmpxx	0.87
+2^255-765	gmpxx	0.87
+2^256-189	gmpxx	0.87
+2^194-33	gmpxx	0.88
+2^216-2^108-1	gmpxx	0.88
+2^224-2^96+1	gmpxx	0.88
+2^243-9	gmpxx	0.88
+2^251-9	gmpxx	0.88
+2^254-127x2^240-1	gmpxx	0.88
+2^255-765	gmpxx	0.88
+2^256-2^224+2^192+2^96-1	gmpxx	0.88
+2^336-3	gmpsec	0.88
+2^221-3	gmpxx	0.89
+2^224-2^96+1	gmpxx	0.89
+2^251-9	gmpxx	0.89
+2^254-127x2^240-1	gmpxx	0.89
+2^243-9	gmpxx	0.90
+2^130-5	gmpxx	0.91
+2^512-491x2^496-1	gmpsec	0.95
+2^512-569	gmpsec	0.95
+2^384-2^128-2^96+2^32-1	gmpxx	0.96
+2^384-317	gmpxx	0.96
+2^384-79x2^376-1	gmpxx	0.96
+2^389-21	gmpsec	0.96
+2^401-31	gmpsec	0.96
+2^413-21	gmpsec	0.96
+2^414-17	gmpsec	0.96
+2^416-2^208-1	gmpsec	0.96
+2^444-17	gmpsec	0.96
+2^235-15	gmpxx	0.97
+2^285-9	gmpxx	0.97
+2^384-2^128-2^96+2^32-1	gmpxx	0.97
+2^384-317	gmpxx	0.97
+2^384-5x2^368-1	gmpxx	0.97
+2^389-21	gmpsec	0.97
+2^401-31	gmpsec	0.97
+2^413-21	gmpsec	0.97
+2^416-2^208-1	gmpsec	0.97
+2^512-491x2^496-1	gmpsec	0.97
+2^512-569	gmpsec	0.97
+2^194-33	gmpxx	0.98
+2^266-3	gmpxx	0.98
+2^285-9	gmpxx	0.98
+2^291-19	gmpxx	0.98
+2^384-2^128-2^96+2^32-1	gmpxx	0.98
+2^384-5x2^368-1	gmpxx	0.98
+2^384-79x2^376-1	gmpxx	0.98
+2^401-31	gmpsec	0.98
+2^414-17	gmpsec	0.98
+2^266-3	gmpxx	0.99
+2^291-19	gmpxx	0.99
+2^384-2^128-2^96+2^32-1	gmpxx	0.99
+2^384-317	gmpxx	0.99
+2^285-9	gmpxx	1.00
+2^291-19	gmpxx	1.00
+2^291-19	gmpxx	1.01
+2^383-421	gmpxx	1.03
+2^383-31	gmpxx	1.04
+2^448-2^224-1	gmpxx	1.04
+2^336-3	gmpxx	1.05
+2^383-187	gmpxx	1.05
+2^448-2^224-1	gmpxx	1.05
+2^336-17	gmpxx	1.06
+2^336-3	gmpxx	1.06
+2^338-15	gmpxx	1.06
+2^369-25	gmpxx	1.06
+2^379-19	gmpxx	1.06
+2^336-17	gmpxx	1.07
+2^336-3	gmpxx	1.07
+2^369-25	gmpxx	1.07
+2^379-19	gmpxx	1.07
+2^382-105	gmpxx	1.07
+2^383-31	gmpxx	1.07
+2^383-421	gmpxx	1.07
+2^448-2^224-1	gmpxx	1.07
+2^336-17	gmpxx	1.08
+2^369-25	gmpxx	1.08
+2^382-105	gmpxx	1.08
+2^336-17	gmpxx	1.09
+2^338-15	gmpxx	1.09
+2^338-15	gmpxx	1.10
+2^379-19	gmpxx	1.10
+2^511-481	gmpsec	1.10
+2^511-187	gmpsec	1.11
+2^511-481	gmpsec	1.11
+2^369-25	gmpxx	1.12
+2^511-187	gmpsec	1.12
+2^322-2^161-1	gmpxx	1.13
+2^512-569	gmpxx	1.13
+2^512-491*2^496-1	gmpxx	1.14
+2^512-569	gmpxx	1.14
+2^321-9	gmpxx	1.15
+2^414-17	gmpxx	1.15
+2^416-2^208-1	gmpxx	1.15
+2^512-569	gmpxx	1.15
+2^401-31	gmpxx	1.16
+2^413-21	gmpxx	1.16
+2^414-17	gmpxx	1.16
+2^416-2^208-1	gmpxx	1.16
+2^444-17	gmpxx	1.16
+2^480-2^240-1	gmpsec	1.16
+2^488-17	gmpsec	1.16
+2^512-491*2^496-1	gmpxx	1.16
+2^321-9	gmpxx	1.17
+2^322-2^161-1	gmpxx	1.17
+2^389-21	gmpxx	1.17
+2^401-31	gmpxx	1.17
+2^413-21	gmpxx	1.17
+2^416-2^208-1	gmpxx	1.17
+2^444-17	gmpxx	1.17
+2^450-2^225-1	gmpsec	1.17
+2^452-3	gmpsec	1.17
+2^468-17	gmpsec	1.17
+2^480-2^240-1	gmpsec	1.17
+2^488-17	gmpsec	1.17
+2^489-21	gmpsec	1.17
+2^495-31	gmpsec	1.17
+2^510-290*2^496-1	gmpsec	1.17
+2^512-491*2^496-1	gmpxx	1.17
+2^512-569	gmpxx	1.17
+2^401-31	gmpxx	1.18
+2^416-2^208-1	gmpxx	1.18
+2^444-17	gmpxx	1.18
+2^450-2^225-1	gmpsec	1.18
+2^452-3	gmpsec	1.18
+2^468-17	gmpsec	1.18
+2^480-2^240-1	gmpsec	1.18
+2^488-17	gmpsec	1.18
+2^495-31	gmpsec	1.18
+2^510-290*2^496-1	gmpsec	1.18
+2^511-187	gmpxx	1.20
+2^511-481	gmpxx	1.20
+2^511-187	gmpxx	1.21
+2^511-481	gmpxx	1.21
+2^489-21	gmpsec	1.24
+2^510-290*2^496-1	gmpxx	1.24
+2^468-17	gmpxx	1.25
+2^480-2^240-1	gmpxx	1.25
+2^468-17	gmpxx	1.26
+2^480-2^240-1	gmpxx	1.26
+2^489-21	gmpxx	1.26
+2^495-31	gmpxx	1.26
+2^510-290*2^496-1	gmpxx	1.26
+2^414-17	gmpxx	1.27
+2^468-17	gmpxx	1.27
+2^488-17	gmpxx	1.27
+2^495-31	gmpxx	1.27
+2^510-290*2^496-1	gmpxx	1.27
+2^489-21	gmpsec	1.28
+2^489-21	gmpxx	1.28
+2^452-3	gmpxx	1.29
+2^489-21	gmpxx	1.29
+2^480-2^240-1	gmpxx	1.31
+2^452-3	gmpxx	1.32
+2^450-2^225-1	gmpxx	1.33
+2^510-290*2^496-1	gmpxx	1.33
+2^450-2^225-1	gmpxx	1.34
+2^450-2^225-1	gmpsec	1.35
+2^450-2^225-1	gmpxx	1.35
+2^521-1	gmpxx	1.38
+2^521-1	gmpsec	1.39
+2^521-1	gmpxx	1.39
+2^521-1	gmpsec	1.40
+2^521-1	gmpxx	1.40
diff --git a/measurements/2018-11-03-gcc/benchmarks2.log b/measurements/2018-11-03-gcc/benchmarks2.log
new file mode 100644
index 000000000..8210fff92
--- /dev/null
+++ b/measurements/2018-11-03-gcc/benchmarks2.log
@@ -0,0 +1,652 @@
+2^127-1	fiat_solinas64	0.00
+2^129-25	fiat_solinas64	0.00
+2^130-5	fiat_solinas64	0.00
+2^141-9	fiat_solinas64	0.00
+2^150-3	fiat_solinas64	0.00
+2^150-5	fiat_solinas64	0.00
+2^165-25	fiat_solinas64	0.00
+2^166-5	fiat_solinas64	0.00
+2^171-19	fiat_solinas64	0.00
+2^174-17	fiat_solinas64	0.00
+2^174-3	fiat_solinas64	0.00
+2^130-5	fiat_solinas32	0.04
+2^127-1	fiat_solinas32	0.05
+2^140-27	fiat_solinas64	0.05
+2^158-15	fiat_solinas32	0.05
+2^196-15	fiat_solinas64	0.05
+2^212-29	fiat_solinas64	0.05
+2^216-2^108-1	fiat_solinas64	0.05
+2^222-117	fiat_solinas64	0.05
+2^230-27	fiat_solinas64	0.05
+2^127-1	fiat_montgomery64	0.06
+2^129-25	fiat_solinas32	0.06
+2^137-13	fiat_solinas64	0.06
+2^140-27	fiat_solinas32	0.06
+2^141-9	fiat_solinas32	0.06
+2^150-5	fiat_solinas32	0.06
+2^152-17	fiat_solinas32	0.06
+2^152-17	fiat_solinas64	0.06
+2^158-15	fiat_solinas64	0.06
+2^189-25	fiat_solinas64	0.06
+2^190-11	fiat_solinas64	0.06
+2^194-33	fiat_solinas64	0.06
+2^198-17	fiat_solinas64	0.06
+2^206-5	fiat_solinas64	0.06
+2^213-3	fiat_solinas64	0.06
+2^221-3	fiat_solinas64	0.06
+2^226-5	fiat_solinas64	0.06
+2^191-19	fiat_solinas64	0.07
+2^192-2^64-1	fiat_solinas64	0.07
+2^235-15	fiat_solinas64	0.07
+2^251-9	fiat_solinas64	0.07
+2^255-19	fiat_solinas64	0.07
+2^255-765	fiat_solinas64	0.07
+2^256-189	fiat_solinas64	0.07
+2^266-3	fiat_solinas64	0.07
+2^285-9	fiat_solinas64	0.07
+2^216-2^108-1	fiat_solinas32	0.08
+2^255-2^4-2^1-1	fiat_solinas64	0.08
+2^291-19	fiat_solinas64	0.08
+2^137-13	fiat_solinas32	0.09
+2^194-33	fiat_solinas32	0.09
+2^243-9	fiat_solinas64	0.09
+2^336-17	fiat_solinas64	0.09
+2^336-3	fiat_solinas64	0.09
+2^243-9	fiat_solinas32	0.10
+2^321-9	fiat_solinas64	0.10
+2^338-15	fiat_solinas64	0.10
+2^165-25	fiat_solinas32	0.11
+2^171-19	fiat_solinas32	0.11
+2^174-17	fiat_solinas32	0.11
+2^198-17	fiat_solinas32	0.11
+2^235-15	fiat_solinas32	0.11
+2^191-19	fiat_solinas32	0.12
+2^127-1	fiat_montgomery32	0.13
+2^221-3	fiat_solinas32	0.13
+2^222-117	fiat_solinas32	0.13
+2^230-27	fiat_solinas32	0.13
+2^251-9	fiat_solinas32	0.13
+2^255-19	fiat_solinas32	0.13
+2^379-19	fiat_solinas64	0.13
+2^416-2^208-1	fiat_solinas64	0.13
+2^448-2^224-1	fiat_solinas64	0.13
+2^450-2^225-1	fiat_solinas64	0.14
+2^480-2^240-1	fiat_solinas64	0.14
+2^127-1	gmpvar	0.15
+2^166-5	fiat_solinas32	0.15
+2^369-25	fiat_solinas64	0.15
+2^384-317	fiat_solinas64	0.15
+2^468-17	fiat_solinas64	0.15
+2^401-31	fiat_solinas64	0.16
+2^444-17	fiat_solinas64	0.16
+2^452-3	fiat_solinas64	0.16
+2^206-5	fiat_solinas32	0.17
+2^266-3	fiat_solinas32	0.17
+2^255-765	fiat_solinas32	0.18
+2^256-189	fiat_solinas32	0.18
+2^291-19	fiat_solinas32	0.18
+2^414-17	fiat_solinas64	0.18
+2^489-21	fiat_solinas64	0.18
+2^256-2^32-977	fiat_solinas32	0.19
+2^495-31	fiat_solinas64	0.19
+2^521-1	fiat_solinas64	0.20
+2^338-15	fiat_solinas32	0.22
+2^382-105	fiat_solinas64	0.22
+2^511-481	fiat_solinas64	0.23
+2^512-569	fiat_solinas64	0.23
+2^192-2^64-1	gmpvar	0.24
+2^192-2^64-1	gmpvar	0.25
+2^127-1	gmpsec	0.26
+2^191-19	gmpvar	0.26
+2^511-187	fiat_solinas64	0.26
+2^129-25	gmpvar	0.27
+2^130-5	gmpvar	0.27
+2^137-13	gmpvar	0.27
+2^140-27	gmpvar	0.27
+2^141-9	gmpvar	0.27
+2^150-3	gmpvar	0.27
+2^150-5	gmpvar	0.27
+2^152-17	gmpvar	0.27
+2^158-15	gmpvar	0.27
+2^165-25	gmpvar	0.27
+2^166-5	gmpvar	0.27
+2^171-19	gmpvar	0.27
+2^174-17	gmpvar	0.27
+2^174-3	gmpvar	0.27
+2^189-25	gmpvar	0.27
+2^190-11	gmpvar	0.27
+2^191-19	gmpvar	0.27
+2^130-5	gmpvar	0.28
+2^137-13	gmpvar	0.28
+2^140-27	gmpvar	0.28
+2^141-9	gmpvar	0.28
+2^150-5	gmpvar	0.28
+2^152-17	gmpvar	0.28
+2^158-15	gmpvar	0.28
+2^171-19	gmpvar	0.28
+2^174-17	gmpvar	0.28
+2^190-11	gmpvar	0.28
+2^192-2^64-1	gmpsec	0.28
+2^129-25	gmpvar	0.29
+2^137-13	gmpvar	0.30
+2^255-19	gmpvar	0.32
+2^255-2^4-2^1-1	gmpvar	0.32
+2^255-765	gmpvar	0.32
+2^256-2^224+2^192+2^96-1	gmpvar	0.32
+2^171-19	gmpvar	0.33
+2^194-33	gmpvar	0.33
+2^198-17	gmpvar	0.33
+2^216-2^108-1	gmpvar	0.33
+2^221-3	gmpvar	0.33
+2^222-117	gmpvar	0.33
+2^224-2^96+1	gmpvar	0.33
+2^255-2^4-2^1-1	gmpvar	0.33
+2^255-765	gmpvar	0.33
+2^256-189	gmpvar	0.33
+2^256-2^224+2^192+2^96-1	gmpvar	0.33
+2^256-2^32-977	gmpvar	0.33
+2^194-33	gmpvar	0.34
+2^196-15	gmpvar	0.34
+2^198-17	gmpvar	0.34
+2^205-45*2^198-1	gmpvar	0.34
+2^206-5	gmpvar	0.34
+2^212-29	gmpvar	0.34
+2^213-3	gmpvar	0.34
+2^216-2^108-1	gmpvar	0.34
+2^221-3	gmpvar	0.34
+2^222-117	gmpvar	0.34
+2^224-2^96+1	gmpvar	0.34
+2^226-5	gmpvar	0.34
+2^230-27	gmpvar	0.34
+2^235-15	gmpvar	0.34
+2^243-9	gmpvar	0.34
+2^251-9	gmpvar	0.34
+2^254-127*2^240-1	gmpvar	0.34
+2^256-189	gmpvar	0.34
+2^256-2^32-977	gmpvar	0.34
+2^256-88*2^240-1	gmpvar	0.34
+2^196-15	gmpvar	0.35
+2^205-45*2^198-1	gmpvar	0.35
+2^212-29	gmpvar	0.35
+2^216-2^108-1	gmpvar	0.35
+2^222-117	gmpvar	0.35
+2^230-27	gmpvar	0.35
+2^235-15	gmpvar	0.35
+2^254-127*2^240-1	gmpvar	0.35
+2^256-2^32-977	gmpvar	0.35
+2^205-45*2^198-1	gmpvar	0.36
+2^243-9	gmpvar	0.36
+2^256-88*2^240-1	gmpvar	0.36
+2^190-11	gmpsec	0.37
+2^191-19	gmpsec	0.37
+2^256-189	gmpsec	0.37
+2^256-2^224+2^192+2^96-1	gmpsec	0.37
+2^256-2^32-977	gmpsec	0.37
+2^256-88*2^240-1	gmpsec	0.37
+2^129-25	gmpsec	0.38
+2^130-5	gmpsec	0.38
+2^137-13	gmpsec	0.38
+2^140-27	gmpsec	0.38
+2^141-9	gmpsec	0.38
+2^150-3	gmpsec	0.38
+2^150-5	gmpsec	0.38
+2^152-17	gmpsec	0.38
+2^158-15	gmpsec	0.38
+2^165-25	gmpsec	0.38
+2^166-5	gmpsec	0.38
+2^174-17	gmpsec	0.38
+2^174-3	gmpsec	0.38
+2^189-25	gmpsec	0.38
+2^190-11	gmpsec	0.38
+2^191-19	gmpsec	0.38
+2^256-189	gmpsec	0.38
+2^256-2^224+2^192+2^96-1	gmpsec	0.38
+2^256-2^32-977	gmpsec	0.38
+2^256-88*2^240-1	gmpsec	0.38
+2^137-13	gmpsec	0.39
+2^140-27	gmpsec	0.39
+2^158-15	gmpsec	0.39
+2^165-25	gmpsec	0.39
+2^166-5	gmpsec	0.39
+2^171-19	gmpsec	0.39
+2^174-17	gmpsec	0.39
+2^174-3	gmpsec	0.39
+2^189-25	gmpsec	0.39
+2^256-189	gmpsec	0.39
+2^137-13	gmpsec	0.40
+2^256-2^224+2^192+2^96-1	gmpsec	0.41
+2^266-3	gmpvar	0.42
+2^285-9	gmpvar	0.42
+2^291-19	gmpvar	0.42
+2^251-9	gmpvar	0.43
+2^285-9	gmpvar	0.43
+2^291-19	gmpvar	0.43
+2^291-19	gmpvar	0.44
+2^266-3	gmpvar	0.45
+2^285-9	gmpvar	0.45
+2^384-2^128-2^96+2^32-1	gmpvar	0.45
+2^384-317	gmpvar	0.45
+2^384-5*2^368-1	gmpvar	0.45
+2^384-79*2^376-1	gmpvar	0.45
+2^384-2^128-2^96+2^32-1	gmpvar	0.46
+2^384-317	gmpvar	0.46
+2^384-79*2^376-1	gmpvar	0.46
+2^255-19	gmpsec	0.47
+2^255-2^4-2^1-1	gmpsec	0.47
+2^255-765	gmpsec	0.47
+2^384-317	gmpvar	0.47
+2^384-5*2^368-1	gmpvar	0.47
+2^384-79*2^376-1	gmpvar	0.47
+2^255-19	gmpsec	0.48
+2^255-2^4-2^1-1	gmpsec	0.48
+2^255-765	gmpsec	0.48
+2^212-29	gmpsec	0.49
+2^213-3	gmpsec	0.49
+2^216-2^108-1	gmpsec	0.49
+2^221-3	gmpsec	0.49
+2^224-2^96+1	gmpsec	0.49
+2^226-5	gmpsec	0.49
+2^230-27	gmpsec	0.49
+2^235-15	gmpsec	0.49
+2^243-9	gmpsec	0.49
+2^254-127*2^240-1	gmpsec	0.49
+2^255-765	gmpsec	0.49
+2^383-187	gmpvar	0.49
+2^194-33	gmpsec	0.50
+2^196-15	gmpsec	0.50
+2^205-45*2^198-1	gmpsec	0.50
+2^206-5	gmpsec	0.50
+2^212-29	gmpsec	0.50
+2^213-3	gmpsec	0.50
+2^216-2^108-1	gmpsec	0.50
+2^222-117	gmpsec	0.50
+2^224-2^96+1	gmpsec	0.50
+2^226-5	gmpsec	0.50
+2^230-27	gmpsec	0.50
+2^235-15	gmpsec	0.50
+2^243-9	gmpsec	0.50
+2^251-9	gmpsec	0.50
+2^254-127*2^240-1	gmpsec	0.50
+2^383-187	gmpvar	0.50
+2^383-31	gmpvar	0.50
+2^198-17	gmpsec	0.51
+2^213-3	gmpsec	0.51
+2^221-3	gmpsec	0.51
+2^224-2^96+1	gmpsec	0.51
+2^226-5	gmpsec	0.51
+2^230-27	gmpsec	0.51
+2^235-15	gmpsec	0.51
+2^243-9	gmpsec	0.51
+2^254-127*2^240-1	gmpsec	0.51
+2^383-421	gmpvar	0.51
+2^198-17	gmpsec	0.52
+2^206-5	gmpsec	0.52
+2^221-3	gmpsec	0.52
+2^251-9	gmpsec	0.52
+2^322-2^161-1	gmpvar	0.52
+2^336-17	gmpvar	0.52
+2^336-3	gmpvar	0.52
+2^338-15	gmpvar	0.52
+2^369-25	gmpvar	0.52
+2^379-19	gmpvar	0.52
+2^382-105	gmpvar	0.52
+2^384-2^128-2^96+2^32-1	fiat_montgomery64	0.52
+2^198-17	gmpsec	0.53
+2^321-9	gmpvar	0.53
+2^322-2^161-1	gmpvar	0.53
+2^336-3	gmpvar	0.53
+2^338-15	gmpvar	0.53
+2^369-25	gmpvar	0.53
+2^379-19	gmpvar	0.53
+2^382-105	gmpvar	0.53
+2^383-421	gmpvar	0.53
+2^448-2^224-1	gmpvar	0.53
+2^336-17	gmpvar	0.54
+2^379-19	gmpvar	0.54
+2^127-1	gmpxx	0.55
+2^382-105	gmpvar	0.55
+2^448-2^224-1	gmpvar	0.55
+2^127-1	gmpxx	0.56
+2^206-5	gmpsec	0.58
+2^401-31	gmpvar	0.59
+2^413-21	gmpvar	0.59
+2^414-17	gmpvar	0.59
+2^416-2^208-1	gmpvar	0.59
+2^444-17	gmpvar	0.59
+2^127-1	gmpxx	0.60
+2^389-21	gmpvar	0.60
+2^401-31	gmpvar	0.60
+2^413-21	gmpvar	0.60
+2^414-17	gmpvar	0.60
+2^416-2^208-1	gmpvar	0.60
+2^384-317	gmpsec	0.61
+2^389-21	gmpvar	0.61
+2^401-31	gmpvar	0.61
+2^414-17	gmpvar	0.61
+2^416-2^208-1	gmpvar	0.61
+2^444-17	gmpvar	0.61
+2^512-491*2^496-1	gmpvar	0.61
+2^512-569	gmpvar	0.61
+2^384-2^128-2^96+2^32-1	gmpsec	0.62
+2^384-317	gmpsec	0.62
+2^384-5*2^368-1	gmpsec	0.62
+2^384-79*2^376-1	gmpsec	0.62
+2^512-491*2^496-1	gmpvar	0.62
+2^512-569	gmpvar	0.62
+2^512-491*2^496-1	gmpvar	0.63
+2^266-3	gmpsec	0.64
+2^285-9	gmpsec	0.64
+2^291-19	gmpsec	0.64
+2^511-481	gmpvar	0.64
+2^285-9	gmpsec	0.65
+2^384-2^128-2^96+2^32-1	gmpsec	0.65
+2^511-187	gmpvar	0.65
+2^511-481	gmpvar	0.65
+2^266-3	gmpsec	0.66
+2^291-19	gmpsec	0.66
+2^285-9	gmpsec	0.67
+2^511-481	gmpvar	0.67
+2^137-13	gmpxx	0.68
+2^291-19	gmpsec	0.68
+2^450-2^225-1	gmpvar	0.68
+2^468-17	gmpvar	0.68
+2^480-2^240-1	gmpvar	0.68
+2^489-21	gmpvar	0.68
+2^495-31	gmpvar	0.68
+2^510-290*2^496-1	gmpvar	0.68
+2^137-13	gmpxx	0.69
+2^140-27	gmpxx	0.69
+2^141-9	gmpxx	0.69
+2^150-5	gmpxx	0.69
+2^450-2^225-1	gmpvar	0.69
+2^468-17	gmpvar	0.69
+2^480-2^240-1	gmpvar	0.69
+2^488-17	gmpvar	0.69
+2^489-21	gmpvar	0.69
+2^495-31	gmpvar	0.69
+2^510-290*2^496-1	gmpvar	0.69
+2^137-13	gmpxx	0.70
+2^141-9	gmpxx	0.70
+2^150-3	gmpxx	0.70
+2^150-5	gmpxx	0.70
+2^152-17	gmpxx	0.70
+2^450-2^225-1	gmpvar	0.70
+2^452-3	gmpvar	0.70
+2^468-17	gmpvar	0.70
+2^488-17	gmpvar	0.70
+2^150-3	gmpxx	0.71
+2^150-5	gmpxx	0.71
+2^158-15	gmpxx	0.71
+2^452-3	gmpvar	0.71
+2^468-17	gmpvar	0.71
+2^129-25	gmpxx	0.72
+2^130-5	gmpxx	0.72
+2^158-15	gmpxx	0.72
+2^165-25	gmpxx	0.72
+2^166-5	gmpxx	0.72
+2^174-17	gmpxx	0.72
+2^130-5	gmpxx	0.73
+2^152-17	gmpxx	0.73
+2^165-25	gmpxx	0.73
+2^166-5	gmpxx	0.73
+2^171-19	gmpxx	0.73
+2^174-17	gmpxx	0.73
+2^174-3	gmpxx	0.73
+2^191-19	gmpxx	0.73
+2^192-2^64-1	gmpxx	0.73
+2^452-3	gmpvar	0.73
+2^129-25	gmpxx	0.74
+2^130-5	gmpxx	0.74
+2^166-5	gmpxx	0.74
+2^171-19	gmpxx	0.74
+2^174-17	gmpxx	0.74
+2^189-25	gmpxx	0.74
+2^171-19	gmpxx	0.75
+2^189-25	gmpxx	0.75
+2^190-11	gmpxx	0.75
+2^191-19	gmpxx	0.75
+2^383-187	gmpsec	0.75
+2^383-31	gmpsec	0.75
+2^383-421	gmpsec	0.75
+2^189-25	gmpxx	0.76
+2^190-11	gmpxx	0.76
+2^383-187	gmpsec	0.76
+2^129-25	gmpxx	0.77
+2^448-2^224-1	gmpsec	0.77
+2^322-2^161-1	gmpsec	0.78
+2^448-2^224-1	gmpsec	0.78
+2^150-5	gmpxx	0.79
+2^321-9	gmpsec	0.79
+2^322-2^161-1	gmpsec	0.79
+2^336-17	gmpsec	0.79
+2^336-3	gmpsec	0.79
+2^338-15	gmpsec	0.79
+2^369-25	gmpsec	0.79
+2^379-19	gmpsec	0.79
+2^382-105	gmpsec	0.79
+2^322-2^161-1	gmpsec	0.80
+2^336-17	gmpsec	0.80
+2^336-3	gmpsec	0.80
+2^338-15	gmpsec	0.80
+2^369-25	gmpsec	0.80
+2^379-19	gmpsec	0.80
+2^382-105	gmpsec	0.80
+2^321-9	gmpsec	0.81
+2^322-2^161-1	gmpsec	0.81
+2^382-105	gmpsec	0.81
+2^521-1	gmpvar	0.81
+2^198-17	gmpxx	0.82
+2^206-5	gmpxx	0.82
+2^212-29	gmpxx	0.82
+2^521-1	gmpvar	0.82
+2^196-15	gmpxx	0.83
+2^206-5	gmpxx	0.83
+2^212-29	gmpxx	0.83
+2^213-3	gmpxx	0.83
+2^222-117	gmpxx	0.83
+2^336-17	gmpsec	0.83
+2^196-15	gmpxx	0.84
+2^198-17	gmpxx	0.84
+2^221-3	gmpxx	0.84
+2^222-117	gmpxx	0.84
+2^256-189	gmpxx	0.84
+2^256-2^224+2^192+2^96-1	gmpxx	0.84
+2^256-2^32-977	gmpxx	0.84
+2^256-88*2^240-1	gmpxx	0.84
+2^521-1	gmpvar	0.84
+2^196-15	gmpxx	0.85
+2^198-17	gmpxx	0.85
+2^206-5	gmpxx	0.85
+2^213-3	gmpxx	0.85
+2^221-3	gmpxx	0.85
+2^222-117	gmpxx	0.85
+2^226-5	gmpxx	0.85
+2^255-19	gmpxx	0.85
+2^255-2^4-2^1-1	gmpxx	0.85
+2^256-189	gmpxx	0.85
+2^256-2^32-977	gmpxx	0.85
+2^256-88*2^240-1	gmpxx	0.85
+2^198-17	gmpxx	0.86
+2^205-45*2^198-1	gmpxx	0.86
+2^212-29	gmpxx	0.86
+2^216-2^108-1	gmpxx	0.86
+2^226-5	gmpxx	0.86
+2^230-27	gmpxx	0.86
+2^255-19	gmpxx	0.86
+2^255-2^4-2^1-1	gmpxx	0.86
+2^255-765	gmpxx	0.86
+2^256-2^224+2^192+2^96-1	gmpxx	0.86
+2^256-88*2^240-1	gmpxx	0.86
+2^205-45*2^198-1	gmpxx	0.87
+2^216-2^108-1	gmpxx	0.87
+2^224-2^96+1	gmpxx	0.87
+2^226-5	gmpxx	0.87
+2^230-27	gmpxx	0.87
+2^235-15	gmpxx	0.87
+2^243-9	gmpxx	0.87
+2^251-9	gmpxx	0.87
+2^255-19	gmpxx	0.87
+2^255-2^4-2^1-1	gmpxx	0.87
+2^255-765	gmpxx	0.87
+2^256-189	gmpxx	0.87
+2^194-33	gmpxx	0.88
+2^216-2^108-1	gmpxx	0.88
+2^224-2^96+1	gmpxx	0.88
+2^243-9	gmpxx	0.88
+2^251-9	gmpxx	0.88
+2^254-127*2^240-1	gmpxx	0.88
+2^255-765	gmpxx	0.88
+2^256-2^224+2^192+2^96-1	gmpxx	0.88
+2^336-3	gmpsec	0.88
+2^221-3	gmpxx	0.89
+2^224-2^96+1	gmpxx	0.89
+2^251-9	gmpxx	0.89
+2^254-127*2^240-1	gmpxx	0.89
+2^243-9	gmpxx	0.90
+2^130-5	gmpxx	0.91
+2^512-491*2^496-1	gmpsec	0.95
+2^512-569	gmpsec	0.95
+2^384-2^128-2^96+2^32-1	gmpxx	0.96
+2^384-317	gmpxx	0.96
+2^384-79*2^376-1	gmpxx	0.96
+2^389-21	gmpsec	0.96
+2^401-31	gmpsec	0.96
+2^413-21	gmpsec	0.96
+2^414-17	gmpsec	0.96
+2^416-2^208-1	gmpsec	0.96
+2^444-17	gmpsec	0.96
+2^235-15	gmpxx	0.97
+2^285-9	gmpxx	0.97
+2^384-2^128-2^96+2^32-1	gmpxx	0.97
+2^384-317	gmpxx	0.97
+2^384-5*2^368-1	gmpxx	0.97
+2^389-21	gmpsec	0.97
+2^401-31	gmpsec	0.97
+2^413-21	gmpsec	0.97
+2^416-2^208-1	gmpsec	0.97
+2^512-491*2^496-1	gmpsec	0.97
+2^512-569	gmpsec	0.97
+2^194-33	gmpxx	0.98
+2^266-3	gmpxx	0.98
+2^285-9	gmpxx	0.98
+2^291-19	gmpxx	0.98
+2^384-2^128-2^96+2^32-1	gmpxx	0.98
+2^384-5*2^368-1	gmpxx	0.98
+2^384-79*2^376-1	gmpxx	0.98
+2^401-31	gmpsec	0.98
+2^414-17	gmpsec	0.98
+2^266-3	gmpxx	0.99
+2^291-19	gmpxx	0.99
+2^384-2^128-2^96+2^32-1	gmpxx	0.99
+2^384-317	gmpxx	0.99
+2^285-9	gmpxx	1.00
+2^291-19	gmpxx	1.00
+2^291-19	gmpxx	1.01
+2^383-421	gmpxx	1.03
+2^383-31	gmpxx	1.04
+2^448-2^224-1	gmpxx	1.04
+2^336-3	gmpxx	1.05
+2^383-187	gmpxx	1.05
+2^448-2^224-1	gmpxx	1.05
+2^336-17	gmpxx	1.06
+2^336-3	gmpxx	1.06
+2^338-15	gmpxx	1.06
+2^369-25	gmpxx	1.06
+2^379-19	gmpxx	1.06
+2^336-17	gmpxx	1.07
+2^336-3	gmpxx	1.07
+2^369-25	gmpxx	1.07
+2^379-19	gmpxx	1.07
+2^382-105	gmpxx	1.07
+2^383-31	gmpxx	1.07
+2^383-421	gmpxx	1.07
+2^448-2^224-1	gmpxx	1.07
+2^336-17	gmpxx	1.08
+2^369-25	gmpxx	1.08
+2^382-105	gmpxx	1.08
+2^336-17	gmpxx	1.09
+2^338-15	gmpxx	1.09
+2^338-15	gmpxx	1.10
+2^379-19	gmpxx	1.10
+2^511-481	gmpsec	1.10
+2^511-187	gmpsec	1.11
+2^511-481	gmpsec	1.11
+2^369-25	gmpxx	1.12
+2^511-187	gmpsec	1.12
+2^322-2^161-1	gmpxx	1.13
+2^512-569	gmpxx	1.13
+2^512-491*2^496-1	gmpxx	1.14
+2^512-569	gmpxx	1.14
+2^321-9	gmpxx	1.15
+2^414-17	gmpxx	1.15
+2^416-2^208-1	gmpxx	1.15
+2^512-569	gmpxx	1.15
+2^401-31	gmpxx	1.16
+2^413-21	gmpxx	1.16
+2^414-17	gmpxx	1.16
+2^416-2^208-1	gmpxx	1.16
+2^444-17	gmpxx	1.16
+2^480-2^240-1	gmpsec	1.16
+2^488-17	gmpsec	1.16
+2^512-491*2^496-1	gmpxx	1.16
+2^321-9	gmpxx	1.17
+2^322-2^161-1	gmpxx	1.17
+2^389-21	gmpxx	1.17
+2^401-31	gmpxx	1.17
+2^413-21	gmpxx	1.17
+2^416-2^208-1	gmpxx	1.17
+2^444-17	gmpxx	1.17
+2^450-2^225-1	gmpsec	1.17
+2^452-3	gmpsec	1.17
+2^468-17	gmpsec	1.17
+2^480-2^240-1	gmpsec	1.17
+2^488-17	gmpsec	1.17
+2^489-21	gmpsec	1.17
+2^495-31	gmpsec	1.17
+2^510-290*2^496-1	gmpsec	1.17
+2^512-491*2^496-1	gmpxx	1.17
+2^512-569	gmpxx	1.17
+2^401-31	gmpxx	1.18
+2^416-2^208-1	gmpxx	1.18
+2^444-17	gmpxx	1.18
+2^450-2^225-1	gmpsec	1.18
+2^452-3	gmpsec	1.18
+2^468-17	gmpsec	1.18
+2^480-2^240-1	gmpsec	1.18
+2^488-17	gmpsec	1.18
+2^495-31	gmpsec	1.18
+2^510-290*2^496-1	gmpsec	1.18
+2^511-187	gmpxx	1.20
+2^511-481	gmpxx	1.20
+2^511-187	gmpxx	1.21
+2^511-481	gmpxx	1.21
+2^489-21	gmpsec	1.24
+2^510-290*2^496-1	gmpxx	1.24
+2^468-17	gmpxx	1.25
+2^480-2^240-1	gmpxx	1.25
+2^468-17	gmpxx	1.26
+2^480-2^240-1	gmpxx	1.26
+2^489-21	gmpxx	1.26
+2^495-31	gmpxx	1.26
+2^510-290*2^496-1	gmpxx	1.26
+2^414-17	gmpxx	1.27
+2^468-17	gmpxx	1.27
+2^488-17	gmpxx	1.27
+2^495-31	gmpxx	1.27
+2^510-290*2^496-1	gmpxx	1.27
+2^489-21	gmpsec	1.28
+2^489-21	gmpxx	1.28
+2^452-3	gmpxx	1.29
+2^489-21	gmpxx	1.29
+2^480-2^240-1	gmpxx	1.31
+2^452-3	gmpxx	1.32
+2^450-2^225-1	gmpxx	1.33
+2^510-290*2^496-1	gmpxx	1.33
+2^450-2^225-1	gmpxx	1.34
+2^450-2^225-1	gmpsec	1.35
+2^450-2^225-1	gmpxx	1.35
+2^521-1	gmpxx	1.38
+2^521-1	gmpsec	1.39
+2^521-1	gmpxx	1.39
+2^521-1	gmpsec	1.40
+2^521-1	gmpxx	1.40
diff --git a/measurements/2018-11-03-gcc/setup b/measurements/2018-11-03-gcc/setup
new file mode 100644
index 000000000..de6939206
--- /dev/null
+++ b/measurements/2018-11-03-gcc/setup
@@ -0,0 +1,34 @@
+gcc (Debian 6.3.0-18) 6.3.0 20170516
+Copyright (C) 2016 Free Software Foundation, Inc.
+This is free software; see the source for copying conditions.  There is NO
+warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+
+Architecture:          x86_64
+CPU op-mode(s):        32-bit, 64-bit
+Byte Order:            Little Endian
+CPU(s):                16
+On-line CPU(s) list:   0-15
+Thread(s) per core:    2
+Core(s) per socket:    8
+Socket(s):             1
+NUMA node(s):          1
+Vendor ID:             GenuineIntel
+CPU family:            6
+Model:                 63
+Model name:            Intel(R) Xeon(R) CPU @ 2.30GHz
+Stepping:              0
+CPU MHz:               2300.000
+BogoMIPS:              4600.00
+Hypervisor vendor:     KVM
+Virtualization type:   full
+L1d cache:             32K
+L1i cache:             32K
+L2 cache:              256K
+L3 cache:              46080K
+NUMA node0 CPU(s):     0-15
+Flags:                 fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ss ht syscall nx pdpe1gb rdtscp lm constant_tsc rep_good nopl xtopology nonstop_tsc eagerfpu pni pclmulqdq ssse3 fma cx16 sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand hypervisor lahf_lm abm fsgsbase tsc_adjust bmi1 avx2 smep bmi2 erms xsaveopt
+commit 0b8080dfb1021c6fb24e922ee4eea22364974f51
+Author: Jason Gross <jgross@mit.edu>
+Date:   Fri Nov 3 08:13:40 2017 -0400
+
+    Update display logs and c files