excplicit, sorted list of failures on haswell

1 files changed, 146 insertions, 0 deletions

diff --git a/measurements/2017-11-16/missing-haswell.txt b/measurements/2017-11-16/missing-haswell.txt
new file mode 100644
index 000000000..b5694cab1
--- /dev/null
+++ b/measurements/2017-11-16/missing-haswell.txt
@@ -0,0 +1,146 @@
+andreser@linux-andreser:~/fiat-crypto$ grep MISSING measurements/2017-11-16/measurements-haswell.txt | grep '*'
+# MISSING src/Specific/solinas64_2e205m45x2e198m1_*limbs
+# MISSING src/Specific/solinas32_2e205m45x2e198m1_*limbs
+# MISSING src/Specific/solinas32_2e256m4294968273_*limbs
+# MISSING src/Specific/solinas64_2e256m88x2e240m1_*limbs
+# MISSING src/Specific/solinas32_2e256m88x2e240m1_*limbs
+# MISSING src/Specific/solinas64_2e254m127x2e240m1_*limbs
+# MISSING src/Specific/solinas32_2e254m127x2e240m1_*limbs
+# MISSING src/Specific/solinas64_2e384m79x2e376m1_*limbs
+# MISSING src/Specific/solinas32_2e384m79x2e376m1_*limbs
+# MISSING src/Specific/solinas64_2e384m5x2e368m1_*limbs
+# MISSING src/Specific/solinas32_2e384m5x2e368m1_*limbs
+# MISSING src/Specific/solinas64_2e512m491x2e496m1_*limbs
+# MISSING src/Specific/solinas32_2e512m491x2e496m1_*limbs
+# MISSING src/Specific/solinas64_2e510m290x2e496m1_*limbs
+# MISSING src/Specific/solinas32_2e510m290x2e496m1_*limbs
+andreser@linux-andreser:~/fiat-crypto$ grep MISSING measurements/2017-11-16/measurements-haswell.txt | grep -v '*' | grep solinas32
+# MISSING src/Specific/solinas32_2e137m13_5limbs/fibe
+# MISSING src/Specific/solinas32_2e166m5_6limbs/fibe
+# MISSING src/Specific/solinas32_2e189m25_7limbs/fibe
+# MISSING src/Specific/solinas32_2e190m11_7limbs/fibe
+# MISSING src/Specific/solinas32_2e212m29_8limbs/fibe
+# MISSING src/Specific/solinas32_2e221m3_8limbs/fibe
+# MISSING src/Specific/solinas32_2e291m19_11limbs/fibe
+# MISSING src/Specific/solinas32_2e321m9_12limbs/fibe
+# MISSING src/Specific/solinas32_2e336m3_12limbs/fibe
+# MISSING src/Specific/solinas32_2e383m31_15limbs/fibe
+# MISSING src/Specific/solinas32_2e389m21_15limbs/fibe
+# MISSING src/Specific/solinas32_2e413m21_16limbs/fibe
+# MISSING src/Specific/solinas32_2e414m17_16limbs/fibe
+# MISSING src/Specific/solinas32_2e444m17_17limbs/fibe
+# MISSING src/Specific/solinas32_2e488m17_19limbs/fibe
+# MISSING src/Specific/solinas32_2e489m21_19limbs/fibe
+# MISSING src/Specific/solinas32_2e511m481_23limbs/fibe
+# MISSING src/Specific/solinas32_2e511m481_24limbs/fibe
+# MISSING src/Specific/solinas32_2e511m187_23limbs/fibe
+# MISSING src/Specific/solinas32_2e512m569_24limbs/fibe
+# MISSING src/Specific/solinas32_2e512m569_25limbs/fibe
+# MISSING src/Specific/solinas32_2e192m2e64m1_10limbs/fibe
+# MISSING src/Specific/solinas32_2e192m2e64m1_9limbs/fibe
+# MISSING src/Specific/solinas32_2e448m2e224m1_16limbs/fibe
+# MISSING src/Specific/solinas32_2e450m2e225m1_18limbs/fibe
+# MISSING src/Specific/solinas32_2e450m2e225m1_20limbs/fibe
+# MISSING src/Specific/solinas32_2e480m2e240m1_20limbs/fibe
+# MISSING src/Specific/solinas32_2e224m2e96p1_10limbs/fibe
+# MISSING src/Specific/solinas32_2e224m2e96p1_11limbs/fibe
+# MISSING src/Specific/solinas32_2e256m2e224p2e192p2e96m1_11limbs/fibe
+# MISSING src/Specific/solinas32_2e256m2e224p2e192p2e96m1_12limbs/fibe
+# MISSING src/Specific/solinas32_2e384m2e128m2e96p2e32m1_18limbs/fibe
+# MISSING src/Specific/solinas32_2e384m2e128m2e96p2e32m1_19limbs/fibe
+andreser@linux-andreser:~/fiat-crypto$ grep MISSING measurements/2017-11-16/measurements-haswell.txt | grep -v '*' | grep solinas64
+# MISSING src/Specific/solinas64_2e413m21_7limbs/fibe
+# MISSING src/Specific/solinas64_2e216m2e108m1_5limbs/fibe
+# MISSING src/Specific/solinas64_2e322m2e161m1_7limbs/fibe
+# MISSING src/Specific/solinas64_2e416m2e208m1_9limbs/fibe
+# MISSING src/Specific/solinas64_2e224m2e96p1_5limbs/fibe
+# MISSING src/Specific/solinas64_2e224m2e96p1_6limbs/fibe
+# MISSING src/Specific/solinas64_2e256m2e224p2e192p2e96m1_5limbs/fibe
+# MISSING src/Specific/solinas64_2e256m2e224p2e192p2e96m1_6limbs/fibe
+# MISSING src/Specific/solinas64_2e384m2e128m2e96p2e32m1_10limbs/fibe
+# MISSING src/Specific/solinas64_2e384m2e128m2e96p2e32m1_9limbs/fibe
+andreser@linux-andreser:~/fiat-crypto$ grep MISSING measurements/2017-11-16/measurements-haswell.txt | grep -v '*' | grep montgomery32
+# MISSING src/Specific/montgomery32_2e194m33_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e196m15_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e198m17_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e206m5_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e212m29_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e213m3_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e221m3_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e222m117_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e226m5_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e230m27_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e235m15_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e243m9_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e251m9_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e255m765_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e255m19_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e256m189_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e266m3_9limbs/fibe
+# MISSING src/Specific/montgomery32_2e285m9_9limbs/fibe
+# MISSING src/Specific/montgomery32_2e291m19_10limbs/fibe
+# MISSING src/Specific/montgomery32_2e321m9_11limbs/fibe
+# MISSING src/Specific/montgomery32_2e336m17_11limbs/fibe
+# MISSING src/Specific/montgomery32_2e336m3_11limbs/fibe
+# MISSING src/Specific/montgomery32_2e338m15_11limbs/fibe
+# MISSING src/Specific/montgomery32_2e369m25_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e379m19_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e382m105_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e383m421_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e383m187_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e383m31_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e384m317_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e389m21_13limbs/fibe
+# MISSING src/Specific/montgomery32_2e401m31_13limbs/fibe
+# MISSING src/Specific/montgomery32_2e413m21_13limbs/fibe
+# MISSING src/Specific/montgomery32_2e414m17_13limbs/fibe
+# MISSING src/Specific/montgomery32_2e444m17_14limbs/fibe
+# MISSING src/Specific/montgomery32_2e452m3_15limbs/fibe
+# MISSING src/Specific/montgomery32_2e468m17_15limbs/fibe
+# MISSING src/Specific/montgomery32_2e488m17_16limbs/fibe
+# MISSING src/Specific/montgomery32_2e489m21_16limbs/fibe
+# MISSING src/Specific/montgomery32_2e495m31_16limbs/fibe
+# MISSING src/Specific/montgomery32_2e511m481_16limbs/fibe
+# MISSING src/Specific/montgomery32_2e511m187_16limbs/fibe
+# MISSING src/Specific/montgomery32_2e512m569_16limbs/fibe
+# MISSING src/Specific/montgomery32_2e521m1_17limbs/fibe
+# MISSING src/Specific/montgomery32_2e216m2e108m1_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e322m2e161m1_11limbs/fibe
+# MISSING src/Specific/montgomery32_2e416m2e208m1_13limbs/fibe
+# MISSING src/Specific/montgomery32_2e448m2e224m1_14limbs/fibe
+# MISSING src/Specific/montgomery32_2e450m2e225m1_15limbs/fibe
+# MISSING src/Specific/montgomery32_2e480m2e240m1_15limbs/fibe
+# MISSING src/Specific/montgomery32_2e205m45x2e198m1_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e224m2e96p1_7limbs/fibe
+# MISSING src/Specific/montgomery32_2e256m2e224p2e192p2e96m1_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e256m2e32m977_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e256m4294968273_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e384m2e128m2e96p2e32m1_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e256m88x2e240m1_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e254m127x2e240m1_8limbs/fibe
+# MISSING src/Specific/montgomery32_2e384m79x2e376m1_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e384m5x2e368m1_12limbs/fibe
+# MISSING src/Specific/montgomery32_2e512m491x2e496m1_16limbs/fibe
+# MISSING src/Specific/montgomery32_2e510m290x2e496m1_16limbs/fibe
+andreser@linux-andreser:~/fiat-crypto$ grep MISSING measurements/2017-11-16/measurements-haswell.txt | grep -v '*' | grep montgomery64
+# MISSING src/Specific/montgomery64_2e389m21_7limbs/fibe
+# MISSING src/Specific/montgomery64_2e401m31_7limbs/fibe
+# MISSING src/Specific/montgomery64_2e413m21_7limbs/fibe
+# MISSING src/Specific/montgomery64_2e414m17_7limbs/fibe
+# MISSING src/Specific/montgomery64_2e444m17_7limbs/fibe
+# MISSING src/Specific/montgomery64_2e452m3_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e468m17_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e488m17_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e489m21_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e495m31_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e511m481_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e511m187_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e512m569_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e521m1_9limbs/fibe
+# MISSING src/Specific/montgomery64_2e416m2e208m1_7limbs/fibe
+# MISSING src/Specific/montgomery64_2e448m2e224m1_7limbs/fibe
+# MISSING src/Specific/montgomery64_2e450m2e225m1_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e480m2e240m1_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e512m491x2e496m1_8limbs/fibe
+# MISSING src/Specific/montgomery64_2e510m290x2e496m1_8limbs/fibe
+