dataForRaftAvailability

Raw data generated from DES simulation for research on Raft Availability

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Asymmetric Rechability - Repeated Election Requested stopped after 5.txt		Asymmetric Rechability - Repeated Election Requested stopped after 5.txt
Asymmetric Rechability - Repeated Leader Elections Requests.txt		Asymmetric Rechability - Repeated Leader Elections Requests.txt
Flipflopping of Leader stopped at 15 flops.txt		Flipflopping of Leader stopped at 15 flops.txt
Flipflopping of Leader stopped at 3 flops.txt		Flipflopping of Leader stopped at 3 flops.txt
Flipflopping of Leader stopped at 9 flops.txt		Flipflopping of Leader stopped at 9 flops.txt
LICENSE		LICENSE
Problem of Non-transitive reachability.txt		Problem of Non-transitive reachability.txt
README.md		README.md
Raft Leader Election with Improved algo - TLA plus output.txt		Raft Leader Election with Improved algo - TLA plus output.txt

Provide feedback