./Dartagnan-SVCOMP.sh /mnt/goblint-svcomp/goblint-bench/the-continuous-race/properties/no-data-race.prp /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/C-Thread-Pool/main.c


--------------------------------------------------------------------------------


21:37:33 [INFO ] Compilation.compileWithClang - Compiling with clang
21:37:33 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:33 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:34 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:35 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:36 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:37 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:38 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
21:37:43 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp
21:37:43 [INFO ] GitInfo.CreateGitInfo - Git commit ID: d54f8e1624095bb050a87db313b239cadadd9f19
21:37:43 [INFO ] GlobalSettings.LogGlobalSettings - ARCH_PRECISION: -1
21:37:43 [INFO ] GlobalSettings.LogGlobalSettings - ATOMIC_AS_LOCK: false
21:37:43 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
21:37:43 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRY_LEARNING: FULL
21:37:43 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/tools/svcomp23/dartagnan/output/main.bpl
21:37:43 [INFO ] Dartagnan.main - CAT file path: cat/svcomp.cat
Exception in thread "main" java.io.FileNotFoundException: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/tools/svcomp23/dartagnan/output/main.bpl (No such file or directory)
	at java.base/java.io.FileInputStream.open0(Native Method)
	at java.base/java.io.FileInputStream.open(FileInputStream.java:216)
	at java.base/java.io.FileInputStream.<init>(FileInputStream.java:157)
	at com.dat3m.dartagnan.parsers.program.ProgramParser.parse(ProgramParser.java:32)
	at com.dat3m.dartagnan.Dartagnan.main(Dartagnan.java:97)
