./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/Remotery/main.c


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


22:25:38 [INFO ] Compilation.compileWithClang - Compiling with clang
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:39 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:40 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:41 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:42 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:43 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:44 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:45 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:46 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:47 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:48 [INFO ] Compilation.compileWithSmack - Compiling with smack
22:25:48 [INFO ] GitInfo.CreateGitInfo - Git branch: svcomp
22:25:48 [INFO ] GitInfo.CreateGitInfo - Git commit ID: d54f8e1624095bb050a87db313b239cadadd9f19
22:25:48 [INFO ] GlobalSettings.LogGlobalSettings - ARCH_PRECISION: -1
22:25:48 [INFO ] GlobalSettings.LogGlobalSettings - ATOMIC_AS_LOCK: false
22:25:48 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_GENERATE_GRAPHVIZ_DEBUG_FILES: false
22:25:48 [INFO ] GlobalSettings.LogGlobalSettings - REFINEMENT_SYMMETRY_LEARNING: FULL
22:25:48 [INFO ] Dartagnan.main - Program path: /mnt/goblint-svcomp/goblint-bench/the-continuous-race/tools/svcomp23/dartagnan/output/main.bpl
22:25:48 [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)
