| ID | Name | Date | Solvers | Instances | Jobs | AAC Exp. | Status |
|---|---|---|---|---|---|---|---|
| 5 | Realizability Sequential | 03.06.2015 | |||||
| 6 | Realizability Parallel | 07.06.2015 | |||||
| 8 | Synthesis Sequential | 16.06.2015 | |||||
| 9 | Synthesis Parallel | 16.06.2015 | |||||
| 10 | Reference - Realizability Sequential | 16.06.2015 | |||||
| 11 | Reference - Synthesis Sequential | 01.07.2015 |