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.