diff --git a/subprojects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysisTest.kt b/subprojects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysisTest.kt
index df1c7c475d..c12df63a67 100644
--- a/subprojects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysisTest.kt
+++ b/subprojects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaAnalysisTest.kt
@@ -59,6 +59,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testNoporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        println("Testing NOPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 
@@ -101,6 +102,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testSporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        println("Testing SPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 
@@ -143,6 +145,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testDporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        println("Testing DPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 
@@ -184,6 +187,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testAasporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
+        println("Testing AASPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 
@@ -227,7 +231,7 @@ class XcfaAnalysisTest {
     @ParameterizedTest
     @MethodSource("data")
     fun testAadporExpl(filepath: String, verdict: (SafetyResult<*, *>) -> Boolean) {
-        if (filepath.contains("multithread")) return // TODO: why does it fail to verify?
+        println("Testing AADPOR on $filepath...")
         val stream = javaClass.getResourceAsStream(filepath)
         val xcfa = getXcfaFromC(stream!!, ParseContext(), false, false).first
 
diff --git a/subprojects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaCegarTest.kt b/subprojects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaCegarTest.kt
deleted file mode 100644
index abb015ddcf..0000000000
--- a/subprojects/xcfa/xcfa-analysis/src/test/java/hu/bme/mit/theta/xcfa/analysis/XcfaCegarTest.kt
+++ /dev/null
@@ -1,15 +0,0 @@
-/*
- *  Copyright 2023 Budapest University of Technology and Economics
- *
- *  Licensed under the Apache License, Version 2.0 (the "License");
- *  you may not use this file except in compliance with the License.
- *  You may obtain a copy of the License at
- *
- *      http://www.apache.org/licenses/LICENSE-2.0
- *
- *  Unless required by applicable law or agreed to in writing, software
- *  distributed under the License is distributed on an "AS IS" BASIS,
- *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- *  See the License for the specific language governing permissions and
- *  limitations under the License.
- */