README: added formal experiments