diff --git a/N-Queens/queens_20.tla b/N-Queens/queens_20.tla
index 31ade87e132738dedd8555b438b1db1cb25830d7..e95569c5e84439a57af01429fb7d728cd1639423 100644
--- a/N-Queens/queens_20.tla
+++ b/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)
diff --git a/N-Queens/queens_20_tla.json b/N-Queens/queens_20_tla.json
index fd6f2950bc2eee08f6397c0032fccba647ade3ff..b254fab9efe5c457778355956c88328d7dc676a5 100644
--- a/N-Queens/queens_20_tla.json
+++ b/N-Queens/queens_20_tla.json
@@ -9,6 +9,11 @@
     }
   ],
 "events": [
+    {
+      "for":{"from":1,"to":"20"}, 
+      "id":"gTiles%0",
+      "event":"Solve"
+    }
   ]
 }