/usr/lib/jvm/java-1.11.0-openjdk-amd64/bin/java -ea -Xmx4000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/C-BIN-BPP.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-NoOverflow-32bit-Automizer_Bitvector.epf -i ../../../trunk/examples/svcomp/seq-mthreaded-reduced/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c


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


This is Ultimate 0.2.4-dev-db9108f-m
[2023-12-07 15:46:40,595 INFO  L188        SettingsManager]: Resetting all preferences to default values...
Argument of "settings" has invalid value "/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-NoOverflow-32bit-Automizer_Bitvector.epf": File/Dir does not exist
Arguments were "-ultimatedata ./data -tc ../../../trunk/examples/toolchains/C-BIN-BPP.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-NoOverflow-32bit-Automizer_Bitvector.epf -i ../../../trunk/examples/svcomp/seq-mthreaded-reduced/pals_lcr-var-start-time.6.ufo.BOUNDED-12.pals.c.v+cfa-reducer.c"
[2023-12-07 15:46:40,675 WARN  L249           UltimateCore]: Preparing to exit Ultimate with return code -1