java -Xmx8000000000 -Xss4m -jar ./plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar -data @noDefault -ultimatedata ./data -tc ../../../trunk/examples/toolchains/SifaC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf -i ../../../trunk/examples/svcomp/ldv-commit-tester/m0_drivers-media-rc-imon--32_7a--a9e7fb5.i -------------------------------------------------------------------------------- This is Ultimate 0.1.24-2989841 [2019-08-10 15:58:54,066 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-10 15:58:54,068 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-10 15:58:54,080 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-10 15:58:54,080 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-10 15:58:54,081 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-10 15:58:54,082 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-10 15:58:54,084 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-10 15:58:54,086 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-10 15:58:54,086 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-10 15:58:54,087 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-10 15:58:54,088 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-10 15:58:54,089 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-10 15:58:54,090 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-10 15:58:54,091 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-10 15:58:54,092 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-10 15:58:54,092 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-10 15:58:54,093 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-10 15:58:54,095 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-10 15:58:54,097 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-10 15:58:54,099 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-10 15:58:54,101 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-10 15:58:54,105 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-10 15:58:54,106 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-10 15:58:54,110 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-10 15:58:54,110 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-10 15:58:54,110 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-10 15:58:54,112 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-10 15:58:54,113 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-10 15:58:54,114 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-10 15:58:54,114 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-10 15:58:54,116 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-10 15:58:54,117 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-10 15:58:54,118 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-10 15:58:54,119 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-10 15:58:54,119 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-10 15:58:54,120 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-10 15:58:54,120 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-10 15:58:54,120 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-10 15:58:54,123 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-10 15:58:54,124 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-10 15:58:54,125 INFO L101 SettingsManager]: Beginning loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf [2019-08-10 15:58:54,150 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-10 15:58:54,151 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-10 15:58:54,152 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-10 15:58:54,152 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-10 15:58:54,152 INFO L138 SettingsManager]: * Use SBE=true [2019-08-10 15:58:54,153 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-10 15:58:54,153 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-10 15:58:54,153 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-10 15:58:54,153 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-10 15:58:54,153 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-10 15:58:54,154 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-10 15:58:54,154 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-10 15:58:54,154 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-10 15:58:54,154 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-10 15:58:54,154 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-10 15:58:54,154 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-10 15:58:54,155 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-10 15:58:54,155 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-10 15:58:54,155 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-10 15:58:54,155 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-10 15:58:54,155 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-10 15:58:54,156 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-10 15:58:54,156 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-10 15:58:54,156 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-10 15:58:54,156 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-10 15:58:54,157 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-10 15:58:54,157 INFO L138 SettingsManager]: * To the following directory=dump/ [2019-08-10 15:58:54,184 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-10 15:58:54,197 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-10 15:58:54,200 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-10 15:58:54,202 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-10 15:58:54,202 INFO L275 PluginConnector]: CDTParser initialized [2019-08-10 15:58:54,203 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/ldv-commit-tester/m0_drivers-media-rc-imon--32_7a--a9e7fb5.i [2019-08-10 15:58:54,277 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/89b48911e/35bb3b5e57de4e9081b86c70d6549743/FLAG09abbc02d [2019-08-10 15:58:55,113 INFO L306 CDTParser]: Found 1 translation units. [2019-08-10 15:58:55,114 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/ldv-commit-tester/m0_drivers-media-rc-imon--32_7a--a9e7fb5.i [2019-08-10 15:58:55,156 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/89b48911e/35bb3b5e57de4e9081b86c70d6549743/FLAG09abbc02d [2019-08-10 15:58:55,606 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/89b48911e/35bb3b5e57de4e9081b86c70d6549743 [2019-08-10 15:58:55,615 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-10 15:58:55,617 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-10 15:58:55,618 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-10 15:58:55,618 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-10 15:58:55,621 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-10 15:58:55,622 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 10.08 03:58:55" (1/1) ... [2019-08-10 15:58:55,625 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@54454c89 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:55, skipping insertion in model container [2019-08-10 15:58:55,625 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 10.08 03:58:55" (1/1) ... [2019-08-10 15:58:55,632 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-10 15:58:55,776 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-10 15:58:57,569 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-10 15:58:57,633 INFO L188 MainTranslator]: Completed pre-run [2019-08-10 15:58:58,040 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-10 15:58:58,425 INFO L192 MainTranslator]: Completed translation [2019-08-10 15:58:58,426 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:58 WrapperNode [2019-08-10 15:58:58,426 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-10 15:58:58,428 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-10 15:58:58,428 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-10 15:58:58,428 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-10 15:58:58,450 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:58" (1/1) ... [2019-08-10 15:58:58,451 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:58" (1/1) ... [2019-08-10 15:58:58,584 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:58" (1/1) ... [2019-08-10 15:58:58,585 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:58" (1/1) ... [2019-08-10 15:58:58,769 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:58" (1/1) ... [2019-08-10 15:58:58,800 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:58" (1/1) ... [2019-08-10 15:58:58,848 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:58" (1/1) ... [2019-08-10 15:58:58,890 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-10 15:58:58,890 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-10 15:58:58,890 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-10 15:58:58,890 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-10 15:58:58,892 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 03:58:58" (1/1) ... No working directory specified, using /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-10 15:58:58,964 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-10 15:58:58,964 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-10 15:58:58,964 INFO L138 BoogieDeclarations]: Found implementation of procedure __set_bit [2019-08-10 15:58:58,965 INFO L138 BoogieDeclarations]: Found implementation of procedure __arch_swab32 [2019-08-10 15:58:58,965 INFO L138 BoogieDeclarations]: Found implementation of procedure __arch_swab64 [2019-08-10 15:58:58,965 INFO L138 BoogieDeclarations]: Found implementation of procedure __fswab32 [2019-08-10 15:58:58,965 INFO L138 BoogieDeclarations]: Found implementation of procedure __fswab64 [2019-08-10 15:58:58,965 INFO L138 BoogieDeclarations]: Found implementation of procedure get_current [2019-08-10 15:58:58,966 INFO L138 BoogieDeclarations]: Found implementation of procedure atomic_read [2019-08-10 15:58:58,966 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_is_locked [2019-08-10 15:58:58,966 INFO L138 BoogieDeclarations]: Found implementation of procedure spinlock_check [2019-08-10 15:58:58,966 INFO L138 BoogieDeclarations]: Found implementation of procedure spin_unlock_irqrestore [2019-08-10 15:58:58,967 INFO L138 BoogieDeclarations]: Found implementation of procedure init_completion [2019-08-10 15:58:58,968 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_is_err [2019-08-10 15:58:58,970 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_malloc [2019-08-10 15:58:58,970 INFO L138 BoogieDeclarations]: Found implementation of procedure __kmalloc [2019-08-10 15:58:58,972 INFO L138 BoogieDeclarations]: Found implementation of procedure kmalloc [2019-08-10 15:58:58,972 INFO L138 BoogieDeclarations]: Found implementation of procedure kzalloc [2019-08-10 15:58:58,974 INFO L138 BoogieDeclarations]: Found implementation of procedure copy_from_user [2019-08-10 15:58:58,974 INFO L138 BoogieDeclarations]: Found implementation of procedure iminor [2019-08-10 15:58:58,974 INFO L138 BoogieDeclarations]: Found implementation of procedure input_allocate_device [2019-08-10 15:58:58,975 INFO L138 BoogieDeclarations]: Found implementation of procedure input_set_drvdata [2019-08-10 15:58:58,975 INFO L138 BoogieDeclarations]: Found implementation of procedure input_report_key [2019-08-10 15:58:58,975 INFO L138 BoogieDeclarations]: Found implementation of procedure input_report_rel [2019-08-10 15:58:58,975 INFO L138 BoogieDeclarations]: Found implementation of procedure input_report_abs [2019-08-10 15:58:58,975 INFO L138 BoogieDeclarations]: Found implementation of procedure input_sync [2019-08-10 15:58:58,976 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_get_intfdata [2019-08-10 15:58:58,976 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_set_intfdata [2019-08-10 15:58:58,977 INFO L138 BoogieDeclarations]: Found implementation of procedure interface_to_usbdev [2019-08-10 15:58:58,977 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_make_path [2019-08-10 15:58:58,977 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_register [2019-08-10 15:58:58,977 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_fill_control_urb [2019-08-10 15:58:58,977 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_fill_int_urb [2019-08-10 15:58:58,978 INFO L138 BoogieDeclarations]: Found implementation of procedure __create_pipe [2019-08-10 15:58:58,978 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_to_input_id [2019-08-10 15:58:58,978 INFO L138 BoogieDeclarations]: Found implementation of procedure free_imon_context [2019-08-10 15:58:58,978 INFO L138 BoogieDeclarations]: Found implementation of procedure display_open [2019-08-10 15:58:58,978 INFO L138 BoogieDeclarations]: Found implementation of procedure display_close [2019-08-10 15:58:58,979 INFO L138 BoogieDeclarations]: Found implementation of procedure send_packet [2019-08-10 15:58:58,979 INFO L138 BoogieDeclarations]: Found implementation of procedure send_associate_24g [2019-08-10 15:58:58,979 INFO L138 BoogieDeclarations]: Found implementation of procedure send_set_imon_clock [2019-08-10 15:58:58,979 INFO L138 BoogieDeclarations]: Found implementation of procedure show_associate_remote [2019-08-10 15:58:58,979 INFO L138 BoogieDeclarations]: Found implementation of procedure store_associate_remote [2019-08-10 15:58:58,979 INFO L138 BoogieDeclarations]: Found implementation of procedure show_imon_clock [2019-08-10 15:58:58,980 INFO L138 BoogieDeclarations]: Found implementation of procedure store_imon_clock [2019-08-10 15:58:58,980 INFO L138 BoogieDeclarations]: Found implementation of procedure vfd_write [2019-08-10 15:58:58,980 INFO L138 BoogieDeclarations]: Found implementation of procedure lcd_write [2019-08-10 15:58:58,980 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_tx_callback [2019-08-10 15:58:58,980 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_touch_display_timeout [2019-08-10 15:58:58,980 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_ir_change_protocol [2019-08-10 15:58:58,981 INFO L138 BoogieDeclarations]: Found implementation of procedure tv2int [2019-08-10 15:58:58,981 INFO L138 BoogieDeclarations]: Found implementation of procedure stabilize [2019-08-10 15:58:58,981 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_remote_key_lookup [2019-08-10 15:58:58,981 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_mce_key_lookup [2019-08-10 15:58:58,981 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_panel_key_lookup [2019-08-10 15:58:58,981 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_mouse_event [2019-08-10 15:58:58,982 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_touch_event [2019-08-10 15:58:58,982 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_pad_to_keys [2019-08-10 15:58:58,982 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_parse_press_type [2019-08-10 15:58:58,983 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_incoming_packet [2019-08-10 15:58:58,983 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_rx_callback_intf0 [2019-08-10 15:58:58,983 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_rx_callback_intf1 [2019-08-10 15:58:58,983 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_get_ffdc_type [2019-08-10 15:58:58,983 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_set_display_type [2019-08-10 15:58:58,984 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_init_rdev [2019-08-10 15:58:58,984 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_init_idev [2019-08-10 15:58:58,984 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_init_touch [2019-08-10 15:58:58,985 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_find_endpoints [2019-08-10 15:58:58,985 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_init_intf0 [2019-08-10 15:58:58,985 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_init_intf1 [2019-08-10 15:58:58,985 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_init_display [2019-08-10 15:58:58,985 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_probe [2019-08-10 15:58:58,986 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_disconnect [2019-08-10 15:58:58,986 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_suspend [2019-08-10 15:58:58,986 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_resume [2019-08-10 15:58:58,986 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_init [2019-08-10 15:58:58,987 INFO L138 BoogieDeclarations]: Found implementation of procedure imon_exit [2019-08-10 15:58:58,987 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-10 15:58:58,988 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_1 [2019-08-10 15:58:58,988 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_2 [2019-08-10 15:58:58,988 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_3 [2019-08-10 15:58:58,988 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_4 [2019-08-10 15:58:58,988 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_5 [2019-08-10 15:58:58,988 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_6 [2019-08-10 15:58:58,989 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_7 [2019-08-10 15:58:58,989 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_8 [2019-08-10 15:58:58,990 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_9 [2019-08-10 15:58:58,991 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_10 [2019-08-10 15:58:58,991 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_11 [2019-08-10 15:58:58,991 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_12 [2019-08-10 15:58:58,991 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_13 [2019-08-10 15:58:58,991 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_14 [2019-08-10 15:58:58,991 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_15 [2019-08-10 15:58:58,992 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_16 [2019-08-10 15:58:58,992 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_17 [2019-08-10 15:58:58,992 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_18 [2019-08-10 15:58:58,992 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_19 [2019-08-10 15:58:58,993 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_20 [2019-08-10 15:58:58,993 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_21 [2019-08-10 15:58:58,993 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_22 [2019-08-10 15:58:58,993 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_23 [2019-08-10 15:58:58,993 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_24 [2019-08-10 15:58:58,993 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_25 [2019-08-10 15:58:58,993 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_26 [2019-08-10 15:58:58,994 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_27 [2019-08-10 15:58:58,994 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_28 [2019-08-10 15:58:58,994 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_29 [2019-08-10 15:58:58,994 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_30 [2019-08-10 15:58:58,994 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_31 [2019-08-10 15:58:58,995 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_32 [2019-08-10 15:58:58,995 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_33 [2019-08-10 15:58:58,995 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_34 [2019-08-10 15:58:58,995 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_35 [2019-08-10 15:58:58,995 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_36 [2019-08-10 15:58:58,995 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_37 [2019-08-10 15:58:58,996 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_38 [2019-08-10 15:58:58,996 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_39 [2019-08-10 15:58:58,996 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_40 [2019-08-10 15:58:58,996 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_41 [2019-08-10 15:58:58,997 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_42 [2019-08-10 15:58:58,997 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_43 [2019-08-10 15:58:58,998 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_error [2019-08-10 15:58:58,998 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2019-08-10 15:58:58,998 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_driver_lock [2019-08-10 15:58:58,999 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_driver_lock [2019-08-10 15:58:58,999 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_driver_lock [2019-08-10 15:58:58,999 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_driver_lock [2019-08-10 15:58:59,000 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_driver_lock [2019-08-10 15:58:59,000 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_driver_lock [2019-08-10 15:58:59,000 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_driver_lock [2019-08-10 15:58:59,000 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_lock_of_imon_context [2019-08-10 15:58:59,000 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_lock_of_imon_context [2019-08-10 15:58:59,000 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_lock_of_imon_context [2019-08-10 15:58:59,001 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_lock_of_imon_context [2019-08-10 15:58:59,001 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_lock_of_imon_context [2019-08-10 15:58:59,001 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_lock_of_imon_context [2019-08-10 15:58:59,001 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_lock_of_imon_context [2019-08-10 15:58:59,001 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_mutex_of_device [2019-08-10 15:58:59,001 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_mutex_of_device [2019-08-10 15:58:59,002 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_mutex_of_device [2019-08-10 15:58:59,002 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_mutex_of_device [2019-08-10 15:58:59,003 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_mutex_of_device [2019-08-10 15:58:59,005 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_mutex_of_device [2019-08-10 15:58:59,006 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_mutex_of_device [2019-08-10 15:58:59,006 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_initialize [2019-08-10 15:58:59,006 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2019-08-10 15:58:59,013 INFO L138 BoogieDeclarations]: Found implementation of procedure __init_waitqueue_head [2019-08-10 15:58:59,013 INFO L138 BoogieDeclarations]: Found implementation of procedure __mutex_init [2019-08-10 15:58:59,013 INFO L138 BoogieDeclarations]: Found implementation of procedure __raw_spin_lock_init [2019-08-10 15:58:59,013 INFO L138 BoogieDeclarations]: Found implementation of procedure _copy_from_user [2019-08-10 15:58:59,014 INFO L138 BoogieDeclarations]: Found implementation of procedure _dev_info [2019-08-10 15:58:59,014 INFO L138 BoogieDeclarations]: Found implementation of procedure _raw_spin_lock_irqsave [2019-08-10 15:58:59,014 INFO L138 BoogieDeclarations]: Found implementation of procedure _raw_spin_unlock_irqrestore [2019-08-10 15:58:59,014 INFO L138 BoogieDeclarations]: Found implementation of procedure complete [2019-08-10 15:58:59,014 INFO L138 BoogieDeclarations]: Found implementation of procedure complete_all [2019-08-10 15:58:59,014 INFO L138 BoogieDeclarations]: Found implementation of procedure del_timer_sync [2019-08-10 15:58:59,015 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_err [2019-08-10 15:58:59,015 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_get_drvdata [2019-08-10 15:58:59,015 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_printk [2019-08-10 15:58:59,015 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_set_drvdata [2019-08-10 15:58:59,015 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_warn [2019-08-10 15:58:59,015 INFO L138 BoogieDeclarations]: Found implementation of procedure do_gettimeofday [2019-08-10 15:58:59,015 INFO L138 BoogieDeclarations]: Found implementation of procedure init_timer_key [2019-08-10 15:58:59,016 INFO L138 BoogieDeclarations]: Found implementation of procedure input_event [2019-08-10 15:58:59,016 INFO L138 BoogieDeclarations]: Found implementation of procedure input_free_device [2019-08-10 15:58:59,016 INFO L138 BoogieDeclarations]: Found implementation of procedure input_register_device [2019-08-10 15:58:59,016 INFO L138 BoogieDeclarations]: Found implementation of procedure input_set_abs_params [2019-08-10 15:58:59,016 INFO L138 BoogieDeclarations]: Found implementation of procedure input_unregister_device [2019-08-10 15:58:59,016 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_return_value [2019-08-10 15:58:59,016 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_return_value_probe [2019-08-10 15:58:59,016 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_handler_precall [2019-08-10 15:58:59,017 INFO L138 BoogieDeclarations]: Found implementation of procedure might_fault [2019-08-10 15:58:59,017 INFO L138 BoogieDeclarations]: Found implementation of procedure mod_timer [2019-08-10 15:58:59,017 INFO L138 BoogieDeclarations]: Found implementation of procedure msecs_to_jiffies [2019-08-10 15:58:59,017 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_lock [2019-08-10 15:58:59,017 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_trylock [2019-08-10 15:58:59,017 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_unlock [2019-08-10 15:58:59,017 INFO L138 BoogieDeclarations]: Found implementation of procedure printk [2019-08-10 15:58:59,017 INFO L138 BoogieDeclarations]: Found implementation of procedure rc_allocate_device [2019-08-10 15:58:59,017 INFO L138 BoogieDeclarations]: Found implementation of procedure rc_free_device [2019-08-10 15:58:59,018 INFO L138 BoogieDeclarations]: Found implementation of procedure rc_g_keycode_from_table [2019-08-10 15:58:59,018 INFO L138 BoogieDeclarations]: Found implementation of procedure rc_keydown [2019-08-10 15:58:59,018 INFO L138 BoogieDeclarations]: Found implementation of procedure rc_keyup [2019-08-10 15:58:59,018 INFO L138 BoogieDeclarations]: Found implementation of procedure rc_register_device [2019-08-10 15:58:59,018 INFO L138 BoogieDeclarations]: Found implementation of procedure rc_unregister_device [2019-08-10 15:58:59,018 INFO L138 BoogieDeclarations]: Found implementation of procedure schedule_timeout [2019-08-10 15:58:59,018 INFO L138 BoogieDeclarations]: Found implementation of procedure strlcat [2019-08-10 15:58:59,018 INFO L138 BoogieDeclarations]: Found implementation of procedure sysfs_create_group [2019-08-10 15:58:59,019 INFO L138 BoogieDeclarations]: Found implementation of procedure sysfs_remove_group [2019-08-10 15:58:59,019 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_alloc_urb [2019-08-10 15:58:59,019 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_deregister [2019-08-10 15:58:59,019 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_deregister_dev [2019-08-10 15:58:59,019 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_find_interface [2019-08-10 15:58:59,019 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_free_urb [2019-08-10 15:58:59,019 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_get_dev [2019-08-10 15:58:59,019 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_ifnum_to_if [2019-08-10 15:58:59,020 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_kill_urb [2019-08-10 15:58:59,020 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_register_dev [2019-08-10 15:58:59,020 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_register_driver [2019-08-10 15:58:59,020 INFO L138 BoogieDeclarations]: Found implementation of procedure usb_submit_urb [2019-08-10 15:58:59,020 INFO L138 BoogieDeclarations]: Found implementation of procedure wait_for_completion_interruptible [2019-08-10 15:58:59,020 INFO L138 BoogieDeclarations]: Found implementation of procedure warn_slowpath_fmt [2019-08-10 15:58:59,020 INFO L138 BoogieDeclarations]: Found implementation of procedure external_alloc [2019-08-10 15:58:59,020 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2019-08-10 15:58:59,021 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memcpy [2019-08-10 15:58:59,021 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_strcpy [2019-08-10 15:58:59,021 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-10 15:58:59,021 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2019-08-10 15:58:59,021 INFO L130 BoogieDeclarations]: Found specification of procedure __set_bit [2019-08-10 15:58:59,021 INFO L130 BoogieDeclarations]: Found specification of procedure __arch_swab32 [2019-08-10 15:58:59,021 INFO L130 BoogieDeclarations]: Found specification of procedure __arch_swab64 [2019-08-10 15:58:59,022 INFO L130 BoogieDeclarations]: Found specification of procedure __fswab32 [2019-08-10 15:58:59,022 INFO L130 BoogieDeclarations]: Found specification of procedure __fswab64 [2019-08-10 15:58:59,022 INFO L130 BoogieDeclarations]: Found specification of procedure printk [2019-08-10 15:58:59,022 INFO L130 BoogieDeclarations]: Found specification of procedure warn_slowpath_fmt [2019-08-10 15:58:59,022 INFO L130 BoogieDeclarations]: Found specification of procedure might_fault [2019-08-10 15:58:59,022 INFO L130 BoogieDeclarations]: Found specification of procedure snprintf [2019-08-10 15:58:59,022 INFO L130 BoogieDeclarations]: Found specification of procedure sscanf [2019-08-10 15:58:59,022 INFO L130 BoogieDeclarations]: Found specification of procedure __bad_percpu_size [2019-08-10 15:58:59,023 INFO L130 BoogieDeclarations]: Found specification of procedure get_current [2019-08-10 15:58:59,023 INFO L130 BoogieDeclarations]: Found specification of procedure __xchg_wrong_size [2019-08-10 15:58:59,023 INFO L130 BoogieDeclarations]: Found specification of procedure memcpy [2019-08-10 15:58:59,023 INFO L130 BoogieDeclarations]: Found specification of procedure strlen [2019-08-10 15:58:59,023 INFO L130 BoogieDeclarations]: Found specification of procedure strcpy [2019-08-10 15:58:59,023 INFO L130 BoogieDeclarations]: Found specification of procedure strlcat [2019-08-10 15:58:59,023 INFO L130 BoogieDeclarations]: Found specification of procedure atomic_read [2019-08-10 15:58:59,023 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-08-10 15:58:59,024 INFO L130 BoogieDeclarations]: Found specification of procedure __mutex_init [2019-08-10 15:58:59,024 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_is_locked [2019-08-10 15:58:59,024 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_25 [2019-08-10 15:58:59,024 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_trylock [2019-08-10 15:58:59,024 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_2 [2019-08-10 15:58:59,024 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_unlock [2019-08-10 15:58:59,024 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_3 [2019-08-10 15:58:59,024 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_6 [2019-08-10 15:58:59,024 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_7 [2019-08-10 15:58:59,025 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_9 [2019-08-10 15:58:59,025 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_10 [2019-08-10 15:58:59,025 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_11 [2019-08-10 15:58:59,025 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_14 [2019-08-10 15:58:59,025 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_16 [2019-08-10 15:58:59,025 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_18 [2019-08-10 15:58:59,025 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_20 [2019-08-10 15:58:59,025 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_22 [2019-08-10 15:58:59,026 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_24 [2019-08-10 15:58:59,026 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_27 [2019-08-10 15:58:59,026 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_29 [2019-08-10 15:58:59,026 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_30 [2019-08-10 15:58:59,026 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_32 [2019-08-10 15:58:59,026 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_33 [2019-08-10 15:58:59,026 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_36 [2019-08-10 15:58:59,026 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_37 [2019-08-10 15:58:59,026 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_38 [2019-08-10 15:58:59,027 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_41 [2019-08-10 15:58:59,027 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_42 [2019-08-10 15:58:59,027 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_43 [2019-08-10 15:58:59,027 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_lock [2019-08-10 15:58:59,027 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_1 [2019-08-10 15:58:59,027 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_4 [2019-08-10 15:58:59,027 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_5 [2019-08-10 15:58:59,027 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_8 [2019-08-10 15:58:59,028 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_12 [2019-08-10 15:58:59,028 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_13 [2019-08-10 15:58:59,028 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_15 [2019-08-10 15:58:59,028 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_17 [2019-08-10 15:58:59,028 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_19 [2019-08-10 15:58:59,028 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_21 [2019-08-10 15:58:59,028 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_23 [2019-08-10 15:58:59,029 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_26 [2019-08-10 15:58:59,033 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_28 [2019-08-10 15:58:59,033 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_31 [2019-08-10 15:58:59,033 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_34 [2019-08-10 15:58:59,033 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_35 [2019-08-10 15:58:59,034 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_39 [2019-08-10 15:58:59,036 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_40 [2019-08-10 15:58:59,036 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_driver_lock [2019-08-10 15:58:59,036 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_driver_lock [2019-08-10 15:58:59,036 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_lock_of_imon_context [2019-08-10 15:58:59,036 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_lock_of_imon_context [2019-08-10 15:58:59,036 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_lock_of_imon_context [2019-08-10 15:58:59,036 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_mutex_of_device [2019-08-10 15:58:59,036 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_mutex_of_device [2019-08-10 15:58:59,037 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_mutex_of_device [2019-08-10 15:58:59,037 INFO L130 BoogieDeclarations]: Found specification of procedure __raw_spin_lock_init [2019-08-10 15:58:59,037 INFO L130 BoogieDeclarations]: Found specification of procedure _raw_spin_lock_irqsave [2019-08-10 15:58:59,037 INFO L130 BoogieDeclarations]: Found specification of procedure _raw_spin_unlock_irqrestore [2019-08-10 15:58:59,037 INFO L130 BoogieDeclarations]: Found specification of procedure spinlock_check [2019-08-10 15:58:59,037 INFO L130 BoogieDeclarations]: Found specification of procedure spin_unlock_irqrestore [2019-08-10 15:58:59,037 INFO L130 BoogieDeclarations]: Found specification of procedure do_gettimeofday [2019-08-10 15:58:59,037 INFO L130 BoogieDeclarations]: Found specification of procedure __init_waitqueue_head [2019-08-10 15:58:59,037 INFO L130 BoogieDeclarations]: Found specification of procedure msecs_to_jiffies [2019-08-10 15:58:59,038 INFO L130 BoogieDeclarations]: Found specification of procedure init_timer_key [2019-08-10 15:58:59,038 INFO L130 BoogieDeclarations]: Found specification of procedure mod_timer [2019-08-10 15:58:59,038 INFO L130 BoogieDeclarations]: Found specification of procedure del_timer_sync [2019-08-10 15:58:59,038 INFO L130 BoogieDeclarations]: Found specification of procedure init_completion [2019-08-10 15:58:59,038 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2019-08-10 15:58:59,038 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-08-10 15:58:59,038 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2019-08-10 15:58:59,038 INFO L130 BoogieDeclarations]: Found specification of procedure wait_for_completion_interruptible [2019-08-10 15:58:59,038 INFO L130 BoogieDeclarations]: Found specification of procedure complete [2019-08-10 15:58:59,039 INFO L130 BoogieDeclarations]: Found specification of procedure complete_all [2019-08-10 15:58:59,039 INFO L130 BoogieDeclarations]: Found specification of procedure sysfs_create_group [2019-08-10 15:58:59,039 INFO L130 BoogieDeclarations]: Found specification of procedure sysfs_remove_group [2019-08-10 15:58:59,039 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2019-08-10 15:58:59,039 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-10 15:58:59,039 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assume [2019-08-10 15:58:59,039 INFO L130 BoogieDeclarations]: Found specification of procedure malloc [2019-08-10 15:58:59,039 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_is_err [2019-08-10 15:58:59,040 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_malloc [2019-08-10 15:58:59,040 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2019-08-10 15:58:59,040 INFO L130 BoogieDeclarations]: Found specification of procedure __kmalloc [2019-08-10 15:58:59,040 INFO L130 BoogieDeclarations]: Found specification of procedure kmalloc [2019-08-10 15:58:59,040 INFO L130 BoogieDeclarations]: Found specification of procedure kzalloc [2019-08-10 15:58:59,040 INFO L130 BoogieDeclarations]: Found specification of procedure _copy_from_user [2019-08-10 15:58:59,040 INFO L130 BoogieDeclarations]: Found specification of procedure copy_from_user [2019-08-10 15:58:59,040 INFO L130 BoogieDeclarations]: Found specification of procedure dev_get_drvdata [2019-08-10 15:58:59,040 INFO L130 BoogieDeclarations]: Found specification of procedure dev_set_drvdata [2019-08-10 15:58:59,041 INFO L130 BoogieDeclarations]: Found specification of procedure dev_printk [2019-08-10 15:58:59,041 INFO L130 BoogieDeclarations]: Found specification of procedure dev_err [2019-08-10 15:58:59,041 INFO L130 BoogieDeclarations]: Found specification of procedure dev_warn [2019-08-10 15:58:59,041 INFO L130 BoogieDeclarations]: Found specification of procedure _dev_info [2019-08-10 15:58:59,041 INFO L130 BoogieDeclarations]: Found specification of procedure iminor [2019-08-10 15:58:59,041 INFO L130 BoogieDeclarations]: Found specification of procedure noop_llseek [2019-08-10 15:58:59,041 INFO L130 BoogieDeclarations]: Found specification of procedure input_allocate_device [2019-08-10 15:58:59,041 INFO L130 BoogieDeclarations]: Found specification of procedure input_free_device [2019-08-10 15:58:59,042 INFO L130 BoogieDeclarations]: Found specification of procedure input_set_drvdata [2019-08-10 15:58:59,042 INFO L130 BoogieDeclarations]: Found specification of procedure input_register_device [2019-08-10 15:58:59,042 INFO L130 BoogieDeclarations]: Found specification of procedure input_unregister_device [2019-08-10 15:58:59,042 INFO L130 BoogieDeclarations]: Found specification of procedure input_event [2019-08-10 15:58:59,042 INFO L130 BoogieDeclarations]: Found specification of procedure input_report_key [2019-08-10 15:58:59,042 INFO L130 BoogieDeclarations]: Found specification of procedure input_report_rel [2019-08-10 15:58:59,042 INFO L130 BoogieDeclarations]: Found specification of procedure input_report_abs [2019-08-10 15:58:59,042 INFO L130 BoogieDeclarations]: Found specification of procedure input_sync [2019-08-10 15:58:59,042 INFO L130 BoogieDeclarations]: Found specification of procedure input_set_abs_params [2019-08-10 15:58:59,043 INFO L130 BoogieDeclarations]: Found specification of procedure schedule_timeout [2019-08-10 15:58:59,043 INFO L130 BoogieDeclarations]: Found specification of procedure usb_get_intfdata [2019-08-10 15:58:59,043 INFO L130 BoogieDeclarations]: Found specification of procedure usb_set_intfdata [2019-08-10 15:58:59,043 INFO L130 BoogieDeclarations]: Found specification of procedure interface_to_usbdev [2019-08-10 15:58:59,043 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2019-08-10 15:58:59,043 INFO L130 BoogieDeclarations]: Found specification of procedure usb_get_dev [2019-08-10 15:58:59,043 INFO L130 BoogieDeclarations]: Found specification of procedure usb_find_interface [2019-08-10 15:58:59,043 INFO L130 BoogieDeclarations]: Found specification of procedure usb_ifnum_to_if [2019-08-10 15:58:59,044 INFO L130 BoogieDeclarations]: Found specification of procedure usb_make_path [2019-08-10 15:58:59,044 INFO L130 BoogieDeclarations]: Found specification of procedure usb_register_driver [2019-08-10 15:58:59,044 INFO L130 BoogieDeclarations]: Found specification of procedure usb_register [2019-08-10 15:58:59,044 INFO L130 BoogieDeclarations]: Found specification of procedure usb_deregister [2019-08-10 15:58:59,044 INFO L130 BoogieDeclarations]: Found specification of procedure usb_register_dev [2019-08-10 15:58:59,044 INFO L130 BoogieDeclarations]: Found specification of procedure usb_deregister_dev [2019-08-10 15:58:59,044 INFO L130 BoogieDeclarations]: Found specification of procedure usb_fill_control_urb [2019-08-10 15:58:59,044 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2019-08-10 15:58:59,045 INFO L130 BoogieDeclarations]: Found specification of procedure usb_fill_int_urb [2019-08-10 15:58:59,045 INFO L130 BoogieDeclarations]: Found specification of procedure usb_alloc_urb [2019-08-10 15:58:59,045 INFO L130 BoogieDeclarations]: Found specification of procedure usb_free_urb [2019-08-10 15:58:59,045 INFO L130 BoogieDeclarations]: Found specification of procedure usb_submit_urb [2019-08-10 15:58:59,045 INFO L130 BoogieDeclarations]: Found specification of procedure usb_kill_urb [2019-08-10 15:58:59,045 INFO L130 BoogieDeclarations]: Found specification of procedure __create_pipe [2019-08-10 15:58:59,045 INFO L130 BoogieDeclarations]: Found specification of procedure usb_to_input_id [2019-08-10 15:58:59,045 INFO L130 BoogieDeclarations]: Found specification of procedure rc_allocate_device [2019-08-10 15:58:59,045 INFO L130 BoogieDeclarations]: Found specification of procedure rc_free_device [2019-08-10 15:58:59,046 INFO L130 BoogieDeclarations]: Found specification of procedure rc_register_device [2019-08-10 15:58:59,046 INFO L130 BoogieDeclarations]: Found specification of procedure rc_unregister_device [2019-08-10 15:58:59,047 INFO L130 BoogieDeclarations]: Found specification of procedure rc_keydown [2019-08-10 15:58:59,047 INFO L130 BoogieDeclarations]: Found specification of procedure rc_keyup [2019-08-10 15:58:59,047 INFO L130 BoogieDeclarations]: Found specification of procedure rc_g_keycode_from_table [2019-08-10 15:58:59,047 INFO L130 BoogieDeclarations]: Found specification of procedure imon_probe [2019-08-10 15:58:59,047 INFO L130 BoogieDeclarations]: Found specification of procedure imon_disconnect [2019-08-10 15:58:59,047 INFO L130 BoogieDeclarations]: Found specification of procedure usb_rx_callback_intf0 [2019-08-10 15:58:59,047 INFO L130 BoogieDeclarations]: Found specification of procedure usb_rx_callback_intf1 [2019-08-10 15:58:59,048 INFO L130 BoogieDeclarations]: Found specification of procedure usb_tx_callback [2019-08-10 15:58:59,048 INFO L130 BoogieDeclarations]: Found specification of procedure imon_resume [2019-08-10 15:58:59,048 INFO L130 BoogieDeclarations]: Found specification of procedure imon_suspend [2019-08-10 15:58:59,048 INFO L130 BoogieDeclarations]: Found specification of procedure display_open [2019-08-10 15:58:59,048 INFO L130 BoogieDeclarations]: Found specification of procedure display_close [2019-08-10 15:58:59,048 INFO L130 BoogieDeclarations]: Found specification of procedure vfd_write [2019-08-10 15:58:59,048 INFO L130 BoogieDeclarations]: Found specification of procedure lcd_write [2019-08-10 15:58:59,048 INFO L130 BoogieDeclarations]: Found specification of procedure free_imon_context [2019-08-10 15:58:59,049 INFO L130 BoogieDeclarations]: Found specification of procedure send_packet [2019-08-10 15:58:59,049 INFO L130 BoogieDeclarations]: Found specification of procedure send_associate_24g [2019-08-10 15:58:59,049 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memcpy [2019-08-10 15:58:59,049 INFO L130 BoogieDeclarations]: Found specification of procedure send_set_imon_clock [2019-08-10 15:58:59,049 INFO L130 BoogieDeclarations]: Found specification of procedure show_associate_remote [2019-08-10 15:58:59,049 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_strcpy [2019-08-10 15:58:59,049 INFO L130 BoogieDeclarations]: Found specification of procedure store_associate_remote [2019-08-10 15:58:59,049 INFO L130 BoogieDeclarations]: Found specification of procedure show_imon_clock [2019-08-10 15:58:59,049 INFO L130 BoogieDeclarations]: Found specification of procedure store_imon_clock [2019-08-10 15:58:59,050 INFO L130 BoogieDeclarations]: Found specification of procedure imon_touch_display_timeout [2019-08-10 15:58:59,050 INFO L130 BoogieDeclarations]: Found specification of procedure imon_ir_change_protocol [2019-08-10 15:58:59,050 INFO L130 BoogieDeclarations]: Found specification of procedure tv2int [2019-08-10 15:58:59,050 INFO L130 BoogieDeclarations]: Found specification of procedure stabilize [2019-08-10 15:58:59,050 INFO L130 BoogieDeclarations]: Found specification of procedure imon_remote_key_lookup [2019-08-10 15:58:59,050 INFO L130 BoogieDeclarations]: Found specification of procedure imon_mce_key_lookup [2019-08-10 15:58:59,050 INFO L130 BoogieDeclarations]: Found specification of procedure imon_panel_key_lookup [2019-08-10 15:58:59,050 INFO L130 BoogieDeclarations]: Found specification of procedure imon_mouse_event [2019-08-10 15:58:59,051 INFO L130 BoogieDeclarations]: Found specification of procedure imon_touch_event [2019-08-10 15:58:59,051 INFO L130 BoogieDeclarations]: Found specification of procedure imon_pad_to_keys [2019-08-10 15:58:59,051 INFO L130 BoogieDeclarations]: Found specification of procedure imon_parse_press_type [2019-08-10 15:58:59,051 INFO L130 BoogieDeclarations]: Found specification of procedure imon_incoming_packet [2019-08-10 15:58:59,051 INFO L130 BoogieDeclarations]: Found specification of procedure imon_get_ffdc_type [2019-08-10 15:58:59,051 INFO L130 BoogieDeclarations]: Found specification of procedure imon_set_display_type [2019-08-10 15:58:59,051 INFO L130 BoogieDeclarations]: Found specification of procedure imon_init_rdev [2019-08-10 15:58:59,052 INFO L130 BoogieDeclarations]: Found specification of procedure imon_init_idev [2019-08-10 15:58:59,052 INFO L130 BoogieDeclarations]: Found specification of procedure imon_init_touch [2019-08-10 15:58:59,052 INFO L130 BoogieDeclarations]: Found specification of procedure imon_find_endpoints [2019-08-10 15:58:59,052 INFO L130 BoogieDeclarations]: Found specification of procedure imon_init_intf0 [2019-08-10 15:58:59,052 INFO L130 BoogieDeclarations]: Found specification of procedure imon_init_intf1 [2019-08-10 15:58:59,053 INFO L130 BoogieDeclarations]: Found specification of procedure imon_init_display [2019-08-10 15:58:59,053 INFO L130 BoogieDeclarations]: Found specification of procedure imon_init [2019-08-10 15:58:59,053 INFO L130 BoogieDeclarations]: Found specification of procedure imon_exit [2019-08-10 15:58:59,053 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2019-08-10 15:58:59,053 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_return_value [2019-08-10 15:58:59,053 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_return_value_probe [2019-08-10 15:58:59,053 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_initialize [2019-08-10 15:58:59,053 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_handler_precall [2019-08-10 15:58:59,054 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-10 15:58:59,054 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_error [2019-08-10 15:58:59,054 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_driver_lock [2019-08-10 15:58:59,054 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_driver_lock [2019-08-10 15:58:59,054 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_driver_lock [2019-08-10 15:58:59,054 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_driver_lock [2019-08-10 15:58:59,054 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_driver_lock [2019-08-10 15:58:59,054 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_lock_of_imon_context [2019-08-10 15:58:59,055 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_lock_of_imon_context [2019-08-10 15:58:59,055 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_lock_of_imon_context [2019-08-10 15:58:59,055 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_lock_of_imon_context [2019-08-10 15:58:59,055 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_mutex_of_device [2019-08-10 15:58:59,055 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_mutex_of_device [2019-08-10 15:58:59,055 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_mutex_of_device [2019-08-10 15:58:59,055 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_mutex_of_device [2019-08-10 15:58:59,057 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_ulong [2019-08-10 15:58:59,057 INFO L130 BoogieDeclarations]: Found specification of procedure external_alloc [2019-08-10 15:58:59,057 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_uint [2019-08-10 15:58:59,057 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_long [2019-08-10 15:58:59,057 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_pointer [2019-08-10 15:58:59,057 INFO L130 BoogieDeclarations]: Found specification of procedure free [2019-08-10 15:58:59,057 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-10 15:58:59,058 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2019-08-10 15:58:59,058 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2019-08-10 15:58:59,058 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-10 15:58:59,058 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~$Pointer$ [2019-08-10 15:58:59,058 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~$Pointer$ [2019-08-10 15:58:59,058 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~int [2019-08-10 15:58:59,058 INFO L130 BoogieDeclarations]: Found specification of procedure read~unchecked~int [2019-08-10 15:59:13,551 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-10 15:59:13,552 INFO L283 CfgBuilder]: Removed 1 assume(true) statements. [2019-08-10 15:59:13,554 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 10.08 03:59:13 BoogieIcfgContainer [2019-08-10 15:59:13,554 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-10 15:59:13,555 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-10 15:59:13,555 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-10 15:59:13,555 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-10 15:59:13,556 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 10.08 03:59:13" (1/1) ... [2019-08-10 15:59:28,998 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string70.base|) [2019-08-10 15:59:31,199 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string111.base|) [2019-08-10 15:59:33,387 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string118.base| |#t~string69.base|) [2019-08-10 15:59:35,587 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| (select (select |#memory_$Pointer$.base| |~#imon_vfd_class~0.base|) (+ |~#imon_vfd_class~0.offset| 16))) [2019-08-10 15:59:37,664 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#imon_lcd_class~0.base|) (+ |~#imon_lcd_class~0.offset| 16)) |#t~string69.base|) [2019-08-10 15:59:39,858 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#imon_driver~0.base|) (+ |~#imon_driver~0.offset| 72)) |#t~string69.base|) [2019-08-10 15:59:42,050 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#imon_driver~0.base| |#t~string69.base|) [2019-08-10 15:59:44,207 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string147.base|) [2019-08-10 15:59:46,362 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#imon_vfd_class~0.base|) |~#imon_vfd_class~0.offset|) |#t~string69.base|) [2019-08-10 15:59:48,426 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#imon_vfd_class~0.base| |#t~string69.base|) [2019-08-10 15:59:50,594 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#imon_lcd_class~0.base|) |~#imon_lcd_class~0.offset|) |#t~string69.base|) [2019-08-10 15:59:52,741 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |~#imon_lcd_class~0.base|) [2019-08-10 15:59:54,948 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |~#imon_panel_key_table~0.base|) [2019-08-10 15:59:57,120 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| (select (select |#memory_$Pointer$.base| |~#driver_lock~0.base|) (+ |~#driver_lock~0.offset| 48))) [2019-08-10 15:59:59,348 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#driver_lock~0.base| |#t~string69.base|) [2019-08-10 16:00:01,592 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string151.base|) [2019-08-10 16:00:03,838 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string156.base|) [2019-08-10 16:00:06,060 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string157.base|) [2019-08-10 16:00:08,262 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string158.base|) [2019-08-10 16:00:10,481 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string159.base|) [2019-08-10 16:00:12,675 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string163.base| |#t~string69.base|) [2019-08-10 16:00:14,938 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string164.base| |#t~string69.base|) [2019-08-10 16:00:17,173 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string165.base| |#t~string69.base|) [2019-08-10 16:00:19,403 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string169.base| |#t~string69.base|) [2019-08-10 16:00:21,661 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string170.base| |#t~string69.base|) [2019-08-10 16:00:24,063 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string173.base| |#t~string69.base|) [2019-08-10 16:00:26,240 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |#t~string69.base|) [2019-08-10 16:00:28,420 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string177.base| |#t~string69.base|) [2019-08-10 16:00:30,611 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string178.base| |#t~string69.base|) [2019-08-10 16:00:32,860 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string181.base|) [2019-08-10 16:00:35,061 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string182.base|) [2019-08-10 16:00:37,288 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string183.base|) [2019-08-10 16:00:39,499 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string184.base|) [2019-08-10 16:00:41,722 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string185.base|) [2019-08-10 16:00:43,928 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string186.base|) [2019-08-10 16:00:46,142 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string190.base|) [2019-08-10 16:00:48,444 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string192.base|) [2019-08-10 16:00:50,670 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string195.base|) [2019-08-10 16:00:52,899 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string196.base|) [2019-08-10 16:00:55,150 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string199.base|) [2019-08-10 16:00:57,561 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string200.base| |#t~string69.base|) [2019-08-10 16:00:59,774 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string203.base| |#t~string69.base|) [2019-08-10 16:01:02,015 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string204.base| |#t~string69.base|) [2019-08-10 16:01:04,242 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string205.base| |#t~string69.base|) [2019-08-10 16:01:06,467 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string206.base| |#t~string69.base|) [2019-08-10 16:01:08,733 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string207.base| |#t~string69.base|) [2019-08-10 16:01:10,962 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string208.base| |#t~string69.base|) [2019-08-10 16:01:13,220 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string212.base| |#t~string69.base|) [2019-08-10 16:01:15,466 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string214.base| |#t~string69.base|) [2019-08-10 16:01:17,707 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string235.base|) [2019-08-10 16:01:19,965 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string236.base|) [2019-08-10 16:01:22,188 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string239.base|) [2019-08-10 16:01:24,460 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string240.base|) [2019-08-10 16:01:26,730 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string243.base| |#t~string69.base|) [2019-08-10 16:01:28,964 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string244.base| |#t~string69.base|) [2019-08-10 16:01:31,235 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string253.base| |#t~string69.base|) [2019-08-10 16:01:33,704 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string254.base| |#t~string69.base|) [2019-08-10 16:01:36,058 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string257.base| |#t~string69.base|) [2019-08-10 16:01:38,387 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string258.base| |#t~string69.base|) [2019-08-10 16:01:40,697 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string263.base|) [2019-08-10 16:01:42,950 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string264.base|) [2019-08-10 16:01:45,207 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string272.base|) [2019-08-10 16:01:47,486 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string273.base|) [2019-08-10 16:01:49,735 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string276.base|) [2019-08-10 16:01:52,032 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string278.base|) [2019-08-10 16:01:54,091 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string281.base|) [2019-08-10 16:01:56,359 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string288.base|) [2019-08-10 16:01:58,662 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string290.base| |#t~string69.base|) [2019-08-10 16:02:00,902 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string292.base| |#t~string69.base|) [2019-08-10 16:02:03,152 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string293.base| |#t~string69.base|) [2019-08-10 16:02:05,393 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string299.base| |#t~string69.base|) [2019-08-10 16:02:07,683 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| (select (select |#memory_$Pointer$.base| |~#dev_attr_imon_clock~0.base|) |~#dev_attr_imon_clock~0.offset|)) [2019-08-10 16:02:10,148 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| (select (select |#memory_$Pointer$.base| |~#imon_display_sysfs_entries~0.base|) |~#imon_display_sysfs_entries~0.offset|)) [2019-08-10 16:02:12,389 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#dev_attr_associate_remote~0.base|) |~#dev_attr_associate_remote~0.offset|) |#t~string69.base|) [2019-08-10 16:02:14,606 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| (select (select |#memory_$Pointer$.base| |~#imon_rf_sysfs_entries~0.base|) |~#imon_rf_sysfs_entries~0.offset|)) [2019-08-10 16:02:17,031 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| (select (select |#memory_$Pointer$.base| |~#imon_display_attr_group~0.base|) (+ |~#imon_display_attr_group~0.offset| 16))) [2019-08-10 16:02:19,523 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |~#imon_display_attr_group~0.base|) [2019-08-10 16:02:21,934 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#imon_rf_attr_group~0.base|) (+ |~#imon_rf_attr_group~0.offset| 16)) |#t~string69.base|) [2019-08-10 16:02:24,355 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |~#imon_rf_attr_group~0.base|) [2019-08-10 16:02:26,986 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string327.base| |#t~string69.base|) [2019-08-10 16:02:29,589 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string328.base| |#t~string69.base|) [2019-08-10 16:02:32,131 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string331.base| |#t~string69.base|) [2019-08-10 16:02:34,649 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string332.base| |#t~string69.base|) [2019-08-10 16:02:37,282 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string334.base| |#t~string69.base|) [2019-08-10 16:02:39,655 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string335.base| |#t~string69.base|) [2019-08-10 16:02:41,930 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string341.base| |#t~string69.base|) [2019-08-10 16:02:44,192 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string342.base| |#t~string69.base|) [2019-08-10 16:02:46,577 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string347.base|) [2019-08-10 16:02:48,921 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string348.base|) [2019-08-10 16:02:51,227 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string352.base|) [2019-08-10 16:02:53,503 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string353.base|) [2019-08-10 16:02:55,806 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string356.base|) [2019-08-10 16:02:58,077 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string357.base|) [2019-08-10 16:03:00,442 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string359.base|) [2019-08-10 16:03:02,684 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string360.base|) [2019-08-10 16:03:04,948 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string364.base|) [2019-08-10 16:03:07,216 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string365.base|) [2019-08-10 16:03:09,492 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string366.base|) [2019-08-10 16:03:11,828 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string367.base|) [2019-08-10 16:03:14,077 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string368.base|) [2019-08-10 16:03:16,386 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string369.base|) [2019-08-10 16:03:18,658 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string373.base| |#t~string69.base|) [2019-08-10 16:03:21,000 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string375.base| |#t~string69.base|) [2019-08-10 16:03:23,202 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string376.base| |#t~string69.base|) [2019-08-10 16:03:25,351 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string392.base|) [2019-08-10 16:03:27,569 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string394.base|) [2019-08-10 16:03:29,840 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string395.base|) [2019-08-10 16:03:32,167 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string396.base|) [2019-08-10 16:03:34,393 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string397.base|) [2019-08-10 16:03:36,694 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string401.base|) [2019-08-10 16:03:38,918 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string402.base|) [2019-08-10 16:03:41,298 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string403.base|) [2019-08-10 16:03:43,606 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string404.base|) [2019-08-10 16:03:45,950 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string405.base| |#t~string69.base|) [2019-08-10 16:03:48,218 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string406.base| |#t~string69.base|) [2019-08-10 16:03:50,474 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string410.base| |#t~string69.base|) [2019-08-10 16:03:52,936 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string411.base| |#t~string69.base|) [2019-08-10 16:03:55,054 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string412.base| |#t~string69.base|) [2019-08-10 16:03:57,278 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string413.base| |#t~string69.base|) [2019-08-10 16:03:59,499 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string414.base| |#t~string69.base|) [2019-08-10 16:04:01,756 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string415.base| |#t~string69.base|) [2019-08-10 16:04:04,485 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string419.base| |#t~string69.base|) [2019-08-10 16:04:07,258 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string420.base| |#t~string69.base|) [2019-08-10 16:04:09,856 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string422.base| |#t~string69.base|) [2019-08-10 16:04:12,375 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string423.base| |#t~string69.base|) [2019-08-10 16:04:15,050 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string424.base|) [2019-08-10 16:04:17,703 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string425.base|) [2019-08-10 16:04:20,063 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string426.base|) [2019-08-10 16:04:22,454 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string430.base|) [2019-08-10 16:04:24,869 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string431.base|) [2019-08-10 16:04:27,153 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string496.base|) [2019-08-10 16:04:29,543 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string497.base|) [2019-08-10 16:04:32,071 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string498.base|) [2019-08-10 16:04:34,494 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string499.base|) [2019-08-10 16:04:36,922 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string503.base| |#t~string69.base|) [2019-08-10 16:04:39,516 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string505.base|) [2019-08-10 16:04:41,865 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string622.base| |#t~string69.base|) [2019-08-10 16:04:44,246 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string623.base| |#t~string69.base|) [2019-08-10 16:04:46,551 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string624.base| |#t~string69.base|) [2019-08-10 16:04:49,079 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string625.base| |#t~string69.base|) [2019-08-10 16:04:51,675 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string629.base| |#t~string69.base|) [2019-08-10 16:04:54,322 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string630.base| |#t~string69.base|) [2019-08-10 16:04:57,094 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string632.base|) [2019-08-10 16:04:59,944 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string633.base|) [2019-08-10 16:05:02,619 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string635.base|) [2019-08-10 16:05:05,593 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string636.base|) [2019-08-10 16:05:08,664 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string637.base|) [2019-08-10 16:05:11,368 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string638.base|) [2019-08-10 16:05:14,057 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string642.base|) [2019-08-10 16:05:16,754 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string643.base|) [2019-08-10 16:05:19,342 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string661.base| |#t~string69.base|) [2019-08-10 16:05:22,003 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string663.base| |#t~string69.base|) [2019-08-10 16:05:24,553 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string666.base| |#t~string69.base|) [2019-08-10 16:05:27,147 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string695.base|) [2019-08-10 16:05:29,777 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string696.base|) [2019-08-10 16:05:32,381 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string698.base|) [2019-08-10 16:05:35,004 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string699.base|) [2019-08-10 16:05:37,366 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string718.base|) [2019-08-10 16:05:40,053 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string719.base|) [2019-08-10 16:05:42,517 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string726.base|) [2019-08-10 16:05:44,869 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string727.base|) [2019-08-10 16:05:47,371 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string736.base|) [2019-08-10 16:05:49,755 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string737.base|) [2019-08-10 16:05:52,311 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string745.base| |#t~string69.base|) [2019-08-10 16:05:54,516 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string748.base| |#t~string69.base|) [2019-08-10 16:05:56,782 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string751.base| |#t~string69.base|) [2019-08-10 16:05:59,162 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string754.base| |#t~string69.base|) [2019-08-10 16:06:01,574 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string757.base| |#t~string69.base|) [2019-08-10 16:06:04,090 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string760.base|) [2019-08-10 16:06:06,517 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string763.base|) [2019-08-10 16:06:09,045 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string765.base|) [2019-08-10 16:06:11,469 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string771.base|) [2019-08-10 16:06:14,173 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string772.base|) [2019-08-10 16:06:16,632 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string776.base|) [2019-08-10 16:06:19,205 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string778.base|) [2019-08-10 16:06:21,580 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string783.base|) [2019-08-10 16:06:24,239 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string787.base|) [2019-08-10 16:06:27,048 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string793.base| |#t~string69.base|) [2019-08-10 16:06:29,615 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string797.base| |#t~string69.base|) [2019-08-10 16:06:32,174 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string798.base| |#t~string69.base|) [2019-08-10 16:06:34,457 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string802.base|) [2019-08-10 16:06:37,037 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string806.base|) [2019-08-10 16:06:39,452 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string808.base|) [2019-08-10 16:06:41,876 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string813.base|) [2019-08-10 16:06:44,350 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string821.base| |#t~string69.base|) [2019-08-10 16:06:46,805 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string825.base| |#t~string69.base|) [2019-08-10 16:06:49,445 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string827.base| |#t~string69.base|) [2019-08-10 16:06:52,032 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string832.base| |#t~string69.base|) [2019-08-10 16:06:54,474 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string839.base| |#t~string69.base|) [2019-08-10 16:06:56,918 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string846.base|) [2019-08-10 16:06:59,498 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string847.base|) [2019-08-10 16:07:02,443 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string848.base|) [2019-08-10 16:07:04,867 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string849.base|) [2019-08-10 16:07:07,673 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string853.base|) [2019-08-10 16:07:10,460 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string855.base|) [2019-08-10 16:07:13,285 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string856.base|) [2019-08-10 16:07:16,427 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string857.base|) [2019-08-10 16:07:19,220 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string858.base|) [2019-08-10 16:07:21,998 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string859.base|) [2019-08-10 16:07:24,762 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string860.base|) [2019-08-10 16:07:27,534 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string864.base|) [2019-08-10 16:07:30,375 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string866.base|) [2019-08-10 16:07:33,153 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string867.base|) [2019-08-10 16:07:35,969 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string868.base|) [2019-08-10 16:07:38,078 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= |#t~string69.base| |#t~string868.base|) [2019-08-10 16:07:40,195 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string869.base|) [2019-08-10 16:07:42,257 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= |#t~string69.base| |#t~string869.base|) [2019-08-10 16:07:44,315 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string870.base| |#t~string69.base|) [2019-08-10 16:07:46,915 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string871.base| |#t~string69.base|) [2019-08-10 16:07:49,086 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string875.base| |#t~string69.base|) [2019-08-10 16:07:51,232 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string877.base| |#t~string69.base|) [2019-08-10 16:07:53,491 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string878.base| |#t~string69.base|) [2019-08-10 16:07:55,724 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string880.base| |#t~string69.base|) [2019-08-10 16:07:58,211 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string881.base| |#t~string69.base|) [2019-08-10 16:08:00,500 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string882.base| |#t~string69.base|) [2019-08-10 16:08:02,787 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string883.base| |#t~string69.base|) [2019-08-10 16:08:05,715 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string887.base| |#t~string69.base|) [2019-08-10 16:08:08,124 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string889.base| |#t~string69.base|) [2019-08-10 16:08:11,871 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string890.base|) [2019-08-10 16:08:14,653 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string892.base|) [2019-08-10 16:08:17,198 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string893.base|) [2019-08-10 16:08:19,924 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string894.base|) [2019-08-10 16:08:22,560 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string895.base|) [2019-08-10 16:08:25,176 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string899.base|) [2019-08-10 16:08:27,772 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string901.base| |#t~string69.base|) [2019-08-10 16:08:30,367 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string902.base| |#t~string69.base|) [2019-08-10 16:08:32,971 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string904.base| |#t~string69.base|) [2019-08-10 16:08:35,698 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string905.base| |#t~string69.base|) [2019-08-10 16:08:38,323 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string908.base| |#t~string69.base|) [2019-08-10 16:08:40,971 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string909.base| |#t~string69.base|) [2019-08-10 16:08:43,496 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string912.base| |#t~string69.base|) [2019-08-10 16:08:45,899 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string913.base| |#t~string69.base|) [2019-08-10 16:08:48,466 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string916.base| |#t~string69.base|) [2019-08-10 16:08:51,193 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string917.base| |#t~string69.base|) [2019-08-10 16:08:53,865 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string918.base| |#t~string69.base|) [2019-08-10 16:08:56,543 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string920.base|) [2019-08-10 16:08:59,062 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string940.base|) [2019-08-10 16:09:01,780 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string941.base|) [2019-08-10 16:09:04,324 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string945.base|) [2019-08-10 16:09:07,022 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string946.base|) [2019-08-10 16:09:09,735 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string950.base| |#t~string69.base|) [2019-08-10 16:09:12,330 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string951.base| |#t~string69.base|) [2019-08-10 16:09:14,887 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string955.base| |#t~string69.base|) [2019-08-10 16:09:17,313 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string958.base| |#t~string69.base|) [2019-08-10 16:09:19,680 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string959.base| |#t~string69.base|) [2019-08-10 16:09:22,086 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string961.base| |#t~string69.base|) [2019-08-10 16:09:24,501 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string980.base|) [2019-08-10 16:09:26,920 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string981.base|) [2019-08-10 16:09:29,282 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string986.base|) [2019-08-10 16:09:31,911 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string987.base|) [2019-08-10 16:09:34,545 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string988.base|) [2019-08-10 16:09:37,099 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string989.base|) [2019-08-10 16:09:39,461 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string990.base|) [2019-08-10 16:09:41,741 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string994.base|) [2019-08-10 16:09:44,005 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string996.base|) [2019-08-10 16:09:46,744 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string1000.base| |#t~string69.base|) [2019-08-10 16:09:49,528 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1006.base|) [2019-08-10 16:09:52,009 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1013.base|) [2019-08-10 16:09:54,541 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1014.base|) [2019-08-10 16:09:57,265 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1015.base|) [2019-08-10 16:09:59,582 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1016.base|) [2019-08-10 16:10:01,856 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1020.base|) [2019-08-10 16:10:04,094 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1021.base|) [2019-08-10 16:10:06,419 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1022.base|) [2019-08-10 16:10:08,679 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1027.base|) [2019-08-10 16:10:11,032 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1028.base|) [2019-08-10 16:10:13,334 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string1031.base| |#t~string69.base|) [2019-08-10 16:10:15,689 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string1032.base| |#t~string69.base|) [2019-08-10 16:10:17,986 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string1037.base| |#t~string69.base|) [2019-08-10 16:10:20,324 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string1038.base| |#t~string69.base|) [2019-08-10 16:10:22,658 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string1041.base| |#t~string69.base|) [2019-08-10 16:10:24,935 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string1046.base| |#t~string69.base|) [2019-08-10 16:10:27,280 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1067.base|) [2019-08-10 16:10:29,652 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1068.base|) [2019-08-10 16:10:32,022 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1069.base|) [2019-08-10 16:10:34,368 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1070.base|) [2019-08-10 16:10:36,661 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1074.base|) [2019-08-10 16:10:38,955 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1075.base|) [2019-08-10 16:10:41,270 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1076.base|) [2019-08-10 16:10:43,633 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1107.base|) [2019-08-10 16:10:45,804 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string69.base| |#t~string1108.base|) [2019-08-10 16:10:48,089 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string111.base|) [2019-08-10 16:10:50,328 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string118.base| |#t~string70.base|) [2019-08-10 16:10:53,424 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| (select (select |#memory_$Pointer$.base| |~#imon_vfd_class~0.base|) (+ |~#imon_vfd_class~0.offset| 16))) [2019-08-10 16:10:55,699 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#imon_lcd_class~0.base|) (+ |~#imon_lcd_class~0.offset| 16)) |#t~string70.base|) [2019-08-10 16:10:57,970 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#imon_driver~0.base|) (+ |~#imon_driver~0.offset| 72)) |#t~string70.base|) [2019-08-10 16:11:00,211 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#imon_driver~0.base| |#t~string70.base|) [2019-08-10 16:11:02,506 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string147.base|) [2019-08-10 16:11:04,789 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#imon_vfd_class~0.base|) |~#imon_vfd_class~0.offset|) |#t~string70.base|) [2019-08-10 16:11:07,036 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#imon_vfd_class~0.base| |#t~string70.base|) [2019-08-10 16:11:09,294 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#imon_lcd_class~0.base|) |~#imon_lcd_class~0.offset|) |#t~string70.base|) [2019-08-10 16:11:11,528 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#imon_lcd_class~0.base| |#t~string70.base|) [2019-08-10 16:11:13,776 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |~#imon_panel_key_table~0.base|) [2019-08-10 16:11:16,014 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#driver_lock~0.base|) (+ |~#driver_lock~0.offset| 48)) |#t~string70.base|) [2019-08-10 16:11:18,241 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#driver_lock~0.base| |#t~string70.base|) [2019-08-10 16:11:20,487 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string151.base|) [2019-08-10 16:11:22,747 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string156.base|) [2019-08-10 16:11:24,991 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string157.base|) [2019-08-10 16:11:27,235 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string158.base|) [2019-08-10 16:11:29,473 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string159.base|) [2019-08-10 16:11:31,707 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string163.base| |#t~string70.base|) [2019-08-10 16:11:33,966 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string164.base| |#t~string70.base|) [2019-08-10 16:11:36,198 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string165.base| |#t~string70.base|) [2019-08-10 16:11:38,445 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string169.base| |#t~string70.base|) [2019-08-10 16:11:40,683 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string170.base| |#t~string70.base|) [2019-08-10 16:11:42,911 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string173.base| |#t~string70.base|) [2019-08-10 16:11:45,146 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |#t~string70.base|) [2019-08-10 16:11:47,419 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string177.base| |#t~string70.base|) [2019-08-10 16:11:49,686 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string178.base| |#t~string70.base|) [2019-08-10 16:11:51,944 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string181.base| |#t~string70.base|) [2019-08-10 16:11:54,151 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string182.base| |#t~string70.base|) [2019-08-10 16:11:56,366 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string183.base| |#t~string70.base|) [2019-08-10 16:11:58,613 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string184.base| |#t~string70.base|) [2019-08-10 16:12:00,824 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string185.base| |#t~string70.base|) [2019-08-10 16:12:03,138 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string186.base| |#t~string70.base|) [2019-08-10 16:12:05,407 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string190.base|) [2019-08-10 16:12:07,777 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string192.base|) [2019-08-10 16:12:10,131 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string195.base|) [2019-08-10 16:12:12,416 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string196.base|) [2019-08-10 16:12:14,709 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string199.base|) [2019-08-10 16:12:16,958 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string200.base| |#t~string70.base|) [2019-08-10 16:12:19,193 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string203.base| |#t~string70.base|) [2019-08-10 16:12:21,449 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string204.base| |#t~string70.base|) [2019-08-10 16:12:23,687 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string205.base| |#t~string70.base|) [2019-08-10 16:12:25,896 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string206.base| |#t~string70.base|) [2019-08-10 16:12:28,304 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string207.base| |#t~string70.base|) [2019-08-10 16:12:30,710 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string208.base| |#t~string70.base|) [2019-08-10 16:12:33,147 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string212.base| |#t~string70.base|) [2019-08-10 16:12:35,523 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string214.base| |#t~string70.base|) [2019-08-10 16:12:37,895 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string235.base|) [2019-08-10 16:12:40,502 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string236.base|) [2019-08-10 16:12:42,860 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string239.base|) [2019-08-10 16:12:45,236 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string240.base|) [2019-08-10 16:12:47,740 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string243.base| |#t~string70.base|) [2019-08-10 16:12:50,205 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string244.base| |#t~string70.base|) [2019-08-10 16:12:52,611 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string253.base| |#t~string70.base|) [2019-08-10 16:12:55,016 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string254.base| |#t~string70.base|) [2019-08-10 16:12:57,439 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string257.base| |#t~string70.base|) [2019-08-10 16:12:59,696 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string258.base| |#t~string70.base|) [2019-08-10 16:13:02,047 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string263.base| |#t~string70.base|) [2019-08-10 16:13:04,407 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string264.base| |#t~string70.base|) [2019-08-10 16:13:06,644 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string272.base|) [2019-08-10 16:13:08,890 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string273.base|) [2019-08-10 16:13:11,221 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string276.base|) [2019-08-10 16:13:13,540 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string278.base|) [2019-08-10 16:13:15,913 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string281.base|) [2019-08-10 16:13:18,086 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |#t~string288.base|) [2019-08-10 16:13:20,390 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string290.base| |#t~string70.base|) [2019-08-10 16:13:22,742 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string292.base| |#t~string70.base|) [2019-08-10 16:13:25,071 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string293.base| |#t~string70.base|) [2019-08-10 16:13:27,420 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string299.base| |#t~string70.base|) [2019-08-10 16:13:29,733 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| (select (select |#memory_$Pointer$.base| |~#dev_attr_imon_clock~0.base|) |~#dev_attr_imon_clock~0.offset|)) [2019-08-10 16:13:31,967 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| (select (select |#memory_$Pointer$.base| |~#imon_display_sysfs_entries~0.base|) |~#imon_display_sysfs_entries~0.offset|)) [2019-08-10 16:13:34,273 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#dev_attr_associate_remote~0.base|) |~#dev_attr_associate_remote~0.offset|) |#t~string70.base|) [2019-08-10 16:13:36,605 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| (select (select |#memory_$Pointer$.base| |~#imon_rf_sysfs_entries~0.base|) |~#imon_rf_sysfs_entries~0.offset|))