./Ultimate.py --spec ../sv-benchmarks/c/properties/unreach-call.prp --file ../sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i --full-output --architecture 64bit


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


Checking for ERROR reachability
Using default analysis
Version 023d838f
Calling Ultimate with: /root/.sdkman/candidates/java/11.0.12-open/bin/java -Dosgi.configuration.area=/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data -tc /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/AutomizerReach.xml -i ../sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i -s /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Default.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux --witnessprinter.witness.filename witness --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) )

 --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 0f7be000be519abe1ca18329c9838ba75d5c3631e353184761c039203f134940
--- Real Ultimate output ---
This is Ultimate 0.2.5-tmp.fs.icfgbuilder-eval-023d838-m
[2024-11-10 13:51:22,922 INFO  L188        SettingsManager]: Resetting all preferences to default values...
[2024-11-10 13:51:22,984 INFO  L114        SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Default.epf
[2024-11-10 13:51:22,988 WARN  L101        SettingsManager]: Preference file contains the following unknown settings:
[2024-11-10 13:51:22,989 WARN  L103        SettingsManager]:   * de.uni_freiburg.informatik.ultimate.core.Log level for class
[2024-11-10 13:51:23,012 INFO  L130        SettingsManager]: Preferences different from defaults after loading the file:
[2024-11-10 13:51:23,012 INFO  L151        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-11-10 13:51:23,013 INFO  L153        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-11-10 13:51:23,013 INFO  L151        SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults:
[2024-11-10 13:51:23,014 INFO  L153        SettingsManager]:  * Use memory slicer=true
[2024-11-10 13:51:23,015 INFO  L151        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-11-10 13:51:23,015 INFO  L153        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-11-10 13:51:23,015 INFO  L151        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-11-10 13:51:23,016 INFO  L153        SettingsManager]:  * Create parallel compositions if possible=false
[2024-11-10 13:51:23,016 INFO  L153        SettingsManager]:  * Use SBE=true
[2024-11-10 13:51:23,017 INFO  L151        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-11-10 13:51:23,017 INFO  L153        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2024-11-10 13:51:23,018 INFO  L153        SettingsManager]:  * Overapproximate operations on floating types=true
[2024-11-10 13:51:23,018 INFO  L153        SettingsManager]:  * Check division by zero=IGNORE
[2024-11-10 13:51:23,018 INFO  L153        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2024-11-10 13:51:23,020 INFO  L153        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-11-10 13:51:23,021 INFO  L153        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2024-11-10 13:51:23,021 INFO  L153        SettingsManager]:  * Allow undefined functions=false
[2024-11-10 13:51:23,021 INFO  L153        SettingsManager]:  * Check if freed pointer was valid=false
[2024-11-10 13:51:23,022 INFO  L153        SettingsManager]:  * Use constant arrays=true
[2024-11-10 13:51:23,022 INFO  L151        SettingsManager]: Preferences of IcfgBuilder differ from their defaults:
[2024-11-10 13:51:23,022 INFO  L153        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2024-11-10 13:51:23,022 INFO  L153        SettingsManager]:  * Only consider context switches at boundaries of atomic blocks=true
[2024-11-10 13:51:23,022 INFO  L153        SettingsManager]:  * SMT solver=External_DefaultMode
[2024-11-10 13:51:23,022 INFO  L153        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000
[2024-11-10 13:51:23,023 INFO  L151        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-11-10 13:51:23,023 INFO  L153        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2024-11-10 13:51:23,023 INFO  L153        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopHeads
[2024-11-10 13:51:23,023 INFO  L153        SettingsManager]:  * Trace refinement strategy=CAMEL
[2024-11-10 13:51:23,023 INFO  L153        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in
[2024-11-10 13:51:23,023 INFO  L153        SettingsManager]:  * Apply one-shot large block encoding in concurrent analysis=false
[2024-11-10 13:51:23,024 INFO  L153        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2024-11-10 13:51:23,024 INFO  L153        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2024-11-10 13:51:23,024 INFO  L153        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2024-11-10 13:51:23,024 INFO  L153        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:/storage/repos/ultimate/releaseScripts/default/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 -> /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness
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 ! call(reach_error())) )


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 -> 0f7be000be519abe1ca18329c9838ba75d5c3631e353184761c039203f134940
[2024-11-10 13:51:23,210 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2024-11-10 13:51:23,229 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-11-10 13:51:23,232 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-11-10 13:51:23,233 INFO  L270        PluginConnector]: Initializing CDTParser...
[2024-11-10 13:51:23,233 INFO  L274        PluginConnector]: CDTParser initialized
[2024-11-10 13:51:23,234 INFO  L431   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i
[2024-11-10 13:51:24,444 INFO  L533              CDTParser]: Created temporary CDT project at NULL
[2024-11-10 13:51:25,392 INFO  L384              CDTParser]: Found 1 translation units.
[2024-11-10 13:51:25,393 INFO  L180              CDTParser]: Scanning /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i
[2024-11-10 13:51:25,527 INFO  L427              CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/818f13b8e/a562f00c82be4156897a7c2c57e09fd2/FLAGab8d5518b
[2024-11-10 13:51:26,005 INFO  L435              CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/818f13b8e/a562f00c82be4156897a7c2c57e09fd2
[2024-11-10 13:51:26,007 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-11-10 13:51:26,008 INFO  L133        ToolchainWalker]: Walking toolchain with 6 elements.
[2024-11-10 13:51:26,009 INFO  L112        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-11-10 13:51:26,009 INFO  L270        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-11-10 13:51:26,013 INFO  L274        PluginConnector]: CACSL2BoogieTranslator initialized
[2024-11-10 13:51:26,013 INFO  L184        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 10.11 01:51:26" (1/1) ...
[2024-11-10 13:51:26,014 INFO  L204        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@737d92c3 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.11 01:51:26, skipping insertion in model container
[2024-11-10 13:51:26,014 INFO  L184        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 10.11 01:51:26" (1/1) ...
[2024-11-10 13:51:26,288 INFO  L175         MainTranslator]: Built tables and reachable declarations
[2024-11-10 13:51:49,167 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___memcpy_chk
[2024-11-10 13:51:49,167 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___memmove_chk
[2024-11-10 13:51:49,171 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk
[2024-11-10 13:51:49,172 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___memset_chk
[2024-11-10 13:51:49,176 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___strcpy_chk
[2024-11-10 13:51:49,177 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk
[2024-11-10 13:51:49,177 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___strncpy_chk
[2024-11-10 13:51:49,179 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___strcat_chk
[2024-11-10 13:51:49,179 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___strncat_chk
[2024-11-10 13:51:49,202 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk
[2024-11-10 13:51:49,296 WARN  L635        FunctionHandler]: implicit declaration of function __builtin_strspn
[2024-11-10 13:51:49,306 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550307,550320]
[2024-11-10 13:51:49,309 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550396,550409]
[2024-11-10 13:51:49,310 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550586,550599]
[2024-11-10 13:51:49,310 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550641,550654]
[2024-11-10 13:51:49,310 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550703,550716]
[2024-11-10 13:51:49,310 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550839,550852]
[2024-11-10 13:51:49,311 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550899,550912]
[2024-11-10 13:51:49,311 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551003,551016]
[2024-11-10 13:51:49,311 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551164,551177]
[2024-11-10 13:51:49,312 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551282,551295]
[2024-11-10 13:51:49,312 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551342,551355]
[2024-11-10 13:51:49,342 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551815,551828]
[2024-11-10 13:51:49,343 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551870,551883]
[2024-11-10 13:51:49,343 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552115,552128]
[2024-11-10 13:51:49,344 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552216,552229]
[2024-11-10 13:51:49,344 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552381,552394]
[2024-11-10 13:51:49,345 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552619,552632]
[2024-11-10 13:51:49,345 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552816,552829]
[2024-11-10 13:51:49,345 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552879,552892]
[2024-11-10 13:51:49,346 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[553037,553050]
[2024-11-10 13:51:49,346 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[553092,553105]
[2024-11-10 13:51:49,346 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[553156,553169]
[2024-11-10 13:51:49,349 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555071,555084]
[2024-11-10 13:51:49,350 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555126,555139]
[2024-11-10 13:51:49,351 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555216,555229]
[2024-11-10 13:51:49,351 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555273,555286]
[2024-11-10 13:51:49,351 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555330,555343]
[2024-11-10 13:51:49,351 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555598,555611]
[2024-11-10 13:51:49,352 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555657,555670]
[2024-11-10 13:51:49,352 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555716,555729]
[2024-11-10 13:51:49,353 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556153,556166]
[2024-11-10 13:51:49,353 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556214,556227]
[2024-11-10 13:51:49,353 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556275,556288]
[2024-11-10 13:51:49,354 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556387,556400]
[2024-11-10 13:51:49,354 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556558,556571]
[2024-11-10 13:51:49,355 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556619,556632]
[2024-11-10 13:51:49,355 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556680,556693]
[2024-11-10 13:51:49,355 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556776,556789]
[2024-11-10 13:51:49,355 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556835,556848]
[2024-11-10 13:51:49,356 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556894,556907]
[2024-11-10 13:51:49,356 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556995,557008]
[2024-11-10 13:51:49,356 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557054,557067]
[2024-11-10 13:51:49,357 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557188,557201]
[2024-11-10 13:51:49,357 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557243,557256]
[2024-11-10 13:51:49,357 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557333,557346]
[2024-11-10 13:51:49,357 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557390,557403]
[2024-11-10 13:51:49,358 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557447,557460]
[2024-11-10 13:51:49,359 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557542,557555]
[2024-11-10 13:51:49,359 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557600,557613]
[2024-11-10 13:51:49,360 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557657,557670]
[2024-11-10 13:51:49,360 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557714,557727]
[2024-11-10 13:51:49,360 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557790,557803]
[2024-11-10 13:51:49,360 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557846,557859]
[2024-11-10 13:51:49,361 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557901,557914]
[2024-11-10 13:51:49,361 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557956,557969]
[2024-11-10 13:51:49,659 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[766269,766282]
[2024-11-10 13:51:49,661 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[766794,766807]
[2024-11-10 13:51:49,661 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[767143,767156]
[2024-11-10 13:51:49,662 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[767356,767369]
[2024-11-10 13:51:49,662 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[767413,767426]
[2024-11-10 13:51:49,685 WARN  L635        FunctionHandler]: implicit declaration of function __builtin_strcspn
[2024-11-10 13:51:49,712 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[841889,841902]
[2024-11-10 13:51:49,713 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[841971,841984]
[2024-11-10 13:51:49,714 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[842969,842982]
[2024-11-10 13:51:49,715 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843106,843119]
[2024-11-10 13:51:49,715 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843192,843205]
[2024-11-10 13:51:49,715 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843251,843264]
[2024-11-10 13:51:49,716 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843352,843365]
[2024-11-10 13:51:49,716 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843438,843451]
[2024-11-10 13:51:49,716 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843497,843510]
[2024-11-10 13:51:49,716 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843604,843617]
[2024-11-10 13:51:49,717 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843684,843697]
[2024-11-10 13:51:49,717 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843741,843754]
[2024-11-10 13:51:49,717 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843864,843877]
[2024-11-10 13:51:49,718 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[844707,844720]
[2024-11-10 13:51:49,718 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[844772,844785]
[2024-11-10 13:51:49,718 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[844827,844840]
[2024-11-10 13:51:49,719 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[844889,844902]
[2024-11-10 13:51:49,942 ERROR L321         MainTranslator]: Unsupported Syntax: The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes.
[2024-11-10 13:51:49,943 INFO  L204        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@3a9c5f0d and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.11 01:51:49, skipping insertion in model container
[2024-11-10 13:51:49,943 INFO  L131        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-11-10 13:51:49,943 INFO  L186        ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner
[2024-11-10 13:51:49,945 INFO  L158              Benchmark]: Toolchain (without parser) took 23936.10ms. Allocated memory was 222.3MB in the beginning and 310.4MB in the end (delta: 88.1MB). Free memory was 155.2MB in the beginning and 131.6MB in the end (delta: 23.6MB). Peak memory consumption was 238.5MB. Max. memory is 16.1GB.
[2024-11-10 13:51:49,946 INFO  L158              Benchmark]: CDTParser took 0.15ms. Allocated memory is still 153.1MB. Free memory is still 112.6MB. There was no memory consumed. Max. memory is 16.1GB.
[2024-11-10 13:51:49,947 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 23934.61ms. Allocated memory was 222.3MB in the beginning and 310.4MB in the end (delta: 88.1MB). Free memory was 155.2MB in the beginning and 131.6MB in the end (delta: 23.6MB). Peak memory consumption was 238.5MB. Max. memory is 16.1GB.
[2024-11-10 13:51:49,949 INFO  L338   ainManager$Toolchain]: #######################  End [Toolchain 1] #######################
 --- Results ---
 * Results from de.uni_freiburg.informatik.ultimate.core:
  - StatisticsResult: Toolchain Benchmarks
    Benchmark results are:
 * CDTParser took 0.15ms. Allocated memory is still 153.1MB. Free memory is still 112.6MB. There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 23934.61ms. Allocated memory was 222.3MB in the beginning and 310.4MB in the end (delta: 88.1MB). Free memory was 155.2MB in the beginning and 131.6MB in the end (delta: 23.6MB). Peak memory consumption was 238.5MB. Max. memory is 16.1GB.
 * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator:
  - UnsupportedSyntaxResult [Line: 35901]: Unsupported Syntax
    The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes.
RESULT: Ultimate could not prove your program: Toolchain returned no result.
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: /root/.sdkman/candidates/java/11.0.12-open/bin/java -Dosgi.configuration.area=/storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/config -Xmx15G -Xms4m -jar /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/plugins/org.eclipse.equinox.launcher_1.5.800.v20200727-1323.jar -data @noDefault -ultimatedata /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data -tc /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/AutomizerReach.xml -i ../sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i -s /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Bitvector.epf --cacsl2boogietranslator.entry.function main --witnessprinter.witness.directory /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux --witnessprinter.witness.filename witness --witnessprinter.write.witness.besides.input.file false --witnessprinter.graph.data.specification CHECK( init(main()), LTL(G ! call(reach_error())) )

 --witnessprinter.graph.data.producer Automizer --witnessprinter.graph.data.architecture 64bit --witnessprinter.graph.data.programhash 0f7be000be519abe1ca18329c9838ba75d5c3631e353184761c039203f134940
--- Real Ultimate output ---
This is Ultimate 0.2.5-tmp.fs.icfgbuilder-eval-023d838-m
[2024-11-10 13:51:51,522 INFO  L188        SettingsManager]: Resetting all preferences to default values...
[2024-11-10 13:51:51,582 INFO  L114        SettingsManager]: Loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/config/svcomp-Reach-64bit-Automizer_Bitvector.epf
[2024-11-10 13:51:51,586 WARN  L101        SettingsManager]: Preference file contains the following unknown settings:
[2024-11-10 13:51:51,588 WARN  L103        SettingsManager]:   * de.uni_freiburg.informatik.ultimate.core.Log level for class
[2024-11-10 13:51:51,610 INFO  L130        SettingsManager]: Preferences different from defaults after loading the file:
[2024-11-10 13:51:51,610 INFO  L151        SettingsManager]: Preferences of UltimateCore differ from their defaults:
[2024-11-10 13:51:51,611 INFO  L153        SettingsManager]:  * Log level for class=de.uni_freiburg.informatik.ultimate.lib.smtlibutils.quantifier.QuantifierPusher=ERROR;
[2024-11-10 13:51:51,611 INFO  L151        SettingsManager]: Preferences of Boogie Preprocessor differ from their defaults:
[2024-11-10 13:51:51,611 INFO  L153        SettingsManager]:  * Use memory slicer=true
[2024-11-10 13:51:51,612 INFO  L151        SettingsManager]: Preferences of Boogie Procedure Inliner differ from their defaults:
[2024-11-10 13:51:51,612 INFO  L153        SettingsManager]:  * Ignore calls to procedures called more than once=ONLY_FOR_SEQUENTIAL_PROGRAMS
[2024-11-10 13:51:51,612 INFO  L151        SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults:
[2024-11-10 13:51:51,612 INFO  L153        SettingsManager]:  * Create parallel compositions if possible=false
[2024-11-10 13:51:51,613 INFO  L153        SettingsManager]:  * Use SBE=true
[2024-11-10 13:51:51,613 INFO  L151        SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults:
[2024-11-10 13:51:51,613 INFO  L153        SettingsManager]:  * Pointer base address is valid at dereference=IGNORE
[2024-11-10 13:51:51,613 INFO  L153        SettingsManager]:  * Check division by zero=IGNORE
[2024-11-10 13:51:51,614 INFO  L153        SettingsManager]:  * Pointer to allocated memory at dereference=IGNORE
[2024-11-10 13:51:51,614 INFO  L153        SettingsManager]:  * If two pointers are subtracted or compared they have the same base address=IGNORE
[2024-11-10 13:51:51,616 INFO  L153        SettingsManager]:  * Check array bounds for arrays that are off heap=IGNORE
[2024-11-10 13:51:51,617 INFO  L153        SettingsManager]:  * Adapt memory model on pointer casts if necessary=true
[2024-11-10 13:51:51,617 INFO  L153        SettingsManager]:  * Use bitvectors instead of ints=true
[2024-11-10 13:51:51,617 INFO  L153        SettingsManager]:  * Allow undefined functions=false
[2024-11-10 13:51:51,617 INFO  L153        SettingsManager]:  * Memory model=HoenickeLindenmann_4ByteResolution
[2024-11-10 13:51:51,618 INFO  L153        SettingsManager]:  * Check if freed pointer was valid=false
[2024-11-10 13:51:51,618 INFO  L153        SettingsManager]:  * Use constant arrays=true
[2024-11-10 13:51:51,618 INFO  L151        SettingsManager]: Preferences of IcfgBuilder differ from their defaults:
[2024-11-10 13:51:51,618 INFO  L153        SettingsManager]:  * Size of a code block=SequenceOfStatements
[2024-11-10 13:51:51,618 INFO  L153        SettingsManager]:  * Only consider context switches at boundaries of atomic blocks=true
[2024-11-10 13:51:51,619 INFO  L153        SettingsManager]:  * SMT solver=External_DefaultMode
[2024-11-10 13:51:51,621 INFO  L153        SettingsManager]:  * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:4000
[2024-11-10 13:51:51,621 INFO  L151        SettingsManager]: Preferences of TraceAbstraction differ from their defaults:
[2024-11-10 13:51:51,621 INFO  L153        SettingsManager]:  * Compute Interpolants along a Counterexample=FPandBP
[2024-11-10 13:51:51,621 INFO  L153        SettingsManager]:  * Positions where we compute the Hoare Annotation=LoopHeads
[2024-11-10 13:51:51,622 INFO  L153        SettingsManager]:  * Trace refinement strategy=WOLF
[2024-11-10 13:51:51,622 INFO  L153        SettingsManager]:  * Command for external solver=cvc4 --incremental --print-success --lang smt 
[2024-11-10 13:51:51,622 INFO  L153        SettingsManager]:  * Apply one-shot large block encoding in concurrent analysis=false
[2024-11-10 13:51:51,622 INFO  L153        SettingsManager]:  * Automaton type used in concurrency analysis=PETRI_NET
[2024-11-10 13:51:51,622 INFO  L153        SettingsManager]:  * Order on configurations for Petri net unfoldings=DBO
[2024-11-10 13:51:51,623 INFO  L153        SettingsManager]:  * SMT solver=External_ModelsAndUnsatCoreMode
[2024-11-10 13:51:51,623 INFO  L153        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:/storage/repos/ultimate/releaseScripts/default/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 -> /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux
Applying setting for plugin de.uni_freiburg.informatik.ultimate.witnessprinter: Witness filename -> witness
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 ! call(reach_error())) )


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 -> 0f7be000be519abe1ca18329c9838ba75d5c3631e353184761c039203f134940
[2024-11-10 13:51:51,880 INFO  L75    nceAwareModelManager]: Repository-Root is: /tmp
[2024-11-10 13:51:51,901 INFO  L261   ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized
[2024-11-10 13:51:51,903 INFO  L217   ainManager$Toolchain]: [Toolchain 1]: Toolchain selected.
[2024-11-10 13:51:51,903 INFO  L270        PluginConnector]: Initializing CDTParser...
[2024-11-10 13:51:51,904 INFO  L274        PluginConnector]: CDTParser initialized
[2024-11-10 13:51:51,905 INFO  L431   ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i
[2024-11-10 13:51:53,161 INFO  L533              CDTParser]: Created temporary CDT project at NULL
[2024-11-10 13:51:54,243 INFO  L384              CDTParser]: Found 1 translation units.
[2024-11-10 13:51:54,244 INFO  L180              CDTParser]: Scanning /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i
[2024-11-10 13:51:54,335 INFO  L427              CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/dd6046d7e/4bd02dfde025441ca89103edc629c9fc/FLAG63bc6adfd
[2024-11-10 13:51:54,347 INFO  L435              CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/dd6046d7e/4bd02dfde025441ca89103edc629c9fc
[2024-11-10 13:51:54,350 INFO  L299   ainManager$Toolchain]: ####################### [Toolchain 1] #######################
[2024-11-10 13:51:54,351 INFO  L133        ToolchainWalker]: Walking toolchain with 6 elements.
[2024-11-10 13:51:54,352 INFO  L112        PluginConnector]: ------------------------CACSL2BoogieTranslator----------------------------
[2024-11-10 13:51:54,353 INFO  L270        PluginConnector]: Initializing CACSL2BoogieTranslator...
[2024-11-10 13:51:54,357 INFO  L274        PluginConnector]: CACSL2BoogieTranslator initialized
[2024-11-10 13:51:54,357 INFO  L184        PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 10.11 01:51:54" (1/1) ...
[2024-11-10 13:51:54,358 INFO  L204        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@630ded94 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.11 01:51:54, skipping insertion in model container
[2024-11-10 13:51:54,358 INFO  L184        PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 10.11 01:51:54" (1/1) ...
[2024-11-10 13:51:54,772 INFO  L175         MainTranslator]: Built tables and reachable declarations
[2024-11-10 13:52:11,925 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:13,468 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:15,659 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:15,660 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:15,660 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:15,661 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:15,974 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:15,983 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:15,986 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:15,993 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:15,994 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:16,004 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:16,008 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:16,103 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:16,250 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,564 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,571 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,572 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,572 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,573 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,591 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,594 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,595 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,601 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,604 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,607 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___memcpy_chk
[2024-11-10 13:52:17,609 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___memmove_chk
[2024-11-10 13:52:17,610 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___mempcpy_chk
[2024-11-10 13:52:17,610 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___memset_chk
[2024-11-10 13:52:17,612 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___strcpy_chk
[2024-11-10 13:52:17,615 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___stpcpy_chk
[2024-11-10 13:52:17,615 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___strncpy_chk
[2024-11-10 13:52:17,616 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___strcat_chk
[2024-11-10 13:52:17,618 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___strncat_chk
[2024-11-10 13:52:17,620 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,623 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,642 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,642 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,644 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,644 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,645 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,645 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,646 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,649 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,649 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,649 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,657 WARN  L635        FunctionHandler]: implicit declaration of function __builtin___vsnprintf_chk
[2024-11-10 13:52:17,662 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,662 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,663 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,664 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,666 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,667 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,668 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,669 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,670 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,670 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,671 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,673 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,674 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,675 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,676 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,679 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,680 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,681 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,682 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,683 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,683 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,685 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,685 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,685 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,686 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,686 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,687 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,687 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,688 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,689 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,691 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,691 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,693 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,696 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,696 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,696 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,697 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,701 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,701 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,701 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,702 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,703 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,703 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,703 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,703 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,703 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,704 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,704 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,705 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,705 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,706 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,707 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,707 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,707 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,709 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,709 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,709 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,709 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,711 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,712 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,712 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,712 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,712 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,713 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,713 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,713 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,714 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,720 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,721 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,725 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,736 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,736 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,736 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,753 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,754 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,755 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,756 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,757 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,758 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,759 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,759 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,760 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,761 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,762 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,762 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,762 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,763 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,763 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,763 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,763 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,764 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,767 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,770 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,770 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,770 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,773 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,773 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,773 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,774 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,774 WARN  L635        FunctionHandler]: implicit declaration of function __builtin_strspn
[2024-11-10 13:52:17,776 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,776 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,777 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,778 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,778 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,778 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,778 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,779 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,779 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,779 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,780 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,781 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,781 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,781 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,782 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,782 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,783 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,785 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,785 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,785 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,786 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,786 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,786 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,786 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,787 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,787 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,787 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,788 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,788 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,789 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,790 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550307,550320]
[2024-11-10 13:52:17,792 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550396,550409]
[2024-11-10 13:52:17,794 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550586,550599]
[2024-11-10 13:52:17,795 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550641,550654]
[2024-11-10 13:52:17,795 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550703,550716]
[2024-11-10 13:52:17,795 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550839,550852]
[2024-11-10 13:52:17,795 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[550899,550912]
[2024-11-10 13:52:17,796 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551003,551016]
[2024-11-10 13:52:17,796 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551164,551177]
[2024-11-10 13:52:17,797 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551282,551295]
[2024-11-10 13:52:17,797 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551342,551355]
[2024-11-10 13:52:17,798 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551815,551828]
[2024-11-10 13:52:17,799 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[551870,551883]
[2024-11-10 13:52:17,799 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552115,552128]
[2024-11-10 13:52:17,799 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552216,552229]
[2024-11-10 13:52:17,800 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552381,552394]
[2024-11-10 13:52:17,800 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552619,552632]
[2024-11-10 13:52:17,800 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552816,552829]
[2024-11-10 13:52:17,801 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[552879,552892]
[2024-11-10 13:52:17,801 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[553037,553050]
[2024-11-10 13:52:17,802 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[553092,553105]
[2024-11-10 13:52:17,802 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[553156,553169]
[2024-11-10 13:52:17,803 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,804 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555071,555084]
[2024-11-10 13:52:17,805 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555126,555139]
[2024-11-10 13:52:17,805 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555216,555229]
[2024-11-10 13:52:17,805 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555273,555286]
[2024-11-10 13:52:17,806 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555330,555343]
[2024-11-10 13:52:17,806 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555598,555611]
[2024-11-10 13:52:17,806 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555657,555670]
[2024-11-10 13:52:17,807 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[555716,555729]
[2024-11-10 13:52:17,807 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,808 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556153,556166]
[2024-11-10 13:52:17,808 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556214,556227]
[2024-11-10 13:52:17,808 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556275,556288]
[2024-11-10 13:52:17,808 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556387,556400]
[2024-11-10 13:52:17,809 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556558,556571]
[2024-11-10 13:52:17,809 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556619,556632]
[2024-11-10 13:52:17,810 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556680,556693]
[2024-11-10 13:52:17,810 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556776,556789]
[2024-11-10 13:52:17,810 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556835,556848]
[2024-11-10 13:52:17,810 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556894,556907]
[2024-11-10 13:52:17,811 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[556995,557008]
[2024-11-10 13:52:17,811 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557054,557067]
[2024-11-10 13:52:17,812 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557188,557201]
[2024-11-10 13:52:17,812 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557243,557256]
[2024-11-10 13:52:17,812 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557333,557346]
[2024-11-10 13:52:17,813 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557390,557403]
[2024-11-10 13:52:17,813 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557447,557460]
[2024-11-10 13:52:17,813 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557542,557555]
[2024-11-10 13:52:17,813 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557600,557613]
[2024-11-10 13:52:17,814 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557657,557670]
[2024-11-10 13:52:17,814 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557714,557727]
[2024-11-10 13:52:17,814 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557790,557803]
[2024-11-10 13:52:17,814 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557846,557859]
[2024-11-10 13:52:17,815 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557901,557914]
[2024-11-10 13:52:17,815 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[557956,557969]
[2024-11-10 13:52:17,816 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,816 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,816 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,816 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,817 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,818 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,819 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,819 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,819 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,819 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,820 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,821 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,821 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,822 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,822 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,822 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,823 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,823 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,824 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,824 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,824 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,824 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,825 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,825 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,825 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,825 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,826 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,826 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,826 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,826 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,826 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,827 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,827 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,827 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,827 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,827 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,828 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,828 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,828 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,828 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,829 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,852 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,856 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,856 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,856 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,856 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,856 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,857 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,858 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,858 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,858 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,859 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,859 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,859 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,859 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,860 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,860 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,860 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,861 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,861 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,861 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,861 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,862 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,862 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,862 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,862 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,863 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,863 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,863 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,863 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,863 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,863 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,864 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,864 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,864 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,864 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,864 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,865 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,948 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,953 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,955 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,955 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,956 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,956 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,956 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,956 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,957 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,957 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,960 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,961 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,961 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,961 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,962 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,962 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,962 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,965 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,965 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,966 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,966 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,966 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,966 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,967 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,967 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,967 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,968 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,968 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,968 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,968 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,970 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,970 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,970 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,970 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,970 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,971 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,971 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,971 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,971 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,971 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,972 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,972 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,972 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,972 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,972 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:17,973 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,030 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,031 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,031 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,031 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,031 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,032 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,035 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,038 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,038 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,038 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,038 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,039 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,040 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,040 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,040 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,041 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,041 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,041 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,041 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,042 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,042 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,043 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,043 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,046 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,046 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,046 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,046 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,047 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,047 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,047 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,047 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,047 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,048 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,048 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,049 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,049 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,049 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,049 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,049 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,050 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,051 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,051 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,052 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,052 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,052 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,052 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,052 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,053 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,053 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,055 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,123 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,125 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,125 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,126 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,126 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,126 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,127 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,127 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,127 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,127 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,128 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,128 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,128 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,128 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,129 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,129 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,130 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,130 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,130 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,130 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,130 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,131 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,131 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,132 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,133 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,135 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,135 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,136 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,136 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,136 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,136 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,137 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[766269,766282]
[2024-11-10 13:52:18,137 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[766794,766807]
[2024-11-10 13:52:18,138 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[767143,767156]
[2024-11-10 13:52:18,138 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[767356,767369]
[2024-11-10 13:52:18,139 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[767413,767426]
[2024-11-10 13:52:18,142 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,148 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,148 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,170 WARN  L635        FunctionHandler]: implicit declaration of function __builtin_strcspn
[2024-11-10 13:52:18,172 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,172 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,173 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,174 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,175 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,175 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,175 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,176 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,176 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,176 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,177 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,177 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,178 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,178 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,179 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,179 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,183 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,184 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,184 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,184 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,184 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,185 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,185 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,185 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,186 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,187 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,189 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,191 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,192 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,192 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,193 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,193 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,194 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,194 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,194 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,195 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,196 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,196 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,196 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,196 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,200 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,200 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,201 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,201 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,201 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,202 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,202 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,202 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,203 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,203 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,203 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,204 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,204 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,204 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,204 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,205 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,205 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,208 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[841889,841902]
[2024-11-10 13:52:18,209 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[841971,841984]
[2024-11-10 13:52:18,209 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[842969,842982]
[2024-11-10 13:52:18,210 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843106,843119]
[2024-11-10 13:52:18,210 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843192,843205]
[2024-11-10 13:52:18,210 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843251,843264]
[2024-11-10 13:52:18,210 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843352,843365]
[2024-11-10 13:52:18,210 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843438,843451]
[2024-11-10 13:52:18,211 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843497,843510]
[2024-11-10 13:52:18,211 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843604,843617]
[2024-11-10 13:52:18,211 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843684,843697]
[2024-11-10 13:52:18,211 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843741,843754]
[2024-11-10 13:52:18,212 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[843864,843877]
[2024-11-10 13:52:18,212 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,212 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,212 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,212 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,212 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,213 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,213 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,213 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[844707,844720]
[2024-11-10 13:52:18,213 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[844772,844785]
[2024-11-10 13:52:18,213 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[844827,844840]
[2024-11-10 13:52:18,214 WARN  L250   ndardFunctionHandler]: Function reach_error is already implemented but we override the implementation for the call at /storage/repos/ultimate/releaseScripts/default/sv-benchmarks/c/goblint-coreutils/instrumented_interval_nohup_comb.i[844889,844902]
[2024-11-10 13:52:18,214 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,214 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,214 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,214 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,214 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,215 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,215 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,216 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,219 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,220 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,220 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,220 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,221 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,221 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,221 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,221 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,222 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,222 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,223 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,223 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,224 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,224 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,224 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,224 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,225 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,225 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,225 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,226 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,227 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,227 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,227 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,228 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,229 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,229 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,233 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,238 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,271 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,281 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,292 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,295 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,298 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,298 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,301 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,302 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,303 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,304 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,304 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,307 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,307 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,308 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,309 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,309 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,310 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,310 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,311 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,312 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,312 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,313 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,313 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,313 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,313 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,315 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,316 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,316 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,316 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,318 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,318 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,319 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,319 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,320 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,321 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,324 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,324 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,325 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,326 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,326 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,326 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,327 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,328 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,328 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,329 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,330 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,330 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,336 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,336 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,337 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,337 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,339 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,340 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,340 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,345 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,345 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,345 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,346 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,346 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,346 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,348 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,349 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,350 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,350 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,350 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,351 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,352 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,352 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,354 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,355 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,355 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,356 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,357 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,357 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,358 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,359 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,360 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,360 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,362 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,363 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,364 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,364 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,364 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,365 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,365 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,365 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,366 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,366 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,367 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,367 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,367 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,367 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,368 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,368 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,369 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,369 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,370 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,371 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,371 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,371 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,372 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,376 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,376 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,377 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,377 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,377 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,378 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,383 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,383 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,383 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,383 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,384 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,384 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,384 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,384 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,384 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,385 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,385 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,385 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,390 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,390 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,392 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,392 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,392 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,392 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,393 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,393 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,394 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,394 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,400 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,401 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,401 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,402 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,402 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,402 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,403 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,404 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,404 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,404 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,405 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,405 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,406 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,406 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,407 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,407 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,408 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,409 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,409 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,409 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,409 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,411 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,411 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,411 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,411 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,412 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,412 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,413 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,413 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,414 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,414 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,415 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,415 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,415 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,415 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,415 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,416 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,416 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,416 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,416 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,417 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,417 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,423 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,423 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,424 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,424 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,425 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,425 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,425 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,426 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,427 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,428 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,428 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,428 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,428 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,428 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,429 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,429 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,429 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,430 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,431 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,431 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,431 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,432 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,432 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,434 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,434 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,435 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,435 WARN  L1072              CHandler]: saw a pointer cast to a type that we could not get a type size for, not adapting memory model
[2024-11-10 13:52:18,438 ERROR L321         MainTranslator]: Unsupported Syntax: The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes.
[2024-11-10 13:52:18,438 INFO  L204        PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.CACSL2BoogieTranslatorObserver@483b75de and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.11 01:52:18, skipping insertion in model container
[2024-11-10 13:52:18,438 INFO  L131        PluginConnector]: ------------------------ END CACSL2BoogieTranslator----------------------------
[2024-11-10 13:52:18,439 INFO  L186        ToolchainWalker]: Toolchain execution was canceled (user or tool) before executing de.uni_freiburg.informatik.ultimate.boogie.procedureinliner
[2024-11-10 13:52:18,440 INFO  L158              Benchmark]: Toolchain (without parser) took 24088.38ms. Allocated memory was 113.2MB in the beginning and 314.6MB in the end (delta: 201.3MB). Free memory was 49.6MB in the beginning and 160.2MB in the end (delta: -110.6MB). Peak memory consumption was 184.8MB. Max. memory is 16.1GB.
[2024-11-10 13:52:18,440 INFO  L158              Benchmark]: CDTParser took 0.15ms. Allocated memory is still 54.5MB. Free memory is still 37.2MB. There was no memory consumed. Max. memory is 16.1GB.
[2024-11-10 13:52:18,441 INFO  L158              Benchmark]: CACSL2BoogieTranslator took 24086.60ms. Allocated memory was 113.2MB in the beginning and 314.6MB in the end (delta: 201.3MB). Free memory was 49.2MB in the beginning and 160.2MB in the end (delta: -111.0MB). Peak memory consumption was 184.8MB. Max. memory is 16.1GB.
[2024-11-10 13:52:18,442 INFO  L338   ainManager$Toolchain]: #######################  End [Toolchain 1] #######################
 --- Results ---
 * Results from de.uni_freiburg.informatik.ultimate.core:
  - StatisticsResult: Toolchain Benchmarks
    Benchmark results are:
 * CDTParser took 0.15ms. Allocated memory is still 54.5MB. Free memory is still 37.2MB. There was no memory consumed. Max. memory is 16.1GB.
 * CACSL2BoogieTranslator took 24086.60ms. Allocated memory was 113.2MB in the beginning and 314.6MB in the end (delta: 201.3MB). Free memory was 49.2MB in the beginning and 160.2MB in the end (delta: -111.0MB). Peak memory consumption was 184.8MB. Max. memory is 16.1GB.
 * Results from de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator:
  - UnsupportedSyntaxResult [Line: 35901]: Unsupported Syntax
    The second argument of the pthread_mutex_init is not a null pointer. This means that non-default attributes are used. We support only the default attributes.
RESULT: Ultimate could not prove your program: Toolchain returned no result.
Received shutdown request...
--- End real Ultimate output ---

Execution finished normally
Writing output log to file Ultimate.log
Result:
UNKNOWN