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,14 @@
     }
   ],
 "events": [
+    {
+      "for":{"from":1,"to":"20"}, 
+      "for":{"from":1,"to":"20"}, 
+      "id":"tile%0x%1",
+      "event":"Solve",
+      "predicates": [ "queens(%0)=%1"],
+      "hovers": [{ "attr":"opacity", "enter":"0.5", "leave":"1.0"}]
+    }
   ]
 }