Exercise relationalgebra.cnf
Description
To conjunctive normal form
Test report
| Tests | 25 |
| Errors | 1 |
| Warnings | 20 |
| Time | 4.997996s |
| Rating |  |
Suites
- Exercise relationalgebra.cnf (tests: 25, errors: 1, warnings: 20, 4.997962s)
Errors
soundness strategy/generator: Exception: '<<timeout>>'Tests
Exercise relationalgebra.cnf (tests: 25, errors: 1, warnings: 20, 4.997962s)
Soundness non-buggy rules (tests: 20, errors: 0, warnings: 20, 0.09968s)
relationalgebra.absorp: passed only 0 tests relationalgebra.absorpcompl: passed only 0 tests relationalgebra.addoverintersec: passed only 1 tests relationalgebra.compoverunion: passed only 3 tests relationalgebra.demorganand: passed only 0 tests relationalgebra.demorganor: passed only 0 tests relationalgebra.doubleinv: passed only 0 tests relationalgebra.doublenegation: passed only 4 tests relationalgebra.idempotencyand: passed only 0 tests relationalgebra.idempotencyor: passed only 1 tests relationalgebra.invoveradd: passed only 1 tests relationalgebra.invovercomp: passed only 4 tests relationalgebra.invoverintersect: passed only 2 tests relationalgebra.invovernot: passed only 2 tests relationalgebra.invoverunion: passed only 0 tests relationalgebra.notoveradd: passed only 2 tests relationalgebra.notovercomp: passed only 3 tests relationalgebra.remcompl: passed only 0 tests relationalgebra.remredunexprs: passed only 4 tests relationalgebra.unionoverintersec: passed only 5 tests
exercise terms defined equivalence implemented similarity implemented parser/pretty printer soundness strategy/generator: Exception: '<<timeout>>'