From d22431b6aed284839144c82d8f4e60cf89502f02 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 9 Sep 2024 17:23:58 +0200
Subject: [PATCH] add click event for solving
Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
N-Queens/queens_20.tla | 5 +++++
N-Queens/queens_20_tla.json | 5 +++++
2 files changed, 10 insertions(+)
diff --git a/N-Queens/queens_20.tla b/N-Queens/queens_20.tla
index 31ade87..e95569c 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 fd6f295..b254fab 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"
+ }
]
}
--
GitLab