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-consumption/32_7a_cilled_linux-3.8-rc1-drivers--hwmon--max16065.ko-main.cil.out.i -------------------------------------------------------------------------------- This is Ultimate 0.1.24-2989841 [2019-08-10 17:20:25,142 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-10 17:20:25,144 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-10 17:20:25,162 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-10 17:20:25,163 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-10 17:20:25,164 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-10 17:20:25,166 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-10 17:20:25,179 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-10 17:20:25,181 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-10 17:20:25,184 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-10 17:20:25,185 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-10 17:20:25,186 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-10 17:20:25,187 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-10 17:20:25,188 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-10 17:20:25,189 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-10 17:20:25,190 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-10 17:20:25,191 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-10 17:20:25,192 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-10 17:20:25,194 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-10 17:20:25,196 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-10 17:20:25,202 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-10 17:20:25,203 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-10 17:20:25,204 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-10 17:20:25,207 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-10 17:20:25,209 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-10 17:20:25,210 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-10 17:20:25,211 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-10 17:20:25,212 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-10 17:20:25,212 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-10 17:20:25,213 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-10 17:20:25,213 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-10 17:20:25,214 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-10 17:20:25,215 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-10 17:20:25,215 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-10 17:20:25,216 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-10 17:20:25,217 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-10 17:20:25,217 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-10 17:20:25,218 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-10 17:20:25,218 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-10 17:20:25,219 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-10 17:20:25,219 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-10 17:20:25,220 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 17:20:25,236 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-10 17:20:25,237 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-10 17:20:25,238 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-10 17:20:25,239 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-10 17:20:25,239 INFO L138 SettingsManager]: * Use SBE=true [2019-08-10 17:20:25,239 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-10 17:20:25,239 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-10 17:20:25,239 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-10 17:20:25,240 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-10 17:20:25,240 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-10 17:20:25,240 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-10 17:20:25,240 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-10 17:20:25,240 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-10 17:20:25,241 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-10 17:20:25,241 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-10 17:20:25,241 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-10 17:20:25,242 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-10 17:20:25,242 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-10 17:20:25,242 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-10 17:20:25,242 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-10 17:20:25,243 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-10 17:20:25,243 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-10 17:20:25,243 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-10 17:20:25,243 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-10 17:20:25,243 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-10 17:20:25,244 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-10 17:20:25,244 INFO L138 SettingsManager]: * To the following directory=dump/ [2019-08-10 17:20:25,292 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-10 17:20:25,305 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-10 17:20:25,309 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-10 17:20:25,310 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-10 17:20:25,311 INFO L275 PluginConnector]: CDTParser initialized [2019-08-10 17:20:25,312 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/ldv-consumption/32_7a_cilled_linux-3.8-rc1-drivers--hwmon--max16065.ko-main.cil.out.i [2019-08-10 17:20:25,375 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/eb6bb92d1/80bf51cdd9c047d089d6c56e777187c8/FLAG2e1e777a3 [2019-08-10 17:20:26,164 INFO L306 CDTParser]: Found 1 translation units. [2019-08-10 17:20:26,165 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/ldv-consumption/32_7a_cilled_linux-3.8-rc1-drivers--hwmon--max16065.ko-main.cil.out.i [2019-08-10 17:20:26,228 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/eb6bb92d1/80bf51cdd9c047d089d6c56e777187c8/FLAG2e1e777a3 [2019-08-10 17:20:26,716 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/eb6bb92d1/80bf51cdd9c047d089d6c56e777187c8 [2019-08-10 17:20:26,730 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-10 17:20:26,733 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-10 17:20:26,734 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-10 17:20:26,734 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-10 17:20:26,737 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-10 17:20:26,738 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 10.08 05:20:26" (1/1) ... [2019-08-10 17:20:26,741 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@21d3d3ae and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:26, skipping insertion in model container [2019-08-10 17:20:26,741 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 10.08 05:20:26" (1/1) ... [2019-08-10 17:20:26,749 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-10 17:20:26,891 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-10 17:20:28,301 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-10 17:20:28,384 INFO L188 MainTranslator]: Completed pre-run [2019-08-10 17:20:28,678 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-10 17:20:29,221 INFO L192 MainTranslator]: Completed translation [2019-08-10 17:20:29,222 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:29 WrapperNode [2019-08-10 17:20:29,222 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-10 17:20:29,224 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-10 17:20:29,224 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-10 17:20:29,224 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-10 17:20:29,241 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:29" (1/1) ... [2019-08-10 17:20:29,242 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:29" (1/1) ... [2019-08-10 17:20:29,393 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:29" (1/1) ... [2019-08-10 17:20:29,394 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:29" (1/1) ... [2019-08-10 17:20:29,494 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:29" (1/1) ... [2019-08-10 17:20:29,520 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:29" (1/1) ... [2019-08-10 17:20:29,572 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:29" (1/1) ... [2019-08-10 17:20:29,613 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-10 17:20:29,614 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-10 17:20:29,614 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-10 17:20:29,614 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-10 17:20:29,615 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 10.08 05:20:29" (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 17:20:29,688 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-10 17:20:29,688 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-10 17:20:29,688 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~~u32~0 [2019-08-10 17:20:29,688 INFO L138 BoogieDeclarations]: Found implementation of procedure __fswab16 [2019-08-10 17:20:29,689 INFO L138 BoogieDeclarations]: Found implementation of procedure kstrtoul [2019-08-10 17:20:29,689 INFO L138 BoogieDeclarations]: Found implementation of procedure PTR_ERR [2019-08-10 17:20:29,690 INFO L138 BoogieDeclarations]: Found implementation of procedure IS_ERR [2019-08-10 17:20:29,690 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_smbus_read_word_swapped [2019-08-10 17:20:29,691 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_get_clientdata [2019-08-10 17:20:29,691 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_set_clientdata [2019-08-10 17:20:29,692 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_get_functionality [2019-08-10 17:20:29,692 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_check_functionality [2019-08-10 17:20:29,692 INFO L138 BoogieDeclarations]: Found implementation of procedure SENSORS_LIMIT [2019-08-10 17:20:29,693 INFO L138 BoogieDeclarations]: Found implementation of procedure ADC_TO_MV [2019-08-10 17:20:29,695 INFO L138 BoogieDeclarations]: Found implementation of procedure LIMIT_TO_MV [2019-08-10 17:20:29,695 INFO L138 BoogieDeclarations]: Found implementation of procedure MV_TO_LIMIT [2019-08-10 17:20:29,697 INFO L138 BoogieDeclarations]: Found implementation of procedure ADC_TO_CURR [2019-08-10 17:20:29,697 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_read_adc [2019-08-10 17:20:29,700 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_update_device [2019-08-10 17:20:29,701 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_show_alarm [2019-08-10 17:20:29,701 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_show_input [2019-08-10 17:20:29,702 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_show_current [2019-08-10 17:20:29,702 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_set_limit [2019-08-10 17:20:29,702 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_show_limit [2019-08-10 17:20:29,702 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_cleanup [2019-08-10 17:20:29,702 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_probe [2019-08-10 17:20:29,702 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_remove [2019-08-10 17:20:29,703 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_driver_init [2019-08-10 17:20:29,703 INFO L138 BoogieDeclarations]: Found implementation of procedure max16065_driver_exit [2019-08-10 17:20:29,703 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-10 17:20:29,703 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_1 [2019-08-10 17:20:29,703 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_2 [2019-08-10 17:20:29,703 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_3 [2019-08-10 17:20:29,703 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_4 [2019-08-10 17:20:29,704 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_5 [2019-08-10 17:20:29,704 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_6 [2019-08-10 17:20:29,704 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_7 [2019-08-10 17:20:29,704 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_8 [2019-08-10 17:20:29,704 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_9 [2019-08-10 17:20:29,704 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_10 [2019-08-10 17:20:29,705 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_11 [2019-08-10 17:20:29,705 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_error [2019-08-10 17:20:29,705 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2019-08-10 17:20:29,705 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_trap [2019-08-10 17:20:29,705 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,706 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,706 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,706 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,706 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,706 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,706 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,707 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_lock [2019-08-10 17:20:29,707 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_lock [2019-08-10 17:20:29,707 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_lock [2019-08-10 17:20:29,707 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_lock [2019-08-10 17:20:29,707 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_lock [2019-08-10 17:20:29,707 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_lock [2019-08-10 17:20:29,707 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_lock [2019-08-10 17:20:29,708 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_mutex_of_device [2019-08-10 17:20:29,708 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_mutex_of_device [2019-08-10 17:20:29,708 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_mutex_of_device [2019-08-10 17:20:29,709 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_mutex_of_device [2019-08-10 17:20:29,709 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_mutex_of_device [2019-08-10 17:20:29,709 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_mutex_of_device [2019-08-10 17:20:29,709 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_mutex_of_device [2019-08-10 17:20:29,709 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_update_lock_of_max16065_data [2019-08-10 17:20:29,709 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_update_lock_of_max16065_data [2019-08-10 17:20:29,709 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_update_lock_of_max16065_data [2019-08-10 17:20:29,710 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_update_lock_of_max16065_data [2019-08-10 17:20:29,710 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_update_lock_of_max16065_data [2019-08-10 17:20:29,710 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_update_lock_of_max16065_data [2019-08-10 17:20:29,710 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_update_lock_of_max16065_data [2019-08-10 17:20:29,711 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_initialize [2019-08-10 17:20:29,711 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2019-08-10 17:20:29,711 INFO L138 BoogieDeclarations]: Found implementation of procedure __mutex_init [2019-08-10 17:20:29,711 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_get_drvdata [2019-08-10 17:20:29,712 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_set_drvdata [2019-08-10 17:20:29,712 INFO L138 BoogieDeclarations]: Found implementation of procedure devm_kzalloc [2019-08-10 17:20:29,712 INFO L138 BoogieDeclarations]: Found implementation of procedure hwmon_device_register [2019-08-10 17:20:29,713 INFO L138 BoogieDeclarations]: Found implementation of procedure hwmon_device_unregister [2019-08-10 17:20:29,713 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_del_driver [2019-08-10 17:20:29,713 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_register_driver [2019-08-10 17:20:29,713 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_smbus_read_byte_data [2019-08-10 17:20:29,713 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_smbus_read_word_data [2019-08-10 17:20:29,714 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_smbus_write_byte_data [2019-08-10 17:20:29,714 INFO L138 BoogieDeclarations]: Found implementation of procedure kstrtoull [2019-08-10 17:20:29,714 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_lock [2019-08-10 17:20:29,715 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_trylock [2019-08-10 17:20:29,715 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_unlock [2019-08-10 17:20:29,715 INFO L138 BoogieDeclarations]: Found implementation of procedure sysfs_create_file [2019-08-10 17:20:29,716 INFO L138 BoogieDeclarations]: Found implementation of procedure sysfs_create_group [2019-08-10 17:20:29,716 INFO L138 BoogieDeclarations]: Found implementation of procedure sysfs_remove_group [2019-08-10 17:20:29,716 INFO L138 BoogieDeclarations]: Found implementation of procedure external_alloc [2019-08-10 17:20:29,717 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2019-08-10 17:20:29,717 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-10 17:20:29,717 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2019-08-10 17:20:29,717 INFO L130 BoogieDeclarations]: Found specification of procedure __fswab16 [2019-08-10 17:20:29,717 INFO L130 BoogieDeclarations]: Found specification of procedure kstrtoull [2019-08-10 17:20:29,718 INFO L130 BoogieDeclarations]: Found specification of procedure kstrtoul [2019-08-10 17:20:29,718 INFO L130 BoogieDeclarations]: Found specification of procedure snprintf [2019-08-10 17:20:29,718 INFO L130 BoogieDeclarations]: Found specification of procedure PTR_ERR [2019-08-10 17:20:29,718 INFO L130 BoogieDeclarations]: Found specification of procedure IS_ERR [2019-08-10 17:20:29,718 INFO L130 BoogieDeclarations]: Found specification of procedure __mutex_init [2019-08-10 17:20:29,718 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_trylock [2019-08-10 17:20:29,718 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_4 [2019-08-10 17:20:29,719 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_unlock [2019-08-10 17:20:29,719 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_2 [2019-08-10 17:20:29,719 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_5 [2019-08-10 17:20:29,719 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_7 [2019-08-10 17:20:29,719 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_9 [2019-08-10 17:20:29,719 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_11 [2019-08-10 17:20:29,720 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_lock [2019-08-10 17:20:29,720 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_1 [2019-08-10 17:20:29,720 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_3 [2019-08-10 17:20:29,720 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_6 [2019-08-10 17:20:29,720 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_8 [2019-08-10 17:20:29,720 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_10 [2019-08-10 17:20:29,721 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,721 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,721 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_lock [2019-08-10 17:20:29,721 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_lock [2019-08-10 17:20:29,721 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_mutex_of_device [2019-08-10 17:20:29,722 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_mutex_of_device [2019-08-10 17:20:29,722 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_mutex_of_device [2019-08-10 17:20:29,722 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_update_lock_of_max16065_data [2019-08-10 17:20:29,722 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_update_lock_of_max16065_data [2019-08-10 17:20:29,724 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-10 17:20:29,724 INFO L130 BoogieDeclarations]: Found specification of procedure sysfs_create_file [2019-08-10 17:20:29,724 INFO L130 BoogieDeclarations]: Found specification of procedure sysfs_create_group [2019-08-10 17:20:29,724 INFO L130 BoogieDeclarations]: Found specification of procedure sysfs_remove_group [2019-08-10 17:20:29,724 INFO L130 BoogieDeclarations]: Found specification of procedure devm_kzalloc [2019-08-10 17:20:29,724 INFO L130 BoogieDeclarations]: Found specification of procedure dev_get_drvdata [2019-08-10 17:20:29,725 INFO L130 BoogieDeclarations]: Found specification of procedure dev_set_drvdata [2019-08-10 17:20:29,725 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_smbus_read_byte_data [2019-08-10 17:20:29,725 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_smbus_write_byte_data [2019-08-10 17:20:29,726 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_smbus_read_word_data [2019-08-10 17:20:29,726 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_smbus_read_word_swapped [2019-08-10 17:20:29,726 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_get_clientdata [2019-08-10 17:20:29,726 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_set_clientdata [2019-08-10 17:20:29,726 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_register_driver [2019-08-10 17:20:29,727 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_del_driver [2019-08-10 17:20:29,727 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_get_functionality [2019-08-10 17:20:29,730 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~~u32~0 [2019-08-10 17:20:29,731 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2019-08-10 17:20:29,731 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_check_functionality [2019-08-10 17:20:29,732 INFO L130 BoogieDeclarations]: Found specification of procedure hwmon_device_register [2019-08-10 17:20:29,735 INFO L130 BoogieDeclarations]: Found specification of procedure hwmon_device_unregister [2019-08-10 17:20:29,736 INFO L130 BoogieDeclarations]: Found specification of procedure SENSORS_LIMIT [2019-08-10 17:20:29,736 INFO L130 BoogieDeclarations]: Found specification of procedure ADC_TO_MV [2019-08-10 17:20:29,736 INFO L130 BoogieDeclarations]: Found specification of procedure LIMIT_TO_MV [2019-08-10 17:20:29,736 INFO L130 BoogieDeclarations]: Found specification of procedure MV_TO_LIMIT [2019-08-10 17:20:29,736 INFO L130 BoogieDeclarations]: Found specification of procedure ADC_TO_CURR [2019-08-10 17:20:29,736 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_read_adc [2019-08-10 17:20:29,736 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_update_device [2019-08-10 17:20:29,737 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-08-10 17:20:29,737 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-08-10 17:20:29,737 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_show_alarm [2019-08-10 17:20:29,737 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2019-08-10 17:20:29,738 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_show_input [2019-08-10 17:20:29,738 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_show_current [2019-08-10 17:20:29,739 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_set_limit [2019-08-10 17:20:29,739 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2019-08-10 17:20:29,739 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_show_limit [2019-08-10 17:20:29,739 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_cleanup [2019-08-10 17:20:29,739 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_probe [2019-08-10 17:20:29,739 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2019-08-10 17:20:29,739 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_remove [2019-08-10 17:20:29,739 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_driver_init [2019-08-10 17:20:29,740 INFO L130 BoogieDeclarations]: Found specification of procedure max16065_driver_exit [2019-08-10 17:20:29,740 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_initialize [2019-08-10 17:20:29,740 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2019-08-10 17:20:29,740 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-10 17:20:29,740 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_error [2019-08-10 17:20:29,740 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_trap [2019-08-10 17:20:29,740 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,741 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,741 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,741 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,741 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_cred_guard_mutex_of_signal_struct [2019-08-10 17:20:29,741 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_lock [2019-08-10 17:20:29,741 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_lock [2019-08-10 17:20:29,741 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_lock [2019-08-10 17:20:29,741 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_lock [2019-08-10 17:20:29,742 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_lock [2019-08-10 17:20:29,742 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_mutex_of_device [2019-08-10 17:20:29,742 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_mutex_of_device [2019-08-10 17:20:29,742 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_mutex_of_device [2019-08-10 17:20:29,742 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_mutex_of_device [2019-08-10 17:20:29,742 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_update_lock_of_max16065_data [2019-08-10 17:20:29,742 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_update_lock_of_max16065_data [2019-08-10 17:20:29,742 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_update_lock_of_max16065_data [2019-08-10 17:20:29,743 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_update_lock_of_max16065_data [2019-08-10 17:20:29,743 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_update_lock_of_max16065_data [2019-08-10 17:20:29,743 INFO L130 BoogieDeclarations]: Found specification of procedure external_alloc [2019-08-10 17:20:29,743 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_pointer [2019-08-10 17:20:29,743 INFO L130 BoogieDeclarations]: Found specification of procedure free [2019-08-10 17:20:29,743 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2019-08-10 17:20:29,743 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-10 17:20:29,743 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2019-08-10 17:20:29,744 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2019-08-10 17:20:29,744 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-10 17:20:39,254 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-10 17:20:39,254 INFO L283 CfgBuilder]: Removed 0 assume(true) statements. [2019-08-10 17:20:39,257 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 10.08 05:20:39 BoogieIcfgContainer [2019-08-10 17:20:39,257 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-10 17:20:39,258 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-10 17:20:39,258 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-10 17:20:39,258 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-10 17:20:39,259 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 10.08 05:20:39" (1/1) ... [2019-08-10 17:20:51,380 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:20:53,448 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:20:55,546 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_adc_range~0.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:20:57,573 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_csp_adc_range~0.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:20:59,683 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string70.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:21:01,786 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string79.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:21:03,848 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| |#t~string88.base|) [2019-08-10 17:21:05,889 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| |#t~string106.base|) [2019-08-10 17:21:07,950 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_input~0.base|) |~#sensor_dev_attr_in0_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:10,348 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) |~#max16065_basic_attributes~0.offset|)) [2019-08-10 17:21:12,376 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_input~0.base|) |~#sensor_dev_attr_in1_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:14,591 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 32)) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:16,657 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_input~0.base|) |~#sensor_dev_attr_in2_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:18,680 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_input~0.base|) |~#sensor_dev_attr_in2_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:20,755 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 64)) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:22,815 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_input~0.base|) |~#sensor_dev_attr_in3_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:25,391 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 96)) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:27,464 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_input~0.base|) |~#sensor_dev_attr_in4_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:29,623 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 128)) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:31,684 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_input~0.base|) |~#sensor_dev_attr_in5_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:33,908 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 160)) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:35,975 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_input~0.base|) |~#sensor_dev_attr_in6_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:38,132 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 192)) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:40,200 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_input~0.base|) |~#sensor_dev_attr_in7_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:42,394 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 224)) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:44,425 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_input~0.base|) |~#sensor_dev_attr_in8_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:46,720 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 256)) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:48,811 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_input~0.base|) |~#sensor_dev_attr_in9_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:51,157 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 288)) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:53,245 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_input~0.base|) |~#sensor_dev_attr_in10_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:21:55,519 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 320))) [2019-08-10 17:21:57,579 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_input~0.base|) |~#sensor_dev_attr_in11_input~0.offset|)) [2019-08-10 17:22:00,104 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 352)) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:02,147 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in12_input~0.base|) |~#sensor_dev_attr_in12_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:05,033 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_current_attributes~0.base|) |~#max16065_current_attributes~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:07,101 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_lcrit~0.base|) |~#sensor_dev_attr_in0_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:09,685 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 8))) [2019-08-10 17:22:11,747 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_lcrit~0.base|) |~#sensor_dev_attr_in1_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:14,283 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 40)) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:16,344 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_lcrit~0.base|) |~#sensor_dev_attr_in2_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:18,789 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 72)) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:20,832 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_lcrit~0.base|) |~#sensor_dev_attr_in3_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:24,090 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 104)) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:26,141 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_lcrit~0.base|) |~#sensor_dev_attr_in4_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:28,342 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 136)) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:30,393 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_lcrit~0.base|) |~#sensor_dev_attr_in5_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:33,322 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 168)) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:35,407 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_lcrit~0.base|) |~#sensor_dev_attr_in6_lcrit~0.offset|)) [2019-08-10 17:22:37,738 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 200)) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:39,798 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_lcrit~0.base|) |~#sensor_dev_attr_in7_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:42,168 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 232))) [2019-08-10 17:22:44,226 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_lcrit~0.base|) |~#sensor_dev_attr_in8_lcrit~0.offset|)) [2019-08-10 17:22:47,624 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 264))) [2019-08-10 17:22:49,682 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_lcrit~0.base|) |~#sensor_dev_attr_in9_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:53,155 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 296)) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:55,208 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_lcrit~0.base|) |~#sensor_dev_attr_in10_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:22:57,790 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 328))) [2019-08-10 17:22:59,850 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_lcrit~0.base|) |~#sensor_dev_attr_in11_lcrit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:02,339 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 360))) [2019-08-10 17:23:04,418 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_crit~0.base|) |~#sensor_dev_attr_in0_crit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:06,827 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 16))) [2019-08-10 17:23:08,884 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_crit~0.base|) |~#sensor_dev_attr_in1_crit~0.offset|)) [2019-08-10 17:23:12,523 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 48)) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:14,550 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_crit~0.base|) |~#sensor_dev_attr_in2_crit~0.offset|)) [2019-08-10 17:23:16,930 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 80)) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:19,009 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_crit~0.base|) |~#sensor_dev_attr_in3_crit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:21,786 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 112)) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:23,857 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_crit~0.base|) |~#sensor_dev_attr_in4_crit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:26,388 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 144)) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:28,459 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_crit~0.base|) |~#sensor_dev_attr_in5_crit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:31,682 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 176))) [2019-08-10 17:23:33,747 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_crit~0.base|) |~#sensor_dev_attr_in6_crit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:36,893 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 208))) [2019-08-10 17:23:38,942 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_crit~0.base|) |~#sensor_dev_attr_in7_crit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:41,601 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 240)) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:43,636 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_crit~0.base|) |~#sensor_dev_attr_in8_crit~0.offset|)) [2019-08-10 17:23:46,399 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 272)) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:48,457 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_crit~0.base|) |~#sensor_dev_attr_in9_crit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:50,759 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 304)) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:52,794 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_crit~0.base|) |~#sensor_dev_attr_in10_crit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:23:56,524 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 336))) [2019-08-10 17:23:58,575 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_crit~0.base|) |~#sensor_dev_attr_in11_crit~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:00,870 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 368)) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:02,965 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_min~0.base|) |~#sensor_dev_attr_in0_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:05,825 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) |~#max16065_min_attributes~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:07,892 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_min~0.base|) |~#sensor_dev_attr_in1_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:10,272 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 8))) [2019-08-10 17:24:12,332 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_min~0.base|) |~#sensor_dev_attr_in2_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:16,226 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 16)) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:18,290 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_min~0.base|) |~#sensor_dev_attr_in3_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:20,962 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 24)) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:23,032 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_min~0.base|) |~#sensor_dev_attr_in4_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:25,534 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 32)) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:27,603 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_min~0.base|) |~#sensor_dev_attr_in5_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:30,462 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 40)) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:32,532 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_min~0.base|) |~#sensor_dev_attr_in6_min~0.offset|)) [2019-08-10 17:24:35,457 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 48))) [2019-08-10 17:24:37,515 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_min~0.base|) |~#sensor_dev_attr_in7_min~0.offset|)) [2019-08-10 17:24:39,750 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 56)) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:41,775 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_min~0.base|) |~#sensor_dev_attr_in8_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:45,035 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 64)) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:47,071 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_min~0.base|) |~#sensor_dev_attr_in9_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:49,115 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_min~0.base|) |~#sensor_dev_attr_in9_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:51,186 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 72)) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:53,300 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_min~0.base|) |~#sensor_dev_attr_in10_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:56,452 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 80)) |~#max16065_num_adc~0.base|) [2019-08-10 17:24:58,528 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_min~0.base|) |~#sensor_dev_attr_in11_min~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:02,183 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 88)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:04,270 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_max~0.base|) |~#sensor_dev_attr_in0_max~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:07,158 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) |~#max16065_max_attributes~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:09,241 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_max~0.base|) |~#sensor_dev_attr_in1_max~0.offset|)) [2019-08-10 17:25:12,451 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 8)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:14,492 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_max~0.base|) |~#sensor_dev_attr_in2_max~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:17,010 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 16)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:19,090 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_max~0.base|) |~#sensor_dev_attr_in3_max~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:22,508 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 24))) [2019-08-10 17:25:24,575 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_max~0.base|) |~#sensor_dev_attr_in4_max~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:26,991 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 32)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:29,076 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_max~0.base|) |~#sensor_dev_attr_in5_max~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:31,575 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 40)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:33,599 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_max~0.base|) |~#sensor_dev_attr_in6_max~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:36,546 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 48)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:38,606 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_max~0.base|) |~#sensor_dev_attr_in7_max~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:41,983 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 56)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:44,041 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_max~0.base|) |~#sensor_dev_attr_in8_max~0.offset|)) [2019-08-10 17:25:46,403 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 64)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:48,443 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_max~0.base|) |~#sensor_dev_attr_in9_max~0.offset|)) [2019-08-10 17:25:51,263 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 72)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:53,332 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_max~0.base|) |~#sensor_dev_attr_in10_max~0.offset|)) [2019-08-10 17:25:56,067 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 80)) |~#max16065_num_adc~0.base|) [2019-08-10 17:25:58,132 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_max~0.base|) |~#sensor_dev_attr_in11_max~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:01,279 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 88)) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:03,359 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_alarm~0.base|) |~#sensor_dev_attr_in0_alarm~0.offset|)) [2019-08-10 17:26:06,020 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 24))) [2019-08-10 17:26:08,091 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_alarm~0.base|) |~#sensor_dev_attr_in1_alarm~0.offset|)) [2019-08-10 17:26:10,470 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 56)) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:12,527 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_alarm~0.base|) |~#sensor_dev_attr_in2_alarm~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:15,018 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 88))) [2019-08-10 17:26:17,051 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_alarm~0.base|) |~#sensor_dev_attr_in3_alarm~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:19,595 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 120)) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:21,673 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_alarm~0.base|) |~#sensor_dev_attr_in4_alarm~0.offset|)) [2019-08-10 17:26:24,815 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 152)) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:26,864 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_alarm~0.base|) |~#sensor_dev_attr_in5_alarm~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:29,754 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 184)) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:31,808 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_alarm~0.base|) |~#sensor_dev_attr_in6_alarm~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:34,968 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 216)) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:37,022 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_alarm~0.base|) |~#sensor_dev_attr_in7_alarm~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:40,069 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 248)) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:42,162 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_alarm~0.base|) |~#sensor_dev_attr_in8_alarm~0.offset|)) [2019-08-10 17:26:45,781 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 280)) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:47,828 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_alarm~0.base|) |~#sensor_dev_attr_in9_alarm~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:26:50,763 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 312))) [2019-08-10 17:26:52,887 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_alarm~0.base|) |~#sensor_dev_attr_in10_alarm~0.offset|)) [2019-08-10 17:26:56,292 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 344))) [2019-08-10 17:26:58,318 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_alarm~0.base|) |~#sensor_dev_attr_in11_alarm~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:01,135 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 376)) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:03,192 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_curr1_input~0.base|) |~#sensor_dev_attr_curr1_input~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:05,942 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_current_attributes~0.base|) (+ |~#max16065_current_attributes~0.offset| 8)) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:08,019 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_curr1_alarm~0.base|) |~#sensor_dev_attr_curr1_alarm~0.offset|) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:10,651 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_current_attributes~0.base|) (+ |~#max16065_current_attributes~0.offset| 16))) [2019-08-10 17:27:12,692 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_group~0.base|) (+ |~#max16065_basic_group~0.offset| 16)) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:14,750 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_group~0.base|) (+ |~#max16065_basic_group~0.offset| 16)) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:16,808 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_current_group~0.base|) (+ |~#max16065_current_group~0.offset| 16)) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:18,826 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_current_group~0.base|) (+ |~#max16065_current_group~0.offset| 16)) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:20,904 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_group~0.base|) (+ |~#max16065_min_group~0.offset| 16)) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:23,600 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_group~0.base|) (+ |~#max16065_max_group~0.offset| 16)) |~#max16065_num_adc~0.base|) [2019-08-10 17:27:25,978 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_basic_group~0.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:27:28,633 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_current_group~0.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:27:30,768 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_min_group~0.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:27:32,896 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| |~#max16065_max_group~0.base|) [2019-08-10 17:27:35,466 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string189.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:27:37,820 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_driver~0.base|) (+ |~#max16065_driver~0.offset| 189))) [2019-08-10 17:27:39,887 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_driver~0.base| |~#max16065_num_adc~0.base|) [2019-08-10 17:27:41,950 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_num_adc~0.base| |#t~string233.base|) [2019-08-10 17:27:44,806 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |~#max16065_have_current~0.base|) [2019-08-10 17:27:46,860 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |~#max16065_adc_range~0.base|) [2019-08-10 17:27:48,875 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |~#max16065_csp_adc_range~0.base|) [2019-08-10 17:27:50,938 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |#t~string70.base|) [2019-08-10 17:27:53,006 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |#t~string79.base|) [2019-08-10 17:27:55,106 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |#t~string88.base|) [2019-08-10 17:27:57,170 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |#t~string106.base|) [2019-08-10 17:27:59,281 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_input~0.base|) |~#sensor_dev_attr_in0_input~0.offset|)) [2019-08-10 17:28:01,587 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) |~#max16065_basic_attributes~0.offset|)) [2019-08-10 17:28:03,726 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_input~0.base|) |~#sensor_dev_attr_in1_input~0.offset|)) [2019-08-10 17:28:05,887 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 32))) [2019-08-10 17:28:07,996 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_input~0.base|) |~#sensor_dev_attr_in2_input~0.offset|)) [2019-08-10 17:28:10,138 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 64))) [2019-08-10 17:28:12,334 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_input~0.base|) |~#sensor_dev_attr_in3_input~0.offset|)) [2019-08-10 17:28:14,438 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 96))) [2019-08-10 17:28:16,541 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_input~0.base|) |~#sensor_dev_attr_in4_input~0.offset|)) [2019-08-10 17:28:18,764 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 128))) [2019-08-10 17:28:20,888 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_input~0.base|) |~#sensor_dev_attr_in5_input~0.offset|)) [2019-08-10 17:28:23,132 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 160))) [2019-08-10 17:28:25,240 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_input~0.base|) |~#sensor_dev_attr_in6_input~0.offset|)) [2019-08-10 17:28:27,340 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 192))) [2019-08-10 17:28:29,487 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_input~0.base|) |~#sensor_dev_attr_in7_input~0.offset|)) [2019-08-10 17:28:31,580 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 224))) [2019-08-10 17:28:33,675 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_input~0.base|) |~#sensor_dev_attr_in8_input~0.offset|)) [2019-08-10 17:28:35,842 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 256))) [2019-08-10 17:28:38,054 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_input~0.base|) |~#sensor_dev_attr_in9_input~0.offset|)) [2019-08-10 17:28:40,240 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 288))) [2019-08-10 17:28:42,376 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_input~0.base|) |~#sensor_dev_attr_in10_input~0.offset|)) [2019-08-10 17:28:44,486 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 320))) [2019-08-10 17:28:46,606 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_input~0.base|) |~#sensor_dev_attr_in11_input~0.offset|)) [2019-08-10 17:28:48,767 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 352))) [2019-08-10 17:28:50,976 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in12_input~0.base|) |~#sensor_dev_attr_in12_input~0.offset|)) [2019-08-10 17:28:53,085 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_current_attributes~0.base|) |~#max16065_current_attributes~0.offset|) |~#max16065_have_secondary~0.base|) [2019-08-10 17:28:55,261 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_lcrit~0.base|) |~#sensor_dev_attr_in0_lcrit~0.offset|)) [2019-08-10 17:28:57,609 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 8))) [2019-08-10 17:28:59,802 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_lcrit~0.base|) |~#sensor_dev_attr_in1_lcrit~0.offset|)) [2019-08-10 17:29:02,159 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 40))) [2019-08-10 17:29:04,432 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_lcrit~0.base|) |~#sensor_dev_attr_in2_lcrit~0.offset|)) [2019-08-10 17:29:06,571 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 72))) [2019-08-10 17:29:08,827 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_lcrit~0.base|) |~#sensor_dev_attr_in3_lcrit~0.offset|)) [2019-08-10 17:29:11,063 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 104))) [2019-08-10 17:29:13,221 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_lcrit~0.base|) |~#sensor_dev_attr_in4_lcrit~0.offset|)) [2019-08-10 17:29:15,363 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 136))) [2019-08-10 17:29:17,650 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_lcrit~0.base|) |~#sensor_dev_attr_in5_lcrit~0.offset|)) [2019-08-10 17:29:19,764 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 168))) [2019-08-10 17:29:21,952 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_lcrit~0.base|) |~#sensor_dev_attr_in6_lcrit~0.offset|)) [2019-08-10 17:29:24,107 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 200))) [2019-08-10 17:29:26,210 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_lcrit~0.base|) |~#sensor_dev_attr_in7_lcrit~0.offset|)) [2019-08-10 17:29:28,338 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 232))) [2019-08-10 17:29:30,502 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_lcrit~0.base|) |~#sensor_dev_attr_in8_lcrit~0.offset|)) [2019-08-10 17:29:32,776 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 264))) [2019-08-10 17:29:34,885 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_lcrit~0.base|) |~#sensor_dev_attr_in9_lcrit~0.offset|)) [2019-08-10 17:29:37,223 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 296))) [2019-08-10 17:29:39,562 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_lcrit~0.base|) |~#sensor_dev_attr_in10_lcrit~0.offset|)) [2019-08-10 17:29:41,717 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 328))) [2019-08-10 17:29:43,882 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_lcrit~0.base|) |~#sensor_dev_attr_in11_lcrit~0.offset|)) [2019-08-10 17:29:46,012 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 360))) [2019-08-10 17:29:48,205 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_crit~0.base|) |~#sensor_dev_attr_in0_crit~0.offset|)) [2019-08-10 17:29:50,514 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 16))) [2019-08-10 17:29:52,674 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_crit~0.base|) |~#sensor_dev_attr_in1_crit~0.offset|)) [2019-08-10 17:29:54,840 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 48))) [2019-08-10 17:29:56,996 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_crit~0.base|) |~#sensor_dev_attr_in2_crit~0.offset|)) [2019-08-10 17:29:59,351 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 80))) [2019-08-10 17:30:01,466 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_crit~0.base|) |~#sensor_dev_attr_in3_crit~0.offset|)) [2019-08-10 17:30:03,583 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 112))) [2019-08-10 17:30:05,983 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_crit~0.base|) |~#sensor_dev_attr_in4_crit~0.offset|)) [2019-08-10 17:30:08,280 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 144))) [2019-08-10 17:30:10,620 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_crit~0.base|) |~#sensor_dev_attr_in5_crit~0.offset|) |~#max16065_have_secondary~0.base|) [2019-08-10 17:30:14,480 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 176))) [2019-08-10 17:30:16,763 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_crit~0.base|) |~#sensor_dev_attr_in6_crit~0.offset|) |~#max16065_have_secondary~0.base|) [2019-08-10 17:30:19,239 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 208))) [2019-08-10 17:30:21,336 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_crit~0.base|) |~#sensor_dev_attr_in7_crit~0.offset|)) [2019-08-10 17:30:23,620 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 240))) [2019-08-10 17:30:25,975 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_crit~0.base|) |~#sensor_dev_attr_in8_crit~0.offset|)) [2019-08-10 17:30:28,557 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 272))) [2019-08-10 17:30:30,850 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_crit~0.base|) |~#sensor_dev_attr_in9_crit~0.offset|)) [2019-08-10 17:30:33,069 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 304))) [2019-08-10 17:30:35,150 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_crit~0.base|) |~#sensor_dev_attr_in10_crit~0.offset|)) [2019-08-10 17:30:37,256 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 336))) [2019-08-10 17:30:39,522 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_crit~0.base|) |~#sensor_dev_attr_in11_crit~0.offset|)) [2019-08-10 17:30:41,609 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 368))) [2019-08-10 17:30:43,965 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_min~0.base|) |~#sensor_dev_attr_in0_min~0.offset|)) [2019-08-10 17:30:46,529 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) |~#max16065_min_attributes~0.offset|) |~#max16065_have_secondary~0.base|) [2019-08-10 17:30:48,677 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_min~0.base|) |~#sensor_dev_attr_in1_min~0.offset|)) [2019-08-10 17:30:50,886 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 8))) [2019-08-10 17:30:53,289 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_min~0.base|) |~#sensor_dev_attr_in2_min~0.offset|)) [2019-08-10 17:30:55,691 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 16))) [2019-08-10 17:30:58,344 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_min~0.base|) |~#sensor_dev_attr_in3_min~0.offset|)) [2019-08-10 17:31:00,561 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 24))) [2019-08-10 17:31:02,781 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_min~0.base|) |~#sensor_dev_attr_in4_min~0.offset|)) [2019-08-10 17:31:04,954 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 32))) [2019-08-10 17:31:07,118 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_min~0.base|) |~#sensor_dev_attr_in5_min~0.offset|)) [2019-08-10 17:31:09,249 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 40))) [2019-08-10 17:31:11,425 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_min~0.base|) |~#sensor_dev_attr_in6_min~0.offset|)) [2019-08-10 17:31:13,575 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 48))) [2019-08-10 17:31:16,074 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_min~0.base|) |~#sensor_dev_attr_in7_min~0.offset|)) [2019-08-10 17:31:18,379 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 56))) [2019-08-10 17:31:20,408 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 56))) [2019-08-10 17:31:22,442 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_min~0.base|) |~#sensor_dev_attr_in8_min~0.offset|)) [2019-08-10 17:31:24,460 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_min~0.base|) |~#sensor_dev_attr_in8_min~0.offset|)) [2019-08-10 17:31:26,560 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 64))) [2019-08-10 17:31:29,128 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_min~0.base|) |~#sensor_dev_attr_in9_min~0.offset|)) [2019-08-10 17:31:31,702 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 72))) [2019-08-10 17:31:33,855 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_min~0.base|) |~#sensor_dev_attr_in10_min~0.offset|)) [2019-08-10 17:31:36,192 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 80))) [2019-08-10 17:31:38,635 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_min~0.base|) |~#sensor_dev_attr_in11_min~0.offset|)) [2019-08-10 17:31:40,971 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_attributes~0.base|) (+ |~#max16065_min_attributes~0.offset| 88))) [2019-08-10 17:31:43,246 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_max~0.base|) |~#sensor_dev_attr_in0_max~0.offset|)) [2019-08-10 17:31:45,409 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) |~#max16065_max_attributes~0.offset|)) [2019-08-10 17:31:47,544 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_max~0.base|) |~#sensor_dev_attr_in1_max~0.offset|)) [2019-08-10 17:31:49,798 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 8))) [2019-08-10 17:31:52,868 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_max~0.base|) |~#sensor_dev_attr_in2_max~0.offset|)) [2019-08-10 17:31:55,354 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 16))) [2019-08-10 17:31:57,918 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_max~0.base|) |~#sensor_dev_attr_in3_max~0.offset|)) [2019-08-10 17:32:00,426 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 24))) [2019-08-10 17:32:02,984 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_max~0.base|) |~#sensor_dev_attr_in4_max~0.offset|)) [2019-08-10 17:32:05,384 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 32))) [2019-08-10 17:32:07,645 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_max~0.base|) |~#sensor_dev_attr_in5_max~0.offset|)) [2019-08-10 17:32:09,817 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 40))) [2019-08-10 17:32:12,043 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_max~0.base|) |~#sensor_dev_attr_in6_max~0.offset|)) [2019-08-10 17:32:14,157 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 48))) [2019-08-10 17:32:16,274 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_max~0.base|) |~#sensor_dev_attr_in7_max~0.offset|)) [2019-08-10 17:32:18,741 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 56))) [2019-08-10 17:32:20,834 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_max~0.base|) |~#sensor_dev_attr_in8_max~0.offset|)) [2019-08-10 17:32:23,102 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 64))) [2019-08-10 17:32:25,578 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_max~0.base|) |~#sensor_dev_attr_in9_max~0.offset|)) [2019-08-10 17:32:27,875 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 72))) [2019-08-10 17:32:30,235 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_max~0.base|) |~#sensor_dev_attr_in10_max~0.offset|)) [2019-08-10 17:32:32,578 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 80))) [2019-08-10 17:32:34,696 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_max~0.base|) |~#sensor_dev_attr_in11_max~0.offset|)) [2019-08-10 17:32:36,832 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_max_attributes~0.base|) (+ |~#max16065_max_attributes~0.offset| 88)) |~#max16065_have_secondary~0.base|) [2019-08-10 17:32:39,141 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_alarm~0.base|) |~#sensor_dev_attr_in0_alarm~0.offset|)) [2019-08-10 17:32:41,649 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 24))) [2019-08-10 17:32:44,218 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_alarm~0.base|) |~#sensor_dev_attr_in1_alarm~0.offset|)) [2019-08-10 17:32:46,893 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 56))) [2019-08-10 17:32:49,418 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_alarm~0.base|) |~#sensor_dev_attr_in2_alarm~0.offset|)) [2019-08-10 17:32:51,570 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 88))) [2019-08-10 17:32:54,078 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_alarm~0.base|) |~#sensor_dev_attr_in3_alarm~0.offset|)) [2019-08-10 17:32:56,577 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 120))) [2019-08-10 17:32:58,993 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_alarm~0.base|) |~#sensor_dev_attr_in4_alarm~0.offset|)) [2019-08-10 17:33:01,403 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 152))) [2019-08-10 17:33:03,538 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_alarm~0.base|) |~#sensor_dev_attr_in5_alarm~0.offset|)) [2019-08-10 17:33:05,903 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 184))) [2019-08-10 17:33:08,485 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_alarm~0.base|) |~#sensor_dev_attr_in6_alarm~0.offset|)) [2019-08-10 17:33:11,020 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 216))) [2019-08-10 17:33:13,421 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_alarm~0.base|) |~#sensor_dev_attr_in7_alarm~0.offset|)) [2019-08-10 17:33:16,267 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 248))) [2019-08-10 17:33:18,620 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_alarm~0.base|) |~#sensor_dev_attr_in8_alarm~0.offset|)) [2019-08-10 17:33:20,901 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 280))) [2019-08-10 17:33:22,999 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_alarm~0.base|) |~#sensor_dev_attr_in9_alarm~0.offset|)) [2019-08-10 17:33:25,089 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 312))) [2019-08-10 17:33:27,174 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in10_alarm~0.base|) |~#sensor_dev_attr_in10_alarm~0.offset|)) [2019-08-10 17:33:29,280 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 344))) [2019-08-10 17:33:31,646 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in11_alarm~0.base|) |~#sensor_dev_attr_in11_alarm~0.offset|)) [2019-08-10 17:33:33,988 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 376))) [2019-08-10 17:33:36,512 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_curr1_input~0.base|) |~#sensor_dev_attr_curr1_input~0.offset|)) [2019-08-10 17:33:39,475 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_current_attributes~0.base|) (+ |~#max16065_current_attributes~0.offset| 8))) [2019-08-10 17:33:41,803 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_curr1_alarm~0.base|) |~#sensor_dev_attr_curr1_alarm~0.offset|)) [2019-08-10 17:33:44,136 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_current_attributes~0.base|) (+ |~#max16065_current_attributes~0.offset| 16))) [2019-08-10 17:33:46,630 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_group~0.base|) (+ |~#max16065_basic_group~0.offset| 16))) [2019-08-10 17:33:48,904 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_current_group~0.base|) (+ |~#max16065_current_group~0.offset| 16))) [2019-08-10 17:33:51,465 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_min_group~0.base|) (+ |~#max16065_min_group~0.offset| 16))) [2019-08-10 17:33:53,751 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_max_group~0.base|) (+ |~#max16065_max_group~0.offset| 16))) [2019-08-10 17:33:56,177 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |~#max16065_basic_group~0.base|) [2019-08-10 17:33:58,290 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |~#max16065_current_group~0.base|) [2019-08-10 17:34:00,413 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |~#max16065_min_group~0.base|) [2019-08-10 17:34:02,610 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |~#max16065_max_group~0.base|) [2019-08-10 17:34:05,260 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |#t~string189.base|) [2019-08-10 17:34:07,772 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_driver~0.base|) (+ |~#max16065_driver~0.offset| 189))) [2019-08-10 17:34:09,855 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |~#max16065_driver~0.base|) [2019-08-10 17:34:11,906 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_secondary~0.base| |#t~string233.base|) [2019-08-10 17:34:13,937 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= |~#max16065_have_secondary~0.base| |#t~string233.base|) [2019-08-10 17:34:15,988 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| |~#max16065_adc_range~0.base|) [2019-08-10 17:34:18,069 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| |~#max16065_csp_adc_range~0.base|) [2019-08-10 17:34:20,122 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| |#t~string70.base|) [2019-08-10 17:34:22,187 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| |#t~string79.base|) [2019-08-10 17:34:24,248 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| |#t~string88.base|) [2019-08-10 17:34:26,307 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| |#t~string106.base|) [2019-08-10 17:34:28,355 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in0_input~0.base|) |~#sensor_dev_attr_in0_input~0.offset|)) [2019-08-10 17:34:30,728 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) |~#max16065_basic_attributes~0.offset|)) [2019-08-10 17:34:32,838 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in1_input~0.base|) |~#sensor_dev_attr_in1_input~0.offset|)) [2019-08-10 17:34:34,986 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 32))) [2019-08-10 17:34:37,140 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in2_input~0.base|) |~#sensor_dev_attr_in2_input~0.offset|)) [2019-08-10 17:34:39,259 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 64))) [2019-08-10 17:34:41,409 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in3_input~0.base|) |~#sensor_dev_attr_in3_input~0.offset|)) [2019-08-10 17:34:43,515 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 96))) [2019-08-10 17:34:45,612 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in4_input~0.base|) |~#sensor_dev_attr_in4_input~0.offset|)) [2019-08-10 17:34:47,715 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 128)) |~#max16065_have_current~0.base|) [2019-08-10 17:34:49,835 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in5_input~0.base|) |~#sensor_dev_attr_in5_input~0.offset|)) [2019-08-10 17:34:51,969 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 160))) [2019-08-10 17:34:54,118 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in6_input~0.base|) |~#sensor_dev_attr_in6_input~0.offset|)) [2019-08-10 17:34:56,348 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 192))) [2019-08-10 17:34:58,561 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in7_input~0.base|) |~#sensor_dev_attr_in7_input~0.offset|)) [2019-08-10 17:35:00,804 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 224))) [2019-08-10 17:35:03,013 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in8_input~0.base|) |~#sensor_dev_attr_in8_input~0.offset|)) [2019-08-10 17:35:05,195 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#max16065_basic_attributes~0.base|) (+ |~#max16065_basic_attributes~0.offset| 256))) [2019-08-10 17:35:07,406 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#max16065_have_current~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_in9_input~0.base|) |~#sensor_dev_attr_in9_input~0.offset|))