val = xbt_heap_maxkey(heap);
xbt_heap_pop(heap);
xbt_heap_push(heap, NULL, 3.0 * val);
}
date = gras_os_time() * 1000000 - date;
printf("Mean access time for a %d size heap : %g\n", size,
val = xbt_heap_maxkey(heap);
xbt_heap_pop(heap);
xbt_heap_push(heap, NULL, 3.0 * val);
}
date = gras_os_time() * 1000000 - date;
printf("Mean access time for a %d size heap : %g\n", size,