for (i = 0; i < size; i++)
xbt_heap_push(heap, NULL, (10.0 * rand() / (RAND_MAX + 1.0)));
date = gras_os_time() * 1000000 - date;
for (i = 0; i < size; i++)
xbt_heap_push(heap, NULL, (10.0 * rand() / (RAND_MAX + 1.0)));
date = gras_os_time() * 1000000 - date;
xbt_heap_push(heap, NULL, 3.0 * val);
}
date = gras_os_time() * 1000000 - date;
xbt_heap_push(heap, NULL, 3.0 * val);
}
date = gras_os_time() * 1000000 - date;