JSON for Magma

Author: moratorium08

README.md

@@ -112,8 +112,8 @@ To fuzz each PUT, move to the corresponding subdirectory and run one of the foll
 
 
 The results of the FuzzBench and Magma benchmark in our paper can be downloaded from [here](https://drive.google.com/drive/folders/1WtEolT0AuH535Bbhv07Lyo8zUYnrXnB4). The results of 4.3 (bandit algorithm comparison) is also included in `slopt_fuzzbench_plot_data.tar.gz`.
-Note that the size of the result of Magma is so large (about 65GB) that we prepared in the same directory lists of bugs that were found during our experiments so that you can check our results instantly. This list was generated by using [exp2json.py](https://hexhive.epfl.ch/magma/docs/technical.html#exp2jsonpy).
-To fully reproduce our results, a considerable amount of computing resources is required. For FuzzBench, we used 1 [day] x 1 [CPU] x 6 (fuzzers) x 10 (PUTs) x 30 (instances) = 1800 [CPU x day]. For MAGMA, we used 1 [d] x 1 [CPU] x 6 (fuzzers) x 21 (PUTs) x 10 (instances) = 1260 [CPU x day]. Note that, moreover, we took benchmarks with AMD EPYC 7742 2.25GHz CPU, which may run somewhat faster than ordinary CPUs used in clouds although we ran 110 fuzzer instances in parallel. To check whether it is faster, please compare the `execs_per_sec` column of `plot_data` in `slopt_fuzzbench_plot_data.tar.gz`.
+As for Magma's result, the json file was generated by using [exp2json.py](https://hexhive.epfl.ch/magma/docs/technical.html#exp2jsonpy).
+To fully reproduce our results, a considerable amount of computing resources is required. For FuzzBench, we used 1 [day] x 1 [CPU] x 6 (fuzzers) x 10 (PUTs) x 30 (instances) = 1800 [CPU x day]. For Magma, we used 1 [d] x 1 [CPU] x 6 (fuzzers) x 21 (PUTs) x 10 (instances) = 1260 [CPU x day]. Note that, moreover, we took benchmarks with AMD EPYC 7742 2.25GHz CPU, which may run somewhat faster than ordinary CPUs used in clouds although we ran 110 fuzzer instances in parallel. To check whether it is faster, please compare the `execs_per_sec` column of `plot_data` in `slopt_fuzzbench_plot_data.tar.gz`.
 
 # Citation