diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl
index 0fb7610..8ddc3c6 100644
--- a/src/CheckSolution.jl
+++ b/src/CheckSolution.jl
@@ -3,8 +3,7 @@ import Base: rationalize
 using IntervalArithmetic
 
 IntervalArithmetic.setrounding(Interval, :tight)
-IntervalArithmetic.setformat(sigfigs=10)
-IntervalArithmetic.setprecision(Interval, 53) # slightly faster than 256
+IntervalArithmetic.setformat(sigfigs=12)
 
 import IntervalArithmetic.±