diff --git a/plutus-benchmark/marlowe/scripts/rolepayout/validator/sop.flat b/plutus-benchmark/marlowe/scripts/rolepayout/validator/sop.flat
index 531b9dcba1b..472ad9c0603 100644
Binary files a/plutus-benchmark/marlowe/scripts/rolepayout/validator/sop.flat and b/plutus-benchmark/marlowe/scripts/rolepayout/validator/sop.flat differ
diff --git a/plutus-benchmark/marlowe/scripts/semantics/validator/data.flat b/plutus-benchmark/marlowe/scripts/semantics/validator/data.flat
index c932adb2497..631b03efa20 100644
Binary files a/plutus-benchmark/marlowe/scripts/semantics/validator/data.flat and b/plutus-benchmark/marlowe/scripts/semantics/validator/data.flat differ
diff --git a/plutus-benchmark/marlowe/scripts/semantics/validator/sop.flat b/plutus-benchmark/marlowe/scripts/semantics/validator/sop.flat
index 03135f16313..4f9c4f796c7 100644
Binary files a/plutus-benchmark/marlowe/scripts/semantics/validator/sop.flat and b/plutus-benchmark/marlowe/scripts/semantics/validator/sop.flat differ