Test abstract machine experiment report