ID | Name | Date | Solvers | Instances | Jobs | AAC Exp. | Status |
---|---|---|---|---|---|---|---|
3 | AIGER - Preliminary Experiments, Sequential | 26.05.2017 | |||||
5 | AIGER: Realizability, Sequential | 31.05.2017 | |||||
6 | AIGER: Realizability, Parallel | 01.06.2017 | |||||
7 | AIGER: Synthesis, Sequential | 07.06.2017 | |||||
8 | AIGER: Synthesis, Parallel | 07.06.2017 | |||||
9 | TLSF - Preliminary Experiments, Sequential | 07.06.2017 | |||||
10 | TLSF: Realizability, Sequential | 23.06.2017 | |||||
11 | TLSF: Realizability, Parallel | 29.06.2017 | |||||
12 | TLSF: Synthesis, Sequential | 29.06.2017 | |||||
13 | TLSF: Synthesis, Parallel | 29.06.2017 |