| +euler_animal | Test | Pass | 0.010 |
| +euler_authen_axiom | Test | Pass | 0.010 |
| +euler_builtins | Test | Pass | 0.040 |
| +euler_danb | Test | Pass | 0.020 |
| +euler_danc | Test | Pass | 0.000 |
| +euler_dtP | Test | Pass | 0.030 |
| +euler_easterP | Test | Pass | 0.320 |
| +euler_gedcom_relations | Test | Pass | 0.130 |
| +euler_graph_axiom | Test | Pass | 0.110 |
| +euler_logfacts | Test | Pass | 0.010 |
| +euler_owlfacts | Test | Pass | 0.200 |
| +euler_rdfsfacts | Test | Pass | 0.120 |
| +euler_subclass | Test | Pass | 0.010 |
| +euler_subprop | Test | Pass | 0.010 |
| +euler_test | Test | Pass | 0.130 |
| +euler_ziv | Test | Pass | 0.010 |
| +eulersharp_continentsP | Test | Pass | 0.801 |
| +eulersharp_pimP | Test | Pass | 0.210 |
| +rdftests_rdfcore_entailment_etc001 | Test | Pass | 0.371 |
| +rdftests_rdfcore_ntriples_test | Test | Pass | 0.020 |
| +RGML_N3_rgml_rules | Test | Pass | 0.020 |
| +test_03owlt_dbP | Test | Pass | 0.100 |
| +test_03owlt_intersectionOfP | Test | Pass | 0.130 |
| +test_03owlt_mapInvP | Test | Pass | 0.080 |
| +test_03owlt_mapVocabP | Test | Pass | 0.110 |
| +test_03owlt_oneOfP | Test | Pass | 0.100 |
| +test_03owlt_pathTransitiveP | Test | Pass | 0.080 |
| +test_03owlt_sameGuyP | Test | Pass | 0.080 |
| +test_03owlt_sameStateP | Test | Pass | 0.090 |
| +test_03owlt_SocratesP | Test | Pass | 0.100 |
| +test_03owlt_unionOfP | Test | Pass | 0.100 |
| +test_08swws67_poolGamekb | Test | Pass | 2.864 |
| +test_2000_10_swap_test_pathCross | Test | Pass | 0.110 |
| +test_2002_10_medicad_op_lldmD | Test | Pass | 0.150 |