a SimulationRun holds the result of a complete simulation of an Abacus program, i.e.,

• error indicates whether the simulation has been aborted due to an exception like an access to an invalid memory address.
• trace is the sequence of AbacusStates that were obtained after executing the single instructions of the program
• instrCount[l] is the number of executions of the instruction in line l in total
• nopCount[l] is the number of nop instructions that had to be inserted before instruction in line l i total
• branchTaken[l] is only different to zero if the instruction at line l is a conditional branch instruction. In this case, this is the number of how often the branch has been taken, and thus, the difference of instrCount[l] and branchTaken[l] tells us how often the branch has not been taken.