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
diff --git a/‎saved-logs/byzzfuzz-ss-3-3.txt
-305 b/‎saved-logs/byzzfuzz-ss-3-3.txt
-305
diff --git a/‎saved-logs/byzzfuzz-ss-4-4.txt
-372 b/‎saved-logs/byzzfuzz-ss-4-4.txt
-372
diff --git a/‎saved-logs/sync-as-checkpoint-2/sync-as-0-1.txt
-416 b/‎saved-logs/sync-as-checkpoint-2/sync-as-0-1.txt
-416
diff --git a/‎saved-logs/sync-as-checkpoint-2/sync-as-0-3.txt
-413 b/‎saved-logs/sync-as-checkpoint-2/sync-as-0-3.txt
-413
diff --git a/‎saved-logs/sync-as-checkpoint-2/sync-as-1-1.txt
-409 b/‎saved-logs/sync-as-checkpoint-2/sync-as-1-1.txt
-409
diff --git a/‎saved-logs/sync-as-checkpoint-2/sync-as-2-3.txt
-329 b/‎saved-logs/sync-as-checkpoint-2/sync-as-2-3.txt
-329
diff --git a/‎saved-logs/sync-as-checkpoint-2/sync-as-2-4.txt
-334 b/‎saved-logs/sync-as-checkpoint-2/sync-as-2-4.txt
-334
diff --git a/‎saved-logs/sync-as-checkpoint-2/sync-as-4-3.txt
-377 b/‎saved-logs/sync-as-checkpoint-2/sync-as-4-3.txt
-377
diff --git a/‎saved-logs/sync-ss-checkpoint-100/sync-ss-0-1.txt
-360 b/‎saved-logs/sync-ss-checkpoint-100/sync-ss-0-1.txt
-360
diff --git a/‎saved-logs/sync-ss-checkpoint-100/sync-ss-1-2.txt
-429 b/‎saved-logs/sync-ss-checkpoint-100/sync-ss-1-2.txt
-429
diff --git a/‎saved-logs/sync-ss-checkpoint-100/sync-ss-1-4.txt
-420 b/‎saved-logs/sync-ss-checkpoint-100/sync-ss-1-4.txt
-420
diff --git a/‎saved-logs/sync-ss-checkpoint-100/sync-ss-2-4.txt
-406 b/‎saved-logs/sync-ss-checkpoint-100/sync-ss-2-4.txt
-406
diff --git a/‎saved-logs/sync-ss-checkpoint-2/sync-ss-0-3-2checkpoint.txt
-352 b/‎saved-logs/sync-ss-checkpoint-2/sync-ss-0-3-2checkpoint.txt
-352
diff --git a/‎saved-logs/sync-ss-checkpoint-2/sync-ss-1-1-2checkpoint-v1.txt
-419 b/‎saved-logs/sync-ss-checkpoint-2/sync-ss-1-1-2checkpoint-v1.txt
-419
diff --git a/‎saved-logs/sync-ss-checkpoint-2/sync-ss-1-1-2checkpoint-v2.txt
-416 b/‎saved-logs/sync-ss-checkpoint-2/sync-ss-1-1-2checkpoint-v2.txt
-416
diff --git a/‎saved-logs/sync-ss-checkpoint-2/sync-ss-1-2-2checkpoint.txt
-414 b/‎saved-logs/sync-ss-checkpoint-2/sync-ss-1-2-2checkpoint.txt
-414
diff --git a/‎saved-logs/sync-ss-checkpoint-2/sync-ss-1-4-2checkpoint.txt
-383 b/‎saved-logs/sync-ss-checkpoint-2/sync-ss-1-4-2checkpoint.txt
-383
diff --git a/‎saved-logs/sync-ss-checkpoint-2/sync-ss-2-3-2checkpoint.txt
-305 b/‎saved-logs/sync-ss-checkpoint-2/sync-ss-2-3-2checkpoint.txt
-305
diff --git a/‎saved-logs/sync-ss-checkpoint-2/sync-ss-3-1-2checkpoint.txt
-389 b/‎saved-logs/sync-ss-checkpoint-2/sync-ss-3-1-2checkpoint.txt
-389
diff --git a/‎saved-logs/sync-ss-checkpoint-2/sync-ss-4-2-2checkpoint.txt
-377 b/‎saved-logs/sync-ss-checkpoint-2/sync-ss-4-2-2checkpoint.txt
-377
diff --git a/‎schedule-logs/scenario-1.txt
-51 b/‎schedule-logs/scenario-1.txt
-51
diff --git a/‎schedule-logs/scenario-2.txt
-23 b/‎schedule-logs/scenario-2.txt
-23
diff --git a/‎schedule-logs/scenario-3.txt
-23 b/‎schedule-logs/scenario-3.txt
-23
diff --git a/‎schedule-logs/scenario-4.txt
-22 b/‎schedule-logs/scenario-4.txt
-22
diff --git a/‎schedules/hbft-1736609136165.schedule.json
-1 b/‎schedules/hbft-1736609136165.schedule.json
-1
diff --git a/‎schedules/hbft-known-violation-forced-with-0-2-async.json
+1 b/‎schedules/hbft-known-violation-forced-with-0-2-async.json
+1
diff --git a/‎schedules/hbft-known-violation-forced-with-1-2-sync.json
+1 b/‎schedules/hbft-known-violation-forced-with-1-2-sync.json
+1