Now PASSING PROB-DEP-TYPES.INF-ORDER-PROBS.06) Now PASSING PROB-DEP-TYPES.INF-ORDER-PROBS.08) Now PASSING PROB-DEP-TYPES.INF-ORDER-PROBS.09) Now PASSING SCRIPTS.D4-TYPE-PROP.11) Now PASSING SCRIPTS.D4-TYPE-PROP.13) Wed Sep 27 01:29:52 AM PDT 2023 version_info=main_2743508f93adba4d528a98ef3553a09a5d10e03b_20230927012952_with_uncommitted_changes Wed Sep 27 01:58:41 AM PDT 2023 version_info=main_2743508f93adba4d528a98ef3553a09a5d10e03b_20230927015841_with_uncommitted_changes Wed Sep 27 02:04:58 AM PDT 2023 version_info=main_2743508f93adba4d528a98ef3553a09a5d10e03b_20230927020458_with_uncommitted_changes Wed Sep 27 02:15:21 AM PDT 2023 version_info=main_2743508f93adba4d528a98ef3553a09a5d10e03b_20230927021521_with_uncommitted_changes Wed Sep 27 02:34:12 AM PDT 2023 version_info=main_b3a93a56743e424d33634a85d71d9fe3012c92aa_20230927023412_with_uncommitted_changes Wed Sep 27 02:47:04 AM PDT 2023 version_info=main_b3a93a56743e424d33634a85d71d9fe3012c92aa_20230927024704_with_uncommitted_changes Thu Sep 28 05:31:14 AM PDT 2023 version_info=main_3c7a1e9bb8c5c3009b2a32858d21af6ef4b56347_20230928053114_with_uncommitted_changes Now PASSING SCRIPTS.E2-STATES.10) Thu Sep 28 06:45:00 AM PDT 2023 version_info=main_eebfbb3fecddfa2f28ed4fe7e0096d4473c24d6d_20230928064500_with_uncommitted_changes Now PASSING COMMON.NUMTEST.03) Now PASSING COMMON.NUMTEST.09) Now PASSING COMMON.ORDEREDSETTEST.10) Now PASSING SCRIPTS.C3-PLN-STV.01) Now PASSING SCRIPTS.C3-PLN-STV.04) Now PASSING SCRIPTS.C3-PLN-STV.05) Thu Sep 28 11:23:19 AM PDT 2023 version_info=main_1fddd74e120df5ea14b3da1cdfcce43d3c597190_20230928112319_with_uncommitted_changes Now FAILING SCRIPTS.F1-IMPORTS.01) Now FAILING SCRIPTS.F1-IMPORTS.04) Now PASSING .F1-MODULEA.01) Now PASSING NARS.TESTS1.01) Now PASSING SCRIPTS.C2-SPACES.01) Now PASSING SCRIPTS.F1-IMPORTS.02) Thu Sep 28 12:51:40 PM PDT 2023 version_info=main_2350d1b8f8e3ff863eda42f199c7cb35a2a025a9_20230928125140_with_uncommitted_changes Now PASSING COMMON.INTEST.01) Now PASSING SCRIPTS.E3-MATCH-STATES.03) Now PASSING SCRIPTS.F1-IMPORTS.13) Now PASSING SCRIPTS.F1-IMPORTS.14) Now PASSING SCRIPTS.F1-IMPORTS.16) Now PASSING SCRIPTS.F1-IMPORTS.17) Fri Sep 29 10:38:23 AM PDT 2023 version_info=main_e73c313bf6fd1037fd4b812c7ef50ffbd7577f72_20230929103823_with_uncommitted_changes Now FAILING EXAMPLES.PATHFINDING-EASY.01) Now FAILING SCRIPTS.D2-HIGHERFUNC.21) Mon Oct 2 06:16:43 AM PDT 2023 version_info=main_7e05a49663552e628d41d5133008cf1237e12650_20231002061643_with_uncommitted_changes Mon Oct 2 06:41:40 AM PDT 2023 version_info=main_7e05a49663552e628d41d5133008cf1237e12650_20231002064140_with_uncommitted_changes Mon Oct 2 07:32:02 AM PDT 2023 version_info=main_3a6930e2d12282146833829ba4ff983064e2a255_20231002073202_with_uncommitted_changes Mon Oct 2 07:48:28 AM PDT 2023 version_info=main_3a6930e2d12282146833829ba4ff983064e2a255_20231002074828_with_uncommitted_changes Mon Oct 2 08:49:34 AM PDT 2023 version_info=main_b7a65f32c08f0e090a78ca0f8e502ad871ccec5e_20231002084934_with_uncommitted_changes Mon Oct 2 10:39:52 AM PDT 2023 version_info=main_37e6fd2a006b393b4ec986043230019e32e387fe_20231002103952_with_uncommitted_changes Now PASSING EXAMPLES.FACTORIAL.01) Mon Oct 2 10:57:20 AM PDT 2023 version_info=main_37e6fd2a006b393b4ec986043230019e32e387fe_20231002105720_with_uncommitted_changes Wed Oct 4 12:25:14 PM PDT 2023 version_info=main_37e6fd2a006b393b4ec986043230019e32e387fe_20231004122514_with_uncommitted_changes Now FAILING PROB-DEP-TYPES.PROB-DEP-TYPES.01) Now FAILING PROB-DEP-TYPES.PROB-DEP-TYPES.02) Now FAILING SCRIPTS.00-LANG-CASE.10) Now FAILING SCRIPTS.00-LANG-CASE.11) Now FAILING SCRIPTS.01-LANG-INC.01) Now FAILING SCRIPTS.A1-SYMBOLS.02) Now FAILING SCRIPTS.B1-EQUAL-CHAIN.01) Now FAILING SCRIPTS.B4-NONDETERM.01) Now FAILING SCRIPTS.D1-GADT.02) Now FAILING SCRIPTS.F1-IMPORTS.02) Wed Oct 4 05:58:36 PM PDT 2023 version_info=main_008e7ded191c587b70189230888a9e45c45782f3_20231004175836_with_uncommitted_changes Now PASS Now PASSING SCRIPTS.D2-HIGHERFUNC.21) PASSING NARS.TESTS0.01) PASSING NARS.TESTS0.02) PASSING NARS.TESTS0.03) PASSING NARS.TESTS0.04) PASSING NARS.TESTS0.05) PASSING NARS.TESTS0.06) PASSING NARS.TESTS0.07) PASSING NARS.TESTS1.01) Thu Oct 19 04:19:15 AM PDT 2023 version_info=main_3038523178137ae696ff6a5872c9a434d3c66599_20231019041915_with_uncommitted_changes Now PASSING FEATURES.REVERSE-ARITHMETIC.01) Now PASSING NARS.TESTS0.01) Now PASSING NARS.TESTS0.02) Now PASSING NARS.TESTS0.03) Now PASSING NARS.TESTS0.04) Now PASSING NARS.TESTS0.05) Now PASSING NARS.TESTS0.06) Now PASSING NARS.TESTS0.07) Now PASSING NARS.TESTS1.01) Fri Oct 20 08:41:53 AM PDT 2023 version_info=main_c483b61d44817aa1ef0ddea2d3f8dcb43421a9ae_20231020084152_with_uncommitted_changes Now FAILING COMPILER.00A-LANG-COMPILED-CASE.09) Now FAILING COMPILER.00A-LANG-COMPILED-CASE.11) Now FAILING SCRIPTS.D2-HIGHERFUNC.21) Now PASSING EXAMPLES.FACTORIAL.02) Now PASSING EXAMPLES.FACTORIAL.03) Now PASSING EXAMPLES.STATE-TYPES.04) Now PASSING SCRIPTS.B4-NONDETERM.10) Now PASSING SCRIPTS.B4-NONDETERM.11) Now PASSING SCRIPTS.D2-HIGHERFUNC.04) Now PASSING SCRIPTS.D2-HIGHERFUNC.24) Now PASSING SCRIPTS.D2-HIGHERFUNC.27) Now PASSING SCRIPTS.D4-TYPE-PROP.18) Now PASSING SCRIPTS.E2-STATES.03) Now PASSING SCRIPTS.E2-STATES.04) Fri Oct 20 09:59:20 AM PDT 2023 version_info=main_af02a2a42fde15710fe89b7d284cd54ce5b021db_20231020095920_with_uncommitted_changes Now PASSING DEPENDENT-TYPES.IMPLICATIONDIRECTINTRODUCTIONDTLTEST.105) Now PASSING DEPENDENT-TYPES.MODUSPONENSDTLTEST.104) Fri Oct 20 02:58:27 PM PDT 2023 version_info=main_af02a2a42fde15710fe89b7d284cd54ce5b021db_20231020145827_with_uncommitted_changes Sat Oct 21 12:34:34 AM PDT 2023 version_info=main_af02a2a42fde15710fe89b7d284cd54ce5b021db_20231021003434_with_uncommitted_changes Sat Oct 21 12:42:07 AM PDT 2023 version_info=main_3721e36cf0f18339dc72c145e70ba2da30ae310a_20231021004207_with_uncommitted_changes Sun Nov 26 06:28:36 PM PST 2023 version_info=main_3a45a6b8f86effde476c7658365ff99e9cec0b57_20231126182836_with_uncommitted_changes So 26. Nov 19:09:08 PST 2023 version_info=main_3a45a6b8f86effde476c7658365ff99e9cec0b57_20231126190908_with_uncommitted_changes Mo 27. Nov 12:32:49 PST 2023 version_info=main_6fe8593d24ddc37ab6ab53c731982bfdb96e345c_20231127123249_with_uncommitted_changes Mon Dec 4 05:21:50 AM PST 2023 version_info=main_021f865fe47e7aec198cf20a5591798d4aff7bf7_20231204052150_with_uncommitted_changes Mon Dec 4 02:43:35 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204144335_with_uncommitted_changes Mon Dec 4 02:46:46 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204144646_with_uncommitted_changes Mon Dec 4 02:47:24 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204144724_with_uncommitted_changes Mon Dec 4 02:48:40 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204144840_with_uncommitted_changes Mon Dec 4 02:48:45 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204144845_with_uncommitted_changes Mon Dec 4 02:53:04 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204145304_with_uncommitted_changes FAILING METTA-MORPH-TESTS.ADD-ATOM-MATCH.01) Now FAIL Now PASS PASSING METTA-MORPH-TESTS.AND-OR.101) Mon Dec 4 02:54:31 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204145431_with_uncommitted_changes Mon Dec 4 02:58:05 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204145805_with_uncommitted_changes Mon Dec 4 03:33:38 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204153338_with_uncommitted_changes Mon Dec 4 03:33:41 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204153341_with_uncommitted_changes Mon Dec 4 03:36:05 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204153605_with_uncommitted_changes Mon Dec 4 03:38:14 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204153814_with_uncommitted_changes Mon Dec 4 03:46:02 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204154602_with_uncommitted_changes Mon Dec 4 03:49:29 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204154929_with_uncommitted_changes Mon Dec 4 04:15:38 PM PST 2023 version_info=main_9a63a8fc612761baa01483096cd1bf659ec95da0_20231204161537_with_uncommitted_changes Mon Dec 4 09:48:03 PM PST 2023 version_info=main_4719d14c1a0d9c53b5016e2c7f70486ae5f6eb72_20231204214803_with_uncommitted_changes Now FAILING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.03) Now FAILING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.04) Now FAILING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.08) Now FAILING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.09) Now FAILING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.12) Now FAILING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.23) Now FAILING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.26) Now FAILING COMMON.NUMTEST.06) Now FAILING COMMON.NUMTEST.08) Now FAILING FORWARD-CHAINER.FORWARD-CHAINER-XP.04) Now FAILING FORWARD-CHAINER.FORWARD-CHAINER-XP.07) Now FAILING FORWARD-CHAINER.FORWARD-CHAINER-XP.10) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.03) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.A3-TWOSIDE.04) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.04) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.01) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.02) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.08) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.01) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.03) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.04) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.16) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.20) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.21) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.22) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.02) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C2-SPACES.04) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.14) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.24) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.04) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.05) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.09) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.10) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.05) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.01) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.02) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.14) Now FAILING METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.01) Now FAILING METTA-MORPH-TESTS.LET-SUPERPOSE-LIST2.01) Now FAILING TRUTHVALUE.TRUTHVALUETEST.06) Now PASSING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.10) Now PASSING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.16) Now PASSING BACKWARD-CHAINER.BACKWARD-CHAINER-XP.29) Now PASSING COMMON.NUMTEST.07) Now PASSING COMMON.ORDEREDSETTEST.11) Now PASSING EXPERIMENTS.SYNTHESIZE-VIA-UNIFY-TEST.01) Now PASSING EXPERIMENTS.SYNTHESIZE-VIA-UNIFY-TEST.02) Now PASSING FORWARD-CHAINER.FORWARD-CHAINER-XP.01) Now PASSING FORWARD-CHAINER.FORWARD-CHAINER-XP.05) Now PASSING FORWARD-CHAINER.FORWARD-CHAINER-XP.09) Now PASSING FORWARD-CHAINER.FORWARD-CHAINER-XP.14) Now PASSING FORWARD-CHAINER.FORWARD-CHAINER-XP.15) Now PASSING FORWARD-CHAINER.FORWARD-CHAINER-XP.16) Now PASSING FORWARD-CHAINER.FORWARD-CHAINER-XP.17) Now PASSING FORWARD-CHAINER.FORWARD-CHAINER-XP.18) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.01) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.03) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.07) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.21) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.01) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.02) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.06) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.03) Now PASSING HYPERON-METTALOG-SANITY.00-LANG-CASE.11) Now PASSING HYPERON-METTALOG-SANITY.00-LANG-CASE.13) Now PASSING METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.01) Now PASSING METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.02) Now PASSING METTA-MORPH-TESTS.MATCH-SUPERPOSED-SPACES.03) Tue Dec 5 02:29:41 AM PST 2023 version_info=main_4719d14c1a0d9c53b5016e2c7f70486ae5f6eb72_20231205022941_with_uncommitted_changes Now FAILING DEPENDENT-TYPES.IMPLICATIONDIRECTINTRODUCTIONDTLTEST.17) Now FAILING EXPERIMENTS.SYNTHESIZE-VIA-SUPERPOSE.04) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.07) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.09) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.09) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.17) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.07) Now FAILING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.11) Now FAILING HYPERON-METTALOG-SANITY.00-LANG-CASE.03) Now FAILING HYPERON-METTALOG-SANITY.02-CURRIED-PLUS.01) Now PASSING COMMON.NUMTEST.06) Now PASSING COMMON.NUMTEST.08) Now PASSING DEPENDENT-TYPES.IMPLICATIONDIRECTINTRODUCTIONDTLTEST.18) Now PASSING EXPERIMENTS.NON-DETERMINISM.01) Now PASSING EXPERIMENTS.NON-DETERMINISM.02) Now PASSING EXPERIMENTS.SYNTHESIZE-VIA-TYPE-CHECKING.09) Now PASSING EXPERIMENTS.SYNTHESIZE-VIA-TYPE-CHECKING.10) Now PASSING EXPERIMENTS.SYNTHESIZE-VIA-TYPE-CHECKING.14) Now PASSING FORMULA.DEDUCTIONFORMULATEST.13) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.01) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.03) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.04) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.16) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.20) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.21) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.22) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.10) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.11) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.12) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D1-GADT.14) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.01) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.02) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.05) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.17) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D2-HIGHERFUNC.24) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.01) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.02) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.05) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D3-DEPTYPES.06) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.02) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.04) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.05) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.05) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E2-STATES.07) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.01) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.02) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.04) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.06) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E3-MATCH-STATES.07) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.F1-IMPORTS.01) Now PASSING HYPERON-METTALOG-SANITY.00-LANG-CASE.12) Now PASSING METTA-MORPH-TESTS.ADD-ATOM-MATCH.01) Now PASSING METTA-MORPH-TESTS.IDENTITY.01) Now PASSING METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.01) Now PASSING METTA-MORPH-TESTS.LET-SUPERPOSE-LIST.02) Now PASSING METTA-MORPH-TESTS.LET-SUPERPOSE-LIST2.01) Now PASSING METTA-MORPH-TESTS.MULTIFUNCTION.01) Now PASSING METTA-MORPH-TESTS.SEQUENTIAL-NESTED.02) Now PASSING METTA-MORPH-TESTS.SEQUENTIAL-NESTED.03) Now PASSING METTA-MORPH-TESTS.SEQUENTIAL-NESTED.04) Now PASSING METTA-MORPH-TESTS.SEQUENTIAL-NESTED.05) Now PASSING METTA-MORPH-TESTS.SEQUENTIAL-NESTED.06) Now PASSING METTA-MORPH-TESTS.SEQUENTIAL-NESTED.08) Now PASSING METTA-MORPH-TESTS.SEQUENTIAL-NESTED.09) Now PASSING ORIENTATION.ORIENTATION-TEST.05) Now PASSING TRUTHVALUE.EVIDENTIALTRUTHVALUETEST.03) Now PASSING TRUTHVALUE.TRUTHVALUETEST.06) Wed Dec 6 01:44:32 AM PST 2023 version_info=main_d942c5b0eec11b8e281af2af1ac35f36afe95e5a_20231206014432_with_uncommitted_changes Now FAILING DEPENDENT-TYPES.IMPLICATIONDIRECTINTRODUCTIONDTLTEST.18) Now FAILING EXPERIMENTS.SYNTHESIZE-VIA-SUPERPOSE.01) Now FAILING METTA-MORPH-TESTS.MATCH-FEVAL.01) Now PASSING DEPENDENT-TYPES.DEDUCTIONDTLTEST.07) Now PASSING DEPENDENT-TYPES.IMPLICATIONDIRECTINTRODUCTIONDTLTEST.17) Now PASSING EXPERIMENTS.SYNTHESIZE-VIA-SUPERPOSE.04) Now PASSING EXPERIMENTS.SYNTHESIZE-VIA-TYPE-CHECKING.04) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.B2-BACKCHAIN.04) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.01) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.B3-DIRECT.02) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.07) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.09) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.10) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.B4-NONDETERM.11) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.09) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.17) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.C1-GROUNDED-BASIC.23) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.09) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.D4-TYPE-PROP.10) Now PASSING HYPERON-EXPERIMENTAL-SCRIPTS.E1-KB-WRITE.03) Now PASSING HYPERON-METTALOG-SANITY.00-LANG-CASE.03) Now PASSING LOCATED.LOCATED-TEST.06) Now PASSING METTA-MORPH-TESTS.NESTED-PARAMETERS.01) Now PASSING METTA-MORPH-TESTS.STATES-SPACES.09) Wed Dec 6 02:20:59 AM PST 2023 version_info=main_f795d688a6b7596c308c1ad4af16fe574c76237d_20231206022059_with_uncommitted_changes Wed Dec 6 02:25:35 AM PST 2023 version_info=main_f795d688a6b7596c308c1ad4af16fe574c76237d_20231206022535_with_uncommitted_changes Wed Dec 6 04:24:44 AM PST 2023 version_info=main_06dfe0ac02065f5d0293f045d5dd8876f54cb105_20231206042444_with_uncommitted_changes Wed Dec 6 04:26:15 AM PST 2023 version_info=main_06dfe0ac02065f5d0293f045d5dd8876f54cb105_20231206042615_with_uncommitted_changes Thu Dec 7 07:39:11 AM PST 2023 version_info=main_f47c3c41b2bef51ebfbfb416a113bfec402ee396_20231207073911_with_uncommitted_changes Thu Dec 7 05:24:37 PM PST 2023 version_info=main_f47c3c41b2bef51ebfbfb416a113bfec402ee396_20231207172437_with_uncommitted_changes Mon Dec 11 07:21:22 AM PST 2023 version_info=main_222bab66cda3d3970d4f5edfb2c64714cb09b9c1_20231211072122_with_uncommitted_changes Mon Dec 11 11:35:03 AM PST 2023 version_info=main_ab02510695f8ef93a26e4ae20942ce37bb219f45_20231211113503_with_uncommitted_changes Mon Dec 11 12:12:10 PM PST 2023 version_info=main_95c447a768a46b68f02bd55092e332410fc7cf2c_20231211121210_with_uncommitted_changes