diff -r 74515e8e6046 -r 414732ebf891 src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML
--- a/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Fri Nov 11 08:32:48 2011 +0100
+++ b/src/HOL/Tools/Predicate_Compile/predicate_compile_core.ML	Fri Nov 11 10:40:36 2011 +0100
@@ -1618,7 +1618,7 @@
 
 (* values_timeout configuration *)
 
-val default_values_timeout = if ML_System.is_smlnj then 600.0 else 20.0
+val default_values_timeout = if ML_System.is_smlnj then 1200.0 else 40.0
 
 val values_timeout = Attrib.setup_config_real @{binding values_timeout} (K default_values_timeout)