| Pass | Fail |Miss|Percent| Directory | |------|------|----|-------|-----------| | 1| 2| | 33% |reports/python_compat/hyperon-experimental_python/sandbox/sql_space | | 6| 7| | 46% |reports/python_compat/hyperon-experimental_python/sandbox/resolve | | 1| 0| 1 | 50% |reports/python_compat/hyperon-experimental_python/sandbox/neurospace | | 8| 9| 3 | 40% |reports/python_compat/hyperon-experimental_python/sandbox | | 8| 9| 3 | 40% |reports/python_compat/hyperon-experimental_python | | 6| 0| | 100% |reports/python_compat/extend | | 14| 10| 4 | 50% |reports/python_compat | | 15| 32| 9 | 26% |reports/performance/comparisons | | 71| 18| 14 | 68% |reports/performance/basic | | 86| 50| 25 | 53% |reports/performance | | 2| 0| | 100% |reports/flybase/sanity | | 1| 0| 1 | 50% |reports/flybase/extra | | 3| 1| 7 | 27% |reports/flybase | | 3| 0| | 100% |reports/features/possibly_wrong | | 4| 2| 1 | 57% |reports/features/host_language/compiler | | 4| 2| 1 | 57% |reports/features/host_language | | 1| 5| 1 | 14% |reports/features/distributed-processing | | 4| 3| 3 | 40% |reports/features/debugging | | 2| 6| | 25% |reports/features/containers_are_spaces | | 14| 16| 17 | 29% |reports/features | | 15| 4| 3 | 68% |reports/extended_compat/nars/prev | | 13| 6| 3 | 59% |reports/extended_compat/nars/new | | 19| 8| 2 | 65% |reports/extended_compat/nars/nars_v0 | | 2| 1| 2 | 40% |reports/extended_compat/nars/nars_extras | | 14| 6| 3 | 60% |reports/extended_compat/nars/current | | 63| 25| 13 | 62% |reports/extended_compat/nars | | 1| 14| | 6% |reports/extended_compat/metta-examples/traverser | | 2| 2| | 50% |reports/extended_compat/metta-examples/stack-based | | 22| 0| 2 | 91% |reports/extended_compat/metta-examples/SICP_book | | 2| 5| | 28% |reports/extended_compat/metta-examples/recursion-schemes/src/examples | | 2| 5| | 28% |reports/extended_compat/metta-examples/recursion-schemes/src | | 2| 5| | 28% |reports/extended_compat/metta-examples/recursion-schemes | | 18| 9| | 66% |reports/extended_compat/metta-examples/prob-dep-types | | 3| 0| | 100% |reports/extended_compat/metta-examples/logic | | 2| 0| 1 | 66% |reports/extended_compat/metta-examples/fizzbuzz | | 1| 3| | 25% |reports/extended_compat/metta-examples/edges-to-edges | | 51| 33| 4 | 57% |reports/extended_compat/metta-examples | | 27| 16| 4 | 57% |reports/extended_compat/hyperon-pln/metta/synthesis/experiments | | 27| 19| 5 | 52% |reports/extended_compat/hyperon-pln/metta/synthesis | | 3| 0| | 100% |reports/extended_compat/hyperon-pln/metta/sumo/orientation | | 3| 0| | 100% |reports/extended_compat/hyperon-pln/metta/sumo/located | | 5| 0| | 100% |reports/extended_compat/hyperon-pln/metta/sumo/john-carry-flower | | 11| 0| | 100% |reports/extended_compat/hyperon-pln/metta/sumo | | 13| 2| | 86% |reports/extended_compat/hyperon-pln/metta/polyward-chaining | | 4| 4| 2 | 40% |reports/extended_compat/hyperon-pln/metta/pln/dependent-types | | 4| 4| 9 | 23% |reports/extended_compat/hyperon-pln/metta/pln | | 3| 0| | 100% |reports/extended_compat/hyperon-pln/metta/match | | 58| 17| | 77% |reports/extended_compat/hyperon-pln/metta/iterative-chaining | | 40| 5| 2 | 85% |reports/extended_compat/hyperon-pln/metta/inference-control | | 16| 5| 4 | 64% |reports/extended_compat/hyperon-pln/metta/hol | | 25| 6| | 80% |reports/extended_compat/hyperon-pln/metta/forward-chaining | | 37| 10| | 78% |reports/extended_compat/hyperon-pln/metta/forward-chainer | | 6| 0| 1 | 85% |reports/extended_compat/hyperon-pln/metta/entail | | 3| 1| 3 | 42% |reports/extended_compat/hyperon-pln/metta/dependent-types | | 8| 0| | 100% |reports/extended_compat/hyperon-pln/metta/curried-chaining | | 13| 0| | 100% |reports/extended_compat/hyperon-pln/metta/common/truthvalue | | 55| 3| 1 | 93% |reports/extended_compat/hyperon-pln/metta/common | | 40| 5| | 88% |reports/extended_compat/hyperon-pln/metta/backward-chaining | | 40| 5| | 88% |reports/extended_compat/hyperon-pln/metta/backward-chainer | | 386| 84| 27 | 77% |reports/extended_compat/hyperon-pln/metta | | 386| 84| 27 | 77% |reports/extended_compat/hyperon-pln | | 20| 2| 3 | 80% |reports/extended_compat/hyperon-miner/dependent-types | | 20| 2| 6 | 71% |reports/extended_compat/hyperon-miner | | 1| 1| | 50% |reports/extended_compat/bio-atomspace/query | | 3| 0| 1 | 75% |reports/extended_compat/bio-atomspace/pln | | 4| 1| 1 | 66% |reports/extended_compat/bio-atomspace | | 524| 145| 51 | 72% |reports/extended_compat | | 89| 0| | 100% |reports/baseline_compat/metta-morph_tests | | 32| 1| | 96% |reports/baseline_compat/hyperon-mettalog_sanity | | 183| 16| 1 | 91% |reports/baseline_compat/hyperon-experimental_scripts | | 304| 17| 1 | 94% |reports/baseline_compat | | 946| 239| 106 | 73% |reports/ | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports// | | | | | | | 1 | 0 | 100% | [settings.metta](https://logicmoo.org/public/metta/reports/settings.metta.html) | | -1 | -1 | 0% | [autoexec.metta](https://logicmoo.org/public/metta/reports/autoexec.metta.html) | | | | | | | 1 | 1 | 50% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/flybase/ | | | | | | | 0 | 1 | 0% | [flybase-loader-size-estimates.metta](https://logicmoo.org/public/metta/reports/flybase/flybase-loader-size-estimates.metta.html) | | -1 | -1 | 0% | [flybase-deduced-connections.metta](https://logicmoo.org/public/metta/reports/flybase/flybase-deduced-connections.metta.html) | | | | | | | 0 | 2 | 0% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/baseline_compat/hyperon-experimental_scripts/ | | | | | | | 5 | 0 | 100% | [b0_chaining_prelim.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/b0_chaining_prelim.metta.html) | | 6 | 0 | 100% | [b1_equal_chain.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/b1_equal_chain.metta.html) | | 11 | 0 | 100% | [b4_nondeterm.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/b4_nondeterm.metta.html) | | 3 | 3 | 50% | [e3_match_states.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/e3_match_states.metta.html) | | 2 | 0 | 100% | [e1_kb_write.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/e1_kb_write.metta.html) | | 5 | 0 | 100% | [b2_backchain.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/b2_backchain.metta.html) | | 15 | 3 | 83% | [d4_type_prop.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/d4_type_prop.metta.html) | | 5 | 0 | 100% | [c2_spaces.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/c2_spaces.metta.html) | | 10 | 4 | 71% | [d1_gadt.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/d1_gadt.metta.html) | | 3 | 0 | 100% | [b3_direct.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/b3_direct.metta.html) | | -1 | -1 | 0% | [d5_auto_types.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/d5_auto_types.metta.html) | | 26 | 1 | 96% | [d2_higherfunc.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/d2_higherfunc.metta.html) | | 20 | 1 | 95% | [b5_types_prelim.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/b5_types_prelim.metta.html) | | 1 | 0 | 100% | [a2_opencoggy.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/a2_opencoggy.metta.html) | | 7 | 0 | 100% | [a1_symbols.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/a1_symbols.metta.html) | | 21 | 0 | 100% | [c1_grounded_basic.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/c1_grounded_basic.metta.html) | | 8 | 2 | 80% | [e2_states.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/e2_states.metta.html) | | 4 | 0 | 100% | [a3_twoside.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/a3_twoside.metta.html) | | 17 | 2 | 89% | [f1_imports.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/f1_imports.metta.html) | | 2 | 0 | 100% | [f1_moduleA.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/f1_moduleA.metta.html) | | 7 | 0 | 100% | [d3_deptypes.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/d3_deptypes.metta.html) | | 5 | 0 | 100% | [c3_pln_stv.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-experimental_scripts/c3_pln_stv.metta.html) | | | | | | | 183 | 17 | 91% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/baseline_compat/hyperon-mettalog_sanity/ | | | | | | | 17 | 1 | 94% | [00_lang_case.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-mettalog_sanity/00_lang_case.metta.html) | | 1 | 0 | 100% | [structure-tests.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-mettalog_sanity/structure-tests.metta.html) | | 6 | 0 | 100% | [06_match_in_space.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-mettalog_sanity/06_match_in_space.metta.html) | | 5 | 0 | 100% | [03-soring-via-insert.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-mettalog_sanity/03-soring-via-insert.metta.html) | | 2 | 0 | 100% | [01_lang_inc.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-mettalog_sanity/01_lang_inc.metta.html) | | 1 | 0 | 100% | [02-curried-plus.metta](https://logicmoo.org/public/metta/reports/baseline_compat/hyperon-mettalog_sanity/02-curried-plus.metta.html) | | | | | | | 32 | 1 | 96% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/baseline_compat/metta-morph_tests/ | | | | | | | 10 | 0 | 100% | [hyperpose.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/hyperpose.metta.html) | | 2 | 0 | 100% | [let_superpose_if_case.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/let_superpose_if_case.metta.html) | | 7 | 0 | 100% | [tests0.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/tests0.metta.html) | | 11 | 0 | 100% | [match_void.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/match_void.metta.html) | | 1 | 0 | 100% | [minnars.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/minnars.metta.html) | | 1 | 0 | 100% | [add_atom_match.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/add_atom_match.metta.html) | | 6 | 0 | 100% | [states_spaces.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/states_spaces.metta.html) | | 1 | 0 | 100% | [multifunction.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/multifunction.metta.html) | | 1 | 0 | 100% | [match_feval.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/match_feval.metta.html) | | 5 | 0 | 100% | [types2.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/types2.metta.html) | | 1 | 0 | 100% | [collapse.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/collapse.metta.html) | | 1 | 0 | 100% | [nested_parameters.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/nested_parameters.metta.html) | | 1 | 0 | 100% | [nalifier.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/nalifier.metta.html) | | 1 | 0 | 100% | [factorial.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/factorial.metta.html) | | 5 | 0 | 100% | [match_superposed_spaces.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/match_superposed_spaces.metta.html) | | 2 | 0 | 100% | [zeroargs.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/zeroargs.metta.html) | | 1 | 0 | 100% | [letlet.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/letlet.metta.html) | | 1 | 0 | 100% | [peano.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/peano.metta.html) | | 1 | 0 | 100% | [and_or.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/and_or.metta.html) | | 7 | 0 | 100% | [supercollapse.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/supercollapse.metta.html) | | 12 | 0 | 100% | [sequential_nested.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/sequential_nested.metta.html) | | 1 | 0 | 100% | [types3.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/types3.metta.html) | | 1 | 0 | 100% | [types.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/types.metta.html) | | 1 | 0 | 100% | [if.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/if.metta.html) | | 2 | 0 | 100% | [let_superpose_list.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/let_superpose_list.metta.html) | | 1 | 0 | 100% | [identity.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/identity.metta.html) | | 4 | 0 | 100% | [superpose_nested.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/superpose_nested.metta.html) | | 1 | 0 | 100% | [let_superpose_list2.metta](https://logicmoo.org/public/metta/reports/baseline_compat/metta-morph_tests/let_superpose_list2.metta.html) | | | | | | | 89 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/features/containers_are_spaces/ | | | | | | | 1 | 3 | 25% | [04_match_list_like_space.metta](https://logicmoo.org/public/metta/reports/features/containers_are_spaces/04_match_list_like_space.metta.html) | | 1 | 3 | 25% | [05_match_superpose_element_like_space.metta](https://logicmoo.org/public/metta/reports/features/containers_are_spaces/05_match_superpose_element_like_space.metta.html) | | | | | | | 2 | 6 | 25% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/features/debugging/ | | | | | | | 1 | 2 | 33% | [hyperon_experimental_issue_481.metta](https://logicmoo.org/public/metta/reports/features/debugging/hyperon_experimental_issue_481.metta.html) | | -1 | -1 | 0% | [hyperon_experimental_issue_514.metta](https://logicmoo.org/public/metta/reports/features/debugging/hyperon_experimental_issue_514.metta.html) | | -1 | -1 | 0% | [hyperon_experimental_issue_530.metta](https://logicmoo.org/public/metta/reports/features/debugging/hyperon_experimental_issue_530.metta.html) | | 0 | 1 | 0% | [hyperon_experimental_issue_516.metta](https://logicmoo.org/public/metta/reports/features/debugging/hyperon_experimental_issue_516.metta.html) | | 2 | 0 | 100% | [hyperon_experimental_issue_516_redduced.metta](https://logicmoo.org/public/metta/reports/features/debugging/hyperon_experimental_issue_516_redduced.metta.html) | | -1 | -1 | 0% | [hyperon_experimental_issue_500.metta](https://logicmoo.org/public/metta/reports/features/debugging/hyperon_experimental_issue_500.metta.html) | | 1 | 0 | 100% | [hyperon_experimental_issue_492.metta](https://logicmoo.org/public/metta/reports/features/debugging/hyperon_experimental_issue_492.metta.html) | | | | | | | 4 | 6 | 40% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/features/distributed-processing/ | | | | | | | 0 | 2 | 0% | [use-two-servers.metta](https://logicmoo.org/public/metta/reports/features/distributed-processing/use-two-servers.metta.html) | | -1 | -1 | 0% | [use-one-server.metta](https://logicmoo.org/public/metta/reports/features/distributed-processing/use-one-server.metta.html) | | 1 | 3 | 25% | [create-server.metta](https://logicmoo.org/public/metta/reports/features/distributed-processing/create-server.metta.html) | | | | | | | 1 | 6 | 14% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/features/possibly_wrong/ | | | | | | | 3 | 0 | 100% | [too_eager_math.metta](https://logicmoo.org/public/metta/reports/features/possibly_wrong/too_eager_math.metta.html) | | | | | | | 3 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/flybase/extra/ | | | | | | | -1 | -1 | 0% | [proofexample.metta](https://logicmoo.org/public/metta/reports/flybase/extra/proofexample.metta.html) | | 1 | 0 | 100% | [pmquery.metta](https://logicmoo.org/public/metta/reports/flybase/extra/pmquery.metta.html) | | | | | | | 1 | 1 | 50% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/flybase/sanity/ | | | | | | | 1 | 0 | 100% | [download_file.metta](https://logicmoo.org/public/metta/reports/flybase/sanity/download_file.metta.html) | | 1 | 0 | 100% | [load_all_of_flybase.metta](https://logicmoo.org/public/metta/reports/flybase/sanity/load_all_of_flybase.metta.html) | | | | | | | 2 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/performance/basic/ | | | | | | | -1 | -1 | 0% | [pathfinding-hard-f.metta](https://logicmoo.org/public/metta/reports/performance/basic/pathfinding-hard-f.metta.html) | | 10 | 0 | 100% | [cml-unshared.metta](https://logicmoo.org/public/metta/reports/performance/basic/cml-unshared.metta.html) | | 10 | 0 | 100% | [hyperposing-shared.metta](https://logicmoo.org/public/metta/reports/performance/basic/hyperposing-shared.metta.html) | | -1 | -1 | 0% | [hanoi-peg-space.metta](https://logicmoo.org/public/metta/reports/performance/basic/hanoi-peg-space.metta.html) | | -1 | -1 | 0% | [fibonacci.metta](https://logicmoo.org/public/metta/reports/performance/basic/fibonacci.metta.html) | | -1 | -1 | 0% | [coins.metta](https://logicmoo.org/public/metta/reports/performance/basic/coins.metta.html) | | -1 | -1 | 0% | [fibo.metta](https://logicmoo.org/public/metta/reports/performance/basic/fibo.metta.html) | | -1 | -1 | 0% | [pathfinding-easy.metta](https://logicmoo.org/public/metta/reports/performance/basic/pathfinding-easy.metta.html) | | 10 | 0 | 100% | [hyperposing-unshared.metta](https://logicmoo.org/public/metta/reports/performance/basic/hyperposing-unshared.metta.html) | | -1 | -1 | 0% | [pathfinding-hard.metta](https://logicmoo.org/public/metta/reports/performance/basic/pathfinding-hard.metta.html) | | 10 | 0 | 100% | [hyperposing.metta](https://logicmoo.org/public/metta/reports/performance/basic/hyperposing.metta.html) | | -1 | -1 | 0% | [fibo-as-pred.metta](https://logicmoo.org/public/metta/reports/performance/basic/fibo-as-pred.metta.html) | | -1 | -1 | 0% | [factorial.metta](https://logicmoo.org/public/metta/reports/performance/basic/factorial.metta.html) | | 17 | 6 | 73% | [state_types.metta](https://logicmoo.org/public/metta/reports/performance/basic/state_types.metta.html) | | -1 | -1 | 0% | [fwgc1.metta](https://logicmoo.org/public/metta/reports/performance/basic/fwgc1.metta.html) | | 0 | 12 | 0% | [test_infer_function_application_type.metta](https://logicmoo.org/public/metta/reports/performance/basic/test_infer_function_application_type.metta.html) | | -1 | -1 | 0% | [pathfinding-med-f.metta](https://logicmoo.org/public/metta/reports/performance/basic/pathfinding-med-f.metta.html) | | -1 | -1 | 0% | [pathfinding-edge.metta](https://logicmoo.org/public/metta/reports/performance/basic/pathfinding-edge.metta.html) | | 13 | 0 | 100% | [key-lookups-many.metta](https://logicmoo.org/public/metta/reports/performance/basic/key-lookups-many.metta.html) | | -1 | -1 | 0% | [pathfinding-easy-f.metta](https://logicmoo.org/public/metta/reports/performance/basic/pathfinding-easy-f.metta.html) | | -1 | -1 | 0% | [hanoi-one-space.metta](https://logicmoo.org/public/metta/reports/performance/basic/hanoi-one-space.metta.html) | | 1 | 0 | 100% | [test_list_concatenation.metta](https://logicmoo.org/public/metta/reports/performance/basic/test_list_concatenation.metta.html) | | | | | | | 71 | 32 | 68% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/performance/comparisons/ | | | | | | | -1 | -1 | 0% | [nils_if_control_test_6.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/nils_if_control_test_6.metta.html) | | -1 | -1 | 0% | [naive-fib.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/naive-fib.metta.html) | | -1 | -1 | 0% | [fibo_arg1c.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/fibo_arg1c.metta.html) | | -1 | -1 | 0% | [nils_if_control_test_5.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/nils_if_control_test_5.metta.html) | | -1 | -1 | 0% | [nils_if_control_test_3.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/nils_if_control_test_3.metta.html) | | -1 | -1 | 0% | [fibo_Arg1i.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/fibo_Arg1i.metta.html) | | 3 | 0 | 100% | [nils_if_control_test_2.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/nils_if_control_test_2.metta.html) | | 1 | 1 | 50% | [inf-ctl-month-xp-short_5.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/inf-ctl-month-xp-short_5.metta.html) | | -1 | -1 | 0% | [nils_if_control_test_10.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/nils_if_control_test_10.metta.html) | | 1 | 1 | 50% | [inf-ctl-month-xp-short_1.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/inf-ctl-month-xp-short_1.metta.html) | | 0 | 14 | 0% | [inf-ctl-month-xp-short.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/inf-ctl-month-xp-short.metta.html) | | 1 | 1 | 50% | [inf-ctl-month-xp-short_6.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/inf-ctl-month-xp-short_6.metta.html) | | 9 | 1 | 90% | [add-atom-naive-fib.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/add-atom-naive-fib.metta.html) | | -1 | -1 | 0% | [nils_if_control_test_4.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/nils_if_control_test_4.metta.html) | | 0 | 14 | 0% | [inf-ctl-month-xp-short_3.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/inf-ctl-month-xp-short_3.metta.html) | | -1 | -1 | 0% | [inf-ctl-month-xp-long.metta](https://logicmoo.org/public/metta/reports/performance/comparisons/inf-ctl-month-xp-long.metta.html) | | | | | | | 15 | 41 | 26% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/python_compat/extend/ | | | | | | | 1 | 0 | 100% | [example2.metta](https://logicmoo.org/public/metta/reports/python_compat/extend/example2.metta.html) | | 1 | 0 | 100% | [example5.metta](https://logicmoo.org/public/metta/reports/python_compat/extend/example5.metta.html) | | 1 | 0 | 100% | [example3.metta](https://logicmoo.org/public/metta/reports/python_compat/extend/example3.metta.html) | | 1 | 0 | 100% | [example4.metta](https://logicmoo.org/public/metta/reports/python_compat/extend/example4.metta.html) | | 1 | 0 | 100% | [example1.metta](https://logicmoo.org/public/metta/reports/python_compat/extend/example1.metta.html) | | 1 | 0 | 100% | [example6.metta](https://logicmoo.org/public/metta/reports/python_compat/extend/example6.metta.html) | | | | | | | 6 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/python_compat/janus/ | | | | | | | 0 | 1 | 0% | [metta_calls_python_in_janus.metta](https://logicmoo.org/public/metta/reports/python_compat/janus/metta_calls_python_in_janus.metta.html) | | -1 | -1 | 0% | [janus_api.metta](https://logicmoo.org/public/metta/reports/python_compat/janus/janus_api.metta.html) | | | | | | | 0 | 2 | 0% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/bio-atomspace/pln/ | | | | | | | -1 | -1 | 0% | [curried-chainer.metta](https://logicmoo.org/public/metta/reports/extended_compat/bio-atomspace/pln/curried-chainer.metta.html) | | 3 | 0 | 100% | [gene-pln-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/bio-atomspace/pln/gene-pln-xp.metta.html) | | | | | | | 3 | 1 | 75% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/bio-atomspace/query/ | | | | | | | 1 | 1 | 50% | [gene-query.metta](https://logicmoo.org/public/metta/reports/extended_compat/bio-atomspace/query/gene-query.metta.html) | | | | | | | 1 | 1 | 50% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-miner/dependent-types/ | | | | | | | 0 | 1 | 0% | [MinerCurriedDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-miner/dependent-types/MinerCurriedDTLTest.metta.html) | | -1 | -1 | 0% | [MinerDTL2Test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-miner/dependent-types/MinerDTL2Test.metta.html) | | -1 | -1 | 0% | [MinerDTL1Test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-miner/dependent-types/MinerDTL1Test.metta.html) | | 11 | 0 | 100% | [MinerCurriedDTL.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-miner/dependent-types/MinerCurriedDTL.metta.html) | | 3 | 1 | 75% | [SupportRuleExp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-miner/dependent-types/SupportRuleExp.metta.html) | | 6 | 0 | 100% | [MinerDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-miner/dependent-types/MinerDTLTest.metta.html) | | -1 | -1 | 0% | [MinerDTL3Test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-miner/dependent-types/MinerDTL3Test.metta.html) | | | | | | | 20 | 5 | 80% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/metta-examples/edges-to-edges/ | | | | | | | 1 | 3 | 25% | [nte.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/edges-to-edges/nte.metta.html) | | | | | | | 1 | 3 | 25% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/metta-examples/fizzbuzz/ | | | | | | | 1 | 0 | 100% | [simple.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/fizzbuzz/simple.metta.html) | | 1 | 0 | 100% | [classical.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/fizzbuzz/classical.metta.html) | | -1 | -1 | 0% | [constructive.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/fizzbuzz/constructive.metta.html) | | | | | | | 2 | 1 | 66% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/metta-examples/logic/ | | | | | | | 1 | 0 | 100% | [memb.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/logic/memb.metta.html) | | 2 | 0 | 100% | [all_any.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/logic/all_any.metta.html) | | | | | | | 3 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/metta-examples/prob-dep-types/ | | | | | | | 10 | 1 | 90% | [inf_order_probs.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/prob-dep-types/inf_order_probs.metta.html) | | 8 | 8 | 50% | [prob_dep_types.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/prob-dep-types/prob_dep_types.metta.html) | | | | | | | 18 | 9 | 66% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/metta-examples/SICP_book/ | | | | | | | -1 | -1 | 0% | [chapter_1_2.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/SICP_book/chapter_1_2.metta.html) | | 22 | 0 | 100% | [chapter_1_1.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/SICP_book/chapter_1_1.metta.html) | | -1 | -1 | 0% | [chapter_1_3.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/SICP_book/chapter_1_3.metta.html) | | | | | | | 22 | 2 | 91% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/metta-examples/stack-based/ | | | | | | | 0 | 1 | 0% | [interpreter.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/stack-based/interpreter.metta.html) | | 2 | 1 | 66% | [rewrites.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/stack-based/rewrites.metta.html) | | | | | | | 2 | 2 | 50% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/metta-examples/traverser/ | | | | | | | 0 | 3 | 0% | [creation.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/traverser/creation.metta.html) | | 1 | 11 | 8% | [basic.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/traverser/basic.metta.html) | | | | | | | 1 | 14 | 6% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/nars/current/ | | | | | | | 6 | 2 | 75% | [tests0.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/current/tests0.metta.html) | | -1 | -1 | 0% | [tests2.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/current/tests2.metta.html) | | 4 | 3 | 57% | [tests3.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/current/tests3.metta.html) | | -1 | -1 | 0% | [tests1.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/current/tests1.metta.html) | | 4 | 1 | 80% | [tests4.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/current/tests4.metta.html) | | -1 | -1 | 0% | [tests5.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/current/tests5.metta.html) | | | | | | | 14 | 9 | 60% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/nars/nars_extras/ | | | | | | | -1 | -1 | 0% | [RUN_minnars.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_extras/RUN_minnars.metta.html) | | 1 | 0 | 100% | [RUN_minnars_trimmed.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_extras/RUN_minnars_trimmed.metta.html) | | -1 | -1 | 0% | [TestNARS_listing.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_extras/TestNARS_listing.metta.html) | | 1 | 1 | 50% | [NARS_BuildTupleCounts.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_extras/NARS_BuildTupleCounts.metta.html) | | | | | | | 2 | 3 | 40% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/nars/nars_v0/ | | | | | | | 5 | 2 | 71% | [tests0.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_v0/tests0.metta.html) | | -1 | -1 | 0% | [tests2.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_v0/tests2.metta.html) | | 4 | 3 | 57% | [tests3.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_v0/tests3.metta.html) | | -1 | -1 | 0% | [tests1.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_v0/tests1.metta.html) | | 4 | 1 | 80% | [tests4.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_v0/tests4.metta.html) | | 6 | 2 | 75% | [tests5.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/nars_v0/tests5.metta.html) | | | | | | | 19 | 10 | 65% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/nars/new/ | | | | | | | 5 | 2 | 71% | [tests0.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/new/tests0.metta.html) | | -1 | -1 | 0% | [tests2.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/new/tests2.metta.html) | | 4 | 3 | 57% | [tests3.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/new/tests3.metta.html) | | -1 | -1 | 0% | [tests1.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/new/tests1.metta.html) | | 4 | 1 | 80% | [tests4.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/new/tests4.metta.html) | | -1 | -1 | 0% | [tests5.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/new/tests5.metta.html) | | | | | | | 13 | 9 | 59% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/nars/prev/ | | | | | | | 7 | 0 | 100% | [tests0.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/prev/tests0.metta.html) | | -1 | -1 | 0% | [tests2.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/prev/tests2.metta.html) | | 4 | 3 | 57% | [tests3.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/prev/tests3.metta.html) | | -1 | -1 | 0% | [tests1.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/prev/tests1.metta.html) | | 4 | 1 | 80% | [tests4.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/prev/tests4.metta.html) | | -1 | -1 | 0% | [tests5.metta](https://logicmoo.org/public/metta/reports/extended_compat/nars/prev/tests5.metta.html) | | | | | | | 15 | 7 | 68% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/features/host_language/compiler/ | | | | | | | 4 | 2 | 66% | [define_if_like.metta](https://logicmoo.org/public/metta/reports/features/host_language/compiler/define_if_like.metta.html) | | -1 | -1 | 0% | [00a_lang_compiled_case.metta](https://logicmoo.org/public/metta/reports/features/host_language/compiler/00a_lang_compiled_case.metta.html) | | | | | | | 4 | 3 | 57% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/backward-chainer/ | | | | | | | 40 | 5 | 88% | [backward-chainer-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/backward-chainer/backward-chainer-xp.metta.html) | | | | | | | 40 | 5 | 88% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/backward-chaining/ | | | | | | | 40 | 5 | 88% | [bc-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/backward-chaining/bc-xp.metta.html) | | | | | | | 40 | 5 | 88% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/common/ | | | | | | | 1 | 0 | 100% | [EqualityTypeTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/common/EqualityTypeTest.metta.html) | | 7 | 3 | 70% | [NumTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/common/NumTest.metta.html) | | 1 | 0 | 100% | [InTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/common/InTest.metta.html) | | 19 | 0 | 100% | [ListTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/common/ListTest.metta.html) | | 3 | 0 | 100% | [MaybeTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/common/MaybeTest.metta.html) | | 11 | 0 | 100% | [OrderedSetTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/common/OrderedSetTest.metta.html) | | | | | | | 42 | 3 | 93% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/curried-chaining/ | | | | | | | 8 | 0 | 100% | [curried-chainer.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/curried-chaining/curried-chainer.metta.html) | | | | | | | 8 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/dependent-types/ | | | | | | | -1 | -1 | 0% | [ImplicationDirectIntroductionDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/dependent-types/ImplicationDirectIntroductionDTLTest.metta.html) | | -1 | -1 | 0% | [DeductionImplicationDirectIntroductionDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/dependent-types/DeductionImplicationDirectIntroductionDTLTest.metta.html) | | 3 | 1 | 75% | [DeductionDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/dependent-types/DeductionDTLTest.metta.html) | | -1 | -1 | 0% | [ModusPonensDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/dependent-types/ModusPonensDTLTest.metta.html) | | | | | | | 3 | 4 | 42% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/entail/ | | | | | | | 6 | 0 | 100% | [ImplicationDirectIntroductionEntailTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/entail/ImplicationDirectIntroductionEntailTest.metta.html) | | -1 | -1 | 0% | [DeductionEntailTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/entail/DeductionEntailTest.metta.html) | | | | | | | 6 | 1 | 85% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/equal/ | | | | | | | -1 | -1 | 0% | [ImplicationDirectIntroductionEqualTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/equal/ImplicationDirectIntroductionEqualTest.metta.html) | | 0 | 2 | 0% | [DeductionEqualTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/equal/DeductionEqualTest.metta.html) | | | | | | | 0 | 3 | 0% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/forward-chainer/ | | | | | | | 12 | 4 | 75% | [forward-chainer-test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/forward-chainer/forward-chainer-test.metta.html) | | 25 | 6 | 80% | [forward-chainer-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/forward-chainer/forward-chainer-xp.metta.html) | | | | | | | 37 | 10 | 78% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/forward-chaining/ | | | | | | | 25 | 6 | 80% | [fc-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/forward-chaining/fc-xp.metta.html) | | | | | | | 25 | 6 | 80% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/hol/ | | | | | | | 1 | 0 | 100% | [NatTest~OLD.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/hol/NatTest~OLD.metta.html) | | 11 | 4 | 73% | [NatStandaloneTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/hol/NatStandaloneTest.metta.html) | | 3 | 1 | 75% | [NatDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/hol/NatDTLTest.metta.html) | | -1 | -1 | 0% | [NatTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/hol/NatTest.metta.html) | | -1 | -1 | 0% | [NatSimpleTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/hol/NatSimpleTest.metta.html) | | 1 | 0 | 100% | [ListTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/hol/ListTest.metta.html) | | -1 | -1 | 0% | [NatSimpleTest~OLD.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/hol/NatSimpleTest~OLD.metta.html) | | -1 | -1 | 0% | [NatParityTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/hol/NatParityTest.metta.html) | | | | | | | 16 | 9 | 64% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/inference-control/ | | | | | | | -1 | -1 | 0% | [inf-ctl-month-bc-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/inference-control/inf-ctl-month-bc-xp.metta.html) | | 16 | 2 | 88% | [inf-ctl-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/inference-control/inf-ctl-xp.metta.html) | | -1 | -1 | 0% | [inf-ctl-month-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/inference-control/inf-ctl-month-xp.metta.html) | | 24 | 3 | 88% | [inf-ctl-month-bc-cont-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/inference-control/inf-ctl-month-bc-cont-xp.metta.html) | | | | | | | 40 | 7 | 85% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/iterative-chaining/ | | | | | | | 22 | 11 | 66% | [ibc-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/iterative-chaining/ibc-xp.metta.html) | | 36 | 6 | 85% | [ifc-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/iterative-chaining/ifc-xp.metta.html) | | | | | | | 58 | 17 | 77% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/match/ | | | | | | | 1 | 0 | 100% | [ImplicationDirectIntroductionMatchTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/match/ImplicationDirectIntroductionMatchTest.metta.html) | | 1 | 0 | 100% | [DeductionImplicationDirectIntroductionMatchTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/match/DeductionImplicationDirectIntroductionMatchTest.metta.html) | | 1 | 0 | 100% | [DeductionMatchTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/match/DeductionMatchTest.metta.html) | | | | | | | 3 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/polyward-chaining/ | | | | | | | 13 | 2 | 86% | [pc-xp.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/polyward-chaining/pc-xp.metta.html) | | | | | | | 13 | 2 | 86% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/synthesis/ | | | | | | | -1 | -1 | 0% | [SynthesizeTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/SynthesizeTest.metta.html) | | 0 | 3 | 0% | [UnifyTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/UnifyTest.metta.html) | | | | | | | 0 | 4 | 0% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/python_compat/hyperon-experimental_python/sandbox/neurospace/ | | | | | | | 1 | 0 | 100% | [test_assist.metta](https://logicmoo.org/public/metta/reports/python_compat/hyperon-experimental_python/sandbox/neurospace/test_assist.metta.html) | | -1 | -1 | 0% | [test_nspace.metta](https://logicmoo.org/public/metta/reports/python_compat/hyperon-experimental_python/sandbox/neurospace/test_nspace.metta.html) | | | | | | | 1 | 1 | 50% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/python_compat/hyperon-experimental_python/sandbox/resolve/ | | | | | | | 6 | 7 | 46% | [r.metta](https://logicmoo.org/public/metta/reports/python_compat/hyperon-experimental_python/sandbox/resolve/r.metta.html) | | | | | | | 6 | 7 | 46% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/python_compat/hyperon-experimental_python/sandbox/sql_space/ | | | | | | | 1 | 2 | 33% | [sql_space_test.metta](https://logicmoo.org/public/metta/reports/python_compat/hyperon-experimental_python/sandbox/sql_space/sql_space_test.metta.html) | | | | | | | 1 | 2 | 33% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/common/truthvalue/ | | | | | | | 4 | 0 | 100% | [EvidentialTruthValueTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/common/truthvalue/EvidentialTruthValueTest.metta.html) | | 9 | 0 | 100% | [TruthValueTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/common/truthvalue/TruthValueTest.metta.html) | | | | | | | 13 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/pln/dependent-types/ | | | | | | | -1 | -1 | 0% | [ImplicationDirectIntroductionDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/pln/dependent-types/ImplicationDirectIntroductionDTLTest.metta.html) | | -1 | -1 | 0% | [DeductionImplicationDirectIntroductionDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/pln/dependent-types/DeductionImplicationDirectIntroductionDTLTest.metta.html) | | 3 | 1 | 75% | [DeductionDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/pln/dependent-types/DeductionDTLTest.metta.html) | | 1 | 3 | 25% | [ModusPonensDTLTest.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/pln/dependent-types/ModusPonensDTLTest.metta.html) | | | | | | | 4 | 6 | 40% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/sumo/john-carry-flower/ | | | | | | | 5 | 0 | 100% | [john-carry-flower-test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/sumo/john-carry-flower/john-carry-flower-test.metta.html) | | | | | | | 5 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/sumo/located/ | | | | | | | 3 | 0 | 100% | [located-test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/sumo/located/located-test.metta.html) | | | | | | | 3 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/sumo/orientation/ | | | | | | | 3 | 0 | 100% | [orientation-test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/sumo/orientation/orientation-test.metta.html) | | | | | | | 3 | 0 | 100% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/hyperon-pln/metta/synthesis/experiments/ | | | | | | | 4 | 0 | 100% | [synthesize-via-superpose.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-superpose.metta.html) | | 0 | 11 | 0% | [synthesize-via-unify-test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify-test.metta.html) | | 13 | 0 | 100% | [synthesize-via-type-checking.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-type-checking.metta.html) | | 7 | 0 | 100% | [unify-via-let.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/unify-via-let.metta.html) | | -1 | -1 | 0% | [synthesize-via-unify-test-longer.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-unify-test-longer.metta.html) | | 1 | 5 | 16% | [unify-via-case.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/unify-via-case.metta.html) | | -1 | -1 | 0% | [self-contained-synthesize.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/self-contained-synthesize.metta.html) | | -1 | -1 | 0% | [synthesize-via-let-test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-let-test.metta.html) | | -1 | -1 | 0% | [synthesize-via-case-test.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/synthesize-via-case-test.metta.html) | | 2 | 0 | 100% | [non-determinism.metta](https://logicmoo.org/public/metta/reports/extended_compat/hyperon-pln/metta/synthesis/experiments/non-determinism.metta.html) | | | | | | | 27 | 20 | 57% | Total | | | | | | | Pass | Fail | Percent | File/Directory Information | |-------|-------|----------|----------------------------------------------------------------------------------------------------| | | | | | | | | | Directory: ./reports/extended_compat/metta-examples/recursion-schemes/src/examples/ | | | | | | | 0 | 1 | 0% | [benchmark.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/recursion-schemes/src/reports/benchmark.metta.html) | | 2 | 4 | 33% | [expression.metta](https://logicmoo.org/public/metta/reports/extended_compat/metta-examples/recursion-schemes/src/reports/expression.metta.html) | | | | | | | 2 | 5 | 28% | Total | | | | | |