diff --git a/modules/wycs/src/wycs/transforms/VerificationCheck.java b/modules/wycs/src/wycs/transforms/VerificationCheck.java
index <HASH>..<HASH> 100644
--- a/modules/wycs/src/wycs/transforms/VerificationCheck.java
+++ b/modules/wycs/src/wycs/transforms/VerificationCheck.java
@@ -131,7 +131,7 @@ public class VerificationCheck implements Transform<WycsFile> {
 	}
 
 	public static int getMaxReductions() {
-		return 500; // default value
+		return 1000; // default value
 	}
 
 	public void setMaxReductions(int limit) {
@@ -143,7 +143,7 @@ public class VerificationCheck implements Transform<WycsFile> {
 	}
 
 	public static int getMaxInferences() {
-		return 200; // default value
+		return 500; // default value
 	}
 
 	public void setMaxInferences(int limit) {
WyIL: Updated timeouts for Verification.

The purpose of this was simply to help ensure all examples in the SCP
paper verify.