/********************************************************************************
** Form generated from reading UI file 'MainWindow.ui'
**
** Created by: Qt User Interface Compiler version 4.8.7
**
** WARNING! All changes made in this file will be lost when recompiling UI file!
********************************************************************************/

#ifndef UI_MAINWINDOW_H
#define UI_MAINWINDOW_H

#include <QtCore/QVariant>
#include <QtGui/QAction>
#include <QtGui/QApplication>
#include <QtGui/QButtonGroup>
#include <QtGui/QCheckBox>
#include <QtGui/QComboBox>
#include <QtGui/QFrame>
#include <QtGui/QHeaderView>
#include <QtGui/QLabel>
#include <QtGui/QMainWindow>
#include <QtGui/QPushButton>
#include <QtGui/QTextEdit>
#include <QtGui/QWidget>

QT_BEGIN_NAMESPACE

class Ui_MainWindow
{
public:
    QWidget *centralwidget;
    QLabel *ILPString;
    QLabel *FreqString;
    QLabel *CPUString;
    QLabel *CPUPixmap;
    QLabel *NCPUSString;
    QLabel *GMPVERString;
    QFrame *frame;
    QLabel *textLabel10;
    QLabel *textLabel11;
    QComboBox *execBox;
    QComboBox *digits;
    QLabel *textLabel12;
    QComboBox *threadsBox;
    QPushButton *modeButton;
    QFrame *frame_2;
    QLabel *textLabel13;
    QPushButton *flattrButton;
    QCheckBox *checklog;
    QCheckBox *checkout;
    QLabel *textLabel14;
    QPushButton *aboutButton;
    QPushButton *runButton;
    QPushButton *exitButton;
    QPushButton *FontsButton;
    QLabel *textLabel15;
    QComboBox *algoBox;
    QPushButton *updateButton;
    QPushButton *stopButton;
    QLabel *RAMString;
    QTextEdit *TextTerminal;

