Unresolved conflicts can introduce inconsistent and uncertain choices into a system description. Such inconsistencies imply nondeterminancy and nondeterminism is a bad thing; e.g. Leveson says that “nondeterminism is the enemy of reliability” [2]. Requirement engineers, on the other hand, argue that inconsistencies are a good thing [9]. To be human is to hold an opinion. To be an expert is to h...

Microarchitectural code analyzers, i.e., tools that estimate the throughput of machine basic blocks, are important utensils in tool belt performance engineers. Recent like llvm-mca, uiCA, and Ithemal use a variety techniques different models for their predictions. When put to test, it is common see these state-of-the-art give very results. These inconsistencies either errors, or they point rare...