#include <ctime>
#include <iostream>
#include <iomanip>

#include <tc/solver.hpp>
#include <tc/groups.hpp>

template<class G>
void test(const G &group) {
    auto s = std::clock();
    auto cosets = tc::solve(group, {0});
    auto e = std::clock();

    double diff = (double) (e - s) / CLOCKS_PER_SEC;
    int order = cosets.order();

    std::cout
        << std::setw(7) << group.name << ", "
        << std::setw(7) << order << ", "
        << std::fixed << std::setprecision(6) << diff << "s"
        << std::endl;
}

int main() {
    test(tc::group::H<2>());
    test(tc::group::H<3>());
    test(tc::group::H<4>());
    test(tc::group::T(100));
    test(tc::group::T(500));
    test(tc::group::T(1000));
    test(tc::group::E<6>());
    test(tc::group::E<7>());
    test(tc::group::B<6>());
    test(tc::group::B<7>());
    test(tc::group::B<8>());

    return 0;
}