More data

scroll-tech · Jan 14, 2025 · a2dc9b3 · a2dc9b3
1 parent a9db7f3
commit a2dc9b3
Show file tree

Hide file tree

Showing 63 changed files with 2,542 additions and 747 deletions.
diff --git a/plotting/ceno.data b/plotting/ceno.data
@@ -7,6 +7,7 @@
 241	ceno	12.84
 264	ceno	12.34
 278	ceno	12.18
+280	ceno	12.72
 286	ceno	12.53
 341	ceno	12.87
 356	ceno	12.77
@@ -41,13 +42,15 @@
 1553	ceno	15.07
 1574	ceno	14.25
 1590	ceno	14.84
+1593	ceno	14.78
 1595	ceno	14.08
 1602	ceno	14.09
 1613	ceno	14.98
 1621	ceno	14.26
 1644	ceno	14.85
 1838	ceno	14.77
 1875	ceno	14.84
+1899	ceno	22.68
 1927	ceno	15.24
 1936	ceno	15.02
 1996	ceno	14.46
@@ -102,6 +105,7 @@
 3477	ceno	16.18
 3481	ceno	16.56
 3542	ceno	16.66
+3548	ceno	16.92
 3628	ceno	16.71
 3631	ceno	16.64
 3693	ceno	16.89
@@ -134,6 +138,7 @@
 4490	ceno	17.09
 4530	ceno	17.17
 4532	ceno	17.07
+4542	ceno	17.96
 4568	ceno	17.12
 4596	ceno	18.1
 4597	ceno	18.54
@@ -149,6 +154,8 @@
 4931	ceno	17.28
 5004	ceno	18.25
 5019	ceno	17.77
+5026	ceno	18.4
+5132	ceno	18.65
 5136	ceno	17.67
 5170	ceno	18.03
 5171	ceno	18.51
@@ -158,9 +165,10 @@
 5260	ceno	18.55
 5272	ceno	18.82
 5344	ceno	19.12
-5362	ceno	5777	sp1	33.77
+5362	ceno	18.54
 5434	ceno	19.28
 5439	ceno	18.51
+5555	ceno	19.52
 5567	ceno	18.57
 5572	ceno	18.65
 5598	ceno	18.67
@@ -180,7 +188,9 @@
 6081	ceno	20.01
 6138	ceno	19.31
 6176	ceno	18.72
+6213	ceno	20.06
 6244	ceno	19.14
+6248	ceno	19.55
 6276	ceno	19.13
 6289	ceno	18.99
 6301	ceno	18.61
@@ -224,6 +234,7 @@
 7495	ceno	19.86
 7529	ceno	19.46
 7614	ceno	19.65
+7630	ceno	20.55
 7649	ceno	19.99
 7664	ceno	19.78
 7673	ceno	20.46
@@ -272,6 +283,7 @@
 9359	ceno	20.88
 9405	ceno	20.77
 9435	ceno	21.19
+9459	ceno	21.25
 9505	ceno	21.56
 9525	ceno	21.82
 9679	ceno	22.72
@@ -284,6 +296,7 @@
 9781	ceno	22.1
 9806	ceno	21.79
 9837	ceno	22.68
+9846	ceno	22.67
 9896	ceno	22.64
 9930	ceno	22.8
 9953	ceno	22.99
@@ -330,6 +343,7 @@
 11225	ceno	23.85
 11258	ceno	24.28
 11301	ceno	24.26
+11307	ceno	24.62
 11352	ceno	24.4
 11426	ceno	23.93
 11500	ceno	24.26

