gendata_h48h0k4.c (423B)
1 #include "../tool.h" 2 3 uint64_t expected[21] = { 4 [0] = 1, 5 [1] = 1, 6 [2] = 4, 7 [3] = 34, 8 [4] = 331, 9 [5] = 3612, 10 [6] = 41605, 11 [7] = 474128, 12 [8] = 4953846, 13 [9] = 34776317, 14 [10] = 68566704, 15 [11] = 8749194, 16 [12] = 1673, 17 }; 18 19 void run(void) { 20 gendata_run("h48", "0;4;20", "tables/h48h0k4", expected); 21 } 22 23 int main(void) { 24 nissy_setlogger(log_stderr); 25 26 timerun(run, "benchmark gendata_h48 h = 0, k = 4"); 27 28 return 0; 29 }