| ID | Name | Date | Solvers | Instances | Jobs | AAC Exp. | Status |
|---|---|---|---|---|---|---|---|
| 1 | AIGER: Realizability, Sequential | 07.06.2016 | |||||
| 2 | AIGER: Realizability, Parallel | 14.06.2016 | |||||
| 3 | AIGER: Synthesis, Sequential | 23.06.2016 | |||||
| 4 | AIGER: Synthesis, Parallel | 27.06.2016 | |||||
| 5 | TLSF: Realizability, Sequential | 04.07.2016 | |||||
| 6 | TLSF: Realizability, Parallel | 05.07.2016 | |||||
| 7 | TLSF: Synthesis, Sequential | 07.07.2016 | |||||
| 8 | TLSF: Synthesis, Parallel | 11.07.2016 | |||||
| 9 | AIGER: Realizability, Sequential - Reference Track | 25.07.2016 | |||||
| 10 | AIGER: Realizability, Parallel - Reference Track | 25.07.2016 |