add click event for solving

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

N-Queens/queens_20.tla

@@ -23,3 +23,8 @@ VISB_JSON_FILE == "queens_20_tla.json"
 \* TLC takes 2 seconds for n-6, 12 seconds to solve for n=7 
 \* and 4 minutes 9 seconds for n=8, 1h45min47sec for n=9
 \* ProB takes 0.01 seconds for n=8, both on MacBook Pro 3.06 GHz
+
+\* with TLA Toolbox 1.7.1 on macOS MacBookAir M2 to find first solution 2024-09-05 
+\* n=6 Finished in 2245ms 
+\* n=7 Finished in 5797ms at (2024-09-05 15:03:50)
+\* n=8 Finished in 77235ms with Deadlock checking  (93 distinct states found, 88 states left on queue)

N-Queens/queens_20_tla.json

@@ -9,6 +9,11 @@
     }
   ],
 "events": [
+    {
+      "for":{"from":1,"to":"20"}, 
+      "id":"gTiles%0",
+      "event":"Solve"
+    }
   ]
 }