Searched refs:Benchmark (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/usr/bench/
H A Dbench.c39 typedef void (*Benchmark)(void); typedef
276 static uint64_t benchmark(Benchmark bench)
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/
H A Ddiaz_bool.pl36 /* Benchmark (Boolean) INRIA Rocquencourt - ChLoE Project */
115 /* Benchmark (Boolean) INRIA Rocquencourt - ChLoE Project */
168 /* Benchmark (Boolean) INRIA Rocquencourt - ChLoE Project */

Completed in 97 milliseconds