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