diff --git a/share/provers-detection-data.conf b/share/provers-detection-data.conf
index cf87eae2da98f90b4e57723d181848bcd6ccbfbf..d4a296a05ad908def92987faab8d87ebf1c8f22d 100644
--- a/share/provers-detection-data.conf
+++ b/share/provers-detection-data.conf
@@ -28,6 +28,7 @@ command = "%e -timelimit %t %f"
 command_steps = "%e -steps-bound %S %f"
 driver = "drivers/alt_ergo.drv"
 editor = "altgr-ergo"
+use_at_auto_level = 1
 
 [ATP alt-ergo]
 name = "Alt-Ergo"