Reduction Benchmarks
View SourceBenchmark
Maude Reduce Benchmarks
Full round-trip time for term reduction including IPC overhead.
System
Benchmark suite executing on the following system:
| Operating System | macOS |
|---|---|
| CPU Information | Apple M5 Pro |
| Number of Available Cores | 18 |
| Available Memory | 48 GB |
| Elixir Version | 1.19.4 |
| Erlang Version | 28.5 |
Configuration
Benchmark suite executing with the following configuration:
| :time | 10 s |
|---|---|
| :parallel | 1 |
| :warmup | 2 s |
Statistics
Run Time
| Name | IPS | Average | Deviation | Median | 99th % |
|---|---|---|---|---|---|
| reduce bool | 42.03 K | 23.79 µs | ±30.01% | 23.38 µs | 33.33 µs |
| reduce simple | 40.33 K | 24.80 µs | ±29.17% | 24.21 µs | 32.96 µs |
| reduce medium | 38.11 K | 26.24 µs | ±17.96% | 25.67 µs | 36.25 µs |
Run Time Comparison
| Name | IPS | Slower |
|---|---|---|
| reduce bool | 42.03 K | |
| reduce simple | 40.33 K | 1.04x |
| reduce medium | 38.11 K | 1.1x |
Memory Usage
| Name | Average | Factor |
|---|---|---|
| reduce bool | 1.78 KB | |
| reduce simple | 1.77 KB | 1.0x |
| reduce medium | 1.79 KB | 1.0x |