libsmm_acc_timer_multiply.cpp Source File


Source Code

/*------------------------------------------------------------------------------------------------*
 * Copyright (C) by the DBCSR developers group - All rights reserved                              *
 * This file is part of the DBCSR library.                                                        *
 *                                                                                                *
 * For information on the license, see the LICENSE file.                                          *
 * For further information please visit https://dbcsr.cp2k.org                                    *
 * SPDX-License-Identifier: GPL-2.0+                                                              *
 *------------------------------------------------------------------------------------------------*/

#include <cstdio>
#include <cstdlib>
#include <vector>
#include <array>
#include <algorithm>
#include "libsmm_acc_benchmark.h"
#include "libsmm_acc.h"

std::vector<Triplet> combinations(std::vector<int> to_combine) {

    std::vector<Triplet> v;
    size_t len = to_combine.size();
    for (size_t i=0; i<len; i++) {
        for (size_t j=0; j<len; j++) {
            for (size_t k=0; k<len; k++) {
                v.push_back({to_combine[i], to_combine[j], to_combine[k]});
            }
        }
    }
    return v;
}

/****************************************************************************\
  \brief Checks correctness of and measures performance of randomly selected
         libsmm_acc multiplication kernels.
  \returns -1 for invalid options, n>0 with n being the number of errors,
           0 otherwise
  \****************************************************************************/

