public double[] Run()
        {
            double numberOfGraphsIn  = 0;
            double numberOfGraphsOut = 0;
            bool   condition         = true;
            string g6Final           = "";
            string g6Actual          = "";

            foreach (string g6Line in Listg6In)
            {
                if (g6Line.Length != 0 && g6Line != " ")
                {
                    if (form1.enableEq1.Checked)
                    {
                        condition = BuildLogic.EvaluateText(form1.textEquation1.Text, new Graph(g6Line));
                    }
                    if (form1.enableRegular.Checked)
                    {
                        condition = condition && InvariantBool.IsRegular.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableRegularWithK.Checked)
                    {
                        condition = condition && InvariantBool.IsRegularWithDegree.Calculate(new Graph(g6Line), Convert.ToInt32(form1.paramRegularWithDegree.Text));
                    }
                    if (form1.enableIsConnected.Checked)
                    {
                        condition = condition && InvariantBool.IsConnected.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableIsPlanar.Checked)
                    {
                        condition = condition && InvariantBool.IsPlanar.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableIsHamiltonian.Checked)
                    {
                        condition = condition && InvariantBool.IsHamiltonian.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableIsAcyclic.Checked)
                    {
                        condition = condition && InvariantBool.IsAcyclic.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableLarg_A_integer.Checked)
                    {
                        condition = condition && InvariantBool.Largest_A_IsInteger.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableLarg_L_integer.Checked)
                    {
                        condition = condition && InvariantBool.Largest_L_IsInteger.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableLarg_Q_integer.Checked)
                    {
                        condition = condition && InvariantBool.Largest_Q_IsInteger.Calculate(new Graph(g6Line));
                    }
                    if (form1.enable_A_integral.Checked)
                    {
                        condition = condition && InvariantBool.A_integral.Calculate(new Graph(g6Line));
                    }
                    if (form1.enable_L_integral.Checked)
                    {
                        condition = condition && InvariantBool.L_integral.Calculate(new Graph(g6Line));
                    }
                    if (form1.enable_Q_integral.Checked)
                    {
                        condition = condition && InvariantBool.Q_integral.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableSome_A_integer.Checked)
                    {
                        condition = condition && InvariantBool.SomeEig_A_integer.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableSome_L_integer.Checked)
                    {
                        condition = condition && InvariantBool.SomeEig_L_integer.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableSome_Q_integer.Checked)
                    {
                        condition = condition && InvariantBool.SomeEig_Q_integer.Calculate(new Graph(g6Line));
                    }
                    if (condition)
                    {
                        numberOfGraphsOut++;
                        g6Actual = g6Actual + g6Line + "\n";
                        g6Final  = g6Actual;
                    }
                    numberOfGraphsIn++;
                    condition = true;
                    form1.progressBar.Value++;
                }
            }
            using (StreamWriter sw = new StreamWriter(fileG6OutPath))
            {
                sw.Write(g6Final);
            }
            double percentual = Math.Round((numberOfGraphsOut / numberOfGraphsIn) * 100, 2);

            return(new double[3] {
                numberOfGraphsIn, numberOfGraphsOut, percentual
            });
        }
        public string RunCounterexample()
        {
            bool condition = true;

            foreach (string g6Line in Listg6In)
            {
                if (g6Line.Length != 0 && g6Line != " ")
                {
                    if (form1.enableEq1.Checked)
                    {
                        condition = BuildLogic.EvaluateText(form1.textEquation1.Text, new Graph(g6Line));
                    }
                    if (form1.enableRegular.Checked)
                    {
                        condition = condition && InvariantBool.IsRegular.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableRegularWithK.Checked)
                    {
                        condition = condition && InvariantBool.IsRegularWithDegree.Calculate(new Graph(g6Line), Convert.ToInt32(form1.paramRegularWithDegree.Text));
                    }
                    if (form1.enableIsConnected.Checked)
                    {
                        condition = condition && InvariantBool.IsConnected.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableIsPlanar.Checked)
                    {
                        condition = condition && InvariantBool.IsPlanar.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableIsHamiltonian.Checked)
                    {
                        condition = condition && InvariantBool.IsHamiltonian.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableIsAcyclic.Checked)
                    {
                        condition = condition && InvariantBool.IsAcyclic.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableLarg_A_integer.Checked)
                    {
                        condition = condition && InvariantBool.Largest_A_IsInteger.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableLarg_L_integer.Checked)
                    {
                        condition = condition && InvariantBool.Largest_L_IsInteger.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableLarg_Q_integer.Checked)
                    {
                        condition = condition && InvariantBool.Largest_Q_IsInteger.Calculate(new Graph(g6Line));
                    }
                    if (form1.enable_A_integral.Checked)
                    {
                        condition = condition && InvariantBool.A_integral.Calculate(new Graph(g6Line));
                    }
                    if (form1.enable_L_integral.Checked)
                    {
                        condition = condition && InvariantBool.L_integral.Calculate(new Graph(g6Line));
                    }
                    if (form1.enable_Q_integral.Checked)
                    {
                        condition = condition && InvariantBool.Q_integral.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableSome_A_integer.Checked)
                    {
                        condition = condition && InvariantBool.SomeEig_A_integer.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableSome_L_integer.Checked)
                    {
                        condition = condition && InvariantBool.SomeEig_L_integer.Calculate(new Graph(g6Line));
                    }
                    if (form1.enableSome_Q_integer.Checked)
                    {
                        condition = condition && InvariantBool.SomeEig_Q_integer.Calculate(new Graph(g6Line));
                    }
                    if (!condition)
                    {
                        return(g6Line);
                    }
                }
                form1.progressBar.Value++;
            }
            return("XX");
        }