| Generated by NUnit2Report : 29/09/2005 - 15:38 Environment Information | Designed for use with NUnit and NAnt. |
| Name | Tests | Errors | Failures | Time(s) | ||
| InconsistencyTest_ETC2 | 97.47 % | 77 | 0 | 2 | 624.348 | |
| Name | Status | Time(s) | |
| +descriptionlogic_001 | Pass | 4.747 | |
| +descriptionlogic_002 | Pass | 1.172 | |
| +descriptionlogic_003 | Pass | 4.456 | |
| +descriptionlogic_004 | Pass | 0.941 | |
| +descriptionlogic_007 | Pass | 3.876 | |
| +descriptionlogic_008 | Pass | 1.362 | |
| +descriptionlogic_010 | Pass | 1.062 | |
| +descriptionlogic_011 | Pass | 2.203 | |
| +descriptionlogic_012 | Pass | 6.039 | |
| +descriptionlogic_013 | Pass | 2.433 | |
| +descriptionlogic_014 | Pass | 3.735 | |
| +descriptionlogic_015 | Pass | 4.657 | |
| +descriptionlogic_017 | Pass | 3.275 | |
| +descriptionlogic_019 | Pass | 21.721 | |
| +descriptionlogic_022 | Pass | 43.473 | |
| +descriptionlogic_023 | Pass | 0.661 | |
| +descriptionlogic_026 | Pass | 1.292 | |
| +descriptionlogic_027 | Pass | 1.332 | |
| +descriptionlogic_029 | Pass | 0.951 | |
| +descriptionlogic_030 | Pass | 0.190 | |
| +descriptionlogic_032 | Pass | 0.951 | |
| +descriptionlogic_033 | Pass | 4.687 | |
| +descriptionlogic_035 | Pass | 0.160 | |
| +descriptionlogic_040 | Pass | 4.266 | |
| +descriptionlogic_101 | Pass | 1.472 | |
| +descriptionlogic_102 | Pass | 45.465 | |
| +descriptionlogic_103 | Pass | 2.624 | |
| +descriptionlogic_104 | Pass | 1.572 | |
| +descriptionlogic_105 | Pass | 1.793 | |
| +descriptionlogic_106 | Pass | 2.033 | |
| +descriptionlogic_107 | Pass | 4.286 | |
| +descriptionlogic_108 | Pass | 10.024 | |
| +descriptionlogic_109 | Pass | 6.780 | |
| +descriptionlogic_110 | Pass | 1.232 | |
| +descriptionlogic_111 | Pass | 2.884 | |
| -descriptionlogic_502 | Test | Failure | 83.270 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.InconsistencyTest_ETC2.descriptionlogic_502() | |||
| -descriptionlogic_504 | Test | Failure | 87.065 |
| Undecided Run at Eulersharp.test.Data.executeTest(String rule, String resultFile, String proofFile) at Eulersharp.test.InconsistencyTest_ETC2.descriptionlogic_504() | |||
| +descriptionlogic_601 | Pass | 13.610 | |
| +descriptionlogic_602 | Pass | 13.750 | |
| +descriptionlogic_603 | Pass | 5.037 | |
| +descriptionlogic_604 | Pass | 4.717 | |
| +descriptionlogic_608 | Pass | 3.064 | |
| +descriptionlogic_610 | Pass | 4.907 | |
| +descriptionlogic_611 | Pass | 2.263 | |
| +descriptionlogic_612 | Pass | 5.628 | |
| +descriptionlogic_613 | Pass | 6.840 | |
| +descriptionlogic_614 | Pass | 3.365 | |
| +descriptionlogic_615 | Pass | 6.329 | |
| +descriptionlogic_617 | Pass | 2.974 | |
| +descriptionlogic_623 | Pass | 1.122 | |
| +descriptionlogic_626 | Pass | 1.442 | |
| +descriptionlogic_627 | Pass | 5.698 | |
| +descriptionlogic_629 | Pass | 0.931 | |
| +descriptionlogic_630 | Pass | 0.260 | |
| +descriptionlogic_632 | Pass | 0.861 | |
| +descriptionlogic_633 | Pass | 4.907 | |
| +descriptionlogic_641 | Pass | 1.142 | |
| +descriptionlogic_642 | Pass | 85.703 | |
| +descriptionlogic_643 | Pass | 41.690 | |
| +descriptionlogic_644 | Pass | 5.177 | |
| +descriptionlogic_646 | Pass | 1.232 | |
| +descriptionlogic_650 | Pass | 1.803 | |
| +descriptionlogic_909 | Pass | 4.476 | |
| +descriptionlogic_910 | Pass | 4.797 | |
| +disjointWith_010 | Pass | 1.202 | |
| +I4_5_002 | Pass | 2.754 | |
| +I5_5_003 | Pass | 0.541 | |
| +I5_5_004 | Pass | 0.130 | |
| +I5_8_001 | Pass | 1.853 | |
| +I5_8_003 | Pass | 1.823 | |
| +maxCardinality_001 | Pass | 1.933 | |
| +maxCardinality_002 | Pass | 2.003 | |
| +miscellaneous_203 | Pass | 1.612 | |
| +miscellaneous_204 | Pass | 1.582 | |
| +Nothing_001 | Pass | 0.130 | |
| +Restriction_001 | Pass | 1.672 | |
| +Restriction_002 | Pass | 1.482 | |
| +Thing_003 | Pass | 0.120 | |
| +Thing_005 | Pass | 1.552 | |