diff --git a/examples/apps/dhcp_client/dhcp_client.gpr b/examples/apps/dhcp_client/dhcp_client.gpr
index 21894e952..9ca765ad8 100644
--- a/examples/apps/dhcp_client/dhcp_client.gpr
+++ b/examples/apps/dhcp_client/dhcp_client.gpr
@@ -63,7 +63,7 @@ project DHCP_Client is
       for Proof_Switches ("Ada") use Defaults.Proof_Switches;
       for Proof_Switches ("rflx-dhcp_client-session.adb") use ("--timeout=300");
       for Proof_Switches ("rflx-rflx_arithmetic.adb") use ("--prover=Z3,altergo,cvc5,colibri");
-      for Proof_Switches ("dhcp_client.adb") use ("--timeout=180");
+      for Proof_Switches ("dhcp_client.adb") use ("--prover=cvc5,z3", "--timeout=120");
    end Prove;
 
 end DHCP_Client;