diff --git a/config/caisar-detection-data.conf b/config/caisar-detection-data.conf
index 775ab20a93d389875b3339fefaa7163b0d35a633..daa570a3a03f218d29be38bb16cea554f4c406f1 100644
--- a/config/caisar-detection-data.conf
+++ b/config/caisar-detection-data.conf
@@ -110,6 +110,18 @@ command = "%e -mp %{nnet-onnx} -pp %f --timeout %t --domain zono --split --score
 driver = "%{config}/drivers/pyrat.drv"
 use_at_auto_level = 1
 
+[ATP pyrat-arithmetic]
+name = "PyRAT"
+alternative = "arithmetic"
+exec = "pyrat.py"
+exec = "pyrat"
+version_switch = "--version"
+version_regexp = "PyRAT \\([0-9.]+\\)"
+version_ok  = "1.1"
+command = "%e -mp %{nnet-onnx} -pp %f --timeout %t --domain poly --domain zono --split --scorer coef --initial --allow_smaller_size --booster always"
+driver = "%{config}/drivers/pyrat.drv"
+use_at_auto_level = 1
+
 [ATP nnenum]
 name = "nnenum"
 exec = "nnenum.sh"
diff --git a/tests/autodetect.t b/tests/autodetect.t
index aa34864e8f786e1b755212f587977d2422c589ea..eadc0747b19b3b99dddc8d77b99fa7e5d8d58936 100644
--- a/tests/autodetect.t
+++ b/tests/autodetect.t
@@ -43,6 +43,7 @@ Test autodetect
   PyRAT 1.1 (ACAS)
   PyRAT 1.1 (ACASd)
   PyRAT 1.1 (VNNLIB)
+  PyRAT 1.1 (arithmetic)
   SAVer v1.0
   alpha-beta-CROWN dummy-version
   alpha-beta-CROWN dummy-version (ACAS)