diff --git a/klee-examples/src/clk.rs b/klee-examples/src/clk.rs
index d8b689df9b6dc0d57f712a9bcf6509f7f04fabd3..672edf6a634fd3538e799a3b5a9db32e67eabd1c 100644
--- a/klee-examples/src/clk.rs
+++ b/klee-examples/src/clk.rs
@@ -98,7 +98,7 @@ fn main() {
 
     let req = Requirements {
         pllsrcclk: 8_000_000,
-        sysclk: 96_000_000,
+        sysclk: 100_000_000,
         usbclk: true,
     };