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.3-1.c -------------------------------------------------------------------------------- This is Ultimate 0.1.24-584d7b9 [2019-08-31 20:26:35,051 INFO L177 SettingsManager]: Resetting all preferences to default values... [2019-08-31 20:26:35,053 INFO L181 SettingsManager]: Resetting UltimateCore preferences to default values [2019-08-31 20:26:35,065 INFO L184 SettingsManager]: Ultimate Commandline Interface provides no preferences, ignoring... [2019-08-31 20:26:35,066 INFO L181 SettingsManager]: Resetting Boogie Preprocessor preferences to default values [2019-08-31 20:26:35,067 INFO L181 SettingsManager]: Resetting Boogie Procedure Inliner preferences to default values [2019-08-31 20:26:35,068 INFO L181 SettingsManager]: Resetting Abstract Interpretation preferences to default values [2019-08-31 20:26:35,070 INFO L181 SettingsManager]: Resetting LassoRanker preferences to default values [2019-08-31 20:26:35,071 INFO L181 SettingsManager]: Resetting Reaching Definitions preferences to default values [2019-08-31 20:26:35,072 INFO L181 SettingsManager]: Resetting SyntaxChecker preferences to default values [2019-08-31 20:26:35,073 INFO L181 SettingsManager]: Resetting Sifa preferences to default values [2019-08-31 20:26:35,074 INFO L184 SettingsManager]: Büchi Program Product provides no preferences, ignoring... [2019-08-31 20:26:35,075 INFO L181 SettingsManager]: Resetting LTL2Aut preferences to default values [2019-08-31 20:26:35,076 INFO L181 SettingsManager]: Resetting PEA to Boogie preferences to default values [2019-08-31 20:26:35,077 INFO L181 SettingsManager]: Resetting BlockEncodingV2 preferences to default values [2019-08-31 20:26:35,078 INFO L181 SettingsManager]: Resetting ChcToBoogie preferences to default values [2019-08-31 20:26:35,079 INFO L181 SettingsManager]: Resetting AutomataScriptInterpreter preferences to default values [2019-08-31 20:26:35,080 INFO L181 SettingsManager]: Resetting BuchiAutomizer preferences to default values [2019-08-31 20:26:35,081 INFO L181 SettingsManager]: Resetting CACSL2BoogieTranslator preferences to default values [2019-08-31 20:26:35,084 INFO L181 SettingsManager]: Resetting CodeCheck preferences to default values [2019-08-31 20:26:35,085 INFO L181 SettingsManager]: Resetting InvariantSynthesis preferences to default values [2019-08-31 20:26:35,086 INFO L181 SettingsManager]: Resetting RCFGBuilder preferences to default values [2019-08-31 20:26:35,088 INFO L181 SettingsManager]: Resetting Referee preferences to default values [2019-08-31 20:26:35,088 INFO L181 SettingsManager]: Resetting TraceAbstraction preferences to default values [2019-08-31 20:26:35,091 INFO L184 SettingsManager]: TraceAbstractionConcurrent provides no preferences, ignoring... [2019-08-31 20:26:35,092 INFO L184 SettingsManager]: TraceAbstractionWithAFAs provides no preferences, ignoring... [2019-08-31 20:26:35,092 INFO L181 SettingsManager]: Resetting TreeAutomizer preferences to default values [2019-08-31 20:26:35,093 INFO L181 SettingsManager]: Resetting IcfgToChc preferences to default values [2019-08-31 20:26:35,093 INFO L181 SettingsManager]: Resetting IcfgTransformer preferences to default values [2019-08-31 20:26:35,095 INFO L184 SettingsManager]: ReqToTest provides no preferences, ignoring... [2019-08-31 20:26:35,095 INFO L181 SettingsManager]: Resetting Boogie Printer preferences to default values [2019-08-31 20:26:35,096 INFO L181 SettingsManager]: Resetting ChcSmtPrinter preferences to default values [2019-08-31 20:26:35,097 INFO L181 SettingsManager]: Resetting ReqPrinter preferences to default values [2019-08-31 20:26:35,097 INFO L181 SettingsManager]: Resetting Witness Printer preferences to default values [2019-08-31 20:26:35,098 INFO L184 SettingsManager]: Boogie PL CUP Parser provides no preferences, ignoring... [2019-08-31 20:26:35,099 INFO L181 SettingsManager]: Resetting CDTParser preferences to default values [2019-08-31 20:26:35,099 INFO L184 SettingsManager]: AutomataScriptParser provides no preferences, ignoring... [2019-08-31 20:26:35,100 INFO L184 SettingsManager]: ReqParser provides no preferences, ignoring... [2019-08-31 20:26:35,100 INFO L181 SettingsManager]: Resetting SmtParser preferences to default values [2019-08-31 20:26:35,101 INFO L181 SettingsManager]: Resetting Witness Parser preferences to default values [2019-08-31 20:26:35,102 INFO L188 SettingsManager]: Finished resetting all preferences to default values... [2019-08-31 20:26:35,102 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:26:35,118 INFO L113 SettingsManager]: Loading preferences was successful [2019-08-31 20:26:35,118 INFO L115 SettingsManager]: Preferences different from defaults after loading the file: [2019-08-31 20:26:35,119 INFO L136 SettingsManager]: Preferences of BlockEncodingV2 differ from their defaults: [2019-08-31 20:26:35,119 INFO L138 SettingsManager]: * Create parallel compositions if possible=false [2019-08-31 20:26:35,120 INFO L138 SettingsManager]: * Use SBE=true [2019-08-31 20:26:35,120 INFO L136 SettingsManager]: Preferences of CACSL2BoogieTranslator differ from their defaults: [2019-08-31 20:26:35,120 INFO L138 SettingsManager]: * sizeof long=4 [2019-08-31 20:26:35,120 INFO L138 SettingsManager]: * Overapproximate operations on floating types=true [2019-08-31 20:26:35,120 INFO L138 SettingsManager]: * sizeof POINTER=4 [2019-08-31 20:26:35,121 INFO L138 SettingsManager]: * Check division by zero=IGNORE [2019-08-31 20:26:35,121 INFO L138 SettingsManager]: * Pointer to allocated memory at dereference=IGNORE [2019-08-31 20:26:35,121 INFO L138 SettingsManager]: * If two pointers are subtracted or compared they have the same base address=IGNORE [2019-08-31 20:26:35,121 INFO L138 SettingsManager]: * Check array bounds for arrays that are off heap=IGNORE [2019-08-31 20:26:35,121 INFO L138 SettingsManager]: * sizeof long double=12 [2019-08-31 20:26:35,122 INFO L138 SettingsManager]: * Check if freed pointer was valid=false [2019-08-31 20:26:35,122 INFO L138 SettingsManager]: * Use constant arrays=true [2019-08-31 20:26:35,122 INFO L138 SettingsManager]: * Pointer base address is valid at dereference=IGNORE [2019-08-31 20:26:35,122 INFO L136 SettingsManager]: Preferences of RCFGBuilder differ from their defaults: [2019-08-31 20:26:35,122 INFO L138 SettingsManager]: * Size of a code block=SequenceOfStatements [2019-08-31 20:26:35,123 INFO L138 SettingsManager]: * To the following directory=./dump/ [2019-08-31 20:26:35,123 INFO L138 SettingsManager]: * SMT solver=External_DefaultMode [2019-08-31 20:26:35,123 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-31 20:26:35,123 INFO L136 SettingsManager]: Preferences of TraceAbstraction differ from their defaults: [2019-08-31 20:26:35,123 INFO L138 SettingsManager]: * Compute Interpolants along a Counterexample=FPandBP [2019-08-31 20:26:35,124 INFO L138 SettingsManager]: * Positions where we compute the Hoare Annotation=LoopsAndPotentialCycles [2019-08-31 20:26:35,124 INFO L138 SettingsManager]: * Trace refinement strategy=CAMEL [2019-08-31 20:26:35,124 INFO L138 SettingsManager]: * SMT solver=External_ModelsAndUnsatCoreMode [2019-08-31 20:26:35,124 INFO L138 SettingsManager]: * Command for external solver=z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in [2019-08-31 20:26:35,124 INFO L138 SettingsManager]: * Compute Hoare Annotation of negated interpolant automaton, abstraction and CFG=true [2019-08-31 20:26:35,153 INFO L81 nceAwareModelManager]: Repository-Root is: /tmp [2019-08-31 20:26:35,165 INFO L258 ainManager$Toolchain]: [Toolchain 1]: Applicable parser(s) successfully (re)initialized [2019-08-31 20:26:35,171 INFO L214 ainManager$Toolchain]: [Toolchain 1]: Toolchain selected. [2019-08-31 20:26:35,172 INFO L271 PluginConnector]: Initializing CDTParser... [2019-08-31 20:26:35,173 INFO L275 PluginConnector]: CDTParser initialized [2019-08-31 20:26:35,174 INFO L428 ainManager$Toolchain]: [Toolchain 1]: Parsing single file: /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/../../../trunk/examples/svcomp/seq-mthreaded/rekcba_ctm.3-1.c [2019-08-31 20:26:35,247 INFO L220 CDTParser]: Created temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/ceed6a719/0aed57d87c2d441cab78bf3cf63c89f3/FLAG9a1e1d939 [2019-08-31 20:26:36,049 INFO L306 CDTParser]: Found 1 translation units. [2019-08-31 20:26:36,051 INFO L160 CDTParser]: Scanning /storage/repos/ultimate/trunk/examples/svcomp/seq-mthreaded/rekcba_ctm.3-1.c [2019-08-31 20:26:36,101 INFO L349 CDTParser]: About to delete temporary CDT project at /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/ceed6a719/0aed57d87c2d441cab78bf3cf63c89f3/FLAG9a1e1d939 [2019-08-31 20:26:36,529 INFO L357 CDTParser]: Successfully deleted /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/data/ceed6a719/0aed57d87c2d441cab78bf3cf63c89f3 [2019-08-31 20:26:36,538 INFO L296 ainManager$Toolchain]: ####################### [Toolchain 1] ####################### [2019-08-31 20:26:36,540 INFO L131 ToolchainWalker]: Walking toolchain with 4 elements. [2019-08-31 20:26:36,541 INFO L113 PluginConnector]: ------------------------CACSL2BoogieTranslator---------------------------- [2019-08-31 20:26:36,541 INFO L271 PluginConnector]: Initializing CACSL2BoogieTranslator... [2019-08-31 20:26:36,545 INFO L275 PluginConnector]: CACSL2BoogieTranslator initialized [2019-08-31 20:26:36,546 INFO L185 PluginConnector]: Executing the observer ACSLObjectContainerObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.08 08:26:36" (1/1) ... [2019-08-31 20:26:36,549 INFO L205 PluginConnector]: Invalid model from CACSL2BoogieTranslator for observer de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator.ACSLObjectContainerObserver@756ebd99 and model type de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:36, skipping insertion in model container [2019-08-31 20:26:36,549 INFO L185 PluginConnector]: Executing the observer CACSL2BoogieTranslatorObserver from plugin CACSL2BoogieTranslator for "CDTParser AST 31.08 08:26:36" (1/1) ... [2019-08-31 20:26:36,556 INFO L142 MainTranslator]: Starting translation in SV-COMP mode [2019-08-31 20:26:36,737 INFO L173 MainTranslator]: Built tables and reachable declarations [2019-08-31 20:26:38,449 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-31 20:26:38,508 INFO L188 MainTranslator]: Completed pre-run [2019-08-31 20:26:39,327 INFO L206 PostProcessor]: Analyzing one entry point: main [2019-08-31 20:26:39,479 INFO L192 MainTranslator]: Completed translation [2019-08-31 20:26:39,480 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:39 WrapperNode [2019-08-31 20:26:39,480 INFO L132 PluginConnector]: ------------------------ END CACSL2BoogieTranslator---------------------------- [2019-08-31 20:26:39,481 INFO L113 PluginConnector]: ------------------------Boogie Preprocessor---------------------------- [2019-08-31 20:26:39,482 INFO L271 PluginConnector]: Initializing Boogie Preprocessor... [2019-08-31 20:26:39,482 INFO L275 PluginConnector]: Boogie Preprocessor initialized [2019-08-31 20:26:39,498 INFO L185 PluginConnector]: Executing the observer EnsureBoogieModelObserver from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:39" (1/1) ... [2019-08-31 20:26:39,498 INFO L185 PluginConnector]: Executing the observer TypeChecker from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:39" (1/1) ... [2019-08-31 20:26:39,705 INFO L185 PluginConnector]: Executing the observer ConstExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:39" (1/1) ... [2019-08-31 20:26:39,706 INFO L185 PluginConnector]: Executing the observer StructExpander from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:39" (1/1) ... [2019-08-31 20:26:40,301 INFO L185 PluginConnector]: Executing the observer UnstructureCode from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:39" (1/1) ... [2019-08-31 20:26:40,371 INFO L185 PluginConnector]: Executing the observer FunctionInliner from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:39" (1/1) ... [2019-08-31 20:26:40,483 INFO L185 PluginConnector]: Executing the observer BoogieSymbolTableConstructor from plugin Boogie Preprocessor for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:39" (1/1) ... [2019-08-31 20:26:40,611 INFO L132 PluginConnector]: ------------------------ END Boogie Preprocessor---------------------------- [2019-08-31 20:26:40,612 INFO L113 PluginConnector]: ------------------------RCFGBuilder---------------------------- [2019-08-31 20:26:40,612 INFO L271 PluginConnector]: Initializing RCFGBuilder... [2019-08-31 20:26:40,612 INFO L275 PluginConnector]: RCFGBuilder initialized [2019-08-31 20:26:40,613 INFO L185 PluginConnector]: Executing the observer RCFGBuilderObserver from plugin RCFGBuilder for "de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator AST 31.08 08:26:39" (1/1) ... No working directory specified, using /storage/repos/ultimate/releaseScripts/default/UAutomizer-linux/z3 Starting monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 (exit command is (exit), workingDir is null) Waiting until toolchain timeout for monitored process 1 with z3 SMTLIB2_COMPLIANT=true -memory:2024 -smt2 -in -t:2000 [2019-08-31 20:26:40,691 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.init [2019-08-31 20:26:40,691 INFO L138 BoogieDeclarations]: Found implementation of procedure ULTIMATE.start [2019-08-31 20:26:40,691 INFO L138 BoogieDeclarations]: Found implementation of procedure assert [2019-08-31 20:26:40,692 INFO L138 BoogieDeclarations]: Found implementation of procedure calibrate [2019-08-31 20:26:40,692 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_set_nxtcolorsensor [2019-08-31 20:26:40,692 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_get_nxtcolorsensor_mode [2019-08-31 20:26:40,692 INFO L138 BoogieDeclarations]: Found implementation of procedure bg_nxtcolorsensor [2019-08-31 20:26:40,692 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_is_ENTER_button_pressed [2019-08-31 20:26:40,693 INFO L138 BoogieDeclarations]: Found implementation of procedure nxt_motor_set_speed [2019-08-31 20:26:40,693 INFO L138 BoogieDeclarations]: Found implementation of procedure nxt_motor_get_count [2019-08-31 20:26:40,693 INFO L138 BoogieDeclarations]: Found implementation of procedure nxt_motor_set_count [2019-08-31 20:26:40,694 INFO L138 BoogieDeclarations]: Found implementation of procedure ecrobot_get_nxtcolorsensor_light [2019-08-31 20:26:40,694 INFO L138 BoogieDeclarations]: Found implementation of procedure TerminateTask [2019-08-31 20:26:40,694 INFO L138 BoogieDeclarations]: Found implementation of procedure transition [2019-08-31 20:26:40,695 INFO L138 BoogieDeclarations]: Found implementation of procedure init [2019-08-31 20:26:40,695 INFO L138 BoogieDeclarations]: Found implementation of procedure move_motor [2019-08-31 20:26:40,696 INFO L138 BoogieDeclarations]: Found implementation of procedure Controller [2019-08-31 20:26:40,697 INFO L138 BoogieDeclarations]: Found implementation of procedure Reader [2019-08-31 20:26:40,697 INFO L138 BoogieDeclarations]: Found implementation of procedure Writer [2019-08-31 20:26:40,697 INFO L138 BoogieDeclarations]: Found implementation of procedure TapeMover [2019-08-31 20:26:40,697 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_Controller [2019-08-31 20:26:40,697 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperController [2019-08-31 20:26:40,698 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_TapeMover [2019-08-31 20:26:40,698 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperTapeMover [2019-08-31 20:26:40,698 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_Reader [2019-08-31 20:26:40,698 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperReader [2019-08-31 20:26:40,699 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_entry_pt_Writer [2019-08-31 20:26:40,699 INFO L138 BoogieDeclarations]: Found implementation of procedure cil_keeperWriter [2019-08-31 20:26:40,699 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_schedule_jobs [2019-08-31 20:26:40,699 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_init_globals [2019-08-31 20:26:40,699 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t0 [2019-08-31 20:26:40,700 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t1 [2019-08-31 20:26:40,700 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t2 [2019-08-31 20:26:40,700 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_cs_t3 [2019-08-31 20:26:40,700 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_assert_i0 [2019-08-31 20:26:40,700 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_check_assumptions [2019-08-31 20:26:40,700 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_user_init [2019-08-31 20:26:40,701 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_user_final [2019-08-31 20:26:40,701 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_check_assertions [2019-08-31 20:26:40,701 INFO L138 BoogieDeclarations]: Found implementation of procedure __main [2019-08-31 20:26:40,701 INFO L138 BoogieDeclarations]: Found implementation of procedure main [2019-08-31 20:26:40,701 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_current_priority [2019-08-31 20:26:40,701 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_R_count [2019-08-31 20:26:40,701 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_R_speed [2019-08-31 20:26:40,702 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_W_count [2019-08-31 20:26:40,702 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_W_speed [2019-08-31 20:26:40,702 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_T_count [2019-08-31 20:26:40,702 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_T_speed [2019-08-31 20:26:40,702 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_nxtcolorsensor_data_mode [2019-08-31 20:26:40,702 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_nxtcolorsensor_mode [2019-08-31 20:26:40,703 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_input [2019-08-31 20:26:40,703 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_output [2019-08-31 20:26:40,703 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_dir [2019-08-31 20:26:40,703 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_need_to_read [2019-08-31 20:26:40,703 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_need_to_run_nxtbg [2019-08-31 20:26:40,703 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_threshold [2019-08-31 20:26:40,703 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_R_state [2019-08-31 20:26:40,704 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_W_state [2019-08-31 20:26:40,704 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read_T_state [2019-08-31 20:26:40,704 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_Controller [2019-08-31 20:26:40,704 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_TapeMover [2019-08-31 20:26:40,705 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_Reader [2019-08-31 20:26:40,705 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_read___startrek_job_count_Writer [2019-08-31 20:26:40,705 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_current_priority [2019-08-31 20:26:40,705 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_R_count [2019-08-31 20:26:40,706 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_R_speed [2019-08-31 20:26:40,706 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_W_count [2019-08-31 20:26:40,706 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_W_speed [2019-08-31 20:26:40,706 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_T_count [2019-08-31 20:26:40,706 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_T_speed [2019-08-31 20:26:40,706 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_nxtcolorsensor_data_mode [2019-08-31 20:26:40,707 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_nxtcolorsensor_mode [2019-08-31 20:26:40,707 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_input [2019-08-31 20:26:40,707 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_output [2019-08-31 20:26:40,708 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_dir [2019-08-31 20:26:40,708 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_need_to_read [2019-08-31 20:26:40,708 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_need_to_run_nxtbg [2019-08-31 20:26:40,708 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_threshold [2019-08-31 20:26:40,708 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_R_state [2019-08-31 20:26:40,708 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_W_state [2019-08-31 20:26:40,709 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write_T_state [2019-08-31 20:26:40,709 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_Controller [2019-08-31 20:26:40,709 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_TapeMover [2019-08-31 20:26:40,710 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_Reader [2019-08-31 20:26:40,710 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_write___startrek_job_count_Writer [2019-08-31 20:26:40,710 INFO L138 BoogieDeclarations]: Found implementation of procedure __startrek_init_shared [2019-08-31 20:26:40,710 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_error [2019-08-31 20:26:40,711 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_init_shared [2019-08-31 20:26:40,711 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_assert_i0 [2019-08-31 20:26:40,711 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t3 [2019-08-31 20:26:40,711 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t2 [2019-08-31 20:26:40,712 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t1 [2019-08-31 20:26:40,712 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cs_t0 [2019-08-31 20:26:40,712 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_ushort [2019-08-31 20:26:40,712 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_bool [2019-08-31 20:26:40,712 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_int [2019-08-31 20:26:40,713 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_char [2019-08-31 20:26:40,713 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_nondet_uchar [2019-08-31 20:26:40,713 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cpu_lock [2019-08-31 20:26:40,713 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_cpu_unlock [2019-08-31 20:26:40,713 INFO L130 BoogieDeclarations]: Found specification of procedure __VERIFIER_assume [2019-08-31 20:26:40,713 INFO L130 BoogieDeclarations]: Found specification of procedure assert [2019-08-31 20:26:40,713 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_current_priority [2019-08-31 20:26:40,714 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_current_priority [2019-08-31 20:26:40,714 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_R_count [2019-08-31 20:26:40,714 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_R_count [2019-08-31 20:26:40,714 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_R_speed [2019-08-31 20:26:40,714 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_R_speed [2019-08-31 20:26:40,714 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_W_count [2019-08-31 20:26:40,714 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_W_count [2019-08-31 20:26:40,715 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_W_speed [2019-08-31 20:26:40,715 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_W_speed [2019-08-31 20:26:40,715 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_T_count [2019-08-31 20:26:40,715 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_T_count [2019-08-31 20:26:40,715 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_T_speed [2019-08-31 20:26:40,715 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_T_speed [2019-08-31 20:26:40,716 INFO L130 BoogieDeclarations]: Found specification of procedure calibrate [2019-08-31 20:26:40,716 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_nxtcolorsensor_data_mode [2019-08-31 20:26:40,716 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_nxtcolorsensor_data_mode [2019-08-31 20:26:40,717 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_nxtcolorsensor_mode [2019-08-31 20:26:40,717 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_nxtcolorsensor_mode [2019-08-31 20:26:40,718 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_set_nxtcolorsensor [2019-08-31 20:26:40,718 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_get_nxtcolorsensor_mode [2019-08-31 20:26:40,718 INFO L130 BoogieDeclarations]: Found specification of procedure bg_nxtcolorsensor [2019-08-31 20:26:40,719 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_is_ENTER_button_pressed [2019-08-31 20:26:40,719 INFO L130 BoogieDeclarations]: Found specification of procedure nxt_motor_set_speed [2019-08-31 20:26:40,720 INFO L130 BoogieDeclarations]: Found specification of procedure nxt_motor_get_count [2019-08-31 20:26:40,720 INFO L130 BoogieDeclarations]: Found specification of procedure nxt_motor_set_count [2019-08-31 20:26:40,720 INFO L130 BoogieDeclarations]: Found specification of procedure ecrobot_get_nxtcolorsensor_light [2019-08-31 20:26:40,720 INFO L130 BoogieDeclarations]: Found specification of procedure TerminateTask [2019-08-31 20:26:40,720 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_input [2019-08-31 20:26:40,721 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_input [2019-08-31 20:26:40,721 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_output [2019-08-31 20:26:40,721 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_output [2019-08-31 20:26:40,721 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_dir [2019-08-31 20:26:40,721 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_dir [2019-08-31 20:26:40,721 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_need_to_read [2019-08-31 20:26:40,722 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_need_to_read [2019-08-31 20:26:40,722 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_need_to_run_nxtbg [2019-08-31 20:26:40,723 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_need_to_run_nxtbg [2019-08-31 20:26:40,726 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_threshold [2019-08-31 20:26:40,726 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_threshold [2019-08-31 20:26:40,727 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_R_state [2019-08-31 20:26:40,727 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_R_state [2019-08-31 20:26:40,733 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_W_state [2019-08-31 20:26:40,733 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_W_state [2019-08-31 20:26:40,733 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read_T_state [2019-08-31 20:26:40,733 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write_T_state [2019-08-31 20:26:40,733 INFO L130 BoogieDeclarations]: Found specification of procedure transition [2019-08-31 20:26:40,733 INFO L130 BoogieDeclarations]: Found specification of procedure init [2019-08-31 20:26:40,734 INFO L130 BoogieDeclarations]: Found specification of procedure move_motor [2019-08-31 20:26:40,734 INFO L130 BoogieDeclarations]: Found specification of procedure Controller [2019-08-31 20:26:40,734 INFO L130 BoogieDeclarations]: Found specification of procedure Reader [2019-08-31 20:26:40,734 INFO L130 BoogieDeclarations]: Found specification of procedure Writer [2019-08-31 20:26:40,734 INFO L130 BoogieDeclarations]: Found specification of procedure TapeMover [2019-08-31 20:26:40,734 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_Controller [2019-08-31 20:26:40,735 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_Controller [2019-08-31 20:26:40,735 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_Controller [2019-08-31 20:26:40,735 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperController [2019-08-31 20:26:40,736 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_TapeMover [2019-08-31 20:26:40,736 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_TapeMover [2019-08-31 20:26:40,736 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_TapeMover [2019-08-31 20:26:40,736 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperTapeMover [2019-08-31 20:26:40,736 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_Reader [2019-08-31 20:26:40,737 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_Reader [2019-08-31 20:26:40,737 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_Reader [2019-08-31 20:26:40,737 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperReader [2019-08-31 20:26:40,737 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_read___startrek_job_count_Writer [2019-08-31 20:26:40,737 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_write___startrek_job_count_Writer [2019-08-31 20:26:40,737 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_entry_pt_Writer [2019-08-31 20:26:40,737 INFO L130 BoogieDeclarations]: Found specification of procedure cil_keeperWriter [2019-08-31 20:26:40,738 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_schedule_jobs [2019-08-31 20:26:40,738 INFO L130 BoogieDeclarations]: Found specification of procedure write~int [2019-08-31 20:26:40,738 INFO L130 BoogieDeclarations]: Found specification of procedure read~int [2019-08-31 20:26:40,738 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_init_globals [2019-08-31 20:26:40,738 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_check_assumptions [2019-08-31 20:26:40,738 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_user_init [2019-08-31 20:26:40,738 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_user_final [2019-08-31 20:26:40,738 INFO L130 BoogieDeclarations]: Found specification of procedure __startrek_check_assertions [2019-08-31 20:26:40,738 INFO L130 BoogieDeclarations]: Found specification of procedure __main [2019-08-31 20:26:40,739 INFO L130 BoogieDeclarations]: Found specification of procedure main [2019-08-31 20:26:40,739 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.init [2019-08-31 20:26:40,739 INFO L130 BoogieDeclarations]: Found specification of procedure #Ultimate.allocOnStack [2019-08-31 20:26:40,739 INFO L130 BoogieDeclarations]: Found specification of procedure write~init~int [2019-08-31 20:26:40,739 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.start [2019-08-31 20:26:40,739 INFO L130 BoogieDeclarations]: Found specification of procedure ULTIMATE.dealloc [2019-08-31 20:29:09,306 INFO L278 CfgBuilder]: Using the 1 location(s) as analysis (start of procedure ULTIMATE.start) [2019-08-31 20:29:09,307 INFO L283 CfgBuilder]: Removed 0 assume(true) statements. [2019-08-31 20:29:09,310 INFO L202 PluginConnector]: Adding new model de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.08 08:29:09 BoogieIcfgContainer [2019-08-31 20:29:09,310 INFO L132 PluginConnector]: ------------------------ END RCFGBuilder---------------------------- [2019-08-31 20:29:09,311 INFO L113 PluginConnector]: ------------------------Sifa---------------------------- [2019-08-31 20:29:09,311 INFO L271 PluginConnector]: Initializing Sifa... [2019-08-31 20:29:09,311 INFO L275 PluginConnector]: Sifa initialized [2019-08-31 20:29:09,313 INFO L185 PluginConnector]: Executing the observer SifaObserver from plugin Sifa for "de.uni_freiburg.informatik.ultimate.plugins.generator.rcfgbuilder CFG 31.08 08:29:09" (1/1) ... [2019-08-31 20:29:09,361 INFO L162 IcfgInterpreter]: Started Sifa with 1 locations of interest [2019-08-31 20:29:09,362 INFO L169 IcfgInterpreter]: Building call graph [2019-08-31 20:29:09,392 INFO L174 IcfgInterpreter]: Initial procedures are [ULTIMATE.start] [2019-08-31 20:29:09,405 INFO L179 IcfgInterpreter]: Starting interpretation [2019-08-31 20:29:09,407 INFO L199 IcfgInterpreter]: Interpreting procedure ULTIMATE.start with input of size 1 for LOIs [2019-08-31 20:29:09,749 INFO L392 ElimStorePlain]: Different costs {0=[|v_#length_60|], 6328=[|v_#valid_61|]} [2019-08-31 20:29:11,464 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:12,317 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:12,631 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:13,136 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:13,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:13,738 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:14,051 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:14,622 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:15,679 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:15,951 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:16,246 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:16,745 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:17,473 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:17,753 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:18,352 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:18,683 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:18,922 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:19,243 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:19,572 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:20,111 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:20,850 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:21,200 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:21,511 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:21,986 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:22,242 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:22,541 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:22,846 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:23,138 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:23,791 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:24,108 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:24,437 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:25,305 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:25,535 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:25,838 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:26,176 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:26,473 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:27,029 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:27,277 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:27,573 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:27,898 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:28,184 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:28,773 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:29,113 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:29,410 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:30,108 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:30,600 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:30,943 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:31,260 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:31,563 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:32,344 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:32,962 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:33,255 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:34,357 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:34,631 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:34,966 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:35,251 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:36,083 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:36,570 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:36,861 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:37,173 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:37,513 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:37,772 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:38,678 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:38,939 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:39,189 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:39,851 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:41,030 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:41,358 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:41,649 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:42,313 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:42,741 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:43,007 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:43,320 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:43,597 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:43,897 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:44,743 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:45,032 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:45,299 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:45,579 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:45,890 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:46,415 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:46,713 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:46,993 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:47,225 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:47,483 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:48,558 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:48,847 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:49,516 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:50,250 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:50,548 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:51,281 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:52,011 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:52,701 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:53,388 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:53,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:54,757 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:54,999 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:55,329 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:55,876 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:56,234 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:56,523 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:56,819 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:57,101 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:57,806 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:58,181 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:58,917 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:29:59,681 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:00,045 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:00,400 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:00,750 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:02,216 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:02,617 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:04,312 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:04,716 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:05,148 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:05,469 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:05,815 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:07,144 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:07,826 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:08,240 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:08,563 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:08,887 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:09,278 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:09,886 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:10,290 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:10,750 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:11,445 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:12,002 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:13,096 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:13,459 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:13,740 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:14,390 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:14,703 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:15,998 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:16,395 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:16,999 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:17,387 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:18,761 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:19,120 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:19,913 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:20,291 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:21,065 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:21,380 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:21,987 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:22,383 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:22,782 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:23,130 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:23,757 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:24,559 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:25,287 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:25,936 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:26,280 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:27,433 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:27,828 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:28,514 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:28,888 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:29,302 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:29,624 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:29,968 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:30,738 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:31,625 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:31,995 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:32,244 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:33,142 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:33,432 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:34,666 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:35,572 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:36,093 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:37,024 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:37,383 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:37,724 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:39,002 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:39,417 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:40,820 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:41,201 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:41,761 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:42,101 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:42,545 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:42,948 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:43,795 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:44,230 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:44,581 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:44,963 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:45,344 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:46,061 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:47,507 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:47,824 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:48,633 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:48,964 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:49,347 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:49,820 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:50,073 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:50,665 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:51,208 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:51,577 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:51,922 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:52,563 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:52,926 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:53,161 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:53,561 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:53,886 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:54,673 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:55,053 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:55,431 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:55,773 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:56,652 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:57,491 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:57,837 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:58,836 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:59,327 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:30:59,959 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:00,356 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:00,970 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:01,325 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:02,227 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:03,368 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:03,727 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:04,159 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:04,521 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:05,192 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:05,985 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:06,361 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:07,485 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:08,460 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:08,739 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:09,453 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:09,794 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:10,466 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:10,882 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:11,656 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:12,116 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:12,354 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:12,986 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:13,344 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:13,720 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:14,113 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:14,498 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:14,730 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:15,366 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:15,730 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:16,149 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:17,081 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:17,544 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:17,852 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:18,235 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:18,959 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:20,016 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:20,400 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:21,198 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:21,517 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:21,987 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:22,588 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:23,219 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:23,603 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:23,918 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:24,943 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:25,661 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:26,394 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:27,028 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:27,349 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:28,007 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:28,407 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:28,905 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:29,217 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:29,844 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:30,200 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:31,623 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:32,058 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:32,885 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:33,674 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:34,318 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:34,977 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:35,483 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:36,209 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:36,860 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:37,464 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:37,887 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:38,239 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:39,872 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:40,710 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:41,042 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:41,305 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:41,646 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:42,444 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:42,819 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:43,236 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:43,597 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:44,365 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:44,663 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:45,029 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:45,448 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:45,845 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:46,461 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:46,774 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:47,076 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:47,799 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:48,164 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:48,758 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:49,618 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:50,001 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:50,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:50,919 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:51,340 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:52,733 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:54,610 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:55,993 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:57,233 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:57,865 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:58,210 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:58,603 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:31:59,409 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:00,102 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:00,482 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:00,931 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:01,575 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:01,945 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:03,456 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:03,889 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:04,350 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:05,952 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:06,306 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:06,704 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:07,365 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:07,793 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:08,125 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:08,851 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:09,520 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:10,286 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:10,945 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:11,536 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:11,851 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:12,549 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:12,957 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:13,538 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:13,872 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:14,703 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:15,132 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:15,802 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:16,410 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:17,231 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:17,714 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:18,131 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:18,524 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:19,506 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:19,918 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:20,251 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:20,611 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:20,968 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:21,652 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:22,025 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:22,404 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:23,421 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:24,323 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:24,741 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:25,538 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:25,907 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:26,267 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:26,643 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:27,086 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:27,608 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:27,982 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:28,346 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:28,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:29,729 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:30,109 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:31,335 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:31,766 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:32,230 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:32,614 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:32,990 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:33,643 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:34,288 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:34,567 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:34,979 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:36,183 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:36,865 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:37,273 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:37,997 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:38,308 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:39,012 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:39,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:39,765 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:40,144 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:40,715 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:41,123 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:41,512 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:42,256 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:42,805 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:43,065 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:43,423 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:43,808 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:44,148 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:44,706 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:45,599 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:45,955 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:46,542 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:47,358 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:48,209 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:48,883 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:49,669 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:50,473 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:50,930 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:51,332 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:51,738 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:52,183 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:52,560 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:53,107 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:53,748 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:54,054 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:54,490 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:55,185 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:55,559 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:56,290 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:57,913 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:58,240 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:58,681 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:59,001 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:59,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:32:59,968 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:00,283 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:00,597 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:00,966 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:01,673 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:02,010 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:02,321 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:02,653 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:03,513 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:03,870 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:04,307 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:05,188 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:05,932 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:06,299 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:07,040 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:07,313 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:08,010 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:09,048 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:09,765 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:10,321 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:10,645 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:11,589 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:12,334 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:13,317 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:13,632 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:13,903 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:14,272 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:14,615 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:14,957 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:15,587 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:16,433 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:16,705 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:18,050 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:18,620 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:18,963 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:19,245 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:19,647 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:20,016 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:21,146 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:21,595 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:21,878 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:22,241 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:23,276 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:23,735 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:23,980 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:24,294 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:24,594 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:25,009 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:25,788 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:26,234 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:27,006 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:27,385 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:28,063 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:28,457 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:28,747 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:29,038 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:29,838 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:30,087 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:30,487 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:31,284 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:31,753 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:32,407 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:32,777 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:33,619 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:34,346 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:34,691 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:35,073 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:35,335 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:35,688 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:36,318 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:36,670 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:37,097 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:37,475 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:37,884 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:38,445 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:38,718 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:39,036 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:39,439 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:39,806 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:40,372 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:40,687 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:40,990 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:42,115 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:42,506 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:43,086 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:43,477 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:44,236 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:44,638 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:45,255 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:45,630 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:45,879 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:46,209 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:46,598 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:47,266 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:47,566 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:47,893 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:48,282 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:48,598 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:49,233 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:50,091 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:50,523 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:50,893 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:51,388 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:52,421 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:52,725 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:53,128 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:53,777 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:54,044 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:54,342 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:54,647 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:54,954 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:55,257 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:55,912 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,638 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:57,049 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:57,766 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:58,139 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:58,402 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:33:59,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:00,447 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:00,811 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:01,208 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:01,623 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:02,281 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:02,647 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:03,020 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:03,364 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:04,186 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:04,562 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:04,879 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:05,311 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:06,395 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:06,934 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:07,263 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:07,706 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:07,988 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:09,023 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:09,337 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:09,739 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:10,068 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:11,090 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:11,421 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:12,053 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:12,487 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:13,023 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:13,811 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:14,477 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:14,870 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:15,234 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:15,613 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:16,023 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:16,399 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:16,795 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:17,088 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:17,444 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:17,803 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:18,216 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:18,615 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:19,637 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:20,383 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:20,742 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:21,447 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:21,658 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:22,029 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:22,983 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:23,907 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:25,200 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:25,606 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:27,464 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:27,844 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:28,659 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:29,042 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:29,591 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:29,950 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:30,339 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:30,682 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:32,184 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:32,516 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:33,885 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:35,269 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:35,791 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:36,101 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:36,757 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:37,960 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:38,342 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:39,009 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:39,417 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:39,879 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:40,624 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:40,963 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:41,292 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:41,578 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:42,176 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:42,495 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:42,791 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:43,159 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:43,997 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:44,612 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:44,911 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:45,521 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:46,081 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:46,416 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:46,762 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:47,161 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:48,470 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:48,768 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:49,069 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:50,004 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:50,757 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:52,165 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:52,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:52,961 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:53,868 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:54,444 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:55,306 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:56,709 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:57,264 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:57,634 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:58,060 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:59,001 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:34:59,467 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:00,662 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:01,088 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:01,449 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:02,082 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:02,458 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:03,291 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:03,627 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:04,269 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:04,620 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:04,855 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:05,120 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:05,502 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:05,871 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:06,553 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:07,435 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:07,713 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:08,099 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:08,821 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:09,194 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:09,911 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:10,232 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:10,951 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:11,217 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:11,705 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:12,876 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:13,465 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:13,747 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:14,134 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:14,574 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:14,887 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:15,497 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:15,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:16,227 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:16,626 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:17,059 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:17,636 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:17,987 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:18,880 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:19,768 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:20,161 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:20,957 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:22,464 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:23,143 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:23,741 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:24,096 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:24,533 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:25,237 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:26,041 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:26,424 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:27,142 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:27,427 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:27,844 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:28,224 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:28,685 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:29,325 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:29,928 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:30,224 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:30,561 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:31,331 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:31,653 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:32,030 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:32,421 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:32,812 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:33,714 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:34,052 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:34,367 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:34,682 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:35,337 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:35,608 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:36,018 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:36,402 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:37,817 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:38,148 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:38,786 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:39,581 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:40,222 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:40,624 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:42,149 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:42,766 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:43,549 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:44,476 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:45,750 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:46,124 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:46,504 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:47,237 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:47,865 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:48,119 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:48,442 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:48,804 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:49,808 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:50,340 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:50,626 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:51,037 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:51,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:52,424 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:52,741 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:53,480 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:53,786 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:54,198 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:54,855 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:55,206 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:55,507 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:55,907 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:56,973 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:57,277 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:57,614 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:58,686 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:59,335 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:35:59,731 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:00,094 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:01,006 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:01,604 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:02,009 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:02,356 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:02,793 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:03,753 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:03,967 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:04,892 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:05,218 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:05,567 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:05,925 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:06,845 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:07,180 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:07,518 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:08,427 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:09,376 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:09,888 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:10,407 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:10,799 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:11,176 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:11,595 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:12,371 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:12,762 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:13,152 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:14,264 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:15,009 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:15,440 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:16,385 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:17,048 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:17,324 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:18,843 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:19,164 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:19,382 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:19,651 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:19,926 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:20,237 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:20,873 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:21,254 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:21,697 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:22,082 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:22,456 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:23,390 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:23,752 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:24,082 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:24,430 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:24,785 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:25,670 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:26,037 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:26,745 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:27,131 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:27,879 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:28,143 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:28,425 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:28,756 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:29,025 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:29,341 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:29,677 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:30,283 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:30,658 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:31,619 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:32,067 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:32,703 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:32,998 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:33,541 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:33,944 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:34,649 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:35,008 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:35,390 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:35,807 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:36,138 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:36,942 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:37,296 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:37,615 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:37,932 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:38,257 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:39,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:39,774 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:40,555 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:40,910 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:41,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:41,800 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:42,075 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:42,460 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:42,817 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:43,409 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:43,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:44,055 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:44,356 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:45,373 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:45,939 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:46,343 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:46,729 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:47,384 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:48,027 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:48,387 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:48,758 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:49,083 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:49,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:50,005 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:50,430 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:51,360 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:52,158 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:52,545 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:52,935 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:53,762 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:54,730 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:55,123 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:55,469 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:55,877 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:56,452 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:56,789 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:57,439 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:57,723 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:58,343 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:59,039 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:36:59,671 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:00,373 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:01,126 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:02,002 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:02,603 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:02,958 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:04,220 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:04,632 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:05,184 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:06,020 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:07,476 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:07,915 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:08,311 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:08,678 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:09,545 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:10,118 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:10,504 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:11,521 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:11,922 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:12,685 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:13,067 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:14,748 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:15,518 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:15,929 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:16,589 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:17,365 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:17,700 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:18,668 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:19,002 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:19,382 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:19,766 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:20,109 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:20,692 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:20,983 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:21,761 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:22,453 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:22,788 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:23,102 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:23,476 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:24,357 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:24,666 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:24,996 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:25,328 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:26,095 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:26,668 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:27,844 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:29,252 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:29,851 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:30,222 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:30,993 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:31,775 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:32,154 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:32,521 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:32,926 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:33,696 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:34,022 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:34,427 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:34,792 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:36,312 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:36,645 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:37,030 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:37,340 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:37,702 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:38,494 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:38,886 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:39,294 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:40,536 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:40,876 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:41,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:41,625 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:41,991 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:42,908 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:43,268 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:43,556 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:44,005 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:44,593 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:44,908 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:45,676 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:46,402 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:47,056 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:47,368 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:48,463 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:50,219 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:50,581 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:50,986 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:51,470 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:51,893 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:52,582 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:52,957 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:53,313 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:54,082 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:54,746 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:55,379 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:55,794 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:56,362 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:56,679 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:57,789 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:58,199 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:58,868 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:37:59,722 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:00,497 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:01,247 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:01,595 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:02,034 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:03,073 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:03,450 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:04,379 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:04,791 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:05,408 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:05,750 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:06,154 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:07,602 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:08,176 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:09,425 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:10,805 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:12,171 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:12,548 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:12,917 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:13,280 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:13,563 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:14,124 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:14,478 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:15,375 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:16,248 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:16,565 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:16,879 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:17,219 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:18,423 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:18,769 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:19,127 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:19,714 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:20,511 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:20,948 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:21,218 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:21,563 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:22,301 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:22,697 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:23,929 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:24,254 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:24,954 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:25,316 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:25,617 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:26,004 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:27,488 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:28,479 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:29,351 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:29,962 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:30,295 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:31,104 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:32,213 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:32,652 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:33,011 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:33,297 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:33,639 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:34,677 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:35,040 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:35,545 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:35,933 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:36,629 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:36,986 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:37,460 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:37,771 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:38,160 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:39,450 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:40,122 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:40,529 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:40,862 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:42,348 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:43,127 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:43,473 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:43,834 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:44,518 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:44,986 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:45,217 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:45,557 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:45,932 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:46,239 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:46,669 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:47,203 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:47,563 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:48,904 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:50,278 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:51,087 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:51,728 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:52,133 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:52,998 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:53,395 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:53,781 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:55,057 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:55,881 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:56,274 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:56,558 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:57,505 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:57,897 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:58,539 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:58,879 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:59,256 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:59,540 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:38:59,852 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:00,617 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:00,976 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:01,336 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:01,731 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:02,120 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:02,717 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:03,593 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:04,504 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:06,040 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:06,453 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:06,835 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:07,191 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:08,687 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:09,058 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:09,463 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:10,231 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:11,098 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:11,460 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:12,361 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:12,692 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:13,722 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:14,118 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:14,479 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:15,267 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:15,898 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:16,993 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:17,947 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:18,495 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:18,823 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:19,093 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:19,431 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:19,800 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:20,175 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:20,791 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:21,127 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:21,507 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:21,882 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:22,332 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:22,846 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:23,268 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:23,899 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:24,225 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:25,295 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:25,649 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:26,856 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:27,233 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:27,683 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:28,097 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:28,498 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:29,263 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:29,763 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:30,017 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:30,758 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:31,131 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:31,545 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:32,217 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:32,545 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:33,255 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:34,046 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:34,427 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:35,419 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:36,142 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:37,462 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:38,181 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:38,956 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:39,348 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:40,011 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:41,210 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:41,572 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:41,983 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:42,371 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:43,827 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:44,188 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:44,605 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:45,834 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:46,376 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:46,765 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:47,121 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:47,405 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:47,723 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:48,308 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:48,611 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:49,584 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:49,945 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:50,621 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:50,971 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:51,297 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:51,695 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:53,271 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:53,635 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:54,025 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:54,447 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:55,858 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:56,202 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:56,502 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:57,334 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:57,668 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:58,064 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:58,643 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:59,518 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:39:59,944 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:00,316 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:01,641 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:02,038 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:03,239 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:03,573 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:03,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:04,624 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:05,400 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:05,771 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:06,021 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:06,922 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:07,286 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:08,257 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:08,603 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:09,245 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:09,578 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:09,950 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:11,146 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:11,705 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:12,136 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:12,866 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:13,173 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:13,752 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:14,049 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:14,398 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:15,633 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:16,043 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:16,984 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:17,413 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:17,753 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:18,059 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:18,809 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:19,651 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:20,053 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:20,469 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:21,496 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:22,473 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:22,756 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:23,139 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:24,204 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:24,532 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:24,829 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:25,190 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:26,040 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:26,662 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:26,989 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:27,275 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:28,481 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:28,796 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:29,509 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:29,838 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:31,141 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:31,506 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:32,086 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:32,900 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:33,291 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:33,974 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:34,317 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:34,609 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:34,990 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:35,810 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:36,208 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:36,464 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:36,842 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:37,760 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:38,084 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:38,445 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:39,269 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:39,938 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:40,260 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:41,025 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:41,368 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:42,296 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:42,669 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:43,022 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:43,830 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:44,796 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:45,114 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:45,452 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:45,722 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:46,516 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:47,063 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,694 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:47,980 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:48,318 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:48,730 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:49,306 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:49,645 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:49,944 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:50,363 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:50,686 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:51,395 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:51,666 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:52,024 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:52,431 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:53,020 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:53,794 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:54,156 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:54,553 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:55,774 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:56,236 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:57,401 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:57,713 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:58,522 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:58,848 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:59,574 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:40:59,985 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:00,786 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:01,494 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:01,753 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:02,123 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:02,497 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:03,145 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:03,841 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:04,301 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:04,715 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:05,464 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:06,335 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:06,668 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:07,208 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:07,576 INFO L189 IndexEqualityManager]: detected not equals via solver [2019-08-31 20:41:08,202 INFO L189 IndexEqualityManager]: detected not equals via solver