    void setupUi(QMainWindow *MainWindow)
    {
        if (MainWindow->objectName().isEmpty())
            MainWindow->setObjectName(QString::fromUtf8("MainWindow"));
        MainWindow->resize(570, 640);
        QSizePolicy sizePolicy(QSizePolicy::Fixed, QSizePolicy::Fixed);
        sizePolicy.setHorizontalStretch(0);
        sizePolicy.setVerticalStretch(0);
        sizePolicy.setHeightForWidth(MainWindow->sizePolicy().hasHeightForWidth());
        MainWindow->setSizePolicy(sizePolicy);
        MainWindow->setMinimumSize(QSize(570, 640));
        MainWindow->setMaximumSize(QSize(570, 640));
        MainWindow->setBaseSize(QSize(570, 640));
        MainWindow->setFocusPolicy(Qt::ClickFocus);
        QIcon icon;
        icon.addFile(QString::fromUtf8(":/images/images/cpu.png"), QSize(), QIcon::Normal, QIcon::Off);
        MainWindow->setWindowIcon(icon);
        centralwidget = new QWidget(MainWindow);
        centralwidget->setObjectName(QString::fromUtf8("centralwidget"));
        ILPString = new QLabel(centralwidget);
        ILPString->setObjectName(QString::fromUtf8("ILPString"));
        ILPString->setGeometry(QRect(462, 520, 80, 30));
        QPalette palette;
        QBrush brush(QColor(0, 0, 0, 255));
        brush.setStyle(Qt::SolidPattern);
        palette.setBrush(QPalette::Active, QPalette::WindowText, brush);
        QBrush brush1(QColor(255, 255, 127, 255));
        brush1.setStyle(Qt::SolidPattern);
        palette.setBrush(QPalette::Active, QPalette::Button, brush1);
        QBrush brush2(QColor(255, 255, 255, 255));
        brush2.setStyle(Qt::SolidPattern);
        palette.setBrush(QPalette::Active, QPalette::Light, brush2);
        QBrush brush3(QColor(255, 255, 191, 255));
        brush3.setStyle(Qt::SolidPattern);
        palette.setBrush(QPalette::Active, QPalette::Midlight, brush3);
        QBrush brush4(QColor(127, 127, 63, 255));
        brush4.setStyle(Qt::SolidPattern);
        palette.setBrush(QPalette::Active, QPalette::Dark, brush4);
        QBrush brush5(QColor(170, 170, 84, 255));
        brush5.setStyle(Qt::SolidPattern);
        palette.setBrush(QPalette::Active, QPalette::Mid, brush5);
        palette.setBrush(QPalette::Active, QPalette::Text, brush);
        palette.setBrush(QPalette::Active, QPalette::BrightText, brush2);
        palette.setBrush(QPalette::Active, QPalette::ButtonText, brush);
        palette.setBrush(QPalette::Active, QPalette::Base, brush2);
        palette.setBrush(QPalette::Active, QPalette::Window, brush1);
        palette.setBrush(QPalette::Active, QPalette::Shadow, brush);
        palette.setBrush(QPalette::Active, QPalette::AlternateBase, brush3);
        palette.setBrush(QPalette::Inactive, QPalette::WindowText, brush);
        palette.setBrush(QPalette::Inactive, QPalette::Button, brush1);
        palette.setBrush(QPalette::Inactive, QPalette::Light, brush2);
        palette.setBrush(QPalette::Inactive, QPalette::Midlight, brush3);
        palette.setBrush(QPalette::Inactive, QPalette::Dark, brush4);
        palette.setBrush(QPalette::Inactive, QPalette::Mid, brush5);
        palette.setBrush(QPalette::Inactive, QPalette::Text, brush);
        palette.setBrush(QPalette::Inactive, QPalette::BrightText, brush2);
        palette.setBrush(QPalette::Inactive, QPalette::ButtonText, brush);
        palette.setBrush(QPalette::Inactive, QPalette::Base, brush2);
        palette.setBrush(QPalette::Inactive, QPalette::Window, brush1);
        palette.setBrush(QPalette::Inactive, QPalette::Shadow, brush);
        palette.setBrush(QPalette::Inactive, QPalette::AlternateBase, brush3);
        palette.setBrush(QPalette::Disabled, QPalette::WindowText, brush4);
        palette.setBrush(QPalette::Disabled, QPalette::Button, brush1);
        palette.setBrush(QPalette::Disabled, QPalette::Light, brush2);
        palette.setBrush(QPalette::Disabled, QPalette::Midlight, brush3);
        palette.setBrush(QPalette::Disabled, QPalette::Dark, brush4);
        palette.setBrush(QPalette::Disabled, QPalette::Mid, brush5);
        palette.setBrush(QPalette::Disabled, QPalette::Text, brush4);
        palette.setBrush(QPalette::Disabled, QPalette::BrightText, brush2);
        palette.setBrush(QPalette::Disabled, QPalette::ButtonText, brush4);
        palette.setBrush(QPalette::Disabled, QPalette::Base, brush1);
        palette.setBrush(QPalette::Disabled, QPalette::Window, brush1);
        palette.setBrush(QPalette::Disabled, QPalette::Shadow, brush);
        palette.setBrush(QPalette::Disabled, QPalette::AlternateBase, brush1);
        ILPString->setPalette(palette);
        QFont font;
        font.setFamily(QString::fromUtf8("Serif"));
        font.setPointSize(8);
        font.setBold(true);
        font.setWeight(75);
        ILPString->setFont(font);
        ILPString->setAutoFillBackground(true);
        ILPString->setFrameShape(QFrame::StyledPanel);
        ILPString->setFrameShadow(QFrame::Plain);
        ILPString->setAlignment(Qt::AlignCenter);
        ILPString->setWordWrap(false);
        ILPString->setTextInteractionFlags(Qt::NoTextInteraction);
        FreqString = new QLabel(centralwidget);
        FreqString->setObjectName(QString::fromUtf8("FreqString"));
        FreqString->setGeometry(QRect(10, 60, 420, 20));
        QPalette palette1;
        palette1.setBrush(QPalette::Active, QPalette::WindowText, brush);
        palette1.setBrush(QPalette::Active, QPalette::Button, brush1);
        palette1.setBrush(QPalette::Active, QPalette::Light, brush2);
        palette1.setBrush(QPalette::Active, QPalette::Midlight, brush3);
        palette1.setBrush(QPalette::Active, QPalette::Dark, brush4);
        palette1.setBrush(QPalette::Active, QPalette::Mid, brush5);
        palette1.setBrush(QPalette::Active, QPalette::Text, brush);
        palette1.setBrush(QPalette::Active, QPalette::BrightText, brush2);
        palette1.setBrush(QPalette::Active, QPalette::ButtonText, brush);
        palette1.setBrush(QPalette::Active, QPalette::Base, brush2);
        palette1.setBrush(QPalette::Active, QPalette::Window, brush1);
        palette1.setBrush(QPalette::Active, QPalette::Shadow, brush);
        palette1.setBrush(QPalette::Active, QPalette::AlternateBase, brush3);
        palette1.setBrush(QPalette::Inactive, QPalette::WindowText, brush);
        palette1.setBrush(QPalette::Inactive, QPalette::Button, brush1);
        palette1.setBrush(QPalette::Inactive, QPalette::Light, brush2);
        palette1.setBrush(QPalette::Inactive, QPalette::Midlight, brush3);
        palette1.setBrush(QPalette::Inactive, QPalette::Dark, brush4);
        palette1.setBrush(QPalette::Inactive, QPalette::Mid, brush5);
        palette1.setBrush(QPalette::Inactive, QPalette::Text, brush);
        palette1.setBrush(QPalette::Inactive, QPalette::BrightText, brush2);
        palette1.setBrush(QPalette::Inactive, QPalette::ButtonText, brush);
        palette1.setBrush(QPalette::Inactive, QPalette::Base, brush2);
        palette1.setBrush(QPalette::Inactive, QPalette::Window, brush1);
        palette1.setBrush(QPalette::Inactive, QPalette::Shadow, brush);
        palette1.setBrush(QPalette::Inactive, QPalette::AlternateBase, brush3);
        palette1.setBrush(QPalette::Disabled, QPalette::WindowText, brush4);
        palette1.setBrush(QPalette::Disabled, QPalette::Button, brush1);
        palette1.setBrush(QPalette::Disabled, QPalette::Light, brush2);
        palette1.setBrush(QPalette::Disabled, QPalette::Midlight, brush3);
        palette1.setBrush(QPalette::Disabled, QPalette::Dark, brush4);
        palette1.setBrush(QPalette::Disabled, QPalette::Mid, brush5);
        palette1.setBrush(QPalette::Disabled, QPalette::Text, brush4);
        palette1.setBrush(QPalette::Disabled, QPalette::BrightText, brush2);
        palette1.setBrush(QPalette::Disabled, QPalette::ButtonText, brush4);
        palette1.setBrush(QPalette::Disabled, QPalette::Base, brush1);
        palette1.setBrush(QPalette::Disabled, QPalette::Window, brush1);
        palette1.setBrush(QPalette::Disabled, QPalette::Shadow, brush);
        palette1.setBrush(QPalette::Disabled, QPalette::AlternateBase, brush1);
        FreqString->setPalette(palette1);
        FreqString->setFont(font);
        FreqString->setAutoFillBackground(true);
        FreqString->setFrameShape(QFrame::StyledPanel);
        FreqString->setFrameShadow(QFrame::Plain);
        FreqString->setAlignment(Qt::AlignCenter);
        FreqString->setWordWrap(true);
        FreqString->setTextInteractionFlags(Qt::NoTextInteraction);
        CPUString = new QLabel(centralwidget);
        CPUString->setObjectName(QString::fromUtf8("CPUString"));
        CPUString->setGeometry(QRect(10, 40, 420, 20));
        QPalette palette2;
        palette2.setBrush(QPalette::Active, QPalette::WindowText, brush);
        palette2.setBrush(QPalette::Active, QPalette::Button, brush1);
        palette2.setBrush(QPalette::Active, QPalette::Light, brush2);
        palette2.setBrush(QPalette::Active, QPalette::Midlight, brush3);
        palette2.setBrush(QPalette::Active, QPalette::Dark, brush4);
        palette2.setBrush(QPalette::Active, QPalette::Mid, brush5);
        palette2.setBrush(QPalette::Active, QPalette::Text, brush);
        palette2.setBrush(QPalette::Active, QPalette::BrightText, brush2);
        palette2.setBrush(QPalette::Active, QPalette::ButtonText, brush);
        palette2.setBrush(QPalette::Active, QPalette::Base, brush2);
        palette2.setBrush(QPalette::Active, QPalette::Window, brush1);
        palette2.setBrush(QPalette::Active, QPalette::Shadow, brush);
        palette2.setBrush(QPalette::Active, QPalette::AlternateBase, brush3);
        palette2.setBrush(QPalette::Inactive, QPalette::WindowText, brush);
        palette2.setBrush(QPalette::Inactive, QPalette::Button, brush1);
        palette2.setBrush(QPalette::Inactive, QPalette::Light, brush2);
        palette2.setBrush(QPalette::Inactive, QPalette::Midlight, brush3);
        palette2.setBrush(QPalette::Inactive, QPalette::Dark, brush4);
        palette2.setBrush(QPalette::Inactive, QPalette::Mid, brush5);
        palette2.setBrush(QPalette::Inactive, QPalette::Text, brush);
        palette2.setBrush(QPalette::Inactive, QPalette::BrightText, brush2);
        palette2.setBrush(QPalette::Inactive, QPalette::ButtonText, brush);
        palette2.setBrush(QPalette::Inactive, QPalette::Base, brush2);
        palette2.setBrush(QPalette::Inactive, QPalette::Window, brush1);
        palette2.setBrush(QPalette::Inactive, QPalette::Shadow, brush);
        palette2.setBrush(QPalette::Inactive, QPalette::AlternateBase, brush3);
        palette2.setBrush(QPalette::Disabled, QPalette::WindowText, brush4);
        palette2.setBrush(QPalette::Disabled, QPalette::Button, brush1);
        palette2.setBrush(QPalette::Disabled, QPalette::Light, brush2);
        palette2.setBrush(QPalette::Disabled, QPalette::Midlight, brush3);
        palette2.setBrush(QPalette::Disabled, QPalette::Dark, brush4);
        palette2.setBrush(QPalette::Disabled, QPalette::Mid, brush5);
        palette2.setBrush(QPalette::Disabled, QPalette::Text, brush4);
        palette2.setBrush(QPalette::Disabled, QPalette::BrightText, brush2);
        palette2.setBrush(QPalette::Disabled, QPalette::ButtonText, brush4);
        palette2.setBrush(QPalette::Disabled, QPalette::Base, brush1);
        palette2.setBrush(QPalette::Disabled, QPalette::Window, brush1);
        palette2.setBrush(QPalette::Disabled, QPalette::Shadow, brush);
        palette2.setBrush(QPalette::Disabled, QPalette::AlternateBase, brush1);
        CPUString->setPalette(palette2);
        CPUString->setFont(font);
        CPUString->setAutoFillBackground(true);
        CPUString->setFrameShape(QFrame::StyledPanel);
        CPUString->setFrameShadow(QFrame::Plain);
        CPUString->setAlignment(Qt::AlignCenter);
        CPUString->setWordWrap(true);
        CPUString->setTextInteractionFlags(Qt::NoTextInteraction);
        CPUPixmap = new QLabel(centralwidget);
        CPUPixmap->setObjectName(QString::fromUtf8("CPUPixmap"));
        CPUPixmap->setGeometry(QRect(462, 360, 80, 70));
        QPalette palette3;
        palette3.setBrush(QPalette::Active, QPalette::WindowText, brush);
        QBrush brush6(QColor(195, 195, 195, 255));
        brush6.setStyle(Qt::SolidPattern);
        palette3.setBrush(QPalette::Active, QPalette::Button, brush6);
        palette3.setBrush(QPalette::Active, QPalette::Light, brush2);
        QBrush brush7(QColor(225, 225, 225, 255));
        brush7.setStyle(Qt::SolidPattern);
        palette3.setBrush(QPalette::Active, QPalette::Midlight, brush7);
        QBrush brush8(QColor(97, 97, 97, 255));
        brush8.setStyle(Qt::SolidPattern);
        palette3.setBrush(QPalette::Active, QPalette::Dark, brush8);
        QBrush brush9(QColor(130, 130, 130, 255));
        brush9.setStyle(Qt::SolidPattern);
        palette3.setBrush(QPalette::Active, QPalette::Mid, brush9);
        palette3.setBrush(QPalette::Active, QPalette::Text, brush);
        palette3.setBrush(QPalette::Active, QPalette::BrightText, brush2);
        palette3.setBrush(QPalette::Active, QPalette::ButtonText, brush);
        palette3.setBrush(QPalette::Active, QPalette::Base, brush2);
        palette3.setBrush(QPalette::Active, QPalette::Window, brush6);
        palette3.setBrush(QPalette::Active, QPalette::Shadow, brush);
        palette3.setBrush(QPalette::Active, QPalette::AlternateBase, brush7);
        QBrush brush10(QColor(255, 255, 220, 255));
        brush10.setStyle(Qt::SolidPattern);
        palette3.setBrush(QPalette::Active, QPalette::ToolTipBase, brush10);
        palette3.setBrush(QPalette::Active, QPalette::ToolTipText, brush);
        palette3.setBrush(QPalette::Inactive, QPalette::WindowText, brush);
        palette3.setBrush(QPalette::Inactive, QPalette::Button, brush6);
        palette3.setBrush(QPalette::Inactive, QPalette::Light, brush2);
        palette3.setBrush(QPalette::Inactive, QPalette::Midlight, brush7);
        palette3.setBrush(QPalette::Inactive, QPalette::Dark, brush8);
        palette3.setBrush(QPalette::Inactive, QPalette::Mid, brush9);
        palette3.setBrush(QPalette::Inactive, QPalette::Text, brush);
        palette3.setBrush(QPalette::Inactive, QPalette::BrightText, brush2);
        palette3.setBrush(QPalette::Inactive, QPalette::ButtonText, brush);
        palette3.setBrush(QPalette::Inactive, QPalette::Base, brush2);
        palette3.setBrush(QPalette::Inactive, QPalette::Window, brush6);
        palette3.setBrush(QPalette::Inactive, QPalette::Shadow, brush);
        palette3.setBrush(QPalette::Inactive, QPalette::AlternateBase, brush7);
        palette3.setBrush(QPalette::Inactive, QPalette::ToolTipBase, brush10);
        palette3.setBrush(QPalette::Inactive, QPalette::ToolTipText, brush);
        palette3.setBrush(QPalette::Disabled, QPalette::WindowText, brush8);
        palette3.setBrush(QPalette::Disabled, QPalette::Button, brush6);
        palette3.setBrush(QPalette::Disabled, QPalette::Light, brush2);
        palette3.setBrush(QPalette::Disabled, QPalette::Midlight, brush7);
        palette3.setBrush(QPalette::Disabled, QPalette::Dark, brush8);
        palette3.setBrush(QPalette::Disabled, QPalette::Mid, brush9);
        palette3.setBrush(QPalette::Disabled, QPalette::Text, brush8);
        palette3.setBrush(QPalette::Disabled, QPalette::BrightText, brush2);
        palette3.setBrush(QPalette::Disabled, QPalette::ButtonText, brush8);
        palette3.setBrush(QPalette::Disabled, QPalette::Base, brush6);
        palette3.setBrush(QPalette::Disabled, QPalette::Window, brush6);
        palette3.setBrush(QPalette::Disabled, QPalette::Shadow, brush);
        palette3.setBrush(QPalette::Disabled, QPalette::AlternateBase, brush6);
        palette3.setBrush(QPalette::Disabled, QPalette::ToolTipBase, brush10);
        palette3.setBrush(QPalette::Disabled, QPalette::ToolTipText, brush);
        CPUPixmap->setPalette(palette3);
        CPUPixmap->setAutoFillBackground(true);
        CPUPixmap->setFrameShape(QFrame::NoFrame);
        CPUPixmap->setFrameShadow(QFrame::Plain);
        CPUPixmap->setScaledContents(true);
        CPUPixmap->setWordWrap(false);
        NCPUSString = new QLabel(centralwidget);
        NCPUSString->setObjectName(QString::fromUtf8("NCPUSString"));
        NCPUSString->setGeometry(QRect(462, 440, 80, 30));
        QPalette palette4;
        palette4.setBrush(QPalette::Active, QPalette::WindowText, brush);
        palette4.setBrush(QPalette::Active, QPalette::Button, brush1);
        palette4.setBrush(QPalette::Active, QPalette::Light, brush2);
        palette4.setBrush(QPalette::Active, QPalette::Midlight, brush3);
        palette4.setBrush(QPalette::Active, QPalette::Dark, brush4);
        palette4.setBrush(QPalette::Active, QPalette::Mid, brush5);
        palette4.setBrush(QPalette::Active, QPalette::Text, brush);
        palette4.setBrush(QPalette::Active, QPalette::BrightText, brush2);
        palette4.setBrush(QPalette::Active, QPalette::ButtonText, brush);
        palette4.setBrush(QPalette::Active, QPalette::Base, brush2);
        palette4.setBrush(QPalette::Active, QPalette::Window, brush1);
        palette4.setBrush(QPalette::Active, QPalette::Shadow, brush);
        palette4.setBrush(QPalette::Active, QPalette::AlternateBase, brush3);
        palette4.setBrush(QPalette::Inactive, QPalette::WindowText, brush);
        palette4.setBrush(QPalette::Inactive, QPalette::Button, brush1);
        palette4.setBrush(QPalette::Inactive, QPalette::Light, brush2);
        palette4.setBrush(QPalette::Inactive, QPalette::Midlight, brush3);
        palette4.setBrush(QPalette::Inactive, QPalette::Dark, brush4);
        palette4.setBrush(QPalette::Inactive, QPalette::Mid, brush5);
        palette4.setBrush(QPalette::Inactive, QPalette::Text, brush);
        palette4.setBrush(QPalette::Inactive, QPalette::BrightText, brush2);
        palette4.setBrush(QPalette::Inactive, QPalette::ButtonText, brush);
        palette4.setBrush(QPalette::Inactive, QPalette::Base, brush2);
        palette4.setBrush(QPalette::Inactive, QPalette::Window, brush1);
        palette4.setBrush(QPalette::Inactive, QPalette::Shadow, brush);
        palette4.setBrush(QPalette::Inactive, QPalette::AlternateBase, brush3);
        palette4.setBrush(QPalette::Disabled, QPalette::WindowText, brush4);
        palette4.setBrush(QPalette::Disabled, QPalette::Button, brush1);
        palette4.setBrush(QPalette::Disabled, QPalette::Light, brush2);
        palette4.setBrush(QPalette::Disabled, QPalette::Midlight, brush3);
        palette4.setBrush(QPalette::Disabled, QPalette::Dark, brush4);
        palette4.setBrush(QPalette::Disabled, QPalette::Mid, brush5);
        palette4.setBrush(QPalette::Disabled, QPalette::Text, brush4);
        palette4.setBrush(QPalette::Disabled, QPalette::BrightText, brush2);
        palette4.setBrush(QPalette::Disabled, QPalette::ButtonText, brush4);
        palette4.setBrush(QPalette::Disabled, QPalette::Base, brush1);
        palette4.setBrush(QPalette::Disabled, QPalette::Window, brush1);
        palette4.setBrush(QPalette::Disabled, QPalette::Shadow, brush);
        palette4.setBrush(QPalette::Disabled, QPalette::AlternateBase, brush1);
        NCPUSString->setPalette(palette4);
        NCPUSString->setFont(font);
        NCPUSString->setAutoFillBackground(true);
        NCPUSString->setFrameShape(QFrame::StyledPanel);
        NCPUSString->setFrameShadow(QFrame::Plain);
        NCPUSString->setAlignment(Qt::AlignCenter);
        NCPUSString->setWordWrap(false);
        NCPUSString->setTextInteractionFlags(Qt::NoTextInteraction);
        GMPVERString = new QLabel(centralwidget);
        GMPVERString->setObjectName(QString::fromUtf8("GMPVERString"));
        GMPVERString->setGeometry(QRect(462, 560, 80, 30));
        QPalette palette5;
        palette5.setBrush(QPalette::Active, QPalette::WindowText, brush);
        palette5.setBrush(QPalette::Active, QPalette::Button, brush1);
        palette5.setBrush(QPalette::Active, QPalette::Light, brush2);
        palette5.setBrush(QPalette::Active, QPalette::Midlight, brush3);
        palette5.setBrush(QPalette::Active, QPalette::Dark, brush4);
        palette5.setBrush(QPalette::Active, QPalette::Mid, brush5);
        palette5.setBrush(QPalette::Active, QPalette::Text, brush);
        palette5.setBrush(QPalette::Active, QPalette::BrightText, brush2);
        palette5.setBrush(QPalette::Active, QPalette::ButtonText, brush);
        palette5.setBrush(QPalette::Active, QPalette::Base, brush2);
        palette5.setBrush(QPalette::Active, QPalette::Window, brush1);
        palette5.setBrush(QPalette::Active, QPalette::Shadow, brush);
        palette5.setBrush(QPalette::Active, QPalette::AlternateBase, brush3);
        palette5.setBrush(QPalette::Inactive, QPalette::WindowText, brush);
        palette5.setBrush(QPalette::Inactive, QPalette::Button, brush1);
        palette5.setBrush(QPalette::Inactive, QPalette::Light, brush2);
        palette5.setBrush(QPalette::Inactive, QPalette::Midlight, brush3);
        palette5.setBrush(QPalette::Inactive, QPalette::Dark, brush4);
        palette5.setBrush(QPalette::Inactive, QPalette::Mid, brush5);
        palette5.setBrush(QPalette::Inactive, QPalette::Text, brush);
        palette5.setBrush(QPalette::Inactive, QPalette::BrightText, brush2);
        palette5.setBrush(QPalette::Inactive, QPalette::ButtonText, brush);
        palette5.setBrush(QPalette::Inactive, QPalette::Base, brush2);
        palette5.setBrush(QPalette::Inactive, QPalette::Window, brush1);
        palette5.setBrush(QPalette::Inactive, QPalette::Shadow, brush);
        palette5.setBrush(QPalette::Inactive, QPalette::AlternateBase, brush3);
        palette5.setBrush(QPalette::Disabled, QPalette::WindowText, brush4);
        palette5.setBrush(QPalette::Disabled, QPalette::Button, brush1);
        palette5.setBrush(QPalette::Disabled, QPalette::Light, brush2);
        palette5.setBrush(QPalette::Disabled, QPalette::Midlight, brush3);
        palette5.setBrush(QPalette::Disabled, QPalette::Dark, brush4);
        palette5.setBrush(QPalette::Disabled, QPalette::Mid, brush5);
        palette5.setBrush(QPalette::Disabled, QPalette::Text, brush4);
        palette5.setBrush(QPalette::Disabled, QPalette::BrightText, brush2);
        palette5.setBrush(QPalette::Disabled, QPalette::ButtonText, brush4);
        palette5.setBrush(QPalette::Disabled, QPalette::Base, brush1);
        palette5.setBrush(QPalette::Disabled, QPalette::Window, brush1);
        palette5.setBrush(QPalette::Disabled, QPalette::Shadow, brush);
        palette5.setBrush(QPalette::Disabled, QPalette::AlternateBase, brush1);
        GMPVERString->setPalette(palette5);
        GMPVERString->setFont(font);
        GMPVERString->setAutoFillBackground(true);
        GMPVERString->setFrameShape(QFrame::StyledPanel);
        GMPVERString->setFrameShadow(QFrame::Plain);
        GMPVERString->setAlignment(Qt::AlignCenter);
        GMPVERString->setWordWrap(false);
        GMPVERString->setTextInteractionFlags(Qt::NoTextInteraction);
        frame = new QFrame(centralwidget);
        frame->setObjectName(QString::fromUtf8("frame"));
        frame->setGeometry(QRect(10, 10, 561, 31));
        frame->setFrameShape(QFrame::NoFrame);
        frame->setFrameShadow(QFrame::Plain);
        textLabel10 = new QLabel(frame);
        textLabel10->setObjectName(QString::fromUtf8("textLabel10"));
        textLabel10->setGeometry(QRect(0, 0, 71, 30));
        textLabel10->setFont(font);
        textLabel10->setTextFormat(Qt::AutoText);
        textLabel10->setScaledContents(false);
        textLabel10->setWordWrap(false);
        textLabel11 = new QLabel(frame);
        textLabel11->setObjectName(QString::fromUtf8("textLabel11"));
        textLabel11->setGeometry(QRect(170, 0, 81, 30));
        textLabel11->setFont(font);
        textLabel11->setWordWrap(false);
        execBox = new QComboBox(frame);
        execBox->setObjectName(QString::fromUtf8("execBox"));
        execBox->setGeometry(QRect(264, 0, 51, 25));
        execBox->setFont(font);
        execBox->setFocusPolicy(Qt::ClickFocus);
        execBox->setContextMenuPolicy(Qt::NoContextMenu);
        digits = new QComboBox(frame);
        digits->setObjectName(QString::fromUtf8("digits"));
        digits->setGeometry(QRect(79, 0, 81, 25));
        digits->setFont(font);
        digits->setFocusPolicy(Qt::ClickFocus);
        digits->setContextMenuPolicy(Qt::NoContextMenu);
        textLabel12 = new QLabel(frame);
        textLabel12->setObjectName(QString::fromUtf8("textLabel12"));
        textLabel12->setGeometry(QRect(320, 0, 71, 30));
        textLabel12->setFont(font);
        textLabel12->setWordWrap(false);
        threadsBox = new QComboBox(frame);
        threadsBox->setObjectName(QString::fromUtf8("threadsBox"));
        threadsBox->setGeometry(QRect(404, 0, 51, 25));
        threadsBox->setFont(font);
        threadsBox->setFocusPolicy(Qt::ClickFocus);
        threadsBox->setContextMenuPolicy(Qt::NoContextMenu);
        modeButton = new QPushButton(frame);
        modeButton->setObjectName(QString::fromUtf8("modeButton"));
        modeButton->setEnabled(false);
        modeButton->setGeometry(QRect(470, 0, 80, 25));
        modeButton->setFont(font);
        modeButton->setFocusPolicy(Qt::ClickFocus);
        modeButton->setContextMenuPolicy(Qt::NoContextMenu);
        frame_2 = new QFrame(centralwidget);
        frame_2->setObjectName(QString::fromUtf8("frame_2"));
        frame_2->setGeometry(QRect(440, 50, 125, 301));
        frame_2->setFrameShape(QFrame::NoFrame);
        frame_2->setFrameShadow(QFrame::Plain);
        textLabel13 = new QLabel(frame_2);
        textLabel13->setObjectName(QString::fromUtf8("textLabel13"));
        textLabel13->setGeometry(QRect(10, 60, 81, 20));
        textLabel13->setFont(font);
        textLabel13->setAlignment(Qt::AlignBottom);
        textLabel13->setWordWrap(true);
        flattrButton = new QPushButton(frame_2);
        flattrButton->setObjectName(QString::fromUtf8("flattrButton"));
        flattrButton->setGeometry(QRect(22, 235, 80, 30));
        flattrButton->setFont(font);
        flattrButton->setFocusPolicy(Qt::ClickFocus);
        flattrButton->setContextMenuPolicy(Qt::NoContextMenu);
        flattrButton->setAutoFillBackground(false);
        QIcon icon1;
        icon1.addFile(QString::fromUtf8(":/images/images/flattr.png"), QSize(), QIcon::Normal, QIcon::Off);
        flattrButton->setIcon(icon1);
        flattrButton->setIconSize(QSize(70, 25));
        flattrButton->setAutoDefault(false);
        flattrButton->setDefault(false);
        flattrButton->setFlat(false);
        checklog = new QCheckBox(frame_2);
        checklog->setObjectName(QString::fromUtf8("checklog"));
        checklog->setGeometry(QRect(100, 60, 16, 20));
        QFont font1;
        font1.setFamily(QString::fromUtf8("Serif"));
        font1.setPointSize(9);
        checklog->setFont(font1);
        checkout = new QCheckBox(frame_2);
        checkout->setObjectName(QString::fromUtf8("checkout"));
        checkout->setGeometry(QRect(100, 90, 16, 20));
        checkout->setFont(font1);
        textLabel14 = new QLabel(frame_2);
        textLabel14->setObjectName(QString::fromUtf8("textLabel14"));
        textLabel14->setGeometry(QRect(10, 90, 81, 20));
        textLabel14->setFont(font);
        textLabel14->setAlignment(Qt::AlignBottom);
        textLabel14->setWordWrap(true);
        aboutButton = new QPushButton(frame_2);
        aboutButton->setObjectName(QString::fromUtf8("aboutButton"));
        aboutButton->setGeometry(QRect(22, 205, 80, 30));
        aboutButton->setFont(font);
        aboutButton->setFocusPolicy(Qt::ClickFocus);
        aboutButton->setContextMenuPolicy(Qt::NoContextMenu);
        runButton = new QPushButton(frame_2);
        runButton->setObjectName(QString::fromUtf8("runButton"));
        runButton->setGeometry(QRect(22, 115, 80, 30));
        runButton->setFont(font);
        runButton->setFocusPolicy(Qt::ClickFocus);
        runButton->setContextMenuPolicy(Qt::NoContextMenu);
        exitButton = new QPushButton(frame_2);
        exitButton->setObjectName(QString::fromUtf8("exitButton"));
        exitButton->setGeometry(QRect(22, 265, 80, 30));
        exitButton->setFont(font);
        exitButton->setFocusPolicy(Qt::ClickFocus);
        exitButton->setContextMenuPolicy(Qt::NoContextMenu);
        FontsButton = new QPushButton(frame_2);
        FontsButton->setObjectName(QString::fromUtf8("FontsButton"));
        FontsButton->setGeometry(QRect(22, 145, 80, 30));
        FontsButton->setFont(font);
        FontsButton->setFocusPolicy(Qt::ClickFocus);
        FontsButton->setContextMenuPolicy(Qt::NoContextMenu);
        textLabel15 = new QLabel(frame_2);
        textLabel15->setObjectName(QString::fromUtf8("textLabel15"));
        textLabel15->setGeometry(QRect(10, 0, 101, 20));
        textLabel15->setFont(font);
        textLabel15->setAlignment(Qt::AlignBottom);
        textLabel15->setWordWrap(true);
        algoBox = new QComboBox(frame_2);
        algoBox->setObjectName(QString::fromUtf8("algoBox"));
        algoBox->setGeometry(QRect(10, 25, 110, 25));
        QSizePolicy sizePolicy1(QSizePolicy::Minimum, QSizePolicy::Fixed);
        sizePolicy1.setHorizontalStretch(0);
        sizePolicy1.setVerticalStretch(0);
        sizePolicy1.setHeightForWidth(algoBox->sizePolicy().hasHeightForWidth());
        algoBox->setSizePolicy(sizePolicy1);
        QFont font2;
        font2.setFamily(QString::fromUtf8("Serif"));
        font2.setPointSize(8);
        algoBox->setFont(font2);
        algoBox->setFocusPolicy(Qt::ClickFocus);
        updateButton = new QPushButton(frame_2);
        updateButton->setObjectName(QString::fromUtf8("updateButton"));
        updateButton->setGeometry(QRect(22, 175, 80, 30));
        updateButton->setFont(font);
        updateButton->setFocusPolicy(Qt::ClickFocus);
        updateButton->setContextMenuPolicy(Qt::NoContextMenu);
        stopButton = new QPushButton(centralwidget);
        stopButton->setObjectName(QString::fromUtf8("stopButton"));
        stopButton->setEnabled(false);
        stopButton->setGeometry(QRect(462, 600, 80, 30));
        QPalette palette6;
        QBrush brush11(QColor(255, 0, 0, 255));
        brush11.setStyle(Qt::SolidPattern);
        palette6.setBrush(QPalette::Active, QPalette::ButtonText, brush11);
        palette6.setBrush(QPalette::Inactive, QPalette::ButtonText, brush11);
        QBrush brush12(QColor(119, 119, 119, 255));
        brush12.setStyle(Qt::SolidPattern);
        palette6.setBrush(QPalette::Disabled, QPalette::ButtonText, brush12);
        stopButton->setPalette(palette6);
        QFont font3;
        font3.setPointSize(11);
        font3.setBold(true);
        font3.setWeight(75);
        stopButton->setFont(font3);
        stopButton->setCursor(QCursor(Qt::ArrowCursor));
        stopButton->setMouseTracking(false);
        RAMString = new QLabel(centralwidget);
        RAMString->setObjectName(QString::fromUtf8("RAMString"));
        RAMString->setGeometry(QRect(462, 480, 80, 30));
        QPalette palette7;
        palette7.setBrush(QPalette::Active, QPalette::WindowText, brush);
        palette7.setBrush(QPalette::Active, QPalette::Button, brush1);
        palette7.setBrush(QPalette::Active, QPalette::Light, brush2);
        palette7.setBrush(QPalette::Active, QPalette::Midlight, brush3);
        palette7.setBrush(QPalette::Active, QPalette::Dark, brush4);
        palette7.setBrush(QPalette::Active, QPalette::Mid, brush5);
        palette7.setBrush(QPalette::Active, QPalette::Text, brush);
        palette7.setBrush(QPalette::Active, QPalette::BrightText, brush2);
        palette7.setBrush(QPalette::Active, QPalette::ButtonText, brush);
        palette7.setBrush(QPalette::Active, QPalette::Base, brush2);
        palette7.setBrush(QPalette::Active, QPalette::Window, brush1);
        palette7.setBrush(QPalette::Active, QPalette::Shadow, brush);
        palette7.setBrush(QPalette::Active, QPalette::AlternateBase, brush3);
        palette7.setBrush(QPalette::Inactive, QPalette::WindowText, brush);
        palette7.setBrush(QPalette::Inactive, QPalette::Button, brush1);
        palette7.setBrush(QPalette::Inactive, QPalette::Light, brush2);
        palette7.setBrush(QPalette::Inactive, QPalette::Midlight, brush3);
        palette7.setBrush(QPalette::Inactive, QPalette::Dark, brush4);
        palette7.setBrush(QPalette::Inactive, QPalette::Mid, brush5);
        palette7.setBrush(QPalette::Inactive, QPalette::Text, brush);
        palette7.setBrush(QPalette::Inactive, QPalette::BrightText, brush2);
        palette7.setBrush(QPalette::Inactive, QPalette::ButtonText, brush);
        palette7.setBrush(QPalette::Inactive, QPalette::Base, brush2);
        palette7.setBrush(QPalette::Inactive, QPalette::Window, brush1);
        palette7.setBrush(QPalette::Inactive, QPalette::Shadow, brush);
        palette7.setBrush(QPalette::Inactive, QPalette::AlternateBase, brush3);
        palette7.setBrush(QPalette::Disabled, QPalette::WindowText, brush4);
        palette7.setBrush(QPalette::Disabled, QPalette::Button, brush1);
        palette7.setBrush(QPalette::Disabled, QPalette::Light, brush2);
        palette7.setBrush(QPalette::Disabled, QPalette::Midlight, brush3);
        palette7.setBrush(QPalette::Disabled, QPalette::Dark, brush4);
        palette7.setBrush(QPalette::Disabled, QPalette::Mid, brush5);
        palette7.setBrush(QPalette::Disabled, QPalette::Text, brush4);
        palette7.setBrush(QPalette::Disabled, QPalette::BrightText, brush2);
        palette7.setBrush(QPalette::Disabled, QPalette::ButtonText, brush4);
        palette7.setBrush(QPalette::Disabled, QPalette::Base, brush1);
        palette7.setBrush(QPalette::Disabled, QPalette::Window, brush1);
        palette7.setBrush(QPalette::Disabled, QPalette::Shadow, brush);
        palette7.setBrush(QPalette::Disabled, QPalette::AlternateBase, brush1);
        RAMString->setPalette(palette7);
        RAMString->setFont(font);
        RAMString->setAutoFillBackground(true);
        RAMString->setFrameShape(QFrame::StyledPanel);
        RAMString->setFrameShadow(QFrame::Plain);
        RAMString->setAlignment(Qt::AlignCenter);
        RAMString->setWordWrap(false);
        RAMString->setTextInteractionFlags(Qt::NoTextInteraction);
        TextTerminal = new QTextEdit(centralwidget);
        TextTerminal->setObjectName(QString::fromUtf8("TextTerminal"));
        TextTerminal->setGeometry(QRect(10, 80, 420, 555));
        QPalette palette8;
        QBrush brush13(QColor(204, 221, 255, 255));
        brush13.setStyle(Qt::SolidPattern);
        palette8.setBrush(QPalette::Active, QPalette::Base, brush13);
        palette8.setBrush(QPalette::Inactive, QPalette::Base, brush13);
        QBrush brush14(QColor(244, 244, 244, 255));
        brush14.setStyle(Qt::SolidPattern);
        palette8.setBrush(QPalette::Disabled, QPalette::Base, brush14);
        TextTerminal->setPalette(palette8);
        QFont font4;
        font4.setFamily(QString::fromUtf8("Courier New"));
        TextTerminal->setFont(font4);
        TextTerminal->setFocusPolicy(Qt::ClickFocus);
        TextTerminal->setContextMenuPolicy(Qt::NoContextMenu);
        TextTerminal->setFrameShape(QFrame::StyledPanel);
        TextTerminal->setFrameShadow(QFrame::Raised);
        TextTerminal->setReadOnly(true);
        MainWindow->setCentralWidget(centralwidget);

        retranslateUi(MainWindow);

        digits->setCurrentIndex(0);
        threadsBox->setCurrentIndex(0);


        QMetaObject::connectSlotsByName(MainWindow);
    } // setupUi

