| Name | Status | Type | Time(s) |
| test_ETC3_euler_authen_axiom | Success | | 0.120 |
| test_ETC3_euler_graph_axiom | Success | | 0.591 |
| test_ETC3_euler_gedcom_relations | Success | | 0.110 |
| test_ETC3_euler_danc | Success | | 0.010 |
| test_ETC3_euler_ziv | Success | | 0.010 |
| test_ETC3_euler_danb | Success | | 0.020 |
| test_ETC3_euler_test | Success | | 0.290 |
| test_ETC3_euler_animal | Success | | 0.030 |
| test_ETC3_euler_subprop | Success | | 0.010 |
| test_ETC3_euler_subclass | Success | | 0.010 |
| test_ETC3_euler_rdfsfacts | Success | | 0.081 |
| test_ETC3_euler_owlfacts | Success | | 0.130 |
| test_ETC3_euler_builtins | Success | | 0.050 |
| test_ETC3_rdftests_rdfcore_entailment_etc001 | Success | | 0.501 |
| test_ETC3_RGML_N3_rgml_rules | Success | | 0.030 |
| test_ETC3_08swws67_poolGamekb | Success | | 1.291 |
| test_ETC3_2000_10_swap_test_pathCross | Success | | 0.111 |
| test_ETC3_euler_dtP | Success | | 0.040 |
| test_ETC3_2002_10_medicad_op_lldmD | Success | | 0.310 |
| test_ETC3_eulersharp_pimP | Success | | 0.150 |
| test_ETC3_euler_logfacts | Success | | 0.010 |
| test_ETC3_euler_easterP | Success | | 0.671 |
| test_ETC3_eulersharp_continentsP | Success | | 0.411 |
| test_ETC3_rdftests_rdfcore_ntriples_test | Success | | 0.020 |
| test_ETC3_03owlt_mapInvP | Success | | 0.080 |
| test_ETC3_03owlt_mapVocabP | Success | | 0.080 |
| test_ETC3_03owlt_oneOfP | Success | | 0.090 |
| test_ETC3_03owlt_pathTransitiveP | Success | | 0.281 |
| test_ETC3_03owlt_unionOfP | Success | | 0.080 |
| test_ETC3_03owlt_sameGuyP | Success | | 0.080 |
| test_ETC3_03owlt_sameStateP | Success | | 0.080 |
| test_ETC3_03owlt_dbP | Success | | 0.120 |
| test_ETC3_03owlt_intersectionOfP | Success | | 0.150 |
| test_ETC3_03owlt_SocratesP | Success | | 0.111 |