. Ordinary least squares, two-stage squares and the NISE estimator are applied to three data sets involving equations from microeconomics macroeconomics. The focus is on simultaneity bias in linear ability of other estimators mitigate bias.

Swarm verification and parallel randomised depth-first search are very effective parallel techniques to hunt bugs in large state spaces. In case bugs are absent, however, scalability of the parallelisation is completely lost. In recent work, we proposed a mechanism to inform the workers which parts of the state space to explore. This mechanism is compatible with any action-based formalism, wher...