#!/usr/bin/env python
# -*- coding: utf-8 -*-

#
# Disciplina de Complexidade de Algortimos
# Autores: <NAME>, <NAME> e <NAME>
#

import unittest
import sat
import time, datetime


class Test3Sat(unittest.TestCase):
    def teste1(self):
        start = time.time()
        resultado = sat.executar("n50m275.txt")
        end = time.time()
        print("Solução: {0}".format(resultado[1]))
        print("Tempo: {0}".format(str(datetime.timedelta(seconds=end-start))))
        self.assertEqual(resultado[0], "sat")

    def teste2(self):
        start = time.time()
        resultado = sat.executar("n50m300.txt")
        end = time.time()
        print("Solução: {0}".format(resultado[1]))
        print("Tempo: {0}".format(str(datetime.timedelta(seconds=end - start))))
        self.assertEqual(resultado[0], "sat")

    def teste3(self):
        start = time.time()
        resultado = sat.executar("Teste1.txt")
        end = time.time()
        print("Solução: {0}".format(resultado[1]))
        print("Tempo: {0}".format(str(datetime.timedelta(seconds=end - start))))
        self.assertEqual(resultado[0], "sat")

    def teste4(self):
        start = time.time()
        resultado = sat.executar("Teste2.txt")
        end = time.time()
        print("Solução: {0}".format(resultado[1]))
        print("Tempo: {0}".format(str(datetime.timedelta(seconds=end - start))))
        self.assertEqual(resultado[0], "unsat")


if __name__ == "__main__":
    unittest.main()

#!/usr/bin/env python
# -*- coding: utf-8 -*-

#
# Disciplina de Complexidade de Algortimos
# Autores: <NAME>, <NAME> e <NAME>
#

import unittest
import sat
import time, datetime


class Test3Sat(unittest.TestCase):
    def teste1(self):
        start = time.time()
        resultado = sat.executar("n50m275.txt")
        end = time.time()
        print("Solução: {0}".format(resultado[1]))
        print("Tempo: {0}".format(str(datetime.timedelta(seconds=end-start))))
        self.assertEqual(resultado[0], "sat")

    def teste2(self):
        start = time.time()
        resultado = sat.executar("n50m300.txt")
        end = time.time()
        print("Solução: {0}".format(resultado[1]))
        print("Tempo: {0}".format(str(datetime.timedelta(seconds=end - start))))
        self.assertEqual(resultado[0], "sat")

    def teste3(self):
        start = time.time()
        resultado = sat.executar("Teste1.txt")
        end = time.time()
        print("Solução: {0}".format(resultado[1]))
        print("Tempo: {0}".format(str(datetime.timedelta(seconds=end - start))))
        self.assertEqual(resultado[0], "sat")

    def teste4(self):
        start = time.time()
        resultado = sat.executar("Teste2.txt")
        end = time.time()
        print("Solução: {0}".format(resultado[1]))
        print("Tempo: {0}".format(str(datetime.timedelta(seconds=end - start))))
        self.assertEqual(resultado[0], "unsat")


if __name__ == "__main__":
    unittest.main()

#!/usr/bin/env python # -*- coding: utf-8 -*- # # Disciplina de Complexidade de Algortimos # Autores: <NAME>, <NAME> e <NAME> #