2 Threads 2 Instructions

2 Threads 3 Instructions

2 Threads 4 Instructions

3 Threads 3 Instructions

3 Threads 4 Instructions

Acknowledgements

Amber files by Hari Raval. Alloy description by Tyler Sorensen. Test labeling by Hugues Evrard and Lucas Salvador.

Test Number