From 2275981c6ecfdd0cba83917260f83d90857a0aec Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Sat, 30 Oct 2021 13:06:14 +0900 Subject: Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- cgit v1.2.3