ASIMOV benchmark (ASIMOV )