../ aig/ 21-May-2019 11:50 - cnf/ 21-May-2019 11:50 - dar/ 21-May-2019 11:50 - kit/ 21-May-2019 11:50 -