This file summarizes the history of Apalache experiments for the PBTS specification.
| Date | Commit | Command | Runtime [h:min:s] | Machine | Notes |
|---|---|---|---|---|---|
| May 11, 2022 | cd48156f662af8fc325a6478dfa34de6be0e36c8 | run.txt | 74:39:2 | machine.txt | No invariant violation in 8 steps |
| May 16, 2022 | cd48156f662af8fc325a6478dfa34de6be0e36c8 | run.txt | 48:31:29 | machine.txt | Counterexample found (expected) |