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-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--accel--kxcjk-1013.ko-entry_point.cil.out.i -------------------------------------------------------------------------------- This is Ultimate 0.1.24-584d7b9 [2019-09-01 15:35:29,481 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-09-01 15:35:29,484 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-09-01 15:35:29,496 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-09-01 15:35:29,496 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-09-01 15:35:29,497 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-09-01 15:35:29,498 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-09-01 15:35:29,500 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-09-01 15:35:29,501 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-09-01 15:35:29,502 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-09-01 15:35:29,503 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2019-09-01 15:35:29,504 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-09-01 15:35:29,504 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-09-01 15:35:29,505 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-09-01 15:35:29,506 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-09-01 15:35:29,507 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-09-01 15:35:29,508 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-09-01 15:35:29,509 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-09-01 15:35:29,511 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-09-01 15:35:29,513 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-09-01 15:35:29,514 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-09-01 15:35:29,516 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-09-01 15:35:29,517 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-09-01 15:35:29,518 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-09-01 15:35:29,520 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-09-01 15:35:29,520 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-09-01 15:35:29,521 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-09-01 15:35:29,522 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-09-01 15:35:29,522 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-09-01 15:35:29,523 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-09-01 15:35:29,523 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-09-01 15:35:29,524 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-09-01 15:35:29,525 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-09-01 15:35:29,526 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-09-01 15:35:29,527 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-09-01 15:35:29,527 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-09-01 15:35:29,528 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-09-01 15:35:29,528 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-09-01 15:35:29,529 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-09-01 15:35:29,530 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-09-01 15:35:29,530 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-09-01 15:35:29,531 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-09-01 15:35:29,552 INFO L113 SettingsManager]: Loading preferences was successful [2019-09-01 15:35:29,553 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-09-01 15:35:29,554 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-09-01 15:35:29,554 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-09-01 15:35:29,554 INFO L138 SettingsManager]: * Use SBE=true [2019-09-01 15:35:29,554 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-09-01 15:35:29,555 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-09-01 15:35:29,555 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-09-01 15:35:29,555 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-09-01 15:35:29,555 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-09-01 15:35:29,556 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-09-01 15:35:29,556 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-09-01 15:35:29,556 INFO L138 SettingsManager]: * Use constant arrays=true [2019-09-01 15:35:29,556 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-09-01 15:35:29,557 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-09-01 15:35:29,557 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-09-01 15:35:29,557 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-09-01 15:35:29,557 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-09-01 15:35:29,557 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-09-01 15:35:29,558 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-09-01 15:35:29,558 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-09-01 15:35:29,558 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-09-01 15:35:29,558 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-09-01 15:35:29,558 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-09-01 15:35:29,559 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-09-01 15:35:29,559 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-09-01 15:35:29,559 INFO L138 SettingsManager]: * To the following directory=dump/ [2019-09-01 15:35:29,587 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-09-01 15:35:29,604 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-09-01 15:35:29,607 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-09-01 15:35:29,611 INFO L271 PluginConnector]: Initializing CDTParser... [2019-09-01 15:35:29,611 INFO L275 PluginConnector]: CDTParser initialized [2019-09-01 15:35:29,612 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--accel--kxcjk-1013.ko-entry_point.cil.out.i [2019-09-01 15:35:29,684 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/715befa0a/0b49a33d3f7f49f294be8523a7e8a82e/FLAG7a879def1 [2019-09-01 15:35:30,483 INFO L306 CDTParser]: Found 1 translation units. [2019-09-01 15:35:30,484 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--iio--accel--kxcjk-1013.ko-entry_point.cil.out.i [2019-09-01 15:35:30,526 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/715befa0a/0b49a33d3f7f49f294be8523a7e8a82e/FLAG7a879def1 [2019-09-01 15:35:31,008 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/715befa0a/0b49a33d3f7f49f294be8523a7e8a82e [2019-09-01 15:35:31,018 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-09-01 15:35:31,021 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-09-01 15:35:31,024 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-09-01 15:35:31,025 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-09-01 15:35:31,028 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-09-01 15:35:31,030 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 01.09 03:35:31" (1/1) ... [2019-09-01 15:35:31,033 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@22e632eb and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:31, skipping insertion in model container [2019-09-01 15:35:31,033 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 01.09 03:35:31" (1/1) ... [2019-09-01 15:35:31,040 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-09-01 15:35:31,157 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-09-01 15:35:32,792 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-09-01 15:35:32,892 INFO L188 MainTranslator]: Completed pre-run [2019-09-01 15:35:33,253 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-09-01 15:35:33,597 INFO L192 MainTranslator]: Completed translation [2019-09-01 15:35:33,598 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:33 WrapperNode [2019-09-01 15:35:33,598 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-09-01 15:35:33,599 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-09-01 15:35:33,599 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-09-01 15:35:33,599 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-09-01 15:35:33,614 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:33" (1/1) ... [2019-09-01 15:35:33,614 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:33" (1/1) ... [2019-09-01 15:35:33,709 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:33" (1/1) ... [2019-09-01 15:35:33,710 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:33" (1/1) ... [2019-09-01 15:35:33,837 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:33" (1/1) ... [2019-09-01 15:35:33,868 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:33" (1/1) ... [2019-09-01 15:35:33,901 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:33" (1/1) ... [2019-09-01 15:35:33,931 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-09-01 15:35:33,932 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-09-01 15:35:33,932 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-09-01 15:35:33,933 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-09-01 15:35:33,934 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 01.09 03:35:33" (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-09-01 15:35:33,999 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-09-01 15:35:34,000 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-09-01 15:35:34,000 INFO L138 BoogieDeclarations]: Found implementation of procedure sign_extend32 [2019-09-01 15:35:34,001 INFO L138 BoogieDeclarations]: Found implementation of procedure atomic_read [2019-09-01 15:35:34,001 INFO L138 BoogieDeclarations]: Found implementation of procedure atomic_cmpxchg [2019-09-01 15:35:34,001 INFO L138 BoogieDeclarations]: Found implementation of procedure __atomic_add_unless [2019-09-01 15:35:34,001 INFO L138 BoogieDeclarations]: Found implementation of procedure atomic_add_unless [2019-09-01 15:35:34,001 INFO L138 BoogieDeclarations]: Found implementation of procedure ktime_get_real [2019-09-01 15:35:34,002 INFO L138 BoogieDeclarations]: Found implementation of procedure ktime_get_real_ns [2019-09-01 15:35:34,002 INFO L138 BoogieDeclarations]: Found implementation of procedure kobject_name [2019-09-01 15:35:34,002 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_malloc [2019-09-01 15:35:34,002 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_zalloc [2019-09-01 15:35:34,002 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_init_zalloc [2019-09-01 15:35:34,002 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_memset [2019-09-01 15:35:34,003 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_int [2019-09-01 15:35:34,003 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_ptr [2019-09-01 15:35:34,004 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_undef_ulong [2019-09-01 15:35:34,004 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_stop [2019-09-01 15:35:34,005 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv__builtin_expect [2019-09-01 15:35:34,005 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_name [2019-09-01 15:35:34,005 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_get_drvdata [2019-09-01 15:35:34,006 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_set_drvdata [2019-09-01 15:35:34,006 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_get_platdata [2019-09-01 15:35:34,006 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_get_clientdata [2019-09-01 15:35:34,006 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_set_clientdata [2019-09-01 15:35:34,006 INFO L138 BoogieDeclarations]: Found implementation of procedure is_acpi_node [2019-09-01 15:35:34,006 INFO L138 BoogieDeclarations]: Found implementation of procedure to_acpi_node [2019-09-01 15:35:34,007 INFO L138 BoogieDeclarations]: Found implementation of procedure acpi_device_handle [2019-09-01 15:35:34,007 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_put_noidle [2019-09-01 15:35:34,008 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_mark_last_busy [2019-09-01 15:35:34,008 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_get_sync [2019-09-01 15:35:34,008 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_put_autosuspend [2019-09-01 15:35:34,008 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_set_active [2019-09-01 15:35:34,008 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_set_suspended [2019-09-01 15:35:34,008 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_disable [2019-09-01 15:35:34,009 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_use_autosuspend [2019-09-01 15:35:34,009 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_get_time_ns [2019-09-01 15:35:34,009 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_priv [2019-09-01 15:35:34,009 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_buffer_enabled [2019-09-01 15:35:34,009 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_push_to_buffers_with_timestamp [2019-09-01 15:35:34,009 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_trigger_get [2019-09-01 15:35:34,009 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_trigger_set_drvdata [2019-09-01 15:35:34,010 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_trigger_get_drvdata [2019-09-01 15:35:34,010 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_set_mode [2019-09-01 15:35:34,010 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_get_mode [2019-09-01 15:35:34,010 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_set_range [2019-09-01 15:35:34,010 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_chip_init [2019-09-01 15:35:34,010 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_get_startup_times [2019-09-01 15:35:34,010 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_set_power_state [2019-09-01 15:35:34,011 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_chip_update_thresholds [2019-09-01 15:35:34,011 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_setup_any_motion_interrupt [2019-09-01 15:35:34,011 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_setup_new_data_interrupt [2019-09-01 15:35:34,011 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_convert_freq_to_bit [2019-09-01 15:35:34,011 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_convert_wake_odr_to_bit [2019-09-01 15:35:34,011 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_set_odr [2019-09-01 15:35:34,011 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_get_odr [2019-09-01 15:35:34,011 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_get_acc_reg [2019-09-01 15:35:34,012 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_set_scale [2019-09-01 15:35:34,012 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_read_raw [2019-09-01 15:35:34,013 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_write_raw [2019-09-01 15:35:34,013 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_read_event [2019-09-01 15:35:34,013 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_write_event [2019-09-01 15:35:34,014 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_read_event_config [2019-09-01 15:35:34,014 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_write_event_config [2019-09-01 15:35:34,015 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_buffer_preenable [2019-09-01 15:35:34,015 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_buffer_postdisable [2019-09-01 15:35:34,015 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_trigger_handler [2019-09-01 15:35:34,015 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_trig_try_reen [2019-09-01 15:35:34,015 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_data_rdy_trigger_set_state [2019-09-01 15:35:34,015 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_event_handler [2019-09-01 15:35:34,015 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_data_rdy_trig_poll [2019-09-01 15:35:34,016 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_match_acpi_device [2019-09-01 15:35:34,016 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_gpio_probe [2019-09-01 15:35:34,016 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_probe [2019-09-01 15:35:34,016 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_remove [2019-09-01 15:35:34,017 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_suspend [2019-09-01 15:35:34,018 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_resume [2019-09-01 15:35:34,018 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_runtime_suspend [2019-09-01 15:35:34,018 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_runtime_resume [2019-09-01 15:35:34,018 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_driver_init [2019-09-01 15:35:34,018 INFO L138 BoogieDeclarations]: Found implementation of procedure kxcjk1013_driver_exit [2019-09-01 15:35:34,018 INFO L138 BoogieDeclarations]: Found implementation of procedure activate_suitable_irq_4 [2019-09-01 15:35:34,018 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_irq_3 [2019-09-01 15:35:34,019 INFO L138 BoogieDeclarations]: Found implementation of procedure choose_interrupt_2 [2019-09-01 15:35:34,019 INFO L138 BoogieDeclarations]: Found implementation of procedure disable_suitable_irq_2 [2019-09-01 15:35:34,020 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_initialize_i2c_driver_5 [2019-09-01 15:35:34,020 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_irq_4 [2019-09-01 15:35:34,021 INFO L138 BoogieDeclarations]: Found implementation of procedure disable_suitable_irq_4 [2019-09-01 15:35:34,021 INFO L138 BoogieDeclarations]: Found implementation of procedure activate_suitable_irq_3 [2019-09-01 15:35:34,021 INFO L138 BoogieDeclarations]: Found implementation of procedure activate_suitable_irq_2 [2019-09-01 15:35:34,021 INFO L138 BoogieDeclarations]: Found implementation of procedure reg_check_1 [2019-09-01 15:35:34,021 INFO L138 BoogieDeclarations]: Found implementation of procedure choose_interrupt_4 [2019-09-01 15:35:34,021 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_iio_buffer_setup_ops_9 [2019-09-01 15:35:34,023 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_initialize_iio_trigger_ops_7 [2019-09-01 15:35:34,023 INFO L138 BoogieDeclarations]: Found implementation of procedure choose_interrupt_1 [2019-09-01 15:35:34,023 INFO L138 BoogieDeclarations]: Found implementation of procedure reg_check_2 [2019-09-01 15:35:34,023 INFO L138 BoogieDeclarations]: Found implementation of procedure disable_suitable_irq_3 [2019-09-01 15:35:34,023 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_dev_pm_ops_6 [2019-09-01 15:35:34,023 INFO L138 BoogieDeclarations]: Found implementation of procedure reg_check_3 [2019-09-01 15:35:34,023 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_initialize_iio_info_8 [2019-09-01 15:35:34,024 INFO L138 BoogieDeclarations]: Found implementation of procedure disable_suitable_irq_1 [2019-09-01 15:35:34,024 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_irq_1 [2019-09-01 15:35:34,024 INFO L138 BoogieDeclarations]: Found implementation of procedure activate_suitable_irq_1 [2019-09-01 15:35:34,024 INFO L138 BoogieDeclarations]: Found implementation of procedure reg_check_4 [2019-09-01 15:35:34,024 INFO L138 BoogieDeclarations]: Found implementation of procedure choose_interrupt_3 [2019-09-01 15:35:34,024 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_irq_2 [2019-09-01 15:35:34,024 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-09-01 15:35:34,025 INFO L138 BoogieDeclarations]: Found implementation of procedure PTR_ERR [2019-09-01 15:35:34,025 INFO L138 BoogieDeclarations]: Found implementation of procedure IS_ERR [2019-09-01 15:35:34,025 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_devm_request_threaded_irq_5 [2019-09-01 15:35:34,025 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_module_put_6 [2019-09-01 15:35:34,025 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv___module_get_7 [2019-09-01 15:35:34,025 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_devm_request_threaded_irq_8 [2019-09-01 15:35:34,025 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_iio_triggered_buffer_setup_9 [2019-09-01 15:35:34,026 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_iio_triggered_buffer_cleanup_10 [2019-09-01 15:35:34,026 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_iio_triggered_buffer_cleanup_11 [2019-09-01 15:35:34,026 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_error [2019-09-01 15:35:34,027 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_is_err [2019-09-01 15:35:34,027 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_err_ptr [2019-09-01 15:35:34,027 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_ptr_err [2019-09-01 15:35:34,027 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_is_err_or_null [2019-09-01 15:35:34,028 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_module_get [2019-09-01 15:35:34,029 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_try_module_get [2019-09-01 15:35:34,029 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_module_put [2019-09-01 15:35:34,030 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_module_put_and_exit [2019-09-01 15:35:34,030 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_module_refcount [2019-09-01 15:35:34,031 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_check_final_state [2019-09-01 15:35:34,031 INFO L138 BoogieDeclarations]: Found implementation of procedure __devm_gpiod_get_index [2019-09-01 15:35:34,031 INFO L138 BoogieDeclarations]: Found implementation of procedure __dynamic_dev_dbg [2019-09-01 15:35:34,031 INFO L138 BoogieDeclarations]: Found implementation of procedure __mutex_init [2019-09-01 15:35:34,031 INFO L138 BoogieDeclarations]: Found implementation of procedure __pm_runtime_disable [2019-09-01 15:35:34,032 INFO L138 BoogieDeclarations]: Found implementation of procedure __pm_runtime_resume [2019-09-01 15:35:34,032 INFO L138 BoogieDeclarations]: Found implementation of procedure __pm_runtime_set_status [2019-09-01 15:35:34,032 INFO L138 BoogieDeclarations]: Found implementation of procedure __pm_runtime_suspend [2019-09-01 15:35:34,033 INFO L138 BoogieDeclarations]: Found implementation of procedure __pm_runtime_use_autosuspend [2019-09-01 15:35:34,033 INFO L138 BoogieDeclarations]: Found implementation of procedure acpi_match_device [2019-09-01 15:35:34,033 INFO L138 BoogieDeclarations]: Found implementation of procedure desc_to_gpio [2019-09-01 15:35:34,033 INFO L138 BoogieDeclarations]: Found implementation of procedure dev_err [2019-09-01 15:35:34,033 INFO L138 BoogieDeclarations]: Found implementation of procedure devm_iio_device_alloc [2019-09-01 15:35:34,033 INFO L138 BoogieDeclarations]: Found implementation of procedure devm_iio_trigger_alloc [2019-09-01 15:35:34,034 INFO L138 BoogieDeclarations]: Found implementation of procedure devm_request_threaded_irq [2019-09-01 15:35:34,034 INFO L138 BoogieDeclarations]: Found implementation of procedure find_first_bit [2019-09-01 15:35:34,037 INFO L138 BoogieDeclarations]: Found implementation of procedure find_next_bit [2019-09-01 15:35:34,038 INFO L138 BoogieDeclarations]: Found implementation of procedure get_device [2019-09-01 15:35:34,038 INFO L138 BoogieDeclarations]: Found implementation of procedure gpiod_to_irq [2019-09-01 15:35:34,038 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_del_driver [2019-09-01 15:35:34,045 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_register_driver [2019-09-01 15:35:34,045 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_smbus_read_byte_data [2019-09-01 15:35:34,045 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_smbus_read_word_data [2019-09-01 15:35:34,045 INFO L138 BoogieDeclarations]: Found implementation of procedure i2c_smbus_write_byte_data [2019-09-01 15:35:34,046 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_device_register [2019-09-01 15:35:34,046 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_device_unregister [2019-09-01 15:35:34,046 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_pollfunc_store_time [2019-09-01 15:35:34,046 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_push_event [2019-09-01 15:35:34,046 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_push_to_buffers [2019-09-01 15:35:34,046 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_read_const_attr [2019-09-01 15:35:34,046 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_trigger_notify_done [2019-09-01 15:35:34,047 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_trigger_poll [2019-09-01 15:35:34,047 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_trigger_register [2019-09-01 15:35:34,047 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_trigger_unregister [2019-09-01 15:35:34,047 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_triggered_buffer_cleanup [2019-09-01 15:35:34,047 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_triggered_buffer_postenable [2019-09-01 15:35:34,047 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_triggered_buffer_predisable [2019-09-01 15:35:34,047 INFO L138 BoogieDeclarations]: Found implementation of procedure iio_triggered_buffer_setup [2019-09-01 15:35:34,048 INFO L138 BoogieDeclarations]: Found implementation of procedure ktime_get_with_offset [2019-09-01 15:35:34,048 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_complete_6 [2019-09-01 15:35:34,048 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_freeze_late_6 [2019-09-01 15:35:34,048 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_freeze_noirq_6 [2019-09-01 15:35:34,048 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_initialize [2019-09-01 15:35:34,048 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_poweroff_late_6 [2019-09-01 15:35:34,048 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_poweroff_noirq_6 [2019-09-01 15:35:34,049 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_prepare_6 [2019-09-01 15:35:34,049 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_probe_8 [2019-09-01 15:35:34,049 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_release_8 [2019-09-01 15:35:34,049 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_restore_early_6 [2019-09-01 15:35:34,049 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_restore_noirq_6 [2019-09-01 15:35:34,049 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_resume_early_6 [2019-09-01 15:35:34,049 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_resume_noirq_6 [2019-09-01 15:35:34,050 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_suspend_late_6 [2019-09-01 15:35:34,050 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_suspend_noirq_6 [2019-09-01 15:35:34,050 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_thaw_early_6 [2019-09-01 15:35:34,050 INFO L138 BoogieDeclarations]: Found implementation of procedure ldv_thaw_noirq_6 [2019-09-01 15:35:34,050 INFO L138 BoogieDeclarations]: Found implementation of procedure msleep_interruptible [2019-09-01 15:35:34,050 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_lock_nested [2019-09-01 15:35:34,050 INFO L138 BoogieDeclarations]: Found implementation of procedure mutex_unlock [2019-09-01 15:35:34,051 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_enable [2019-09-01 15:35:34,051 INFO L138 BoogieDeclarations]: Found implementation of procedure pm_runtime_set_autosuspend_delay [2019-09-01 15:35:34,051 INFO L138 BoogieDeclarations]: Found implementation of procedure usleep_range [2019-09-01 15:35:34,051 INFO L138 BoogieDeclarations]: Found implementation of procedure external_alloc [2019-09-01 15:35:34,051 INFO L138 BoogieDeclarations]: Found implementation of procedure kfree [2019-09-01 15:35:34,051 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.C_memset [2019-09-01 15:35:34,052 INFO L138 BoogieDeclarations]: Found implementation of procedure #Ultimate.meminit [2019-09-01 15:35:34,052 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-09-01 15:35:34,052 INFO L130 BoogieDeclarations]: Found specification of procedure ldv__builtin_expect [2019-09-01 15:35:34,052 INFO L130 BoogieDeclarations]: Found specification of procedure find_next_bit [2019-09-01 15:35:34,052 INFO L130 BoogieDeclarations]: Found specification of procedure find_first_bit [2019-09-01 15:35:34,052 INFO L130 BoogieDeclarations]: Found specification of procedure sign_extend32 [2019-09-01 15:35:34,052 INFO L130 BoogieDeclarations]: Found specification of procedure __dynamic_dev_dbg [2019-09-01 15:35:34,053 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_is_err [2019-09-01 15:35:34,053 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_ptr_err [2019-09-01 15:35:34,053 INFO L130 BoogieDeclarations]: Found specification of procedure memset [2019-09-01 15:35:34,053 INFO L130 BoogieDeclarations]: Found specification of procedure strcmp [2019-09-01 15:35:34,053 INFO L130 BoogieDeclarations]: Found specification of procedure PTR_ERR [2019-09-01 15:35:34,053 INFO L130 BoogieDeclarations]: Found specification of procedure IS_ERR [2019-09-01 15:35:34,053 INFO L130 BoogieDeclarations]: Found specification of procedure __cmpxchg_wrong_size [2019-09-01 15:35:34,054 INFO L130 BoogieDeclarations]: Found specification of procedure atomic_read [2019-09-01 15:35:34,054 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-09-01 15:35:34,054 INFO L130 BoogieDeclarations]: Found specification of procedure atomic_cmpxchg [2019-09-01 15:35:34,054 INFO L130 BoogieDeclarations]: Found specification of procedure __atomic_add_unless [2019-09-01 15:35:34,054 INFO L130 BoogieDeclarations]: Found specification of procedure atomic_add_unless [2019-09-01 15:35:34,054 INFO L130 BoogieDeclarations]: Found specification of procedure __mutex_init [2019-09-01 15:35:34,054 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_lock_nested [2019-09-01 15:35:34,054 INFO L130 BoogieDeclarations]: Found specification of procedure mutex_unlock [2019-09-01 15:35:34,055 INFO L130 BoogieDeclarations]: Found specification of procedure ktime_get_with_offset [2019-09-01 15:35:34,055 INFO L130 BoogieDeclarations]: Found specification of procedure ktime_get_real [2019-09-01 15:35:34,055 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2019-09-01 15:35:34,055 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-09-01 15:35:34,055 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2019-09-01 15:35:34,055 INFO L130 BoogieDeclarations]: Found specification of procedure ktime_get_real_ns [2019-09-01 15:35:34,055 INFO L130 BoogieDeclarations]: Found specification of procedure kobject_name [2019-09-01 15:35:34,055 INFO L130 BoogieDeclarations]: Found specification of procedure read~$Pointer$ [2019-09-01 15:35:34,056 INFO L130 BoogieDeclarations]: Found specification of procedure ldv___module_get_7 [2019-09-01 15:35:34,056 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_module_put_6 [2019-09-01 15:35:34,056 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_module_get [2019-09-01 15:35:34,056 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_module_put [2019-09-01 15:35:34,056 INFO L130 BoogieDeclarations]: Found specification of procedure malloc [2019-09-01 15:35:34,056 INFO L130 BoogieDeclarations]: Found specification of procedure calloc [2019-09-01 15:35:34,056 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-09-01 15:35:34,056 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_ulong [2019-09-01 15:35:34,057 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_pointer [2019-09-01 15:35:34,057 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assume [2019-09-01 15:35:34,057 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_malloc [2019-09-01 15:35:34,057 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnHeap [2019-09-01 15:35:34,057 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_zalloc [2019-09-01 15:35:34,057 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.meminit [2019-09-01 15:35:34,057 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_init_zalloc [2019-09-01 15:35:34,057 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_memset [2019-09-01 15:35:34,058 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.C_memset [2019-09-01 15:35:34,058 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_int [2019-09-01 15:35:34,058 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_ptr [2019-09-01 15:35:34,058 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_undef_ulong [2019-09-01 15:35:34,058 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_stop [2019-09-01 15:35:34,058 INFO L130 BoogieDeclarations]: Found specification of procedure activate_suitable_irq_4 [2019-09-01 15:35:34,058 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_irq_3 [2019-09-01 15:35:34,058 INFO L130 BoogieDeclarations]: Found specification of procedure choose_interrupt_2 [2019-09-01 15:35:34,059 INFO L130 BoogieDeclarations]: Found specification of procedure disable_suitable_irq_2 [2019-09-01 15:35:34,059 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_initialize_i2c_driver_5 [2019-09-01 15:35:34,059 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_irq_4 [2019-09-01 15:35:34,059 INFO L130 BoogieDeclarations]: Found specification of procedure disable_suitable_irq_4 [2019-09-01 15:35:34,059 INFO L130 BoogieDeclarations]: Found specification of procedure activate_suitable_irq_3 [2019-09-01 15:35:34,059 INFO L130 BoogieDeclarations]: Found specification of procedure activate_suitable_irq_2 [2019-09-01 15:35:34,059 INFO L130 BoogieDeclarations]: Found specification of procedure reg_check_1 [2019-09-01 15:35:34,059 INFO L130 BoogieDeclarations]: Found specification of procedure choose_interrupt_4 [2019-09-01 15:35:34,060 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_iio_buffer_setup_ops_9 [2019-09-01 15:35:34,060 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_initialize_iio_trigger_ops_7 [2019-09-01 15:35:34,060 INFO L130 BoogieDeclarations]: Found specification of procedure choose_interrupt_1 [2019-09-01 15:35:34,060 INFO L130 BoogieDeclarations]: Found specification of procedure reg_check_2 [2019-09-01 15:35:34,060 INFO L130 BoogieDeclarations]: Found specification of procedure disable_suitable_irq_3 [2019-09-01 15:35:34,060 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_dev_pm_ops_6 [2019-09-01 15:35:34,060 INFO L130 BoogieDeclarations]: Found specification of procedure reg_check_3 [2019-09-01 15:35:34,061 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_initialize_iio_info_8 [2019-09-01 15:35:34,061 INFO L130 BoogieDeclarations]: Found specification of procedure disable_suitable_irq_1 [2019-09-01 15:35:34,061 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_irq_1 [2019-09-01 15:35:34,061 INFO L130 BoogieDeclarations]: Found specification of procedure activate_suitable_irq_1 [2019-09-01 15:35:34,061 INFO L130 BoogieDeclarations]: Found specification of procedure reg_check_4 [2019-09-01 15:35:34,061 INFO L130 BoogieDeclarations]: Found specification of procedure choose_interrupt_3 [2019-09-01 15:35:34,061 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_irq_2 [2019-09-01 15:35:34,061 INFO L130 BoogieDeclarations]: Found specification of procedure dev_name [2019-09-01 15:35:34,063 INFO L130 BoogieDeclarations]: Found specification of procedure dev_get_drvdata [2019-09-01 15:35:34,066 INFO L130 BoogieDeclarations]: Found specification of procedure dev_set_drvdata [2019-09-01 15:35:34,066 INFO L130 BoogieDeclarations]: Found specification of procedure write~$Pointer$ [2019-09-01 15:35:34,066 INFO L130 BoogieDeclarations]: Found specification of procedure dev_get_platdata [2019-09-01 15:35:34,067 INFO L130 BoogieDeclarations]: Found specification of procedure get_device [2019-09-01 15:35:34,067 INFO L130 BoogieDeclarations]: Found specification of procedure dev_err [2019-09-01 15:35:34,069 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_smbus_read_byte_data [2019-09-01 15:35:34,069 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_smbus_write_byte_data [2019-09-01 15:35:34,069 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_smbus_read_word_data [2019-09-01 15:35:34,069 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_get_clientdata [2019-09-01 15:35:34,069 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_set_clientdata [2019-09-01 15:35:34,070 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_register_driver [2019-09-01 15:35:34,070 INFO L130 BoogieDeclarations]: Found specification of procedure i2c_del_driver [2019-09-01 15:35:34,070 INFO L130 BoogieDeclarations]: Found specification of procedure devm_request_threaded_irq [2019-09-01 15:35:34,070 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_devm_request_threaded_irq_5 [2019-09-01 15:35:34,070 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_devm_request_threaded_irq_8 [2019-09-01 15:35:34,070 INFO L130 BoogieDeclarations]: Found specification of procedure msleep_interruptible [2019-09-01 15:35:34,070 INFO L130 BoogieDeclarations]: Found specification of procedure usleep_range [2019-09-01 15:35:34,070 INFO L130 BoogieDeclarations]: Found specification of procedure is_acpi_node [2019-09-01 15:35:34,070 INFO L130 BoogieDeclarations]: Found specification of procedure to_acpi_node [2019-09-01 15:35:34,071 INFO L130 BoogieDeclarations]: Found specification of procedure acpi_device_handle [2019-09-01 15:35:34,071 INFO L130 BoogieDeclarations]: Found specification of procedure acpi_match_device [2019-09-01 15:35:34,071 INFO L130 BoogieDeclarations]: Found specification of procedure __devm_gpiod_get_index [2019-09-01 15:35:34,071 INFO L130 BoogieDeclarations]: Found specification of procedure gpiod_to_irq [2019-09-01 15:35:34,071 INFO L130 BoogieDeclarations]: Found specification of procedure desc_to_gpio [2019-09-01 15:35:34,071 INFO L130 BoogieDeclarations]: Found specification of procedure __pm_runtime_suspend [2019-09-01 15:35:34,071 INFO L130 BoogieDeclarations]: Found specification of procedure __pm_runtime_resume [2019-09-01 15:35:34,071 INFO L130 BoogieDeclarations]: Found specification of procedure __pm_runtime_set_status [2019-09-01 15:35:34,071 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_enable [2019-09-01 15:35:34,072 INFO L130 BoogieDeclarations]: Found specification of procedure __pm_runtime_disable [2019-09-01 15:35:34,072 INFO L130 BoogieDeclarations]: Found specification of procedure __pm_runtime_use_autosuspend [2019-09-01 15:35:34,072 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_set_autosuspend_delay [2019-09-01 15:35:34,072 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_put_noidle [2019-09-01 15:35:34,072 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_mark_last_busy [2019-09-01 15:35:34,072 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_get_sync [2019-09-01 15:35:34,072 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_put_autosuspend [2019-09-01 15:35:34,072 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_set_active [2019-09-01 15:35:34,072 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_set_suspended [2019-09-01 15:35:34,073 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_disable [2019-09-01 15:35:34,073 INFO L130 BoogieDeclarations]: Found specification of procedure pm_runtime_use_autosuspend [2019-09-01 15:35:34,073 INFO L130 BoogieDeclarations]: Found specification of procedure iio_get_time_ns [2019-09-01 15:35:34,073 INFO L130 BoogieDeclarations]: Found specification of procedure iio_device_register [2019-09-01 15:35:34,073 INFO L130 BoogieDeclarations]: Found specification of procedure iio_device_unregister [2019-09-01 15:35:34,073 INFO L130 BoogieDeclarations]: Found specification of procedure iio_push_event [2019-09-01 15:35:34,073 INFO L130 BoogieDeclarations]: Found specification of procedure iio_priv [2019-09-01 15:35:34,073 INFO L130 BoogieDeclarations]: Found specification of procedure devm_iio_device_alloc [2019-09-01 15:35:34,074 INFO L130 BoogieDeclarations]: Found specification of procedure devm_iio_trigger_alloc [2019-09-01 15:35:34,074 INFO L130 BoogieDeclarations]: Found specification of procedure iio_buffer_enabled [2019-09-01 15:35:34,074 INFO L130 BoogieDeclarations]: Found specification of procedure iio_read_const_attr [2019-09-01 15:35:34,074 INFO L130 BoogieDeclarations]: Found specification of procedure iio_push_to_buffers [2019-09-01 15:35:34,074 INFO L130 BoogieDeclarations]: Found specification of procedure iio_push_to_buffers_with_timestamp [2019-09-01 15:35:34,074 INFO L130 BoogieDeclarations]: Found specification of procedure iio_trigger_get [2019-09-01 15:35:34,074 INFO L130 BoogieDeclarations]: Found specification of procedure iio_trigger_set_drvdata [2019-09-01 15:35:34,074 INFO L130 BoogieDeclarations]: Found specification of procedure iio_trigger_get_drvdata [2019-09-01 15:35:34,075 INFO L130 BoogieDeclarations]: Found specification of procedure iio_trigger_register [2019-09-01 15:35:34,075 INFO L130 BoogieDeclarations]: Found specification of procedure iio_trigger_unregister [2019-09-01 15:35:34,075 INFO L130 BoogieDeclarations]: Found specification of procedure iio_trigger_poll [2019-09-01 15:35:34,075 INFO L130 BoogieDeclarations]: Found specification of procedure iio_pollfunc_store_time [2019-09-01 15:35:34,075 INFO L130 BoogieDeclarations]: Found specification of procedure iio_trigger_notify_done [2019-09-01 15:35:34,075 INFO L130 BoogieDeclarations]: Found specification of procedure iio_triggered_buffer_postenable [2019-09-01 15:35:34,075 INFO L130 BoogieDeclarations]: Found specification of procedure iio_triggered_buffer_predisable [2019-09-01 15:35:34,075 INFO L130 BoogieDeclarations]: Found specification of procedure iio_triggered_buffer_setup [2019-09-01 15:35:34,075 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_iio_triggered_buffer_setup_9 [2019-09-01 15:35:34,076 INFO L130 BoogieDeclarations]: Found specification of procedure iio_triggered_buffer_cleanup [2019-09-01 15:35:34,076 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_iio_triggered_buffer_cleanup_10 [2019-09-01 15:35:34,076 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_iio_triggered_buffer_cleanup_11 [2019-09-01 15:35:34,076 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_set_mode [2019-09-01 15:35:34,076 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_get_mode [2019-09-01 15:35:34,076 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_set_range [2019-09-01 15:35:34,076 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_chip_init [2019-09-01 15:35:34,076 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_get_startup_times [2019-09-01 15:35:34,076 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_set_power_state [2019-09-01 15:35:34,077 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_chip_update_thresholds [2019-09-01 15:35:34,077 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_setup_any_motion_interrupt [2019-09-01 15:35:34,077 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_setup_new_data_interrupt [2019-09-01 15:35:34,077 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_convert_freq_to_bit [2019-09-01 15:35:34,077 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_convert_wake_odr_to_bit [2019-09-01 15:35:34,077 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_set_odr [2019-09-01 15:35:34,077 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_get_odr [2019-09-01 15:35:34,077 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_get_acc_reg [2019-09-01 15:35:34,077 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_set_scale [2019-09-01 15:35:34,078 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_read_raw [2019-09-01 15:35:34,078 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_write_raw [2019-09-01 15:35:34,078 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_read_event [2019-09-01 15:35:34,078 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_write_event [2019-09-01 15:35:34,078 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_read_event_config [2019-09-01 15:35:34,078 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_write_event_config [2019-09-01 15:35:34,078 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_buffer_preenable [2019-09-01 15:35:34,078 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_buffer_postdisable [2019-09-01 15:35:34,078 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_trigger_handler [2019-09-01 15:35:34,079 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_trig_try_reen [2019-09-01 15:35:34,079 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_data_rdy_trigger_set_state [2019-09-01 15:35:34,079 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_event_handler [2019-09-01 15:35:34,079 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_data_rdy_trig_poll [2019-09-01 15:35:34,079 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_match_acpi_device [2019-09-01 15:35:34,079 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_gpio_probe [2019-09-01 15:35:34,079 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_probe [2019-09-01 15:35:34,079 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_remove [2019-09-01 15:35:34,080 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_suspend [2019-09-01 15:35:34,080 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_resume [2019-09-01 15:35:34,080 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_runtime_suspend [2019-09-01 15:35:34,080 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_runtime_resume [2019-09-01 15:35:34,080 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_driver_init [2019-09-01 15:35:34,080 INFO L130 BoogieDeclarations]: Found specification of procedure kxcjk1013_driver_exit [2019-09-01 15:35:34,081 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_suspend_noirq_6 [2019-09-01 15:35:34,081 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_thaw_noirq_6 [2019-09-01 15:35:34,081 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_restore_early_6 [2019-09-01 15:35:34,081 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_freeze_late_6 [2019-09-01 15:35:34,081 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_prepare_6 [2019-09-01 15:35:34,082 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_probe_8 [2019-09-01 15:35:34,082 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_restore_noirq_6 [2019-09-01 15:35:34,082 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_check_final_state [2019-09-01 15:35:34,082 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_freeze_noirq_6 [2019-09-01 15:35:34,082 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_poweroff_late_6 [2019-09-01 15:35:34,082 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_release_8 [2019-09-01 15:35:34,083 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_initialize [2019-09-01 15:35:34,083 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_complete_6 [2019-09-01 15:35:34,083 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_poweroff_noirq_6 [2019-09-01 15:35:34,083 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_thaw_early_6 [2019-09-01 15:35:34,083 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_resume_early_6 [2019-09-01 15:35:34,083 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_suspend_late_6 [2019-09-01 15:35:34,084 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_resume_noirq_6 [2019-09-01 15:35:34,084 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-09-01 15:35:34,084 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_error [2019-09-01 15:35:34,084 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_err_ptr [2019-09-01 15:35:34,084 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_is_err_or_null [2019-09-01 15:35:34,084 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_try_module_get [2019-09-01 15:35:34,085 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_module_put_and_exit [2019-09-01 15:35:34,085 INFO L130 BoogieDeclarations]: Found specification of procedure ldv_module_refcount [2019-09-01 15:35:34,085 INFO L130 BoogieDeclarations]: Found specification of procedure external_alloc [2019-09-01 15:35:34,085 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_long [2019-09-01 15:35:34,085 INFO L130 BoogieDeclarations]: Found specification of procedure free [2019-09-01 15:35:34,086 INFO L130 BoogieDeclarations]: Found specification of procedure kfree [2019-09-01 15:35:34,086 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-09-01 15:35:34,087 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2019-09-01 15:35:34,087 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~$Pointer$ [2019-09-01 15:35:34,087 INFO L130 BoogieDeclarations]: Found specification of procedure write~unchecked~int [2019-09-01 15:35:34,087 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-09-01 15:35:35,257 INFO L684 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_stopFINAL: assume true; [2019-09-01 15:36:05,821 INFO L684 $ProcedureCfgBuilder]: dead code at ProgramPoint ldv_module_put_and_exitFINAL: assume true; [2019-09-01 15:36:06,360 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-09-01 15:36:06,360 INFO L283 CfgBuilder]: Removed 0 assume(true) statements. [2019-09-01 15:36:06,363 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 01.09 03:36:06 BoogieIcfgContainer [2019-09-01 15:36:06,363 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-09-01 15:36:06,363 INFO L113 PluginConnector]: ------------------------Sifa---------------------------- [2019-09-01 15:36:06,363 INFO L271 PluginConnector]: Initializing Sifa... [2019-09-01 15:36:06,364 INFO L275 PluginConnector]: Sifa initialized [2019-09-01 15:36:06,365 INFO L185 PluginConnector]: Executing the observer SifaObserver from plugin Sifa for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 01.09 03:36:06" (1/1) ... [2019-09-01 15:36:06,400 INFO L162 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-09-01 15:36:06,400 INFO L169 IcfgInterpreter]: Building call graph [2019-09-01 15:36:06,414 INFO L174 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-09-01 15:36:06,422 INFO L179 IcfgInterpreter]: Starting interpretation [2019-09-01 15:36:06,423 INFO L199 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 for LOIs [2019-09-01 15:36:07,204 INFO L392 ElimStorePlain]: Different costs {0=[|v_#length_220|, v_~__mod_acpi__kx_acpi_match_device_table~0.driver_data_10, v_~__mod_i2c__kxcjk1013_id_device_table~0.driver_data_9], 10153=[|v_#valid_346|]} [2019-09-01 15:36:13,702 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:13,703 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:15,719 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:15,720 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:17,789 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#wake_odr_data_rate_table~0.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:17,791 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:19,804 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:19,828 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:21,862 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:21,871 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:23,896 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string152.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:23,904 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:25,929 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string156.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:25,952 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:27,973 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:27,981 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:30,027 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:30,044 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:32,067 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:32,078 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:34,111 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string168.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:34,116 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:36,144 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string169.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:36,155 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:38,171 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string170.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:38,183 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:40,211 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:40,229 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:42,249 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string179.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:42,266 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:44,286 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string183.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:44,302 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:46,326 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string188.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:46,334 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:48,362 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string192.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:48,369 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:50,393 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string197.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:50,409 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:52,442 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string209.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:52,470 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:54,509 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string215.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:54,524 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:56,551 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string220.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:56,566 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:36:58,587 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string227.base| |~#samp_freq_table~0.base|) [2019-09-01 15:36:58,606 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:00,636 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string231.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:00,650 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:02,689 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string235.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:02,701 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:04,727 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string239.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:04,739 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:06,767 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string247.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:06,776 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:08,789 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:08,808 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:10,830 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string255.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:10,842 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:12,880 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string259.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:12,897 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:14,914 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string276.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:14,937 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:16,979 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string281.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:17,002 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:19,030 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string291.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:19,053 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:21,076 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) |~#iio_const_attr_sampling_frequency_available~0.offset|) |~#samp_freq_table~0.base|) [2019-09-01 15:37:21,092 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:23,115 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) (+ |~#iio_const_attr_sampling_frequency_available~0.offset| 8)) |~#samp_freq_table~0.base|) [2019-09-01 15:37:23,138 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:25,154 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) |~#kxcjk1013_attributes~0.offset|) |~#samp_freq_table~0.base|) [2019-09-01 15:37:25,155 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:27,165 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) |~#iio_const_attr_in_accel_scale_available~0.offset|) |~#samp_freq_table~0.base|) [2019-09-01 15:37:27,216 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:29,229 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) (+ |~#iio_const_attr_in_accel_scale_available~0.offset| 8)) |~#samp_freq_table~0.base|) [2019-09-01 15:37:29,269 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:31,303 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) (+ |~#kxcjk1013_attributes~0.offset| 8)) |~#samp_freq_table~0.base|) [2019-09-01 15:37:31,304 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:33,313 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attrs_group~0.base|) (+ |~#kxcjk1013_attrs_group~0.offset| 16)) |~#samp_freq_table~0.base|) [2019-09-01 15:37:33,349 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:35,378 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_info~0.base|) (+ |~#kxcjk1013_info~0.offset| 16)) |~#samp_freq_table~0.base|) [2019-09-01 15:37:35,411 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:37,425 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_channels~0.base|) (+ |~#kxcjk1013_channels~0.offset| 65)) |~#samp_freq_table~0.base|) [2019-09-01 15:37:37,426 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:39,434 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_channels~0.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:39,435 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:41,457 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_buffer_setup_ops~0.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:41,465 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:43,488 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_info~0.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:43,495 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:45,513 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string357.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:45,535 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:47,549 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_trigger_ops~0.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:47,570 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:49,602 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string374.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:49,649 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:51,692 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string378.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:51,751 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:53,799 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string395.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:53,810 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:55,838 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string406.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:55,860 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:57,886 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string411.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:57,925 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:37:59,965 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string414.base| |~#samp_freq_table~0.base|) [2019-09-01 15:37:59,997 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:02,028 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string417.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:02,058 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:04,069 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string418.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:04,112 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:06,143 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string419.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:06,177 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:08,209 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string420.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:08,235 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:10,277 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string424.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:10,320 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:12,337 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string435.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:12,360 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:14,396 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string440.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:14,420 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:16,456 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string443.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:16,486 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:18,526 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string448.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:18,576 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:20,593 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string466.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:20,615 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:22,648 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string468.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:22,723 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:24,755 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string492.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:24,849 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:26,889 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 153)) |~#samp_freq_table~0.base|) [2019-09-01 15:38:26,940 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:28,980 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 97)) |~#samp_freq_table~0.base|) [2019-09-01 15:38:28,982 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:30,995 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 169)) |~#samp_freq_table~0.base|) [2019-09-01 15:38:31,073 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:33,116 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_driver~0.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:33,129 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:35,172 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string498.base| |~#samp_freq_table~0.base|) [2019-09-01 15:38:35,270 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:37,298 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:38:37,300 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:39,325 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:38:39,327 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:41,338 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string144.base|) [2019-09-01 15:38:41,376 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:43,419 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string148.base|) [2019-09-01 15:38:43,430 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:45,468 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string152.base|) [2019-09-01 15:38:45,480 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:47,510 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string156.base|) [2019-09-01 15:38:47,535 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:49,577 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:38:49,586 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:51,618 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:38:51,626 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:53,655 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:38:53,663 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:55,688 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string168.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:38:55,697 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:57,723 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string169.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:38:57,732 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:38:59,778 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string170.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:38:59,792 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:01,825 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:01,850 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:03,884 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string179.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:03,896 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:05,934 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string183.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:05,944 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:07,961 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string188.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:07,976 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:10,006 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string192.base|) [2019-09-01 15:39:10,019 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:12,031 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string197.base|) [2019-09-01 15:39:12,050 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:14,074 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string209.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:14,087 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:16,105 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string215.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:16,138 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:18,162 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string220.base|) [2019-09-01 15:39:18,174 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:20,216 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string227.base|) [2019-09-01 15:39:20,228 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:22,243 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string231.base|) [2019-09-01 15:39:22,265 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:24,289 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string235.base|) [2019-09-01 15:39:24,321 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:26,343 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string239.base|) [2019-09-01 15:39:26,361 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:28,397 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string247.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:28,422 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:30,476 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:30,546 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:32,560 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string255.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:32,572 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:34,613 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string259.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:34,650 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:36,691 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string276.base|) [2019-09-01 15:39:36,713 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:38,751 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string281.base|) [2019-09-01 15:39:38,776 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:40,801 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string291.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:39:40,839 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:42,851 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) |~#iio_const_attr_sampling_frequency_available~0.offset|)) [2019-09-01 15:39:42,889 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:44,918 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) (+ |~#iio_const_attr_sampling_frequency_available~0.offset| 8))) [2019-09-01 15:39:44,930 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:46,975 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) |~#kxcjk1013_attributes~0.offset|) |~#odr_start_up_times~0.base|) [2019-09-01 15:39:46,977 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:48,986 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) |~#iio_const_attr_in_accel_scale_available~0.offset|)) [2019-09-01 15:39:49,038 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:51,081 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) (+ |~#iio_const_attr_in_accel_scale_available~0.offset| 8))) [2019-09-01 15:39:51,129 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:53,158 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) (+ |~#kxcjk1013_attributes~0.offset| 8)) |~#odr_start_up_times~0.base|) [2019-09-01 15:39:53,160 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:55,175 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attrs_group~0.base|) (+ |~#kxcjk1013_attrs_group~0.offset| 16)) |~#odr_start_up_times~0.base|) [2019-09-01 15:39:55,206 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:57,254 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_info~0.base|) (+ |~#kxcjk1013_info~0.offset| 16))) [2019-09-01 15:39:57,298 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:39:59,327 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_channels~0.base|) (+ |~#kxcjk1013_channels~0.offset| 65)) |~#odr_start_up_times~0.base|) [2019-09-01 15:39:59,328 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:01,339 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_channels~0.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:01,340 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:03,389 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |~#kxcjk1013_buffer_setup_ops~0.base|) [2019-09-01 15:40:03,410 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:05,457 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_info~0.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:05,465 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:07,501 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string357.base|) [2019-09-01 15:40:07,524 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:09,554 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_trigger_ops~0.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:09,583 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:11,611 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string374.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:11,672 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:13,684 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string378.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:13,697 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:15,717 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string395.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:15,743 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:17,769 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string406.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:17,782 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:19,812 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string411.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:19,860 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:21,878 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string414.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:21,902 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:23,927 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string417.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:23,984 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:26,002 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string418.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:26,053 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:28,093 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string419.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:28,117 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:30,158 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string420.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:30,214 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:32,269 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string424.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:32,382 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:34,410 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string435.base|) [2019-09-01 15:40:34,420 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:36,457 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string440.base|) [2019-09-01 15:40:36,551 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:38,573 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string443.base|) [2019-09-01 15:40:38,599 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:40,646 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string448.base|) [2019-09-01 15:40:40,677 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:42,727 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string466.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:42,794 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:44,810 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string468.base| |~#odr_start_up_times~0.base|) [2019-09-01 15:40:44,865 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:46,907 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string492.base|) [2019-09-01 15:40:46,935 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:48,970 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 153)) |~#odr_start_up_times~0.base|) [2019-09-01 15:40:49,028 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:51,057 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 97))) [2019-09-01 15:40:51,058 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:53,073 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 169)) |~#odr_start_up_times~0.base|) [2019-09-01 15:40:53,146 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:55,179 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |~#kxcjk1013_driver~0.base|) [2019-09-01 15:40:55,181 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:57,195 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#odr_start_up_times~0.base| |#t~string498.base|) [2019-09-01 15:40:57,269 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:40:59,304 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:40:59,305 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:01,317 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string144.base|) [2019-09-01 15:41:01,326 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:03,382 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string148.base|) [2019-09-01 15:41:03,401 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:05,422 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string152.base|) [2019-09-01 15:41:05,441 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:07,457 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string156.base|) [2019-09-01 15:41:07,492 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:09,525 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:09,539 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:11,559 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:11,570 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:13,605 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:13,619 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:15,643 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string168.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:15,648 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:17,685 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string169.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:17,693 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:19,710 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string170.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:19,721 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:21,750 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:21,760 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:23,781 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string179.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:23,790 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:25,831 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string183.base|) [2019-09-01 15:41:25,845 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:27,885 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string188.base|) [2019-09-01 15:41:27,892 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:29,926 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string192.base|) [2019-09-01 15:41:29,934 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:31,964 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string197.base|) [2019-09-01 15:41:31,976 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:34,025 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string209.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:34,046 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:36,080 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string215.base|) [2019-09-01 15:41:36,097 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:38,116 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string220.base|) [2019-09-01 15:41:38,144 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:40,186 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string227.base|) [2019-09-01 15:41:40,213 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:42,245 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string231.base|) [2019-09-01 15:41:42,260 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:44,293 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string235.base|) [2019-09-01 15:41:44,310 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:46,345 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string239.base|) [2019-09-01 15:41:46,392 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:48,409 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string247.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:48,430 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:50,453 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:50,483 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:52,514 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string255.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:52,525 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:54,543 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string259.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:41:54,571 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:56,604 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string276.base|) [2019-09-01 15:41:56,638 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:41:58,685 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string281.base|) [2019-09-01 15:41:58,700 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:00,727 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string291.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:00,744 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:02,780 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) |~#iio_const_attr_sampling_frequency_available~0.offset|)) [2019-09-01 15:42:02,795 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:04,807 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) (+ |~#iio_const_attr_sampling_frequency_available~0.offset| 8))) [2019-09-01 15:42:04,908 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:06,926 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) |~#kxcjk1013_attributes~0.offset|)) [2019-09-01 15:42:06,960 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:08,983 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) |~#iio_const_attr_in_accel_scale_available~0.offset|)) [2019-09-01 15:42:09,006 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:11,022 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) (+ |~#iio_const_attr_in_accel_scale_available~0.offset| 8))) [2019-09-01 15:42:11,052 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:13,093 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) (+ |~#kxcjk1013_attributes~0.offset| 8)) |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:13,119 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:15,165 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attrs_group~0.base|) (+ |~#kxcjk1013_attrs_group~0.offset| 16))) [2019-09-01 15:42:15,195 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:17,228 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_info~0.base|) (+ |~#kxcjk1013_info~0.offset| 16))) [2019-09-01 15:42:17,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:19,288 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_channels~0.base|) (+ |~#kxcjk1013_channels~0.offset| 65))) [2019-09-01 15:42:19,289 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:21,297 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |~#kxcjk1013_channels~0.base|) [2019-09-01 15:42:21,303 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:23,316 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |~#kxcjk1013_buffer_setup_ops~0.base|) [2019-09-01 15:42:23,344 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:25,400 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_info~0.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:25,445 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:27,481 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string357.base|) [2019-09-01 15:42:27,502 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:29,528 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_trigger_ops~0.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:29,566 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:31,600 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string374.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:31,637 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:33,667 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string378.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:33,696 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:35,738 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string395.base|) [2019-09-01 15:42:35,763 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:37,789 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string406.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:37,830 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:39,847 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string411.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:39,871 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:41,902 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string414.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:41,950 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:43,993 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string417.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:44,041 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:46,081 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string418.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:46,116 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:48,127 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string419.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:42:48,150 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:50,180 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string420.base|) [2019-09-01 15:42:50,202 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:52,215 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string424.base|) [2019-09-01 15:42:52,256 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:54,303 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string435.base|) [2019-09-01 15:42:54,351 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:56,381 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string440.base|) [2019-09-01 15:42:56,409 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:42:58,448 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string443.base|) [2019-09-01 15:42:58,518 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:00,567 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string448.base|) [2019-09-01 15:43:00,597 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:02,615 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string466.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:43:02,642 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:04,667 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string468.base| |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:43:04,723 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:06,752 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string492.base|) [2019-09-01 15:43:06,778 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:08,811 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 153)) |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:43:08,839 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:10,872 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 97))) [2019-09-01 15:43:10,873 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:12,906 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 169)) |~#KXCJK1013_scale_table~0.base|) [2019-09-01 15:43:12,938 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:14,963 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |~#kxcjk1013_driver~0.base|) [2019-09-01 15:43:14,971 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:17,012 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#KXCJK1013_scale_table~0.base| |#t~string498.base|) [2019-09-01 15:43:17,154 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:19,189 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:19,190 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:21,209 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:21,218 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:23,237 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string152.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:23,270 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:25,312 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string156.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:25,322 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:27,339 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:27,346 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:29,399 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:29,406 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:31,444 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:31,455 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:33,494 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string168.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:33,501 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:35,554 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string169.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:35,563 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:37,579 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string170.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:37,599 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:39,620 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:39,633 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:41,673 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string179.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:41,684 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:43,724 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string183.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:43,735 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:45,745 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string188.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:45,759 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:47,792 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string192.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:47,801 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:49,814 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string197.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:49,826 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:51,861 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string209.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:51,891 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:53,927 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string215.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:53,970 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:56,003 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string220.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:56,028 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:43:58,057 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string227.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:43:58,137 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:00,162 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string231.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:00,188 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:02,205 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string235.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:02,223 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:04,254 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string239.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:04,276 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:06,303 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string247.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:06,329 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:08,355 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:08,379 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:10,399 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string255.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:10,429 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:12,454 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string259.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:12,469 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:14,511 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string276.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:14,558 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:16,582 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string281.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:16,603 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:18,647 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string291.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:18,681 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:20,706 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) |~#iio_const_attr_sampling_frequency_available~0.offset|) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:20,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:22,759 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) (+ |~#iio_const_attr_sampling_frequency_available~0.offset| 8)) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:22,786 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:24,798 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) |~#kxcjk1013_attributes~0.offset|) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:24,799 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:26,812 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) |~#iio_const_attr_in_accel_scale_available~0.offset|) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:26,825 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:28,841 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) (+ |~#iio_const_attr_in_accel_scale_available~0.offset| 8)) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:29,058 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:31,069 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) (+ |~#kxcjk1013_attributes~0.offset| 8)) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:31,070 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:33,120 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attrs_group~0.base|) (+ |~#kxcjk1013_attrs_group~0.offset| 16)) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:33,166 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:35,205 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_info~0.base|) (+ |~#kxcjk1013_info~0.offset| 16)) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:35,230 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:37,246 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_channels~0.base|) (+ |~#kxcjk1013_channels~0.offset| 65)) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:37,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:39,258 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_channels~0.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:39,259 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:41,271 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_buffer_setup_ops~0.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:41,310 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:43,319 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_info~0.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:43,339 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:45,356 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string357.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:45,423 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:47,444 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_trigger_ops~0.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:47,479 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:49,522 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string374.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:49,584 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:51,617 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string378.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:51,708 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:53,737 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string395.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:53,761 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:55,794 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string406.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:55,812 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:57,824 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string411.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:57,861 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:44:59,936 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string414.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:44:59,967 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:02,001 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string417.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:02,047 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:04,064 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string418.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:04,159 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:06,185 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string419.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:06,210 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:08,237 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string420.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:08,265 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:10,304 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string424.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:10,336 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:12,368 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string435.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:12,435 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:14,467 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string440.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:14,496 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:16,531 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string443.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:16,572 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:18,612 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string448.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:18,675 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:20,694 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string466.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:20,718 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:22,743 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string468.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:22,783 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:24,803 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string492.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:24,816 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:26,870 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 153)) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:26,941 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:28,982 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 97)) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:28,983 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:30,993 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 169)) |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:31,020 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:33,040 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_driver~0.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:33,050 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:35,066 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string498.base| |~#wake_odr_data_rate_table~0.base|) [2019-09-01 15:45:35,141 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:37,157 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string148.base|) [2019-09-01 15:45:37,158 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:39,173 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string152.base|) [2019-09-01 15:45:39,181 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:41,208 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string156.base|) [2019-09-01 15:45:41,246 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:43,295 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| |#t~string144.base|) [2019-09-01 15:45:43,308 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:45,344 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| |#t~string144.base|) [2019-09-01 15:45:45,362 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:47,402 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| |#t~string144.base|) [2019-09-01 15:45:47,409 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:49,468 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string168.base| |#t~string144.base|) [2019-09-01 15:45:49,481 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:51,519 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string169.base| |#t~string144.base|) [2019-09-01 15:45:51,555 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:53,576 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string170.base| |#t~string144.base|) [2019-09-01 15:45:53,598 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:55,643 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |#t~string144.base|) [2019-09-01 15:45:55,653 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:57,694 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string179.base| |#t~string144.base|) [2019-09-01 15:45:57,740 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:45:59,760 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string183.base| |#t~string144.base|) [2019-09-01 15:45:59,775 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:01,811 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string188.base| |#t~string144.base|) [2019-09-01 15:46:01,824 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:03,864 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string192.base|) [2019-09-01 15:46:03,915 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:05,965 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string197.base|) [2019-09-01 15:46:05,975 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:08,012 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string209.base| |#t~string144.base|) [2019-09-01 15:46:08,036 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:10,061 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string215.base| |#t~string144.base|) [2019-09-01 15:46:10,075 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:12,097 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string220.base| |#t~string144.base|) [2019-09-01 15:46:12,107 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:14,163 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string227.base|) [2019-09-01 15:46:14,222 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:16,251 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string231.base|) [2019-09-01 15:46:16,260 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:18,303 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string235.base|) [2019-09-01 15:46:18,315 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:20,329 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string239.base|) [2019-09-01 15:46:20,338 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:22,366 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string247.base| |#t~string144.base|) [2019-09-01 15:46:22,381 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:24,403 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| |#t~string144.base|) [2019-09-01 15:46:24,435 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:26,453 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string255.base| |#t~string144.base|) [2019-09-01 15:46:26,470 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:28,498 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string259.base| |#t~string144.base|) [2019-09-01 15:46:28,512 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:30,528 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string276.base|) [2019-09-01 15:46:30,546 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:32,600 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string281.base|) [2019-09-01 15:46:32,636 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:34,664 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string291.base| |#t~string144.base|) [2019-09-01 15:46:34,696 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:36,715 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) |~#iio_const_attr_sampling_frequency_available~0.offset|) |#t~string144.base|) [2019-09-01 15:46:36,750 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:38,780 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) (+ |~#iio_const_attr_sampling_frequency_available~0.offset| 8))) [2019-09-01 15:46:38,796 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:40,850 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) |~#kxcjk1013_attributes~0.offset|) |#t~string144.base|) [2019-09-01 15:46:40,879 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:42,909 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) |~#iio_const_attr_in_accel_scale_available~0.offset|)) [2019-09-01 15:46:42,927 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:44,954 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) (+ |~#iio_const_attr_in_accel_scale_available~0.offset| 8))) [2019-09-01 15:46:44,998 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:47,025 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) (+ |~#kxcjk1013_attributes~0.offset| 8)) |#t~string144.base|) [2019-09-01 15:46:47,042 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:49,091 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attrs_group~0.base|) (+ |~#kxcjk1013_attrs_group~0.offset| 16)) |#t~string144.base|) [2019-09-01 15:46:49,118 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:51,150 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_info~0.base|) (+ |~#kxcjk1013_info~0.offset| 16))) [2019-09-01 15:46:51,167 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:53,196 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_channels~0.base|) (+ |~#kxcjk1013_channels~0.offset| 65)) |#t~string144.base|) [2019-09-01 15:46:53,221 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:55,275 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_channels~0.base| |#t~string144.base|) [2019-09-01 15:46:55,294 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:57,312 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |~#kxcjk1013_buffer_setup_ops~0.base|) [2019-09-01 15:46:57,325 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:46:59,338 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_info~0.base| |#t~string144.base|) [2019-09-01 15:46:59,357 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:01,394 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string357.base|) [2019-09-01 15:47:01,420 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:03,451 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_trigger_ops~0.base| |#t~string144.base|) [2019-09-01 15:47:03,470 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:05,486 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string374.base| |#t~string144.base|) [2019-09-01 15:47:05,509 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:07,519 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string378.base| |#t~string144.base|) [2019-09-01 15:47:07,547 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:09,592 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string395.base| |#t~string144.base|) [2019-09-01 15:47:09,610 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:11,645 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string406.base| |#t~string144.base|) [2019-09-01 15:47:11,731 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:13,747 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string411.base| |#t~string144.base|) [2019-09-01 15:47:13,781 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:15,817 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string414.base| |#t~string144.base|) [2019-09-01 15:47:15,870 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:17,888 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string417.base| |#t~string144.base|) [2019-09-01 15:47:17,955 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:19,972 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string418.base| |#t~string144.base|) [2019-09-01 15:47:20,011 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:22,053 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string419.base| |#t~string144.base|) [2019-09-01 15:47:22,120 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:24,149 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string420.base| |#t~string144.base|) [2019-09-01 15:47:24,178 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:26,225 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string424.base| |#t~string144.base|) [2019-09-01 15:47:26,243 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:28,273 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string435.base|) [2019-09-01 15:47:28,324 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:30,339 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string440.base|) [2019-09-01 15:47:30,400 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:32,441 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string443.base|) [2019-09-01 15:47:32,481 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:34,510 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string448.base|) [2019-09-01 15:47:34,530 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:36,563 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string466.base| |#t~string144.base|) [2019-09-01 15:47:36,590 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:38,647 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string468.base| |#t~string144.base|) [2019-09-01 15:47:38,674 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:40,721 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string492.base|) [2019-09-01 15:47:40,798 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:42,823 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 153)) |#t~string144.base|) [2019-09-01 15:47:42,845 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:44,864 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 97))) [2019-09-01 15:47:44,880 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:46,921 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 169)) |#t~string144.base|) [2019-09-01 15:47:47,015 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:49,053 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |~#kxcjk1013_driver~0.base|) [2019-09-01 15:47:49,083 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:51,110 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string144.base| |#t~string498.base|) [2019-09-01 15:47:51,175 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:53,208 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string152.base|) [2019-09-01 15:47:53,209 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:55,226 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string156.base|) [2019-09-01 15:47:55,246 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:57,286 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| |#t~string148.base|) [2019-09-01 15:47:57,303 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:47:59,319 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| |#t~string148.base|) [2019-09-01 15:47:59,341 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:01,356 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| |#t~string148.base|) [2019-09-01 15:48:01,379 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:03,399 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string168.base| |#t~string148.base|) [2019-09-01 15:48:03,403 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:05,418 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string169.base| |#t~string148.base|) [2019-09-01 15:48:05,435 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:07,475 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string170.base| |#t~string148.base|) [2019-09-01 15:48:07,487 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:09,500 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string174.base| |#t~string148.base|) [2019-09-01 15:48:09,506 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:11,546 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string179.base| |#t~string148.base|) [2019-09-01 15:48:11,558 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:13,591 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string183.base| |#t~string148.base|) [2019-09-01 15:48:13,596 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:15,615 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string188.base| |#t~string148.base|) [2019-09-01 15:48:15,627 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:17,677 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string192.base| |#t~string148.base|) [2019-09-01 15:48:17,683 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:19,704 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string197.base|) [2019-09-01 15:48:19,718 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:21,750 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string209.base| |#t~string148.base|) [2019-09-01 15:48:21,766 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:23,805 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string215.base| |#t~string148.base|) [2019-09-01 15:48:23,813 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:25,838 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string220.base| |#t~string148.base|) [2019-09-01 15:48:25,846 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:27,866 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string227.base| |#t~string148.base|) [2019-09-01 15:48:27,883 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:29,919 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string231.base|) [2019-09-01 15:48:29,924 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:31,958 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string235.base|) [2019-09-01 15:48:31,974 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:34,013 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string239.base|) [2019-09-01 15:48:34,035 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:36,059 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string247.base| |#t~string148.base|) [2019-09-01 15:48:36,080 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:38,118 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string251.base| |#t~string148.base|) [2019-09-01 15:48:38,132 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:40,163 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string255.base| |#t~string148.base|) [2019-09-01 15:48:40,180 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:42,222 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string259.base| |#t~string148.base|) [2019-09-01 15:48:42,238 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:44,282 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string276.base|) [2019-09-01 15:48:44,290 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:46,319 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string281.base|) [2019-09-01 15:48:46,348 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:48,380 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string291.base| |#t~string148.base|) [2019-09-01 15:48:48,385 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:50,424 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) |~#iio_const_attr_sampling_frequency_available~0.offset|) |#t~string148.base|) [2019-09-01 15:48:50,443 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:52,482 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_sampling_frequency_available~0.base|) (+ |~#iio_const_attr_sampling_frequency_available~0.offset| 8))) [2019-09-01 15:48:52,488 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:54,536 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) |~#kxcjk1013_attributes~0.offset|) |#t~string148.base|) [2019-09-01 15:48:54,545 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:56,600 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) |~#iio_const_attr_in_accel_scale_available~0.offset|)) [2019-09-01 15:48:56,608 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:48:58,634 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| (select (select |v_#memory_$Pointer$.base_470| |~#iio_const_attr_in_accel_scale_available~0.base|) (+ |~#iio_const_attr_in_accel_scale_available~0.offset| 8))) [2019-09-01 15:48:58,690 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:00,742 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attributes~0.base|) (+ |~#kxcjk1013_attributes~0.offset| 8)) |#t~string148.base|) [2019-09-01 15:49:00,765 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:02,785 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_attrs_group~0.base|) (+ |~#kxcjk1013_attrs_group~0.offset| 16)) |#t~string148.base|) [2019-09-01 15:49:02,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:04,854 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_info~0.base|) (+ |~#kxcjk1013_info~0.offset| 16))) [2019-09-01 15:49:04,869 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:06,889 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |v_#memory_$Pointer$.base_470| |~#kxcjk1013_channels~0.base|) (+ |~#kxcjk1013_channels~0.offset| 65)) |#t~string148.base|) [2019-09-01 15:49:06,907 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:08,915 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_channels~0.base| |#t~string148.base|) [2019-09-01 15:49:08,921 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:10,954 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |~#kxcjk1013_buffer_setup_ops~0.base|) [2019-09-01 15:49:10,960 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:12,976 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_info~0.base| |#t~string148.base|) [2019-09-01 15:49:12,982 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:15,014 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string357.base|) [2019-09-01 15:49:15,034 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:17,053 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |~#kxcjk1013_trigger_ops~0.base| |#t~string148.base|) [2019-09-01 15:49:17,082 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:19,128 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string374.base| |#t~string148.base|) [2019-09-01 15:49:19,148 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:21,165 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string378.base| |#t~string148.base|) [2019-09-01 15:49:21,185 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:23,228 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string395.base| |#t~string148.base|) [2019-09-01 15:49:23,244 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:25,260 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string406.base| |#t~string148.base|) [2019-09-01 15:49:25,283 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:27,321 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string411.base| |#t~string148.base|) [2019-09-01 15:49:27,357 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:29,400 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string414.base| |#t~string148.base|) [2019-09-01 15:49:29,435 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:31,445 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string417.base| |#t~string148.base|) [2019-09-01 15:49:31,525 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:33,581 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string418.base| |#t~string148.base|) [2019-09-01 15:49:33,638 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:35,666 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string419.base| |#t~string148.base|) [2019-09-01 15:49:35,693 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:37,726 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string420.base| |#t~string148.base|) [2019-09-01 15:49:37,779 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:39,810 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string424.base| |#t~string148.base|) [2019-09-01 15:49:39,852 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:41,884 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string435.base| |#t~string148.base|) [2019-09-01 15:49:41,932 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:43,964 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string440.base|) [2019-09-01 15:49:44,010 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:46,056 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string443.base|) [2019-09-01 15:49:46,089 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:48,108 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string448.base|) [2019-09-01 15:49:48,132 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:50,167 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string466.base| |#t~string148.base|) [2019-09-01 15:49:50,202 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:52,247 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string468.base| |#t~string148.base|) [2019-09-01 15:49:52,253 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:54,278 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string492.base|) [2019-09-01 15:49:54,320 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:56,348 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 153)) |#t~string148.base|) [2019-09-01 15:49:56,391 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:49:58,444 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 97))) [2019-09-01 15:49:58,495 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:50:00,549 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= (select (select |#memory_$Pointer$.base| |~#kxcjk1013_driver~0.base|) (+ |~#kxcjk1013_driver~0.offset| 169)) |#t~string148.base|) [2019-09-01 15:50:00,573 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:50:02,624 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |~#kxcjk1013_driver~0.base|) [2019-09-01 15:50:02,723 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:50:04,749 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string148.base| |#t~string498.base|) [2019-09-01 15:50:04,798 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:50:06,843 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string152.base| |#t~string156.base|) [2019-09-01 15:50:06,844 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:50:08,864 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string162.base| |#t~string152.base|) [2019-09-01 15:50:08,877 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:50:10,901 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string166.base| |#t~string152.base|) [2019-09-01 15:50:10,916 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-09-01 15:50:12,960 WARN L160 IndexEqualityManager]: solver failed to check if following equality is implied: (= |#t~string167.base| |#t~string152.base|) [2019-09-01 15:50:12,976 INFO L189 IndexEqualityManager]: detected not equals via solver