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


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


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

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


Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> a74f9813de212d7da16136c12db6acce28884f5e7bd89ff30b7a9cfcab254857
[2023-10-09 17:56:58,552 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2023-10-09 17:56:58,574 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2023-10-09 17:56:58,576 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2023-10-09 17:56:58,580 INFO  L271        PluginConnector]: Initializing CDTParser...
[2023-10-09 17:56:58,580 INFO  L275        PluginConnector]: CDTParser initialized
[2023-10-09 17:56:58,581 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-10-09 17:57:00,238 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2023-10-09 17:57:00,912 INFO  L351              CDTParser]: Found 1 translation units.
[2023-10-09 17:57:00,913 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-10-09 17:57:00,947 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/4c5f4e7e1/ce0092e8259c4cc5be49ca9b4d1d39b1/FLAG8f2b63d01
[2023-10-09 17:57:00,969 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/4c5f4e7e1/ce0092e8259c4cc5be49ca9b4d1d39b1
[2023-10-09 17:57:00,971 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2023-10-09 17:57:00,974 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2023-10-09 17:57:00,984 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2023-10-09 17:57:00,985 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2023-10-09 17:57:00,987 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2023-10-09 17:57:00,987 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 09.10 05:57:00" (1/1) ...
[2023-10-09 17:57:00,988 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@44b7a0a7 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:00, skipping insertion in model container
[2023-10-09 17:57:00,988 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 09.10 05:57:00" (1/1) ...
[2023-10-09 17:57:00,997 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2023-10-09 17:57:01,171 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2023-10-09 17:57:01,508 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:01,543 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-09 17:57:01,658 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-09 17:57:01,662 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-10-09 17:57:01,681 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-09 17:57:01,717 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-09 17:57:01,723 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-10-09 17:57:01,727 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-09 17:57:01,731 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-09 17:57:01,738 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-10-09 17:57:01,773 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:01,775 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:01,791 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-10-09 17:57:01,886 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-10-09 17:57:01,887 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-10-09 17:57:01,888 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-10-09 17:57:01,889 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-10-09 17:57:01,906 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-10-09 17:57:01,908 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-10-09 17:57:01,909 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-10-09 17:57:01,910 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-10-09 17:57:01,911 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-10-09 17:57:01,912 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-10-09 17:57:02,064 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:57:02,078 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-09 17:57:02,110 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-10-09 17:57:02,113 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-09 17:57:02,115 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:02,121 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:57:02,133 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:57:02,154 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:57:02,161 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:57:02,166 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:57:02,168 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:57:02,197 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:57:02,241 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,242 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,243 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,244 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,244 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-09 17:57:02,244 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,400 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:02,400 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:02,401 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:02,402 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:02,403 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:02,403 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:02,507 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:57:02,524 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:57:02,525 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:57:02,525 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-10-09 17:57:02,526 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:57:02,526 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:57:02,527 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-10-09 17:57:02,528 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:02,531 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:02,532 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:02,534 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:02,535 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:02,536 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:02,540 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:57:02,666 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:02,667 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:02,669 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:57:02,682 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:57:02,693 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-09 17:57:02,695 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-10-09 17:57:02,698 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-09 17:57:02,699 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-09 17:57:02,700 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-09 17:57:02,704 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-09 17:57:02,738 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-09 17:57:02,742 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-09 17:57:02,818 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-09 17:57:02,818 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:02,821 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,836 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,840 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,841 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,842 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,842 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,844 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-09 17:57:02,845 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,850 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,852 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,855 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,872 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:02,873 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:02,876 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,878 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,879 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:02,880 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-10-09 17:57:02,880 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:02,889 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,890 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:02,891 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:02,895 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,897 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:02,898 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-10-09 17:57:02,899 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,900 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,904 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,905 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:02,929 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-10-09 17:57:02,930 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-10-09 17:57:02,931 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-09 17:57:02,931 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-09 17:57:03,039 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:57:03,043 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:57:03,060 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:03,063 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-09 17:57:03,081 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:57:03,083 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-10-09 17:57:03,083 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:03,083 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:03,084 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:57:03,085 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-09 17:57:03,085 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:03,086 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-10-09 17:57:03,087 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:03,087 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:03,087 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-10-09 17:57:03,088 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-09 17:57:03,088 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-09 17:57:03,089 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:03,090 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-10-09 17:57:03,090 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-10-09 17:57:03,099 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:57:03,126 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:57:03,213 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:57:03,228 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:03,229 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:03,243 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:03,244 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:57:03,248 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:57:03,326 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-10-09 17:57:03,374 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-10-09 17:57:03,375 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-10-09 17:57:03,377 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:03,377 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,377 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-10-09 17:57:03,378 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-09 17:57:03,380 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:03,380 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,381 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:03,394 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,395 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:03,396 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,397 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:03,397 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,404 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:03,405 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,407 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:03,407 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,409 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:03,409 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,445 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-10-09 17:57:03,445 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-10-09 17:57:03,448 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:57:03,454 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-09 17:57:03,455 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-09 17:57:03,456 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-09 17:57:03,457 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:57:03,458 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:57:03,459 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:57:03,460 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-10-09 17:57:03,460 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-10-09 17:57:03,460 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-10-09 17:57:03,461 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-09 17:57:03,461 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-09 17:57:03,485 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-10-09 17:57:03,487 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-10-09 17:57:03,488 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-10-09 17:57:03,490 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-10-09 17:57:03,520 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-09 17:57:03,520 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-09 17:57:03,521 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:03,521 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-09 17:57:03,522 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:03,522 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:03,522 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:03,528 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-09 17:57:03,529 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-09 17:57:03,529 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-09 17:57:03,544 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:57:03,545 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:57:03,547 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:57:03,547 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:57:03,580 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-10-09 17:57:03,580 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-09 17:57:03,581 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-10-09 17:57:03,581 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-10-09 17:57:03,583 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:03,583 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,598 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:03,598 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-10-09 17:57:03,599 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-10-09 17:57:03,615 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:03,619 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:57:03,621 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-09 17:57:03,622 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-09 17:57:03,645 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-09 17:57:03,645 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-09 17:57:03,647 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-09 17:57:03,652 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:03,654 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:57:03,654 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:57:03,667 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:03,668 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:57:03,668 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:03,668 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-09 17:57:03,669 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:03,669 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:03,669 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-10-09 17:57:03,670 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:03,674 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-09 17:57:03,675 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-09 17:57:03,675 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-09 17:57:03,675 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-09 17:57:03,675 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-09 17:57:03,677 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-09 17:57:03,677 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-09 17:57:03,677 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-09 17:57:03,678 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-09 17:57:03,682 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:03,694 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-10-09 17:57:03,868 INFO  L203         MainTranslator]: Completed pre-run
[2023-10-09 17:57:03,903 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:03,904 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-09 17:57:03,905 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-09 17:57:03,906 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-10-09 17:57:03,906 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-09 17:57:03,907 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-09 17:57:03,908 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-10-09 17:57:03,909 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-09 17:57:03,910 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-09 17:57:03,920 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-10-09 17:57:03,922 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:03,923 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:03,923 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-10-09 17:57:03,925 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-10-09 17:57:03,926 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-10-09 17:57:03,926 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-10-09 17:57:03,926 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-10-09 17:57:03,927 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-10-09 17:57:03,928 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-10-09 17:57:03,928 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-10-09 17:57:03,929 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-10-09 17:57:03,929 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-10-09 17:57:03,929 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-10-09 17:57:03,950 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:57:03,950 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-09 17:57:03,953 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-10-09 17:57:03,954 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-09 17:57:03,955 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:03,956 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:57:03,973 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:57:03,975 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:57:03,978 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:57:03,979 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:57:03,980 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:57:03,989 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:57:04,007 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,007 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,008 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,008 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,008 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-09 17:57:04,008 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,081 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:04,082 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:04,083 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:04,083 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:04,084 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:04,084 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:57:04,208 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:57:04,208 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:57:04,210 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:57:04,212 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-10-09 17:57:04,212 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:57:04,213 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:57:04,213 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-10-09 17:57:04,214 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:04,215 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,216 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:04,217 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,217 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:04,219 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,221 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:57:04,237 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:57:04,238 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,239 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:57:04,243 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:57:04,260 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-09 17:57:04,261 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-10-09 17:57:04,262 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-09 17:57:04,263 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-09 17:57:04,264 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-09 17:57:04,265 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-09 17:57:04,271 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-09 17:57:04,288 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-09 17:57:04,314 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-09 17:57:04,315 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:04,316 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,316 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,317 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,317 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,318 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,318 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,332 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-09 17:57:04,332 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,361 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,363 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,365 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,366 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:04,366 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:04,369 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,372 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,373 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:04,373 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-10-09 17:57:04,374 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:04,375 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,376 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:04,392 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:04,394 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,396 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:57:04,396 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-10-09 17:57:04,400 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,400 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,401 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,402 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,403 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-10-09 17:57:04,403 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-10-09 17:57:04,405 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-09 17:57:04,405 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-09 17:57:04,413 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:57:04,432 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:57:04,437 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:57:04,440 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-09 17:57:04,442 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:57:04,449 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-10-09 17:57:04,449 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,449 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:04,449 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:57:04,452 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-09 17:57:04,452 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:04,453 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-10-09 17:57:04,454 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,454 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:04,454 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-10-09 17:57:04,455 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-09 17:57:04,455 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-09 17:57:04,456 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:04,456 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-10-09 17:57:04,460 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-10-09 17:57:04,462 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:57:04,483 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:57:04,548 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:57:04,585 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,586 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,586 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:04,587 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:57:04,589 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:57:04,833 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-10-09 17:57:04,836 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-10-09 17:57:04,837 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-10-09 17:57:04,838 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:04,838 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:04,838 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-10-09 17:57:04,839 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-09 17:57:04,840 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:04,840 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:04,841 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:04,841 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:04,842 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:04,842 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:04,843 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:04,843 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:04,847 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:04,847 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:04,848 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:04,849 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:04,850 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:04,850 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:04,869 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-10-09 17:57:04,869 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-10-09 17:57:04,870 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:57:04,873 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-09 17:57:04,874 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-09 17:57:04,876 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-09 17:57:04,877 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:57:04,877 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:57:04,878 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:57:04,892 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-10-09 17:57:04,893 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-10-09 17:57:04,893 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-10-09 17:57:04,893 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-09 17:57:04,894 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-09 17:57:04,896 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-10-09 17:57:04,896 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-10-09 17:57:04,897 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-10-09 17:57:04,897 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-10-09 17:57:04,898 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-09 17:57:04,899 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-09 17:57:04,899 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:04,900 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-09 17:57:04,900 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:04,900 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:04,901 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:04,907 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-09 17:57:04,907 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-09 17:57:04,915 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-09 17:57:04,916 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:57:04,916 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:57:04,918 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:57:04,919 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:57:04,920 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-10-09 17:57:04,920 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-09 17:57:04,921 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-10-09 17:57:04,921 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-10-09 17:57:04,922 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:57:04,935 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:57:04,940 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:04,940 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-10-09 17:57:04,941 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-10-09 17:57:04,941 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:57:04,943 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:57:04,944 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-09 17:57:04,945 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-09 17:57:04,950 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-09 17:57:04,964 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-09 17:57:04,969 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-09 17:57:04,971 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:57:04,971 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:57:04,972 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:57:04,972 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,972 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:57:04,973 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,973 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-09 17:57:04,973 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,974 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:57:04,974 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-10-09 17:57:04,975 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:04,979 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-09 17:57:04,991 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-09 17:57:04,992 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-09 17:57:04,992 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-09 17:57:04,992 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-09 17:57:04,994 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-09 17:57:04,994 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-09 17:57:04,994 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-09 17:57:04,995 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-09 17:57:04,999 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:57:05,000 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-10-09 17:57:05,214 INFO  L208         MainTranslator]: Completed translation
[2023-10-09 17:57:05,225 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05 WrapperNode
[2023-10-09 17:57:05,225 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2023-10-09 17:57:05,227 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2023-10-09 17:57:05,227 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2023-10-09 17:57:05,227 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2023-10-09 17:57:05,232 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:05,552 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:13,425 INFO  L138                Inliner]: procedures = 260, calls = 7126, calls flagged for inlining = 382, calls inlined = 1780, statements flattened = 117023
[2023-10-09 17:57:13,431 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2023-10-09 17:57:13,432 INFO  L113        PluginConnector]: ------------------------Boogie Preprocessor----------------------------
[2023-10-09 17:57:13,432 INFO  L271        PluginConnector]: Initializing Boogie Preprocessor...
[2023-10-09 17:57:13,432 INFO  L275        PluginConnector]: Boogie Preprocessor initialized
[2023-10-09 17:57:13,443 INFO  L185        PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:13,443 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:14,677 INFO  L185        PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:14,691 INFO  L185        PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:18,693 INFO  L185        PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:19,178 INFO  L185        PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:19,956 INFO  L185        PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:20,282 INFO  L185        PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:25,260 INFO  L132        PluginConnector]: ------------------------ END Boogie Preprocessor----------------------------
[2023-10-09 17:57:25,263 INFO  L113        PluginConnector]: ------------------------RCFGBuilder----------------------------
[2023-10-09 17:57:25,274 INFO  L271        PluginConnector]: Initializing RCFGBuilder...
[2023-10-09 17:57:25,274 INFO  L275        PluginConnector]: RCFGBuilder initialized
[2023-10-09 17:57:25,279 INFO  L185        PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (1/1) ...
[2023-10-09 17:57:25,283 INFO  L173          SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-10-09 17:57:25,299 INFO  L189       MonitoredProcess]: No working directory specified, using /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3
[2023-10-09 17:57:25,317 INFO  L229       MonitoredProcess]: Starting monitored process 1 with /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null)
[2023-10-09 17:57:25,339 INFO  L327       MonitoredProcess]: [MP /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process
[2023-10-09 17:57:25,351 INFO  L130     BoogieDeclarations]: Found specification of procedure realpath
[2023-10-09 17:57:25,351 INFO  L130     BoogieDeclarations]: Found specification of procedure __getdelim
[2023-10-09 17:57:25,352 INFO  L130     BoogieDeclarations]: Found specification of procedure strncmp
[2023-10-09 17:57:25,352 INFO  L130     BoogieDeclarations]: Found specification of procedure __builtin_memset
[2023-10-09 17:57:25,352 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$
[2023-10-09 17:57:25,352 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$
[2023-10-09 17:57:25,352 INFO  L130     BoogieDeclarations]: Found specification of procedure gettimeofday
[2023-10-09 17:57:25,352 INFO  L130     BoogieDeclarations]: Found specification of procedure pthread_setaffinity_np
[2023-10-09 17:57:25,352 INFO  L130     BoogieDeclarations]: Found specification of procedure fileno
[2023-10-09 17:57:25,352 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_toupper_loc
[2023-10-09 17:57:25,354 INFO  L130     BoogieDeclarations]: Found specification of procedure close
[2023-10-09 17:57:25,355 INFO  L130     BoogieDeclarations]: Found specification of procedure vasprintf
[2023-10-09 17:57:25,355 INFO  L130     BoogieDeclarations]: Found specification of procedure fopen
[2023-10-09 17:57:25,355 INFO  L130     BoogieDeclarations]: Found specification of procedure fnmatch
[2023-10-09 17:57:25,362 INFO  L130     BoogieDeclarations]: Found specification of procedure strpbrk
[2023-10-09 17:57:25,362 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure memcmp
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure read~$Pointer$
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_tolower_loc
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure strerror
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure __xstat
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure strstr
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure closedir
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure opendir
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure lzma_auto_decoder
[2023-10-09 17:57:25,363 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc
[2023-10-09 17:57:25,364 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~$Pointer$
[2023-10-09 17:57:25,364 INFO  L130     BoogieDeclarations]: Found specification of procedure madvise
[2023-10-09 17:57:25,364 INFO  L130     BoogieDeclarations]: Found specification of procedure binary_search
[2023-10-09 17:57:25,364 INFO  L138     BoogieDeclarations]: Found implementation of procedure binary_search
[2023-10-09 17:57:25,364 INFO  L130     BoogieDeclarations]: Found specification of procedure __fxstat
[2023-10-09 17:57:25,364 INFO  L130     BoogieDeclarations]: Found specification of procedure search_dir
[2023-10-09 17:57:25,365 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_dir
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure __lxstat
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure popen
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure fclose
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~int
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure fopencookie
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure feof
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure strdup
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~int
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure vfprintf
[2023-10-09 17:57:25,365 INFO  L130     BoogieDeclarations]: Found specification of procedure read~int
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure sysconf
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure fread
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure fputc
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure pclose
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_compile
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_config
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure write~int
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure readdir
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure strtol
[2023-10-09 17:57:25,366 INFO  L130     BoogieDeclarations]: Found specification of procedure strndup
[2023-10-09 17:57:25,367 INFO  L130     BoogieDeclarations]: Found specification of procedure getopt_long
[2023-10-09 17:57:25,367 INFO  L130     BoogieDeclarations]: Found specification of procedure #PthreadsMutexLock
[2023-10-09 17:57:25,367 INFO  L130     BoogieDeclarations]: Found specification of procedure munmap
[2023-10-09 17:57:25,367 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap
[2023-10-09 17:57:25,367 INFO  L130     BoogieDeclarations]: Found specification of procedure fputs
[2023-10-09 17:57:25,367 INFO  L130     BoogieDeclarations]: Found specification of procedure perror
[2023-10-09 17:57:25,367 INFO  L130     BoogieDeclarations]: Found specification of procedure fflush
[2023-10-09 17:57:25,367 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit
[2023-10-09 17:57:25,367 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_exec
[2023-10-09 17:57:25,368 INFO  L130     BoogieDeclarations]: Found specification of procedure isatty
[2023-10-09 17:57:25,371 INFO  L130     BoogieDeclarations]: Found specification of procedure write~$Pointer$
[2023-10-09 17:57:25,371 INFO  L130     BoogieDeclarations]: Found specification of procedure __errno_location
[2023-10-09 17:57:25,372 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_version
[2023-10-09 17:57:25,372 INFO  L130     BoogieDeclarations]: Found specification of procedure zError
[2023-10-09 17:57:25,372 INFO  L130     BoogieDeclarations]: Found specification of procedure read
[2023-10-09 17:57:25,372 INFO  L130     BoogieDeclarations]: Found specification of procedure inflateInit2_
[2023-10-09 17:57:25,372 INFO  L130     BoogieDeclarations]: Found specification of procedure search_file_worker
[2023-10-09 17:57:25,372 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_file_worker
[2023-10-09 17:57:25,372 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_b_loc
[2023-10-09 17:57:25,372 INFO  L130     BoogieDeclarations]: Found specification of procedure fdopen
[2023-10-09 17:57:25,372 INFO  L130     BoogieDeclarations]: Found specification of procedure fwrite
[2023-10-09 17:57:25,372 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~int
[2023-10-09 17:57:25,373 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_study
[2023-10-09 17:57:25,373 INFO  L130     BoogieDeclarations]: Found specification of procedure strncpy
[2023-10-09 17:57:25,373 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.start
[2023-10-09 17:57:25,373 INFO  L138     BoogieDeclarations]: Found implementation of procedure ULTIMATE.start
[2023-10-09 17:57:25,373 INFO  L130     BoogieDeclarations]: Found specification of procedure mmap
[2023-10-09 17:57:25,402 WARN  L209             CfgBuilder]: User set CodeBlockSize to SequenceOfStatements but program contains fork statements. Overwriting the user preferences and setting CodeBlockSize to SingleStatement
[2023-10-09 17:57:26,912 INFO  L235             CfgBuilder]: Building ICFG
[2023-10-09 17:57:26,923 INFO  L261             CfgBuilder]: Building CFG for each procedure with an implementation
[2023-10-09 17:58:54,814 INFO  L276             CfgBuilder]: Performing block encoding
[2023-10-09 17:58:55,114 INFO  L295             CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start)
[2023-10-09 17:58:55,115 INFO  L300             CfgBuilder]: Removed 350 assume(true) statements.
[2023-10-09 17:58:55,185 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 09.10 05:58:55 BoogieIcfgContainer
[2023-10-09 17:58:55,185 INFO  L132        PluginConnector]: ------------------------ END RCFGBuilder----------------------------
[2023-10-09 17:58:55,188 INFO  L113        PluginConnector]: ------------------------TraceAbstraction----------------------------
[2023-10-09 17:58:55,194 INFO  L271        PluginConnector]: Initializing TraceAbstraction...
[2023-10-09 17:58:55,197 INFO  L275        PluginConnector]: TraceAbstraction initialized
[2023-10-09 17:58:55,197 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 09.10 05:57:00" (1/3) ...
[2023-10-09 17:58:55,197 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@7ded0dfd and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 09.10 05:58:55, skipping insertion in model container
[2023-10-09 17:58:55,198 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:57:05" (2/3) ...
[2023-10-09 17:58:55,198 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@7ded0dfd and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 09.10 05:58:55, skipping insertion in model container
[2023-10-09 17:58:55,198 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 09.10 05:58:55" (3/3) ...
[2023-10-09 17:58:55,199 INFO  L112   eAbstractionObserver]: Analyzing ICFG main.c
[2023-10-09 17:58:55,204 WARN  L145   ceAbstractionStarter]: Switching off computation of Hoare annotation because input is a concurrent program
[2023-10-09 17:58:55,216 INFO  L203   ceAbstractionStarter]: Automizer settings: Hoare:false NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION
[2023-10-09 17:58:55,219 INFO  L162   ceAbstractionStarter]: Applying trace abstraction to program that has 9791 error locations.
[2023-10-09 17:58:55,219 INFO  L515   ceAbstractionStarter]: Constructing petrified ICFG for 1 thread instances.
[2023-10-09 17:59:08,754 INFO  L144    ThreadInstanceAdder]: Constructed 1 joinOtherThreadTransitions.
[2023-10-09 17:59:09,498 FATAL L?                        ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction has thrown an exception:
java.lang.UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNetWithSPredicates(Cfg2Automaton.java:128)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriInitialAbstractionProvider.getInitialAbstraction(PetriInitialAbstractionProvider.java:83)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriInitialAbstractionProvider.getInitialAbstraction(PetriInitialAbstractionProvider.java:1)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriLbeInitialAbstractionProvider.getInitialAbstraction(PetriLbeInitialAbstractionProvider.java:93)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriLbeInitialAbstractionProvider.getInitialAbstraction(PetriLbeInitialAbstractionProvider.java:1)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.constructInitialAbstraction(CegarLoopFactory.java:336)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.createPetriAbstraction(CegarLoopFactory.java:297)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.constructCegarLoop(CegarLoopFactory.java:187)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.executeCegarLoop(TraceAbstractionStarter.java:414)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.analyseProgram(TraceAbstractionStarter.java:302)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.analyseConcurrentProgram(TraceAbstractionStarter.java:225)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.runCegarLoops(TraceAbstractionStarter.java:173)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.<init>(TraceAbstractionStarter.java:154)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver.finish(TraceAbstractionObserver.java:124)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:168)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:151)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.run(PluginConnector.java:128)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.executePluginConnector(ToolchainWalker.java:232)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.processPlugin(ToolchainWalker.java:226)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walkUnprotected(ToolchainWalker.java:142)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walk(ToolchainWalker.java:104)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainManager$Toolchain.processToolchain(ToolchainManager.java:320)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145)
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)
[2023-10-09 17:59:09,518 INFO  L158              Benchmark]: Toolchain (without parser) took 128543.50ms. Allocated memory was 45.8MB in the beginning and 3.3GB in the end (delta: 3.3GB). Free memory was 16.4MB in the beginning and 1.1GB in the end (delta: -1.1GB). Peak memory consumption was 2.2GB. Max. memory is 15.6GB.
[2023-10-09 17:59:09,519 INFO  L158              Benchmark]: CDTParser took 5.99ms. Allocated memory is still 40.8MB. Free memory was 16.1MB in the beginning and 16.0MB in the end (delta: 31.6kB). Peak memory consumption was 31.6kB. Max. memory is 15.6GB.
[2023-10-09 17:59:09,519 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 4241.38ms. Allocated memory was 45.8MB in the beginning and 240.5MB in the end (delta: 194.7MB). Free memory was 16.3MB in the beginning and 109.7MB in the end (delta: -93.4MB). Peak memory consumption was 157.4MB. Max. memory is 15.6GB.
[2023-10-09 17:59:09,521 INFO  L158              Benchmark]: Boogie Procedure Inliner took 8204.47ms. Allocated memory was 240.5MB in the beginning and 1.2GB in the end (delta: 939.4MB). Free memory was 109.7MB in the beginning and 561.1MB in the end (delta: -451.4MB). Peak memory consumption was 574.4MB. Max. memory is 15.6GB.
[2023-10-09 17:59:09,524 INFO  L158              Benchmark]: Boogie Preprocessor took 11828.84ms. Allocated memory was 1.2GB in the beginning and 2.1GB in the end (delta: 925.7MB). Free memory was 561.1MB in the beginning and 1.2GB in the end (delta: -602.5MB). Peak memory consumption was 618.7MB. Max. memory is 15.6GB.
[2023-10-09 17:59:09,526 INFO  L158              Benchmark]: RCFGBuilder took 89922.45ms. Allocated memory is still 2.1GB. Free memory was 1.2GB in the beginning and 526.7MB in the end (delta: 636.9MB). Peak memory consumption was 1.1GB. Max. memory is 15.6GB.
[2023-10-09 17:59:09,529 INFO  L158              Benchmark]: TraceAbstraction took 14328.48ms. Allocated memory was 2.1GB in the beginning and 3.3GB in the end (delta: 1.2GB). Free memory was 526.7MB in the beginning and 1.1GB in the end (delta: -558.6MB). Peak memory consumption was 668.8MB. Max. memory is 15.6GB.
[2023-10-09 17:59:09,535 INFO  L339   ainManager$Toolchain]: #######################  End [Toolchain 1] #######################
 --- Results ---
 * Results from de.uni_freiburg.informatik.ultimate.core:
  - StatisticsResult: Toolchain Benchmarks
    Benchmark results are:
 * CDTParser took 5.99ms. Allocated memory is still 40.8MB. Free memory was 16.1MB in the beginning and 16.0MB in the end (delta: 31.6kB). Peak memory consumption was 31.6kB. Max. memory is 15.6GB.
 * CACSL2BoogieTranslator took 4241.38ms. Allocated memory was 45.8MB in the beginning and 240.5MB in the end (delta: 194.7MB). Free memory was 16.3MB in the beginning and 109.7MB in the end (delta: -93.4MB). Peak memory consumption was 157.4MB. Max. memory is 15.6GB.
 * Boogie Procedure Inliner took 8204.47ms. Allocated memory was 240.5MB in the beginning and 1.2GB in the end (delta: 939.4MB). Free memory was 109.7MB in the beginning and 561.1MB in the end (delta: -451.4MB). Peak memory consumption was 574.4MB. Max. memory is 15.6GB.
 * Boogie Preprocessor took 11828.84ms. Allocated memory was 1.2GB in the beginning and 2.1GB in the end (delta: 925.7MB). Free memory was 561.1MB in the beginning and 1.2GB in the end (delta: -602.5MB). Peak memory consumption was 618.7MB. Max. memory is 15.6GB.
 * RCFGBuilder took 89922.45ms. Allocated memory is still 2.1GB. Free memory was 1.2GB in the beginning and 526.7MB in the end (delta: 636.9MB). Peak memory consumption was 1.1GB. Max. memory is 15.6GB.
 * TraceAbstraction took 14328.48ms. Allocated memory was 2.1GB in the beginning and 3.3GB in the end (delta: 1.2GB). Free memory was 526.7MB in the beginning and 1.1GB in the end (delta: -558.6MB). Peak memory consumption was 668.8MB. Max. memory is 15.6GB.
 * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction:
  - ExceptionOrErrorResult: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
    de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
RESULT: Ultimate could not prove your program: Toolchain returned no result.
[2023-10-09 17:59:09,702 INFO  L540       MonitoredProcess]: [MP /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Forceful destruction successful, exit code 0
Received shutdown request...
--- End real Ultimate output ---

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

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

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


Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data producer -> Automizer
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data architecture -> 64bit
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Graph data programhash -> a74f9813de212d7da16136c12db6acce28884f5e7bd89ff30b7a9cfcab254857
[2023-10-09 17:59:13,041 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2023-10-09 17:59:13,072 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2023-10-09 17:59:13,074 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2023-10-09 17:59:13,075 INFO  L271        PluginConnector]: Initializing CDTParser...
[2023-10-09 17:59:13,075 INFO  L275        PluginConnector]: CDTParser initialized
[2023-10-09 17:59:13,076 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-10-09 17:59:14,834 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2023-10-09 17:59:15,513 INFO  L351              CDTParser]: Found 1 translation units.
[2023-10-09 17:59:15,519 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-10-09 17:59:15,570 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/7b3613b87/dd3f00b840bc4058b28e32252fdb5521/FLAG013d0336c
[2023-10-09 17:59:15,587 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/7b3613b87/dd3f00b840bc4058b28e32252fdb5521
[2023-10-09 17:59:15,589 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2023-10-09 17:59:15,590 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2023-10-09 17:59:15,591 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2023-10-09 17:59:15,591 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2023-10-09 17:59:15,600 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2023-10-09 17:59:15,601 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 09.10 05:59:15" (1/1) ...
[2023-10-09 17:59:15,602 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@8a2de6c and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:15, skipping insertion in model container
[2023-10-09 17:59:15,602 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 09.10 05:59:15" (1/1) ...
[2023-10-09 17:59:15,612 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2023-10-09 17:59:15,758 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2023-10-09 17:59:16,139 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:16,183 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-09 17:59:16,306 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-09 17:59:16,324 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-10-09 17:59:16,336 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-09 17:59:16,360 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-09 17:59:16,371 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-10-09 17:59:16,378 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-09 17:59:16,382 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-09 17:59:16,399 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-10-09 17:59:16,443 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:16,445 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:16,446 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-10-09 17:59:16,550 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-10-09 17:59:16,565 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-10-09 17:59:16,566 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-10-09 17:59:16,567 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-10-09 17:59:16,568 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-10-09 17:59:16,570 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-10-09 17:59:16,571 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-10-09 17:59:16,572 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-10-09 17:59:16,573 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-10-09 17:59:16,574 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-10-09 17:59:16,743 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:59:16,746 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-09 17:59:16,776 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-10-09 17:59:16,778 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-09 17:59:16,781 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:16,786 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:59:16,828 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:59:16,836 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:59:16,842 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:59:16,849 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:59:16,852 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:59:16,882 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:59:16,930 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:16,932 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:16,933 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:16,935 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:16,936 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-09 17:59:16,936 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,099 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:17,108 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:17,109 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:17,110 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:17,119 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:17,132 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:17,237 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:59:17,251 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:59:17,253 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:59:17,253 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-10-09 17:59:17,253 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:59:17,253 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:59:17,254 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-10-09 17:59:17,255 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:17,257 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:17,259 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:17,267 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:17,268 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:17,269 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:17,273 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:59:17,290 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:17,291 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:17,295 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:59:17,312 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:59:17,340 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-09 17:59:17,341 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-10-09 17:59:17,352 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-09 17:59:17,353 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-09 17:59:17,353 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-09 17:59:17,355 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-09 17:59:17,383 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-09 17:59:17,386 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-09 17:59:17,448 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-09 17:59:17,448 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:17,450 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,452 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,458 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,459 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,465 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,466 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,468 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-09 17:59:17,468 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,486 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,489 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,492 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,493 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:17,493 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:17,495 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,496 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,498 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:17,509 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-10-09 17:59:17,509 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:17,511 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,512 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:17,512 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:17,516 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,519 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:17,519 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-10-09 17:59:17,521 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,521 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,522 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,538 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,558 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-10-09 17:59:17,559 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-10-09 17:59:17,561 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-09 17:59:17,561 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-09 17:59:17,671 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:59:17,674 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:59:17,684 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:17,687 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-09 17:59:17,689 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:59:17,695 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-10-09 17:59:17,695 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:17,695 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:17,696 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:59:17,697 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-09 17:59:17,709 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:17,711 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-10-09 17:59:17,711 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:17,712 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:17,712 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-10-09 17:59:17,713 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-09 17:59:17,714 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-09 17:59:17,716 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:17,716 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-10-09 17:59:17,717 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-10-09 17:59:17,724 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:59:17,749 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:59:17,845 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:59:17,883 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:17,884 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:17,884 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:17,885 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:59:17,903 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:59:17,986 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-10-09 17:59:18,040 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-10-09 17:59:18,041 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-10-09 17:59:18,043 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:18,043 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,044 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-10-09 17:59:18,044 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-09 17:59:18,160 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:18,161 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,161 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:18,161 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,162 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:18,163 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,164 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:18,164 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,170 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:18,170 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,173 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:18,173 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,174 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:18,179 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,185 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-10-09 17:59:18,189 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-10-09 17:59:18,192 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:59:18,194 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-09 17:59:18,195 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-09 17:59:18,197 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-09 17:59:18,198 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:59:18,198 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:59:18,199 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:59:18,204 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-10-09 17:59:18,204 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-10-09 17:59:18,204 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-10-09 17:59:18,205 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-09 17:59:18,205 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-09 17:59:18,229 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-10-09 17:59:18,231 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-10-09 17:59:18,233 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-10-09 17:59:18,234 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-10-09 17:59:18,257 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-09 17:59:18,257 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-09 17:59:18,259 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:18,259 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-09 17:59:18,259 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:18,259 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:18,264 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:18,284 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-09 17:59:18,285 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-09 17:59:18,285 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-09 17:59:18,287 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:59:18,287 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:59:18,289 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:59:18,290 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:59:18,318 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-10-09 17:59:18,332 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-09 17:59:18,332 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-10-09 17:59:18,332 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-10-09 17:59:18,334 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:18,335 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,340 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:18,340 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-10-09 17:59:18,341 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-10-09 17:59:18,396 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:18,397 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:59:18,399 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-09 17:59:18,400 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-09 17:59:18,417 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-09 17:59:18,418 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-09 17:59:18,421 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-09 17:59:18,435 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:18,435 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:59:18,436 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:59:18,436 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:18,436 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:59:18,437 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:18,437 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-09 17:59:18,437 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:18,438 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:18,438 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-10-09 17:59:18,439 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:18,444 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-09 17:59:18,460 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-09 17:59:18,460 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-09 17:59:18,460 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-09 17:59:18,461 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-09 17:59:18,462 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-09 17:59:18,463 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-09 17:59:18,463 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-09 17:59:18,464 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-09 17:59:18,468 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:18,469 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-10-09 17:59:18,557 INFO  L203         MainTranslator]: Completed pre-run
[2023-10-09 17:59:18,593 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:18,613 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-09 17:59:18,615 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-09 17:59:18,616 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-10-09 17:59:18,616 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-09 17:59:18,618 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-09 17:59:18,619 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-10-09 17:59:18,620 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-09 17:59:18,622 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-09 17:59:18,623 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-10-09 17:59:18,624 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:18,625 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:18,634 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-10-09 17:59:18,635 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-10-09 17:59:18,636 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-10-09 17:59:18,636 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-10-09 17:59:18,636 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-10-09 17:59:18,637 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-10-09 17:59:18,638 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-10-09 17:59:18,638 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-10-09 17:59:18,638 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-10-09 17:59:18,639 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-10-09 17:59:18,639 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-10-09 17:59:18,665 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:59:18,666 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-09 17:59:18,669 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-10-09 17:59:18,670 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-09 17:59:18,671 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:18,673 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:59:18,688 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:59:18,691 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:59:18,694 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:59:18,695 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:59:18,696 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-09 17:59:18,705 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:59:18,720 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:18,720 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:18,721 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:18,721 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:18,721 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-09 17:59:18,721 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:18,762 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:18,763 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:18,763 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:18,764 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:18,764 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:18,765 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-09 17:59:18,891 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:59:18,892 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:59:18,894 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:59:18,895 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-10-09 17:59:18,895 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-09 17:59:18,895 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:59:18,896 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-10-09 17:59:18,896 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:18,897 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:18,898 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:18,915 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:18,915 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:18,916 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:18,918 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:59:18,920 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-09 17:59:18,936 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:18,937 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:59:18,941 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-09 17:59:18,947 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-09 17:59:18,947 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-10-09 17:59:18,949 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-09 17:59:18,949 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-09 17:59:18,950 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-09 17:59:18,964 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-09 17:59:18,969 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-09 17:59:18,970 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-09 17:59:19,165 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-09 17:59:19,171 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:19,172 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,173 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,173 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,174 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,174 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,175 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,175 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-09 17:59:19,176 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,178 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,180 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,182 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,183 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:19,183 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:19,185 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,186 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,187 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:19,204 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-10-09 17:59:19,204 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:19,206 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,207 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:19,210 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:19,210 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,211 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-09 17:59:19,212 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-10-09 17:59:19,216 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,216 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,217 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,217 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,218 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-10-09 17:59:19,219 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-10-09 17:59:19,220 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-09 17:59:19,221 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-09 17:59:19,246 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:59:19,251 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:59:19,255 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-09 17:59:19,275 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-09 17:59:19,277 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:59:19,279 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-10-09 17:59:19,279 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:19,279 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:19,280 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-09 17:59:19,281 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-09 17:59:19,281 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:19,283 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-10-09 17:59:19,283 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:19,283 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:19,283 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-10-09 17:59:19,284 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-09 17:59:19,284 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-09 17:59:19,285 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:19,286 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-10-09 17:59:19,286 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-10-09 17:59:19,373 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:59:19,377 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:59:19,420 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:59:19,446 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:19,447 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:19,448 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:19,448 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:59:19,463 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-09 17:59:19,555 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-10-09 17:59:19,557 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-10-09 17:59:19,557 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-10-09 17:59:19,559 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:19,559 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:19,559 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-10-09 17:59:19,560 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-09 17:59:19,561 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:19,562 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:19,562 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:19,562 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:19,563 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:19,564 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:19,564 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:19,564 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:19,569 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:19,572 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:19,573 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:19,587 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:19,588 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:19,588 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:19,593 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-10-09 17:59:19,594 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-10-09 17:59:19,595 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-09 17:59:19,599 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-09 17:59:19,600 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-09 17:59:19,602 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-09 17:59:19,603 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:59:19,604 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:59:19,620 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-09 17:59:19,622 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-10-09 17:59:19,622 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-10-09 17:59:19,622 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-10-09 17:59:19,623 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-09 17:59:19,623 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-09 17:59:19,625 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-10-09 17:59:19,626 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-10-09 17:59:19,626 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-10-09 17:59:19,626 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-10-09 17:59:19,627 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-09 17:59:19,628 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-09 17:59:19,630 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:19,630 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-09 17:59:19,631 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:19,631 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:19,631 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:19,637 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-09 17:59:19,638 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-09 17:59:19,639 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-09 17:59:19,639 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:59:19,640 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:59:19,642 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:59:19,651 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-09 17:59:19,653 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-10-09 17:59:19,653 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-09 17:59:19,653 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-10-09 17:59:19,654 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-10-09 17:59:19,655 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-09 17:59:19,655 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-09 17:59:19,659 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:19,659 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-10-09 17:59:19,660 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-10-09 17:59:19,668 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-09 17:59:19,671 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-09 17:59:19,672 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-09 17:59:19,723 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-09 17:59:19,727 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-09 17:59:19,727 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-09 17:59:19,732 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-09 17:59:19,735 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-09 17:59:19,735 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-09 17:59:19,735 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:59:19,735 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:19,736 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-09 17:59:19,736 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:19,736 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-09 17:59:19,737 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:19,737 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-09 17:59:19,737 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-10-09 17:59:19,738 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:19,742 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-09 17:59:19,742 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-09 17:59:19,742 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-09 17:59:19,742 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-09 17:59:19,742 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-09 17:59:19,744 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-09 17:59:19,757 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-09 17:59:19,757 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-09 17:59:19,759 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-09 17:59:19,762 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-09 17:59:19,763 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-10-09 17:59:19,900 INFO  L208         MainTranslator]: Completed translation
[2023-10-09 17:59:19,904 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19 WrapperNode
[2023-10-09 17:59:19,904 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2023-10-09 17:59:19,905 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2023-10-09 17:59:19,905 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2023-10-09 17:59:19,905 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2023-10-09 17:59:19,910 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:20,280 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:26,799 INFO  L138                Inliner]: procedures = 276, calls = 7126, calls flagged for inlining = 382, calls inlined = 1780, statements flattened = 116129
[2023-10-09 17:59:26,807 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2023-10-09 17:59:26,808 INFO  L113        PluginConnector]: ------------------------Boogie Preprocessor----------------------------
[2023-10-09 17:59:26,808 INFO  L271        PluginConnector]: Initializing Boogie Preprocessor...
[2023-10-09 17:59:26,808 INFO  L275        PluginConnector]: Boogie Preprocessor initialized
[2023-10-09 17:59:26,831 INFO  L185        PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:26,831 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:28,019 INFO  L185        PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:28,036 INFO  L185        PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:35,682 INFO  L185        PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:36,160 INFO  L185        PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:36,659 INFO  L185        PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:36,949 INFO  L185        PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:37,875 INFO  L132        PluginConnector]: ------------------------ END Boogie Preprocessor----------------------------
[2023-10-09 17:59:37,884 INFO  L113        PluginConnector]: ------------------------RCFGBuilder----------------------------
[2023-10-09 17:59:37,884 INFO  L271        PluginConnector]: Initializing RCFGBuilder...
[2023-10-09 17:59:37,884 INFO  L275        PluginConnector]: RCFGBuilder initialized
[2023-10-09 17:59:37,885 INFO  L185        PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (1/1) ...
[2023-10-09 17:59:37,889 INFO  L173          SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-10-09 17:59:37,906 INFO  L189       MonitoredProcess]: No working directory specified, using /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3
[2023-10-09 17:59:37,916 INFO  L229       MonitoredProcess]: Starting monitored process 1 with /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null)
[2023-10-09 17:59:37,958 INFO  L327       MonitoredProcess]: [MP /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (1)] Waiting until timeout for monitored process
[2023-10-09 17:59:37,963 INFO  L130     BoogieDeclarations]: Found specification of procedure realpath
[2023-10-09 17:59:37,964 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE1
[2023-10-09 17:59:37,964 INFO  L130     BoogieDeclarations]: Found specification of procedure __getdelim
[2023-10-09 17:59:37,964 INFO  L130     BoogieDeclarations]: Found specification of procedure strncmp
[2023-10-09 17:59:37,964 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE8
[2023-10-09 17:59:37,964 INFO  L130     BoogieDeclarations]: Found specification of procedure __builtin_memset
[2023-10-09 17:59:37,964 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE4
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE2
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure gettimeofday
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure pthread_setaffinity_np
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure fileno
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_toupper_loc
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure close
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure vasprintf
[2023-10-09 17:59:37,967 INFO  L130     BoogieDeclarations]: Found specification of procedure fopen
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure fnmatch
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure strpbrk
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure memcmp
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure read~$Pointer$
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_tolower_loc
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure strerror
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure __xstat
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure strstr
[2023-10-09 17:59:37,968 INFO  L130     BoogieDeclarations]: Found specification of procedure closedir
[2023-10-09 17:59:37,969 INFO  L130     BoogieDeclarations]: Found specification of procedure opendir
[2023-10-09 17:59:37,969 INFO  L130     BoogieDeclarations]: Found specification of procedure lzma_auto_decoder
[2023-10-09 17:59:37,969 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE8
[2023-10-09 17:59:37,969 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE1
[2023-10-09 17:59:37,969 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE4
[2023-10-09 17:59:37,969 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc
[2023-10-09 17:59:37,970 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~$Pointer$
[2023-10-09 17:59:37,970 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE2
[2023-10-09 17:59:37,970 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE1
[2023-10-09 17:59:37,970 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE4
[2023-10-09 17:59:37,970 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE8
[2023-10-09 17:59:37,970 INFO  L130     BoogieDeclarations]: Found specification of procedure madvise
[2023-10-09 17:59:37,970 INFO  L130     BoogieDeclarations]: Found specification of procedure binary_search
[2023-10-09 17:59:37,970 INFO  L138     BoogieDeclarations]: Found implementation of procedure binary_search
[2023-10-09 17:59:37,970 INFO  L130     BoogieDeclarations]: Found specification of procedure __fxstat
[2023-10-09 17:59:37,970 INFO  L130     BoogieDeclarations]: Found specification of procedure search_dir
[2023-10-09 17:59:37,971 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_dir
[2023-10-09 17:59:37,971 INFO  L130     BoogieDeclarations]: Found specification of procedure __lxstat
[2023-10-09 17:59:37,971 INFO  L130     BoogieDeclarations]: Found specification of procedure popen
[2023-10-09 17:59:37,971 INFO  L130     BoogieDeclarations]: Found specification of procedure fclose
[2023-10-09 17:59:37,971 INFO  L130     BoogieDeclarations]: Found specification of procedure fopencookie
[2023-10-09 17:59:37,971 INFO  L130     BoogieDeclarations]: Found specification of procedure feof
[2023-10-09 17:59:37,971 INFO  L130     BoogieDeclarations]: Found specification of procedure strdup
[2023-10-09 17:59:37,982 INFO  L130     BoogieDeclarations]: Found specification of procedure vfprintf
[2023-10-09 17:59:37,982 INFO  L130     BoogieDeclarations]: Found specification of procedure sysconf
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure fread
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure fputc
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure pclose
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_compile
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_config
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure readdir
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure strtol
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE4
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE2
[2023-10-09 17:59:37,983 INFO  L130     BoogieDeclarations]: Found specification of procedure strndup
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE1
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE8
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure getopt_long
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure #PthreadsMutexLock
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure munmap
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure fputs
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure perror
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure fflush
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit
[2023-10-09 17:59:37,984 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_exec
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure isatty
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure write~$Pointer$
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE8
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE2
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE4
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure __errno_location
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_version
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure zError
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure read
[2023-10-09 17:59:37,985 INFO  L130     BoogieDeclarations]: Found specification of procedure inflateInit2_
[2023-10-09 17:59:37,986 INFO  L130     BoogieDeclarations]: Found specification of procedure search_file_worker
[2023-10-09 17:59:37,986 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_file_worker
[2023-10-09 17:59:37,986 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_b_loc
[2023-10-09 17:59:37,986 INFO  L130     BoogieDeclarations]: Found specification of procedure fdopen
[2023-10-09 17:59:37,986 INFO  L130     BoogieDeclarations]: Found specification of procedure fwrite
[2023-10-09 17:59:37,986 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE1
[2023-10-09 17:59:37,986 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_study
[2023-10-09 17:59:37,986 INFO  L130     BoogieDeclarations]: Found specification of procedure strncpy
[2023-10-09 17:59:37,986 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.start
[2023-10-09 17:59:37,986 INFO  L138     BoogieDeclarations]: Found implementation of procedure ULTIMATE.start
[2023-10-09 17:59:37,987 INFO  L130     BoogieDeclarations]: Found specification of procedure mmap
[2023-10-09 17:59:38,034 WARN  L209             CfgBuilder]: User set CodeBlockSize to SequenceOfStatements but program contains fork statements. Overwriting the user preferences and setting CodeBlockSize to SingleStatement
[2023-10-09 17:59:39,741 INFO  L235             CfgBuilder]: Building ICFG
[2023-10-09 17:59:39,743 INFO  L261             CfgBuilder]: Building CFG for each procedure with an implementation
[2023-10-09 18:04:16,497 INFO  L276             CfgBuilder]: Performing block encoding
[2023-10-09 18:04:17,024 INFO  L295             CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start)
[2023-10-09 18:04:17,024 INFO  L300             CfgBuilder]: Removed 350 assume(true) statements.
[2023-10-09 18:04:17,093 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 09.10 06:04:17 BoogieIcfgContainer
[2023-10-09 18:04:17,094 INFO  L132        PluginConnector]: ------------------------ END RCFGBuilder----------------------------
[2023-10-09 18:04:17,104 INFO  L113        PluginConnector]: ------------------------TraceAbstraction----------------------------
[2023-10-09 18:04:17,104 INFO  L271        PluginConnector]: Initializing TraceAbstraction...
[2023-10-09 18:04:17,106 INFO  L275        PluginConnector]: TraceAbstraction initialized
[2023-10-09 18:04:17,106 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 09.10 05:59:15" (1/3) ...
[2023-10-09 18:04:17,107 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@5476456e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 09.10 06:04:17, skipping insertion in model container
[2023-10-09 18:04:17,107 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 09.10 05:59:19" (2/3) ...
[2023-10-09 18:04:17,107 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@5476456e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 09.10 06:04:17, skipping insertion in model container
[2023-10-09 18:04:17,107 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 09.10 06:04:17" (3/3) ...
[2023-10-09 18:04:17,108 INFO  L112   eAbstractionObserver]: Analyzing ICFG main.c
[2023-10-09 18:04:17,114 WARN  L145   ceAbstractionStarter]: Switching off computation of Hoare annotation because input is a concurrent program
[2023-10-09 18:04:17,134 INFO  L203   ceAbstractionStarter]: Automizer settings: Hoare:false NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION
[2023-10-09 18:04:17,140 INFO  L162   ceAbstractionStarter]: Applying trace abstraction to program that has 9791 error locations.
[2023-10-09 18:04:17,140 INFO  L515   ceAbstractionStarter]: Constructing petrified ICFG for 1 thread instances.
[2023-10-09 18:04:29,631 INFO  L144    ThreadInstanceAdder]: Constructed 1 joinOtherThreadTransitions.
[2023-10-09 18:04:31,002 FATAL L?                        ?]: The Plugin de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction has thrown an exception:
java.lang.UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNetWithSPredicates(Cfg2Automaton.java:128)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriInitialAbstractionProvider.getInitialAbstraction(PetriInitialAbstractionProvider.java:83)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriInitialAbstractionProvider.getInitialAbstraction(PetriInitialAbstractionProvider.java:1)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriLbeInitialAbstractionProvider.getInitialAbstraction(PetriLbeInitialAbstractionProvider.java:93)
	at de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.initialabstraction.PetriLbeInitialAbstractionProvider.getInitialAbstraction(PetriLbeInitialAbstractionProvider.java:1)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.constructInitialAbstraction(CegarLoopFactory.java:336)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.createPetriAbstraction(CegarLoopFactory.java:297)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.CegarLoopFactory.constructCegarLoop(CegarLoopFactory.java:187)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.executeCegarLoop(TraceAbstractionStarter.java:414)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.analyseProgram(TraceAbstractionStarter.java:302)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.analyseConcurrentProgram(TraceAbstractionStarter.java:225)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.runCegarLoops(TraceAbstractionStarter.java:173)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionStarter.<init>(TraceAbstractionStarter.java:154)
	at de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver.finish(TraceAbstractionObserver.java:124)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runObserver(PluginConnector.java:168)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.runTool(PluginConnector.java:151)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.PluginConnector.run(PluginConnector.java:128)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.executePluginConnector(ToolchainWalker.java:232)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.processPlugin(ToolchainWalker.java:226)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walkUnprotected(ToolchainWalker.java:142)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainWalker.walk(ToolchainWalker.java:104)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.ToolchainManager$Toolchain.processToolchain(ToolchainManager.java:320)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.toolchain.DefaultToolchainJob.run(DefaultToolchainJob.java:145)
	at org.eclipse.core.internal.jobs.Worker.run(Worker.java:63)
[2023-10-09 18:04:31,019 INFO  L158              Benchmark]: Toolchain (without parser) took 315428.67ms. Allocated memory was 40.0MB in the beginning and 2.7GB in the end (delta: 2.7GB). Free memory was 16.3MB in the beginning and 622.5MB in the end (delta: -606.2MB). Peak memory consumption was 2.1GB. Max. memory is 15.6GB.
[2023-10-09 18:04:31,020 INFO  L158              Benchmark]: CDTParser took 0.14ms. Allocated memory is still 31.6MB. Free memory is still 11.3MB. There was no memory consumed. Max. memory is 15.6GB.
[2023-10-09 18:04:31,020 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 4313.01ms. Allocated memory was 40.0MB in the beginning and 191.7MB in the end (delta: 151.7MB). Free memory was 16.0MB in the beginning and 35.7MB in the end (delta: -19.7MB). Peak memory consumption was 141.8MB. Max. memory is 15.6GB.
[2023-10-09 18:04:31,021 INFO  L158              Benchmark]: Boogie Procedure Inliner took 6901.95ms. Allocated memory was 191.7MB in the beginning and 1.1GB in the end (delta: 865.4MB). Free memory was 35.7MB in the beginning and 467.3MB in the end (delta: -431.6MB). Peak memory consumption was 452.1MB. Max. memory is 15.6GB.
[2023-10-09 18:04:31,021 INFO  L158              Benchmark]: Boogie Preprocessor took 11067.53ms. Allocated memory was 1.1GB in the beginning and 1.7GB in the end (delta: 672.9MB). Free memory was 467.3MB in the beginning and 781.1MB in the end (delta: -313.8MB). Peak memory consumption was 471.4MB. Max. memory is 15.6GB.
[2023-10-09 18:04:31,022 INFO  L158              Benchmark]: RCFGBuilder took 279209.69ms. Allocated memory was 1.7GB in the beginning and 2.7GB in the end (delta: 1.0GB). Free memory was 781.1MB in the beginning and 1.5GB in the end (delta: -698.5MB). Peak memory consumption was 1.1GB. Max. memory is 15.6GB.
[2023-10-09 18:04:31,022 INFO  L158              Benchmark]: TraceAbstraction took 13914.08ms. Allocated memory is still 2.7GB. Free memory was 1.5GB in the beginning and 622.5MB in the end (delta: 857.0MB). Peak memory consumption was 857.0MB. Max. memory is 15.6GB.
[2023-10-09 18:04:31,025 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.14ms. Allocated memory is still 31.6MB. Free memory is still 11.3MB. There was no memory consumed. Max. memory is 15.6GB.
 * CACSL2BoogieTranslator took 4313.01ms. Allocated memory was 40.0MB in the beginning and 191.7MB in the end (delta: 151.7MB). Free memory was 16.0MB in the beginning and 35.7MB in the end (delta: -19.7MB). Peak memory consumption was 141.8MB. Max. memory is 15.6GB.
 * Boogie Procedure Inliner took 6901.95ms. Allocated memory was 191.7MB in the beginning and 1.1GB in the end (delta: 865.4MB). Free memory was 35.7MB in the beginning and 467.3MB in the end (delta: -431.6MB). Peak memory consumption was 452.1MB. Max. memory is 15.6GB.
 * Boogie Preprocessor took 11067.53ms. Allocated memory was 1.1GB in the beginning and 1.7GB in the end (delta: 672.9MB). Free memory was 467.3MB in the beginning and 781.1MB in the end (delta: -313.8MB). Peak memory consumption was 471.4MB. Max. memory is 15.6GB.
 * RCFGBuilder took 279209.69ms. Allocated memory was 1.7GB in the beginning and 2.7GB in the end (delta: 1.0GB). Free memory was 781.1MB in the beginning and 1.5GB in the end (delta: -698.5MB). Peak memory consumption was 1.1GB. Max. memory is 15.6GB.
 * TraceAbstraction took 13914.08ms. Allocated memory is still 2.7GB. Free memory was 1.5GB in the beginning and 622.5MB in the end (delta: 857.0MB). Peak memory consumption was 857.0MB. Max. memory is 15.6GB.
 * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction:
  - ExceptionOrErrorResult: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
    de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
RESULT: Ultimate could not prove your program: Toolchain returned no result.
[2023-10-09 18:04:31,119 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

