./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
[2024-02-27 21:04:30,055 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2024-02-27 21:04:30,057 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2024-02-27 21:04:30,078 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2024-02-27 21:04:30,078 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2024-02-27 21:04:30,079 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2024-02-27 21:04:30,080 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2024-02-27 21:04:30,081 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2024-02-27 21:04:30,082 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2024-02-27 21:04:30,083 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2024-02-27 21:04:30,084 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2024-02-27 21:04:30,084 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2024-02-27 21:04:30,085 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2024-02-27 21:04:30,085 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2024-02-27 21:04:30,086 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2024-02-27 21:04:30,087 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2024-02-27 21:04:30,088 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2024-02-27 21:04:30,088 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2024-02-27 21:04:30,089 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2024-02-27 21:04:30,091 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2024-02-27 21:04:30,091 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2024-02-27 21:04:30,092 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2024-02-27 21:04:30,093 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2024-02-27 21:04:30,094 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2024-02-27 21:04:30,096 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2024-02-27 21:04:30,096 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2024-02-27 21:04:30,096 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2024-02-27 21:04:30,097 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2024-02-27 21:04:30,097 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2024-02-27 21:04:30,098 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2024-02-27 21:04:30,098 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2024-02-27 21:04:30,099 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2024-02-27 21:04:30,099 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2024-02-27 21:04:30,099 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2024-02-27 21:04:30,100 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2024-02-27 21:04:30,100 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2024-02-27 21:04:30,101 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2024-02-27 21:04:30,101 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2024-02-27 21:04:30,101 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2024-02-27 21:04:30,101 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2024-02-27 21:04:30,102 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2024-02-27 21:04:30,103 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Default.epf
[2024-02-27 21:04:30,118 INFO  L113        SettingsManager]: Loading preferences was successful
[2024-02-27 21:04:30,118 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2024-02-27 21:04:30,118 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-02-27 21:04:30,118 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-02-27 21:04:30,119 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-02-27 21:04:30,119 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-02-27 21:04:30,119 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-02-27 21:04:30,119 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2024-02-27 21:04:30,119 INFO  L138        SettingsManager]:  * Use SBE=true
[2024-02-27 21:04:30,119 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * Overapproximate operations on floating types=true
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2024-02-27 21:04:30,120 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2024-02-27 21:04:30,121 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2024-02-27 21:04:30,121 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2024-02-27 21:04:30,121 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2024-02-27 21:04:30,121 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2024-02-27 21:04:30,121 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-02-27 21:04:30,121 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2024-02-27 21:04:30,121 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2024-02-27 21:04:30,121 INFO  L138        SettingsManager]:  * Trace refinement strategy=CAMEL
[2024-02-27 21:04:30,121 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2024-02-27 21:04:30,122 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2024-02-27 21:04:30,122 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2024-02-27 21:04:30,122 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2024-02-27 21:04:30,122 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2024-02-27 21:04:30,122 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2024-02-27 21:04:30,122 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
[2024-02-27 21:04:30,303 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2024-02-27 21:04:30,324 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-02-27 21:04:30,325 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-02-27 21:04:30,326 INFO  L271        PluginConnector]: Initializing CDTParser...
[2024-02-27 21:04:30,327 INFO  L275        PluginConnector]: CDTParser initialized
[2024-02-27 21:04:30,327 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2024-02-27 21:04:31,298 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2024-02-27 21:04:31,641 INFO  L351              CDTParser]: Found 1 translation units.
[2024-02-27 21:04:31,642 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2024-02-27 21:04:31,667 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/5180f283e/508bec223cfc47e3bdf675a6d0bbe6b0/FLAG55c55cb38
[2024-02-27 21:04:31,677 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/5180f283e/508bec223cfc47e3bdf675a6d0bbe6b0
[2024-02-27 21:04:31,678 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-02-27 21:04:31,679 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2024-02-27 21:04:31,680 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-02-27 21:04:31,680 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-02-27 21:04:31,683 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2024-02-27 21:04:31,683 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 27.02 09:04:31" (1/1) ...
[2024-02-27 21:04:31,684 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@3be6c593 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:31, skipping insertion in model container
[2024-02-27 21:04:31,684 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 27.02 09:04:31" (1/1) ...
[2024-02-27 21:04:31,689 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2024-02-27 21:04:31,777 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2024-02-27 21:04:31,929 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:31,940 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2024-02-27 21:04:32,004 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2024-02-27 21:04:32,007 WARN  L623        FunctionHandler]: Unknown extern function getc
[2024-02-27 21:04:32,011 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2024-02-27 21:04:32,020 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2024-02-27 21:04:32,024 WARN  L623        FunctionHandler]: Unknown extern function putc
[2024-02-27 21:04:32,027 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2024-02-27 21:04:32,051 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2024-02-27 21:04:32,056 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2024-02-27 21:04:32,072 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:32,073 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:32,074 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2024-02-27 21:04:32,132 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2024-02-27 21:04:32,133 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2024-02-27 21:04:32,134 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2024-02-27 21:04:32,135 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2024-02-27 21:04:32,135 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2024-02-27 21:04:32,137 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2024-02-27 21:04:32,137 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2024-02-27 21:04:32,138 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2024-02-27 21:04:32,139 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2024-02-27 21:04:32,140 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2024-02-27 21:04:32,206 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:32,207 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:32,220 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:32,222 WARN  L623        FunctionHandler]: Unknown extern function getline
[2024-02-27 21:04:32,224 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:32,229 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:04:32,236 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:32,242 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:32,247 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:04:32,251 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:04:32,254 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:04:32,265 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:32,289 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,290 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,290 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,291 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,292 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2024-02-27 21:04:32,292 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,358 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:32,359 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:32,360 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:32,361 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:32,362 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:32,363 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:32,412 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:04:32,413 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:04:32,414 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:04:32,414 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2024-02-27 21:04:32,415 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:04:32,415 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:04:32,416 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-02-27 21:04:32,417 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:32,419 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,421 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:32,422 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,424 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:32,426 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,430 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:04:32,433 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:32,434 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,437 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:04:32,443 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:04:32,453 WARN  L623        FunctionHandler]: Unknown extern function popen
[2024-02-27 21:04:32,454 WARN  L623        FunctionHandler]: Unknown extern function perror
[2024-02-27 21:04:32,457 WARN  L623        FunctionHandler]: Unknown extern function popen
[2024-02-27 21:04:32,457 WARN  L623        FunctionHandler]: Unknown extern function fread
[2024-02-27 21:04:32,458 WARN  L623        FunctionHandler]: Unknown extern function feof
[2024-02-27 21:04:32,460 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:04:32,469 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2024-02-27 21:04:32,472 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2024-02-27 21:04:32,511 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2024-02-27 21:04:32,511 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:32,522 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,523 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,523 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,524 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,525 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,525 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,527 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2024-02-27 21:04:32,527 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,533 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,536 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,539 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,540 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:32,540 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:32,542 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,543 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,544 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:32,544 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2024-02-27 21:04:32,545 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:32,546 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,547 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:32,548 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:32,548 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,549 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:32,550 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2024-02-27 21:04:32,553 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,554 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,555 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,556 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,566 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-02-27 21:04:32,567 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-02-27 21:04:32,568 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:04:32,569 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:04:32,611 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:04:32,614 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:04:32,619 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:32,621 WARN  L623        FunctionHandler]: Unknown extern function getline
[2024-02-27 21:04:32,623 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:32,624 WARN  L623        FunctionHandler]: Unknown extern function open
[2024-02-27 21:04:32,624 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,624 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:32,625 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:04:32,626 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:32,626 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:32,628 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2024-02-27 21:04:32,628 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,628 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:32,629 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2024-02-27 21:04:32,630 WARN  L623        FunctionHandler]: Unknown extern function read
[2024-02-27 21:04:32,630 WARN  L623        FunctionHandler]: Unknown extern function read
[2024-02-27 21:04:32,631 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:32,632 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2024-02-27 21:04:32,633 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:32,638 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:32,646 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:04:32,688 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:04:32,701 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,702 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,702 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:32,703 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:04:32,706 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:04:32,757 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:32,781 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:32,782 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2024-02-27 21:04:32,783 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:32,784 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,785 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2024-02-27 21:04:32,785 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2024-02-27 21:04:32,786 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:32,786 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,787 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:32,787 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,789 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:32,789 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,790 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:32,790 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,794 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:32,794 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,797 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:32,797 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,798 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:32,799 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,805 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2024-02-27 21:04:32,805 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2024-02-27 21:04:32,807 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:32,810 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2024-02-27 21:04:32,810 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2024-02-27 21:04:32,812 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:32,813 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:32,814 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:04:32,815 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:32,816 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2024-02-27 21:04:32,816 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2024-02-27 21:04:32,817 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2024-02-27 21:04:32,817 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2024-02-27 21:04:32,817 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2024-02-27 21:04:32,829 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2024-02-27 21:04:32,831 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2024-02-27 21:04:32,832 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2024-02-27 21:04:32,834 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2024-02-27 21:04:32,843 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2024-02-27 21:04:32,843 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2024-02-27 21:04:32,844 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:32,845 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2024-02-27 21:04:32,845 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:32,845 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:32,846 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:32,852 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2024-02-27 21:04:32,852 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2024-02-27 21:04:32,853 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2024-02-27 21:04:32,854 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:04:32,854 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:04:32,856 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:04:32,857 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:04:32,873 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2024-02-27 21:04:32,874 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2024-02-27 21:04:32,874 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2024-02-27 21:04:32,875 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:32,877 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:32,877 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,880 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:32,881 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2024-02-27 21:04:32,882 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2024-02-27 21:04:32,882 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:32,884 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:04:32,885 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2024-02-27 21:04:32,886 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:04:32,901 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2024-02-27 21:04:32,901 WARN  L623        FunctionHandler]: Unknown extern function zError
[2024-02-27 21:04:32,904 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2024-02-27 21:04:32,908 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:32,908 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:04:32,909 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:32,909 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,909 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:32,909 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,910 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:32,910 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,911 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:32,911 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2024-02-27 21:04:32,912 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:32,917 WARN  L623        FunctionHandler]: Unknown extern function fread
[2024-02-27 21:04:32,918 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2024-02-27 21:04:32,918 WARN  L623        FunctionHandler]: Unknown extern function warn
[2024-02-27 21:04:32,918 WARN  L623        FunctionHandler]: Unknown extern function feof
[2024-02-27 21:04:32,918 WARN  L623        FunctionHandler]: Unknown extern function warn
[2024-02-27 21:04:32,920 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2024-02-27 21:04:32,920 WARN  L623        FunctionHandler]: Unknown extern function zError
[2024-02-27 21:04:32,920 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2024-02-27 21:04:32,921 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2024-02-27 21:04:32,925 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:32,926 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-02-27 21:04:32,960 INFO  L203         MainTranslator]: Completed pre-run
[2024-02-27 21:04:32,973 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:32,974 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2024-02-27 21:04:32,975 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2024-02-27 21:04:32,975 WARN  L623        FunctionHandler]: Unknown extern function getc
[2024-02-27 21:04:32,976 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2024-02-27 21:04:32,977 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2024-02-27 21:04:32,978 WARN  L623        FunctionHandler]: Unknown extern function putc
[2024-02-27 21:04:32,978 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2024-02-27 21:04:32,980 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2024-02-27 21:04:32,980 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2024-02-27 21:04:32,981 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:32,982 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:32,982 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2024-02-27 21:04:32,984 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2024-02-27 21:04:32,984 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2024-02-27 21:04:32,985 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2024-02-27 21:04:32,985 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2024-02-27 21:04:32,986 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2024-02-27 21:04:32,986 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2024-02-27 21:04:32,987 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2024-02-27 21:04:32,987 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2024-02-27 21:04:32,987 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2024-02-27 21:04:32,988 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2024-02-27 21:04:32,996 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:32,996 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:33,001 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:04:33,001 WARN  L623        FunctionHandler]: Unknown extern function getline
[2024-02-27 21:04:33,002 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:33,003 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:04:33,005 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:33,007 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:33,009 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:04:33,010 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:04:33,012 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:04:33,016 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:33,019 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,020 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,020 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,020 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,021 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2024-02-27 21:04:33,021 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,066 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:33,067 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:33,068 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:33,068 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:33,069 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:33,069 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:04:33,124 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:04:33,124 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:04:33,125 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:04:33,125 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2024-02-27 21:04:33,126 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:04:33,126 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:04:33,127 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-02-27 21:04:33,127 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:33,128 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,129 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:33,130 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,131 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:33,132 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,135 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:04:33,137 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:04:33,138 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,139 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:04:33,144 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:04:33,151 WARN  L623        FunctionHandler]: Unknown extern function popen
[2024-02-27 21:04:33,152 WARN  L623        FunctionHandler]: Unknown extern function perror
[2024-02-27 21:04:33,154 WARN  L623        FunctionHandler]: Unknown extern function popen
[2024-02-27 21:04:33,155 WARN  L623        FunctionHandler]: Unknown extern function fread
[2024-02-27 21:04:33,155 WARN  L623        FunctionHandler]: Unknown extern function feof
[2024-02-27 21:04:33,157 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:04:33,164 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2024-02-27 21:04:33,166 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2024-02-27 21:04:33,187 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2024-02-27 21:04:33,188 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:33,189 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,190 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,220 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,220 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,221 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,221 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,223 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2024-02-27 21:04:33,223 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,227 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,230 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,235 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,236 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:33,236 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:33,239 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,241 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,241 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:33,242 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2024-02-27 21:04:33,243 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:33,245 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,246 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:33,247 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:33,248 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,249 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:04:33,250 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2024-02-27 21:04:33,252 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,253 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,254 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,254 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,256 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-02-27 21:04:33,256 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-02-27 21:04:33,257 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:04:33,258 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:04:33,271 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:04:33,274 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:04:33,280 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:04:33,283 WARN  L623        FunctionHandler]: Unknown extern function getline
[2024-02-27 21:04:33,285 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:33,286 WARN  L623        FunctionHandler]: Unknown extern function open
[2024-02-27 21:04:33,287 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,287 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:33,287 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:04:33,288 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:33,289 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:33,290 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2024-02-27 21:04:33,291 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,291 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:33,291 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2024-02-27 21:04:33,292 WARN  L623        FunctionHandler]: Unknown extern function read
[2024-02-27 21:04:33,292 WARN  L623        FunctionHandler]: Unknown extern function read
[2024-02-27 21:04:33,293 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:33,294 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2024-02-27 21:04:33,294 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:04:33,297 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:33,304 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:04:33,342 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:04:33,354 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,355 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,355 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:33,356 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:04:33,359 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:04:33,383 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:04:33,385 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:04:33,386 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2024-02-27 21:04:33,387 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:33,387 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:33,388 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2024-02-27 21:04:33,388 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2024-02-27 21:04:33,389 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:33,390 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:33,390 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:33,391 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:33,392 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:33,392 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:33,393 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:33,393 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:33,397 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:33,397 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:33,399 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:33,399 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:33,401 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:33,401 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:33,406 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2024-02-27 21:04:33,407 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2024-02-27 21:04:33,408 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:04:33,411 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2024-02-27 21:04:33,412 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2024-02-27 21:04:33,414 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:04:33,415 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:33,416 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:04:33,418 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:04:33,419 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2024-02-27 21:04:33,419 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2024-02-27 21:04:33,419 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2024-02-27 21:04:33,420 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2024-02-27 21:04:33,420 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2024-02-27 21:04:33,422 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2024-02-27 21:04:33,423 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2024-02-27 21:04:33,423 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2024-02-27 21:04:33,423 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2024-02-27 21:04:33,425 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2024-02-27 21:04:33,426 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2024-02-27 21:04:33,426 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:33,458 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2024-02-27 21:04:33,459 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:33,459 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:33,460 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:33,463 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2024-02-27 21:04:33,463 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2024-02-27 21:04:33,464 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2024-02-27 21:04:33,465 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:04:33,465 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:04:33,468 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:04:33,468 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:04:33,470 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2024-02-27 21:04:33,470 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2024-02-27 21:04:33,470 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2024-02-27 21:04:33,470 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:04:33,472 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:04:33,472 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:04:33,476 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:33,476 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2024-02-27 21:04:33,477 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2024-02-27 21:04:33,477 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:04:33,479 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:04:33,480 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2024-02-27 21:04:33,481 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:04:33,484 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2024-02-27 21:04:33,484 WARN  L623        FunctionHandler]: Unknown extern function zError
[2024-02-27 21:04:33,488 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2024-02-27 21:04:33,490 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:04:33,490 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:04:33,491 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:33,491 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,491 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:04:33,491 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,492 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:04:33,492 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,492 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:04:33,493 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2024-02-27 21:04:33,493 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:33,497 WARN  L623        FunctionHandler]: Unknown extern function fread
[2024-02-27 21:04:33,497 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2024-02-27 21:04:33,497 WARN  L623        FunctionHandler]: Unknown extern function warn
[2024-02-27 21:04:33,498 WARN  L623        FunctionHandler]: Unknown extern function feof
[2024-02-27 21:04:33,498 WARN  L623        FunctionHandler]: Unknown extern function warn
[2024-02-27 21:04:33,499 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2024-02-27 21:04:33,499 WARN  L623        FunctionHandler]: Unknown extern function zError
[2024-02-27 21:04:33,499 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2024-02-27 21:04:33,500 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2024-02-27 21:04:33,503 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:04:33,503 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-02-27 21:04:33,561 INFO  L208         MainTranslator]: Completed translation
[2024-02-27 21:04:33,562 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33 WrapperNode
[2024-02-27 21:04:33,562 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-02-27 21:04:33,563 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2024-02-27 21:04:33,563 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2024-02-27 21:04:33,563 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2024-02-27 21:04:33,568 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:33,716 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:36,035 INFO  L138                Inliner]: procedures = 260, calls = 7126, calls flagged for inlining = 382, calls inlined = 1780, statements flattened = 117023
[2024-02-27 21:04:36,036 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2024-02-27 21:04:36,036 INFO  L113        PluginConnector]: ------------------------Boogie Preprocessor----------------------------
[2024-02-27 21:04:36,036 INFO  L271        PluginConnector]: Initializing Boogie Preprocessor...
[2024-02-27 21:04:36,036 INFO  L275        PluginConnector]: Boogie Preprocessor initialized
[2024-02-27 21:04:36,044 INFO  L185        PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:36,044 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:36,684 INFO  L185        PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:36,685 INFO  L185        PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:38,212 INFO  L185        PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:38,580 INFO  L185        PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:38,793 INFO  L185        PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:38,920 INFO  L185        PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:39,410 INFO  L132        PluginConnector]: ------------------------ END Boogie Preprocessor----------------------------
[2024-02-27 21:04:39,411 INFO  L113        PluginConnector]: ------------------------RCFGBuilder----------------------------
[2024-02-27 21:04:39,411 INFO  L271        PluginConnector]: Initializing RCFGBuilder...
[2024-02-27 21:04:39,411 INFO  L275        PluginConnector]: RCFGBuilder initialized
[2024-02-27 21:04:39,412 INFO  L185        PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (1/1) ...
[2024-02-27 21:04:39,416 INFO  L173          SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2024-02-27 21:04:39,425 INFO  L189       MonitoredProcess]: No working directory specified, using /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3
[2024-02-27 21:04:39,448 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)
[2024-02-27 21:04:39,453 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
[2024-02-27 21:04:39,475 INFO  L130     BoogieDeclarations]: Found specification of procedure realpath
[2024-02-27 21:04:39,475 INFO  L130     BoogieDeclarations]: Found specification of procedure __getdelim
[2024-02-27 21:04:39,475 INFO  L130     BoogieDeclarations]: Found specification of procedure strncmp
[2024-02-27 21:04:39,475 INFO  L130     BoogieDeclarations]: Found specification of procedure __builtin_memset
[2024-02-27 21:04:39,475 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$
[2024-02-27 21:04:39,475 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$
[2024-02-27 21:04:39,475 INFO  L130     BoogieDeclarations]: Found specification of procedure gettimeofday
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure pthread_setaffinity_np
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure fileno
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_toupper_loc
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure close
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure vasprintf
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure fopen
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure fnmatch
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure strpbrk
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure memcmp
[2024-02-27 21:04:39,476 INFO  L130     BoogieDeclarations]: Found specification of procedure read~$Pointer$
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_tolower_loc
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure strerror
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure __xstat
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure strstr
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure closedir
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure opendir
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure lzma_auto_decoder
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~$Pointer$
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure madvise
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure binary_search
[2024-02-27 21:04:39,477 INFO  L138     BoogieDeclarations]: Found implementation of procedure binary_search
[2024-02-27 21:04:39,477 INFO  L130     BoogieDeclarations]: Found specification of procedure __fxstat
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure search_dir
[2024-02-27 21:04:39,478 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_dir
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure __lxstat
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure popen
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure fclose
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~int
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure fopencookie
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure feof
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure strdup
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~int
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure vfprintf
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure read~int
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure sysconf
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure fread
[2024-02-27 21:04:39,478 INFO  L130     BoogieDeclarations]: Found specification of procedure fputc
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure pclose
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_compile
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_config
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure write~int
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure readdir
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure strtol
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure strndup
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure getopt_long
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure #PthreadsMutexLock
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure munmap
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure fputs
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure perror
[2024-02-27 21:04:39,479 INFO  L130     BoogieDeclarations]: Found specification of procedure fflush
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_exec
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure isatty
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure write~$Pointer$
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure __errno_location
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_version
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure zError
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure read
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure inflateInit2_
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure search_file_worker
[2024-02-27 21:04:39,480 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_file_worker
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_b_loc
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure fdopen
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure fwrite
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~int
[2024-02-27 21:04:39,480 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_study
[2024-02-27 21:04:39,481 INFO  L130     BoogieDeclarations]: Found specification of procedure strncpy
[2024-02-27 21:04:39,481 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.start
[2024-02-27 21:04:39,481 INFO  L138     BoogieDeclarations]: Found implementation of procedure ULTIMATE.start
[2024-02-27 21:04:39,481 INFO  L130     BoogieDeclarations]: Found specification of procedure mmap
[2024-02-27 21:04:39,507 WARN  L209             CfgBuilder]: User set CodeBlockSize to SequenceOfStatements but program contains fork statements. Overwriting the user preferences and setting CodeBlockSize to SingleStatement
[2024-02-27 21:04:40,450 INFO  L235             CfgBuilder]: Building ICFG
[2024-02-27 21:04:40,452 INFO  L261             CfgBuilder]: Building CFG for each procedure with an implementation
[2024-02-27 21:06:01,405 INFO  L276             CfgBuilder]: Performing block encoding
[2024-02-27 21:06:01,584 INFO  L295             CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start)
[2024-02-27 21:06:01,584 INFO  L300             CfgBuilder]: Removed 350 assume(true) statements.
[2024-02-27 21:06:01,643 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.02 09:06:01 BoogieIcfgContainer
[2024-02-27 21:06:01,643 INFO  L132        PluginConnector]: ------------------------ END RCFGBuilder----------------------------
[2024-02-27 21:06:01,645 INFO  L113        PluginConnector]: ------------------------TraceAbstraction----------------------------
[2024-02-27 21:06:01,645 INFO  L271        PluginConnector]: Initializing TraceAbstraction...
[2024-02-27 21:06:01,647 INFO  L275        PluginConnector]: TraceAbstraction initialized
[2024-02-27 21:06:01,647 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 27.02 09:04:31" (1/3) ...
[2024-02-27 21:06:01,648 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@4558de57 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 27.02 09:06:01, skipping insertion in model container
[2024-02-27 21:06:01,648 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:04:33" (2/3) ...
[2024-02-27 21:06:01,648 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@4558de57 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 27.02 09:06:01, skipping insertion in model container
[2024-02-27 21:06:01,648 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.02 09:06:01" (3/3) ...
[2024-02-27 21:06:01,649 INFO  L112   eAbstractionObserver]: Analyzing ICFG main.c
[2024-02-27 21:06:01,654 WARN  L145   ceAbstractionStarter]: Switching off computation of Hoare annotation because input is a concurrent program
[2024-02-27 21:06:01,661 INFO  L203   ceAbstractionStarter]: Automizer settings: Hoare:false NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION
[2024-02-27 21:06:01,663 INFO  L162   ceAbstractionStarter]: Applying trace abstraction to program that has 9791 error locations.
[2024-02-27 21:06:01,663 INFO  L515   ceAbstractionStarter]: Constructing petrified ICFG for 1 thread instances.
[2024-02-27 21:06:07,643 INFO  L144    ThreadInstanceAdder]: Constructed 1 joinOtherThreadTransitions.
[2024-02-27 21:06:08,325 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)
[2024-02-27 21:06:08,329 INFO  L158              Benchmark]: Toolchain (without parser) took 96649.22ms. Allocated memory was 159.4MB in the beginning and 8.7GB in the end (delta: 8.6GB). Free memory was 110.6MB in the beginning and 6.3GB in the end (delta: -6.2GB). Peak memory consumption was 3.1GB. Max. memory is 16.1GB.
[2024-02-27 21:06:08,330 INFO  L158              Benchmark]: CDTParser took 0.10ms. Allocated memory is still 159.4MB. Free memory is still 132.7MB. There was no memory consumed. Max. memory is 16.1GB.
[2024-02-27 21:06:08,330 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 1881.71ms. Allocated memory was 159.4MB in the beginning and 327.2MB in the end (delta: 167.8MB). Free memory was 110.6MB in the beginning and 154.7MB in the end (delta: -44.0MB). Peak memory consumption was 177.8MB. Max. memory is 16.1GB.
[2024-02-27 21:06:08,331 INFO  L158              Benchmark]: Boogie Procedure Inliner took 2473.42ms. Allocated memory was 327.2MB in the beginning and 1.7GB in the end (delta: 1.3GB). Free memory was 154.7MB in the beginning and 949.3MB in the end (delta: -794.6MB). Peak memory consumption was 731.1MB. Max. memory is 16.1GB.
[2024-02-27 21:06:08,331 INFO  L158              Benchmark]: Boogie Preprocessor took 3373.93ms. Allocated memory was 1.7GB in the beginning and 5.0GB in the end (delta: 3.3GB). Free memory was 949.3MB in the beginning and 3.8GB in the end (delta: -2.8GB). Peak memory consumption was 636.5MB. Max. memory is 16.1GB.
[2024-02-27 21:06:08,332 INFO  L158              Benchmark]: RCFGBuilder took 82232.08ms. Allocated memory was 5.0GB in the beginning and 8.7GB in the end (delta: 3.8GB). Free memory was 3.8GB in the beginning and 6.3GB in the end (delta: -2.5GB). Peak memory consumption was 1.5GB. Max. memory is 16.1GB.
[2024-02-27 21:06:08,333 INFO  L158              Benchmark]: TraceAbstraction took 6683.38ms. Allocated memory is still 8.7GB. Free memory was 6.3GB in the beginning and 6.3GB in the end (delta: -72.4MB). Peak memory consumption was 709.9MB. Max. memory is 16.1GB.
[2024-02-27 21:06:08,335 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.10ms. Allocated memory is still 159.4MB. Free memory is still 132.7MB. There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 1881.71ms. Allocated memory was 159.4MB in the beginning and 327.2MB in the end (delta: 167.8MB). Free memory was 110.6MB in the beginning and 154.7MB in the end (delta: -44.0MB). Peak memory consumption was 177.8MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 2473.42ms. Allocated memory was 327.2MB in the beginning and 1.7GB in the end (delta: 1.3GB). Free memory was 154.7MB in the beginning and 949.3MB in the end (delta: -794.6MB). Peak memory consumption was 731.1MB. Max. memory is 16.1GB.
 * Boogie Preprocessor took 3373.93ms. Allocated memory was 1.7GB in the beginning and 5.0GB in the end (delta: 3.3GB). Free memory was 949.3MB in the beginning and 3.8GB in the end (delta: -2.8GB). Peak memory consumption was 636.5MB. Max. memory is 16.1GB.
 * RCFGBuilder took 82232.08ms. Allocated memory was 5.0GB in the beginning and 8.7GB in the end (delta: 3.8GB). Free memory was 3.8GB in the beginning and 6.3GB in the end (delta: -2.5GB). Peak memory consumption was 1.5GB. Max. memory is 16.1GB.
 * TraceAbstraction took 6683.38ms. Allocated memory is still 8.7GB. Free memory was 6.3GB in the beginning and 6.3GB in the end (delta: -72.4MB). Peak memory consumption was 709.9MB. 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.
[2024-02-27 21:06:08,473 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
[2024-02-27 21:06:10,065 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2024-02-27 21:06:10,066 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2024-02-27 21:06:10,089 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2024-02-27 21:06:10,089 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2024-02-27 21:06:10,090 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2024-02-27 21:06:10,091 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2024-02-27 21:06:10,092 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2024-02-27 21:06:10,093 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2024-02-27 21:06:10,094 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2024-02-27 21:06:10,094 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2024-02-27 21:06:10,095 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2024-02-27 21:06:10,095 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2024-02-27 21:06:10,096 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2024-02-27 21:06:10,097 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2024-02-27 21:06:10,098 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2024-02-27 21:06:10,098 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2024-02-27 21:06:10,099 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2024-02-27 21:06:10,100 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2024-02-27 21:06:10,101 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2024-02-27 21:06:10,102 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2024-02-27 21:06:10,108 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2024-02-27 21:06:10,109 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2024-02-27 21:06:10,109 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2024-02-27 21:06:10,112 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2024-02-27 21:06:10,112 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2024-02-27 21:06:10,112 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2024-02-27 21:06:10,113 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2024-02-27 21:06:10,113 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2024-02-27 21:06:10,114 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2024-02-27 21:06:10,114 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2024-02-27 21:06:10,114 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2024-02-27 21:06:10,115 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2024-02-27 21:06:10,115 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2024-02-27 21:06:10,116 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2024-02-27 21:06:10,116 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2024-02-27 21:06:10,117 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2024-02-27 21:06:10,117 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2024-02-27 21:06:10,117 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2024-02-27 21:06:10,118 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2024-02-27 21:06:10,118 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2024-02-27 21:06:10,119 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Bitvector.epf
[2024-02-27 21:06:10,136 INFO  L113        SettingsManager]: Loading preferences was successful
[2024-02-27 21:06:10,136 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2024-02-27 21:06:10,136 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-02-27 21:06:10,136 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-02-27 21:06:10,137 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-02-27 21:06:10,137 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-02-27 21:06:10,137 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-02-27 21:06:10,138 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2024-02-27 21:06:10,138 INFO  L138        SettingsManager]:  * Use SBE=true
[2024-02-27 21:06:10,138 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-02-27 21:06:10,138 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2024-02-27 21:06:10,138 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2024-02-27 21:06:10,138 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2024-02-27 21:06:10,138 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-02-27 21:06:10,138 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2024-02-27 21:06:10,138 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2024-02-27 21:06:10,139 INFO  L138        SettingsManager]:  * Use bitvectors instead of ints=true
[2024-02-27 21:06:10,139 INFO  L138        SettingsManager]:  * Memory model=HoenickeLindenmann_4ByteResolution
[2024-02-27 21:06:10,139 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2024-02-27 21:06:10,139 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2024-02-27 21:06:10,139 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2024-02-27 21:06:10,139 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2024-02-27 21:06:10,139 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2024-02-27 21:06:10,139 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2024-02-27 21:06:10,140 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2024-02-27 21:06:10,140 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-02-27 21:06:10,140 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2024-02-27 21:06:10,140 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2024-02-27 21:06:10,140 INFO  L138        SettingsManager]:  * Trace refinement strategy=WOLF
[2024-02-27 21:06:10,140 INFO  L138        SettingsManager]:  * Command for external solver=cvc4 --incremental --print-success --lang smt 
[2024-02-27 21:06:10,140 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2024-02-27 21:06:10,140 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2024-02-27 21:06:10,140 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2024-02-27 21:06:10,141 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2024-02-27 21:06:10,141 INFO  L138        SettingsManager]:  * Logic for external solver=AUFBV
[2024-02-27 21:06:10,141 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2024-02-27 21:06:10,141 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
[2024-02-27 21:06:10,364 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2024-02-27 21:06:10,388 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-02-27 21:06:10,390 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-02-27 21:06:10,391 INFO  L271        PluginConnector]: Initializing CDTParser...
[2024-02-27 21:06:10,391 INFO  L275        PluginConnector]: CDTParser initialized
[2024-02-27 21:06:10,392 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2024-02-27 21:06:11,413 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2024-02-27 21:06:11,720 INFO  L351              CDTParser]: Found 1 translation units.
[2024-02-27 21:06:11,720 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2024-02-27 21:06:11,741 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/fc2d8b312/80f16ba8c94141148355cd046af75faf/FLAGffddb886e
[2024-02-27 21:06:11,752 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/fc2d8b312/80f16ba8c94141148355cd046af75faf
[2024-02-27 21:06:11,754 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-02-27 21:06:11,755 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2024-02-27 21:06:11,756 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-02-27 21:06:11,756 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-02-27 21:06:11,759 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2024-02-27 21:06:11,759 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 27.02 09:06:11" (1/1) ...
[2024-02-27 21:06:11,760 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@2111f05a and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:11, skipping insertion in model container
[2024-02-27 21:06:11,760 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 27.02 09:06:11" (1/1) ...
[2024-02-27 21:06:11,765 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2024-02-27 21:06:11,841 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2024-02-27 21:06:11,999 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:12,011 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2024-02-27 21:06:12,069 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2024-02-27 21:06:12,072 WARN  L623        FunctionHandler]: Unknown extern function getc
[2024-02-27 21:06:12,078 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2024-02-27 21:06:12,087 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2024-02-27 21:06:12,092 WARN  L623        FunctionHandler]: Unknown extern function putc
[2024-02-27 21:06:12,096 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2024-02-27 21:06:12,103 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2024-02-27 21:06:12,107 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2024-02-27 21:06:12,124 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:12,125 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:12,126 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2024-02-27 21:06:12,186 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2024-02-27 21:06:12,187 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2024-02-27 21:06:12,188 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2024-02-27 21:06:12,188 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2024-02-27 21:06:12,189 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2024-02-27 21:06:12,190 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2024-02-27 21:06:12,191 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2024-02-27 21:06:12,192 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2024-02-27 21:06:12,192 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2024-02-27 21:06:12,193 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2024-02-27 21:06:12,288 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:06:12,289 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:06:12,300 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:06:12,301 WARN  L623        FunctionHandler]: Unknown extern function getline
[2024-02-27 21:06:12,303 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:12,308 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:06:12,313 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:06:12,319 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:06:12,323 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:06:12,326 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:06:12,329 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:06:12,345 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:06:12,368 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,369 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,370 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,370 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,371 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2024-02-27 21:06:12,371 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,433 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:12,434 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:12,435 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:12,437 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:12,437 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:12,438 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:12,493 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:06:12,493 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:06:12,494 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:06:12,495 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2024-02-27 21:06:12,495 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:06:12,496 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:06:12,496 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-02-27 21:06:12,497 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:12,499 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:12,501 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:12,503 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:12,504 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:12,505 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:12,509 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:06:12,514 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:12,515 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:12,518 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:06:12,529 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:06:12,541 WARN  L623        FunctionHandler]: Unknown extern function popen
[2024-02-27 21:06:12,542 WARN  L623        FunctionHandler]: Unknown extern function perror
[2024-02-27 21:06:12,545 WARN  L623        FunctionHandler]: Unknown extern function popen
[2024-02-27 21:06:12,545 WARN  L623        FunctionHandler]: Unknown extern function fread
[2024-02-27 21:06:12,546 WARN  L623        FunctionHandler]: Unknown extern function feof
[2024-02-27 21:06:12,548 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:06:12,560 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2024-02-27 21:06:12,563 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2024-02-27 21:06:12,603 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2024-02-27 21:06:12,603 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:12,605 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,606 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,607 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,607 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,608 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,609 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,610 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2024-02-27 21:06:12,611 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,616 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,619 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,622 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,624 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:12,624 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:12,626 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,627 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,628 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:12,629 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2024-02-27 21:06:12,630 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:12,632 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,633 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:12,633 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:12,634 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,635 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:12,636 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2024-02-27 21:06:12,638 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,638 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,640 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,641 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,653 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-02-27 21:06:12,654 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-02-27 21:06:12,655 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:06:12,656 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:06:12,711 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:06:12,714 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:06:12,721 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:12,724 WARN  L623        FunctionHandler]: Unknown extern function getline
[2024-02-27 21:06:12,726 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:06:12,728 WARN  L623        FunctionHandler]: Unknown extern function open
[2024-02-27 21:06:12,728 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:12,728 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:12,729 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:06:12,730 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:06:12,730 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:12,732 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2024-02-27 21:06:12,733 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:12,733 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:12,733 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2024-02-27 21:06:12,734 WARN  L623        FunctionHandler]: Unknown extern function read
[2024-02-27 21:06:12,734 WARN  L623        FunctionHandler]: Unknown extern function read
[2024-02-27 21:06:12,735 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:12,737 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2024-02-27 21:06:12,737 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:06:12,742 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:06:12,750 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:06:12,800 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:06:12,822 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:12,824 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:12,824 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:12,826 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:06:12,829 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:06:12,877 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:06:12,902 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:06:12,903 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2024-02-27 21:06:12,905 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:12,906 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:12,906 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2024-02-27 21:06:12,907 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2024-02-27 21:06:12,908 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:12,909 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:12,909 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:12,910 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:12,911 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:12,911 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:12,912 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:12,912 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:12,917 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:12,917 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:12,920 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:12,920 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:12,922 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:12,922 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:12,929 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2024-02-27 21:06:12,930 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2024-02-27 21:06:12,931 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:06:12,934 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2024-02-27 21:06:12,935 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2024-02-27 21:06:12,937 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:06:12,938 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:06:12,939 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:06:12,941 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:06:12,942 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2024-02-27 21:06:12,942 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2024-02-27 21:06:12,943 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2024-02-27 21:06:12,943 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2024-02-27 21:06:12,944 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2024-02-27 21:06:12,956 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2024-02-27 21:06:12,958 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2024-02-27 21:06:12,959 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2024-02-27 21:06:12,961 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2024-02-27 21:06:12,972 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2024-02-27 21:06:12,973 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2024-02-27 21:06:12,974 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:12,974 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2024-02-27 21:06:12,975 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:12,975 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:12,976 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:12,982 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2024-02-27 21:06:12,983 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2024-02-27 21:06:12,984 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2024-02-27 21:06:12,985 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:06:12,985 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:06:13,012 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:06:13,013 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:06:13,033 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2024-02-27 21:06:13,034 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2024-02-27 21:06:13,034 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2024-02-27 21:06:13,035 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:06:13,038 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,038 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,045 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:13,045 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2024-02-27 21:06:13,046 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2024-02-27 21:06:13,047 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:13,049 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:06:13,052 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2024-02-27 21:06:13,054 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:06:13,079 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2024-02-27 21:06:13,080 WARN  L623        FunctionHandler]: Unknown extern function zError
[2024-02-27 21:06:13,085 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2024-02-27 21:06:13,091 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:13,091 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:06:13,092 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:06:13,092 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,093 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:06:13,093 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,093 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:06:13,094 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,095 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,095 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2024-02-27 21:06:13,096 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:13,103 WARN  L623        FunctionHandler]: Unknown extern function fread
[2024-02-27 21:06:13,103 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2024-02-27 21:06:13,103 WARN  L623        FunctionHandler]: Unknown extern function warn
[2024-02-27 21:06:13,104 WARN  L623        FunctionHandler]: Unknown extern function feof
[2024-02-27 21:06:13,104 WARN  L623        FunctionHandler]: Unknown extern function warn
[2024-02-27 21:06:13,106 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2024-02-27 21:06:13,106 WARN  L623        FunctionHandler]: Unknown extern function zError
[2024-02-27 21:06:13,107 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2024-02-27 21:06:13,108 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2024-02-27 21:06:13,119 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:13,120 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-02-27 21:06:13,156 INFO  L203         MainTranslator]: Completed pre-run
[2024-02-27 21:06:13,170 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,171 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2024-02-27 21:06:13,172 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2024-02-27 21:06:13,173 WARN  L623        FunctionHandler]: Unknown extern function getc
[2024-02-27 21:06:13,174 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2024-02-27 21:06:13,175 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2024-02-27 21:06:13,176 WARN  L623        FunctionHandler]: Unknown extern function putc
[2024-02-27 21:06:13,177 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2024-02-27 21:06:13,179 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2024-02-27 21:06:13,180 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2024-02-27 21:06:13,181 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:13,181 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:13,181 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2024-02-27 21:06:13,183 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2024-02-27 21:06:13,184 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2024-02-27 21:06:13,184 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2024-02-27 21:06:13,184 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2024-02-27 21:06:13,185 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2024-02-27 21:06:13,186 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2024-02-27 21:06:13,186 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2024-02-27 21:06:13,187 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2024-02-27 21:06:13,187 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2024-02-27 21:06:13,187 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2024-02-27 21:06:13,206 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:06:13,207 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:06:13,211 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2024-02-27 21:06:13,212 WARN  L623        FunctionHandler]: Unknown extern function getline
[2024-02-27 21:06:13,213 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:13,214 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:06:13,216 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:06:13,218 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:06:13,221 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:06:13,223 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:06:13,225 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2024-02-27 21:06:13,230 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:06:13,234 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,234 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,235 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,235 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,235 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2024-02-27 21:06:13,235 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,262 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:13,264 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:13,265 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:13,266 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:13,266 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:13,267 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2024-02-27 21:06:13,361 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:06:13,361 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:06:13,362 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:06:13,363 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2024-02-27 21:06:13,363 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2024-02-27 21:06:13,364 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:06:13,364 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2024-02-27 21:06:13,365 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:13,367 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,368 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:13,370 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,371 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:13,372 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,376 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:06:13,379 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2024-02-27 21:06:13,380 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,382 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:06:13,388 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2024-02-27 21:06:13,397 WARN  L623        FunctionHandler]: Unknown extern function popen
[2024-02-27 21:06:13,398 WARN  L623        FunctionHandler]: Unknown extern function perror
[2024-02-27 21:06:13,400 WARN  L623        FunctionHandler]: Unknown extern function popen
[2024-02-27 21:06:13,401 WARN  L623        FunctionHandler]: Unknown extern function fread
[2024-02-27 21:06:13,401 WARN  L623        FunctionHandler]: Unknown extern function feof
[2024-02-27 21:06:13,403 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:06:13,420 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2024-02-27 21:06:13,422 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2024-02-27 21:06:13,438 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2024-02-27 21:06:13,439 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:13,440 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,441 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,441 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,442 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,442 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,443 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,444 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2024-02-27 21:06:13,444 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,447 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,451 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,454 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,455 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:13,455 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:13,457 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,458 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,459 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:13,460 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2024-02-27 21:06:13,460 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:13,462 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,463 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:13,463 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:13,464 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,465 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2024-02-27 21:06:13,466 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2024-02-27 21:06:13,469 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,469 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,470 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,470 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,472 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2024-02-27 21:06:13,472 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2024-02-27 21:06:13,474 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:06:13,474 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2024-02-27 21:06:13,483 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:06:13,485 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:06:13,489 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2024-02-27 21:06:13,493 WARN  L623        FunctionHandler]: Unknown extern function getline
[2024-02-27 21:06:13,495 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:06:13,496 WARN  L623        FunctionHandler]: Unknown extern function open
[2024-02-27 21:06:13,496 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,496 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:13,496 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2024-02-27 21:06:13,497 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:06:13,498 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:13,499 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2024-02-27 21:06:13,499 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,499 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:13,499 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2024-02-27 21:06:13,500 WARN  L623        FunctionHandler]: Unknown extern function read
[2024-02-27 21:06:13,500 WARN  L623        FunctionHandler]: Unknown extern function read
[2024-02-27 21:06:13,501 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:13,502 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2024-02-27 21:06:13,502 WARN  L623        FunctionHandler]: Unknown extern function close
[2024-02-27 21:06:13,505 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:06:13,510 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:06:13,555 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:06:13,566 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,567 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,567 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:13,568 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:06:13,570 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2024-02-27 21:06:13,591 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2024-02-27 21:06:13,593 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2024-02-27 21:06:13,593 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2024-02-27 21:06:13,594 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,594 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,595 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2024-02-27 21:06:13,595 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2024-02-27 21:06:13,596 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,597 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,597 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,598 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,599 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,599 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,599 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,600 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,603 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,603 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,605 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,606 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,606 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,607 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,642 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2024-02-27 21:06:13,643 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2024-02-27 21:06:13,644 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2024-02-27 21:06:13,646 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2024-02-27 21:06:13,647 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2024-02-27 21:06:13,649 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2024-02-27 21:06:13,650 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:06:13,651 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:06:13,652 WARN  L623        FunctionHandler]: Unknown extern function stat
[2024-02-27 21:06:13,653 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2024-02-27 21:06:13,654 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2024-02-27 21:06:13,654 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2024-02-27 21:06:13,655 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2024-02-27 21:06:13,655 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2024-02-27 21:06:13,657 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2024-02-27 21:06:13,657 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2024-02-27 21:06:13,657 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2024-02-27 21:06:13,658 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2024-02-27 21:06:13,659 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2024-02-27 21:06:13,660 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2024-02-27 21:06:13,660 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:13,661 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2024-02-27 21:06:13,661 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:13,662 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:13,662 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:13,666 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2024-02-27 21:06:13,667 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2024-02-27 21:06:13,668 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2024-02-27 21:06:13,668 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:06:13,669 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:06:13,671 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:06:13,672 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2024-02-27 21:06:13,674 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2024-02-27 21:06:13,674 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2024-02-27 21:06:13,674 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2024-02-27 21:06:13,674 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2024-02-27 21:06:13,677 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2024-02-27 21:06:13,677 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2024-02-27 21:06:13,682 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:13,683 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2024-02-27 21:06:13,684 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2024-02-27 21:06:13,684 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2024-02-27 21:06:13,688 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2024-02-27 21:06:13,690 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2024-02-27 21:06:13,692 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2024-02-27 21:06:13,698 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2024-02-27 21:06:13,699 WARN  L623        FunctionHandler]: Unknown extern function zError
[2024-02-27 21:06:13,706 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2024-02-27 21:06:13,709 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2024-02-27 21:06:13,709 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2024-02-27 21:06:13,710 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:06:13,710 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,710 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2024-02-27 21:06:13,710 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,711 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2024-02-27 21:06:13,711 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,712 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2024-02-27 21:06:13,712 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2024-02-27 21:06:13,712 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:13,716 WARN  L623        FunctionHandler]: Unknown extern function fread
[2024-02-27 21:06:13,717 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2024-02-27 21:06:13,717 WARN  L623        FunctionHandler]: Unknown extern function warn
[2024-02-27 21:06:13,717 WARN  L623        FunctionHandler]: Unknown extern function feof
[2024-02-27 21:06:13,718 WARN  L623        FunctionHandler]: Unknown extern function warn
[2024-02-27 21:06:13,719 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2024-02-27 21:06:13,719 WARN  L623        FunctionHandler]: Unknown extern function zError
[2024-02-27 21:06:13,719 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2024-02-27 21:06:13,720 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2024-02-27 21:06:13,724 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2024-02-27 21:06:13,724 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2024-02-27 21:06:13,824 INFO  L208         MainTranslator]: Completed translation
[2024-02-27 21:06:13,824 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13 WrapperNode
[2024-02-27 21:06:13,825 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-02-27 21:06:13,826 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2024-02-27 21:06:13,826 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2024-02-27 21:06:13,826 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2024-02-27 21:06:13,832 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:14,028 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:16,079 INFO  L138                Inliner]: procedures = 276, calls = 7126, calls flagged for inlining = 382, calls inlined = 1780, statements flattened = 116129
[2024-02-27 21:06:16,080 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2024-02-27 21:06:16,080 INFO  L113        PluginConnector]: ------------------------Boogie Preprocessor----------------------------
[2024-02-27 21:06:16,081 INFO  L271        PluginConnector]: Initializing Boogie Preprocessor...
[2024-02-27 21:06:16,081 INFO  L275        PluginConnector]: Boogie Preprocessor initialized
[2024-02-27 21:06:16,108 INFO  L185        PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:16,108 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:16,901 INFO  L185        PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:16,901 INFO  L185        PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:18,401 INFO  L185        PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:18,617 INFO  L185        PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:18,795 INFO  L185        PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:19,040 INFO  L185        PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:19,466 INFO  L132        PluginConnector]: ------------------------ END Boogie Preprocessor----------------------------
[2024-02-27 21:06:19,467 INFO  L113        PluginConnector]: ------------------------RCFGBuilder----------------------------
[2024-02-27 21:06:19,467 INFO  L271        PluginConnector]: Initializing RCFGBuilder...
[2024-02-27 21:06:19,467 INFO  L275        PluginConnector]: RCFGBuilder initialized
[2024-02-27 21:06:19,467 INFO  L185        PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (1/1) ...
[2024-02-27 21:06:19,472 INFO  L173          SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2024-02-27 21:06:19,481 INFO  L189       MonitoredProcess]: No working directory specified, using /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3
[2024-02-27 21:06:19,498 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)
[2024-02-27 21:06:19,502 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
[2024-02-27 21:06:19,523 INFO  L130     BoogieDeclarations]: Found specification of procedure realpath
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE1
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure __getdelim
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure strncmp
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE8
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure __builtin_memset
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE4
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE2
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$
[2024-02-27 21:06:19,524 INFO  L130     BoogieDeclarations]: Found specification of procedure gettimeofday
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure pthread_setaffinity_np
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure fileno
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_toupper_loc
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure close
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure vasprintf
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure fopen
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure fnmatch
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure strpbrk
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack
[2024-02-27 21:06:19,525 INFO  L130     BoogieDeclarations]: Found specification of procedure memcmp
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure read~$Pointer$
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_tolower_loc
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure strerror
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure __xstat
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure strstr
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure closedir
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure opendir
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure lzma_auto_decoder
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE8
[2024-02-27 21:06:19,526 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE1
[2024-02-27 21:06:19,527 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE4
[2024-02-27 21:06:19,527 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc
[2024-02-27 21:06:19,527 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~$Pointer$
[2024-02-27 21:06:19,527 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE2
[2024-02-27 21:06:19,527 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE1
[2024-02-27 21:06:19,527 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE4
[2024-02-27 21:06:19,527 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE8
[2024-02-27 21:06:19,527 INFO  L130     BoogieDeclarations]: Found specification of procedure madvise
[2024-02-27 21:06:19,527 INFO  L130     BoogieDeclarations]: Found specification of procedure binary_search
[2024-02-27 21:06:19,527 INFO  L138     BoogieDeclarations]: Found implementation of procedure binary_search
[2024-02-27 21:06:19,528 INFO  L130     BoogieDeclarations]: Found specification of procedure __fxstat
[2024-02-27 21:06:19,528 INFO  L130     BoogieDeclarations]: Found specification of procedure search_dir
[2024-02-27 21:06:19,528 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_dir
[2024-02-27 21:06:19,528 INFO  L130     BoogieDeclarations]: Found specification of procedure __lxstat
[2024-02-27 21:06:19,528 INFO  L130     BoogieDeclarations]: Found specification of procedure popen
[2024-02-27 21:06:19,528 INFO  L130     BoogieDeclarations]: Found specification of procedure fclose
[2024-02-27 21:06:19,528 INFO  L130     BoogieDeclarations]: Found specification of procedure fopencookie
[2024-02-27 21:06:19,528 INFO  L130     BoogieDeclarations]: Found specification of procedure feof
[2024-02-27 21:06:19,528 INFO  L130     BoogieDeclarations]: Found specification of procedure strdup
[2024-02-27 21:06:19,528 INFO  L130     BoogieDeclarations]: Found specification of procedure vfprintf
[2024-02-27 21:06:19,529 INFO  L130     BoogieDeclarations]: Found specification of procedure sysconf
[2024-02-27 21:06:19,529 INFO  L130     BoogieDeclarations]: Found specification of procedure fread
[2024-02-27 21:06:19,529 INFO  L130     BoogieDeclarations]: Found specification of procedure fputc
[2024-02-27 21:06:19,529 INFO  L130     BoogieDeclarations]: Found specification of procedure pclose
[2024-02-27 21:06:19,529 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_compile
[2024-02-27 21:06:19,529 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_config
[2024-02-27 21:06:19,529 INFO  L130     BoogieDeclarations]: Found specification of procedure readdir
[2024-02-27 21:06:19,529 INFO  L130     BoogieDeclarations]: Found specification of procedure strtol
[2024-02-27 21:06:19,529 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE4
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE2
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure strndup
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE1
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE8
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure getopt_long
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure #PthreadsMutexLock
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure munmap
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure fputs
[2024-02-27 21:06:19,530 INFO  L130     BoogieDeclarations]: Found specification of procedure perror
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure fflush
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_exec
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure isatty
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure write~$Pointer$
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE8
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE2
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE4
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure __errno_location
[2024-02-27 21:06:19,531 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_version
[2024-02-27 21:06:19,532 INFO  L130     BoogieDeclarations]: Found specification of procedure zError
[2024-02-27 21:06:19,532 INFO  L130     BoogieDeclarations]: Found specification of procedure read
[2024-02-27 21:06:19,532 INFO  L130     BoogieDeclarations]: Found specification of procedure inflateInit2_
[2024-02-27 21:06:19,532 INFO  L130     BoogieDeclarations]: Found specification of procedure search_file_worker
[2024-02-27 21:06:19,532 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_file_worker
[2024-02-27 21:06:19,532 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_b_loc
[2024-02-27 21:06:19,532 INFO  L130     BoogieDeclarations]: Found specification of procedure fdopen
[2024-02-27 21:06:19,532 INFO  L130     BoogieDeclarations]: Found specification of procedure fwrite
[2024-02-27 21:06:19,532 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE1
[2024-02-27 21:06:19,532 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_study
[2024-02-27 21:06:19,533 INFO  L130     BoogieDeclarations]: Found specification of procedure strncpy
[2024-02-27 21:06:19,533 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.start
[2024-02-27 21:06:19,533 INFO  L138     BoogieDeclarations]: Found implementation of procedure ULTIMATE.start
[2024-02-27 21:06:19,533 INFO  L130     BoogieDeclarations]: Found specification of procedure mmap
[2024-02-27 21:06:19,561 WARN  L209             CfgBuilder]: User set CodeBlockSize to SequenceOfStatements but program contains fork statements. Overwriting the user preferences and setting CodeBlockSize to SingleStatement
[2024-02-27 21:06:20,458 INFO  L235             CfgBuilder]: Building ICFG
[2024-02-27 21:06:20,460 INFO  L261             CfgBuilder]: Building CFG for each procedure with an implementation
[2024-02-27 21:11:32,642 INFO  L276             CfgBuilder]: Performing block encoding
[2024-02-27 21:11:32,862 INFO  L295             CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start)
[2024-02-27 21:11:32,862 INFO  L300             CfgBuilder]: Removed 350 assume(true) statements.
[2024-02-27 21:11:32,922 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.02 09:11:32 BoogieIcfgContainer
[2024-02-27 21:11:32,923 INFO  L132        PluginConnector]: ------------------------ END RCFGBuilder----------------------------
[2024-02-27 21:11:32,924 INFO  L113        PluginConnector]: ------------------------TraceAbstraction----------------------------
[2024-02-27 21:11:32,924 INFO  L271        PluginConnector]: Initializing TraceAbstraction...
[2024-02-27 21:11:32,927 INFO  L275        PluginConnector]: TraceAbstraction initialized
[2024-02-27 21:11:32,927 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 27.02 09:06:11" (1/3) ...
[2024-02-27 21:11:32,927 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@64846134 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 27.02 09:11:32, skipping insertion in model container
[2024-02-27 21:11:32,927 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 27.02 09:06:13" (2/3) ...
[2024-02-27 21:11:32,927 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@64846134 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 27.02 09:11:32, skipping insertion in model container
[2024-02-27 21:11:32,927 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 27.02 09:11:32" (3/3) ...
[2024-02-27 21:11:32,928 INFO  L112   eAbstractionObserver]: Analyzing ICFG main.c
[2024-02-27 21:11:32,934 WARN  L145   ceAbstractionStarter]: Switching off computation of Hoare annotation because input is a concurrent program
[2024-02-27 21:11:32,941 INFO  L203   ceAbstractionStarter]: Automizer settings: Hoare:false NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION
[2024-02-27 21:11:32,943 INFO  L162   ceAbstractionStarter]: Applying trace abstraction to program that has 9791 error locations.
[2024-02-27 21:11:32,943 INFO  L515   ceAbstractionStarter]: Constructing petrified ICFG for 1 thread instances.
[2024-02-27 21:11:41,530 INFO  L144    ThreadInstanceAdder]: Constructed 1 joinOtherThreadTransitions.
[2024-02-27 21:11:42,080 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)
[2024-02-27 21:11:42,084 INFO  L158              Benchmark]: Toolchain (without parser) took 330328.33ms. Allocated memory was 67.1MB in the beginning and 8.0GB in the end (delta: 7.9GB). Free memory was 40.8MB in the beginning and 4.6GB in the end (delta: -4.6GB). Peak memory consumption was 3.4GB. Max. memory is 16.1GB.
[2024-02-27 21:11:42,084 INFO  L158              Benchmark]: CDTParser took 0.12ms. Allocated memory is still 67.1MB. Free memory is still 44.5MB. There was no memory consumed. Max. memory is 16.1GB.
[2024-02-27 21:11:42,085 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 2069.02ms. Allocated memory was 67.1MB in the beginning and 570.4MB in the end (delta: 503.3MB). Free memory was 40.6MB in the beginning and 427.3MB in the end (delta: -386.7MB). Peak memory consumption was 172.2MB. Max. memory is 16.1GB.
[2024-02-27 21:11:42,086 INFO  L158              Benchmark]: Boogie Procedure Inliner took 2254.35ms. Allocated memory was 570.4MB in the beginning and 1.7GB in the end (delta: 1.1GB). Free memory was 427.3MB in the beginning and 1.0GB in the end (delta: -600.6MB). Peak memory consumption was 592.7MB. Max. memory is 16.1GB.
[2024-02-27 21:11:42,086 INFO  L158              Benchmark]: Boogie Preprocessor took 3385.45ms. Allocated memory was 1.7GB in the beginning and 5.1GB in the end (delta: 3.4GB). Free memory was 1.0GB in the beginning and 4.1GB in the end (delta: -3.1GB). Peak memory consumption was 611.3MB. Max. memory is 16.1GB.
[2024-02-27 21:11:42,087 INFO  L158              Benchmark]: RCFGBuilder took 313456.07ms. Allocated memory was 5.1GB in the beginning and 8.0GB in the end (delta: 2.9GB). Free memory was 4.1GB in the beginning and 5.4GB in the end (delta: -1.3GB). Peak memory consumption was 1.6GB. Max. memory is 16.1GB.
[2024-02-27 21:11:42,087 INFO  L158              Benchmark]: TraceAbstraction took 9158.48ms. Allocated memory is still 8.0GB. Free memory was 5.4GB in the beginning and 4.6GB in the end (delta: 797.5MB). Peak memory consumption was 796.5MB. Max. memory is 16.1GB.
[2024-02-27 21:11:42,090 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.12ms. Allocated memory is still 67.1MB. Free memory is still 44.5MB. There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 2069.02ms. Allocated memory was 67.1MB in the beginning and 570.4MB in the end (delta: 503.3MB). Free memory was 40.6MB in the beginning and 427.3MB in the end (delta: -386.7MB). Peak memory consumption was 172.2MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 2254.35ms. Allocated memory was 570.4MB in the beginning and 1.7GB in the end (delta: 1.1GB). Free memory was 427.3MB in the beginning and 1.0GB in the end (delta: -600.6MB). Peak memory consumption was 592.7MB. Max. memory is 16.1GB.
 * Boogie Preprocessor took 3385.45ms. Allocated memory was 1.7GB in the beginning and 5.1GB in the end (delta: 3.4GB). Free memory was 1.0GB in the beginning and 4.1GB in the end (delta: -3.1GB). Peak memory consumption was 611.3MB. Max. memory is 16.1GB.
 * RCFGBuilder took 313456.07ms. Allocated memory was 5.1GB in the beginning and 8.0GB in the end (delta: 2.9GB). Free memory was 4.1GB in the beginning and 5.4GB in the end (delta: -1.3GB). Peak memory consumption was 1.6GB. Max. memory is 16.1GB.
 * TraceAbstraction took 9158.48ms. Allocated memory is still 8.0GB. Free memory was 5.4GB in the beginning and 4.6GB in the end (delta: 797.5MB). Peak memory consumption was 796.5MB. 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.
[2024-02-27 21:11:42,167 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

