aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2021-10-30 13:06:14 +0900
committerShinya Sato <shinnya.sato@gmail.com>2021-10-30 13:06:14 +0900
commit2275981c6ecfdd0cba83917260f83d90857a0aec (patch)
tree50311a60943e7ea41487eb44f16c640b562e1269 /README.md
parent21ed004be75a89abcfb076555bfd1ee6c2688cd6 (diff)
downloadinpla-2275981c6ecfdd0cba83917260f83d90857a0aec.tar.gz
inpla-2275981c6ecfdd0cba83917260f83d90857a0aec.zip
Update README.md
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index f06a86b..959f198 100644
--- a/README.md
+++ b/README.md
@@ -18,7 +18,7 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri
| msort 800000 | **0.46** | 1.00 | 98.27 | 1.18 | 1.34 | 0.65 | 0.49 |
- **Comparison in execution time** with other implementations: **Haskell** (GHC version 8.10.7), **Standard ML** v110.74 (interpreter mode) and **Python** 3.8.5 in execution time.
- - The above table contains execution time in second on average of ten times execution by using Linux PC (Core i7-9700 (8 threads, no Hyper-threading), 16GB memory). The fastest one is shown with bold style. These scripts are stored in the `comparison` directory.
+ - The above table contains execution time in second on average of ten times execution by using Linux PC (Core i7-9700 (8 threads, no Hyper-threading), 16GB memory). The fastest one is shown with bold style. Scripts for the comparison table are in the `comparison` directory.
- Inpla*n* and Inpla*n*_**r** mean *n* threads without/with reuse-annotated execution, respectively.