logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0001_Line_0000__B_in_header_sane: header_sane:call_u(bc_p(b)) | 0 ms | Failed |
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0002_Line_0000__naf_bc_q_1_in_header_sane: header_sane:(\\+clause(bc_q(Q1),true)) | 0 ms | Passed |
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0003_Line_0000__B_in_header_sane: header_sane:bc_q(b) | 0 ms | Failed |
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0004_Line_0000__bc_q_1_in_header_sane: header_sane:clause_u(bc_q(Q1),true) | 0 ms | Failed |
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0005_Line_0000__bc_q_1_in_header_sane: header_sane:(bc_q(P_Q)<-bc_p(P_Q))Failed with 0 retries | 2 ms | Failed |
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0006_Line_0000__bc_q_1_in_header_sane: header_sane:(bc_q(P_Q)<-bc_p(P_Q)) | 0 ms | Failed |
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0007_Line_0000__B_in_header_sane: header_sane:bc_q(b) | 0 ms | Failed |
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0008_Line_0000__bc_q_1_in_header_sane: header_sane:mpred_withdraw((bc_q(P_Q)<-bc_p(P_Q))) | 1 ms | Passed |
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0009_Line_0000__bc_q_1_in_header_sane: header_sane:(mpred_withdraw((bc_q(P_Q2)<-bc_p(P_Q2))),show_failure(\\+clause_u(bc_q(Q4),true))) | 1 ms | Passed |
logicmoo.pfc.test.sanity_base.BC_01A_1@Test_0010_Line_0000__naf_bc_q_1_in_header_sane: header_sane:(\\+clause_u(bc_q(Q1),true)) | 0 ms | Passed |