    void retranslateUi(QMainWindow *MainWindow)
    {
        MainWindow->setWindowTitle(QApplication::translate("MainWindow", "System Stability Tester. Version 1.5.1", 0, QApplication::UnicodeUTF8));
        ILPString->setText(QString());
        FreqString->setText(QString());
        CPUString->setText(QString());
        NCPUSString->setText(QString());
        GMPVERString->setText(QString());
        textLabel10->setText(QApplication::translate("MainWindow", "Pi digits:", 0, QApplication::UnicodeUTF8));
        textLabel11->setText(QApplication::translate("MainWindow", "Turns:", 0, QApplication::UnicodeUTF8));
        execBox->clear();
        execBox->insertItems(0, QStringList()
         << QApplication::translate("MainWindow", "1", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "2", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "3", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "4", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "5", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "6", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "7", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "8", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "9", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "10", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "20", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "30", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "40", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "50", 0, QApplication::UnicodeUTF8)
        );
#ifndef QT_NO_WHATSTHIS
        execBox->setWhatsThis(QApplication::translate("MainWindow", "The times we want to perform the calculation<p align=\"center\"></p>", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_WHATSTHIS
        digits->clear();
        digits->insertItems(0, QStringList()
         << QApplication::translate("MainWindow", "128K", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "256K", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "512K", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "1M", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "2M", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "4M", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "8M", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "16M", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "32M", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "64M", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "128M", 0, QApplication::UnicodeUTF8)
        );
#ifndef QT_NO_WHATSTHIS
        digits->setWhatsThis(QApplication::translate("MainWindow", "<p align=\"center\"><font face=\"Arial\">The number of digits of pi that we are going to calculate using the <b>Borwein<i></i></b> method</font><font></font></p>", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_WHATSTHIS
        textLabel12->setText(QApplication::translate("MainWindow", "Threads:", 0, QApplication::UnicodeUTF8));
        threadsBox->clear();
        threadsBox->insertItems(0, QStringList()
         << QApplication::translate("MainWindow", "1", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "2", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "4", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "8", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "16", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "32", 0, QApplication::UnicodeUTF8)
        );
#ifndef QT_NO_WHATSTHIS
        threadsBox->setWhatsThis(QApplication::translate("MainWindow", "<p align=\"center\">The number of the threads we want to open. The more the threads, the more the stress we apply to the system</p>", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_WHATSTHIS
        modeButton->setText(QApplication::translate("MainWindow", "Test", 0, QApplication::UnicodeUTF8));
        textLabel13->setText(QApplication::translate("MainWindow", "log file", 0, QApplication::UnicodeUTF8));
        flattrButton->setText(QString());
#ifndef QT_NO_WHATSTHIS
        checklog->setWhatsThis(QApplication::translate("MainWindow", "<p align=\"center\">Check this box if you want the <b>systester.log<i></i></b> file to be created. It will log all the activity of the program including the failures<p align=\"center\"></p></p>", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_WHATSTHIS
        checklog->setText(QString());
#ifndef QT_NO_WHATSTHIS
        checkout->setWhatsThis(QApplication::translate("MainWindow", "<p align=\"center\">Check this box if you want the <b>CPUPI.DAT</b> file to be created. It will have the same format as the one of super-pi. Not recommended when multiple executions have been choosen.<p align=\"center\"></p></p>", 0, QApplication::UnicodeUTF8));
#endif // QT_NO_WHATSTHIS
        checkout->setText(QString());
        textLabel14->setText(QApplication::translate("MainWindow", "Pi file", 0, QApplication::UnicodeUTF8));
        aboutButton->setText(QApplication::translate("MainWindow", "About", 0, QApplication::UnicodeUTF8));
        runButton->setText(QApplication::translate("MainWindow", "Run", 0, QApplication::UnicodeUTF8));
        exitButton->setText(QApplication::translate("MainWindow", "Exit", 0, QApplication::UnicodeUTF8));
        FontsButton->setText(QApplication::translate("MainWindow", "Fonts", 0, QApplication::UnicodeUTF8));
        textLabel15->setText(QApplication::translate("MainWindow", "Algorithm", 0, QApplication::UnicodeUTF8));
        algoBox->clear();
        algoBox->insertItems(0, QStringList()
         << QApplication::translate("MainWindow", "Borwein", 0, QApplication::UnicodeUTF8)
         << QApplication::translate("MainWindow", "Gauss-Leg.", 0, QApplication::UnicodeUTF8)
        );
        updateButton->setText(QApplication::translate("MainWindow", "Update", 0, QApplication::UnicodeUTF8));
        stopButton->setText(QApplication::translate("MainWindow", "STOP", 0, QApplication::UnicodeUTF8));
        RAMString->setText(QString());
    } // retranslateUi

};

namespace Ui {
    class MainWindow: public Ui_MainWindow {};
} // namespace Ui

QT_END_NAMESPACE

#endif // UI_MAINWINDOW_H