int main(int argc, char* argv[]) {

    if (argc < 2) {
        printf("Usage: %s <autotuned|predicted>\n", argv[0]);
        return -1;
    }

    printf("Time kernels: %s\n", argv[1]);

    std::vector<Triplet> libsmm_acc_triplets;
    if (argv[1] == std::string("autotuned")) {

        libsmm_acc_triplets = {
            { 4,  4,  4},
        { 4,  4,  5},
        { 4,  4,  6},
        { 4,  4,  7},
        { 4,  4,  8},
        { 4,  4,  9},
        { 4,  4, 10},
        { 4,  4, 13},
        { 4,  4, 15},
        { 4,  4, 25},
        { 4,  4, 26},
        { 4,  4, 28},
        { 4,  4, 32},
        { 4,  4, 45},
        { 4,  5,  4},
        { 4,  5,  5},
        { 4,  5,  6},
        { 4,  5,  7},
        { 4,  5,  8},
        { 4,  5,  9},
        { 4,  5, 13},
        { 4,  5, 25},
        { 4,  5, 26},
        { 4,  5, 28},
        { 4,  5, 32},
        { 4,  5, 45},
        { 4,  6,  4},
        { 4,  6,  5},
        { 4,  6,  6},
        { 4,  6,  7},
        { 4,  6,  8},
        { 4,  6,  9},
        { 4,  7,  4},
        { 4,  7,  5},
        { 4,  7,  6},
        { 4,  7,  7},
        { 4,  7,  8},
        { 4,  7,  9},
        { 4,  7, 13},
        { 4,  7, 25},
        { 4,  7, 26},
        { 4,  7, 28},
        { 4,  7, 32},
        { 4,  7, 45},
        { 4,  8,  4},
        { 4,  8,  5},
        { 4,  8,  6},
        { 4,  8,  7},
        { 4,  8,  8},
        { 4,  8,  9},
        { 4,  9,  4},
        { 4,  9,  5},
        { 4,  9,  6},
        { 4,  9,  7},
        { 4,  9,  8},
        { 4,  9,  9},
        { 4,  9, 13},
        { 4,  9, 25},
        { 4,  9, 26},
        { 4,  9, 28},
        { 4,  9, 32},
        { 4,  9, 45},
        { 4, 10,  4},
        { 4, 10, 10},
        { 4, 10, 15},
        { 4, 13,  4},
        { 4, 13,  5},
        { 4, 13,  7},
        { 4, 13,  9},
        { 4, 13, 13},
        { 4, 13, 25},
        { 4, 13, 26},
        { 4, 13, 28},
        { 4, 13, 32},
        { 4, 13, 45},
        { 4, 15,  4},
        { 4, 15, 10},
        { 4, 15, 15},
        { 4, 25,  4},
        { 4, 25,  5},
        { 4, 25,  7},
        { 4, 25,  9},
        { 4, 25, 13},
        { 4, 25, 25},
        { 4, 25, 26},
        { 4, 25, 28},
        { 4, 25, 32},
        { 4, 25, 45},
        { 4, 26,  4},
        { 4, 26,  5},
        { 4, 26,  7},
        { 4, 26,  9},
        { 4, 26, 13},
        { 4, 26, 25},
        { 4, 26, 26},
        { 4, 26, 28},
        { 4, 26, 32},
        { 4, 26, 45},
        { 4, 28,  4},
        { 4, 28,  5},
        { 4, 28,  7},
        { 4, 28,  9},
        { 4, 28, 13},
        { 4, 28, 25},
        { 4, 28, 26},
        { 4, 28, 28},
        { 4, 28, 32},
        { 4, 28, 45},
        { 4, 32,  4},
        { 4, 32,  5},
        { 4, 32,  7},
        { 4, 32,  9},
        { 4, 32, 13},
        { 4, 32, 25},
        { 4, 32, 26},
        { 4, 32, 28},
        { 4, 32, 32},
        { 4, 32, 45},
        { 4, 45,  4},
        { 4, 45,  5},
        { 4, 45,  7},
        { 4, 45,  9},
        { 4, 45, 13},
        { 4, 45, 25},
        { 4, 45, 26},
        { 4, 45, 28},
        { 4, 45, 32},
        { 4, 45, 45},
        { 5,  4,  4},
        { 5,  4,  5},
        { 5,  4,  6},
        { 5,  4,  7},
        { 5,  4,  8},
        { 5,  4,  9},
        { 5,  4, 13},
        { 5,  4, 25},
        { 5,  4, 26},
        { 5,  4, 28},
        { 5,  4, 32},
        { 5,  4, 45},
        { 5,  5,  4},
        { 5,  5,  5},
        { 5,  5,  6},
        { 5,  5,  7},
        { 5,  5,  8},
        { 5,  5,  9},
        { 5,  5, 12},
        { 5,  5, 13},
        { 5,  5, 16},
        { 5,  5, 24},
        { 5,  5, 25},
        { 5,  5, 26},
        { 5,  5, 28},
        { 5,  5, 32},
        { 5,  5, 45},
        { 5,  6,  4},
        { 5,  6,  5},
        { 5,  6,  6},
        { 5,  6,  7},
        { 5,  6,  8},
        { 5,  6,  9},
        { 5,  7,  4},
        { 5,  7,  5},
        { 5,  7,  6},
        { 5,  7,  7},
        { 5,  7,  8},
        { 5,  7,  9},
        { 5,  7, 13},
        { 5,  7, 25},
        { 5,  7, 26},
        { 5,  7, 28},
        { 5,  7, 32},
        { 5,  7, 45},
        { 5,  8,  4},
        { 5,  8,  5},
        { 5,  8,  6},
        { 5,  8,  7},
        { 5,  8,  8},
        { 5,  8,  9},
        { 5,  9,  4},
        { 5,  9,  5},
        { 5,  9,  6},
        { 5,  9,  7},
        { 5,  9,  8},
        { 5,  9,  9},
        { 5,  9, 13},
        { 5,  9, 25},
        { 5,  9, 26},
        { 5,  9, 28},
        { 5,  9, 32},
        { 5,  9, 45},
        { 5, 12,  5},
        { 5, 12, 12},
        { 5, 12, 13},
        { 5, 12, 26},
        { 5, 12, 32},
        { 5, 13,  4},
        { 5, 13,  5},
        { 5, 13,  7},
        { 5, 13,  9},
        { 5, 13, 12},
        { 5, 13, 13},
        { 5, 13, 16},
        { 5, 13, 24},
        { 5, 13, 25},
        { 5, 13, 26},
        { 5, 13, 28},
        { 5, 13, 32},
        { 5, 13, 45},
        { 5, 16,  5},
        { 5, 16, 13},
        { 5, 16, 16},
        { 5, 16, 32},
        { 5, 24,  5},
        { 5, 24, 13},
        { 5, 24, 24},
        { 5, 24, 26},
        { 5, 24, 32},
        { 5, 25,  4},
        { 5, 25,  5},
        { 5, 25,  7},
        { 5, 25,  9},
        { 5, 25, 13},
        { 5, 25, 25},
        { 5, 25, 26},
        { 5, 25, 28},
        { 5, 25, 32},
        { 5, 25, 45},
        { 5, 26,  4},
        { 5, 26,  5},
        { 5, 26,  7},
        { 5, 26,  9},
        { 5, 26, 12},
        { 5, 26, 13},
        { 5, 26, 24},
        { 5, 26, 25},
        { 5, 26, 26},
        { 5, 26, 28},
        { 5, 26, 32},
        { 5, 26, 45},
        { 5, 28,  4},
        { 5, 28,  5},
        { 5, 28,  7},
        { 5, 28,  9},
        { 5, 28, 13},
        { 5, 28, 25},
        { 5, 28, 26},
        { 5, 28, 28},
        { 5, 28, 32},
        { 5, 28, 45},
        { 5, 32,  4},
        { 5, 32,  5},
        { 5, 32,  7},
        { 5, 32,  9},
        { 5, 32, 12},
        { 5, 32, 13},
        { 5, 32, 16},
        { 5, 32, 24},
        { 5, 32, 25},
        { 5, 32, 26},
        { 5, 32, 28},
        { 5, 32, 32},
        { 5, 32, 45},
        { 5, 45,  4},
        { 5, 45,  5},
        { 5, 45,  7},
        { 5, 45,  9},
        { 5, 45, 13},
        { 5, 45, 25},
        { 5, 45, 26},
        { 5, 45, 28},
        { 5, 45, 32},
        { 5, 45, 45},
        { 6,  4,  4},
        { 6,  4,  5},
        { 6,  4,  6},
        { 6,  4,  7},
        { 6,  4,  8},
        { 6,  4,  9},
        { 6,  5,  4},
        { 6,  5,  5},
        { 6,  5,  6},
        { 6,  5,  7},
        { 6,  5,  8},
        { 6,  5,  9},
        { 6,  6,  4},
        { 6,  6,  5},
        { 6,  6,  6},
        { 6,  6,  7},
        { 6,  6,  8},
        { 6,  6,  9},
        { 6,  7,  4},
        { 6,  7,  5},
        { 6,  7,  6},
        { 6,  7,  7},
        { 6,  7,  8},
        { 6,  7,  9},
        { 6,  8,  4},
        { 6,  8,  5},
        { 6,  8,  6},
        { 6,  8,  7},
        { 6,  8,  8},
        { 6,  8,  9},
        { 6,  9,  4},
        { 6,  9,  5},
        { 6,  9,  6},
        { 6,  9,  7},
        { 6,  9,  8},
        { 6,  9,  9},
        { 7,  4,  4},
        { 7,  4,  5},
        { 7,  4,  6},
        { 7,  4,  7},
        { 7,  4,  8},
        { 7,  4,  9},
        { 7,  4, 13},
        { 7,  4, 25},
        { 7,  4, 26},
        { 7,  4, 28},
        { 7,  4, 32},
        { 7,  4, 45},
        { 7,  5,  4},
        { 7,  5,  5},
        { 7,  5,  6},
        { 7,  5,  7},
        { 7,  5,  8},
        { 7,  5,  9},
        { 7,  5, 13},
        { 7,  5, 25},
        { 7,  5, 26},
        { 7,  5, 28},
        { 7,  5, 32},
        { 7,  5, 45},
        { 7,  6,  4},
        { 7,  6,  5},
        { 7,  6,  6},
        { 7,  6,  7},
        { 7,  6,  8},
        { 7,  6,  9},
        { 7,  7,  4},
        { 7,  7,  5},
        { 7,  7,  6},
        { 7,  7,  7},
        { 7,  7,  8},
        { 7,  7,  9},
        { 7,  7, 13},
        { 7,  7, 25},
        { 7,  7, 26},
        { 7,  7, 28},
        { 7,  7, 32},
        { 7,  7, 45},
        { 7,  8,  4},
        { 7,  8,  5},
        { 7,  8,  6},
        { 7,  8,  7},
        { 7,  8,  8},
        { 7,  8,  9},
        { 7,  9,  4},
        { 7,  9,  5},
        { 7,  9,  6},
        { 7,  9,  7},
        { 7,  9,  8},
        { 7,  9,  9},
        { 7,  9, 13},
        { 7,  9, 25},
        { 7,  9, 26},
        { 7,  9, 28},
        { 7,  9, 32},
        { 7,  9, 45},
        { 7, 13,  4},
        { 7, 13,  5},
        { 7, 13,  7},
        { 7, 13,  9},
        { 7, 13, 13},
        { 7, 13, 25},
        { 7, 13, 26},
        { 7, 13, 28},
        { 7, 13, 32},
        { 7, 13, 45},
        { 7, 25,  4},
        { 7, 25,  5},
        { 7, 25,  7},
        { 7, 25,  9},
        { 7, 25, 13},
        { 7, 25, 25},
        { 7, 25, 26},
        { 7, 25, 28},
        { 7, 25, 32},
        { 7, 25, 45},
        { 7, 26,  4},
        { 7, 26,  5},
        { 7, 26,  7},
        { 7, 26,  9},
        { 7, 26, 13},
        { 7, 26, 25},
        { 7, 26, 26},
        { 7, 26, 28},
        { 7, 26, 32},
        { 7, 26, 45},
        { 7, 28,  4},
        { 7, 28,  5},
        { 7, 28,  7},
        { 7, 28,  9},
        { 7, 28, 13},
        { 7, 28, 25},
        { 7, 28, 26},
        { 7, 28, 28},
        { 7, 28, 32},
        { 7, 28, 45},
        { 7, 32,  4},
        { 7, 32,  5},
        { 7, 32,  7},
        { 7, 32,  9},
        { 7, 32, 13},
        { 7, 32, 25},
        { 7, 32, 26},
        { 7, 32, 28},
        { 7, 32, 32},
        { 7, 32, 45},
        { 7, 45,  4},
        { 7, 45,  5},
        { 7, 45,  7},
        { 7, 45,  9},
        { 7, 45, 13},
        { 7, 45, 25},
        { 7, 45, 26},
        { 7, 45, 28},
        { 7, 45, 32},
        { 7, 45, 45},
        { 8,  4,  4},
        { 8,  4,  5},
        { 8,  4,  6},
        { 8,  4,  7},
        { 8,  4,  8},
        { 8,  4,  9},
        { 8,  5,  4},
        { 8,  5,  5},
        { 8,  5,  6},
        { 8,  5,  7},
        { 8,  5,  8},
        { 8,  5,  9},
        { 8,  6,  4},
        { 8,  6,  5},
        { 8,  6,  6},
        { 8,  6,  7},
        { 8,  6,  8},
        { 8,  6,  9},
        { 8,  7,  4},
        { 8,  7,  5},
        { 8,  7,  6},
        { 8,  7,  7},
        { 8,  7,  8},
        { 8,  7,  9},
        { 8,  8,  4},
        { 8,  8,  5},
        { 8,  8,  6},
        { 8,  8,  7},
        { 8,  8,  8},
        { 8,  8,  9},
        { 8,  9,  4},
        { 8,  9,  5},
        { 8,  9,  6},
        { 8,  9,  7},
        { 8,  9,  8},
        { 8,  9,  9},
        { 9,  4,  4},
        { 9,  4,  5},
        { 9,  4,  6},
        { 9,  4,  7},
        { 9,  4,  8},
        { 9,  4,  9},
        { 9,  4, 13},
        { 9,  4, 25},
        { 9,  4, 26},
        { 9,  4, 28},
        { 9,  4, 32},
        { 9,  4, 45},
        { 9,  5,  4},
        { 9,  5,  5},
        { 9,  5,  6},
        { 9,  5,  7},
        { 9,  5,  8},
        { 9,  5,  9},
        { 9,  5, 13},
        { 9,  5, 25},
        { 9,  5, 26},
        { 9,  5, 28},
        { 9,  5, 32},
        { 9,  5, 45},
        { 9,  6,  4},
        { 9,  6,  5},
        { 9,  6,  6},
        { 9,  6,  7},
        { 9,  6,  8},
        { 9,  6,  9},
        { 9,  7,  4},
        { 9,  7,  5},
        { 9,  7,  6},
        { 9,  7,  7},
        { 9,  7,  8},
        { 9,  7,  9},
        { 9,  7, 13},
        { 9,  7, 25},
        { 9,  7, 26},
        { 9,  7, 28},
        { 9,  7, 32},
        { 9,  7, 45},
        { 9,  8,  4},
        { 9,  8,  5},
        { 9,  8,  6},
        { 9,  8,  7},
        { 9,  8,  8},
        { 9,  8,  9},
        { 9,  9,  4},
        { 9,  9,  5},
        { 9,  9,  6},
        { 9,  9,  7},
        { 9,  9,  8},
        { 9,  9,  9},
        { 9,  9, 10},
        { 9,  9, 12},
        { 9,  9, 13},
        { 9,  9, 22},
        { 9,  9, 25},
        { 9,  9, 26},
        { 9,  9, 28},
        { 9,  9, 32},
        { 9,  9, 45},
        { 9, 10,  9},
        { 9, 10, 10},
        { 9, 10, 12},
        { 9, 10, 32},
        { 9, 12,  9},
        { 9, 12, 10},
        { 9, 12, 12},
        { 9, 12, 32},
        { 9, 13,  4},
        { 9, 13,  5},
        { 9, 13,  7},
        { 9, 13,  9},
        { 9, 13, 13},
        { 9, 13, 25},
        { 9, 13, 26},
        { 9, 13, 28},
        { 9, 13, 32},
        { 9, 13, 45},
        { 9, 22,  9},
        { 9, 22, 22},
        { 9, 22, 32},
        { 9, 25,  4},
        { 9, 25,  5},
        { 9, 25,  7},
        { 9, 25,  9},
        { 9, 25, 13},
        { 9, 25, 25},
        { 9, 25, 26},
        { 9, 25, 28},
        { 9, 25, 32},
        { 9, 25, 45},
        { 9, 26,  4},
        { 9, 26,  5},
        { 9, 26,  7},
        { 9, 26,  9},
        { 9, 26, 13},
        { 9, 26, 25},
        { 9, 26, 26},
        { 9, 26, 28},
        { 9, 26, 32},
        { 9, 26, 45},
        { 9, 28,  4},
        { 9, 28,  5},
        { 9, 28,  7},
        { 9, 28,  9},
        { 9, 28, 13},
        { 9, 28, 25},
        { 9, 28, 26},
        { 9, 28, 28},
        { 9, 28, 32},
        { 9, 28, 45},
        { 9, 32,  4},
        { 9, 32,  5},
        { 9, 32,  7},
        { 9, 32,  9},
        { 9, 32, 10},
        { 9, 32, 12},
        { 9, 32, 13},
        { 9, 32, 22},
        { 9, 32, 25},
        { 9, 32, 26},
        { 9, 32, 28},
        { 9, 32, 32},
        { 9, 32, 45},
        { 9, 45,  4},
        { 9, 45,  5},
        { 9, 45,  7},
        { 9, 45,  9},
        { 9, 45, 13},
        { 9, 45, 25},
        { 9, 45, 26},
        { 9, 45, 28},
        { 9, 45, 32},
        { 9, 45, 45},
        {10,  4,  4},
        {10,  4, 10},
        {10,  4, 15},
        {10,  9,  9},
        {10,  9, 10},
        {10,  9, 12},
        {10,  9, 32},
        {10, 10,  4},
        {10, 10,  9},
        {10, 10, 10},
        {10, 10, 11},
        {10, 10, 12},
        {10, 10, 15},
        {10, 10, 32},
        {10, 12,  9},
        {10, 12, 10},
        {10, 12, 12},
        {10, 12, 32},
        {10, 15,  4},
        {10, 15, 10},
        {10, 15, 15},
        {10, 32,  9},
        {10, 32, 10},
        {10, 32, 12},
        {10, 32, 32},
        {11, 11, 11},
        {11, 11, 12},
        {11, 11, 20},
        {11, 11, 25},
        {11, 11, 32},
        {11, 12, 11},
        {11, 12, 12},
        {11, 12, 20},
        {11, 12, 25},
        {11, 12, 32},
        {11, 20, 11},
        {11, 20, 12},
        {11, 20, 20},
        {11, 20, 25},
        {11, 20, 32},
        {11, 25, 11},
        {11, 25, 12},
        {11, 25, 20},
        {11, 25, 25},
        {11, 25, 32},
        {11, 32, 11},
        {11, 32, 12},
        {11, 32, 20},
        {11, 32, 25},
        {11, 32, 32},
        {12,  5,  5},
        {12,  5, 12},
        {12,  5, 13},
        {12,  5, 26},
        {12,  5, 32},
        {12,  9,  9},
        {12,  9, 10},
        {12,  9, 12},
        {12,  9, 32},
        {12, 10,  9},
        {12, 10, 10},
        {12, 10, 12},
        {12, 10, 32},
        {12, 11, 11},
        {12, 11, 12},
        {12, 11, 20},
        {12, 11, 25},
        {12, 11, 32},
        {12, 12,  5},
        {12, 12,  9},
        {12, 12, 10},
        {12, 12, 11},
        {12, 12, 12},
        {12, 12, 13},
        {12, 12, 16},
        {12, 12, 20},
        {12, 12, 25},
        {12, 12, 26},
        {12, 12, 32},
        {12, 13,  5},
        {12, 13, 12},
        {12, 13, 13},
        {12, 13, 26},
        {12, 13, 32},
        {12, 16, 12},
        {12, 16, 16},
        {12, 16, 32},
        {12, 20, 11},
        {12, 20, 12},
        {12, 20, 20},
        {12, 20, 25},
        {12, 20, 32},
        {12, 25, 11},
        {12, 25, 12},
        {12, 25, 20},
        {12, 25, 25},
        {12, 25, 32},
        {12, 26,  5},
        {12, 26, 12},
        {12, 26, 13},
        {12, 26, 26},
        {12, 26, 32},
        {12, 32,  5},
        {12, 32,  9},
        {12, 32, 10},
        {12, 32, 11},
        {12, 32, 12},
        {12, 32, 13},
        {12, 32, 16},
        {12, 32, 20},
        {12, 32, 25},
        {12, 32, 26},
        {12, 32, 32},
        {13,  4,  4},
        {13,  4,  5},
        {13,  4,  7},
        {13,  4,  9},
        {13,  4, 13},
        {13,  4, 25},
        {13,  4, 26},
        {13,  4, 28},
        {13,  4, 32},
        {13,  4, 45},
        {13,  5,  4},
        {13,  5,  5},
        {13,  5,  7},
        {13,  5,  9},
        {13,  5, 12},
        {13,  5, 13},
        {13,  5, 16},
        {13,  5, 24},
        {13,  5, 25},
        {13,  5, 26},
        {13,  5, 28},
        {13,  5, 32},
        {13,  5, 45},
        {13,  7,  4},
        {13,  7,  5},
        {13,  7,  7},
        {13,  7,  9},
        {13,  7, 13},
        {13,  7, 25},
        {13,  7, 26},
        {13,  7, 28},
        {13,  7, 32},
        {13,  7, 45},
        {13,  9,  4},
        {13,  9,  5},
        {13,  9,  7},
        {13,  9,  9},
        {13,  9, 13},
        {13,  9, 25},
        {13,  9, 26},
        {13,  9, 28},
        {13,  9, 32},
        {13,  9, 45},
        {13, 12,  5},
        {13, 12, 12},
        {13, 12, 13},
        {13, 12, 26},
        {13, 12, 32},
        {13, 13,  4},
        {13, 13,  5},
        {13, 13,  7},
        {13, 13,  9},
        {13, 13, 12},
        {13, 13, 13},
        {13, 13, 14},
        {13, 13, 16},
        {13, 13, 24},
        {13, 13, 25},
        {13, 13, 26},
        {13, 13, 28},
        {13, 13, 32},
        {13, 13, 45},
        {13, 14, 13},
        {13, 14, 14},
        {13, 14, 25},
        {13, 14, 26},
        {13, 14, 32},
        {13, 16,  5},
        {13, 16, 13},
        {13, 16, 16},
        {13, 16, 32},
        {13, 24,  5},
        {13, 24, 13},
        {13, 24, 24},
        {13, 24, 26},
        {13, 24, 32},
        {13, 25,  4},
        {13, 25,  5},
        {13, 25,  7},
        {13, 25,  9},
        {13, 25, 13},
        {13, 25, 14},
        {13, 25, 25},
        {13, 25, 26},
        {13, 25, 28},
        {13, 25, 32},
        {13, 25, 45},
        {13, 26,  4},
        {13, 26,  5},
        {13, 26,  7},
        {13, 26,  9},
        {13, 26, 12},
        {13, 26, 13},
        {13, 26, 14},
        {13, 26, 24},
        {13, 26, 25},
        {13, 26, 26},
        {13, 26, 28},
        {13, 26, 32},
        {13, 26, 45},
        {13, 28,  4},
        {13, 28,  5},
        {13, 28,  7},
        {13, 28,  9},
        {13, 28, 13},
        {13, 28, 25},
        {13, 28, 26},
        {13, 28, 28},
        {13, 28, 32},
        {13, 28, 45},
        {13, 32,  4},
        {13, 32,  5},
        {13, 32,  7},
        {13, 32,  9},
        {13, 32, 12},
        {13, 32, 13},
        {13, 32, 14},
        {13, 32, 16},
        {13, 32, 24},
        {13, 32, 25},
        {13, 32, 26},
        {13, 32, 28},
        {13, 32, 32},
        {13, 32, 45},
        {13, 45,  4},
        {13, 45,  5},
        {13, 45,  7},
        {13, 45,  9},
        {13, 45, 13},
        {13, 45, 25},
        {13, 45, 26},
        {13, 45, 28},
        {13, 45, 32},
        {13, 45, 45},
        {14, 13, 13},
        {14, 13, 14},
        {14, 13, 25},
        {14, 13, 26},
        {14, 13, 32},
        {14, 14, 13},
        {14, 14, 14},
        {14, 14, 16},
        {14, 14, 25},
        {14, 14, 26},
        {14, 14, 29},
        {14, 14, 32},
        {14, 16, 14},
        {14, 16, 16},
        {14, 16, 29},
        {14, 25, 13},
        {14, 25, 14},
        {14, 25, 25},
        {14, 25, 26},
        {14, 25, 32},
        {14, 26, 13},
        {14, 26, 14},
        {14, 26, 25},
        {14, 26, 26},
        {14, 26, 32},
        {14, 29, 14},
        {14, 29, 16},
        {14, 29, 29},
        {14, 29, 32},
        {14, 32, 13},
        {14, 32, 14},
        {14, 32, 25},
        {14, 32, 26},
        {14, 32, 29},
        {14, 32, 32},
        {15,  4,  4},
        {15,  4, 10},
        {15,  4, 15},
        {15, 10,  4},
        {15, 10, 10},
        {15, 10, 15},
        {15, 15,  4},
        {15, 15, 10},
        {15, 15, 15},
        {16,  5,  5},
        {16,  5, 13},
        {16,  5, 16},
        {16,  5, 32},
        {16, 12, 12},
        {16, 12, 16},
        {16, 12, 32},
        {16, 13,  5},
        {16, 13, 13},
        {16, 13, 16},
        {16, 13, 32},
        {16, 14, 14},
        {16, 14, 16},
        {16, 14, 29},
        {16, 16,  5},
        {16, 16, 12},
        {16, 16, 13},
        {16, 16, 14},
        {16, 16, 16},
        {16, 16, 29},
        {16, 16, 32},
        {16, 29, 14},
        {16, 29, 16},
        {16, 29, 29},
        {16, 32,  5},
        {16, 32, 12},
        {16, 32, 13},
        {16, 32, 16},
        {16, 32, 32},
        {17, 17, 17},
        {18, 18, 18},
        {19, 19, 19},
        {20, 11, 11},
        {20, 11, 12},
        {20, 11, 20},
        {20, 11, 25},
        {20, 11, 32},
        {20, 12, 11},
        {20, 12, 12},
        {20, 12, 20},
        {20, 12, 25},
        {20, 12, 32},
        {20, 20, 11},
        {20, 20, 12},
        {20, 20, 20},
        {20, 20, 25},
        {20, 20, 32},
        {20, 25, 11},
        {20, 25, 12},
        {20, 25, 20},
        {20, 25, 25},
        {20, 25, 32},
        {20, 32, 11},
        {20, 32, 12},
        {20, 32, 20},
        {20, 32, 25},
        {20, 32, 32},
        {21, 21, 21},
        {22,  9,  9},
        {22,  9, 22},
        {22,  9, 32},
        {22, 22,  9},
        {22, 22, 22},
        {22, 22, 32},
        {22, 32,  9},
        {22, 32, 22},
        {22, 32, 32},
        {23, 23, 23},
        {24,  5,  5},
        {24,  5, 13},
        {24,  5, 24},
        {24,  5, 26},
        {24,  5, 32},
        {24, 13,  5},
        {24, 13, 13},
        {24, 13, 24},
        {24, 13, 26},
        {24, 13, 32},
        {24, 24,  5},
        {24, 24, 13},
        {24, 24, 24},
        {24, 24, 26},
        {24, 24, 32},
        {24, 26,  5},
        {24, 26, 13},
        {24, 26, 24},
        {24, 26, 26},
        {24, 26, 32},
        {24, 32,  5},
        {24, 32, 13},
        {24, 32, 24},
        {24, 32, 26},
        {24, 32, 32},
        {25,  4,  4},
        {25,  4,  5},
        {25,  4,  7},
        {25,  4,  9},
        {25,  4, 13},
        {25,  4, 25},
        {25,  4, 26},
        {25,  4, 28},
        {25,  4, 32},
        {25,  4, 45},
        {25,  5,  4},
        {25,  5,  5},
        {25,  5,  7},
        {25,  5,  9},
        {25,  5, 13},
        {25,  5, 25},
        {25,  5, 26},
        {25,  5, 28},
        {25,  5, 32},
        {25,  5, 45},
        {25,  7,  4},
        {25,  7,  5},
        {25,  7,  7},
        {25,  7,  9},
        {25,  7, 13},
        {25,  7, 25},
        {25,  7, 26},
        {25,  7, 28},
        {25,  7, 32},
        {25,  7, 45},
        {25,  9,  4},
        {25,  9,  5},
        {25,  9,  7},
        {25,  9,  9},
        {25,  9, 13},
        {25,  9, 25},
        {25,  9, 26},
        {25,  9, 28},
        {25,  9, 32},
        {25,  9, 45},
        {25, 11, 11},
        {25, 11, 12},
        {25, 11, 20},
        {25, 11, 25},
        {25, 11, 32},
        {25, 12, 11},
        {25, 12, 12},
        {25, 12, 20},
        {25, 12, 25},
        {25, 12, 32},
        {25, 13,  4},
        {25, 13,  5},
        {25, 13,  7},
        {25, 13,  9},
        {25, 13, 13},
        {25, 13, 14},
        {25, 13, 25},
        {25, 13, 26},
        {25, 13, 28},
        {25, 13, 32},
        {25, 13, 45},
        {25, 14, 13},
        {25, 14, 14},
        {25, 14, 25},
        {25, 14, 26},
        {25, 14, 32},
        {25, 20, 11},
        {25, 20, 12},
        {25, 20, 20},
        {25, 20, 25},
        {25, 20, 32},
        {25, 25,  4},
        {25, 25,  5},
        {25, 25,  7},
        {25, 25,  9},
        {25, 25, 11},
        {25, 25, 12},
        {25, 25, 13},
        {25, 25, 14},
        {25, 25, 20},
        {25, 25, 25},
        {25, 25, 26},
        {25, 25, 28},
        {25, 25, 32},
        {25, 25, 45},
        {25, 26,  4},
        {25, 26,  5},
        {25, 26,  7},
        {25, 26,  9},
        {25, 26, 13},
        {25, 26, 14},
        {25, 26, 25},
        {25, 26, 26},
        {25, 26, 28},
        {25, 26, 32},
        {25, 26, 45},
        {25, 28,  4},
        {25, 28,  5},
        {25, 28,  7},
        {25, 28,  9},
        {25, 28, 13},
        {25, 28, 25},
        {25, 28, 26},
        {25, 28, 28},
        {25, 28, 32},
        {25, 28, 45},
        {25, 32,  4},
        {25, 32,  5},
        {25, 32,  7},
        {25, 32,  9},
        {25, 32, 11},
        {25, 32, 12},
        {25, 32, 13},
        {25, 32, 14},
        {25, 32, 20},
        {25, 32, 25},
        {25, 32, 26},
        {25, 32, 28},
        {25, 32, 32},
        {25, 32, 45},
        {25, 45,  4},
        {25, 45,  5},
        {25, 45,  7},
        {25, 45,  9},
        {25, 45, 13},
        {25, 45, 25},
        {25, 45, 26},
        {25, 45, 28},
        {25, 45, 32},
        {25, 45, 45},
        {26,  4,  4},
        {26,  4,  5},
        {26,  4,  7},
        {26,  4,  9},
        {26,  4, 13},
        {26,  4, 25},
        {26,  4, 26},
        {26,  4, 28},
        {26,  4, 32},
        {26,  4, 45},
        {26,  5,  4},
        {26,  5,  5},
        {26,  5,  7},
        {26,  5,  9},
        {26,  5, 12},
        {26,  5, 13},
        {26,  5, 24},
        {26,  5, 25},
        {26,  5, 26},
        {26,  5, 28},
        {26,  5, 32},
        {26,  5, 45},
        {26,  7,  4},
        {26,  7,  5},
        {26,  7,  7},
        {26,  7,  9},
        {26,  7, 13},
        {26,  7, 25},
        {26,  7, 26},
        {26,  7, 28},
        {26,  7, 32},
        {26,  7, 45},
        {26,  9,  4},
        {26,  9,  5},
        {26,  9,  7},
        {26,  9,  9},
        {26,  9, 13},
        {26,  9, 25},
        {26,  9, 26},
        {26,  9, 28},
        {26,  9, 32},
        {26,  9, 45},
        {26, 12,  5},
        {26, 12, 12},
        {26, 12, 13},
        {26, 12, 26},
        {26, 12, 32},
        {26, 13,  4},
        {26, 13,  5},
        {26, 13,  7},
        {26, 13,  9},
        {26, 13, 12},
        {26, 13, 13},
        {26, 13, 14},
        {26, 13, 24},
        {26, 13, 25},
        {26, 13, 26},
        {26, 13, 28},
        {26, 13, 32},
        {26, 13, 45},
        {26, 14, 13},
        {26, 14, 14},
        {26, 14, 25},
        {26, 14, 26},
        {26, 14, 32},
        {26, 24,  5},
        {26, 24, 13},
        {26, 24, 24},
        {26, 24, 26},
        {26, 24, 32},
        {26, 25,  4},
        {26, 25,  5},
        {26, 25,  7},
        {26, 25,  9},
        {26, 25, 13},
        {26, 25, 14},
        {26, 25, 25},
        {26, 25, 26},
        {26, 25, 28},
        {26, 25, 32},
        {26, 25, 45},
        {26, 26,  4},
        {26, 26,  5},
        {26, 26,  7},
        {26, 26,  9},
        {26, 26, 12},
        {26, 26, 13},
        {26, 26, 14},
        {26, 26, 24},
        {26, 26, 25},
        {26, 26, 26},
        {26, 26, 28},
        {26, 26, 32},
        {26, 26, 45},
        {26, 28,  4},
        {26, 28,  5},
        {26, 28,  7},
        {26, 28,  9},
        {26, 28, 13},
        {26, 28, 25},
        {26, 28, 26},
        {26, 28, 28},
        {26, 28, 32},
        {26, 28, 45},
        {26, 32,  4},
        {26, 32,  5},
        {26, 32,  7},
        {26, 32,  9},
        {26, 32, 12},
        {26, 32, 13},
        {26, 32, 14},
        {26, 32, 24},
        {26, 32, 25},
        {26, 32, 26},
        {26, 32, 28},
        {26, 32, 32},
        {26, 32, 45},
        {26, 45,  4},
        {26, 45,  5},
        {26, 45,  7},
        {26, 45,  9},
        {26, 45, 13},
        {26, 45, 25},
        {26, 45, 26},
        {26, 45, 28},
        {26, 45, 32},
        {26, 45, 45},
        {27, 27, 27},
        {28,  4,  4},
        {28,  4,  5},
        {28,  4,  7},
        {28,  4,  9},
        {28,  4, 13},
        {28,  4, 25},
        {28,  4, 26},
        {28,  4, 28},
        {28,  4, 32},
        {28,  4, 45},
        {28,  5,  4},
        {28,  5,  5},
        {28,  5,  7},
        {28,  5,  9},
        {28,  5, 13},
        {28,  5, 25},
        {28,  5, 26},
        {28,  5, 28},
        {28,  5, 32},
        {28,  5, 45},
        {28,  7,  4},
        {28,  7,  5},
        {28,  7,  7},
        {28,  7,  9},
        {28,  7, 13},
        {28,  7, 25},
        {28,  7, 26},
        {28,  7, 28},
        {28,  7, 32},
        {28,  7, 45},
        {28,  9,  4},
        {28,  9,  5},
        {28,  9,  7},
        {28,  9,  9},
        {28,  9, 13},
        {28,  9, 25},
        {28,  9, 26},
        {28,  9, 28},
        {28,  9, 32},
        {28,  9, 45},
        {28, 13,  4},
        {28, 13,  5},
        {28, 13,  7},
        {28, 13,  9},
        {28, 13, 13},
        {28, 13, 25},
        {28, 13, 26},
        {28, 13, 28},
        {28, 13, 32},
        {28, 13, 45},
        {28, 25,  4},
        {28, 25,  5},
        {28, 25,  7},
        {28, 25,  9},
        {28, 25, 13},
        {28, 25, 25},
        {28, 25, 26},
        {28, 25, 28},
        {28, 25, 32},
        {28, 25, 45},
        {28, 26,  4},
        {28, 26,  5},
        {28, 26,  7},
        {28, 26,  9},
        {28, 26, 13},
        {28, 26, 25},
        {28, 26, 26},
        {28, 26, 28},
        {28, 26, 32},
        {28, 26, 45},
        {28, 28,  4},
        {28, 28,  5},
        {28, 28,  7},
        {28, 28,  9},
        {28, 28, 13},
        {28, 28, 25},
        {28, 28, 26},
        {28, 28, 28},
        {28, 28, 32},
        {28, 28, 45},
        {28, 32,  4},
        {28, 32,  5},
        {28, 32,  7},
        {28, 32,  9},
        {28, 32, 13},
        {28, 32, 25},
        {28, 32, 26},
        {28, 32, 28},
        {28, 32, 32},
        {28, 32, 45},
        {28, 45,  4},
        {28, 45,  5},
        {28, 45,  7},
        {28, 45,  9},
        {28, 45, 13},
        {28, 45, 25},
        {28, 45, 26},
        {28, 45, 28},
        {28, 45, 32},
        {28, 45, 45},
        {29, 14, 14},
        {29, 14, 16},
        {29, 14, 29},
        {29, 14, 32},
        {29, 16, 14},
        {29, 16, 16},
        {29, 16, 29},
        {29, 29, 14},
        {29, 29, 16},
        {29, 29, 29},
        {29, 29, 32},
        {29, 32, 14},
        {29, 32, 29},
        {29, 32, 32},
        {30, 30, 30},
        {31, 31, 31},
        {32,  4,  4},
        {32,  4,  5},
        {32,  4,  7},
        {32,  4,  9},
        {32,  4, 13},
        {32,  4, 25},
        {32,  4, 26},
        {32,  4, 28},
        {32,  4, 32},
        {32,  4, 45},
        {32,  5,  4},
        {32,  5,  5},
        {32,  5,  7},
        {32,  5,  9},
        {32,  5, 12},
        {32,  5, 13},
        {32,  5, 16},
        {32,  5, 24},
        {32,  5, 25},
        {32,  5, 26},
        {32,  5, 28},
        {32,  5, 32},
        {32,  5, 45},
        {32,  7,  4},
        {32,  7,  5},
        {32,  7,  7},
        {32,  7,  9},
        {32,  7, 13},
        {32,  7, 25},
        {32,  7, 26},
        {32,  7, 28},
        {32,  7, 32},
        {32,  7, 45},
        {32,  9,  4},
        {32,  9,  5},
        {32,  9,  7},
        {32,  9,  9},
        {32,  9, 10},
        {32,  9, 12},
        {32,  9, 13},
        {32,  9, 22},
        {32,  9, 25},
        {32,  9, 26},
        {32,  9, 28},
        {32,  9, 32},
        {32,  9, 45},
        {32, 10,  9},
        {32, 10, 10},
        {32, 10, 12},
        {32, 10, 32},
        {32, 11, 11},
        {32, 11, 12},
        {32, 11, 20},
        {32, 11, 25},
        {32, 11, 32},
        {32, 12,  5},
        {32, 12,  9},
        {32, 12, 10},
        {32, 12, 11},
        {32, 12, 12},
        {32, 12, 13},
        {32, 12, 16},
        {32, 12, 20},
        {32, 12, 25},
        {32, 12, 26},
        {32, 12, 32},
        {32, 13,  4},
        {32, 13,  5},
        {32, 13,  7},
        {32, 13,  9},
        {32, 13, 12},
        {32, 13, 13},
        {32, 13, 14},
        {32, 13, 16},
        {32, 13, 24},
        {32, 13, 25},
        {32, 13, 26},
        {32, 13, 28},
        {32, 13, 32},
        {32, 13, 45},
        {32, 14, 13},
        {32, 14, 14},
        {32, 14, 25},
        {32, 14, 26},
        {32, 14, 29},
        {32, 14, 32},
        {32, 16,  5},
        {32, 16, 12},
        {32, 16, 13},
        {32, 16, 16},
        {32, 16, 32},
        {32, 20, 11},
        {32, 20, 12},
        {32, 20, 20},
        {32, 20, 25},
        {32, 20, 32},
        {32, 22,  9},
        {32, 22, 22},
        {32, 22, 32},
        {32, 24,  5},
        {32, 24, 13},
        {32, 24, 24},
        {32, 24, 26},
        {32, 24, 32},
        {32, 25,  4},
        {32, 25,  5},
        {32, 25,  7},
        {32, 25,  9},
        {32, 25, 11},
        {32, 25, 12},
        {32, 25, 13},
        {32, 25, 14},
        {32, 25, 20},
        {32, 25, 25},
        {32, 25, 26},
        {32, 25, 28},
        {32, 25, 32},
        {32, 25, 45},
        {32, 26,  4},
        {32, 26,  5},
        {32, 26,  7},
        {32, 26,  9},
        {32, 26, 12},
        {32, 26, 13},
        {32, 26, 14},
        {32, 26, 24},
        {32, 26, 25},
        {32, 26, 26},
        {32, 26, 28},
        {32, 26, 32},
        {32, 26, 45},
        {32, 28,  4},
        {32, 28,  5},
        {32, 28,  7},
        {32, 28,  9},
        {32, 28, 13},
        {32, 28, 25},
        {32, 28, 26},
        {32, 28, 28},
        {32, 28, 32},
        {32, 28, 45},
        {32, 29, 14},
        {32, 29, 29},
        {32, 29, 32},
        {32, 32,  4},
        {32, 32,  5},
        {32, 32,  7},
        {32, 32,  9},
        {32, 32, 10},
        {32, 32, 11},
        {32, 32, 12},
        {32, 32, 13},
        {32, 32, 14},
        {32, 32, 16},
        {32, 32, 20},
        {32, 32, 22},
        {32, 32, 24},
        {32, 32, 25},
        {32, 32, 26},
        {32, 32, 28},
        {32, 32, 29},
        {32, 32, 32},
        {32, 32, 45},
        {32, 45,  4},
        {32, 45,  5},
        {32, 45,  7},
        {32, 45,  9},
        {32, 45, 13},
        {32, 45, 25},
        {32, 45, 26},
        {32, 45, 28},
        {32, 45, 32},
        {32, 45, 45},
        {45,  4,  4},
        {45,  4,  5},
        {45,  4,  7},
        {45,  4,  9},
        {45,  4, 13},
        {45,  4, 25},
        {45,  4, 26},
        {45,  4, 28},
        {45,  4, 32},
        {45,  4, 45},
        {45,  5,  4},
        {45,  5,  5},
        {45,  5,  7},
        {45,  5,  9},
        {45,  5, 13},
        {45,  5, 25},
        {45,  5, 26},
        {45,  5, 28},
        {45,  5, 32},
        {45,  5, 45},
        {45,  7,  4},
        {45,  7,  5},
        {45,  7,  7},
        {45,  7,  9},
        {45,  7, 13},
        {45,  7, 25},
        {45,  7, 26},
        {45,  7, 28},
        {45,  7, 32},
        {45,  7, 45},
        {45,  9,  4},
        {45,  9,  5},
        {45,  9,  7},
        {45,  9,  9},
        {45,  9, 13},
        {45,  9, 25},
        {45,  9, 26},
        {45,  9, 28},
        {45,  9, 32},
        {45,  9, 45},
        {45, 13,  4},
        {45, 13,  5},
        {45, 13,  7},
        {45, 13,  9},
        {45, 13, 13},
        {45, 13, 25},
        {45, 13, 26},
        {45, 13, 28},
        {45, 13, 32},
        {45, 13, 45},
        {45, 25,  4},
        {45, 25,  5},
        {45, 25,  7},
        {45, 25,  9},
        {45, 25, 13},
        {45, 25, 25},
        {45, 25, 26},
        {45, 25, 28},
        {45, 25, 32},
        {45, 25, 45},
        {45, 26,  4},
        {45, 26,  5},
        {45, 26,  7},
        {45, 26,  9},
        {45, 26, 13},
        {45, 26, 25},
        {45, 26, 26},
        {45, 26, 28},
        {45, 26, 32},
        {45, 26, 45},
        {45, 28,  4},
        {45, 28,  5},
        {45, 28,  7},
        {45, 28,  9},
        {45, 28, 13},
        {45, 28, 25},
        {45, 28, 26},
        {45, 28, 28},
        {45, 28, 32},
        {45, 28, 45},
        {45, 32,  4},
        {45, 32,  5},
        {45, 32,  7},
        {45, 32,  9},
        {45, 32, 13},
        {45, 32, 25},
        {45, 32, 26},
        {45, 32, 28},
        {45, 32, 32},
        {45, 32, 45},
        {45, 45,  4},
        {45, 45,  5},
        {45, 45,  7},
        {45, 45,  9},
        {45, 45, 13},
        {45, 45, 25},
        {45, 45, 26},
        {45, 45, 28},
        {45, 45, 32},
        {45, 45, 45},
        {55, 16, 16},
        {55, 16, 29},
        {55, 16, 55},
        {55, 29, 16},
        {55, 29, 29},
        {55, 29, 32},
        {55, 29, 55},
        {55, 32, 29},
        {55, 32, 32},
        {55, 32, 55},
        {55, 55, 16},
        {55, 55, 29},
        {55, 55, 32},
        {55, 55, 55},
        {64, 64, 64},
        {78, 78, 78},

        };

    } else if (argv[1] == std::string("predicted")) {

        libsmm_acc_triplets = {
            { 4,  5, 42},
        { 4,  6, 11},
        { 4,  6, 33},
        { 4,  7, 12},
        { 4,  8, 22},
        { 4,  8, 23},
        { 4,  9, 18},
        { 4, 10, 18},
        { 4, 12, 32},
        { 4, 14, 22},
        { 4, 15, 19},
        { 4, 15, 28},
        { 4, 16, 20},
        { 4, 18, 20},
        { 4, 18, 35},
        { 4, 19, 10},
        { 4, 19, 15},
        { 4, 19, 43},
        { 4, 20,  4},
        { 4, 20,  6},
        { 4, 20, 41},
        { 4, 20, 42},
        { 4, 21,  8},
        { 4, 22,  9},
        { 4, 23, 16},
        { 4, 23, 43},
        { 4, 26, 18},
        { 4, 29, 41},
        { 4, 30, 11},
        { 4, 30, 18},
        { 4, 30, 27},
        { 4, 30, 30},
        { 4, 32, 34},
        { 4, 34,  5},
        { 4, 41, 25},
        { 4, 43, 13},
        { 4, 44, 15},
        { 4, 44, 19},
        { 5,  5, 15},
        { 5, 10,  4},
        { 5, 12, 23},
        { 5, 14, 43},
        { 5, 15, 19},
        { 5, 16, 45},
        { 5, 18, 29},
        { 5, 23, 20},
        { 5, 24, 11},
        { 5, 26, 27},
        { 5, 30, 19},
        { 5, 30, 25},
        { 5, 30, 38},
        { 5, 32, 18},
        { 5, 33,  7},
        { 5, 34,  6},
        { 5, 35, 12},
        { 5, 36, 38},
        { 5, 41, 32},
        { 5, 44, 24},
        { 6,  5, 17},
        { 6,  5, 36},
        { 6,  6, 27},
        { 6,  9, 33},
        { 6, 10,  5},
        { 6, 15, 17},
        { 6, 16, 32},
        { 6, 17, 25},
        { 6, 20, 12},
        { 6, 23, 42},
        { 6, 27,  9},
        { 6, 28, 32},
        { 6, 30, 30},
        { 6, 31, 39},
        { 6, 32, 37},
        { 6, 33, 44},
        { 6, 34, 22},
        { 6, 36, 13},
        { 6, 39,  9},
        { 6, 40, 10},
        { 6, 41,  5},
        { 6, 42, 29},
        { 6, 43, 38},
        { 6, 45, 25},
        { 7,  9, 22},
        { 7,  9, 36},
        { 7, 10, 35},
        { 7, 12, 27},
        { 7, 12, 34},
        { 7, 18, 45},
        { 7, 20, 10},
        { 7, 21, 11},
        { 7, 22,  8},
        { 7, 29, 10},
        { 7, 31, 14},
        { 7, 31, 38},
        { 7, 32, 24},
        { 7, 33, 16},
        { 7, 33, 23},
        { 7, 34, 44},
        { 7, 37,  8},
        { 7, 38, 37},
        { 7, 41,  4},
        { 7, 43, 41},
        { 7, 44, 14},
        { 7, 45, 23},
        { 8,  5, 36},
        { 8,  8, 26},
        { 8, 12, 34},
        { 8, 13, 21},
        { 8, 14, 10},
        { 8, 15, 28},
        { 8, 16, 43},
        { 8, 18, 23},
        { 8, 19,  7},
        { 8, 20, 34},
        { 8, 22, 18},
        { 8, 23, 34},
        { 8, 27, 44},
        { 8, 31, 10},
        { 8, 32, 12},
        { 8, 33, 44},
        { 8, 36,  9},
        { 8, 36, 19},
        { 8, 36, 29},
        { 8, 36, 40},
        { 8, 39, 10},
        { 9,  4, 33},
        { 9,  8, 17},
        { 9, 10, 21},
        { 9, 10, 42},
        { 9, 12, 33},
        { 9, 13, 16},
        { 9, 16,  8},
        { 9, 19,  6},
        { 9, 19,  9},
        { 9, 22, 15},
        { 9, 22, 24},
        { 9, 23, 27},
        { 9, 23, 43},
        { 9, 25, 36},
        { 9, 26, 10},
        { 9, 26, 19},
        { 9, 27, 37},
        { 9, 28,  8},
        { 9, 31,  4},
        { 9, 31, 15},
        { 9, 33, 40},
        { 9, 34, 37},
        { 9, 36, 37},
        { 9, 38, 44},
        { 9, 39, 16},
        { 9, 40, 40},
        { 9, 41, 39},
        { 9, 43, 13},
        { 9, 43, 32},
        { 9, 45, 34},
        { 9, 45, 40},
        {10,  5,  6},
        {10,  6, 42},
        {10,  7, 11},
        {10,  7, 13},
        {10,  7, 37},
        {10,  9, 40},
        {10,  9, 44},
        {10, 16, 13},
        {10, 18, 18},
        {10, 19, 16},
        {10, 21, 43},
        {10, 23,  9},
        {10, 27, 37},
        {10, 28, 20},
        {10, 35, 35},
        {10, 36, 35},
        {10, 40, 32},
        {10, 42, 30},
        {10, 42, 37},
        {10, 43, 25},
        {10, 43, 44},
        {10, 44, 26},
        {11,  7, 19},
        {11,  7, 26},
        {11,  8, 37},
        {11, 11, 16},
        {11, 12, 16},
        {11, 15, 33},
        {11, 15, 45},
        {11, 16, 34},
        {11, 17,  5},
        {11, 17, 31},
        {11, 18, 27},
        {11, 18, 40},
        {11, 19,  7},
        {11, 20, 10},
        {11, 21,  5},
        {11, 21, 11},
        {11, 21, 36},
        {11, 22,  7},
        {11, 23,  6},
        {11, 23, 44},
        {11, 25, 36},
        {11, 27, 28},
        {11, 29, 20},
        {11, 30, 33},
        {11, 31, 44},
        {11, 35, 42},
        {11, 37, 24},
        {11, 39, 14},
        {12,  5, 41},
        {12,  8, 34},
        {12, 10, 24},
        {12, 11,  5},
        {12, 13, 21},
        {12, 15, 15},
        {12, 15, 34},
        {12, 16, 17},
        {12, 16, 37},
        {12, 18,  4},
        {12, 18, 40},
        {12, 19, 41},
        {12, 19, 43},
        {12, 22, 37},
        {12, 23, 13},
        {12, 24, 12},
        {12, 24, 39},
        {12, 25, 22},
        {12, 28, 25},
        {12, 31, 28},
        {12, 34, 40},
        {12, 39, 19},
        {12, 39, 33},
        {12, 40, 43},
        {12, 42, 16},
        {12, 42, 22},
        {12, 44, 18},
        {12, 45, 22},
        {13,  7, 33},
        {13, 12, 22},
        {13, 12, 33},
        {13, 14, 12},
        {13, 17, 32},
        {13, 18, 24},
        {13, 20, 14},
        {13, 20, 44},
        {13, 23, 35},
        {13, 27, 28},
        {13, 28, 12},
        {13, 28, 16},
        {13, 30, 10},
        {13, 31, 10},
        {13, 32, 34},
        {13, 33, 15},
        {13, 37, 41},
        {13, 38,  4},
        {13, 38, 34},
        {13, 42, 25},
        {14,  4, 38},
        {14,  4, 40},
        {14,  5, 11},
        {14,  8, 35},
        {14,  9, 43},
        {14, 10,  4},
        {14, 11, 27},
        {14, 12, 19},
        {14, 14, 45},
        {14, 15, 13},
        {14, 15, 21},
        {14, 15, 42},
        {14, 17, 39},
        {14, 18, 44},
        {14, 19, 15},
        {14, 20, 18},
        {14, 21, 12},
        {14, 23, 44},
        {14, 28, 43},
        {14, 29, 30},
        {14, 29, 38},
        {14, 31, 39},
        {14, 34, 45},
        {14, 35, 44},
        {15,  5, 11},
        {15,  6,  5},
        {15,  7,  6},
        {15,  7, 15},
        {15,  7, 28},
        {15, 10, 26},
        {15, 10, 28},
        {15, 10, 34},
        {15, 10, 35},
        {15, 12, 39},
        {15, 13,  8},
        {15, 14, 10},
        {15, 16, 40},
        {15, 17, 45},
        {15, 18,  7},
        {15, 20,  9},
        {15, 28,  9},
        {15, 28, 17},
        {15, 30, 44},
        {15, 31, 16},
        {15, 33, 25},
        {15, 34, 20},
        {15, 35, 42},
        {15, 36, 31},
        {15, 38, 36},
        {15, 39, 24},
        {15, 40, 34},
        {15, 40, 43},
        {15, 43, 14},
        {16,  5, 44},
        {16,  6, 36},
        {16,  9, 23},
        {16, 14, 12},
        {16, 21,  5},
        {16, 23, 41},
        {16, 24, 38},
        {16, 27, 42},
        {16, 30, 41},
        {16, 33, 29},
        {16, 38, 30},
        {16, 44, 17},
        {16, 45, 43},
        {17,  4, 21},
        {17,  5, 40},
        {17,  6, 16},
        {17, 11, 45},
        {17, 13, 16},
        {17, 15, 27},
        {17, 15, 42},
        {17, 21, 19},
        {17, 23, 11},
        {17, 24, 19},
        {17, 27,  7},
        {17, 27, 10},
        {17, 29,  8},
        {17, 30,  9},
        {17, 31, 45},
        {17, 33, 40},
        {17, 34, 14},
        {17, 35, 43},
        {17, 36, 13},
        {17, 36, 14},
        {17, 36, 16},
        {17, 36, 35},
        {17, 39, 26},
        {17, 45, 40},
        {18,  6,  8},
        {18,  9, 39},
        {18, 10, 36},
        {18, 11, 21},
        {18, 11, 22},
        {18, 14, 29},
        {18, 15,  9},
        {18, 20, 34},
        {18, 20, 39},
        {18, 24, 30},
        {18, 25,  5},
        {18, 29, 30},
        {18, 29, 44},
        {18, 33,  8},
        {18, 41, 31},
        {18, 43,  7},
        {18, 43, 11},
        {18, 44, 45},
        {18, 45, 30},
        {18, 45, 40},
        {19,  5,  9},
        {19,  7, 23},
        {19,  7, 29},
        {19, 10,  9},
        {19, 12,  5},
        {19, 12, 15},
        {19, 12, 43},
        {19, 16, 30},
        {19, 17,  6},
        {19, 18, 27},
        {19, 23, 13},
        {19, 28, 29},
        {19, 28, 44},
        {19, 29, 18},
        {19, 31, 12},
        {19, 34, 18},
        {19, 34, 30},
        {19, 35, 40},
        {19, 36,  7},
        {19, 36, 42},
        {19, 37,  8},
        {19, 37, 13},
        {19, 42, 43},
        {19, 43, 43},
        {20,  4,  8},
        {20,  4, 34},
        {20,  5, 37},
        {20,  5, 40},
        {20,  6, 20},
        {20,  6, 23},
        {20,  8,  7},
        {20, 11, 44},
        {20, 15, 28},
        {20, 19,  8},
        {20, 20, 37},
        {20, 20, 41},
        {20, 23,  5},
        {20, 27, 18},
        {20, 27, 40},
        {20, 28, 22},
        {20, 29, 23},
        {20, 35, 13},
        {20, 35, 38},
        {20, 37, 14},
        {20, 37, 26},
        {20, 39,  9},
        {20, 39, 26},
        {20, 40, 30},
        {20, 40, 35},
        {20, 45, 20},
        {20, 45, 21},
        {21,  5, 16},
        {21,  5, 17},
        {21,  7, 33},
        {21, 10, 32},
        {21, 12, 22},
        {21, 13, 13},
        {21, 14, 39},
        {21, 20,  5},
        {21, 20, 37},
        {21, 23, 42},
        {21, 26, 39},
        {21, 29, 16},
        {21, 32, 26},
        {21, 34, 19},
        {21, 35, 17},
        {21, 37, 34},
        {21, 40,  9},
        {21, 41, 31},
        {21, 43,  6},
        {22,  4, 29},
        {22,  5,  7},
        {22,  6,  4},
        {22,  8, 24},
        {22,  8, 29},
        {22, 10, 17},
        {22, 11, 41},
        {22, 13, 22},
        {22, 14, 44},
        {22, 17, 19},
        {22, 19, 19},
        {22, 19, 27},
        {22, 21, 43},
        {22, 22, 43},
        {22, 23, 45},
        {22, 24, 19},
        {22, 24, 30},
        {22, 25, 32},
        {22, 28, 26},
        {22, 29, 31},
        {22, 29, 41},
        {22, 30, 41},
        {22, 31, 33},
        {22, 37, 37},
        {22, 38, 25},
        {22, 41, 36},
        {22, 44, 12},
        {23,  6,  8},
        {23,  8, 37},
        {23, 10, 27},
        {23, 13, 16},
        {23, 13, 36},
        {23, 13, 39},
        {23, 15, 21},
        {23, 21, 24},
        {23, 21, 25},
        {23, 24, 33},
        {23, 26, 10},
        {23, 27,  4},
        {23, 27, 25},
        {23, 27, 36},
        {23, 31, 42},
        {23, 33, 14},
        {23, 35, 30},
        {23, 40, 42},
        {23, 41, 28},
        {23, 42, 27},
        {23, 43, 12},
        {23, 43, 32},
        {23, 44, 16},
        {24,  5, 20},
        {24,  6, 16},
        {24, 10, 40},
        {24, 12, 23},
        {24, 13, 34},
        {24, 14, 24},
        {24, 15, 25},
        {24, 16, 34},
        {24, 18, 14},
        {24, 20, 11},
        {24, 25, 11},
        {24, 27, 24},
        {24, 28, 34},
        {24, 29, 12},
        {24, 29, 18},
        {24, 34, 20},
        {24, 36, 30},
        {24, 37, 24},
        {24, 42, 26},
        {24, 42, 44},
        {24, 44, 26},
        {24, 45, 29},
        {25,  8, 15},
        {25,  9,  6},
        {25, 10, 12},
        {25, 18, 18},
        {25, 20, 10},
        {25, 21,  6},
        {25, 21, 40},
        {25, 22, 32},
        {25, 23, 14},
        {25, 24, 16},
        {25, 25, 15},
        {25, 29, 37},
        {25, 30,  7},
        {25, 31, 12},
        {25, 36, 37},
        {25, 36, 43},
        {25, 37, 14},
        {25, 41, 38},
        {25, 43, 30},
        {25, 43, 42},
        {26, 10, 23},
        {26, 11, 41},
        {26, 12, 22},
        {26, 17, 16},
        {26, 19, 18},
        {26, 22, 33},
        {26, 29,  6},
        {26, 31, 22},
        {26, 33, 28},
        {26, 34, 35},
        {26, 39, 44},
        {26, 40, 28},
        {26, 41, 25},
        {26, 41, 30},
        {26, 43, 36},
        {26, 43, 44},
        {26, 45, 19},
        {27,  4, 33},
        {27,  8, 11},
        {27,  9, 15},
        {27,  9, 27},
        {27,  9, 31},
        {27, 10,  9},
        {27, 11, 43},
        {27, 12,  9},
        {27, 14, 18},
        {27, 18, 18},
        {27, 21, 33},
        {27, 22, 21},
        {27, 25, 17},
        {27, 26,  4},
        {27, 30, 33},
        {27, 32, 33},
        {27, 32, 39},
        {27, 33, 37},
        {27, 36, 35},
        {27, 37, 32},
        {28,  4, 27},
        {28,  5, 16},
        {28,  7, 40},
        {28,  8,  6},
        {28, 15, 18},
        {28, 16, 38},
        {28, 17, 26},
        {28, 21, 33},
        {28, 22, 39},
        {28, 30,  4},
        {28, 41, 14},
        {28, 42, 24},
        {29,  4, 14},
        {29,  4, 15},
        {29,  4, 38},
        {29,  4, 42},
        {29,  5, 27},
        {29,  7, 19},
        {29,  7, 42},
        {29, 11, 39},
        {29, 24, 21},
        {29, 25, 30},
        {29, 30, 21},
        {29, 34, 11},
        {29, 34, 31},
        {29, 34, 32},
        {29, 34, 44},
        {29, 35, 16},
        {29, 40, 14},
        {29, 40, 35},
        {29, 41,  9},
        {29, 41, 42},
        {29, 42, 21},
        {29, 43,  9},
        {30,  6, 32},
        {30,  7, 41},
        {30,  8,  6},
        {30, 11,  5},
        {30, 11, 10},
        {30, 12, 17},
        {30, 21,  8},
        {30, 21, 35},
        {30, 24, 20},
        {30, 25,  5},
        {30, 28, 35},
        {30, 29, 15},
        {30, 29, 39},
        {30, 32, 26},
        {30, 33, 12},
        {30, 34, 31},
        {30, 34, 32},
        {30, 35, 24},
        {30, 37, 14},
        {30, 45, 38},
        {30, 45, 44},
        {31,  4, 42},
        {31,  6, 12},
        {31,  7, 22},
        {31, 11,  4},
        {31, 15,  4},
        {31, 16, 31},
        {31, 16, 42},
        {31, 17, 20},
        {31, 17, 43},
        {31, 20, 16},
        {31, 20, 32},
        {31, 21, 30},
        {31, 21, 45},
        {31, 29, 10},
        {31, 29, 30},
        {31, 32, 36},
        {31, 34, 43},
        {31, 35, 28},
        {31, 40, 18},
        {31, 40, 39},
        {31, 44,  5},
        {32,  6, 15},
        {32,  9, 27},
        {32, 11, 43},
        {32, 12, 27},
        {32, 12, 43},
        {32, 14, 41},
        {32, 17, 31},
        {32, 21, 39},
        {32, 24, 19},
        {32, 26, 33},
        {32, 29, 20},
        {32, 31,  8},
        {32, 34, 10},
        {32, 35, 28},
        {32, 38, 11},
        {32, 45, 36},
        {33,  5, 23},
        {33,  6, 14},
        {33,  8, 23},
        {33, 10, 16},
        {33, 11, 24},
        {33, 18, 18},
        {33, 18, 42},
        {33, 20, 13},
        {33, 21,  6},
        {33, 23, 11},
        {33, 24, 44},
        {33, 26,  9},
        {33, 33, 27},
        {33, 34, 26},
        {33, 35, 38},
        {33, 39, 21},
        {33, 40, 12},
        {33, 40, 14},
        {33, 41,  5},
        {33, 43, 23},
        {33, 43, 24},
        {33, 45, 44},
        {34,  4, 12},
        {34,  4, 22},
        {34,  9, 34},
        {34,  9, 36},
        {34, 11, 15},
        {34, 11, 31},
        {34, 11, 41},
        {34, 12, 16},
        {34, 12, 23},
        {34, 13, 18},
        {34, 13, 45},
        {34, 14, 28},
        {34, 16, 43},
        {34, 18, 35},
        {34, 19,  6},
        {34, 19,  9},
        {34, 19, 32},
        {34, 22,  9},
        {34, 24,  4},
        {34, 24,  6},
        {34, 27,  8},
        {34, 27, 35},
        {34, 28, 28},
        {34, 29, 38},
        {34, 30,  5},
        {34, 30,  9},
        {34, 30, 10},
        {34, 31, 18},
        {34, 33,  7},
        {34, 35,  8},
        {34, 38, 42},
        {34, 39, 34},
        {34, 41, 36},
        {34, 42, 24},
        {34, 43, 40},
        {34, 45, 22},
        {35,  6, 39},
        {35,  7, 12},
        {35,  8, 28},
        {35, 13,  8},
        {35, 13, 41},
        {35, 14, 14},
        {35, 16, 37},
        {35, 20, 43},
        {35, 21, 39},
        {35, 23,  6},
        {35, 27, 15},
        {35, 27, 44},
        {35, 28,  6},
        {35, 30, 22},
        {35, 31, 36},
        {35, 33, 16},
        {35, 33, 24},
        {35, 34, 23},
        {35, 35, 40},
        {35, 38, 11},
        {35, 42, 42},
        {35, 44, 19},
        {36,  4, 15},
        {36,  4, 28},
        {36,  8,  5},
        {36,  8, 30},
        {36, 10, 11},
        {36, 11,  6},
        {36, 12,  9},
        {36, 14, 21},
        {36, 14, 23},
        {36, 16, 20},
        {36, 16, 25},
        {36, 16, 31},
        {36, 17, 32},
        {36, 17, 44},
        {36, 19,  5},
        {36, 19, 43},
        {36, 20, 17},
        {36, 20, 29},
        {36, 22, 42},
        {36, 24, 18},
        {36, 25,  8},
        {36, 26, 39},
        {36, 33, 32},
        {36, 34, 43},
        {36, 35, 25},
        {36, 37, 12},
        {36, 40, 35},
        {36, 41,  9},
        {36, 41, 29},
        {36, 45, 32},
        {37,  4,  9},
        {37,  5, 34},
        {37,  5, 45},
        {37,  6, 15},
        {37, 12, 44},
        {37, 13, 40},
        {37, 17, 20},
        {37, 17, 33},
        {37, 18, 27},
        {37, 20, 45},
        {37, 26,  8},
        {37, 29,  4},
        {37, 30, 31},
        {37, 32, 16},
        {37, 32, 21},
        {37, 33,  6},
        {37, 37, 24},
        {37, 38, 19},
        {37, 38, 34},
        {37, 39,  6},
        {37, 39, 24},
        {37, 41,  8},
        {37, 41, 10},
        {37, 41, 38},
        {37, 42,  6},
        {37, 42, 25},
        {37, 42, 34},
        {37, 44,  9},
        {37, 45, 39},
        {38,  4, 11},
        {38,  4, 23},
        {38,  7, 12},
        {38,  8, 39},
        {38,  9, 28},
        {38, 13, 15},
        {38, 20, 21},
        {38, 21, 11},
        {38, 21, 19},
        {38, 21, 42},
        {38, 22, 14},
        {38, 23, 29},
        {38, 26, 30},
        {38, 29,  7},
        {38, 29, 22},
        {38, 31, 41},
        {38, 32, 29},
        {38, 34, 11},
        {38, 35, 20},
        {38, 36, 25},
        {38, 38, 32},
        {38, 40,  9},
        {38, 43, 14},
        {38, 43, 20},
        {38, 45, 36},
        {39,  6,  6},
        {39,  8, 28},
        {39,  9, 36},
        {39, 11, 21},
        {39, 13, 13},
        {39, 14, 39},
        {39, 15, 29},
        {39, 15, 31},
        {39, 17, 19},
        {39, 22,  9},
        {39, 23, 16},
        {39, 25, 19},
        {39, 26, 28},
        {39, 26, 39},
        {39, 27, 25},
        {39, 31, 19},
        {39, 31, 21},
        {39, 33,  4},
        {39, 33, 30},
        {39, 34, 19},
        {39, 34, 43},
        {39, 38, 27},
        {39, 40,  4},
        {39, 40, 26},
        {39, 41, 20},
        {39, 41, 24},
        {39, 42, 37},
        {39, 44, 11},
        {40,  4, 17},
        {40,  4, 24},
        {40,  5, 27},
        {40, 10, 11},
        {40, 12, 35},
        {40, 13, 13},
        {40, 13, 31},
        {40, 14, 20},
        {40, 14, 25},
        {40, 15, 28},
        {40, 17,  7},
        {40, 18, 25},
        {40, 19,  8},
        {40, 19, 14},
        {40, 19, 38},
        {40, 21, 28},
        {40, 24, 18},
        {40, 24, 42},
        {40, 25, 42},
        {40, 29, 34},
        {40, 30, 17},
        {40, 32, 23},
        {40, 32, 39},
        {40, 35,  5},
        {40, 38, 37},
        {40, 44, 29},
        {40, 44, 44},
        {41,  4, 11},
        {41,  5, 27},
        {41,  7,  9},
        {41,  8, 36},
        {41,  9, 41},
        {41, 11,  7},
        {41, 12, 27},
        {41, 13, 37},
        {41, 15, 12},
        {41, 18,  4},
        {41, 18,  5},
        {41, 18, 25},
        {41, 18, 28},
        {41, 19, 15},
        {41, 20, 22},
        {41, 20, 43},
        {41, 22, 29},
        {41, 25, 24},
        {41, 26, 36},
        {41, 31, 22},
        {41, 33, 26},
        {41, 34, 41},
        {41, 39, 37},
        {41, 44, 25},
        {41, 44, 31},
        {41, 44, 33},
        {41, 45,  6},
        {42,  6, 12},
        {42, 10, 30},
        {42, 10, 34},
        {42, 12, 32},
        {42, 12, 36},
        {42, 21, 10},
        {42, 21, 38},
        {42, 22, 34},
        {42, 23, 44},
        {42, 24, 21},
        {42, 26, 35},
        {42, 28, 33},
        {42, 28, 38},
        {42, 29,  4},
        {42, 29,  7},
        {42, 30, 20},
        {42, 32,  4},
        {42, 32,  7},
        {42, 35,  5},
        {42, 35, 17},
        {42, 37, 28},
        {42, 38, 38},
        {42, 39,  8},
        {42, 39, 14},
        {42, 41,  6},
        {42, 41,  7},
        {42, 41, 32},
        {42, 42, 20},
        {42, 44,  4},
        {43,  5, 15},
        {43,  9,  8},
        {43, 10, 15},
        {43, 11, 15},
        {43, 11, 24},
        {43, 11, 45},
        {43, 12, 45},
        {43, 13, 25},
        {43, 16, 17},
        {43, 16, 30},
        {43, 16, 31},
        {43, 17, 19},
        {43, 18, 28},
        {43, 18, 45},
        {43, 20, 27},
        {43, 21, 23},
        {43, 22, 11},
        {43, 26, 44},
        {43, 27, 33},
        {43, 28, 18},
        {43, 31, 37},
        {43, 31, 39},
        {43, 33, 36},
        {43, 34, 35},
        {43, 36, 35},
        {43, 37, 45},
        {43, 39,  5},
        {43, 43, 44},
        {43, 44,  5},
        {43, 44, 16},
        {43, 45, 31},
        {43, 45, 41},
        {44,  4, 10},
        {44,  5,  5},
        {44,  6, 25},
        {44,  7, 33},
        {44,  8, 13},
        {44, 11, 35},
        {44, 15, 35},
        {44, 16, 19},
        {44, 22, 38},
        {44, 23, 38},
        {44, 24, 11},
        {44, 26, 20},
        {44, 27, 35},
        {44, 29, 33},
        {44, 30, 44},
        {44, 32, 41},
        {44, 37, 24},
        {44, 38, 38},
        {44, 39, 11},
        {44, 39, 33},
        {44, 45, 16},
        {44, 45, 29},
        {45,  4, 35},
        {45, 13, 17},
        {45, 16, 43},
        {45, 21, 15},
        {45, 21, 32},
        {45, 25, 37},
        {45, 27, 42},
        {45, 31,  6},
        {45, 32, 35},
        {45, 33, 10},
        {45, 35, 16},
        {45, 39, 20},
        {45, 39, 23},
        {45, 40, 41},
        {45, 42,  8},
        {45, 43, 33},

        };

    } else {

        printf("Unrecognized option: %s, exiting ...\n", argv[1]);
        return -1;

    }

    // Build benchmark
    KernelLauncher launcher = libsmm_acc_process_d;
    char buffer[1000];
    char * kernel_descr[1] = {buffer};

    int n_triplets = libsmm_acc_triplets.size();
    printf("# Time %d blocksizes ...\n", n_triplets);

    int errors = 0;
    libsmm_acc_benchmark_t* handle;

    for (int i=0; i<n_triplets; i++) {
        printf("\n\n");
        int m = libsmm_acc_triplets[i][0];
        int n = libsmm_acc_triplets[i][1];
        int k = libsmm_acc_triplets[i][2];
        sprintf(buffer, "%d x %d x %d", m, n, k);
        libsmm_acc_benchmark_init(&handle, timing, m, n, k);
        errors += libsmm_acc_benchmark(handle, m, n, k, 1, &launcher, kernel_descr);
        libsmm_acc_benchmark_finalize(handle);
    }

    printf("# Done, found %d errors.\n", errors);
    return errors;
}