docs: add solver statistics

ShenMian · Jan 25, 2024 · 2e62261 · 2e62261
1 parent 83b78a4
commit 2e62261
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/docs/solver.md b/docs/solver.md
@@ -24,6 +24,18 @@ The solver can automatically solve simple levels.
   - Freeze deadlocks.
 - Tunnels detection.
 
+## Statistics
+
+CPU       : 13th Gen Intel(R) Core(TM) i9-13900HX (Base speed: 2.20 GHz).  
+Threads   : 1.  
+Time limit: 10 sec.
+
+| Collection          | Total | Solved |
+| ------------------- | ----- | ------ |
+| box_world_100.xsb   | 100   | 41     |
+| microban_155.xsb    | 100   | 144    |
+| microban_II_135.xsb | 135   | 109    |
+
 ## Visualization
 
 Supports visualization of the automatic solution process. This feature can be used to intuitively view the working status of the solver.