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 |