./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-31 17:25:04,478 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2023-10-31 17:25:04,479 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2023-10-31 17:25:04,502 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2023-10-31 17:25:04,502 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2023-10-31 17:25:04,503 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2023-10-31 17:25:04,504 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2023-10-31 17:25:04,505 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2023-10-31 17:25:04,506 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2023-10-31 17:25:04,507 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2023-10-31 17:25:04,508 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2023-10-31 17:25:04,508 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2023-10-31 17:25:04,509 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2023-10-31 17:25:04,509 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2023-10-31 17:25:04,510 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2023-10-31 17:25:04,511 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2023-10-31 17:25:04,512 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2023-10-31 17:25:04,512 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2023-10-31 17:25:04,513 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2023-10-31 17:25:04,515 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2023-10-31 17:25:04,516 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2023-10-31 17:25:04,516 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2023-10-31 17:25:04,517 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2023-10-31 17:25:04,518 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2023-10-31 17:25:04,520 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2023-10-31 17:25:04,520 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2023-10-31 17:25:04,521 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2023-10-31 17:25:04,521 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2023-10-31 17:25:04,522 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2023-10-31 17:25:04,522 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2023-10-31 17:25:04,522 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2023-10-31 17:25:04,523 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2023-10-31 17:25:04,523 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2023-10-31 17:25:04,524 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2023-10-31 17:25:04,524 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2023-10-31 17:25:04,524 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2023-10-31 17:25:04,525 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2023-10-31 17:25:04,525 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2023-10-31 17:25:04,525 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2023-10-31 17:25:04,526 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2023-10-31 17:25:04,526 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2023-10-31 17:25:04,527 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Default.epf
[2023-10-31 17:25:04,541 INFO  L113        SettingsManager]: Loading preferences was successful
[2023-10-31 17:25:04,542 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2023-10-31 17:25:04,542 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2023-10-31 17:25:04,542 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2023-10-31 17:25:04,542 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2023-10-31 17:25:04,543 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2023-10-31 17:25:04,543 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2023-10-31 17:25:04,543 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2023-10-31 17:25:04,543 INFO  L138        SettingsManager]:  * Use SBE=true
[2023-10-31 17:25:04,543 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2023-10-31 17:25:04,543 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2023-10-31 17:25:04,543 INFO  L138        SettingsManager]:  * Overapproximate operations on floating types=true
[2023-10-31 17:25:04,544 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2023-10-31 17:25:04,544 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2023-10-31 17:25:04,544 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2023-10-31 17:25:04,544 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2023-10-31 17:25:04,544 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2023-10-31 17:25:04,544 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2023-10-31 17:25:04,544 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2023-10-31 17:25:04,544 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2023-10-31 17:25:04,544 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2023-10-31 17:25:04,544 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2023-10-31 17:25:04,545 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2023-10-31 17:25:04,545 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-10-31 17:25:04,545 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2023-10-31 17:25:04,545 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2023-10-31 17:25:04,545 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2023-10-31 17:25:04,545 INFO  L138        SettingsManager]:  * Trace refinement strategy=CAMEL
[2023-10-31 17:25:04,545 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2023-10-31 17:25:04,545 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2023-10-31 17:25:04,545 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2023-10-31 17:25:04,545 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2023-10-31 17:25:04,546 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2023-10-31 17:25:04,546 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2023-10-31 17:25:04,546 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-31 17:25:04,738 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2023-10-31 17:25:04,768 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2023-10-31 17:25:04,771 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2023-10-31 17:25:04,771 INFO  L271        PluginConnector]: Initializing CDTParser...
[2023-10-31 17:25:04,773 INFO  L275        PluginConnector]: CDTParser initialized
[2023-10-31 17:25:04,774 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-10-31 17:25:05,722 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2023-10-31 17:25:06,071 INFO  L351              CDTParser]: Found 1 translation units.
[2023-10-31 17:25:06,072 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-10-31 17:25:06,094 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/66f573c81/430d795e4cb84e13b86d8905771dbaff/FLAGd8aed5116
[2023-10-31 17:25:06,269 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/66f573c81/430d795e4cb84e13b86d8905771dbaff
[2023-10-31 17:25:06,271 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2023-10-31 17:25:06,272 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2023-10-31 17:25:06,273 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2023-10-31 17:25:06,273 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2023-10-31 17:25:06,276 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2023-10-31 17:25:06,276 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.10 05:25:06" (1/1) ...
[2023-10-31 17:25:06,277 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@48014e57 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:06, skipping insertion in model container
[2023-10-31 17:25:06,277 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.10 05:25:06" (1/1) ...
[2023-10-31 17:25:06,282 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2023-10-31 17:25:06,361 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2023-10-31 17:25:06,534 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:06,546 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-31 17:25:06,611 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-31 17:25:06,615 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-10-31 17:25:06,620 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-31 17:25:06,628 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-31 17:25:06,632 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-10-31 17:25:06,635 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-31 17:25:06,641 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-31 17:25:06,645 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-10-31 17:25:06,666 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:06,668 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:06,669 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-10-31 17:25:06,730 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-10-31 17:25:06,731 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-10-31 17:25:06,731 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-10-31 17:25:06,732 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-10-31 17:25:06,733 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-10-31 17:25:06,735 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-10-31 17:25:06,736 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-10-31 17:25:06,736 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-10-31 17:25:06,737 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-10-31 17:25:06,738 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-10-31 17:25:06,814 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:25:06,815 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-31 17:25:06,826 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-10-31 17:25:06,828 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-31 17:25:06,830 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:06,839 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:25:06,847 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:25:06,853 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:25:06,859 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:25:06,862 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:25:06,865 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:25:06,876 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:25:06,905 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:06,906 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:06,907 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:06,908 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:06,908 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-31 17:25:06,908 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,011 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,012 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,013 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,014 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,014 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,015 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,059 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:25:07,059 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:25:07,060 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:25:07,060 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-10-31 17:25:07,061 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:25:07,061 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:25:07,062 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-10-31 17:25:07,062 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,064 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,065 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,067 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,068 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,069 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,072 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:25:07,076 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,077 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,079 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:25:07,086 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:25:07,096 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-31 17:25:07,097 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-10-31 17:25:07,099 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-31 17:25:07,100 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-31 17:25:07,101 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-31 17:25:07,103 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-31 17:25:07,113 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-31 17:25:07,116 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-31 17:25:07,159 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-31 17:25:07,160 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,161 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,162 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,162 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,163 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,164 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,164 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,165 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-31 17:25:07,166 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,170 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,173 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,176 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,177 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,177 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,179 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,180 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,181 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,182 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-10-31 17:25:07,182 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,184 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,185 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,185 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,186 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,187 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,188 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-10-31 17:25:07,189 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,190 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,191 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,191 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,202 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-10-31 17:25:07,203 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-10-31 17:25:07,205 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-31 17:25:07,205 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-31 17:25:07,252 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:25:07,254 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:25:07,259 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,261 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-31 17:25:07,262 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:25:07,264 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-10-31 17:25:07,264 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,264 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:07,265 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:25:07,266 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-31 17:25:07,266 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:07,268 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-10-31 17:25:07,268 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,268 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:07,269 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-10-31 17:25:07,280 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-31 17:25:07,281 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-31 17:25:07,282 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:07,283 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-10-31 17:25:07,284 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-10-31 17:25:07,289 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:25:07,297 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:25:07,336 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:25:07,348 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,349 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,349 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:07,350 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:25:07,353 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:25:07,390 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-10-31 17:25:07,415 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-10-31 17:25:07,415 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-10-31 17:25:07,418 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,418 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,419 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-10-31 17:25:07,419 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-31 17:25:07,420 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,420 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,421 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,421 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,422 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,423 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,423 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,424 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,428 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,428 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,431 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,431 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,432 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,432 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,437 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-10-31 17:25:07,438 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-10-31 17:25:07,439 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:25:07,442 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-31 17:25:07,442 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-31 17:25:07,444 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-31 17:25:07,445 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:25:07,446 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:25:07,447 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:25:07,448 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-10-31 17:25:07,448 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-10-31 17:25:07,449 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-10-31 17:25:07,449 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-31 17:25:07,449 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-31 17:25:07,468 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-10-31 17:25:07,471 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-10-31 17:25:07,472 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-10-31 17:25:07,474 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-10-31 17:25:07,484 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-31 17:25:07,485 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-31 17:25:07,485 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:07,486 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-31 17:25:07,486 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:07,486 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:07,487 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:07,493 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-31 17:25:07,493 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-31 17:25:07,494 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-31 17:25:07,495 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:25:07,496 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:25:07,499 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:25:07,499 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:25:07,526 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-10-31 17:25:07,527 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-31 17:25:07,527 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-10-31 17:25:07,527 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-10-31 17:25:07,530 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,530 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,535 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:07,536 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-10-31 17:25:07,537 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-10-31 17:25:07,538 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:07,540 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:25:07,543 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-31 17:25:07,544 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-31 17:25:07,561 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-31 17:25:07,562 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-31 17:25:07,564 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-31 17:25:07,568 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:07,569 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:25:07,569 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:25:07,569 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,570 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:25:07,570 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,570 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-31 17:25:07,570 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,571 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,571 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-10-31 17:25:07,572 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:07,578 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-31 17:25:07,578 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-31 17:25:07,578 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-31 17:25:07,578 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-31 17:25:07,579 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-31 17:25:07,580 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-31 17:25:07,580 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-31 17:25:07,580 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-31 17:25:07,581 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-31 17:25:07,602 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:07,602 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-10-31 17:25:07,642 INFO  L203         MainTranslator]: Completed pre-run
[2023-10-31 17:25:07,658 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,659 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-31 17:25:07,660 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-31 17:25:07,661 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-10-31 17:25:07,662 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-31 17:25:07,663 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-31 17:25:07,663 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-10-31 17:25:07,664 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-31 17:25:07,665 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-31 17:25:07,666 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-10-31 17:25:07,667 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,668 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,668 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-10-31 17:25:07,670 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-10-31 17:25:07,670 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-10-31 17:25:07,671 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-10-31 17:25:07,671 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-10-31 17:25:07,672 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-10-31 17:25:07,672 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-10-31 17:25:07,673 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-10-31 17:25:07,673 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-10-31 17:25:07,673 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-10-31 17:25:07,674 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-10-31 17:25:07,682 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:25:07,682 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-31 17:25:07,686 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-10-31 17:25:07,687 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-31 17:25:07,688 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:07,689 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:25:07,691 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:25:07,693 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:25:07,695 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:25:07,697 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:25:07,698 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:25:07,702 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:25:07,706 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,706 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,707 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,707 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,707 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-31 17:25:07,707 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,718 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,718 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,719 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,719 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,720 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,720 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:25:07,768 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:25:07,768 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:25:07,769 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:25:07,769 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-10-31 17:25:07,770 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:25:07,770 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:25:07,771 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-10-31 17:25:07,771 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,772 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,773 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,774 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,775 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,776 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,777 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:25:07,779 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:25:07,779 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,780 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:25:07,783 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:25:07,788 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-31 17:25:07,788 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-10-31 17:25:07,790 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-31 17:25:07,790 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-31 17:25:07,791 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-31 17:25:07,792 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-31 17:25:07,798 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-31 17:25:07,800 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-31 17:25:07,815 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-31 17:25:07,815 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,816 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,817 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,817 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,818 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,818 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,819 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,819 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-31 17:25:07,820 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,852 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,855 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,857 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,858 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,858 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,860 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,861 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,861 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,862 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-10-31 17:25:07,862 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,864 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,865 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,866 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,866 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,868 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:25:07,868 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-10-31 17:25:07,871 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,871 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,872 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,873 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,875 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-10-31 17:25:07,875 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-10-31 17:25:07,876 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-31 17:25:07,877 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-31 17:25:07,885 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:25:07,887 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:25:07,891 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:25:07,893 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-31 17:25:07,895 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:25:07,896 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-10-31 17:25:07,896 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,896 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:07,897 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:25:07,898 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-31 17:25:07,898 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:07,899 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-10-31 17:25:07,899 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,899 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:07,900 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-10-31 17:25:07,900 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-31 17:25:07,900 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-31 17:25:07,901 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:07,902 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-10-31 17:25:07,902 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-10-31 17:25:07,904 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:25:07,910 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:25:07,935 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:25:07,945 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,946 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:07,946 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:07,946 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:25:07,949 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:25:07,968 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-10-31 17:25:07,970 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-10-31 17:25:07,971 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-10-31 17:25:07,972 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,972 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,973 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-10-31 17:25:07,973 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-31 17:25:07,974 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,974 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,975 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,975 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,976 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,976 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,976 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,977 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,980 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,980 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,982 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,982 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,983 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:07,984 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:07,988 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-10-31 17:25:07,989 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-10-31 17:25:07,990 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:25:07,992 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-31 17:25:07,993 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-31 17:25:07,995 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-31 17:25:07,996 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:25:07,997 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:25:07,998 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:25:07,999 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-10-31 17:25:07,999 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-10-31 17:25:07,999 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-10-31 17:25:08,000 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-31 17:25:08,000 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-31 17:25:08,002 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-10-31 17:25:08,002 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-10-31 17:25:08,003 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-10-31 17:25:08,003 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-10-31 17:25:08,004 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-31 17:25:08,005 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-31 17:25:08,005 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:08,006 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-31 17:25:08,006 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:08,007 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:08,007 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:08,010 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-31 17:25:08,010 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-31 17:25:08,032 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-31 17:25:08,033 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:25:08,033 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:25:08,035 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:25:08,035 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:25:08,037 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-10-31 17:25:08,037 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-31 17:25:08,038 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-10-31 17:25:08,038 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-10-31 17:25:08,039 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:25:08,040 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:25:08,043 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:08,043 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-10-31 17:25:08,044 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-10-31 17:25:08,044 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:25:08,047 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:25:08,048 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-31 17:25:08,049 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-31 17:25:08,053 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-31 17:25:08,053 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-31 17:25:08,058 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-31 17:25:08,059 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:25:08,060 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:25:08,060 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:25:08,060 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:08,060 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:25:08,061 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:08,061 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-31 17:25:08,061 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:08,062 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:25:08,062 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-10-31 17:25:08,063 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:08,067 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-31 17:25:08,067 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-31 17:25:08,067 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-31 17:25:08,067 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-31 17:25:08,067 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-31 17:25:08,068 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-31 17:25:08,069 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-31 17:25:08,069 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-31 17:25:08,070 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-31 17:25:08,072 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:25:08,073 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-10-31 17:25:08,130 INFO  L208         MainTranslator]: Completed translation
[2023-10-31 17:25:08,130 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08 WrapperNode
[2023-10-31 17:25:08,130 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2023-10-31 17:25:08,131 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2023-10-31 17:25:08,131 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2023-10-31 17:25:08,131 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2023-10-31 17:25:08,137 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:08,310 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:10,664 INFO  L138                Inliner]: procedures = 260, calls = 7126, calls flagged for inlining = 382, calls inlined = 1780, statements flattened = 117023
[2023-10-31 17:25:10,664 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2023-10-31 17:25:10,665 INFO  L113        PluginConnector]: ------------------------Boogie Preprocessor----------------------------
[2023-10-31 17:25:10,665 INFO  L271        PluginConnector]: Initializing Boogie Preprocessor...
[2023-10-31 17:25:10,665 INFO  L275        PluginConnector]: Boogie Preprocessor initialized
[2023-10-31 17:25:10,676 INFO  L185        PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:10,676 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:11,310 INFO  L185        PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:11,311 INFO  L185        PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:12,706 INFO  L185        PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:12,920 INFO  L185        PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:13,120 INFO  L185        PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:13,260 INFO  L185        PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:13,874 INFO  L132        PluginConnector]: ------------------------ END Boogie Preprocessor----------------------------
[2023-10-31 17:25:13,875 INFO  L113        PluginConnector]: ------------------------RCFGBuilder----------------------------
[2023-10-31 17:25:13,875 INFO  L271        PluginConnector]: Initializing RCFGBuilder...
[2023-10-31 17:25:13,875 INFO  L275        PluginConnector]: RCFGBuilder initialized
[2023-10-31 17:25:13,875 INFO  L185        PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (1/1) ...
[2023-10-31 17:25:13,880 INFO  L173          SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-10-31 17:25:13,888 INFO  L189       MonitoredProcess]: No working directory specified, using /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3
[2023-10-31 17:25:13,917 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-31 17:25:13,921 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-31 17:25:13,949 INFO  L130     BoogieDeclarations]: Found specification of procedure realpath
[2023-10-31 17:25:13,949 INFO  L130     BoogieDeclarations]: Found specification of procedure __getdelim
[2023-10-31 17:25:13,949 INFO  L130     BoogieDeclarations]: Found specification of procedure strncmp
[2023-10-31 17:25:13,949 INFO  L130     BoogieDeclarations]: Found specification of procedure __builtin_memset
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure gettimeofday
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure pthread_setaffinity_np
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure fileno
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_toupper_loc
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure close
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure vasprintf
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure fopen
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure fnmatch
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure strpbrk
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure memcmp
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure read~$Pointer$
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_tolower_loc
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure strerror
[2023-10-31 17:25:13,950 INFO  L130     BoogieDeclarations]: Found specification of procedure __xstat
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure strstr
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure closedir
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure opendir
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure lzma_auto_decoder
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~$Pointer$
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure madvise
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure binary_search
[2023-10-31 17:25:13,951 INFO  L138     BoogieDeclarations]: Found implementation of procedure binary_search
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure __fxstat
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure search_dir
[2023-10-31 17:25:13,951 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_dir
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure __lxstat
[2023-10-31 17:25:13,951 INFO  L130     BoogieDeclarations]: Found specification of procedure popen
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure fclose
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~int
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure fopencookie
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure feof
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure strdup
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~int
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure vfprintf
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure read~int
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure sysconf
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure fread
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure fputc
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure pclose
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_compile
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_config
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure write~int
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure readdir
[2023-10-31 17:25:13,952 INFO  L130     BoogieDeclarations]: Found specification of procedure strtol
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure strndup
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure getopt_long
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure #PthreadsMutexLock
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure munmap
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure fputs
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure perror
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure fflush
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_exec
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure isatty
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure write~$Pointer$
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure __errno_location
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_version
[2023-10-31 17:25:13,953 INFO  L130     BoogieDeclarations]: Found specification of procedure zError
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure read
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure inflateInit2_
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure search_file_worker
[2023-10-31 17:25:13,954 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_file_worker
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_b_loc
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure fdopen
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure fwrite
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~int
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_study
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure strncpy
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.start
[2023-10-31 17:25:13,954 INFO  L138     BoogieDeclarations]: Found implementation of procedure ULTIMATE.start
[2023-10-31 17:25:13,954 INFO  L130     BoogieDeclarations]: Found specification of procedure mmap
[2023-10-31 17:25:13,988 WARN  L209             CfgBuilder]: User set CodeBlockSize to SequenceOfStatements but program contains fork statements. Overwriting the user preferences and setting CodeBlockSize to SingleStatement
[2023-10-31 17:25:14,900 INFO  L235             CfgBuilder]: Building ICFG
[2023-10-31 17:25:14,902 INFO  L261             CfgBuilder]: Building CFG for each procedure with an implementation
[2023-10-31 17:26:36,415 INFO  L276             CfgBuilder]: Performing block encoding
[2023-10-31 17:26:36,761 INFO  L295             CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start)
[2023-10-31 17:26:36,762 INFO  L300             CfgBuilder]: Removed 350 assume(true) statements.
[2023-10-31 17:26:36,824 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.10 05:26:36 BoogieIcfgContainer
[2023-10-31 17:26:36,824 INFO  L132        PluginConnector]: ------------------------ END RCFGBuilder----------------------------
[2023-10-31 17:26:36,826 INFO  L113        PluginConnector]: ------------------------TraceAbstraction----------------------------
[2023-10-31 17:26:36,826 INFO  L271        PluginConnector]: Initializing TraceAbstraction...
[2023-10-31 17:26:36,828 INFO  L275        PluginConnector]: TraceAbstraction initialized
[2023-10-31 17:26:36,829 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 31.10 05:25:06" (1/3) ...
[2023-10-31 17:26:36,829 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@38f7056e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 31.10 05:26:36, skipping insertion in model container
[2023-10-31 17:26:36,829 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:25:08" (2/3) ...
[2023-10-31 17:26:36,830 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@38f7056e and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 31.10 05:26:36, skipping insertion in model container
[2023-10-31 17:26:36,830 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.10 05:26:36" (3/3) ...
[2023-10-31 17:26:36,831 INFO  L112   eAbstractionObserver]: Analyzing ICFG main.c
[2023-10-31 17:26:36,837 WARN  L145   ceAbstractionStarter]: Switching off computation of Hoare annotation because input is a concurrent program
[2023-10-31 17:26:36,844 INFO  L203   ceAbstractionStarter]: Automizer settings: Hoare:false NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION
[2023-10-31 17:26:36,846 INFO  L162   ceAbstractionStarter]: Applying trace abstraction to program that has 9791 error locations.
[2023-10-31 17:26:36,846 INFO  L515   ceAbstractionStarter]: Constructing petrified ICFG for 1 thread instances.
[2023-10-31 17:26:42,588 INFO  L144    ThreadInstanceAdder]: Constructed 1 joinOtherThreadTransitions.
[2023-10-31 17:26:43,268 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-31 17:26:43,272 INFO  L158              Benchmark]: Toolchain (without parser) took 96998.93ms. Allocated memory was 201.3MB in the beginning and 5.6GB in the end (delta: 5.4GB). Free memory was 158.6MB in the beginning and 3.2GB in the end (delta: -3.1GB). Peak memory consumption was 3.8GB. Max. memory is 16.1GB.
[2023-10-31 17:26:43,272 INFO  L158              Benchmark]: CDTParser took 0.13ms. Allocated memory is still 201.3MB. Free memory is still 176.5MB. There was no memory consumed. Max. memory is 16.1GB.
[2023-10-31 17:26:43,273 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 1857.43ms. Allocated memory was 201.3MB in the beginning and 285.2MB in the end (delta: 83.9MB). Free memory was 158.6MB in the beginning and 116.6MB in the end (delta: 42.0MB). Peak memory consumption was 198.7MB. Max. memory is 16.1GB.
[2023-10-31 17:26:43,274 INFO  L158              Benchmark]: Boogie Procedure Inliner took 2533.32ms. Allocated memory was 285.2MB in the beginning and 2.1GB in the end (delta: 1.8GB). Free memory was 116.6MB in the beginning and 1.4GB in the end (delta: -1.3GB). Peak memory consumption was 601.7MB. Max. memory is 16.1GB.
[2023-10-31 17:26:43,274 INFO  L158              Benchmark]: Boogie Preprocessor took 3208.98ms. Allocated memory was 2.1GB in the beginning and 5.6GB in the end (delta: 3.5GB). Free memory was 1.4GB in the beginning and 4.6GB in the end (delta: -3.2GB). Peak memory consumption was 757.2MB. Max. memory is 16.1GB.
[2023-10-31 17:26:43,275 INFO  L158              Benchmark]: RCFGBuilder took 82949.46ms. Allocated memory is still 5.6GB. Free memory was 4.6GB in the beginning and 3.9GB in the end (delta: 652.2MB). Peak memory consumption was 2.4GB. Max. memory is 16.1GB.
[2023-10-31 17:26:43,275 INFO  L158              Benchmark]: TraceAbstraction took 6444.65ms. Allocated memory is still 5.6GB. Free memory was 3.9GB in the beginning and 3.2GB in the end (delta: 693.1MB). Peak memory consumption was 2.1GB. Max. memory is 16.1GB.
[2023-10-31 17:26:43,278 INFO  L339   ainManager$Toolchain]: #######################  End [Toolchain 1] #######################
 --- Results ---
 * Results from de.uni_freiburg.informatik.ultimate.core:
  - StatisticsResult: Toolchain Benchmarks
    Benchmark results are:
 * CDTParser took 0.13ms. Allocated memory is still 201.3MB. Free memory is still 176.5MB. There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 1857.43ms. Allocated memory was 201.3MB in the beginning and 285.2MB in the end (delta: 83.9MB). Free memory was 158.6MB in the beginning and 116.6MB in the end (delta: 42.0MB). Peak memory consumption was 198.7MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 2533.32ms. Allocated memory was 285.2MB in the beginning and 2.1GB in the end (delta: 1.8GB). Free memory was 116.6MB in the beginning and 1.4GB in the end (delta: -1.3GB). Peak memory consumption was 601.7MB. Max. memory is 16.1GB.
 * Boogie Preprocessor took 3208.98ms. Allocated memory was 2.1GB in the beginning and 5.6GB in the end (delta: 3.5GB). Free memory was 1.4GB in the beginning and 4.6GB in the end (delta: -3.2GB). Peak memory consumption was 757.2MB. Max. memory is 16.1GB.
 * RCFGBuilder took 82949.46ms. Allocated memory is still 5.6GB. Free memory was 4.6GB in the beginning and 3.9GB in the end (delta: 652.2MB). Peak memory consumption was 2.4GB. Max. memory is 16.1GB.
 * TraceAbstraction took 6444.65ms. Allocated memory is still 5.6GB. Free memory was 3.9GB in the beginning and 3.2GB in the end (delta: 693.1MB). Peak memory consumption was 2.1GB. Max. memory is 16.1GB.
 * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction:
  - ExceptionOrErrorResult: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
    de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
RESULT: Ultimate could not prove your program: Toolchain returned no result.
[2023-10-31 17:26:43,415 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-31 17:26:45,086 INFO  L177        SettingsManager]: Resetting all preferences to default values...
[2023-10-31 17:26:45,088 INFO  L181        SettingsManager]: Resetting UltimateCore preferences to default values
[2023-10-31 17:26:45,124 INFO  L184        SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring...
[2023-10-31 17:26:45,125 INFO  L181        SettingsManager]: Resetting Boogie Preprocessor preferences to default values
[2023-10-31 17:26:45,126 INFO  L181        SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values
[2023-10-31 17:26:45,127 INFO  L181        SettingsManager]: Resetting Abstract Interpretation preferences to default values
[2023-10-31 17:26:45,128 INFO  L181        SettingsManager]: Resetting LassoRanker preferences to default values
[2023-10-31 17:26:45,129 INFO  L181        SettingsManager]: Resetting Reaching Definitions preferences to default values
[2023-10-31 17:26:45,130 INFO  L181        SettingsManager]: Resetting SyntaxChecker preferences to default values
[2023-10-31 17:26:45,131 INFO  L181        SettingsManager]: Resetting Sifa preferences to default values
[2023-10-31 17:26:45,132 INFO  L184        SettingsManager]: Büchi Program Product provides no preferences, ignoring...
[2023-10-31 17:26:45,132 INFO  L181        SettingsManager]: Resetting LTL2Aut preferences to default values
[2023-10-31 17:26:45,133 INFO  L181        SettingsManager]: Resetting PEA to Boogie preferences to default values
[2023-10-31 17:26:45,133 INFO  L181        SettingsManager]: Resetting BlockEncodingV2 preferences to default values
[2023-10-31 17:26:45,134 INFO  L181        SettingsManager]: Resetting ChcToBoogie preferences to default values
[2023-10-31 17:26:45,135 INFO  L181        SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values
[2023-10-31 17:26:45,135 INFO  L181        SettingsManager]: Resetting BuchiAutomizer preferences to default values
[2023-10-31 17:26:45,137 INFO  L181        SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values
[2023-10-31 17:26:45,138 INFO  L181        SettingsManager]: Resetting CodeCheck preferences to default values
[2023-10-31 17:26:45,139 INFO  L181        SettingsManager]: Resetting InvariantSynthesis preferences to default values
[2023-10-31 17:26:45,140 INFO  L181        SettingsManager]: Resetting RCFGBuilder preferences to default values
[2023-10-31 17:26:45,141 INFO  L181        SettingsManager]: Resetting Referee preferences to default values
[2023-10-31 17:26:45,142 INFO  L181        SettingsManager]: Resetting TraceAbstraction preferences to default values
[2023-10-31 17:26:45,145 INFO  L184        SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring...
[2023-10-31 17:26:45,145 INFO  L184        SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring...
[2023-10-31 17:26:45,145 INFO  L181        SettingsManager]: Resetting TreeAutomizer preferences to default values
[2023-10-31 17:26:45,146 INFO  L181        SettingsManager]: Resetting IcfgToChc preferences to default values
[2023-10-31 17:26:45,146 INFO  L181        SettingsManager]: Resetting IcfgTransformer preferences to default values
[2023-10-31 17:26:45,147 INFO  L184        SettingsManager]: ReqToTest provides no preferences, ignoring...
[2023-10-31 17:26:45,147 INFO  L181        SettingsManager]: Resetting Boogie Printer preferences to default values
[2023-10-31 17:26:45,148 INFO  L181        SettingsManager]: Resetting ChcSmtPrinter preferences to default values
[2023-10-31 17:26:45,148 INFO  L181        SettingsManager]: Resetting ReqPrinter preferences to default values
[2023-10-31 17:26:45,149 INFO  L181        SettingsManager]: Resetting Witness Printer preferences to default values
[2023-10-31 17:26:45,150 INFO  L184        SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring...
[2023-10-31 17:26:45,150 INFO  L181        SettingsManager]: Resetting CDTParser preferences to default values
[2023-10-31 17:26:45,150 INFO  L184        SettingsManager]: AutomataScriptParser provides no preferences, ignoring...
[2023-10-31 17:26:45,150 INFO  L184        SettingsManager]: ReqParser provides no preferences, ignoring...
[2023-10-31 17:26:45,151 INFO  L181        SettingsManager]: Resetting SmtParser preferences to default values
[2023-10-31 17:26:45,151 INFO  L181        SettingsManager]: Resetting Witness Parser preferences to default values
[2023-10-31 17:26:45,152 INFO  L188        SettingsManager]: Finished resetting all preferences to default values...
[2023-10-31 17:26:45,153 INFO  L101        SettingsManager]: Beginning loading settings from /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/config/svcomp-DataRace-64bit-Automizer_Bitvector.epf
[2023-10-31 17:26:45,171 INFO  L113        SettingsManager]: Loading preferences was successful
[2023-10-31 17:26:45,171 INFO  L115        SettingsManager]: Preferences different from defaults after loading the file:
[2023-10-31 17:26:45,171 INFO  L136        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2023-10-31 17:26:45,171 INFO  L138        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2023-10-31 17:26:45,172 INFO  L136        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2023-10-31 17:26:45,172 INFO  L138        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2023-10-31 17:26:45,172 INFO  L136        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2023-10-31 17:26:45,172 INFO  L138        SettingsManager]:  * Create parallel compositions if possible=false
[2023-10-31 17:26:45,172 INFO  L138        SettingsManager]:  * Use SBE=true
[2023-10-31 17:26:45,173 INFO  L136        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2023-10-31 17:26:45,173 INFO  L138        SettingsManager]:  * Check unreachability of error function in SV-COMP mode=false
[2023-10-31 17:26:45,173 INFO  L138        SettingsManager]:  * Check division by zero=IGNORE
[2023-10-31 17:26:45,173 INFO  L138        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2023-10-31 17:26:45,173 INFO  L138        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2023-10-31 17:26:45,174 INFO  L138        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2023-10-31 17:26:45,174 INFO  L138        SettingsManager]:  * Check absence of data races in concurrent programs=true
[2023-10-31 17:26:45,174 INFO  L138        SettingsManager]:  * Use bitvectors instead of ints=true
[2023-10-31 17:26:45,174 INFO  L138        SettingsManager]:  * Memory model=HoenickeLindenmann_4ByteResolution
[2023-10-31 17:26:45,174 INFO  L138        SettingsManager]:  * Check if freed pointer was valid=false
[2023-10-31 17:26:45,174 INFO  L138        SettingsManager]:  * Use constant arrays=true
[2023-10-31 17:26:45,174 INFO  L138        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2023-10-31 17:26:45,174 INFO  L136        SettingsManager]: Preferences of RCFGBuilder differ from their defaults:
[2023-10-31 17:26:45,175 INFO  L138        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2023-10-31 17:26:45,175 INFO  L138        SettingsManager]:  * SMT solver=External_DefaultMode
[2023-10-31 17:26:45,175 INFO  L138        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-10-31 17:26:45,175 INFO  L136        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2023-10-31 17:26:45,175 INFO  L138        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2023-10-31 17:26:45,175 INFO  L138        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles
[2023-10-31 17:26:45,175 INFO  L138        SettingsManager]:  * Trace refinement strategy=WOLF
[2023-10-31 17:26:45,175 INFO  L138        SettingsManager]:  * Command for external solver=cvc4 --incremental --print-success --lang smt 
[2023-10-31 17:26:45,175 INFO  L138        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2023-10-31 17:26:45,176 INFO  L138        SettingsManager]:  * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true
[2023-10-31 17:26:45,176 INFO  L138        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2023-10-31 17:26:45,176 INFO  L138        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2023-10-31 17:26:45,176 INFO  L138        SettingsManager]:  * Logic for external solver=AUFBV
[2023-10-31 17:26:45,176 INFO  L138        SettingsManager]:  * Independence relation used for large block encoding in concurrent analysis=SYNTACTIC
[2023-10-31 17:26:45,176 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-31 17:26:45,436 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2023-10-31 17:26:45,454 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2023-10-31 17:26:45,456 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2023-10-31 17:26:45,457 INFO  L271        PluginConnector]: Initializing CDTParser...
[2023-10-31 17:26:45,457 INFO  L275        PluginConnector]: CDTParser initialized
[2023-10-31 17:26:45,458 INFO  L432   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-10-31 17:26:46,534 INFO  L500              CDTParser]: Created temporary CDT project at NULL
[2023-10-31 17:26:46,895 INFO  L351              CDTParser]: Found 1 translation units.
[2023-10-31 17:26:46,895 INFO  L172              CDTParser]: Scanning /mnt/goblint-svcomp/goblint-bench/bench/concrat/the_silver_searcher/main.c
[2023-10-31 17:26:46,919 INFO  L394              CDTParser]: About to delete temporary CDT project at /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/f7d89d1be/509b247765924ac1a6194525c32deaac/FLAGc5d0e5bae
[2023-10-31 17:26:47,092 INFO  L402              CDTParser]: Successfully deleted /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/data/f7d89d1be/509b247765924ac1a6194525c32deaac
[2023-10-31 17:26:47,094 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2023-10-31 17:26:47,095 INFO  L131        ToolchainWalker]: Walking toolchain with 6 elements.
[2023-10-31 17:26:47,096 INFO  L113        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2023-10-31 17:26:47,096 INFO  L271        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2023-10-31 17:26:47,099 INFO  L275        PluginConnector]: CACSL2BoogieTranslator initialized
[2023-10-31 17:26:47,100 INFO  L185        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.10 05:26:47" (1/1) ...
[2023-10-31 17:26:47,100 INFO  L205        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@6e5b52c4 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:47, skipping insertion in model container
[2023-10-31 17:26:47,101 INFO  L185        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.10 05:26:47" (1/1) ...
[2023-10-31 17:26:47,106 INFO  L145         MainTranslator]: Starting translation in SV-COMP mode 
[2023-10-31 17:26:47,184 INFO  L178         MainTranslator]: Built tables and reachable declarations
[2023-10-31 17:26:47,356 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:47,369 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-31 17:26:47,435 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-31 17:26:47,438 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-10-31 17:26:47,444 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-31 17:26:47,453 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-31 17:26:47,458 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-10-31 17:26:47,462 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-31 17:26:47,469 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-31 17:26:47,473 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-10-31 17:26:47,492 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:47,493 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:47,494 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-10-31 17:26:47,542 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-10-31 17:26:47,543 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-10-31 17:26:47,544 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-10-31 17:26:47,544 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-10-31 17:26:47,545 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-10-31 17:26:47,546 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-10-31 17:26:47,547 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-10-31 17:26:47,548 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-10-31 17:26:47,548 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-10-31 17:26:47,549 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-10-31 17:26:47,620 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:26:47,622 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-31 17:26:47,634 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-10-31 17:26:47,636 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-31 17:26:47,638 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:47,643 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:26:47,659 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:26:47,665 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:26:47,671 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:26:47,674 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:26:47,677 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:26:47,687 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:26:47,710 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,711 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,711 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,712 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,713 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-31 17:26:47,713 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,785 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:47,786 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:47,787 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:47,788 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:47,789 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:47,790 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:47,839 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:26:47,840 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:26:47,841 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:26:47,841 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-10-31 17:26:47,841 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:26:47,842 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:26:47,843 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-10-31 17:26:47,843 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:47,845 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:47,846 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:47,848 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:47,861 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:47,864 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:47,868 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:26:47,871 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:47,872 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:47,875 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:26:47,882 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:26:47,892 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-31 17:26:47,893 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-10-31 17:26:47,896 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-31 17:26:47,896 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-31 17:26:47,897 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-31 17:26:47,899 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-31 17:26:47,909 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-31 17:26:47,912 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-31 17:26:47,952 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-31 17:26:47,953 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:47,954 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,955 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,955 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,956 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,957 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,957 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,958 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-31 17:26:47,959 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,963 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,966 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,968 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,970 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:47,970 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:47,972 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,973 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,974 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:47,974 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-10-31 17:26:47,975 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:47,984 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,986 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:47,987 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:47,988 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,990 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:47,991 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-10-31 17:26:47,993 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,994 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,995 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:47,996 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,007 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-10-31 17:26:48,008 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-10-31 17:26:48,009 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-31 17:26:48,010 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-31 17:26:48,057 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:26:48,059 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:26:48,064 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,066 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-31 17:26:48,068 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:26:48,069 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-10-31 17:26:48,069 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,070 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,070 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:26:48,071 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-31 17:26:48,071 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:48,073 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-10-31 17:26:48,073 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,073 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,074 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-10-31 17:26:48,074 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-31 17:26:48,075 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-31 17:26:48,076 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:48,076 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-10-31 17:26:48,077 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-10-31 17:26:48,082 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:26:48,090 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:26:48,145 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:26:48,159 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,160 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,160 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,162 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:26:48,164 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:26:48,205 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-10-31 17:26:48,235 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-10-31 17:26:48,236 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-10-31 17:26:48,238 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,239 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,239 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-10-31 17:26:48,240 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-31 17:26:48,241 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,242 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,242 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,243 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,257 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,258 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,259 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,260 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,268 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,268 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,271 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,272 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,273 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,273 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,281 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-10-31 17:26:48,282 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-10-31 17:26:48,284 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:26:48,287 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-31 17:26:48,288 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-31 17:26:48,290 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-31 17:26:48,292 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:26:48,293 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:26:48,294 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:26:48,295 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-10-31 17:26:48,295 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-10-31 17:26:48,296 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-10-31 17:26:48,296 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-31 17:26:48,297 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-31 17:26:48,309 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-10-31 17:26:48,312 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-10-31 17:26:48,313 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-10-31 17:26:48,315 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-10-31 17:26:48,326 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-31 17:26:48,327 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-31 17:26:48,327 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,328 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-31 17:26:48,328 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,329 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,329 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,337 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-31 17:26:48,338 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-31 17:26:48,339 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-31 17:26:48,340 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:26:48,340 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:26:48,343 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:26:48,344 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:26:48,365 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-10-31 17:26:48,366 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-31 17:26:48,366 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-10-31 17:26:48,366 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-10-31 17:26:48,369 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,369 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,374 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,375 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-10-31 17:26:48,375 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-10-31 17:26:48,376 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,378 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:26:48,380 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-31 17:26:48,381 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-31 17:26:48,397 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-31 17:26:48,398 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-31 17:26:48,401 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-31 17:26:48,405 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,406 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:26:48,406 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:26:48,407 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,407 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:26:48,407 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,407 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-31 17:26:48,408 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,408 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,409 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-10-31 17:26:48,410 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:48,415 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-31 17:26:48,416 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-31 17:26:48,416 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-31 17:26:48,416 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-31 17:26:48,416 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-31 17:26:48,418 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-31 17:26:48,418 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-31 17:26:48,419 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-31 17:26:48,420 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-31 17:26:48,424 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:48,424 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-10-31 17:26:48,475 INFO  L203         MainTranslator]: Completed pre-run
[2023-10-31 17:26:48,488 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,489 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-31 17:26:48,490 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-31 17:26:48,491 WARN  L623        FunctionHandler]: Unknown extern function getc
[2023-10-31 17:26:48,491 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-31 17:26:48,493 WARN  L623        FunctionHandler]: Unknown extern function __uflow
[2023-10-31 17:26:48,493 WARN  L623        FunctionHandler]: Unknown extern function putc
[2023-10-31 17:26:48,494 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-31 17:26:48,495 WARN  L623        FunctionHandler]: Unknown extern function __overflow
[2023-10-31 17:26:48,496 WARN  L623        FunctionHandler]: Unknown extern function __getdelim
[2023-10-31 17:26:48,497 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:48,498 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:48,498 WARN  L623        FunctionHandler]: Unknown extern function strtoll
[2023-10-31 17:26:48,500 WARN  L623        FunctionHandler]: Unknown extern function __xstat
[2023-10-31 17:26:48,500 WARN  L623        FunctionHandler]: Unknown extern function __lxstat
[2023-10-31 17:26:48,500 WARN  L623        FunctionHandler]: Unknown extern function __fxstat
[2023-10-31 17:26:48,501 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat
[2023-10-31 17:26:48,501 WARN  L623        FunctionHandler]: Unknown extern function __xmknod
[2023-10-31 17:26:48,502 WARN  L623        FunctionHandler]: Unknown extern function __xmknodat
[2023-10-31 17:26:48,502 WARN  L623        FunctionHandler]: Unknown extern function __xstat64
[2023-10-31 17:26:48,502 WARN  L623        FunctionHandler]: Unknown extern function __lxstat64
[2023-10-31 17:26:48,503 WARN  L623        FunctionHandler]: Unknown extern function __fxstat64
[2023-10-31 17:26:48,503 WARN  L623        FunctionHandler]: Unknown extern function __fxstatat64
[2023-10-31 17:26:48,513 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:26:48,513 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-31 17:26:48,517 WARN  L623        FunctionHandler]: Unknown extern function fopen
[2023-10-31 17:26:48,518 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-31 17:26:48,519 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:48,519 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:26:48,521 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:26:48,524 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:26:48,526 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:26:48,527 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:26:48,528 WARN  L623        FunctionHandler]: Unknown extern function fnmatch
[2023-10-31 17:26:48,533 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:26:48,536 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,537 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,537 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,537 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,537 WARN  L623        FunctionHandler]: Unknown extern function vfprintf
[2023-10-31 17:26:48,538 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,577 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:48,578 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:48,579 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:48,579 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:48,580 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:48,580 WARN  L623        FunctionHandler]: Unknown extern function ##fun~$Pointer$~TO~VOID
[2023-10-31 17:26:48,647 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:26:48,648 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:26:48,648 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:26:48,649 WARN  L623        FunctionHandler]: Unknown extern function isatty
[2023-10-31 17:26:48,649 WARN  L623        FunctionHandler]: Unknown extern function fileno
[2023-10-31 17:26:48,649 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:26:48,650 WARN  L623        FunctionHandler]: Unknown extern function getopt_long
[2023-10-31 17:26:48,650 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:48,651 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,652 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:48,653 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,654 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:48,655 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,657 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:26:48,659 WARN  L623        FunctionHandler]: Unknown extern function strtol
[2023-10-31 17:26:48,660 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,661 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:26:48,666 WARN  L623        FunctionHandler]: Unknown extern function atoi
[2023-10-31 17:26:48,673 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-31 17:26:48,674 WARN  L623        FunctionHandler]: Unknown extern function perror
[2023-10-31 17:26:48,676 WARN  L623        FunctionHandler]: Unknown extern function popen
[2023-10-31 17:26:48,676 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-31 17:26:48,677 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-31 17:26:48,678 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-31 17:26:48,694 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-31 17:26:48,698 WARN  L623        FunctionHandler]: Unknown extern function realpath
[2023-10-31 17:26:48,721 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-31 17:26:48,721 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:48,723 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,724 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,725 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,725 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,726 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,727 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,728 WARN  L623        FunctionHandler]: Unknown extern function fwrite
[2023-10-31 17:26:48,728 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,733 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,738 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,742 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,744 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:48,744 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:48,748 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,758 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,759 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:48,760 WARN  L623        FunctionHandler]: Unknown extern function fputs
[2023-10-31 17:26:48,760 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:48,763 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,764 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:48,765 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:48,766 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,767 WARN  L623        FunctionHandler]: Unknown extern function fputc
[2023-10-31 17:26:48,768 WARN  L623        FunctionHandler]: Unknown extern function fflush
[2023-10-31 17:26:48,770 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,771 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,772 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,772 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,774 WARN  L623        FunctionHandler]: Unknown extern function opendir
[2023-10-31 17:26:48,774 WARN  L623        FunctionHandler]: Unknown extern function readdir
[2023-10-31 17:26:48,776 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-31 17:26:48,776 WARN  L623        FunctionHandler]: Unknown extern function closedir
[2023-10-31 17:26:48,790 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:26:48,793 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:26:48,801 WARN  L623        FunctionHandler]: Unknown extern function fprintf
[2023-10-31 17:26:48,804 WARN  L623        FunctionHandler]: Unknown extern function getline
[2023-10-31 17:26:48,807 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:26:48,808 WARN  L623        FunctionHandler]: Unknown extern function open
[2023-10-31 17:26:48,808 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,809 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,809 WARN  L623        FunctionHandler]: Unknown extern function fstat
[2023-10-31 17:26:48,810 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-31 17:26:48,811 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:48,812 WARN  L623        FunctionHandler]: Unknown extern function mmap
[2023-10-31 17:26:48,813 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,813 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,813 WARN  L623        FunctionHandler]: Unknown extern function madvise
[2023-10-31 17:26:48,814 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-31 17:26:48,814 WARN  L623        FunctionHandler]: Unknown extern function read
[2023-10-31 17:26:48,815 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:48,816 WARN  L623        FunctionHandler]: Unknown extern function munmap
[2023-10-31 17:26:48,816 WARN  L623        FunctionHandler]: Unknown extern function close
[2023-10-31 17:26:48,822 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:26:48,828 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:26:48,869 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:26:48,879 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,880 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,880 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,881 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:26:48,883 WARN  L623        FunctionHandler]: Unknown extern function pcre_exec
[2023-10-31 17:26:48,902 WARN  L623        FunctionHandler]: Unknown extern function strncpy
[2023-10-31 17:26:48,904 WARN  L623        FunctionHandler]: Unknown extern function strdup
[2023-10-31 17:26:48,904 WARN  L623        FunctionHandler]: Unknown extern function strndup
[2023-10-31 17:26:48,906 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,906 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,906 WARN  L623        FunctionHandler]: Unknown extern function toupper
[2023-10-31 17:26:48,907 WARN  L623        FunctionHandler]: Unknown extern function __ctype_toupper_loc
[2023-10-31 17:26:48,908 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,908 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,908 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,909 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,910 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,910 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,910 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,910 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,914 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,914 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,916 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,916 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,917 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,917 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,944 WARN  L623        FunctionHandler]: Unknown extern function pcre_compile
[2023-10-31 17:26:48,945 WARN  L623        FunctionHandler]: Unknown extern function pcre_study
[2023-10-31 17:26:48,946 WARN  L623        FunctionHandler]: Unknown extern function strncmp
[2023-10-31 17:26:48,948 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-31 17:26:48,949 WARN  L623        FunctionHandler]: Unknown extern function strpbrk
[2023-10-31 17:26:48,951 WARN  L623        FunctionHandler]: Unknown extern function __ctype_b_loc
[2023-10-31 17:26:48,952 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:26:48,953 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:26:48,954 WARN  L623        FunctionHandler]: Unknown extern function stat
[2023-10-31 17:26:48,955 WARN  L623        FunctionHandler]: Unknown extern function vasprintf
[2023-10-31 17:26:48,955 WARN  L623        FunctionHandler]: Unknown extern function flockfile
[2023-10-31 17:26:48,956 WARN  L623        FunctionHandler]: Unknown extern function getc_unlocked
[2023-10-31 17:26:48,956 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-31 17:26:48,956 WARN  L623        FunctionHandler]: Unknown extern function funlockfile
[2023-10-31 17:26:48,958 WARN  L623        FunctionHandler]: Unknown extern function __strtol_internal
[2023-10-31 17:26:48,958 WARN  L623        FunctionHandler]: Unknown extern function __strtoul_internal
[2023-10-31 17:26:48,958 WARN  L623        FunctionHandler]: Unknown extern function __wcstol_internal
[2023-10-31 17:26:48,959 WARN  L623        FunctionHandler]: Unknown extern function __wcstoul_internal
[2023-10-31 17:26:48,960 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-31 17:26:48,960 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-31 17:26:48,961 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,961 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-31 17:26:48,962 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,962 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,963 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,966 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-31 17:26:48,966 WARN  L623        FunctionHandler]: Unknown extern function getpagesize
[2023-10-31 17:26:48,967 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-31 17:26:48,968 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:26:48,968 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:26:48,970 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:26:48,970 WARN  L623        FunctionHandler]: Unknown extern function memcmp
[2023-10-31 17:26:48,972 WARN  L623        FunctionHandler]: Unknown extern function pcre_version
[2023-10-31 17:26:48,972 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-31 17:26:48,972 WARN  L623        FunctionHandler]: Unknown extern function pcre_config
[2023-10-31 17:26:48,972 WARN  L623        FunctionHandler]: Unknown extern function sysconf
[2023-10-31 17:26:48,974 WARN  L623        FunctionHandler]: Unknown extern function tolower
[2023-10-31 17:26:48,974 WARN  L623        FunctionHandler]: Unknown extern function __ctype_tolower_loc
[2023-10-31 17:26:48,978 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,978 WARN  L611        FunctionHandler]: implicit declaration of function __builtin_memset
[2023-10-31 17:26:48,978 WARN  L623        FunctionHandler]: Unknown extern function pthread_setaffinity_np
[2023-10-31 17:26:48,979 WARN  L623        FunctionHandler]: Unknown extern function strerror
[2023-10-31 17:26:48,981 WARN  L623        FunctionHandler]: Unknown extern function lstat
[2023-10-31 17:26:48,983 WARN  L623        FunctionHandler]: Unknown extern function gettimeofday
[2023-10-31 17:26:48,984 WARN  L623        FunctionHandler]: Unknown extern function pclose
[2023-10-31 17:26:48,987 WARN  L623        FunctionHandler]: Unknown extern function inflateInit2_
[2023-10-31 17:26:48,988 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-31 17:26:48,992 WARN  L623        FunctionHandler]: Unknown extern function lzma_auto_decoder
[2023-10-31 17:26:48,994 WARN  L623        FunctionHandler]: Unknown extern function inflateEnd
[2023-10-31 17:26:48,994 WARN  L623        FunctionHandler]: Unknown extern function lzma_end
[2023-10-31 17:26:48,995 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:26:48,995 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,995 WARN  L623        FunctionHandler]: Unknown extern function strstr
[2023-10-31 17:26:48,995 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,995 WARN  L623        FunctionHandler]: Unknown extern function fdopen
[2023-10-31 17:26:48,996 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,996 WARN  L623        FunctionHandler]: Unknown extern function __errno_location
[2023-10-31 17:26:48,996 WARN  L623        FunctionHandler]: Unknown extern function fopencookie
[2023-10-31 17:26:48,997 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:49,001 WARN  L623        FunctionHandler]: Unknown extern function fread
[2023-10-31 17:26:49,001 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-31 17:26:49,001 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-31 17:26:49,001 WARN  L623        FunctionHandler]: Unknown extern function feof
[2023-10-31 17:26:49,002 WARN  L623        FunctionHandler]: Unknown extern function warn
[2023-10-31 17:26:49,003 WARN  L623        FunctionHandler]: Unknown extern function inflate
[2023-10-31 17:26:49,003 WARN  L623        FunctionHandler]: Unknown extern function zError
[2023-10-31 17:26:49,003 WARN  L623        FunctionHandler]: Unknown extern function lzma_code
[2023-10-31 17:26:49,004 WARN  L623        FunctionHandler]: Unknown extern function ferror
[2023-10-31 17:26:49,007 WARN  L623        FunctionHandler]: Unknown extern function fclose
[2023-10-31 17:26:49,007 INFO  L210          PostProcessor]: Analyzing one entry point: main
[2023-10-31 17:26:49,081 INFO  L208         MainTranslator]: Completed translation
[2023-10-31 17:26:49,082 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49 WrapperNode
[2023-10-31 17:26:49,082 INFO  L132        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2023-10-31 17:26:49,083 INFO  L113        PluginConnector]: ------------------------Boogie Procedure Inliner----------------------------
[2023-10-31 17:26:49,083 INFO  L271        PluginConnector]: Initializing Boogie Procedure Inliner...
[2023-10-31 17:26:49,083 INFO  L275        PluginConnector]: Boogie Procedure Inliner initialized
[2023-10-31 17:26:49,087 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:49,276 INFO  L185        PluginConnector]: Executing the observer Inliner from plugin Boogie Procedure Inliner for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:51,237 INFO  L138                Inliner]: procedures = 276, calls = 7126, calls flagged for inlining = 382, calls inlined = 1780, statements flattened = 116129
[2023-10-31 17:26:51,238 INFO  L132        PluginConnector]: ------------------------ END Boogie Procedure Inliner----------------------------
[2023-10-31 17:26:51,239 INFO  L113        PluginConnector]: ------------------------Boogie Preprocessor----------------------------
[2023-10-31 17:26:51,239 INFO  L271        PluginConnector]: Initializing Boogie Preprocessor...
[2023-10-31 17:26:51,239 INFO  L275        PluginConnector]: Boogie Preprocessor initialized
[2023-10-31 17:26:51,249 INFO  L185        PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:51,249 INFO  L185        PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:51,920 INFO  L185        PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:51,921 INFO  L185        PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:53,342 INFO  L185        PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:53,543 INFO  L185        PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:53,739 INFO  L185        PluginConnector]: Executing the observer LTLStepAnnotator from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:53,946 INFO  L185        PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:54,339 INFO  L132        PluginConnector]: ------------------------ END Boogie Preprocessor----------------------------
[2023-10-31 17:26:54,340 INFO  L113        PluginConnector]: ------------------------RCFGBuilder----------------------------
[2023-10-31 17:26:54,340 INFO  L271        PluginConnector]: Initializing RCFGBuilder...
[2023-10-31 17:26:54,340 INFO  L275        PluginConnector]: RCFGBuilder initialized
[2023-10-31 17:26:54,340 INFO  L185        PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (1/1) ...
[2023-10-31 17:26:54,344 INFO  L173          SolverBuilder]: Constructing external solver with command: z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000
[2023-10-31 17:26:54,353 INFO  L189       MonitoredProcess]: No working directory specified, using /mnt/goblint-svcomp/benchexec/tools-pldi/UAutomizer-linux/z3
[2023-10-31 17:26:54,367 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-31 17:26:54,372 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-31 17:26:54,395 INFO  L130     BoogieDeclarations]: Found specification of procedure realpath
[2023-10-31 17:26:54,395 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE1
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure __getdelim
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure strncmp
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE8
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure __builtin_memset
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE4
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure read~intINTTYPE2
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure gettimeofday
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure pthread_setaffinity_np
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure fileno
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_toupper_loc
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure close
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure vasprintf
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure fopen
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure fnmatch
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure strpbrk
[2023-10-31 17:26:54,396 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure memcmp
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure read~$Pointer$
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_tolower_loc
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure strerror
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure __xstat
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure strstr
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure closedir
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure opendir
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure lzma_auto_decoder
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE8
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE1
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure write~intINTTYPE4
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~$Pointer$
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE2
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE1
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE4
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure write~init~intINTTYPE8
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure madvise
[2023-10-31 17:26:54,397 INFO  L130     BoogieDeclarations]: Found specification of procedure binary_search
[2023-10-31 17:26:54,397 INFO  L138     BoogieDeclarations]: Found implementation of procedure binary_search
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure __fxstat
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure search_dir
[2023-10-31 17:26:54,398 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_dir
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure __lxstat
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure popen
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure fclose
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure fopencookie
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure feof
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure strdup
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure vfprintf
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure sysconf
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure fread
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure fputc
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure pclose
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_compile
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_config
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure readdir
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure strtol
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE4
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE2
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure strndup
[2023-10-31 17:26:54,398 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE1
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure write~unchecked~intINTTYPE8
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure getopt_long
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure #PthreadsMutexLock
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure munmap
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure fputs
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure perror
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure fflush
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure #Ultimate.allocInit
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_exec
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure isatty
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure write~$Pointer$
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE8
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE2
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE4
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure __errno_location
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_version
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure zError
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure read
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure inflateInit2_
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure search_file_worker
[2023-10-31 17:26:54,399 INFO  L138     BoogieDeclarations]: Found implementation of procedure search_file_worker
[2023-10-31 17:26:54,399 INFO  L130     BoogieDeclarations]: Found specification of procedure __ctype_b_loc
[2023-10-31 17:26:54,400 INFO  L130     BoogieDeclarations]: Found specification of procedure fdopen
[2023-10-31 17:26:54,400 INFO  L130     BoogieDeclarations]: Found specification of procedure fwrite
[2023-10-31 17:26:54,400 INFO  L130     BoogieDeclarations]: Found specification of procedure read~unchecked~intINTTYPE1
[2023-10-31 17:26:54,400 INFO  L130     BoogieDeclarations]: Found specification of procedure pcre_study
[2023-10-31 17:26:54,400 INFO  L130     BoogieDeclarations]: Found specification of procedure strncpy
[2023-10-31 17:26:54,400 INFO  L130     BoogieDeclarations]: Found specification of procedure ULTIMATE.start
[2023-10-31 17:26:54,400 INFO  L138     BoogieDeclarations]: Found implementation of procedure ULTIMATE.start
[2023-10-31 17:26:54,400 INFO  L130     BoogieDeclarations]: Found specification of procedure mmap
[2023-10-31 17:26:54,431 WARN  L209             CfgBuilder]: User set CodeBlockSize to SequenceOfStatements but program contains fork statements. Overwriting the user preferences and setting CodeBlockSize to SingleStatement
[2023-10-31 17:26:55,282 INFO  L235             CfgBuilder]: Building ICFG
[2023-10-31 17:26:55,283 INFO  L261             CfgBuilder]: Building CFG for each procedure with an implementation
[2023-10-31 17:32:26,580 INFO  L276             CfgBuilder]: Performing block encoding
[2023-10-31 17:32:26,759 INFO  L295             CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start)
[2023-10-31 17:32:26,759 INFO  L300             CfgBuilder]: Removed 350 assume(true) statements.
[2023-10-31 17:32:26,823 INFO  L202        PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.10 05:32:26 BoogieIcfgContainer
[2023-10-31 17:32:26,823 INFO  L132        PluginConnector]: ------------------------ END RCFGBuilder----------------------------
[2023-10-31 17:32:26,825 INFO  L113        PluginConnector]: ------------------------TraceAbstraction----------------------------
[2023-10-31 17:32:26,825 INFO  L271        PluginConnector]: Initializing TraceAbstraction...
[2023-10-31 17:32:26,827 INFO  L275        PluginConnector]: TraceAbstraction initialized
[2023-10-31 17:32:26,828 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "CDTParser AST 31.10 05:26:47" (1/3) ...
[2023-10-31 17:32:26,828 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@191c61bb and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 31.10 05:32:26, skipping insertion in model container
[2023-10-31 17:32:26,828 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.10 05:26:49" (2/3) ...
[2023-10-31 17:32:26,828 INFO  L205        PluginConnector]: Invalid model from TraceAbstraction for observer de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction.TraceAbstractionObserver@191c61bb and model type de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction AST 31.10 05:32:26, skipping insertion in model container
[2023-10-31 17:32:26,828 INFO  L185        PluginConnector]: Executing the observer TraceAbstractionObserver from plugin TraceAbstraction for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.10 05:32:26" (3/3) ...
[2023-10-31 17:32:26,829 INFO  L112   eAbstractionObserver]: Analyzing ICFG main.c
[2023-10-31 17:32:26,835 WARN  L145   ceAbstractionStarter]: Switching off computation of Hoare annotation because input is a concurrent program
[2023-10-31 17:32:26,842 INFO  L203   ceAbstractionStarter]: Automizer settings: Hoare:false NWA Interpolation:FPandBP Determinization: PREDICATE_ABSTRACTION
[2023-10-31 17:32:26,845 INFO  L162   ceAbstractionStarter]: Applying trace abstraction to program that has 9791 error locations.
[2023-10-31 17:32:26,845 INFO  L515   ceAbstractionStarter]: Constructing petrified ICFG for 1 thread instances.
[2023-10-31 17:32:34,621 INFO  L144    ThreadInstanceAdder]: Constructed 1 joinOtherThreadTransitions.
[2023-10-31 17:32:35,147 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-31 17:32:35,151 INFO  L158              Benchmark]: Toolchain (without parser) took 348055.22ms. Allocated memory was 92.3MB in the beginning and 7.2GB in the end (delta: 7.1GB). Free memory was 60.5MB in the beginning and 3.3GB in the end (delta: -3.3GB). Peak memory consumption was 3.8GB. Max. memory is 16.1GB.
[2023-10-31 17:32:35,152 INFO  L158              Benchmark]: CDTParser took 0.11ms. Allocated memory is still 58.7MB. Free memory is still 37.2MB. There was no memory consumed. Max. memory is 16.1GB.
[2023-10-31 17:32:35,152 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 1985.79ms. Allocated memory was 92.3MB in the beginning and 255.9MB in the end (delta: 163.6MB). Free memory was 60.5MB in the beginning and 119.0MB in the end (delta: -58.5MB). Peak memory consumption was 163.6MB. Max. memory is 16.1GB.
[2023-10-31 17:32:35,153 INFO  L158              Benchmark]: Boogie Procedure Inliner took 2155.37ms. Allocated memory was 255.9MB in the beginning and 1.5GB in the end (delta: 1.2GB). Free memory was 119.0MB in the beginning and 775.2MB in the end (delta: -656.2MB). Peak memory consumption was 562.2MB. Max. memory is 16.1GB.
[2023-10-31 17:32:35,153 INFO  L158              Benchmark]: Boogie Preprocessor took 3100.23ms. Allocated memory was 1.5GB in the beginning and 4.4GB in the end (delta: 2.9GB). Free memory was 775.2MB in the beginning and 3.4GB in the end (delta: -2.6GB). Peak memory consumption was 658.5MB. Max. memory is 16.1GB.
[2023-10-31 17:32:35,154 INFO  L158              Benchmark]: RCFGBuilder took 332483.87ms. Allocated memory was 4.4GB in the beginning and 7.2GB in the end (delta: 2.8GB). Free memory was 3.4GB in the beginning and 5.4GB in the end (delta: -2.0GB). Peak memory consumption was 3.5GB. Max. memory is 16.1GB.
[2023-10-31 17:32:35,154 INFO  L158              Benchmark]: TraceAbstraction took 8324.86ms. Allocated memory is still 7.2GB. Free memory was 5.4GB in the beginning and 3.3GB in the end (delta: 2.1GB). Peak memory consumption was 2.1GB. Max. memory is 16.1GB.
[2023-10-31 17:32:35,157 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.11ms. Allocated memory is still 58.7MB. Free memory is still 37.2MB. There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 1985.79ms. Allocated memory was 92.3MB in the beginning and 255.9MB in the end (delta: 163.6MB). Free memory was 60.5MB in the beginning and 119.0MB in the end (delta: -58.5MB). Peak memory consumption was 163.6MB. Max. memory is 16.1GB.
 * Boogie Procedure Inliner took 2155.37ms. Allocated memory was 255.9MB in the beginning and 1.5GB in the end (delta: 1.2GB). Free memory was 119.0MB in the beginning and 775.2MB in the end (delta: -656.2MB). Peak memory consumption was 562.2MB. Max. memory is 16.1GB.
 * Boogie Preprocessor took 3100.23ms. Allocated memory was 1.5GB in the beginning and 4.4GB in the end (delta: 2.9GB). Free memory was 775.2MB in the beginning and 3.4GB in the end (delta: -2.6GB). Peak memory consumption was 658.5MB. Max. memory is 16.1GB.
 * RCFGBuilder took 332483.87ms. Allocated memory was 4.4GB in the beginning and 7.2GB in the end (delta: 2.8GB). Free memory was 3.4GB in the beginning and 5.4GB in the end (delta: -2.0GB). Peak memory consumption was 3.5GB. Max. memory is 16.1GB.
 * TraceAbstraction took 8324.86ms. Allocated memory is still 7.2GB. Free memory was 5.4GB in the beginning and 3.3GB in the end (delta: 2.1GB). Peak memory consumption was 2.1GB. Max. memory is 16.1GB.
 * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction:
  - ExceptionOrErrorResult: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition
    de.uni_freiburg.informatik.ultimate.plugins.generator.traceabstraction: UnsupportedOperationException: unsupported for concurrent analysis IcfgCallTransition: de.uni_freiburg.informatik.ultimate.lib.tracecheckerutils.cfg2automaton.Cfg2Automaton.constructPetriNet(Cfg2Automaton.java:359)
RESULT: Ultimate could not prove your program: Toolchain returned no result.
[2023-10-31 17:32:35,244 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

