./Ultimate.py --spec /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --file /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c --full-output --architecture 64bit


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


Checking for data races
Using default analysis
Version 2329fc70
Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data -tc /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/AutomizerReach.xml -i /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c -s /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! data-race) )

 --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash a74f9813de212d7da16136c12db6acce28884f5e7bd89ff30b7a9cfcab254857
--- Real Ultimate output ---
This is Ultimate 0.2.2-dev-2329fc7
[2023-11-13 09:13:41,187 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2023-11-13 09:13:41,189 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2023-11-13 09:13:41,210 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2023-11-13 09:13:41,210 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2023-11-13 09:13:41,211 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2023-11-13 09:13:41,212 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2023-11-13 09:13:41,213 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2023-11-13 09:13:41,214 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2023-11-13 09:13:41,215 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2023-11-13 09:13:41,216 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2023-11-13 09:13:41,216 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2023-11-13 09:13:41,217 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2023-11-13 09:13:41,218 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2023-11-13 09:13:41,218 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2023-11-13 09:13:41,219 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2023-11-13 09:13:41,220 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2023-11-13 09:13:41,220 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2023-11-13 09:13:41,222 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2023-11-13 09:13:41,223 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2023-11-13 09:13:41,225 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2023-11-13 09:13:41,227 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2023-11-13 09:13:41,229 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2023-11-13 09:13:41,230 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2023-11-13 09:13:41,235 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2023-11-13 09:13:41,235 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2023-11-13 09:13:41,236 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2023-11-13 09:13:41,237 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2023-11-13 09:13:41,238 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2023-11-13 09:13:41,238 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2023-11-13 09:13:41,239 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2023-11-13 09:13:41,239 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2023-11-13 09:13:41,240 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2023-11-13 09:13:41,240 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2023-11-13 09:13:41,241 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2023-11-13 09:13:41,241 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2023-11-13 09:13:41,241 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2023-11-13 09:13:41,242 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2023-11-13 09:13:41,242 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2023-11-13 09:13:41,242 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2023-11-13 09:13:41,243 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2023-11-13 09:13:41,244 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Default.epf
[2023-11-13 09:13:41,260 INFO  L113        SettingsManager]: Loading preferences was successful
[2023-11-13 09:13:41,260 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2023-11-13 09:13:41,260 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2023-11-13 09:13:41,260 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2023-11-13 09:13:41,261 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2023-11-13 09:13:41,261 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2023-11-13 09:13:41,261 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2023-11-13 09:13:41,261 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2023-11-13 09:13:41,262 INFO  L138        SettingsManager]:  * Use SBE=true
[2023-11-13 09:13:41,262 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2023-11-13 09:13:41,262 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2023-11-13 09:13:41,262 INFO  L138        SettingsManager]:  * Overapproximate operations on floating types=true
[2023-11-13 09:13:41,262 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2023-11-13 09:13:41,262 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2023-11-13 09:13:41,262 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2023-11-13 09:13:41,262 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2023-11-13 09:13:41,263 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2023-11-13 09:13:41,263 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2023-11-13 09:13:41,263 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2023-11-13 09:13:41,263 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2023-11-13 09:13:41,263 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2023-11-13 09:13:41,263 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2023-11-13 09:13:41,263 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2023-11-13 09:13:41,263 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-11-13 09:13:41,264 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2023-11-13 09:13:41,264 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2023-11-13 09:13:41,264 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2023-11-13 09:13:41,264 INFO  L138        SettingsManager]:  * Trace refinement strategy=CAMEL
[2023-11-13 09:13:41,264 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2023-11-13 09:13:41,264 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2023-11-13 09:13:41,264 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2023-11-13 09:13:41,264 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2023-11-13 09:13:41,264 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2023-11-13 09:13:41,265 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2023-11-13 09:13:41,265 INFO  L138        SettingsManager]:  * Looper check in Petri net analysis=SEMANTIC
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int)
WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! data-race) )


Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> a74f9813de212d7da16136c12db6acce28884f5e7bd89ff30b7a9cfcab254857
[2023-11-13 09:13:41,430 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2023-11-13 09:13:41,454 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2023-11-13 09:13:41,458 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2023-11-13 09:13:41,460 INFO  L271        PluginConnector]: Initializing CDTParser...
[2023-11-13 09:13:41,460 INFO  L275        PluginConnector]: CDTParser initialized
[2023-11-13 09:13:41,462 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-11-13 09:13:42,470 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2023-11-13 09:13:42,814 INFO  L351              CDTParser]: Found 1 translation units.
[2023-11-13 09:13:42,815 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-11-13 09:13:42,837 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/0cd859783/b5f5f4d261fa4537809c196108f4cf49/FLAGea6e50fa7
[2023-11-13 09:13:43,053 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/0cd859783/b5f5f4d261fa4537809c196108f4cf49
[2023-11-13 09:13:43,055 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2023-11-13 09:13:43,056 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2023-11-13 09:13:43,057 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2023-11-13 09:13:43,057 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2023-11-13 09:13:43,061 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2023-11-13 09:13:43,062 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.11 09:13:43" (1/1) ...
[2023-11-13 09:13:43,063 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@99a407a and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:43, skipping insertion in model container
[2023-11-13 09:13:43,063 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.11 09:13:43" (1/1) ...
[2023-11-13 09:13:43,071 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2023-11-13 09:13:43,160 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2023-11-13 09:13:43,342 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:43,356 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-11-13 09:13:43,426 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-11-13 09:13:43,430 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-11-13 09:13:43,435 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-11-13 09:13:43,443 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-11-13 09:13:43,447 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-11-13 09:13:43,450 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-11-13 09:13:43,455 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-11-13 09:13:43,459 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-11-13 09:13:43,478 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:43,479 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:43,480 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-11-13 09:13:43,543 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-11-13 09:13:43,544 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-11-13 09:13:43,545 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-11-13 09:13:43,546 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-11-13 09:13:43,547 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-11-13 09:13:43,548 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-11-13 09:13:43,549 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-11-13 09:13:43,550 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-11-13 09:13:43,551 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-11-13 09:13:43,551 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-11-13 09:13:43,632 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:13:43,634 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-11-13 09:13:43,645 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-11-13 09:13:43,646 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-11-13 09:13:43,649 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:43,656 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:13:43,665 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:13:43,670 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:13:43,708 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:13:43,712 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:13:43,715 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:13:43,735 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:13:43,764 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:43,765 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:43,765 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:43,766 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:43,767 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-11-13 09:13:43,767 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:43,837 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:43,838 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:43,839 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:43,840 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:43,841 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:43,842 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:43,892 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:13:43,892 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:13:43,893 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:13:43,894 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-11-13 09:13:43,894 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:13:43,895 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:13:43,896 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-11-13 09:13:43,896 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:43,898 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:43,900 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:43,902 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:43,903 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:43,904 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:43,909 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:13:43,914 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:43,915 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:43,917 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:13:43,925 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:13:43,939 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-11-13 09:13:43,940 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-11-13 09:13:43,943 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-11-13 09:13:43,944 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-11-13 09:13:43,944 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-11-13 09:13:43,947 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-11-13 09:13:43,960 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-11-13 09:13:43,963 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-11-13 09:13:44,015 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-11-13 09:13:44,016 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,018 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,018 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,019 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,020 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,021 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,022 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,023 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-11-13 09:13:44,024 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,030 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,034 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,038 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,039 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,040 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,042 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,044 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,045 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,046 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-11-13 09:13:44,047 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,049 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,050 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,051 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,052 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,054 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,054 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-11-13 09:13:44,056 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,057 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,058 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,059 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,072 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-11-13 09:13:44,073 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-11-13 09:13:44,074 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-11-13 09:13:44,075 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-11-13 09:13:44,132 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:13:44,138 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:13:44,148 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,153 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-11-13 09:13:44,155 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:13:44,157 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-11-13 09:13:44,157 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,157 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:44,158 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:13:44,159 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-11-13 09:13:44,160 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:44,161 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-11-13 09:13:44,162 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,162 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:44,163 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-11-13 09:13:44,163 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-11-13 09:13:44,164 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-11-13 09:13:44,165 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:44,167 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-11-13 09:13:44,167 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-11-13 09:13:44,175 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:13:44,184 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:13:44,233 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:13:44,256 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,258 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,258 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:44,259 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:13:44,262 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:13:44,319 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-11-13 09:13:44,347 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-11-13 09:13:44,348 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-11-13 09:13:44,350 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,350 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,351 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-11-13 09:13:44,351 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-11-13 09:13:44,353 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,354 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,354 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,355 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,356 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,357 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,358 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,358 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,363 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,364 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,367 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,368 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,370 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,370 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,377 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-11-13 09:13:44,378 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-11-13 09:13:44,380 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:13:44,384 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-11-13 09:13:44,385 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-11-13 09:13:44,388 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-11-13 09:13:44,390 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:13:44,391 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:13:44,392 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:13:44,392 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-11-13 09:13:44,393 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-11-13 09:13:44,393 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-11-13 09:13:44,394 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-11-13 09:13:44,394 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-11-13 09:13:44,407 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-11-13 09:13:44,410 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-11-13 09:13:44,412 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-11-13 09:13:44,414 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-11-13 09:13:44,424 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-11-13 09:13:44,425 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-11-13 09:13:44,426 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:44,427 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-11-13 09:13:44,427 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:44,427 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:44,428 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:44,436 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-11-13 09:13:44,437 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-11-13 09:13:44,438 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-11-13 09:13:44,439 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:13:44,439 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:13:44,443 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:13:44,443 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:13:44,465 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-11-13 09:13:44,466 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-11-13 09:13:44,466 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-11-13 09:13:44,466 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-11-13 09:13:44,468 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,468 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,479 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:44,479 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-11-13 09:13:44,480 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-11-13 09:13:44,481 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:44,482 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:13:44,484 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-11-13 09:13:44,485 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-11-13 09:13:44,506 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-11-13 09:13:44,507 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-11-13 09:13:44,509 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-11-13 09:13:44,514 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:44,514 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:13:44,515 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:13:44,515 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,515 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:13:44,516 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,516 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-11-13 09:13:44,516 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,517 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,517 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-11-13 09:13:44,518 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:44,523 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-11-13 09:13:44,523 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-11-13 09:13:44,524 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-11-13 09:13:44,524 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-11-13 09:13:44,524 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-11-13 09:13:44,525 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-11-13 09:13:44,526 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-11-13 09:13:44,526 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-11-13 09:13:44,527 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-11-13 09:13:44,530 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:44,531 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-11-13 09:13:44,566 INFO  L203         MainTranslator]: Completed pre-run
[2023-11-13 09:13:44,580 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,582 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-11-13 09:13:44,583 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-11-13 09:13:44,583 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-11-13 09:13:44,584 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-11-13 09:13:44,585 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-11-13 09:13:44,586 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-11-13 09:13:44,586 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-11-13 09:13:44,588 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-11-13 09:13:44,589 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-11-13 09:13:44,590 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:44,591 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:44,591 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-11-13 09:13:44,593 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-11-13 09:13:44,594 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-11-13 09:13:44,594 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-11-13 09:13:44,594 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-11-13 09:13:44,595 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-11-13 09:13:44,596 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-11-13 09:13:44,596 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-11-13 09:13:44,596 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-11-13 09:13:44,597 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-11-13 09:13:44,597 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-11-13 09:13:44,606 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:13:44,606 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-11-13 09:13:44,610 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-11-13 09:13:44,611 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-11-13 09:13:44,612 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:44,613 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:13:44,615 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:13:44,617 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:13:44,620 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:13:44,621 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:13:44,622 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:13:44,626 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:13:44,630 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,631 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,631 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,631 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,631 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-11-13 09:13:44,632 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,639 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:44,639 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:44,640 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:44,640 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:44,640 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:44,641 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:13:44,712 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:13:44,712 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:13:44,713 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:13:44,713 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-11-13 09:13:44,714 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:13:44,714 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:13:44,715 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-11-13 09:13:44,715 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:44,716 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,718 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:44,719 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,720 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:44,721 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,724 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:13:44,727 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:13:44,728 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,729 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:13:44,735 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:13:44,742 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-11-13 09:13:44,743 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-11-13 09:13:44,745 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-11-13 09:13:44,746 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-11-13 09:13:44,746 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-11-13 09:13:44,748 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-11-13 09:13:44,757 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-11-13 09:13:44,759 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-11-13 09:13:44,775 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-11-13 09:13:44,776 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,777 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,777 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,778 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,778 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,779 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,779 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,780 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-11-13 09:13:44,780 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,783 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,785 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,788 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,789 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,789 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,791 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,792 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,792 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,793 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-11-13 09:13:44,793 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,795 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,795 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,796 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,796 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,798 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:13:44,798 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-11-13 09:13:44,800 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,801 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,802 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,802 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,803 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-11-13 09:13:44,804 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-11-13 09:13:44,804 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-11-13 09:13:44,805 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-11-13 09:13:44,814 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:13:44,815 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:13:44,819 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:13:44,823 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-11-13 09:13:44,825 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:13:44,826 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-11-13 09:13:44,826 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,826 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:44,826 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:13:44,828 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-11-13 09:13:44,828 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:44,829 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-11-13 09:13:44,829 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,829 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:44,830 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-11-13 09:13:44,830 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-11-13 09:13:44,830 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-11-13 09:13:44,831 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:44,832 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-11-13 09:13:44,832 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-11-13 09:13:44,835 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:13:44,841 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:13:44,869 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:13:44,878 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,880 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:44,880 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:44,880 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:13:44,882 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:13:44,937 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-11-13 09:13:44,940 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-11-13 09:13:44,940 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-11-13 09:13:44,942 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,942 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,942 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-11-13 09:13:44,943 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-11-13 09:13:44,944 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,944 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,945 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,945 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,946 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,947 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,947 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,947 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,952 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,952 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,954 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,955 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,956 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,956 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:44,962 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-11-13 09:13:44,963 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-11-13 09:13:44,964 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:13:44,968 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-11-13 09:13:44,968 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-11-13 09:13:44,970 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-11-13 09:13:44,971 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:13:44,973 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:13:44,974 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:13:44,975 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-11-13 09:13:44,976 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-11-13 09:13:44,976 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-11-13 09:13:44,976 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-11-13 09:13:44,977 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-11-13 09:13:44,980 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-11-13 09:13:44,980 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-11-13 09:13:44,980 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-11-13 09:13:44,981 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-11-13 09:13:44,982 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-11-13 09:13:44,983 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-11-13 09:13:44,984 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:44,984 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-11-13 09:13:44,985 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:44,985 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:44,986 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:44,989 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-11-13 09:13:44,989 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-11-13 09:13:44,990 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-11-13 09:13:44,991 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:13:44,992 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:13:44,994 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:13:44,994 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:13:44,996 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-11-13 09:13:44,996 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-11-13 09:13:44,997 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-11-13 09:13:44,997 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-11-13 09:13:44,999 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:13:44,999 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:13:45,003 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:45,004 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-11-13 09:13:45,005 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-11-13 09:13:45,005 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:13:45,008 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:13:45,009 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-11-13 09:13:45,010 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-11-13 09:13:45,016 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-11-13 09:13:45,016 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-11-13 09:13:45,021 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-11-13 09:13:45,023 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:13:45,024 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:13:45,024 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:13:45,025 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:45,025 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:13:45,025 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:45,025 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-11-13 09:13:45,026 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:45,026 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:13:45,026 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-11-13 09:13:45,027 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:45,032 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-11-13 09:13:45,032 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-11-13 09:13:45,033 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-11-13 09:13:45,033 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-11-13 09:13:45,033 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-11-13 09:13:45,034 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-11-13 09:13:45,035 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-11-13 09:13:45,035 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-11-13 09:13:45,036 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-11-13 09:13:45,040 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:13:45,040 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-11-13 09:13:45,105 INFO  L208         MainTranslator]: Completed translation
[2023-11-13 09:13:45,105 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45 WrapperNode
[2023-11-13 09:13:45,105 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2023-11-13 09:13:45,106 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2023-11-13 09:13:45,106 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2023-11-13 09:13:45,106 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2023-11-13 09:13:45,112 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:45,285 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:47,585 INFO  L138                Inliner]: procedures = 260, calls = 7126, calls flagged for inlining = 382, calls inlined = 1780, statements flattened = 117023
[2023-11-13 09:13:47,585 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2023-11-13 09:13:47,586 INFO  L113        PluginConnector]: ------------------------Boogie Preprocessor----------------------------
[2023-11-13 09:13:47,586 INFO  L271        PluginConnector]: Initializing Boogie Preprocessor...
[2023-11-13 09:13:47,586 INFO  L275        PluginConnector]: Boogie Preprocessor initialized
[2023-11-13 09:13:47,595 INFO  L185        PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:47,595 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:48,256 INFO  L185        PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:48,256 INFO  L185        PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:49,836 INFO  L185        PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:50,097 INFO  L185        PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:50,283 INFO  L185        PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:50,410 INFO  L185        PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:50,864 INFO  L132        PluginConnector]: ------------------------ END Boogie Preprocessor----------------------------
[2023-11-13 09:13:50,865 INFO  L113        PluginConnector]: ------------------------RCFGBuilder----------------------------
[2023-11-13 09:13:50,865 INFO  L271        PluginConnector]: Initializing RCFGBuilder...
[2023-11-13 09:13:50,865 INFO  L275        PluginConnector]: RCFGBuilder initialized
[2023-11-13 09:13:50,865 INFO  L185        PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (1/1) ...
[2023-11-13 09:13:50,870 INFO  L173          SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-11-13 09:13:50,878 INFO  L189       MonitoredProcess]: No working directory specified, using /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3
[2023-11-13 09:13:50,891 INFO  L229       MonitoredProcess]: Starting monitored process 1 with /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null)
[2023-11-13 09:13:50,895 INFO  L327       MonitoredProcess]: [MP /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process
[2023-11-13 09:13:50,918 INFO  L130     BoogieDeclarations]: Found specification of procedure realpath
[2023-11-13 09:13:50,918 INFO  L130     BoogieDeclarations]: Found specification of procedure __getdelim
[2023-11-13 09:13:50,918 INFO  L130     BoogieDeclarations]: Found specification of procedure strncmp
[2023-11-13 09:13:50,918 INFO  L130     BoogieDeclarations]: Found specification of procedure __builtin_memset
[2023-11-13 09:13:50,918 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$
[2023-11-13 09:13:50,918 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure gettimeofday
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure pthread_setaffinity_np
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure fileno
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_toupper_loc
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure close
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure vasprintf
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure fopen
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure fnmatch
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure strpbrk
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure memcmp
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure read~$Pointer$
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_tolower_loc
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure strerror
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure __xstat
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure strstr
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure closedir
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure opendir
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure lzma_auto_decoder
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~$Pointer$
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure madvise
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure binary_search
[2023-11-13 09:13:50,919 INFO  L138     BoogieDeclarations]: Found implementation of procedure binary_search
[2023-11-13 09:13:50,919 INFO  L130     BoogieDeclarations]: Found specification of procedure __fxstat
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure search_dir
[2023-11-13 09:13:50,920 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_dir
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure __lxstat
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure popen
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure fclose
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~int
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure fopencookie
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure feof
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure strdup
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~int
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure vfprintf
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure read~int
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure sysconf
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure fread
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure fputc
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure pclose
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_compile
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_config
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure write~int
[2023-11-13 09:13:50,920 INFO  L130     BoogieDeclarations]: Found specification of procedure readdir
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure strtol
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure strndup
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure getopt_long
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure #PthreadsMutexLock
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure munmap
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure fputs
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure perror
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure fflush
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_exec
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure isatty
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure write~$Pointer$
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure __errno_location
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_version
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure zError
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure read
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure inflateInit2_
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure search_file_worker
[2023-11-13 09:13:50,921 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_file_worker
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_b_loc
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure fdopen
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure fwrite
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~int
[2023-11-13 09:13:50,921 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_study
[2023-11-13 09:13:50,922 INFO  L130     BoogieDeclarations]: Found specification of procedure strncpy
[2023-11-13 09:13:50,922 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.start
[2023-11-13 09:13:50,922 INFO  L138     BoogieDeclarations]: Found implementation of procedure ULTIMATE.start
[2023-11-13 09:13:50,922 INFO  L130     BoogieDeclarations]: Found specification of procedure mmap
[2023-11-13 09:13:50,949 WARN  L209             CfgBuilder]: User set CodeBlockSize to SequenceOfStatements but program contains fork statements. Overwriting the user preferences and setting CodeBlockSize to SingleStatement
[2023-11-13 09:13:52,066 INFO  L235             CfgBuilder]: Building ICFG
[2023-11-13 09:13:52,068 INFO  L261             CfgBuilder]: Building CFG for each procedure with an implementation
[2023-11-13 09:15:08,076 INFO  L276             CfgBuilder]: Performing block encoding
[2023-11-13 09:15:08,244 INFO  L295             CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start)
[2023-11-13 09:15:08,244 INFO  L300             CfgBuilder]: Removed 350 assume(true) statements.
[2023-11-13 09:15:08,306 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 13.11 09:15:08 BoogieIcfgContainer
[2023-11-13 09:15:08,306 INFO  L132        PluginConnector]: ------------------------ END RCFGBuilder----------------------------
[2023-11-13 09:15:08,308 INFO  L113        PluginConnector]: ------------------------TraceAbstraction----------------------------
[2023-11-13 09:15:08,308 INFO  L271        PluginConnector]: Initializing TraceAbstraction...
[2023-11-13 09:15:08,310 INFO  L275        PluginConnector]: TraceAbstraction initialized
[2023-11-13 09:15:08,310 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 13.11 09:13:43" (1/3) ...
[2023-11-13 09:15:08,311 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@5a13b08a and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 13.11 09:15:08, skipping insertion in model container
[2023-11-13 09:15:08,311 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:13:45" (2/3) ...
[2023-11-13 09:15:08,311 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@5a13b08a and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 13.11 09:15:08, skipping insertion in model container
[2023-11-13 09:15:08,311 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 13.11 09:15:08" (3/3) ...
[2023-11-13 09:15:08,312 INFO  L112   eAbstractionObserver]: Analyzing ICFG main.c
[2023-11-13 09:15:08,318 WARN  L145   ceAbstractionStarter]: Switching off computation of Hoare annotation because input is a concurrent program
[2023-11-13 09:15:08,324 INFO  L203   ceAbstractionStarter]: Automizer settings: Hoare:false NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION
[2023-11-13 09:15:08,327 INFO  L162   ceAbstractionStarter]: Applying trace abstraction to program that has 9791 error locations.
[2023-11-13 09:15:08,327 INFO  L515   ceAbstractionStarter]: Constructing petrified ICFG for 1 thread instances.
[2023-11-13 09:15:14,023 INFO  L144    ThreadInstanceAdder]: Constructed 1 joinOtherThreadTransitions.
[2023-11-13 09:15:14,559 FATAL L?                        ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction has thrown an exception:
java.lang.UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNetWithSPredicates(Cfg2Automaton.java:128)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriInitialAbstractionProvider.getInitialAbstraction(PetriInitialAbstractionProvider.java:83)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriInitialAbstractionProvider.getInitialAbstraction(PetriInitialAbstractionProvider.java:1)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriLbeInitialAbstractionProvider.getInitialAbstraction(PetriLbeInitialAbstractionProvider.java:93)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriLbeInitialAbstractionProvider.getInitialAbstraction(PetriLbeInitialAbstractionProvider.java:1)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.constructInitialAbstraction(CegarLoopFactory.java:336)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.createPetriAbstraction(CegarLoopFactory.java:297)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.constructCegarLoop(CegarLoopFactory.java:187)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.executeCegarLoop(TraceAbstractionStarter.java:414)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.analyseProgram(TraceAbstractionStarter.java:302)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.analyseConcurrentProgram(TraceAbstractionStarter.java:225)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.runCegarLoops(TraceAbstractionStarter.java:173)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.<init>(TraceAbstractionStarter.java:154)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver.finish(TraceAbstractionObserver.java:124)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:168)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:151)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.run(PluginConnector.java:128)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.executePluginConnector(ToolchainWalker.java:232)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.processPlugin(ToolchainWalker.java:226)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walkUnprotected(ToolchainWalker.java:142)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walk(ToolchainWalker.java:104)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainManager$Toolchain.processToolchain(ToolchainManager.java:320)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145)
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)
[2023-11-13 09:15:14,564 INFO  L158              Benchmark]: Toolchain (without parser) took 91506.72ms. Allocated memory was 165.7MB in the beginning and 6.8GB in the end (delta: 6.7GB). Free memory was 116.3MB in the beginning and 3.8GB in the end (delta: -3.7GB). Peak memory consumption was 3.0GB. Max. memory is 16.1GB.
[2023-11-13 09:15:14,564 INFO  L158              Benchmark]: CDTParser took 0.28ms. Allocated memory is still 165.7MB. Free memory was 107.8MB in the beginning and 107.6MB in the end (delta: 161.1kB). There was no memory consumed. Max. memory is 16.1GB.
[2023-11-13 09:15:14,565 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 2048.77ms. Allocated memory was 165.7MB in the beginning and 442.5MB in the end (delta: 276.8MB). Free memory was 115.6MB in the beginning and 254.7MB in the end (delta: -139.0MB). Peak memory consumption was 208.7MB. Max. memory is 16.1GB.
[2023-11-13 09:15:14,565 INFO  L158              Benchmark]: Boogie Procedure Inliner took 2479.24ms. Allocated memory was 442.5MB in the beginning and 1.8GB in the end (delta: 1.3GB). Free memory was 253.6MB in the beginning and 978.7MB in the end (delta: -725.1MB). Peak memory consumption was 604.5MB. Max. memory is 16.1GB.
[2023-11-13 09:15:14,566 INFO  L158              Benchmark]: Boogie Preprocessor took 3277.97ms. Allocated memory was 1.8GB in the beginning and 4.4GB in the end (delta: 2.6GB). Free memory was 978.7MB in the beginning and 3.2GB in the end (delta: -2.2GB). Peak memory consumption was 571.5MB. Max. memory is 16.1GB.
[2023-11-13 09:15:14,566 INFO  L158              Benchmark]: RCFGBuilder took 77441.45ms. Allocated memory was 4.4GB in the beginning and 6.8GB in the end (delta: 2.4GB). Free memory was 3.2GB in the beginning and 4.0GB in the end (delta: -850.6MB). Peak memory consumption was 2.4GB. Max. memory is 16.1GB.
[2023-11-13 09:15:14,567 INFO  L158              Benchmark]: TraceAbstraction took 6254.22ms. Allocated memory is still 6.8GB. Free memory was 4.0GB in the beginning and 3.8GB in the end (delta: 206.8MB). Peak memory consumption was 206.8MB. Max. memory is 16.1GB.
[2023-11-13 09:15:14,572 INFO  L339   ainManager$Toolchain]: #######################  End [Toolchain 1] #######################
 --- Results ---
 * Results from de.uni_freiburg.informatik.ultimate.core:
  - StatisticsResult: Toolchain Benchmarks
    Benchmark results are:
 * CDTParser took 0.28ms. Allocated memory is still 165.7MB. Free memory was 107.8MB in the beginning and 107.6MB in the end (delta: 161.1kB). There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 2048.77ms. Allocated memory was 165.7MB in the beginning and 442.5MB in the end (delta: 276.8MB). Free memory was 115.6MB in the beginning and 254.7MB in the end (delta: -139.0MB). Peak memory consumption was 208.7MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 2479.24ms. Allocated memory was 442.5MB in the beginning and 1.8GB in the end (delta: 1.3GB). Free memory was 253.6MB in the beginning and 978.7MB in the end (delta: -725.1MB). Peak memory consumption was 604.5MB. Max. memory is 16.1GB.
 * Boogie Preprocessor took 3277.97ms. Allocated memory was 1.8GB in the beginning and 4.4GB in the end (delta: 2.6GB). Free memory was 978.7MB in the beginning and 3.2GB in the end (delta: -2.2GB). Peak memory consumption was 571.5MB. Max. memory is 16.1GB.
 * RCFGBuilder took 77441.45ms. Allocated memory was 4.4GB in the beginning and 6.8GB in the end (delta: 2.4GB). Free memory was 3.2GB in the beginning and 4.0GB in the end (delta: -850.6MB). Peak memory consumption was 2.4GB. Max. memory is 16.1GB.
 * TraceAbstraction took 6254.22ms. Allocated memory is still 6.8GB. Free memory was 4.0GB in the beginning and 3.8GB in the end (delta: 206.8MB). Peak memory consumption was 206.8MB. Max. memory is 16.1GB.
 * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction:
  - ExceptionOrErrorResult: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
    de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
RESULT: Ultimate could not prove your program: Toolchain returned no result.
[2023-11-13 09:15:14,730 INFO  L540       MonitoredProcess]: [MP /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Forceful destruction successful, exit code 0
Received shutdown request...
--- End real Ultimate output ---

Execution finished normally
Using bit-precise analysis
Retrying with bit-precise analysis

### Bit-precise run ###
Calling Ultimate with: /usr/lib/jvm/java-11-openjdk-amd64/bin/java -Dosgi.configuration.area=/mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data -tc /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/AutomizerReach.xml -i /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c -s /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux --witnessprinter.witness.filename witness.graphml --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! data-race) )

 --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash a74f9813de212d7da16136c12db6acce28884f5e7bd89ff30b7a9cfcab254857
--- Real Ultimate output ---
This is Ultimate 0.2.2-dev-2329fc7
[2023-11-13 09:15:16,465 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2023-11-13 09:15:16,466 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2023-11-13 09:15:16,496 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2023-11-13 09:15:16,496 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2023-11-13 09:15:16,498 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2023-11-13 09:15:16,499 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2023-11-13 09:15:16,501 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2023-11-13 09:15:16,502 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2023-11-13 09:15:16,503 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2023-11-13 09:15:16,504 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2023-11-13 09:15:16,505 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2023-11-13 09:15:16,505 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2023-11-13 09:15:16,506 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2023-11-13 09:15:16,507 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2023-11-13 09:15:16,508 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2023-11-13 09:15:16,509 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2023-11-13 09:15:16,510 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2023-11-13 09:15:16,511 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2023-11-13 09:15:16,513 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2023-11-13 09:15:16,514 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2023-11-13 09:15:16,515 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2023-11-13 09:15:16,516 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2023-11-13 09:15:16,516 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2023-11-13 09:15:16,519 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2023-11-13 09:15:16,519 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2023-11-13 09:15:16,519 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2023-11-13 09:15:16,520 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2023-11-13 09:15:16,520 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2023-11-13 09:15:16,521 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2023-11-13 09:15:16,521 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2023-11-13 09:15:16,522 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2023-11-13 09:15:16,522 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2023-11-13 09:15:16,523 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2023-11-13 09:15:16,523 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2023-11-13 09:15:16,524 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2023-11-13 09:15:16,524 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2023-11-13 09:15:16,524 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2023-11-13 09:15:16,524 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2023-11-13 09:15:16,525 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2023-11-13 09:15:16,526 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2023-11-13 09:15:16,527 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Bitvector.epf
[2023-11-13 09:15:16,544 INFO  L113        SettingsManager]: Loading preferences was successful
[2023-11-13 09:15:16,544 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2023-11-13 09:15:16,544 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2023-11-13 09:15:16,544 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2023-11-13 09:15:16,545 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2023-11-13 09:15:16,545 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2023-11-13 09:15:16,546 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2023-11-13 09:15:16,546 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2023-11-13 09:15:16,546 INFO  L138        SettingsManager]:  * Use SBE=true
[2023-11-13 09:15:16,546 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2023-11-13 09:15:16,546 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2023-11-13 09:15:16,546 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2023-11-13 09:15:16,546 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2023-11-13 09:15:16,546 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2023-11-13 09:15:16,547 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2023-11-13 09:15:16,547 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2023-11-13 09:15:16,547 INFO  L138        SettingsManager]:  * Use bitvectors instead of ints=true
[2023-11-13 09:15:16,547 INFO  L138        SettingsManager]:  * Memory model=HoenickeLindenmann_4ByteResolution
[2023-11-13 09:15:16,547 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2023-11-13 09:15:16,547 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2023-11-13 09:15:16,547 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2023-11-13 09:15:16,547 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2023-11-13 09:15:16,547 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2023-11-13 09:15:16,548 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2023-11-13 09:15:16,548 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-11-13 09:15:16,548 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2023-11-13 09:15:16,548 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2023-11-13 09:15:16,548 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2023-11-13 09:15:16,548 INFO  L138        SettingsManager]:  * Trace refinement strategy=WOLF
[2023-11-13 09:15:16,548 INFO  L138        SettingsManager]:  * Command for external solver=cvc4 --incremental --print-success --lang smt 
[2023-11-13 09:15:16,548 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2023-11-13 09:15:16,549 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2023-11-13 09:15:16,549 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2023-11-13 09:15:16,549 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2023-11-13 09:15:16,549 INFO  L138        SettingsManager]:  * Logic for external solver=AUFBV
[2023-11-13 09:15:16,549 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2023-11-13 09:15:16,549 INFO  L138        SettingsManager]:  * Looper check in Petri net analysis=SEMANTIC
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1 (file:/mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/plugins/com.sun.xml.bind_2.2.0.v201505121915.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int)
WARNING: Please consider reporting this to the maintainers of com.sun.xml.bind.v2.runtime.reflect.opt.Injector$1
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
Applying setting for plugin de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: Entry function -> main
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness directory -> /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness.graphml
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Write witness besides input file -> false
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data specification -> CHECK( init(main()), LTL(G ! data-race) )


Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> a74f9813de212d7da16136c12db6acce28884f5e7bd89ff30b7a9cfcab254857
[2023-11-13 09:15:16,795 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2023-11-13 09:15:16,812 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2023-11-13 09:15:16,814 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2023-11-13 09:15:16,815 INFO  L271        PluginConnector]: Initializing CDTParser...
[2023-11-13 09:15:16,815 INFO  L275        PluginConnector]: CDTParser initialized
[2023-11-13 09:15:16,816 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-11-13 09:15:17,850 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2023-11-13 09:15:18,224 INFO  L351              CDTParser]: Found 1 translation units.
[2023-11-13 09:15:18,225 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-11-13 09:15:18,252 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/05ed838c4/2c6a1afff0db4a17bc15d4ae2040efd2/FLAG7213ba56d
[2023-11-13 09:15:18,423 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/05ed838c4/2c6a1afff0db4a17bc15d4ae2040efd2
[2023-11-13 09:15:18,425 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2023-11-13 09:15:18,426 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2023-11-13 09:15:18,426 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2023-11-13 09:15:18,426 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2023-11-13 09:15:18,431 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2023-11-13 09:15:18,432 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.11 09:15:18" (1/1) ...
[2023-11-13 09:15:18,433 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@5a0c8c71 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:18, skipping insertion in model container
[2023-11-13 09:15:18,433 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 13.11 09:15:18" (1/1) ...
[2023-11-13 09:15:18,440 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2023-11-13 09:15:18,542 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2023-11-13 09:15:18,701 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:18,714 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-11-13 09:15:18,753 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-11-13 09:15:18,756 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-11-13 09:15:18,762 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-11-13 09:15:18,772 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-11-13 09:15:18,777 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-11-13 09:15:18,780 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-11-13 09:15:18,789 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-11-13 09:15:18,794 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-11-13 09:15:18,807 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:18,808 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:18,809 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-11-13 09:15:18,853 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-11-13 09:15:18,854 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-11-13 09:15:18,855 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-11-13 09:15:18,855 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-11-13 09:15:18,856 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-11-13 09:15:18,857 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-11-13 09:15:18,858 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-11-13 09:15:18,859 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-11-13 09:15:18,859 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-11-13 09:15:18,860 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-11-13 09:15:18,936 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:15:18,937 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-11-13 09:15:18,950 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-11-13 09:15:18,951 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-11-13 09:15:18,954 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:18,959 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:15:18,966 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:15:18,971 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:15:18,977 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:15:18,979 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:15:18,982 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:15:18,992 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:15:19,015 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,016 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,033 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,034 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,035 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-11-13 09:15:19,036 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,117 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,119 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,120 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,121 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,122 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,123 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,177 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:15:19,177 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:15:19,179 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:15:19,179 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-11-13 09:15:19,179 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:15:19,180 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:15:19,181 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-11-13 09:15:19,181 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:19,183 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,185 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:19,187 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,188 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:19,190 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,194 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:15:19,199 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:19,200 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,202 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:15:19,210 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:15:19,243 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-11-13 09:15:19,244 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-11-13 09:15:19,248 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-11-13 09:15:19,248 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-11-13 09:15:19,249 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-11-13 09:15:19,251 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-11-13 09:15:19,261 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-11-13 09:15:19,264 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-11-13 09:15:19,302 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-11-13 09:15:19,303 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:19,304 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,305 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,305 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,306 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,307 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,307 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,308 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-11-13 09:15:19,309 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,313 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,316 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,319 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,320 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:19,320 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:19,322 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,324 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,324 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:19,325 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-11-13 09:15:19,326 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:19,327 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,328 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:19,329 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:19,330 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,331 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:19,331 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-11-13 09:15:19,333 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,333 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,334 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,335 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,346 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-11-13 09:15:19,347 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-11-13 09:15:19,348 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-11-13 09:15:19,349 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-11-13 09:15:19,394 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:15:19,397 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:15:19,409 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,411 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-11-13 09:15:19,413 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:15:19,414 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-11-13 09:15:19,414 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,415 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:19,415 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:15:19,416 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-11-13 09:15:19,416 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:19,418 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-11-13 09:15:19,418 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,418 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:19,419 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-11-13 09:15:19,419 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-11-13 09:15:19,420 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-11-13 09:15:19,421 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:19,422 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-11-13 09:15:19,422 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-11-13 09:15:19,428 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:15:19,436 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:15:19,488 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:15:19,503 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,504 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,505 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:19,506 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:15:19,508 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:15:19,565 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-11-13 09:15:19,590 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-11-13 09:15:19,591 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-11-13 09:15:19,593 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:19,594 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,595 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-11-13 09:15:19,595 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-11-13 09:15:19,597 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:19,597 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,598 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:19,598 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,600 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:19,600 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,601 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:19,601 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,606 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:19,607 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,610 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:19,610 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,611 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:19,611 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,618 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-11-13 09:15:19,619 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-11-13 09:15:19,621 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:15:19,624 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-11-13 09:15:19,624 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-11-13 09:15:19,627 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-11-13 09:15:19,628 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:15:19,629 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:15:19,630 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:15:19,630 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-11-13 09:15:19,631 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-11-13 09:15:19,631 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-11-13 09:15:19,631 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-11-13 09:15:19,632 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-11-13 09:15:19,644 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-11-13 09:15:19,646 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-11-13 09:15:19,648 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-11-13 09:15:19,649 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-11-13 09:15:19,661 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-11-13 09:15:19,662 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-11-13 09:15:19,662 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:19,662 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-11-13 09:15:19,663 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:19,663 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:19,664 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:19,670 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-11-13 09:15:19,671 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-11-13 09:15:19,671 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-11-13 09:15:19,673 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:15:19,673 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:15:19,677 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:15:19,677 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:15:19,698 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-11-13 09:15:19,699 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-11-13 09:15:19,699 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-11-13 09:15:19,699 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-11-13 09:15:19,701 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:19,701 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,705 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:19,706 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-11-13 09:15:19,707 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-11-13 09:15:19,707 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:19,709 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:15:19,711 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-11-13 09:15:19,713 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-11-13 09:15:19,766 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-11-13 09:15:19,767 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-11-13 09:15:19,771 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-11-13 09:15:19,776 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:19,776 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:15:19,777 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:15:19,777 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,778 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:15:19,778 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,778 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-11-13 09:15:19,779 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,779 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:19,780 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-11-13 09:15:19,781 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:19,788 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-11-13 09:15:19,788 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-11-13 09:15:19,789 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-11-13 09:15:19,789 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-11-13 09:15:19,790 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-11-13 09:15:19,792 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-11-13 09:15:19,792 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-11-13 09:15:19,793 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-11-13 09:15:19,794 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-11-13 09:15:19,799 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:19,800 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-11-13 09:15:19,842 INFO  L203         MainTranslator]: Completed pre-run
[2023-11-13 09:15:19,858 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:19,859 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-11-13 09:15:19,860 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-11-13 09:15:19,860 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-11-13 09:15:19,861 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-11-13 09:15:19,862 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-11-13 09:15:19,863 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-11-13 09:15:19,864 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-11-13 09:15:19,866 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-11-13 09:15:19,867 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-11-13 09:15:19,868 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:19,868 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:19,869 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-11-13 09:15:19,870 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-11-13 09:15:19,871 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-11-13 09:15:19,871 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-11-13 09:15:19,872 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-11-13 09:15:19,872 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-11-13 09:15:19,873 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-11-13 09:15:19,874 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-11-13 09:15:19,874 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-11-13 09:15:19,874 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-11-13 09:15:19,875 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-11-13 09:15:19,886 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:15:19,887 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-11-13 09:15:19,892 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-11-13 09:15:19,892 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-11-13 09:15:19,894 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:19,895 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:15:19,897 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:15:19,900 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:15:19,902 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:15:19,904 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:15:19,906 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-11-13 09:15:19,911 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:15:19,915 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,915 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,916 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,916 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,916 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-11-13 09:15:19,916 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:19,939 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,940 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,941 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,941 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,942 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,942 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-11-13 09:15:19,997 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:15:19,998 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:15:19,998 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:15:19,999 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-11-13 09:15:19,999 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-11-13 09:15:19,999 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:15:20,000 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-11-13 09:15:20,000 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:20,002 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,003 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:20,004 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,004 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:20,005 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,008 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:15:20,010 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-11-13 09:15:20,011 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,012 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:15:20,016 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-11-13 09:15:20,045 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-11-13 09:15:20,046 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-11-13 09:15:20,048 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-11-13 09:15:20,048 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-11-13 09:15:20,049 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-11-13 09:15:20,050 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-11-13 09:15:20,057 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-11-13 09:15:20,059 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-11-13 09:15:20,074 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-11-13 09:15:20,074 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:20,075 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,076 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,076 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,076 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,077 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,077 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,078 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-11-13 09:15:20,079 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,082 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,085 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,087 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,088 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:20,089 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:20,091 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,092 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,093 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:20,094 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-11-13 09:15:20,094 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:20,095 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,096 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:20,097 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:20,097 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,099 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-11-13 09:15:20,099 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-11-13 09:15:20,101 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,102 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,103 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,103 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,104 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-11-13 09:15:20,105 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-11-13 09:15:20,106 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-11-13 09:15:20,106 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-11-13 09:15:20,117 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:15:20,119 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:15:20,124 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-11-13 09:15:20,127 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-11-13 09:15:20,129 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:15:20,130 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-11-13 09:15:20,130 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,130 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:20,131 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-11-13 09:15:20,132 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-11-13 09:15:20,132 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:20,161 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-11-13 09:15:20,162 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,162 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:20,162 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-11-13 09:15:20,163 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-11-13 09:15:20,163 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-11-13 09:15:20,164 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:20,165 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-11-13 09:15:20,165 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-11-13 09:15:20,168 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:15:20,173 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:15:20,201 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:15:20,210 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,211 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,211 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:20,212 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:15:20,214 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-11-13 09:15:20,267 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-11-13 09:15:20,269 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-11-13 09:15:20,269 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-11-13 09:15:20,271 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:20,271 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:20,272 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-11-13 09:15:20,272 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-11-13 09:15:20,273 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:20,273 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:20,274 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:20,274 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:20,275 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:20,276 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:20,276 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:20,276 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:20,280 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:20,280 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:20,283 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:20,283 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:20,284 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:20,284 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:20,290 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-11-13 09:15:20,291 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-11-13 09:15:20,292 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-11-13 09:15:20,295 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-11-13 09:15:20,296 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-11-13 09:15:20,298 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-11-13 09:15:20,299 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:15:20,300 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:15:20,302 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-11-13 09:15:20,303 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-11-13 09:15:20,303 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-11-13 09:15:20,304 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-11-13 09:15:20,304 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-11-13 09:15:20,305 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-11-13 09:15:20,307 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-11-13 09:15:20,307 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-11-13 09:15:20,307 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-11-13 09:15:20,308 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-11-13 09:15:20,309 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-11-13 09:15:20,310 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-11-13 09:15:20,310 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:20,311 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-11-13 09:15:20,312 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:20,312 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:20,313 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:20,317 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-11-13 09:15:20,317 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-11-13 09:15:20,318 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-11-13 09:15:20,319 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:15:20,319 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:15:20,321 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:15:20,322 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-11-13 09:15:20,323 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-11-13 09:15:20,324 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-11-13 09:15:20,324 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-11-13 09:15:20,324 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-11-13 09:15:20,327 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-11-13 09:15:20,327 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-11-13 09:15:20,332 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:20,332 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-11-13 09:15:20,333 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-11-13 09:15:20,333 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-11-13 09:15:20,337 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-11-13 09:15:20,339 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-11-13 09:15:20,341 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-11-13 09:15:20,345 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-11-13 09:15:20,345 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-11-13 09:15:20,351 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-11-13 09:15:20,354 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-11-13 09:15:20,354 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-11-13 09:15:20,355 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:15:20,355 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,355 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-11-13 09:15:20,355 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,356 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-11-13 09:15:20,356 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,357 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-11-13 09:15:20,357 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-11-13 09:15:20,357 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:20,363 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-11-13 09:15:20,363 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-11-13 09:15:20,364 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-11-13 09:15:20,364 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-11-13 09:15:20,364 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-11-13 09:15:20,366 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-11-13 09:15:20,366 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-11-13 09:15:20,367 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-11-13 09:15:20,368 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-11-13 09:15:20,371 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-11-13 09:15:20,372 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-11-13 09:15:20,440 INFO  L208         MainTranslator]: Completed translation
[2023-11-13 09:15:20,440 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20 WrapperNode
[2023-11-13 09:15:20,440 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2023-11-13 09:15:20,441 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2023-11-13 09:15:20,442 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2023-11-13 09:15:20,442 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2023-11-13 09:15:20,447 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:20,637 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:22,515 INFO  L138                Inliner]: procedures = 276, calls = 7126, calls flagged for inlining = 382, calls inlined = 1780, statements flattened = 116129
[2023-11-13 09:15:22,516 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2023-11-13 09:15:22,517 INFO  L113        PluginConnector]: ------------------------Boogie Preprocessor----------------------------
[2023-11-13 09:15:22,517 INFO  L271        PluginConnector]: Initializing Boogie Preprocessor...
[2023-11-13 09:15:22,517 INFO  L275        PluginConnector]: Boogie Preprocessor initialized
[2023-11-13 09:15:22,526 INFO  L185        PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:22,526 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:23,180 INFO  L185        PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:23,180 INFO  L185        PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:24,662 INFO  L185        PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:24,903 INFO  L185        PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:25,105 INFO  L185        PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:25,244 INFO  L185        PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:25,695 INFO  L132        PluginConnector]: ------------------------ END Boogie Preprocessor----------------------------
[2023-11-13 09:15:25,696 INFO  L113        PluginConnector]: ------------------------RCFGBuilder----------------------------
[2023-11-13 09:15:25,696 INFO  L271        PluginConnector]: Initializing RCFGBuilder...
[2023-11-13 09:15:25,696 INFO  L275        PluginConnector]: RCFGBuilder initialized
[2023-11-13 09:15:25,697 INFO  L185        PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (1/1) ...
[2023-11-13 09:15:25,701 INFO  L173          SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-11-13 09:15:25,710 INFO  L189       MonitoredProcess]: No working directory specified, using /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3
[2023-11-13 09:15:25,725 INFO  L229       MonitoredProcess]: Starting monitored process 1 with /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null)
[2023-11-13 09:15:25,729 INFO  L327       MonitoredProcess]: [MP /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process
[2023-11-13 09:15:25,752 INFO  L130     BoogieDeclarations]: Found specification of procedure realpath
[2023-11-13 09:15:25,752 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE1
[2023-11-13 09:15:25,752 INFO  L130     BoogieDeclarations]: Found specification of procedure __getdelim
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure strncmp
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE8
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure __builtin_memset
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE4
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE2
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure gettimeofday
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure pthread_setaffinity_np
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure fileno
[2023-11-13 09:15:25,753 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_toupper_loc
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure close
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure vasprintf
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure fopen
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure fnmatch
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure strpbrk
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure memcmp
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure read~$Pointer$
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_tolower_loc
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure strerror
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure __xstat
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure strstr
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure closedir
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure opendir
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure lzma_auto_decoder
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE8
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE1
[2023-11-13 09:15:25,754 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE4
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~$Pointer$
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE2
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE1
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE4
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE8
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure madvise
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure binary_search
[2023-11-13 09:15:25,755 INFO  L138     BoogieDeclarations]: Found implementation of procedure binary_search
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure __fxstat
[2023-11-13 09:15:25,755 INFO  L130     BoogieDeclarations]: Found specification of procedure search_dir
[2023-11-13 09:15:25,755 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_dir
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure __lxstat
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure popen
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure fclose
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure fopencookie
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure feof
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure strdup
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure vfprintf
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure sysconf
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure fread
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure fputc
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure pclose
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_compile
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_config
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure readdir
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure strtol
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE4
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE2
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure strndup
[2023-11-13 09:15:25,756 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE1
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE8
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure getopt_long
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure #PthreadsMutexLock
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure munmap
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure fputs
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure perror
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure fflush
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_exec
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure isatty
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure write~$Pointer$
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE8
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE2
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE4
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure __errno_location
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_version
[2023-11-13 09:15:25,757 INFO  L130     BoogieDeclarations]: Found specification of procedure zError
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure read
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure inflateInit2_
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure search_file_worker
[2023-11-13 09:15:25,758 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_file_worker
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_b_loc
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure fdopen
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure fwrite
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE1
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_study
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure strncpy
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.start
[2023-11-13 09:15:25,758 INFO  L138     BoogieDeclarations]: Found implementation of procedure ULTIMATE.start
[2023-11-13 09:15:25,758 INFO  L130     BoogieDeclarations]: Found specification of procedure mmap
[2023-11-13 09:15:25,787 WARN  L209             CfgBuilder]: User set CodeBlockSize to SequenceOfStatements but program contains fork statements. Overwriting the user preferences and setting CodeBlockSize to SingleStatement
[2023-11-13 09:15:26,722 INFO  L235             CfgBuilder]: Building ICFG
[2023-11-13 09:15:26,723 INFO  L261             CfgBuilder]: Building CFG for each procedure with an implementation
[2023-11-13 09:21:03,463 INFO  L276             CfgBuilder]: Performing block encoding
[2023-11-13 09:21:03,803 INFO  L295             CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start)
[2023-11-13 09:21:03,804 INFO  L300             CfgBuilder]: Removed 350 assume(true) statements.
[2023-11-13 09:21:03,868 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 13.11 09:21:03 BoogieIcfgContainer
[2023-11-13 09:21:03,868 INFO  L132        PluginConnector]: ------------------------ END RCFGBuilder----------------------------
[2023-11-13 09:21:03,871 INFO  L113        PluginConnector]: ------------------------TraceAbstraction----------------------------
[2023-11-13 09:21:03,871 INFO  L271        PluginConnector]: Initializing TraceAbstraction...
[2023-11-13 09:21:03,873 INFO  L275        PluginConnector]: TraceAbstraction initialized
[2023-11-13 09:21:03,874 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 13.11 09:15:18" (1/3) ...
[2023-11-13 09:21:03,874 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@512e6285 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 13.11 09:21:03, skipping insertion in model container
[2023-11-13 09:21:03,874 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 13.11 09:15:20" (2/3) ...
[2023-11-13 09:21:03,874 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@512e6285 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 13.11 09:21:03, skipping insertion in model container
[2023-11-13 09:21:03,874 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 13.11 09:21:03" (3/3) ...
[2023-11-13 09:21:03,876 INFO  L112   eAbstractionObserver]: Analyzing ICFG main.c
[2023-11-13 09:21:03,883 WARN  L145   ceAbstractionStarter]: Switching off computation of Hoare annotation because input is a concurrent program
[2023-11-13 09:21:03,893 INFO  L203   ceAbstractionStarter]: Automizer settings: Hoare:false NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION
[2023-11-13 09:21:03,896 INFO  L162   ceAbstractionStarter]: Applying trace abstraction to program that has 9791 error locations.
[2023-11-13 09:21:03,896 INFO  L515   ceAbstractionStarter]: Constructing petrified ICFG for 1 thread instances.
[2023-11-13 09:21:11,977 INFO  L144    ThreadInstanceAdder]: Constructed 1 joinOtherThreadTransitions.
[2023-11-13 09:21:12,657 FATAL L?                        ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction has thrown an exception:
java.lang.UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNetWithSPredicates(Cfg2Automaton.java:128)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriInitialAbstractionProvider.getInitialAbstraction(PetriInitialAbstractionProvider.java:83)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriInitialAbstractionProvider.getInitialAbstraction(PetriInitialAbstractionProvider.java:1)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriLbeInitialAbstractionProvider.getInitialAbstraction(PetriLbeInitialAbstractionProvider.java:93)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriLbeInitialAbstractionProvider.getInitialAbstraction(PetriLbeInitialAbstractionProvider.java:1)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.constructInitialAbstraction(CegarLoopFactory.java:336)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.createPetriAbstraction(CegarLoopFactory.java:297)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.constructCegarLoop(CegarLoopFactory.java:187)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.executeCegarLoop(TraceAbstractionStarter.java:414)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.analyseProgram(TraceAbstractionStarter.java:302)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.analyseConcurrentProgram(TraceAbstractionStarter.java:225)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.runCegarLoops(TraceAbstractionStarter.java:173)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.<init>(TraceAbstractionStarter.java:154)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver.finish(TraceAbstractionObserver.java:124)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:168)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:151)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.run(PluginConnector.java:128)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.executePluginConnector(ToolchainWalker.java:232)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.processPlugin(ToolchainWalker.java:226)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walkUnprotected(ToolchainWalker.java:142)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walk(ToolchainWalker.java:104)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainManager$Toolchain.processToolchain(ToolchainManager.java:320)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145)
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)
[2023-11-13 09:21:12,662 INFO  L158              Benchmark]: Toolchain (without parser) took 354235.80ms. Allocated memory was 107.0MB in the beginning and 5.3GB in the end (delta: 5.2GB). Free memory was 72.9MB in the beginning and 3.1GB in the end (delta: -3.1GB). Peak memory consumption was 3.9GB. Max. memory is 16.1GB.
[2023-11-13 09:21:12,663 INFO  L158              Benchmark]: CDTParser took 0.13ms. Allocated memory is still 107.0MB. Free memory is still 84.3MB. There was no memory consumed. Max. memory is 16.1GB.
[2023-11-13 09:21:12,663 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 2014.31ms. Allocated memory was 107.0MB in the beginning and 381.7MB in the end (delta: 274.7MB). Free memory was 72.9MB in the beginning and 182.4MB in the end (delta: -109.6MB). Peak memory consumption was 168.8MB. Max. memory is 16.1GB.
[2023-11-13 09:21:12,664 INFO  L158              Benchmark]: Boogie Procedure Inliner took 2074.54ms. Allocated memory was 381.7MB in the beginning and 2.1GB in the end (delta: 1.7GB). Free memory was 182.4MB in the beginning and 1.4GB in the end (delta: -1.3GB). Peak memory consumption was 524.8MB. Max. memory is 16.1GB.
[2023-11-13 09:21:12,664 INFO  L158              Benchmark]: Boogie Preprocessor took 3178.67ms. Allocated memory was 2.1GB in the beginning and 5.3GB in the end (delta: 3.2GB). Free memory was 1.4GB in the beginning and 4.1GB in the end (delta: -2.7GB). Peak memory consumption was 681.8MB. Max. memory is 16.1GB.
[2023-11-13 09:21:12,665 INFO  L158              Benchmark]: RCFGBuilder took 338172.38ms. Allocated memory is still 5.3GB. Free memory was 4.1GB in the beginning and 3.6GB in the end (delta: 485.5MB). Peak memory consumption was 3.2GB. Max. memory is 16.1GB.
[2023-11-13 09:21:12,665 INFO  L158              Benchmark]: TraceAbstraction took 8790.14ms. Allocated memory is still 5.3GB. Free memory was 3.6GB in the beginning and 3.1GB in the end (delta: 519.1MB). Peak memory consumption was 2.3GB. Max. memory is 16.1GB.
[2023-11-13 09:21:12,668 INFO  L339   ainManager$Toolchain]: #######################  End [Toolchain 1] #######################
 --- Results ---
 * Results from de.uni_freiburg.informatik.ultimate.core:
  - StatisticsResult: Toolchain Benchmarks
    Benchmark results are:
 * CDTParser took 0.13ms. Allocated memory is still 107.0MB. Free memory is still 84.3MB. There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 2014.31ms. Allocated memory was 107.0MB in the beginning and 381.7MB in the end (delta: 274.7MB). Free memory was 72.9MB in the beginning and 182.4MB in the end (delta: -109.6MB). Peak memory consumption was 168.8MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 2074.54ms. Allocated memory was 381.7MB in the beginning and 2.1GB in the end (delta: 1.7GB). Free memory was 182.4MB in the beginning and 1.4GB in the end (delta: -1.3GB). Peak memory consumption was 524.8MB. Max. memory is 16.1GB.
 * Boogie Preprocessor took 3178.67ms. Allocated memory was 2.1GB in the beginning and 5.3GB in the end (delta: 3.2GB). Free memory was 1.4GB in the beginning and 4.1GB in the end (delta: -2.7GB). Peak memory consumption was 681.8MB. Max. memory is 16.1GB.
 * RCFGBuilder took 338172.38ms. Allocated memory is still 5.3GB. Free memory was 4.1GB in the beginning and 3.6GB in the end (delta: 485.5MB). Peak memory consumption was 3.2GB. Max. memory is 16.1GB.
 * TraceAbstraction took 8790.14ms. Allocated memory is still 5.3GB. Free memory was 3.6GB in the beginning and 3.1GB in the end (delta: 519.1MB). Peak memory consumption was 2.3GB. Max. memory is 16.1GB.
 * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction:
  - ExceptionOrErrorResult: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
    de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
RESULT: Ultimate could not prove your program: Toolchain returned no result.
[2023-11-13 09:21:12,756 INFO  L540       MonitoredProcess]: [MP /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Forceful destruction successful, exit code 0
Received shutdown request...
--- End real Ultimate output ---

Execution finished normally
Writing output log to file Ultimate.log
Result:
ERROR: ExceptionOrErrorResult: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition

