#include <stdlib.h>
#include <stdio.h>
-#include "xbt/xbt_portability.h"
#include "surf/maxmin.h"
-#include "xbt/xbt_portability.h"
+#include "xbt/xbt_os_time.h"
#include "xbt/sysdep.h" /* time manipulation for benchmarking */
double date;
int main(int argc, char **argv)
{
- int nb_cnst = 20000;
- int nb_var = 20000;
+ int nb_cnst = 2000;
+ int nb_var = 2000;
int nb_elem = 80;
date = xbt_os_time() * 1000000;
test(nb_cnst, nb_var, nb_elem);