diff --git a/plotting/get_data b/plotting/get_data
@@ -3,17 +3,17 @@ set -euxo pipefail
 
 # find sorting-output -iname output_time -print0 | xargs -0 grep --only-matching --perl-regexp 'Elapsed \(wall clock\) time \(h:mm:ss or m:ss\): \K[0-9:]+\.[0-9]+$' | awk --field-separator=":" '
 (
-for file in $(find sorting-output -iname output_time); do
-    n="$(echo ${file} | sed -n 's|sorting-output/\([0-9]*\)-.*|\1|p')"
-    system="$(echo ${file} | grep --only-matching --extended-regexp "ceno|sp1")"
-    echo -ne "${n}\t${system}\t"
-    (grep --only-matching --perl-regexp 'Elapsed \(wall clock\) time \(h:mm:ss or m:ss\): \K[0-9:]+\.[0-9]+$' "$file" || true) | awk --field-separator=":" '
+    for file in $(find sorting-output -iname output_time); do
+        n="$(echo ${file} | sed -n 's|sorting-output/\([0-9]*\)-.*|\1|p')"
+        system="$(echo ${file} | grep --only-matching --extended-regexp "ceno|sp1")"
+        echo -ne "${n}\t${system}\t"
+        grep --only-matching --perl-regexp 'Elapsed \(wall clock\) time \(h:mm:ss or m:ss\): \K[0-9:]+\.[0-9]+$' "$file" | awk --field-separator=":" '
         {
             if (NF == 3) {
                 print ($1 * 3600) + ($2 * 60) + $3
             } else if (NF == 2) {
                 print ($1 * 60) + $2
             }
-        }'
-done
+        }' || echo
+    done
 ) | sort --human-numeric-sort
diff --git a/plotting/sp1.data b/plotting/sp1.data
@@ -7,6 +7,7 @@
 241	sp1	10.83
 264	sp1	10.43
 278	sp1	10.44
+280	sp1	10.55
 286	sp1	10.77
 341	sp1	10.53
 356	sp1	11.07
@@ -41,13 +42,15 @@
 1553	sp1	14.42
 1574	sp1	14.6
 1590	sp1	14.66
+1593	sp1	14.79
 1595	sp1	14.58
 1602	sp1	14.79
 1613	sp1	14.91
 1621	sp1	14.73
 1644	sp1	14.79
 1838	sp1	14.63
 1875	sp1	19.26
+1899	sp1	19.77
 1927	sp1	20.18
 1936	sp1	20.07
 1996	sp1	19.58
@@ -102,6 +105,7 @@
 3477	sp1	20.72
 3481	sp1	21.16
 3542	sp1	20.72
+3548	sp1	21.3
 3628	sp1	34.42
 3631	sp1	32.11
 3693	sp1	32.11
@@ -134,6 +138,7 @@
 4490	sp1	31.63
 4530	sp1	32.01
 4532	sp1	32.5
+4542	sp1	32.62
 4568	sp1	32.51
 4596	sp1	32.39
 4597	sp1	32.82
@@ -149,6 +154,8 @@
 4931	sp1	33.67
 5004	sp1	32.78
 5019	sp1	32.14
+5026	sp1	32.82
+5132	sp1	34.86
 5136	sp1	34.73
 5170	sp1	34.4
 5171	sp1	34.21
@@ -158,17 +165,18 @@
 5260	sp1	35.29
 5272	sp1	34.34
 5344	sp1	34.26
-5362	ceno	5777	sp1	33.77
 5362	sp1	33.67
 5434	sp1	34.9
 5439	sp1	33.35
+5555	sp1	34.66
 5567	sp1	34.11
 5572	sp1	35.17
 5598	sp1	34.51
 5599	sp1	33.64
 5617	sp1	34.15
 5730	sp1	33.66
 5749	sp1	33.76
+5777	sp1	33.77
 5833	sp1	34.63
 5846	sp1	33.97
 5885	sp1	33.6
@@ -180,7 +188,9 @@
 6081	sp1	33.75
 6138	sp1	34.28
 6176	sp1	33.75
+6213	sp1	34.53
 6244	sp1	33.65
+6248	sp1	34.63
 6276	sp1	33.58
 6289	sp1	33.57
 6301	sp1	34.01
@@ -224,6 +234,7 @@
 7495	sp1	30.82
 7529	sp1	30.83
 7614	sp1	31.62
+7630	sp1	31.76
 7649	sp1	31.77
 7664	sp1	31.85
 7673	sp1	32.2
@@ -272,6 +283,7 @@
 9359	sp1	32.83
 9405	sp1	33.32
 9435	sp1	33.59
+9459	sp1	31.81
 9505	sp1	33.82
 9525	sp1	32.44
 9679	sp1	32.79
@@ -284,6 +296,7 @@
 9781	sp1	34.4
 9806	sp1	33.97
 9837	sp1	33.84
+9846	sp1	
 9896	sp1	32.66
 9930	sp1	33.53
 9953	sp1	32.9
@@ -330,6 +343,7 @@
 11225	sp1	35.68
 11258	sp1	37.06
 11301	sp1	37.1
+11307	sp1	37.76
 11352	sp1	37.26
 11426	sp1	37.02
 11500	sp1	37.03