joaomlneto
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-as-2-1/hbft-1737221307614.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-as-2-1/hbft-1737221307614.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-as-3-2/hbft-1737221957514.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-as-3-2/hbft-1737221957514.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-as-3-3/hbft-1737222079893.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-as-3-3/hbft-1737222079893.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-as-3-4/hbft-1737222307033.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-as-3-4/hbft-1737222307033.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-as-4-2/hbft-1737222581389.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-as-4-2/hbft-1737222581389.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-ss-0-4/hbft-1737217871626.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-ss-0-4/hbft-1737217871626.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-ss-0-4/hbft-1737217872917.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-ss-0-4/hbft-1737217872917.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-ss-0-4/hbft-1737217955583.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-ss-0-4/hbft-1737217955583.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-ss-1-2/hbft-1737218184223.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-ss-1-2/hbft-1737218184223.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-ss-3-1/hbft-1737219058630.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-ss-3-1/hbft-1737219058630.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-ss-3-2/hbft-1737219168947.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-ss-3-2/hbft-1737219168947.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-ss-3-3/hbft-1737219317982.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-ss-3-3/hbft-1737219317982.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-ss-3-3/hbft-1737219319250.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-ss-3-3/hbft-1737219319250.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/byzzfuzz-ss-4-4/hbft-1737219929082.schedule.json
+1 b/‎Violations/async-checkpoint-2/byzzfuzz-ss-4-4/hbft-1737219929082.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/random-0-25/hbft-1737223571754.schedule.json
+1 b/‎Violations/async-checkpoint-2/random-0-25/hbft-1737223571754.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/random-0-50/hbft-1737223727807.schedule.json
+1 b/‎Violations/async-checkpoint-2/random-0-50/hbft-1737223727807.schedule.json
+1
diff --git a/‎Violations/async-checkpoint-2/random-25-0/hbft-1737223262671.schedule.json
+1 b/‎Violations/async-checkpoint-2/random-25-0/hbft-1737223262671.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-100/random-ss-0-0/hbft-1737409692130.schedule.json
+1 b/‎Violations/sync-checkpoint-100/random-ss-0-0/hbft-1737409692130.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-100/sunc-ss-3-3/hbft-1737393051800.schedule.json
+1 b/‎Violations/sync-checkpoint-100/sunc-ss-3-3/hbft-1737393051800.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-100/sync-ss-0-1/hbft-1737407404643.schedule.json
+1 b/‎Violations/sync-checkpoint-100/sync-ss-0-1/hbft-1737407404643.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-100/sync-ss-0-3/hbft-1737392015254.schedule.json
+1 b/‎Violations/sync-checkpoint-100/sync-ss-0-3/hbft-1737392015254.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-100/sync-ss-0-3/hbft-1737392016417.schedule.json
+1 b/‎Violations/sync-checkpoint-100/sync-ss-0-3/hbft-1737392016417.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-100/sync-ss-1-2/hbft-1737407859024.schedule.json
+1 b/‎Violations/sync-checkpoint-100/sync-ss-1-2/hbft-1737407859024.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-100/sync-ss-1-4/hbft-1737408122466.schedule.json
+1 b/‎Violations/sync-checkpoint-100/sync-ss-1-4/hbft-1737408122466.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-100/sync-ss-2-4/hbft-1737408497262.schedule.json
+1 b/‎Violations/sync-checkpoint-100/sync-ss-2-4/hbft-1737408497262.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-2/sync-as-0-1/hbft-1737477133560.schedule.json
+1 b/‎Violations/sync-checkpoint-2/sync-as-0-1/hbft-1737477133560.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-2/sync-as-0-3/hbft-1737477441318.schedule.json
+1 b/‎Violations/sync-checkpoint-2/sync-as-0-3/hbft-1737477441318.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-2/sync-as-0-4/hbft-1737477972881.schedule.json
+1 b/‎Violations/sync-checkpoint-2/sync-as-0-4/hbft-1737477972881.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-2/sync-as-1-1/hbft-1737478087816.schedule.json
+1 b/‎Violations/sync-checkpoint-2/sync-as-1-1/hbft-1737478087816.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-2/sync-as-2-3/hbft-1737479692539.schedule.json
+1 b/‎Violations/sync-checkpoint-2/sync-as-2-3/hbft-1737479692539.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-2/sync-as-2-4/hbft-1737479812549.schedule.json
+1 b/‎Violations/sync-checkpoint-2/sync-as-2-4/hbft-1737479812549.schedule.json
+1
diff --git a/‎Violations/sync-checkpoint-2/sync-as-4-3/hbft-1737480870802.schedule.json
+1 b/‎Violations/sync-checkpoint-2/sync-as-4-3/hbft-1737480870802.schedule.json
+1