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--amc6821.ko-main.cil.out.i -------------------------------------------------------------------------------- This is Ultimate 0.1.24-55cd5f5 [2019-08-15 11:51:35,425 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-15 11:51:35,427 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-15 11:51:35,440 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-15 11:51:35,440 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-15 11:51:35,441 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-15 11:51:35,442 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-15 11:51:35,444 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-15 11:51:35,446 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-15 11:51:35,447 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-15 11:51:35,448 INFO L181 SettingsManager]: Resetting Symbolic Interpretation preferences to default values [2019-08-15 11:51:35,450 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-15 11:51:35,450 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-15 11:51:35,451 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-15 11:51:35,452 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-15 11:51:35,454 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-15 11:51:35,455 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-15 11:51:35,456 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-15 11:51:35,457 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-15 11:51:35,460 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-15 11:51:35,461 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-15 11:51:35,462 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-15 11:51:35,464 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-15 11:51:35,464 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-15 11:51:35,467 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-15 11:51:35,467 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-15 11:51:35,467 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-15 11:51:35,468 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-15 11:51:35,469 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-15 11:51:35,470 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-15 11:51:35,470 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-15 11:51:35,471 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-15 11:51:35,471 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-15 11:51:35,472 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-15 11:51:35,473 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-15 11:51:35,474 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-15 11:51:35,475 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-15 11:51:35,475 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-15 11:51:35,475 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-15 11:51:35,476 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-15 11:51:35,477 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-15 11:51:35,478 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-15 11:51:35,492 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-15 11:51:35,492 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-15 11:51:35,494 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-15 11:51:35,494 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-15 11:51:35,494 INFO L138 SettingsManager]: * Use SBE=true [2019-08-15 11:51:35,494 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-15 11:51:35,494 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-15 11:51:35,495 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-15 11:51:35,495 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-15 11:51:35,495 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-15 11:51:35,495 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-15 11:51:35,495 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-15 11:51:35,496 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-15 11:51:35,496 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-15 11:51:35,496 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-15 11:51:35,496 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-15 11:51:35,496 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-15 11:51:35,497 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-15 11:51:35,497 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-15 11:51:35,497 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-15 11:51:35,497 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-15 11:51:35,498 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-15 11:51:35,498 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-15 11:51:35,498 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-15 11:51:35,498 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-15 11:51:35,498 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-15 11:51:35,499 INFO L138 SettingsManager]: * To the following directory=dump/ [2019-08-15 11:51:35,528 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-15 11:51:35,540 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-15 11:51:35,543 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-15 11:51:35,544 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-15 11:51:35,545 INFO L275 PluginConnector]: CDTParser initialized [2019-08-15 11:51:35,546 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--amc6821.ko-main.cil.out.i [2019-08-15 11:51:35,619 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/59a072801/0c7f3b0fd8b74fbfae0af0772c966965/FLAG989a29145 [2019-08-15 11:51:36,473 INFO L306 CDTParser]: Found 1 translation units. [2019-08-15 11:51:36,474 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/ldv-consumption/32_7a_cilled_linux-3.8-rc1-drivers--hwmon--amc6821.ko-main.cil.out.i [2019-08-15 11:51:36,505 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/59a072801/0c7f3b0fd8b74fbfae0af0772c966965/FLAG989a29145 [2019-08-15 11:51:36,986 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/59a072801/0c7f3b0fd8b74fbfae0af0772c966965 [2019-08-15 11:51:36,996 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-15 11:51:36,998 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-15 11:51:36,999 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-15 11:51:36,999 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-15 11:51:37,003 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-15 11:51:37,004 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 15.08 11:51:36" (1/1) ... [2019-08-15 11:51:37,010 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@7218650b and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:37, skipping insertion in model container [2019-08-15 11:51:37,010 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 15.08 11:51:36" (1/1) ... [2019-08-15 11:51:37,023 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-15 11:51:37,147 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-15 11:51:38,396 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-15 11:51:38,452 INFO L188 MainTranslator]: Completed pre-run [2019-08-15 11:51:38,786 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-15 11:51:39,237 INFO L192 MainTranslator]: Completed translation [2019-08-15 11:51:39,238 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:39 WrapperNode [2019-08-15 11:51:39,238 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-15 11:51:39,240 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-15 11:51:39,240 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-15 11:51:39,240 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-15 11:51:39,262 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:39" (1/1) ... [2019-08-15 11:51:39,263 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:39" (1/1) ... [2019-08-15 11:51:39,349 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:39" (1/1) ... [2019-08-15 11:51:39,350 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:39" (1/1) ... [2019-08-15 11:51:39,470 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:39" (1/1) ... [2019-08-15 11:51:39,497 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:39" (1/1) ... [2019-08-15 11:51:39,532 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:39" (1/1) ... [2019-08-15 11:51:39,568 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-15 11:51:39,568 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-15 11:51:39,568 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-15 11:51:39,569 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-15 11:51:39,571 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 15.08 11:51:39" (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-15 11:51:39,643 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-15 11:51:39,643 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-15 11:51:39,643 INFO L138 BoogieDeclarations]: Found implementation of procedure ##fun~$Pointer$~TO~~u32~0 [2019-08-15 11:51:39,643 INFO L138 BoogieDeclarations]: Found implementation of procedure kstrtol [2019-08-15 11:51:39,644 INFO L138 BoogieDeclarations]: Found implementation of procedure PTR_ERR [2019-08-15 11:51:39,644 INFO L138 BoogieDeclarations]: Found implementation of procedure IS_ERR [2019-08-15 11:51:39,644 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_get_clientdata [2019-08-15 11:51:39,644 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_set_clientdata [2019-08-15 11:51:39,644 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_get_functionality [2019-08-15 11:51:39,645 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_check_functionality [2019-08-15 11:51:39,645 INFO L138 BoogieDeclarations]: Found implementation of procedure SENSORS_LIMIT [2019-08-15 11:51:39,645 INFO L138 BoogieDeclarations]: Found implementation of procedure get_temp [2019-08-15 11:51:39,645 INFO L138 BoogieDeclarations]: Found implementation of procedure set_temp [2019-08-15 11:51:39,645 INFO L138 BoogieDeclarations]: Found implementation of procedure get_temp_alarm [2019-08-15 11:51:39,646 INFO L138 BoogieDeclarations]: Found implementation of procedure get_temp2_fault [2019-08-15 11:51:39,646 INFO L138 BoogieDeclarations]: Found implementation of procedure get_pwm1 [2019-08-15 11:51:39,646 INFO L138 BoogieDeclarations]: Found implementation of procedure set_pwm1 [2019-08-15 11:51:39,646 INFO L138 BoogieDeclarations]: Found implementation of procedure get_pwm1_enable [2019-08-15 11:51:39,646 INFO L138 BoogieDeclarations]: Found implementation of procedure set_pwm1_enable [2019-08-15 11:51:39,648 INFO L138 BoogieDeclarations]: Found implementation of procedure get_pwm1_auto_channels_temp [2019-08-15 11:51:39,649 INFO L138 BoogieDeclarations]: Found implementation of procedure get_temp_auto_point_temp [2019-08-15 11:51:39,649 INFO L138 BoogieDeclarations]: Found implementation of procedure get_pwm1_auto_point_pwm [2019-08-15 11:51:39,649 INFO L138 BoogieDeclarations]: Found implementation of procedure set_slope_register [2019-08-15 11:51:39,649 INFO L138 BoogieDeclarations]: Found implementation of procedure set_temp_auto_point_temp [2019-08-15 11:51:39,649 INFO L138 BoogieDeclarations]: Found implementation of procedure set_pwm1_auto_point_pwm [2019-08-15 11:51:39,649 INFO L138 BoogieDeclarations]: Found implementation of procedure get_fan [2019-08-15 11:51:39,649 INFO L138 BoogieDeclarations]: Found implementation of procedure get_fan1_fault [2019-08-15 11:51:39,649 INFO L138 BoogieDeclarations]: Found implementation of procedure set_fan [2019-08-15 11:51:39,649 INFO L138 BoogieDeclarations]: Found implementation of procedure get_fan1_div [2019-08-15 11:51:39,650 INFO L138 BoogieDeclarations]: Found implementation of procedure set_fan1_div [2019-08-15 11:51:39,650 INFO L138 BoogieDeclarations]: Found implementation of procedure amc6821_detect [2019-08-15 11:51:39,650 INFO L138 BoogieDeclarations]: Found implementation of procedure amc6821_probe [2019-08-15 11:51:39,650 INFO L138 BoogieDeclarations]: Found implementation of procedure amc6821_remove [2019-08-15 11:51:39,650 INFO L138 BoogieDeclarations]: Found implementation of procedure amc6821_init_client [2019-08-15 11:51:39,650 INFO L138 BoogieDeclarations]: Found implementation of procedure amc6821_update_device [2019-08-15 11:51:39,651 INFO L138 BoogieDeclarations]: Found implementation of procedure amc6821_driver_init [2019-08-15 11:51:39,651 INFO L138 BoogieDeclarations]: Found implementation of procedure amc6821_driver_exit [2019-08-15 11:51:39,651 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-15 11:51:39,651 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_1 [2019-08-15 11:51:39,651 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_2 [2019-08-15 11:51:39,651 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_3 [2019-08-15 11:51:39,651 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_4 [2019-08-15 11:51:39,652 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_5 [2019-08-15 11:51:39,652 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_6 [2019-08-15 11:51:39,652 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_7 [2019-08-15 11:51:39,652 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_8 [2019-08-15 11:51:39,652 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_9 [2019-08-15 11:51:39,652 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_10 [2019-08-15 11:51:39,653 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_11 [2019-08-15 11:51:39,653 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_12 [2019-08-15 11:51:39,653 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_13 [2019-08-15 11:51:39,653 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_14 [2019-08-15 11:51:39,653 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_15 [2019-08-15 11:51:39,653 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_16 [2019-08-15 11:51:39,654 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_17 [2019-08-15 11:51:39,654 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_18 [2019-08-15 11:51:39,654 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_19 [2019-08-15 11:51:39,654 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_20 [2019-08-15 11:51:39,654 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_21 [2019-08-15 11:51:39,654 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_22 [2019-08-15 11:51:39,654 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_23 [2019-08-15 11:51:39,655 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_error [2019-08-15 11:51:39,655 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2019-08-15 11:51:39,655 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_trap [2019-08-15 11:51:39,655 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,655 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,655 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,655 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,656 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,656 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,656 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,657 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_lock [2019-08-15 11:51:39,657 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_lock [2019-08-15 11:51:39,657 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_lock [2019-08-15 11:51:39,657 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_lock [2019-08-15 11:51:39,657 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_lock [2019-08-15 11:51:39,658 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_lock [2019-08-15 11:51:39,658 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_lock [2019-08-15 11:51:39,658 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_mutex_of_device [2019-08-15 11:51:39,659 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_mutex_of_device [2019-08-15 11:51:39,659 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_mutex_of_device [2019-08-15 11:51:39,659 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_mutex_of_device [2019-08-15 11:51:39,659 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_mutex_of_device [2019-08-15 11:51:39,660 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_mutex_of_device [2019-08-15 11:51:39,660 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_mutex_of_device [2019-08-15 11:51:39,661 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_interruptible_update_lock_of_amc6821_data [2019-08-15 11:51:39,661 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_killable_update_lock_of_amc6821_data [2019-08-15 11:51:39,662 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_lock_update_lock_of_amc6821_data [2019-08-15 11:51:39,662 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_trylock_update_lock_of_amc6821_data [2019-08-15 11:51:39,662 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_atomic_dec_and_mutex_lock_update_lock_of_amc6821_data [2019-08-15 11:51:39,662 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_is_locked_update_lock_of_amc6821_data [2019-08-15 11:51:39,662 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_mutex_unlock_update_lock_of_amc6821_data [2019-08-15 11:51:39,663 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_initialize [2019-08-15 11:51:39,663 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2019-08-15 11:51:39,663 INFO L138 BoogieDeclarations]: Found implementation of procedure __dynamic_dev_dbg [2019-08-15 11:51:39,664 INFO L138 BoogieDeclarations]: Found implementation of procedure __mutex_init [2019-08-15 11:51:39,664 INFO L138 BoogieDeclarations]: Found implementation of procedure _dev_info [2019-08-15 11:51:39,664 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_err [2019-08-15 11:51:39,664 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_get_drvdata [2019-08-15 11:51:39,664 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_set_drvdata [2019-08-15 11:51:39,664 INFO L138 BoogieDeclarations]: Found implementation of procedure devm_kzalloc [2019-08-15 11:51:39,664 INFO L138 BoogieDeclarations]: Found implementation of procedure hwmon_device_register [2019-08-15 11:51:39,665 INFO L138 BoogieDeclarations]: Found implementation of procedure hwmon_device_unregister [2019-08-15 11:51:39,665 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_del_driver [2019-08-15 11:51:39,665 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_register_driver [2019-08-15 11:51:39,665 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_smbus_read_byte_data [2019-08-15 11:51:39,665 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_smbus_write_byte_data [2019-08-15 11:51:39,665 INFO L138 BoogieDeclarations]: Found implementation of procedure kstrtoll [2019-08-15 11:51:39,666 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_lock [2019-08-15 11:51:39,666 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_trylock [2019-08-15 11:51:39,666 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_unlock [2019-08-15 11:51:39,666 INFO L138 BoogieDeclarations]: Found implementation of procedure strlcpy [2019-08-15 11:51:39,666 INFO L138 BoogieDeclarations]: Found implementation of procedure sysfs_create_group [2019-08-15 11:51:39,666 INFO L138 BoogieDeclarations]: Found implementation of procedure sysfs_remove_group [2019-08-15 11:51:39,666 INFO L138 BoogieDeclarations]: Found implementation of procedure external_alloc [2019-08-15 11:51:39,666 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2019-08-15 11:51:39,667 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-15 11:51:39,667 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2019-08-15 11:51:39,668 INFO L130 BoogieDeclarations]: Found specification of procedure __dynamic_dev_dbg [2019-08-15 11:51:39,668 INFO L130 BoogieDeclarations]: Found specification of procedure kstrtoll [2019-08-15 11:51:39,668 INFO L130 BoogieDeclarations]: Found specification of procedure kstrtol [2019-08-15 11:51:39,668 INFO L130 BoogieDeclarations]: Found specification of procedure sprintf [2019-08-15 11:51:39,668 INFO L130 BoogieDeclarations]: Found specification of procedure strlcpy [2019-08-15 11:51:39,669 INFO L130 BoogieDeclarations]: Found specification of procedure PTR_ERR [2019-08-15 11:51:39,669 INFO L130 BoogieDeclarations]: Found specification of procedure IS_ERR [2019-08-15 11:51:39,669 INFO L130 BoogieDeclarations]: Found specification of procedure __mutex_init [2019-08-15 11:51:39,670 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_trylock [2019-08-15 11:51:39,670 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_4 [2019-08-15 11:51:39,671 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_unlock [2019-08-15 11:51:39,671 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_2 [2019-08-15 11:51:39,671 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_5 [2019-08-15 11:51:39,671 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_7 [2019-08-15 11:51:39,671 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_9 [2019-08-15 11:51:39,672 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_11 [2019-08-15 11:51:39,672 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_13 [2019-08-15 11:51:39,672 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_15 [2019-08-15 11:51:39,672 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_17 [2019-08-15 11:51:39,672 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_19 [2019-08-15 11:51:39,672 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_21 [2019-08-15 11:51:39,673 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_23 [2019-08-15 11:51:39,673 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_lock [2019-08-15 11:51:39,674 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_1 [2019-08-15 11:51:39,677 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_3 [2019-08-15 11:51:39,677 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_6 [2019-08-15 11:51:39,678 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_8 [2019-08-15 11:51:39,678 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_10 [2019-08-15 11:51:39,686 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_12 [2019-08-15 11:51:39,686 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_14 [2019-08-15 11:51:39,686 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_16 [2019-08-15 11:51:39,686 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_18 [2019-08-15 11:51:39,686 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_20 [2019-08-15 11:51:39,687 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_22 [2019-08-15 11:51:39,687 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,687 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,687 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_lock [2019-08-15 11:51:39,687 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_lock [2019-08-15 11:51:39,687 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_mutex_of_device [2019-08-15 11:51:39,687 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_mutex_of_device [2019-08-15 11:51:39,688 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_mutex_of_device [2019-08-15 11:51:39,688 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_update_lock_of_amc6821_data [2019-08-15 11:51:39,688 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_unlock_update_lock_of_amc6821_data [2019-08-15 11:51:39,688 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-15 11:51:39,688 INFO L130 BoogieDeclarations]: Found specification of procedure sysfs_create_group [2019-08-15 11:51:39,689 INFO L130 BoogieDeclarations]: Found specification of procedure sysfs_remove_group [2019-08-15 11:51:39,689 INFO L130 BoogieDeclarations]: Found specification of procedure devm_kzalloc [2019-08-15 11:51:39,689 INFO L130 BoogieDeclarations]: Found specification of procedure dev_get_drvdata [2019-08-15 11:51:39,690 INFO L130 BoogieDeclarations]: Found specification of procedure dev_set_drvdata [2019-08-15 11:51:39,690 INFO L130 BoogieDeclarations]: Found specification of procedure dev_err [2019-08-15 11:51:39,690 INFO L130 BoogieDeclarations]: Found specification of procedure _dev_info [2019-08-15 11:51:39,690 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_smbus_read_byte_data [2019-08-15 11:51:39,690 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_smbus_write_byte_data [2019-08-15 11:51:39,690 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_get_clientdata [2019-08-15 11:51:39,690 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_set_clientdata [2019-08-15 11:51:39,690 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_register_driver [2019-08-15 11:51:39,691 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_del_driver [2019-08-15 11:51:39,691 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_get_functionality [2019-08-15 11:51:39,691 INFO L130 BoogieDeclarations]: Found specification of procedure ##fun~$Pointer$~TO~~u32~0 [2019-08-15 11:51:39,691 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2019-08-15 11:51:39,691 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_check_functionality [2019-08-15 11:51:39,691 INFO L130 BoogieDeclarations]: Found specification of procedure hwmon_device_register [2019-08-15 11:51:39,691 INFO L130 BoogieDeclarations]: Found specification of procedure hwmon_device_unregister [2019-08-15 11:51:39,691 INFO L130 BoogieDeclarations]: Found specification of procedure SENSORS_LIMIT [2019-08-15 11:51:39,692 INFO L130 BoogieDeclarations]: Found specification of procedure amc6821_probe [2019-08-15 11:51:39,692 INFO L130 BoogieDeclarations]: Found specification of procedure amc6821_detect [2019-08-15 11:51:39,692 INFO L130 BoogieDeclarations]: Found specification of procedure amc6821_init_client [2019-08-15 11:51:39,692 INFO L130 BoogieDeclarations]: Found specification of procedure amc6821_remove [2019-08-15 11:51:39,692 INFO L130 BoogieDeclarations]: Found specification of procedure amc6821_update_device [2019-08-15 11:51:39,692 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2019-08-15 11:51:39,692 INFO L130 BoogieDeclarations]: Found specification of procedure get_temp [2019-08-15 11:51:39,693 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-08-15 11:51:39,693 INFO L130 BoogieDeclarations]: Found specification of procedure set_temp [2019-08-15 11:51:39,693 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2019-08-15 11:51:39,693 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-08-15 11:51:39,693 INFO L130 BoogieDeclarations]: Found specification of procedure get_temp_alarm [2019-08-15 11:51:39,693 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2019-08-15 11:51:39,693 INFO L130 BoogieDeclarations]: Found specification of procedure get_temp2_fault [2019-08-15 11:51:39,693 INFO L130 BoogieDeclarations]: Found specification of procedure get_pwm1 [2019-08-15 11:51:39,694 INFO L130 BoogieDeclarations]: Found specification of procedure set_pwm1 [2019-08-15 11:51:39,694 INFO L130 BoogieDeclarations]: Found specification of procedure get_pwm1_enable [2019-08-15 11:51:39,694 INFO L130 BoogieDeclarations]: Found specification of procedure set_pwm1_enable [2019-08-15 11:51:39,694 INFO L130 BoogieDeclarations]: Found specification of procedure get_pwm1_auto_channels_temp [2019-08-15 11:51:39,694 INFO L130 BoogieDeclarations]: Found specification of procedure get_temp_auto_point_temp [2019-08-15 11:51:39,694 INFO L130 BoogieDeclarations]: Found specification of procedure get_pwm1_auto_point_pwm [2019-08-15 11:51:39,694 INFO L130 BoogieDeclarations]: Found specification of procedure set_slope_register [2019-08-15 11:51:39,694 INFO L130 BoogieDeclarations]: Found specification of procedure set_temp_auto_point_temp [2019-08-15 11:51:39,695 INFO L130 BoogieDeclarations]: Found specification of procedure set_pwm1_auto_point_pwm [2019-08-15 11:51:39,695 INFO L130 BoogieDeclarations]: Found specification of procedure get_fan [2019-08-15 11:51:39,695 INFO L130 BoogieDeclarations]: Found specification of procedure get_fan1_fault [2019-08-15 11:51:39,695 INFO L130 BoogieDeclarations]: Found specification of procedure set_fan [2019-08-15 11:51:39,695 INFO L130 BoogieDeclarations]: Found specification of procedure get_fan1_div [2019-08-15 11:51:39,697 INFO L130 BoogieDeclarations]: Found specification of procedure set_fan1_div [2019-08-15 11:51:39,697 INFO L130 BoogieDeclarations]: Found specification of procedure amc6821_driver_init [2019-08-15 11:51:39,697 INFO L130 BoogieDeclarations]: Found specification of procedure amc6821_driver_exit [2019-08-15 11:51:39,697 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_initialize [2019-08-15 11:51:39,697 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2019-08-15 11:51:39,698 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-15 11:51:39,698 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_error [2019-08-15 11:51:39,698 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_trap [2019-08-15 11:51:39,698 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,698 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,698 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,698 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,698 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_cred_guard_mutex_of_signal_struct [2019-08-15 11:51:39,699 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_lock [2019-08-15 11:51:39,699 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_lock [2019-08-15 11:51:39,699 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_lock [2019-08-15 11:51:39,699 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_lock [2019-08-15 11:51:39,699 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_lock [2019-08-15 11:51:39,699 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_mutex_of_device [2019-08-15 11:51:39,699 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_mutex_of_device [2019-08-15 11:51:39,700 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_mutex_of_device [2019-08-15 11:51:39,700 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_mutex_of_device [2019-08-15 11:51:39,700 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_interruptible_update_lock_of_amc6821_data [2019-08-15 11:51:39,700 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_lock_killable_update_lock_of_amc6821_data [2019-08-15 11:51:39,700 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_trylock_update_lock_of_amc6821_data [2019-08-15 11:51:39,700 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_atomic_dec_and_mutex_lock_update_lock_of_amc6821_data [2019-08-15 11:51:39,700 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_mutex_is_locked_update_lock_of_amc6821_data [2019-08-15 11:51:39,700 INFO L130 BoogieDeclarations]: Found specification of procedure external_alloc [2019-08-15 11:51:39,701 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_ulong [2019-08-15 11:51:39,701 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_pointer [2019-08-15 11:51:39,701 INFO L130 BoogieDeclarations]: Found specification of procedure free [2019-08-15 11:51:39,701 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2019-08-15 11:51:39,701 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-15 11:51:39,701 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2019-08-15 11:51:39,701 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2019-08-15 11:51:39,701 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-15 11:51:48,386 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-15 11:51:48,387 INFO L283 CfgBuilder]: Removed 0 assume(true) statements. [2019-08-15 11:51:48,389 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 15.08 11:51:48 BoogieIcfgContainer [2019-08-15 11:51:48,389 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-15 11:51:48,390 INFO L113 PluginConnector]: ------------------------Symbolic Interpretation---------------------------- [2019-08-15 11:51:48,390 INFO L271 PluginConnector]: Initializing Symbolic Interpretation... [2019-08-15 11:51:48,390 INFO L275 PluginConnector]: Symbolic Interpretation initialized [2019-08-15 11:51:48,391 INFO L185 PluginConnector]: Executing the observer SymbolicInterpretationObserver from plugin Symbolic Interpretation for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 15.08 11:51:48" (1/1) ... [2019-08-15 11:51:57,755 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:51:59,786 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:01,896 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_hi~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:03,977 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (let ((.cse0 (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|))) (= (select .cse0 (+ |~#amc6821_driver~0.offset| 189)) (select .cse0 (+ |~#amc6821_driver~0.offset| 205)))) [2019-08-15 11:52:06,023 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#amc6821_driver~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:08,070 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string52.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:10,557 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string56.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:12,597 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string68.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:14,834 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string78.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:16,956 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string79.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:19,086 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string80.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:21,238 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string81.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:23,368 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string85.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:25,473 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:27,539 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string89.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:29,600 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205)) |#t~string93.base|) [2019-08-15 11:52:31,642 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string95.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:33,678 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string98.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:35,736 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string108.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:37,794 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205)) |#t~string114.base|) [2019-08-15 11:52:40,006 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string119.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:42,102 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string122.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:44,134 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string129.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:46,160 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string132.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:48,214 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string134.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:50,420 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string135.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:52,557 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string136.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:54,658 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string137.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:56,752 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string141.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:52:58,813 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string145.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:00,883 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string152.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:03,164 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string158.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:05,401 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string159.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:07,597 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205)) |#t~string160.base|) [2019-08-15 11:53:09,783 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string161.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:11,927 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string165.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:14,125 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string178.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:16,539 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string189.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:18,642 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string190.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:20,985 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string191.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:23,126 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string192.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:25,215 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string196.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:27,443 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string207.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:29,628 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string216.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:31,670 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string218.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:33,728 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string223.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:35,788 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string225.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:37,843 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string237.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:40,089 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string242.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:42,283 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string245.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:44,331 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:46,683 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string256.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:48,858 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_input~0.base|) |~#sensor_dev_attr_temp1_input~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:51,127 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) |~#amc6821_attrs~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:53,177 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_min~0.base|) |~#sensor_dev_attr_temp1_min~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:55,996 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 8)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:53:58,028 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_max~0.base|) |~#sensor_dev_attr_temp1_max~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:00,475 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 16)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:02,513 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_crit~0.base|) |~#sensor_dev_attr_temp1_crit~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:04,799 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 24)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:06,893 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_min_alarm~0.base|) |~#sensor_dev_attr_temp1_min_alarm~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:09,151 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 32)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:11,166 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_max_alarm~0.base|) |~#sensor_dev_attr_temp1_max_alarm~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:13,582 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205)) (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 40))) [2019-08-15 11:54:15,646 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_crit_alarm~0.base|) |~#sensor_dev_attr_temp1_crit_alarm~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:18,267 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 48)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:20,322 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_input~0.base|) |~#sensor_dev_attr_temp2_input~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:22,891 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 56)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:24,931 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_min~0.base|) |~#sensor_dev_attr_temp2_min~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:27,308 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 64)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:29,382 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_max~0.base|) |~#sensor_dev_attr_temp2_max~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:32,211 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 72)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:34,254 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_crit~0.base|) |~#sensor_dev_attr_temp2_crit~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:36,777 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 80)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:38,820 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_fault~0.base|) |~#sensor_dev_attr_temp2_fault~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:41,049 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 112)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:43,078 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_min_alarm~0.base|) |~#sensor_dev_attr_temp2_min_alarm~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:45,748 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 88)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:47,786 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_max_alarm~0.base|) |~#sensor_dev_attr_temp2_max_alarm~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:50,263 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 96)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:52,326 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_crit_alarm~0.base|) |~#sensor_dev_attr_temp2_crit_alarm~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:54,514 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 104)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:56,559 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_input~0.base|) |~#sensor_dev_attr_fan1_input~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:54:58,894 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 120)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:00,937 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_min~0.base|) |~#sensor_dev_attr_fan1_min~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:03,524 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 128)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:05,573 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_max~0.base|) |~#sensor_dev_attr_fan1_max~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:07,909 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 136)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:09,949 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_fault~0.base|) |~#sensor_dev_attr_fan1_fault~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:12,573 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 144)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:14,615 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_div~0.base|) |~#sensor_dev_attr_fan1_div~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:17,332 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 152)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:19,380 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1~0.base|) |~#sensor_dev_attr_pwm1~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:21,429 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 160)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:23,470 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_enable~0.base|) |~#sensor_dev_attr_pwm1_enable~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:25,880 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205)) (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 168))) [2019-08-15 11:55:27,916 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_auto_point1_pwm~0.base|) |~#sensor_dev_attr_pwm1_auto_point1_pwm~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:30,475 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 184)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:32,548 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_auto_point2_pwm~0.base|) |~#sensor_dev_attr_pwm1_auto_point2_pwm~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:35,224 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 192)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:37,285 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_auto_point3_pwm~0.base|) |~#sensor_dev_attr_pwm1_auto_point3_pwm~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:39,803 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 200)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:41,854 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_auto_channels_temp~0.base|) |~#sensor_dev_attr_pwm1_auto_channels_temp~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:44,175 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 176)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:46,243 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_auto_point1_temp~0.base|) |~#sensor_dev_attr_temp1_auto_point1_temp~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:48,810 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 208)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:50,870 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_auto_point2_temp~0.base|) |~#sensor_dev_attr_temp1_auto_point2_temp~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:53,493 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 216)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:55,549 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_auto_point3_temp~0.base|) |~#sensor_dev_attr_temp1_auto_point3_temp~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:55:58,633 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 224)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:00,697 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_auto_point1_temp~0.base|) |~#sensor_dev_attr_temp2_auto_point1_temp~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:03,291 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 232)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:05,335 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_auto_point2_temp~0.base|) |~#sensor_dev_attr_temp2_auto_point2_temp~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:08,142 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 240)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:10,199 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_auto_point3_temp~0.base|) |~#sensor_dev_attr_temp2_auto_point3_temp~0.offset|) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:12,989 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 248)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:15,049 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attr_grp~0.base|) (+ |~#amc6821_attr_grp~0.offset| 16)) (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:18,175 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#amc6821_attr_grp~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:20,596 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string291.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:23,062 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string292.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:25,324 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string293.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:27,702 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string294.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:30,295 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string298.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:32,369 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string300.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:34,644 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string301.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:36,899 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string302.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:39,205 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string303.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:41,627 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string307.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:43,822 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string310.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:46,155 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string311.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:48,439 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string312.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:50,845 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string313.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:53,129 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string317.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:56:55,703 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205)) |#t~string320.base|) [2019-08-15 11:56:58,209 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205)) |#t~string321.base|) [2019-08-15 11:57:00,585 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205)) |#t~string322.base|) [2019-08-15 11:57:03,039 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205)) |#t~string323.base|) [2019-08-15 11:57:05,436 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string327.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:07,936 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string329.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:10,455 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string330.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:12,740 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string333.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:14,868 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string342.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:17,140 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string347.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:19,365 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string350.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:21,787 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string353.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:24,080 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string355.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:26,648 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string358.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:28,878 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string361.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:31,172 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string364.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:33,424 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string367.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:36,036 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string370.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 205))) [2019-08-15 11:57:38,538 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |~#fan_reg_low~0.base|) [2019-08-15 11:57:40,599 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |~#fan_reg_hi~0.base|) [2019-08-15 11:57:42,642 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 189))) [2019-08-15 11:57:44,686 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |~#amc6821_driver~0.base|) [2019-08-15 11:57:46,732 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string52.base| |~#temp_reg~0.base|) [2019-08-15 11:57:48,820 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string56.base| |~#temp_reg~0.base|) [2019-08-15 11:57:50,881 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string68.base| |~#temp_reg~0.base|) [2019-08-15 11:57:53,026 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string78.base|) [2019-08-15 11:57:55,145 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string79.base|) [2019-08-15 11:57:57,312 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string80.base|) [2019-08-15 11:57:59,462 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string81.base|) [2019-08-15 11:58:01,553 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string85.base|) [2019-08-15 11:58:03,656 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string87.base|) [2019-08-15 11:58:05,698 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string89.base|) [2019-08-15 11:58:07,755 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string93.base|) [2019-08-15 11:58:09,795 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string95.base| |~#temp_reg~0.base|) [2019-08-15 11:58:11,853 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string98.base| |~#temp_reg~0.base|) [2019-08-15 11:58:13,883 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string108.base|) [2019-08-15 11:58:15,920 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string114.base|) [2019-08-15 11:58:18,062 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string119.base| |~#temp_reg~0.base|) [2019-08-15 11:58:20,181 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string122.base| |~#temp_reg~0.base|) [2019-08-15 11:58:22,210 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string129.base| |~#temp_reg~0.base|) [2019-08-15 11:58:24,269 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string132.base| |~#temp_reg~0.base|) [2019-08-15 11:58:26,354 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string134.base| |~#temp_reg~0.base|) [2019-08-15 11:58:28,592 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string135.base| |~#temp_reg~0.base|) [2019-08-15 11:58:30,757 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string136.base| |~#temp_reg~0.base|) [2019-08-15 11:58:32,914 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string137.base| |~#temp_reg~0.base|) [2019-08-15 11:58:35,057 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string141.base|) [2019-08-15 11:58:37,172 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string145.base|) [2019-08-15 11:58:39,201 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string152.base|) [2019-08-15 11:58:41,429 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string158.base|) [2019-08-15 11:58:43,561 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string159.base|) [2019-08-15 11:58:45,703 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string160.base|) [2019-08-15 11:58:47,843 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string161.base| |~#temp_reg~0.base|) [2019-08-15 11:58:50,005 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string165.base| |~#temp_reg~0.base|) [2019-08-15 11:58:52,129 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string178.base| |~#temp_reg~0.base|) [2019-08-15 11:58:54,462 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string189.base| |~#temp_reg~0.base|) [2019-08-15 11:58:56,636 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string190.base|) [2019-08-15 11:58:58,756 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string191.base|) [2019-08-15 11:59:00,843 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string192.base|) [2019-08-15 11:59:02,961 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string196.base|) [2019-08-15 11:59:05,120 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string207.base| |~#temp_reg~0.base|) [2019-08-15 11:59:07,373 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string216.base| |~#temp_reg~0.base|) [2019-08-15 11:59:09,449 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string218.base| |~#temp_reg~0.base|) [2019-08-15 11:59:11,509 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string223.base|) [2019-08-15 11:59:13,557 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string225.base|) [2019-08-15 11:59:15,637 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string237.base|) [2019-08-15 11:59:18,051 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string242.base| |~#temp_reg~0.base|) [2019-08-15 11:59:20,233 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string245.base| |~#temp_reg~0.base|) [2019-08-15 11:59:22,258 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| |~#temp_reg~0.base|) [2019-08-15 11:59:24,648 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string256.base| |~#temp_reg~0.base|) [2019-08-15 11:59:26,812 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_input~0.base|) |~#sensor_dev_attr_temp1_input~0.offset|)) [2019-08-15 11:59:29,055 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) |~#amc6821_attrs~0.offset|) |~#temp_reg~0.base|) [2019-08-15 11:59:31,367 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_min~0.base|) |~#sensor_dev_attr_temp1_min~0.offset|)) [2019-08-15 11:59:33,558 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 8)) |~#temp_reg~0.base|) [2019-08-15 11:59:35,676 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_max~0.base|) |~#sensor_dev_attr_temp1_max~0.offset|)) [2019-08-15 11:59:37,811 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 16)) |~#temp_reg~0.base|) [2019-08-15 11:59:39,974 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_crit~0.base|) |~#sensor_dev_attr_temp1_crit~0.offset|) |~#temp_reg~0.base|) [2019-08-15 11:59:42,083 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 24)) |~#temp_reg~0.base|) [2019-08-15 11:59:44,214 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_min_alarm~0.base|) |~#sensor_dev_attr_temp1_min_alarm~0.offset|)) [2019-08-15 11:59:46,397 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 32)) |~#temp_reg~0.base|) [2019-08-15 11:59:48,643 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_max_alarm~0.base|) |~#sensor_dev_attr_temp1_max_alarm~0.offset|)) [2019-08-15 11:59:50,935 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 40))) [2019-08-15 11:59:53,053 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_crit_alarm~0.base|) |~#sensor_dev_attr_temp1_crit_alarm~0.offset|) |~#temp_reg~0.base|) [2019-08-15 11:59:55,150 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 48))) [2019-08-15 11:59:57,253 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_input~0.base|) |~#sensor_dev_attr_temp2_input~0.offset|)) [2019-08-15 11:59:59,375 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 56))) [2019-08-15 12:00:01,523 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_min~0.base|) |~#sensor_dev_attr_temp2_min~0.offset|)) [2019-08-15 12:00:03,821 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 64))) [2019-08-15 12:00:06,079 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_max~0.base|) |~#sensor_dev_attr_temp2_max~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:00:08,441 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 72))) [2019-08-15 12:00:10,602 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_crit~0.base|) |~#sensor_dev_attr_temp2_crit~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:00:12,726 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 80))) [2019-08-15 12:00:14,862 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_fault~0.base|) |~#sensor_dev_attr_temp2_fault~0.offset|)) [2019-08-15 12:00:16,963 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 112))) [2019-08-15 12:00:19,073 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_min_alarm~0.base|) |~#sensor_dev_attr_temp2_min_alarm~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:00:21,344 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 88))) [2019-08-15 12:00:23,651 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_max_alarm~0.base|) |~#sensor_dev_attr_temp2_max_alarm~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:00:26,160 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 96))) [2019-08-15 12:00:28,272 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_crit_alarm~0.base|) |~#sensor_dev_attr_temp2_crit_alarm~0.offset|)) [2019-08-15 12:00:30,513 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 104)) |~#temp_reg~0.base|) [2019-08-15 12:00:32,763 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_input~0.base|) |~#sensor_dev_attr_fan1_input~0.offset|)) [2019-08-15 12:00:34,961 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 120))) [2019-08-15 12:00:37,147 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_min~0.base|) |~#sensor_dev_attr_fan1_min~0.offset|)) [2019-08-15 12:00:39,481 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 128))) [2019-08-15 12:00:41,785 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_max~0.base|) |~#sensor_dev_attr_fan1_max~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:00:44,378 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 136))) [2019-08-15 12:00:46,553 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_fault~0.base|) |~#sensor_dev_attr_fan1_fault~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:00:48,666 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 144))) [2019-08-15 12:00:50,789 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_div~0.base|) |~#sensor_dev_attr_fan1_div~0.offset|)) [2019-08-15 12:00:52,929 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 152))) [2019-08-15 12:00:55,159 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1~0.base|) |~#sensor_dev_attr_pwm1~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:00:57,240 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 160))) [2019-08-15 12:00:59,729 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_enable~0.base|) |~#sensor_dev_attr_pwm1_enable~0.offset|)) [2019-08-15 12:01:02,150 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 168))) [2019-08-15 12:01:04,352 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_auto_point1_pwm~0.base|) |~#sensor_dev_attr_pwm1_auto_point1_pwm~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:01:06,624 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 184))) [2019-08-15 12:01:09,004 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_auto_point2_pwm~0.base|) |~#sensor_dev_attr_pwm1_auto_point2_pwm~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:01:11,205 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 192))) [2019-08-15 12:01:13,417 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_auto_point3_pwm~0.base|) |~#sensor_dev_attr_pwm1_auto_point3_pwm~0.offset|)) [2019-08-15 12:01:15,665 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 200)) |~#temp_reg~0.base|) [2019-08-15 12:01:18,127 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_pwm1_auto_channels_temp~0.base|) |~#sensor_dev_attr_pwm1_auto_channels_temp~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:01:20,370 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 176)) |~#temp_reg~0.base|) [2019-08-15 12:01:22,865 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_auto_point1_temp~0.base|) |~#sensor_dev_attr_temp1_auto_point1_temp~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:01:25,331 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 208)) |~#temp_reg~0.base|) [2019-08-15 12:01:27,544 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_auto_point2_temp~0.base|) |~#sensor_dev_attr_temp1_auto_point2_temp~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:01:29,696 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 216))) [2019-08-15 12:01:31,885 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_auto_point3_temp~0.base|) |~#sensor_dev_attr_temp1_auto_point3_temp~0.offset|)) [2019-08-15 12:01:34,205 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 224))) [2019-08-15 12:01:36,642 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_auto_point1_temp~0.base|) |~#sensor_dev_attr_temp2_auto_point1_temp~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:01:38,774 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 232))) [2019-08-15 12:01:41,060 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_auto_point2_temp~0.base|) |~#sensor_dev_attr_temp2_auto_point2_temp~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:01:43,094 WARN L176 IndexEqualityManager]: solver failed to check if following not equals relation is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_auto_point2_temp~0.base|) |~#sensor_dev_attr_temp2_auto_point2_temp~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:01:45,212 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 240))) [2019-08-15 12:01:47,588 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_auto_point3_temp~0.base|) |~#sensor_dev_attr_temp2_auto_point3_temp~0.offset|) |~#temp_reg~0.base|) [2019-08-15 12:01:49,814 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 248)) |~#temp_reg~0.base|) [2019-08-15 12:01:52,066 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attr_grp~0.base|) (+ |~#amc6821_attr_grp~0.offset| 16))) [2019-08-15 12:01:54,407 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |~#amc6821_attr_grp~0.base|) [2019-08-15 12:01:56,812 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string291.base| |~#temp_reg~0.base|) [2019-08-15 12:01:59,150 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string292.base| |~#temp_reg~0.base|) [2019-08-15 12:02:01,289 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string293.base| |~#temp_reg~0.base|) [2019-08-15 12:02:03,412 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string294.base| |~#temp_reg~0.base|) [2019-08-15 12:02:05,818 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string298.base| |~#temp_reg~0.base|) [2019-08-15 12:02:08,008 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string300.base|) [2019-08-15 12:02:10,327 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string301.base|) [2019-08-15 12:02:12,578 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string302.base|) [2019-08-15 12:02:14,885 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string303.base|) [2019-08-15 12:02:17,268 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string307.base|) [2019-08-15 12:02:19,667 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string310.base|) [2019-08-15 12:02:21,896 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string311.base|) [2019-08-15 12:02:24,159 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string312.base|) [2019-08-15 12:02:26,667 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string313.base|) [2019-08-15 12:02:29,088 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string317.base|) [2019-08-15 12:02:31,487 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string320.base|) [2019-08-15 12:02:34,083 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string321.base|) [2019-08-15 12:02:36,387 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string322.base|) [2019-08-15 12:02:38,683 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string323.base|) [2019-08-15 12:02:41,039 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string327.base| |~#temp_reg~0.base|) [2019-08-15 12:02:43,517 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string329.base| |~#temp_reg~0.base|) [2019-08-15 12:02:45,765 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string330.base| |~#temp_reg~0.base|) [2019-08-15 12:02:47,866 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string333.base| |~#temp_reg~0.base|) [2019-08-15 12:02:50,198 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string342.base| |~#temp_reg~0.base|) [2019-08-15 12:02:52,340 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string347.base| |~#temp_reg~0.base|) [2019-08-15 12:02:54,438 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string350.base|) [2019-08-15 12:02:56,554 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string353.base|) [2019-08-15 12:02:58,819 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string355.base|) [2019-08-15 12:03:01,127 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string358.base|) [2019-08-15 12:03:03,356 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string361.base|) [2019-08-15 12:03:05,668 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string364.base|) [2019-08-15 12:03:07,890 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#temp_reg~0.base| |#t~string367.base|) [2019-08-15 12:03:10,191 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string370.base| |~#temp_reg~0.base|) [2019-08-15 12:03:12,440 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_hi~0.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:14,470 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_driver~0.base|) (+ |~#amc6821_driver~0.offset| 189)) |~#fan_reg_low~0.base|) [2019-08-15 12:03:16,531 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| |~#amc6821_driver~0.base|) [2019-08-15 12:03:18,588 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string52.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:20,706 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string56.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:22,746 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string68.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:24,896 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string78.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:27,019 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string79.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:29,118 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string80.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:31,230 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string81.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:33,324 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string85.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:35,474 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string87.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:37,531 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| |#t~string89.base|) [2019-08-15 12:03:39,578 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| |#t~string93.base|) [2019-08-15 12:03:41,633 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string95.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:43,696 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string98.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:45,761 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string108.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:47,806 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| |#t~string114.base|) [2019-08-15 12:03:50,018 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string119.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:52,188 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string122.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:54,247 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string129.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:56,297 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string132.base| |~#fan_reg_low~0.base|) [2019-08-15 12:03:58,376 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string134.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:00,835 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string135.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:02,959 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string136.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:05,069 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string137.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:07,195 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string141.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:09,467 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string145.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:11,520 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string152.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:14,020 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| |#t~string158.base|) [2019-08-15 12:04:16,168 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| |#t~string159.base|) [2019-08-15 12:04:18,285 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| |#t~string160.base|) [2019-08-15 12:04:20,408 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string161.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:22,547 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string165.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:24,665 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string178.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:26,783 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string189.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:28,967 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string190.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:31,181 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string191.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:33,325 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string192.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:35,459 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string196.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:37,626 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string207.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:39,935 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string216.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:42,010 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string218.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:44,051 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string223.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:46,093 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string225.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:48,186 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| |#t~string237.base|) [2019-08-15 12:04:50,522 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string242.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:52,779 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string245.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:54,850 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:57,344 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string256.base| |~#fan_reg_low~0.base|) [2019-08-15 12:04:59,630 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_input~0.base|) |~#sensor_dev_attr_temp1_input~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:01,908 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) |~#amc6821_attrs~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:04,084 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_min~0.base|) |~#sensor_dev_attr_temp1_min~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:06,255 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 8)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:08,401 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_max~0.base|) |~#sensor_dev_attr_temp1_max~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:10,563 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 16)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:12,693 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_crit~0.base|) |~#sensor_dev_attr_temp1_crit~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:14,877 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 24)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:17,059 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_min_alarm~0.base|) |~#sensor_dev_attr_temp1_min_alarm~0.offset|)) [2019-08-15 12:05:19,185 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 32)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:21,401 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_max_alarm~0.base|) |~#sensor_dev_attr_temp1_max_alarm~0.offset|)) [2019-08-15 12:05:23,557 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 40))) [2019-08-15 12:05:25,715 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp1_crit_alarm~0.base|) |~#sensor_dev_attr_temp1_crit_alarm~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:27,828 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 48)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:29,923 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_input~0.base|) |~#sensor_dev_attr_temp2_input~0.offset|)) [2019-08-15 12:05:32,131 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 56)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:34,261 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_min~0.base|) |~#sensor_dev_attr_temp2_min~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:36,478 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 64)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:38,750 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_max~0.base|) |~#sensor_dev_attr_temp2_max~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:41,024 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 72))) [2019-08-15 12:05:43,326 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_crit~0.base|) |~#sensor_dev_attr_temp2_crit~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:45,466 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 80)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:47,826 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_fault~0.base|) |~#sensor_dev_attr_temp2_fault~0.offset|)) [2019-08-15 12:05:50,013 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 112)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:52,290 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_min_alarm~0.base|) |~#sensor_dev_attr_temp2_min_alarm~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:54,526 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 88)) |~#fan_reg_low~0.base|) [2019-08-15 12:05:56,927 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_max_alarm~0.base|) |~#sensor_dev_attr_temp2_max_alarm~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:05:59,208 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 96)) |~#fan_reg_low~0.base|) [2019-08-15 12:06:01,304 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_temp2_crit_alarm~0.base|) |~#sensor_dev_attr_temp2_crit_alarm~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:06:03,583 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 104)) |~#fan_reg_low~0.base|) [2019-08-15 12:06:05,940 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_input~0.base|) |~#sensor_dev_attr_fan1_input~0.offset|)) [2019-08-15 12:06:08,380 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 120)) |~#fan_reg_low~0.base|) [2019-08-15 12:06:10,521 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#fan_reg_low~0.base| (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_min~0.base|) |~#sensor_dev_attr_fan1_min~0.offset|)) [2019-08-15 12:06:12,637 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 128)) |~#fan_reg_low~0.base|) [2019-08-15 12:06:14,807 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_max~0.base|) |~#sensor_dev_attr_fan1_max~0.offset|) |~#fan_reg_low~0.base|) [2019-08-15 12:06:17,183 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#amc6821_attrs~0.base|) (+ |~#amc6821_attrs~0.offset| 136)) |~#fan_reg_low~0.base|) [2019-08-15 12:06:19,345 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#sensor_dev_attr_fan1_fault~0.base|) |~#sensor_dev_attr_fan1_fault~0.offset|) |~#fan_reg_low~0.base|)