Browse Source

Add runtime results

main
stefan 2 weeks ago
parent
commit
e02a36650d
  1. 6
      README.md

6
README.md

@ -46,7 +46,7 @@ Single-core `SAFSimSimple` on 1024 patterns (baseline):
|--------------|---------------------|---------------------------| |--------------|---------------------|---------------------------|
| | **2.4k gates, 7.7k SAF** | **17k gates, 24k SAF** | | | **2.4k gates, 7.7k SAF** | **17k gates, 24k SAF** |
| MacOS, M3 Max, 32GiB (Stefan) | 1.52G | 1.97G | | MacOS, M3 Max, 32GiB (Stefan) | 1.52G | 1.97G |
| WSL, i7-14650HX, 15GiB (Zhang) | 1.68G | 2.03G | | WSL, i7-14650HX, 15GiB (Zhang) | 1.60G | 1.77G |
| Ubuntu, Xeon E5-1650, 251GiB (Nosaka) | 0.94G | 1.18G | | Ubuntu, Xeon E5-1650, 251GiB (Nosaka) | 0.94G | 1.18G |
| WSL2, i5-8250U, 8GiB (Kawachi) | 0.82G | 0.94G | | WSL2, i5-8250U, 8GiB (Kawachi) | 0.82G | 0.94G |
| GH Codespace, EPYC 7763 (Kelvin) | 1.03G | ? | | GH Codespace, EPYC 7763 (Kelvin) | 1.03G | ? |
@ -58,7 +58,7 @@ Single-core `SAFSimIncremental` on 1024 patterns:
|--------------|---------------------|---------------------------| |--------------|---------------------|---------------------------|
| | **2.4k gates, 7.7k SAF** | **17k gates, 24k SAF** | | | **2.4k gates, 7.7k SAF** | **17k gates, 24k SAF** |
| MacOS, M3 Max, 32GiB (Stefan) | 2.83G | 7.71G | | MacOS, M3 Max, 32GiB (Stefan) | 2.83G | 7.71G |
| WSL, i7-14650HX, 15GiB (Zhang) | ? | ? | | WSL, i7-14650HX, 15GiB (Zhang) | 2.98G | 7.15G |
| Ubuntu, Xeon E5-1650, 251GiB (Nosaka) | 2.35G | 6.42G | | Ubuntu, Xeon E5-1650, 251GiB (Nosaka) | 2.35G | 6.42G |
| WSL2, i5-8250U, 8GiB (Kawachi) | 1.98G | 4.74G | | WSL2, i5-8250U, 8GiB (Kawachi) | 1.98G | 4.74G |
| GH Codespace, EPYC 7763 (Kelvin) | 2.73G | ? | | GH Codespace, EPYC 7763 (Kelvin) | 2.73G | ? |
@ -70,7 +70,7 @@ Single-core `SAFSimPPSFP` on 1024 patterns:
|--------------|---------------------|---------------------------| |--------------|---------------------|---------------------------|
| | **2.4k gates, 7.7k SAF** | **17k gates, 24k SAF** | | | **2.4k gates, 7.7k SAF** | **17k gates, 24k SAF** |
| MacOS, M3 Max, 32GiB (Stefan) | 14.7G | 77.0G | | MacOS, M3 Max, 32GiB (Stefan) | 14.7G | 77.0G |
| WSL, i7-14650HX, 15GiB (Zhang) | ? | ? | | WSL, i7-14650HX, 15GiB (Zhang) | 15.8G | 69.4G |
| Ubuntu, Xeon E5-1650, 251GiB (Nosaka) | 11.9G | 59.4G | | Ubuntu, Xeon E5-1650, 251GiB (Nosaka) | 11.9G | 59.4G |
| WSL2, i5-8250U, 8GiB (Kawachi) | 7.33G | 38.1G | | WSL2, i5-8250U, 8GiB (Kawachi) | 7.33G | 38.1G |
| GH Codespace, EPYC 7763 (Kelvin) | 12.1G | ? | | GH Codespace, EPYC 7763 (Kelvin) | 12.1G | ? |

Loading…
Cancel
Save