Update README.md

Author: Rayluo-mila

experiment/README.md

@@ -10,9 +10,12 @@ The log shows the running log of our reported experiment on ``Chronosymbolic-sin
 4. At the end of the log, it shows the total time elapsed and the number of solved instances. It also provides a list of instances that our tool cannot solve.
 
 The specifications of the device used to generate this log:
-  Processor	12th Gen Intel(R) Core(TM) i7-12700H   2.30 GHz
-  Installed RAM	32.0 GB (31.7 GB usable)
-  System type	64-bit operating system, x64-based processor
+
+- Processor	12th Gen Intel(R) Core(TM) i7-12700H   2.30 GHz
+
+- Installed RAM	32.0 GB (31.7 GB usable)
+  
+- System type	64-bit operating system, x64-based processor
 
 
 ## comparison.xlsx