{"filename":"/home/atondwal/src/mist/mochi-tests/pointersMap_noalias.ml","result":"HorSatInterface.UnknownOutput","cycles":6,"total":14370.400936,"pre":0.09621399999999999,"abst":65.87580099999998,"mc":14162.751467,"refine":139.26147699999996}