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-32bit-Automizer_Default.epf -i ../../../trunk/examples/svcomp/seq-mthreaded/rekcba_ctm.4.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-584d7b9 [2019-08-31 20:27:41,976 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-31 20:27:41,979 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-31 20:27:41,995 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-31 20:27:41,996 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-31 20:27:41,996 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-31 20:27:41,998 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-31 20:27:41,999 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-31 20:27:42,001 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-31 20:27:42,002 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-31 20:27:42,003 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2019-08-31 20:27:42,004 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-31 20:27:42,004 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-31 20:27:42,005 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-31 20:27:42,006 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-31 20:27:42,007 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-31 20:27:42,008 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-31 20:27:42,009 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-31 20:27:42,011 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-31 20:27:42,013 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-31 20:27:42,015 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-31 20:27:42,016 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-31 20:27:42,017 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-31 20:27:42,018 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-31 20:27:42,020 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-31 20:27:42,020 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-31 20:27:42,020 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-31 20:27:42,021 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-31 20:27:42,022 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-31 20:27:42,023 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-31 20:27:42,023 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-31 20:27:42,024 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-31 20:27:42,024 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-31 20:27:42,025 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-31 20:27:42,026 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-31 20:27:42,026 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-31 20:27:42,027 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-31 20:27:42,027 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-31 20:27:42,027 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-31 20:27:42,028 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-31 20:27:42,029 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-31 20:27:42,030 INFO L101 SettingsManager]: Beginning loading settings from /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf [2019-08-31 20:27:42,044 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-31 20:27:42,044 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-31 20:27:42,046 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-31 20:27:42,046 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-31 20:27:42,046 INFO L138 SettingsManager]: * Use SBE=true [2019-08-31 20:27:42,046 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-31 20:27:42,046 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-31 20:27:42,046 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-31 20:27:42,047 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-31 20:27:42,047 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-31 20:27:42,047 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-31 20:27:42,047 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-31 20:27:42,047 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-31 20:27:42,048 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-31 20:27:42,048 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-31 20:27:42,048 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-31 20:27:42,048 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-31 20:27:42,048 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-31 20:27:42,049 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-31 20:27:42,049 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-31 20:27:42,050 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-31 20:27:42,050 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-31 20:27:42,051 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-31 20:27:42,051 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-31 20:27:42,051 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-31 20:27:42,051 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-31 20:27:42,051 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-31 20:27:42,052 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-31 20:27:42,052 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-31 20:27:42,080 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-31 20:27:42,097 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-31 20:27:42,101 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-31 20:27:42,103 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-31 20:27:42,103 INFO L275 PluginConnector]: CDTParser initialized [2019-08-31 20:27:42,104 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/seq-mthreaded/rekcba_ctm.4.c [2019-08-31 20:27:42,160 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/0f2da2072/93408d6309e346cfb4b5bf77351db286/FLAGbc17e40c2 [2019-08-31 20:27:43,043 INFO L306 CDTParser]: Found 1 translation units. [2019-08-31 20:27:43,044 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/rekcba_ctm.4.c [2019-08-31 20:27:43,090 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/0f2da2072/93408d6309e346cfb4b5bf77351db286/FLAGbc17e40c2 [2019-08-31 20:27:43,493 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/0f2da2072/93408d6309e346cfb4b5bf77351db286 [2019-08-31 20:27:43,505 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-31 20:27:43,507 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-31 20:27:43,510 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-31 20:27:43,510 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-31 20:27:43,514 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-31 20:27:43,515 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.08 08:27:43" (1/1) ... [2019-08-31 20:27:43,518 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@5ef904b0 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:43, skipping insertion in model container [2019-08-31 20:27:43,519 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.08 08:27:43" (1/1) ... [2019-08-31 20:27:43,526 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-31 20:27:43,744 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-31 20:27:45,894 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-31 20:27:45,950 INFO L188 MainTranslator]: Completed pre-run [2019-08-31 20:27:47,158 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-31 20:27:47,318 INFO L192 MainTranslator]: Completed translation [2019-08-31 20:27:47,319 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:47 WrapperNode [2019-08-31 20:27:47,319 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-31 20:27:47,320 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-31 20:27:47,320 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-31 20:27:47,320 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-31 20:27:47,339 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:47" (1/1) ... [2019-08-31 20:27:47,339 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:47" (1/1) ... [2019-08-31 20:27:47,674 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:47" (1/1) ... [2019-08-31 20:27:47,675 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:47" (1/1) ... [2019-08-31 20:27:49,341 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:47" (1/1) ... [2019-08-31 20:27:49,414 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:47" (1/1) ... [2019-08-31 20:27:49,537 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:47" (1/1) ... [2019-08-31 20:27:49,690 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-31 20:27:49,690 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-31 20:27:49,691 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-31 20:27:49,691 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-31 20:27:49,692 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:27:47" (1/1) ... No working directory specified, using /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-31 20:27:49,774 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-31 20:27:49,774 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-31 20:27:49,774 INFO L138 BoogieDeclarations]: Found implementation of procedure assert [2019-08-31 20:27:49,774 INFO L138 BoogieDeclarations]: Found implementation of procedure calibrate [2019-08-31 20:27:49,775 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_set_nxtcolorsensor [2019-08-31 20:27:49,775 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_get_nxtcolorsensor_mode [2019-08-31 20:27:49,775 INFO L138 BoogieDeclarations]: Found implementation of procedure bg_nxtcolorsensor [2019-08-31 20:27:49,775 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_is_ENTER_button_pressed [2019-08-31 20:27:49,775 INFO L138 BoogieDeclarations]: Found implementation of procedure nxt_motor_set_speed [2019-08-31 20:27:49,775 INFO L138 BoogieDeclarations]: Found implementation of procedure nxt_motor_get_count [2019-08-31 20:27:49,776 INFO L138 BoogieDeclarations]: Found implementation of procedure nxt_motor_set_count [2019-08-31 20:27:49,776 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_get_nxtcolorsensor_light [2019-08-31 20:27:49,777 INFO L138 BoogieDeclarations]: Found implementation of procedure TerminateTask [2019-08-31 20:27:49,777 INFO L138 BoogieDeclarations]: Found implementation of procedure transition [2019-08-31 20:27:49,778 INFO L138 BoogieDeclarations]: Found implementation of procedure init [2019-08-31 20:27:49,778 INFO L138 BoogieDeclarations]: Found implementation of procedure move_motor [2019-08-31 20:27:49,779 INFO L138 BoogieDeclarations]: Found implementation of procedure Controller [2019-08-31 20:27:49,779 INFO L138 BoogieDeclarations]: Found implementation of procedure Reader [2019-08-31 20:27:49,779 INFO L138 BoogieDeclarations]: Found implementation of procedure Writer [2019-08-31 20:27:49,779 INFO L138 BoogieDeclarations]: Found implementation of procedure TapeMover [2019-08-31 20:27:49,780 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_Controller [2019-08-31 20:27:49,780 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperController [2019-08-31 20:27:49,780 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_TapeMover [2019-08-31 20:27:49,780 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperTapeMover [2019-08-31 20:27:49,780 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_Reader [2019-08-31 20:27:49,780 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperReader [2019-08-31 20:27:49,781 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_Writer [2019-08-31 20:27:49,781 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperWriter [2019-08-31 20:27:49,781 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_schedule_jobs [2019-08-31 20:27:49,782 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_init_globals [2019-08-31 20:27:49,782 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t0 [2019-08-31 20:27:49,782 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t1 [2019-08-31 20:27:49,782 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t2 [2019-08-31 20:27:49,782 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t3 [2019-08-31 20:27:49,783 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_assert_i0 [2019-08-31 20:27:49,783 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_check_assumptions [2019-08-31 20:27:49,783 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_user_init [2019-08-31 20:27:49,783 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_user_final [2019-08-31 20:27:49,783 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_check_assertions [2019-08-31 20:27:49,783 INFO L138 BoogieDeclarations]: Found implementation of procedure __main [2019-08-31 20:27:49,783 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-31 20:27:49,784 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_current_priority [2019-08-31 20:27:49,784 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_R_count [2019-08-31 20:27:49,784 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_R_speed [2019-08-31 20:27:49,784 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_W_count [2019-08-31 20:27:49,784 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_W_speed [2019-08-31 20:27:49,785 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_T_count [2019-08-31 20:27:49,785 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_T_speed [2019-08-31 20:27:49,785 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_nxtcolorsensor_data_mode [2019-08-31 20:27:49,785 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_nxtcolorsensor_mode [2019-08-31 20:27:49,785 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_input [2019-08-31 20:27:49,785 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_output [2019-08-31 20:27:49,785 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_dir [2019-08-31 20:27:49,786 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_need_to_read [2019-08-31 20:27:49,786 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_need_to_run_nxtbg [2019-08-31 20:27:49,786 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_threshold [2019-08-31 20:27:49,786 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_R_state [2019-08-31 20:27:49,786 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_W_state [2019-08-31 20:27:49,787 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_T_state [2019-08-31 20:27:49,787 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_Controller [2019-08-31 20:27:49,787 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_TapeMover [2019-08-31 20:27:49,787 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_Reader [2019-08-31 20:27:49,787 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_Writer [2019-08-31 20:27:49,787 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_current_priority [2019-08-31 20:27:49,787 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_R_count [2019-08-31 20:27:49,788 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_R_speed [2019-08-31 20:27:49,788 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_W_count [2019-08-31 20:27:49,788 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_W_speed [2019-08-31 20:27:49,788 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_T_count [2019-08-31 20:27:49,789 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_T_speed [2019-08-31 20:27:49,789 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_nxtcolorsensor_data_mode [2019-08-31 20:27:49,789 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_nxtcolorsensor_mode [2019-08-31 20:27:49,789 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_input [2019-08-31 20:27:49,789 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_output [2019-08-31 20:27:49,790 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_dir [2019-08-31 20:27:49,790 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_need_to_read [2019-08-31 20:27:49,790 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_need_to_run_nxtbg [2019-08-31 20:27:49,791 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_threshold [2019-08-31 20:27:49,791 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_R_state [2019-08-31 20:27:49,791 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_W_state [2019-08-31 20:27:49,791 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_T_state [2019-08-31 20:27:49,791 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_Controller [2019-08-31 20:27:49,792 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_TapeMover [2019-08-31 20:27:49,792 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_Reader [2019-08-31 20:27:49,792 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_Writer [2019-08-31 20:27:49,793 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_init_shared [2019-08-31 20:27:49,793 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-31 20:27:49,793 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_init_shared [2019-08-31 20:27:49,794 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_assert_i0 [2019-08-31 20:27:49,794 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t3 [2019-08-31 20:27:49,794 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t2 [2019-08-31 20:27:49,795 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t1 [2019-08-31 20:27:49,795 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t0 [2019-08-31 20:27:49,795 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_ushort [2019-08-31 20:27:49,795 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_bool [2019-08-31 20:27:49,795 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-31 20:27:49,795 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_char [2019-08-31 20:27:49,795 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_uchar [2019-08-31 20:27:49,796 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cpu_lock [2019-08-31 20:27:49,796 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cpu_unlock [2019-08-31 20:27:49,796 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assume [2019-08-31 20:27:49,796 INFO L130 BoogieDeclarations]: Found specification of procedure assert [2019-08-31 20:27:49,796 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_current_priority [2019-08-31 20:27:49,796 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_current_priority [2019-08-31 20:27:49,796 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_R_count [2019-08-31 20:27:49,797 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_R_count [2019-08-31 20:27:49,797 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_R_speed [2019-08-31 20:27:49,797 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_R_speed [2019-08-31 20:27:49,797 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_W_count [2019-08-31 20:27:49,797 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_W_count [2019-08-31 20:27:49,797 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_W_speed [2019-08-31 20:27:49,797 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_W_speed [2019-08-31 20:27:49,798 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_T_count [2019-08-31 20:27:49,798 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_T_count [2019-08-31 20:27:49,798 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_T_speed [2019-08-31 20:27:49,798 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_T_speed [2019-08-31 20:27:49,799 INFO L130 BoogieDeclarations]: Found specification of procedure calibrate [2019-08-31 20:27:49,799 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_nxtcolorsensor_data_mode [2019-08-31 20:27:49,799 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_nxtcolorsensor_data_mode [2019-08-31 20:27:49,800 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_nxtcolorsensor_mode [2019-08-31 20:27:49,800 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_nxtcolorsensor_mode [2019-08-31 20:27:49,800 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_set_nxtcolorsensor [2019-08-31 20:27:49,800 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_get_nxtcolorsensor_mode [2019-08-31 20:27:49,801 INFO L130 BoogieDeclarations]: Found specification of procedure bg_nxtcolorsensor [2019-08-31 20:27:49,801 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_is_ENTER_button_pressed [2019-08-31 20:27:49,801 INFO L130 BoogieDeclarations]: Found specification of procedure nxt_motor_set_speed [2019-08-31 20:27:49,802 INFO L130 BoogieDeclarations]: Found specification of procedure nxt_motor_get_count [2019-08-31 20:27:49,802 INFO L130 BoogieDeclarations]: Found specification of procedure nxt_motor_set_count [2019-08-31 20:27:49,802 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_get_nxtcolorsensor_light [2019-08-31 20:27:49,802 INFO L130 BoogieDeclarations]: Found specification of procedure TerminateTask [2019-08-31 20:27:49,803 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_input [2019-08-31 20:27:49,803 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_input [2019-08-31 20:27:49,803 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_output [2019-08-31 20:27:49,803 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_output [2019-08-31 20:27:49,803 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_dir [2019-08-31 20:27:49,804 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_dir [2019-08-31 20:27:49,804 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_need_to_read [2019-08-31 20:27:49,804 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_need_to_read [2019-08-31 20:27:49,804 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_need_to_run_nxtbg [2019-08-31 20:27:49,805 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_need_to_run_nxtbg [2019-08-31 20:27:49,808 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_threshold [2019-08-31 20:27:49,809 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_threshold [2019-08-31 20:27:49,809 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_R_state [2019-08-31 20:27:49,809 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_R_state [2019-08-31 20:27:49,812 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_W_state [2019-08-31 20:27:49,813 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_W_state [2019-08-31 20:27:49,813 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_T_state [2019-08-31 20:27:49,813 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_T_state [2019-08-31 20:27:49,813 INFO L130 BoogieDeclarations]: Found specification of procedure transition [2019-08-31 20:27:49,813 INFO L130 BoogieDeclarations]: Found specification of procedure init [2019-08-31 20:27:49,813 INFO L130 BoogieDeclarations]: Found specification of procedure move_motor [2019-08-31 20:27:49,813 INFO L130 BoogieDeclarations]: Found specification of procedure Controller [2019-08-31 20:27:49,813 INFO L130 BoogieDeclarations]: Found specification of procedure Reader [2019-08-31 20:27:49,814 INFO L130 BoogieDeclarations]: Found specification of procedure Writer [2019-08-31 20:27:49,814 INFO L130 BoogieDeclarations]: Found specification of procedure TapeMover [2019-08-31 20:27:49,814 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_Controller [2019-08-31 20:27:49,814 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_Controller [2019-08-31 20:27:49,815 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_Controller [2019-08-31 20:27:49,815 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperController [2019-08-31 20:27:49,815 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_TapeMover [2019-08-31 20:27:49,815 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_TapeMover [2019-08-31 20:27:49,816 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_TapeMover [2019-08-31 20:27:49,816 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperTapeMover [2019-08-31 20:27:49,816 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_Reader [2019-08-31 20:27:49,816 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_Reader [2019-08-31 20:27:49,816 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_Reader [2019-08-31 20:27:49,816 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperReader [2019-08-31 20:27:49,816 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_Writer [2019-08-31 20:27:49,817 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_Writer [2019-08-31 20:27:49,817 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_Writer [2019-08-31 20:27:49,817 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperWriter [2019-08-31 20:27:49,817 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_schedule_jobs [2019-08-31 20:27:49,817 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-08-31 20:27:49,817 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-08-31 20:27:49,817 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_init_globals [2019-08-31 20:27:49,817 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_check_assumptions [2019-08-31 20:27:49,817 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_user_init [2019-08-31 20:27:49,818 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_user_final [2019-08-31 20:27:49,818 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_check_assertions [2019-08-31 20:27:49,818 INFO L130 BoogieDeclarations]: Found specification of procedure __main [2019-08-31 20:27:49,818 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-31 20:27:49,818 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-31 20:27:49,818 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2019-08-31 20:27:49,818 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2019-08-31 20:27:49,818 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-31 20:27:49,819 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2019-08-31 20:33:25,618 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-31 20:33:25,618 INFO L283 CfgBuilder]: Removed 0 assume(true) statements. [2019-08-31 20:33:25,622 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.08 08:33:25 BoogieIcfgContainer [2019-08-31 20:33:25,622 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-31 20:33:25,623 INFO L113 PluginConnector]: ------------------------Sifa---------------------------- [2019-08-31 20:33:25,623 INFO L271 PluginConnector]: Initializing Sifa... [2019-08-31 20:33:25,623 INFO L275 PluginConnector]: Sifa initialized [2019-08-31 20:33:25,624 INFO L185 PluginConnector]: Executing the observer SifaObserver from plugin Sifa for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.08 08:33:25" (1/1) ... [2019-08-31 20:33:25,669 INFO L162 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-31 20:33:25,669 INFO L169 IcfgInterpreter]: Building call graph [2019-08-31 20:33:25,694 INFO L174 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-31 20:33:25,703 INFO L179 IcfgInterpreter]: Starting interpretation [2019-08-31 20:33:25,705 INFO L199 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 for LOIs [2019-08-31 20:33:26,090 INFO L392 ElimStorePlain]: Different costs {0=[|v_#length_60|], 6328=[|v_#valid_61|]} [2019-08-31 20:33:27,421 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:28,264 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:28,881 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:29,193 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:29,937 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:31,013 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:31,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:32,308 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:32,638 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:33,266 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:33,841 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:34,124 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:34,778 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:35,489 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:35,980 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:36,389 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:36,735 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:37,070 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:37,684 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:38,073 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:38,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:39,206 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:39,878 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:40,173 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:40,810 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:41,221 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:41,642 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:41,982 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:42,347 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:42,634 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:43,361 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:43,950 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:44,281 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:44,618 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:44,963 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:45,541 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:45,892 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:46,449 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:47,438 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:48,292 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:48,632 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:49,011 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:49,496 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:49,752 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:50,122 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:50,453 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:50,765 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:51,441 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:51,742 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:52,075 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:52,351 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:52,713 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:52,975 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:53,746 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:54,112 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:54,350 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:55,396 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:55,978 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:56,258 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:56,648 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:57,021 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:57,532 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:57,849 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:58,193 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:58,584 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:58,987 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:59,630 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:00,011 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:00,323 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:01,042 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:01,525 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:01,871 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:02,239 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:02,628 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:03,427 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:03,833 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:04,178 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:04,584 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:05,372 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:05,746 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:06,116 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:06,467 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:07,079 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:07,454 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:07,742 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:08,421 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:08,965 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:09,338 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:09,634 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:10,971 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:11,409 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:11,696 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:12,084 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:12,386 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:13,671 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:13,963 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:14,314 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:14,574 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:14,817 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:15,561 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:15,936 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:16,364 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:17,158 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:17,617 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:18,357 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:18,711 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:20,001 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:20,357 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:21,037 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:22,133 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:22,867 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:23,288 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:23,722 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:24,061 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:24,656 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:25,034 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:25,670 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:27,094 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:27,707 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:28,067 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:28,438 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:28,918 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:29,341 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:29,604 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:29,869 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:30,217 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:30,689 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:31,034 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:31,440 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:32,256 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:32,920 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:34,176 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:34,409 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:34,767 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:35,391 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:35,745 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:36,066 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:36,850 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:37,464 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:37,736 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:38,083 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:38,414 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:39,188 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:39,538 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:40,171 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:40,796 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:41,485 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:41,740 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:42,052 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:42,426 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:42,921 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:43,872 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:44,181 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:44,751 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:45,350 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:45,746 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:46,127 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:46,979 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:47,265 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:47,666 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:48,014 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:48,322 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:48,716 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:49,425 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:49,776 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:50,310 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:50,687 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:51,259 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:51,640 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:52,362 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:52,721 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:53,152 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:53,842 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:54,597 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:54,893 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:55,183 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:56,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:57,159 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:57,963 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:58,962 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:59,359 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:59,760 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:00,108 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:00,473 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:01,134 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:02,500 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:02,863 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:03,549 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:03,884 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:04,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:04,685 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:05,064 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:05,338 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:05,584 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:06,255 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:06,653 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:07,400 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:08,183 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:08,945 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:09,291 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:10,020 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:10,426 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:10,670 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:11,044 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:11,992 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:12,465 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:12,807 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:13,157 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:13,441 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:14,074 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:14,477 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:14,807 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:15,228 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:15,964 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:16,326 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:17,657 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:18,030 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:18,507 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:18,769 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:19,364 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:19,672 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:20,034 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:20,670 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:21,416 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:21,763 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:22,680 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:23,071 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:23,370 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:23,789 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:24,645 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:24,915 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:25,277 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:25,621 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:25,985 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:26,610 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:26,882 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:27,249 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:27,607 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:28,004 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:28,574 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:28,859 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:29,164 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:29,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:29,839 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:30,150 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:30,918 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:31,599 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:31,986 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:32,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:33,246 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:33,988 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:34,829 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:35,091 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:35,462 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:35,903 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:36,294 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:36,858 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:37,148 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:38,144 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:38,433 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:38,988 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:39,346 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:40,789 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:41,684 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:42,019 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:42,348 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:43,349 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:43,942 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:44,263 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:44,512 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:44,829 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:46,005 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:46,650 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:46,932 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:47,356 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:47,685 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:48,294 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:48,620 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:48,993 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:50,123 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:50,665 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:50,988 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:51,334 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:51,646 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:52,047 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:52,539 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:52,883 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:53,195 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:53,859 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:54,480 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:54,878 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:55,242 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:55,600 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:55,948 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:56,595 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:57,824 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:58,102 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:58,398 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:59,000 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:59,299 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:59,643 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:00,604 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:01,165 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:01,484 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:01,847 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:02,093 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:02,457 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:02,994 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:03,336 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:03,711 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:04,000 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:04,351 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:04,960 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:05,311 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:05,591 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:05,864 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:06,887 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:07,194 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:07,393 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:07,663 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:08,904 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:09,190 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:10,478 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:10,854 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:11,191 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:11,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:12,266 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:12,592 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:12,951 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:13,557 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:14,080 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:14,487 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:14,856 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:15,576 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:15,914 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:16,322 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:17,165 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:17,875 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:18,173 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:18,532 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:18,869 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:19,398 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:19,774 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:20,699 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:21,493 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:22,228 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:22,586 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:22,960 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:23,616 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:24,110 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:24,821 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:25,215 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:25,529 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:26,133 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:26,490 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:27,192 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:27,917 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:28,200 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:28,483 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:29,347 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:30,091 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:31,176 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:31,790 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:32,117 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:32,474 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:33,089 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:33,367 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:33,731 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:34,636 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:34,986 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:35,274 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:35,875 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:36,476 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:36,856 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:37,437 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:38,319 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:38,920 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:39,315 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:40,390 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:41,032 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:41,400 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:42,010 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:42,406 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:43,064 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:43,465 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:44,266 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:45,076 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:45,375 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:45,711 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:46,387 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:47,119 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:47,813 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:48,180 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:48,519 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:48,930 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:49,185 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:50,369 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:50,716 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:51,947 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:52,248 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:52,624 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:53,039 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:53,417 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:53,978 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:54,339 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:55,054 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:55,423 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:56,013 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:56,386 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:57,028 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:57,671 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:58,188 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:58,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:59,750 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:00,007 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:01,322 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:01,578 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:01,893 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:02,328 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:02,701 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:03,262 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:03,516 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:03,874 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:04,212 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:04,519 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:05,420 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:06,116 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:06,429 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:06,740 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:07,003 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:07,321 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:07,824 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:08,624 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:09,554 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:10,457 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:10,828 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:11,204 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:11,501 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:11,725 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:12,388 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:12,574 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:12,895 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:13,216 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:14,326 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:14,788 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:15,082 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:15,365 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:15,627 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:15,950 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:16,575 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:16,831 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:17,077 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:17,355 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:17,593 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:17,879 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:18,373 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:19,384 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:19,707 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:19,992 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:20,451 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:21,047 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:21,358 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:21,714 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:22,157 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:22,429 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:22,708 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:22,953 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:23,238 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:23,585 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:23,896 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:24,208 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:24,928 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:26,129 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:26,378 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:26,637 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:26,928 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:27,179 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:27,509 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:28,128 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:28,436 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:28,729 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:29,085 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:29,716 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:30,041 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:30,716 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:31,028 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:31,611 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:31,868 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:32,156 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:32,441 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:32,834 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:33,175 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:33,769 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:34,412 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:34,736 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:35,490 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:35,990 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:36,402 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:36,727 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:38,057 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:38,462 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:38,851 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:39,688 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:40,106 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:40,675 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:40,918 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:41,837 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:42,161 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:42,514 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:42,766 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:43,325 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:43,637 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:44,213 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:44,545 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:44,855 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:45,472 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:45,770 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:46,099 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:46,747 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:47,096 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:47,722 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:48,002 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:48,285 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:49,473 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:50,331 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:50,591 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:50,994 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:51,866 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:52,604 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:52,978 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:53,596 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:54,034 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:54,664 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:54,966 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:55,339 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:55,698 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:56,388 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:56,756 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:57,096 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:57,439 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:58,130 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:58,539 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:58,916 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:59,252 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:59,845 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:00,268 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:00,980 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:02,019 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:02,313 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:03,479 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:04,382 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:05,661 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:06,141 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:06,457 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:07,064 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:07,425 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:07,749 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:08,124 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:08,456 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:09,107 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:09,449 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:09,760 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:10,124 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:10,434 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:11,140 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:11,554 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:11,936 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:12,284 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:12,938 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:13,342 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:13,651 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:14,077 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:14,760 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:15,114 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:15,515 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:16,255 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:16,825 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:17,393 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:17,741 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:18,031 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:18,609 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:19,327 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:19,712 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:21,110 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:21,844 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:22,601 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:22,962 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:23,481 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:23,802 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:24,435 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:25,014 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:25,835 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:26,485 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:27,103 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:27,623 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:28,832 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:29,227 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:29,548 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:30,128 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:30,464 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:30,773 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:31,595 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:31,931 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:32,244 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:32,587 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:32,935 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:33,550 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:34,424 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:34,764 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:35,223 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:35,612 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:35,974 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:36,600 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:37,122 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:37,533 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:37,880 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:39,126 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:39,762 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:40,409 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:41,144 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:41,905 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:42,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:43,029 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:43,548 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:43,868 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:44,555 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:44,908 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:45,390 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:46,215 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:46,532 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:47,679 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:48,287 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:49,563 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:50,097 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:51,348 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:52,112 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:52,640 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:53,136 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:54,631 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:55,143 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:55,448 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:55,731 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:56,142 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:56,458 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:56,997 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:57,658 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:58,369 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:58,881 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:59,542 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:59,910 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:01,564 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:01,961 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:02,432 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:02,772 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:03,061 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:03,596 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:03,841 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:04,531 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:04,881 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:05,425 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:05,763 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:06,120 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:06,469 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:07,763 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:08,098 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:08,486 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:08,898 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:09,177 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:09,811 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:10,089 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:11,260 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:11,929 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:12,705 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:13,118 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:13,458 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:13,808 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:14,862 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:15,229 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:15,904 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:16,668 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:18,041 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:18,480 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:19,024 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:19,296 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:20,014 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:20,828 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:21,240 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:21,866 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:22,498 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:23,045 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:23,321 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:23,647 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:23,999 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:24,715 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:25,420 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:26,097 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:26,772 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:27,418 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:27,732 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:28,382 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:29,051 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:29,374 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:30,073 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:30,369 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:31,006 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:31,929 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:32,184 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:32,946 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:33,321 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:34,272 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:34,609 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:35,009 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:36,408 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:36,978 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:37,347 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:38,010 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:38,869 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:39,240 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:39,620 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:40,303 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:40,906 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:41,758 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:43,057 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:43,431 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:44,139 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:44,490 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:44,896 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:45,784 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:46,081 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:47,324 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:47,663 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:48,297 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:48,652 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:49,008 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:49,403 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:50,708 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:51,035 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:51,433 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:52,423 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:52,726 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:54,074 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:54,441 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:55,100 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:55,445 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:56,127 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:56,651 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:57,750 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:58,516 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:59,186 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:59,592 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:00,480 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:01,797 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:02,166 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:02,520 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:03,983 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:04,568 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:04,825 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:05,246 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:05,927 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:06,274 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:06,633 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:07,583 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:08,133 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:08,374 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:08,617 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:08,967 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:09,715 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:10,260 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:10,551 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:10,836 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:11,115 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:11,404 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:12,082 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:12,724 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:13,103 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:13,691 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:14,006 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:14,306 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:14,644 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:14,978 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:15,510 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:15,824 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:16,146 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:16,433 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:16,701 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:17,067 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:17,574 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:18,683 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:18,966 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:19,306 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:19,785 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:20,353 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:20,710 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:21,003 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:21,668 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:22,374 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:23,660 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:23,908 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:24,218 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:24,568 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:25,402 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:25,892 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:26,220 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:26,593 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:26,966 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:28,468 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:28,806 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:29,139 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:29,421 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:29,690 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:30,235 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:30,499 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:30,837 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:31,080 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:31,369 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:31,732 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:32,271 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:32,576 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:33,437 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:33,794 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:34,094 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:34,491 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:35,238 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:35,531 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:35,784 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:36,125 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:36,644 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:37,066 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:37,762 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:38,130 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:38,631 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:38,952 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:39,258 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:39,588 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:39,996 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:40,672 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:41,027 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:41,339 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:42,605 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:43,101 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:43,502 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:43,896 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:44,270 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:44,947 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:45,346 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:45,785 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:46,751 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:47,369 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:47,644 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:47,943 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:48,257 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:48,598 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:49,218 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:49,603 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:49,999 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:50,315 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:50,641 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:51,235 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:51,478 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:51,734 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:52,081 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:52,413 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:52,932 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:53,265 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:54,068 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:55,551 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:55,880 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:56,504 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:56,846 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:57,614 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:57,924 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:58,262 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:59,142 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:59,472 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:59,786 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:00,855 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:01,401 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:01,669 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:02,022 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:02,420 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:02,716 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:03,285 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:03,530 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:03,892 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:04,203 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:04,523 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:05,089 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:05,794 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:06,149 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:06,464 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:06,879 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:07,226 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:07,471 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:07,782 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:08,110 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:08,892 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:09,178 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:09,530 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:09,775 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:10,096 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:10,591 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:10,881 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:11,147 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:11,801 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:12,456 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:12,798 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:13,004 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:13,806 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:14,190 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:14,520 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:15,009 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:16,178 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:16,521 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:16,793 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:17,381 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:17,739 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:18,085 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:18,456 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:19,086 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:19,800 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:20,173 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:20,928 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:21,684 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:22,057 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:22,679 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:22,999 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:23,371 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:24,258 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:24,531 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:25,098 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:25,383 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:25,701 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:26,004 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:26,364 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:26,985 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:27,324 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:27,700 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:28,444 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:28,909 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:29,894 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:30,267 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:30,973 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:32,012 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:32,619 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:33,113 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:33,399 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:34,501 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:34,784 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:35,320 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:35,746 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:36,006 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:36,394 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:36,692 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:37,166 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:38,251 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:38,654 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:38,933 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:39,853 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:40,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:41,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:42,838 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:43,187 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:43,457 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:43,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:44,094 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:44,620 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:44,999 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:45,289 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:45,587 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:45,939 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:46,425 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:46,741 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:47,139 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:47,494 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:47,880 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:48,456 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:49,511 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:50,224 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:50,779 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:51,078 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:52,234 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:52,475 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:52,710 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:52,934 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:53,414 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:53,774 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:54,305 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:54,538 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:54,784 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:55,144 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:55,656 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:55,934 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:56,219 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:56,506 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:56,752 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:58,262 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:58,574 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:58,849 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:59,184 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:59,533 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:00,096 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:00,715 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:01,056 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:01,365 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:01,644 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:02,128 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:03,256 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:03,607 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:04,549 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:04,899 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:05,241 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:05,606 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:05,978 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:06,804 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:07,102 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:07,500 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:07,812 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:42:08,171 INFO L189 IndexEqualityManager]: detected not equals via solver