From ae786b6751c475b6beb81236a7a8ccf2eb4760ba Mon Sep 17 00:00:00 2001 From: Kukovec Date: Tue, 31 May 2022 16:22:24 +0200 Subject: [PATCH] More precise notes --- spec/consensus/proposer-based-timestamp/tla/experiment_log.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/consensus/proposer-based-timestamp/tla/experiment_log.md b/spec/consensus/proposer-based-timestamp/tla/experiment_log.md index d79a6a10c..70d40805c 100644 --- a/spec/consensus/proposer-based-timestamp/tla/experiment_log.md +++ b/spec/consensus/proposer-based-timestamp/tla/experiment_log.md @@ -3,7 +3,7 @@ This file summarizes the history of Apalache experiments for the PBTS specificat | Date | Commit | Command | Runtime [h:min:s] | Machine | Notes | |---|---|---|---|---|---| -| May 11, 2022 | cd48156f662af8fc325a6478dfa34de6be0e36c8 | [run.txt](./experiment_data/May2022/MC_PBT_3C_1F.tla/run.txt) | 74:39:2 | [machine.txt](./experiment_data/May2022/machine.txt) | No invariant violation | +| May 11, 2022 | cd48156f662af8fc325a6478dfa34de6be0e36c8 | [run.txt](./experiment_data/May2022/MC_PBT_3C_1F.tla/run.txt) | 74:39:2 | [machine.txt](./experiment_data/May2022/machine.txt) | No invariant violation in 8 steps | | May 16, 2022 | cd48156f662af8fc325a6478dfa34de6be0e36c8 | [run.txt](./experiment_data/May2022/MC_PBT_2C_2F.tla/run.txt) | 48:31:29 | [machine.txt](./experiment_data/May2022/machine.txt) | [Counterexample](experiment_data/May2022/MC_PBT_2C_2F.tla/counterexample.tla) found (expected) |