API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jul 17th, 2019
101
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 374.59 KB | None | 0 0
raw download clone embed print report
  1. I nars.TestServer - appending 771 rows to /home/me/d/tests1.csv (class java.util.zip.GZIPOutputStream)
  2. 8b5c99f1-9c30-4ee7-bc00-6977d6ebc03e_InterningTermBuilder_subterms
  3. 77.66% N=129996 H=452143 M=130048 R=46 E=39 D=17.77%
  4.  
  5. 8b5c99f1-9c30-4ee7-bc00-6977d6ebc03e_InterningTermBuilder_intrinSubterms
  6. 99.64% N=313 H=87171 M=313 R=0 E=0 D=.09%
  7.  
  8. I nars.TestServer - saved /home/me/d/tests1.csv
  9. 8b5c99f1-9c30-4ee7-bc00-6977d6ebc03e_InterningTermBuilder_statement
  10. 97.97% N=6232 H=300221 M=6232 R=0 E=0 D=.57%
  11.  
  12. 8b5c99f1-9c30-4ee7-bc00-6977d6ebc03e_InterningTermBuilder_*
  13. 84.75% N=123832 H=693603 M=124331 R=461 E=490 D=33.86%
  14.  
  15. 8b5c99f1-9c30-4ee7-bc00-6977d6ebc03e_InterningTermBuilder_conj
  16. 98.35% N=3803 H=226790 M=3803 R=0 E=0 D=1.04%
  17.  
  18. 8b5c99f1-9c30-4ee7-bc00-6977d6ebc03e_InterningTermBuilder_[
  19. 99.64% N=53 H=14811 M=53 R=0 E=0 D=.01%
  20.  
  21. 8b5c99f1-9c30-4ee7-bc00-6977d6ebc03e_InterningTermBuilder_{
  22. 97.95% N=427 H=20384 M=427 R=0 E=0 D=.12%
  23.  
  24. 8b5c99f1-9c30-4ee7-bc00-6977d6ebc03e_InterningTermBuilder_root
  25. 99.64% N=2779 H=767943 M=2779 R=0 E=0 D=.76%
  26.  
  27. 8b5c99f1-9c30-4ee7-bc00-6977d6ebc03e_InterningTermBuilder_normalize
  28. 77.7% N=194 H=676 M=194 R=0 E=0 D=.05%
  29.  
  30. DepIndepVarIntroduction_select
  31. 98.75% N=321 H=25441 M=321 R=0 E=0 D=.98%
  32.  
  33. summary
  34. package | class | method | param | Mean [wallTimeNS] |
  35. ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
  36. BooleanTest | nars.nal.nal5 | testConditionalImplication | | 4.18s |
  37. NAL4MultistepTest | nars.nal.nal4 | nal4_everyday_reasoning_easier | | 2.43s |
  38. SecondLevelUnificationTest | nars.nal.nal6 | test1 | | 2.07s |
  39. BooleanTest | nars.nal.nal5 | testXOREternal | | 1.46s |
  40. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedProd_easy | | 1.4s |
  41. QuestionTest | nars.nal.nal1 | questionDrivesInference | | 1.33s |
  42. NAL3ComposeTest | nars.nal.nal3 | intersectionComposition | | 1.27s |
  43. BooleanTest | nars.nal.nal5 | testSAT2Individual00 | | 1.23s |
  44. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedTemporalConj | | 1.09s |
  45. AIMATests | nars.nal.nal5 | testWeaponsDomain | | 1.02s |
  46. NAL6MultistepTest | nars.nal.nal6 | testBurglarEarthquake1 | | 999.2079ms |
  47. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_NegBelief_NegToBC | | 995.7278ms |
  48. BooleanTest | nars.nal.nal5 | testSAT2Individual10 | | 885.6756ms |
  49. BooleanTest | nars.nal.nal5 | testSAT2Individual01 | | 877.8054ms |
  50. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_PosBelief_ToBC | | 794.119ms |
  51. NAL1MultistepTest | nars.nal.nal1 | multistepInh4 | | 778.8418ms |
  52. BooleanTest | nars.nal.nal5 | testSAT2Individual11 | | 688.4539ms |
  53. NAL4MultistepTest | nars.nal.nal4 | nal4_everyday_reasoning | | 651.1559ms |
  54. AIMATests | nars.nal.nal5 | testAIMAExample | [1] 0.01 | 634.3632ms |
  55. AIMATests | nars.nal.nal5 | testAIMAExample | [2] 0.05 | 633.9608ms |
  56. ImplicationTest | nars.nal.nal8 | testBelief | | 619.1889ms |
  57. NAL3ComposeTest | nars.nal.nal3 | compound_composition_two_premises2 | | 618.8312ms |
  58. NAL2Test | nars.nal.nal2 | set_operations | | 607.8321ms |
  59. NAL4Test | nars.nal.nal4 | structural_transformationExt_forward_repeats2numeric | | 602.0505ms |
  60. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_NegBelief_NegToB_NegToC | | 599.3856ms |
  61. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_NegBelief_ToBC | | 584.7128ms |
  62. AIMATests | nars.nal.nal5 | testAIMAExample | [3] 0.1 | 577.5084ms |
  63. AIMATests | nars.nal.nal5 | testAIMAExample | testAIMAExample(double) | 534.3592ms |
  64. AIMATests | nars.nal.nal5 | testAIMAExample | [5] 0.5 | 534.2503ms |
  65. AIMATests | nars.nal.nal5 | testAIMAExample | [4] 0.25 | 514.2786ms |
  66. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_NegBelief_NegToBC_AB_only | | 507.8007ms |
  67. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testDecomposeConjNeg3 | | 475.3039ms |
  68. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_subj | | 426.706ms |
  69. NAL1GoalTest | nars.nal.nal1 | deductionPositiveGoalNegativeBelief | | 411.0671ms |
  70. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_ParallelWithDepVar_and_Specific_Arithmetic | | 408.6954ms |
  71. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Union2 | | 404.4222ms |
  72. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_BeliefNegPos | | 401.0154ms |
  73. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2_neg | | 393.327ms |
  74. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedImplExt2 | | 393.2388ms |
  75. NAL6Test | nars.nal.nal6 | testMutexDissociation | | 388.9032ms |
  76. NAL4Test | nars.nal.nal4 | testNormalize0 | | 384.0631ms |
  77. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityBiProd | | 379.8557ms |
  78. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_pred_pos_neg | | 374.9505ms |
  79. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [2] 0.25 | 359.7676ms |
  80. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedImplExt | | 344.9446ms |
  81. NAL8EternalMixTest | nars.nal.nal8 | subsent_1 | | 342.848ms |
  82. QueryVariableTest | nars.nal.nal6 | testQuery1 | | 336.9027ms |
  83. NAL4Test | nars.nal.nal4 | concludeImageIntInheritImageExt | | 336.0043ms |
  84. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_pred_pos_pos | | 332.4417ms |
  85. NAL3GoalTest | nars.nal.nal3 | testNoDifference | | 321.6773ms |
  86. NAL4Test | nars.nal.nal4 | structural_transformationInt_neg_focus | | 318.7411ms |
  87. ImplicationTest | nars.nal.nal8 | testGoal | | 317.8263ms |
  88. NAL5Test | nars.nal.nal5 | conditional_abduction2_viaMultiConditionalSyllogism | | 308.9449ms |
  89. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | compound_decomposition_two_premises_Negative_DiffExtensional(float) | 307.4374ms |
  90. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [5] 0.9 | 307.3346ms |
  91. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedProd | | 305.452ms |
  92. NAL8EternalMixTest | nars.nal.nal8 | condition_belief_deduction_2 | | 304.6688ms |
  93. NAL8Test | nars.nal.nal8 | condition_belief_deduction_2_entire_variable | | 300.7168ms |
  94. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | compound_decomposition_two_premises_Negative_DiffIntensional(float) | 297.5993ms |
  95. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [5] 0.9 | 297.4835ms |
  96. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [3] 0.5 | 295.3035ms |
  97. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple_NegSubCondition_The | | 292.3709ms |
  98. NAL6Test | nars.nal.nal6 | abduction_without_variable_elimination | | 291.6074ms |
  99. NAL6Test | nars.nal.nal6 | variable_elimination6_easier | | 282.8804ms |
  100. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [1] 0.0 | 275.0497ms |
  101. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_PosGoal_ToBC | | 267.7934ms |
  102. NAL3DecomposeGoalTest | nars.nal.nal3 | testUnionSinglePremiseDecomposeGoal1Pos | | 266.7476ms |
  103. NAL2Test | nars.nal.nal2 | testIntersectDiffUnionOfCommonSubterms | | 265.8367ms |
  104. NAL8Test | nars.nal.nal8 | testConjParGoalDecomposeForward | | 265.8237ms |
  105. NAL8Test | nars.nal.nal8 | testConjSeqGoalNegDecomposeForward | | 264.5821ms |
  106. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_BeliefPosNeg | | 264.4827ms |
  107. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [4] 0.75 | 260.0242ms |
  108. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [3] 0.5 | 257.8819ms |
  109. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple_NegSubCondition_Other | | 257.0514ms |
  110. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityProd | | 256.294ms |
  111. NAL3ComposeTest | nars.nal.nal3 | intersectionCompositionWrappedInProd | | 254.4529ms |
  112. NAL4Test | nars.nal.nal4 | structural_transformationInt_0 | | 249.6702ms |
  113. NAL6Test | nars.nal.nal6 | abduction_neg_without_variable_elimination | | 249.2319ms |
  114. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_BeliefPosPos | | 240.9966ms |
  115. NAL5Test | nars.nal.nal5 | conditional_abduction2_viaMultiConditionalSyllogism_simpler | | 238.1468ms |
  116. NAL8EternalMixTest | nars.nal.nal8 | condition_belief_deduction_2_easier | | 236.129ms |
  117. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityInh3 | | 235.5998ms |
  118. NAL8Test | nars.nal.nal8 | testPredictiveEquivalenceTemporalTemporalNeg | | 234.2018ms |
  119. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [4] 0.75 | 232.99ms |
  120. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogism | | 226.1877ms |
  121. NAL5Test | nars.nal.nal5 | conditional_deduction_neg | | 223.6227ms |
  122. TemporallyUnstableTests | nars.nal.nal7 | testTemporalStabilityConjInvertor | | 220.5158ms |
  123. NAL6Test | nars.nal.nal6 | abduction_positive_negative_mix_depolarized | | 216.4657ms |
  124. NAL4Test | nars.nal.nal4 | testNeqComRecursiveConstraint | | 216.1404ms |
  125. NAL5Test | nars.nal.nal5 | conditional_deduction2 | | 213.5826ms |
  126. NAL6Test | nars.nal.nal6 | testMutexConjBeliefInduction | | 211.037ms |
  127. NAL8EternalMixTest | nars.nal.nal8 | condition_belief_deduction_2_neg | | 210.5823ms |
  128. NAL5Test | nars.nal.nal5 | conditional_abduction2 | | 208.5685ms |
  129. NAL3DecomposeGoalTest | nars.nal.nal3 | testNegUnionGoalSinglePremiseDecompose | | 205.1771ms |
  130. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_3 | | 204.0957ms |
  131. NAL4Test | nars.nal.nal4 | structural_transformationExt | | 199.8215ms |
  132. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedInh | | 193.5843ms |
  133. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Intersect_3_2_neg | | 189.8092ms |
  134. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_MidSequenceDTernalComponentWithUnification2 | | 187.4302ms |
  135. NAL6Test | nars.nal.nal6 | multiple_variable_elimination | | 184.9972ms |
  136. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Union | | 183.6956ms |
  137. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityAtoms | | 183.655ms |
  138. NAL6Test | nars.nal.nal6 | abductionBeliefWeakPositivesButNotNegative | | 181.7604ms |
  139. NAL8Test | nars.nal.nal8 | testInhibitionInverse | | 180.7333ms |
  140. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDecomposeWTF | | 180.2011ms |
  141. NAL1MultistepTest | nars.nal.nal1 | multistepImpl4 | | 179.2529ms |
  142. NAL8Test | nars.nal.nal8 | condition_goal_disjunction_2_neg_conj_var_simple | | 179.1055ms |
  143. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2_alternating_position | | 179.0158ms |
  144. NAL3DecomposeGoalTest | nars.nal.nal3 | testMutexAbduction | | 178.8775ms |
  145. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_MidSequence_Disj | | 176.5997ms |
  146. NAL6Test | nars.nal.nal6 | variable_elimination_deduction_neg_conc | | 170.0898ms |
  147. NAL8Test | nars.nal.nal8 | condition_goal_deduction_2_neg_conj | | 168.8965ms |
  148. NAL5Test | nars.nal.nal5 | conditional_antiAbduction_viaMultiConditionalSyllogism_simple_b | | 167.9832ms |
  149. NAL8Test | nars.nal.nal8 | condition_goal_disjunction_2_neg_conj_var_simple_neg | | 166.6892ms |
  150. NAL6Test | nars.nal.nal6 | abduction_with_variable_elimination_negated | | 166.0581ms |
  151. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple_Predicate_Polarity_Mismatch | | 164.8353ms |
  152. NAL7RealtimeTest | nars.nal.nal7 | test1 | | 163.4383ms |
  153. NAL8Test | nars.nal.nal8 | testInhibition | | 162.6729ms |
  154. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedTemporalConjSmall | | 158.2631ms |
  155. NAL6Test | nars.nal.nal6 | variable_elimination_deduction_neg_condition | | 157.9085ms |
  156. NAL8EternalMixTest | nars.nal.nal8 | testStrongUnificationDeductionPN | | 157.7894ms |
  157. NAL4Test | nars.nal.nal4 | one_element_wrap | | 155.2883ms |
  158. NAL5Test | nars.nal.nal5 | conditional_antiAbduction_viaMultiConditionalSyllogism_simple_a | | 154.7452ms |
  159. NAL6Test | nars.nal.nal6 | second_level_variable_unificationNoImgAndAsPrecondition | | 154.5459ms |
  160. NAL8Test | nars.nal.nal8 | condition_goal_conjunction_2_neg_conj_var_simple_neg | | 151.0988ms |
  161. NAL5Test | nars.nal.nal5 | conditional_deduction_simple | | 150.4501ms |
  162. NAL6Test | nars.nal.nal6 | second_level_variable_unificationNoImgAndAsPreconditionAllIndep | | 150.128ms |
  163. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogism_simple | | 149.5769ms |
  164. NAL8Test | nars.nal.nal8 | testConjSeqGoalDecomposeForward | | 147.7777ms |
  165. NAL6Test | nars.nal.nal6 | variable_unification4 | | 145.9984ms |
  166. NAL6Test | nars.nal.nal6 | second_level_variable_unification2 | | 144.7628ms |
  167. NAL6Test | nars.nal.nal6 | abductionBeliefWeakNegativesButNotNegative | | 143.5761ms |
  168. NAL6Test | nars.nal.nal6 | variable_elimination6simplerReverse | | 143.1379ms |
  169. NAL8EternalMixTest | nars.nal.nal8 | testGoalImplComponentTemporal | | 142.1615ms |
  170. NAL8EternalMixTest | nars.nal.nal8 | implSubstitutionViaSimilarity | | 141.6598ms |
  171. NAL5Test | nars.nal.nal5 | conditional_deduction | | 140.0667ms |
  172. NAL8EternalMixTest | nars.nal.nal8 | temporal_deduction_2 | | 138.7745ms |
  173. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionSinglePremiseDecomposeGoal1Pos | | 137.9933ms |
  174. NAL1GoalTest | nars.nal.nal1 | questFromExtensionalSiblingGoal | | 136.0835ms |
  175. NAL8Test | nars.nal.nal8 | condition_goal_conjunction_2_neg_conj_var_simple_pos | | 135.4638ms |
  176. NAL3DecomposeBeliefTest | nars.nal.nal3 | questPropagation | | 135.1443ms |
  177. NAL5Test | nars.nal.nal5 | testConversionNeg | | 134.7413ms |
  178. NAL3GoalTest | nars.nal.nal3 | testDifference | | 134.1187ms |
  179. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2 | [1] --> | 131.3201ms |
  180. QuestionTest | nars.nal.nal1 | testDepVarInIndepImpl3 | | 131.0401ms |
  181. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedImpl | | 129.1743ms |
  182. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjoint2Learned | | 126.9263ms |
  183. NAL8EternalMixTest | nars.nal.nal8 | detaching_condition | | 125.1836ms |
  184. NAL7ImplTruthProjectionTest | nars.nal.nal7 | test1 | | 124.3701ms |
  185. NAL8EternalMixTest | nars.nal.nal8 | implSubstitutionViaSimilarityReverse | | 123.623ms |
  186. NAL6Test | nars.nal.nal6 | testHypothesizeSubconditionNeg_Conj_ShortCircuit | | 122.9136ms |
  187. NAL8Test | nars.nal.nal8 | testConjResultGoal | | 121.5766ms |
  188. NAL6Test | nars.nal.nal6 | testMutexBelief | | 121.3604ms |
  189. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_subj_conj_decompose_conditional_neg | | 120.7514ms |
  190. NAL6Test | nars.nal.nal6 | abduction_with_variable_elimination | | 120.2411ms |
  191. NAL6Test | nars.nal.nal6 | GoalMatchSubjOfImplWithVariableNeg | | 119.9718ms |
  192. NAL4Test | nars.nal.nal4 | one_element_unwrap | | 119.5801ms |
  193. NAL5Test | nars.nal.nal5 | compound_composition_Subj | | 118.8221ms |
  194. NAL6Test | nars.nal.nal6 | variable_elimination_deduction | | 118.7065ms |
  195. NAL6Test | nars.nal.nal6 | variable_elimination_conj | | 118.6343ms |
  196. NAL8Test | nars.nal.nal8 | condition_goal_disjunction_2_neg_conj_no_var_simple | | 116.959ms |
  197. NAL8EternalMixTest | nars.nal.nal8 | further_detachment_2 | | 116.8769ms |
  198. NAL6Test | nars.nal.nal6 | second_level_variable_unification_neg | | 113.3157ms |
  199. NAL5Test | nars.nal.nal5 | conditional_abduction2_depvar_2 | | 109.827ms |
  200. QuestionTest | nars.nal.nal1 | testTemporalExact | | 108.7094ms |
  201. NAL8Test | nars.nal.nal8 | testCorrectGoalOccAndDuration | | 106.9936ms |
  202. NAL6Test | nars.nal.nal6 | second_level_variable_unification | | 106.1759ms |
  203. TemporalInductionTest | nars.nal.nal7 | testInductionStability | | 104.8187ms |
  204. NAL8EternalMixTest | nars.nal.nal8 | testStrongUnificationDeductionPP | | 103.9157ms |
  205. NAL5Test | nars.nal.nal5 | depVarUniqueness | | 101.2555ms |
  206. NAL3GoalTest | nars.nal.nal3 | intersectionGoalDecomposition2 | | 100.1571ms |
  207. TemporallyUnstableTests | nars.nal.nal7 | testTemporalStabilityLinkedTemporalConjOverlapping | | 98.9561ms |
  208. NAL1MultistepTest | nars.nal.nal1 | multistepSim4 | | 98.8323ms |
  209. NAL8EternalMixTest | nars.nal.nal8 | testGoalConjunctionDecomposeSuffix | | 97.4354ms |
  210. NAL7Test | nars.nal.nal7 | testImplInductionEternalTemporal | | 95.8852ms |
  211. RuleInductionTest | nars.nal.nal7 | test1 | | 94.8875ms |
  212. QuestTest | nars.nal.nal8 | testQuestAfterGoal1 | | 94.7754ms |
  213. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplSubj1Conj | | 94.5965ms |
  214. NAL6Test | nars.nal.nal6 | abductionBeliefOffCenteredPositiveNegativeButNotTotalFail | | 93.8335ms |
  215. NAL6Test | nars.nal.nal6 | variable_elimination6simpler | | 93.4647ms |
  216. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_disjunction_subj_decompose_conditional | | 92.9545ms |
  217. NAL5Test | nars.nal.nal5 | testDeductionPosNegImplicationPred | | 92.8152ms |
  218. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjNeg | | 91.542ms |
  219. NAL8EternalMixTest | nars.nal.nal8 | detaching_condition0 | | 91.2956ms |
  220. NAL8Test | nars.nal.nal8 | testInheritanceDecompositionTemporalBelief | | 90.882ms |
  221. NAL8EternalMixTest | nars.nal.nal8 | testDesiredConjDelayedNeg | | 90.7944ms |
  222. NAL6Test | nars.nal.nal6 | testHypothesizeSubconditionIdentityConj | | 88.651ms |
  223. NAL8Test | nars.nal.nal8 | testNotEventOfNeg | | 86.9659ms |
  224. NAL5Test | nars.nal.nal5 | conditional_abduction2_depvar | | 86.7879ms |
  225. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjOpposite | | 86.7018ms |
  226. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_subj_intersection_decompose_conditional_neg | | 86.3163ms |
  227. NAL5Test | nars.nal.nal5 | testAbductionNegPosImplicationPred | | 85.18ms |
  228. NAL8Test | nars.nal.nal8 | testGoalBeliefDecomposeTimeRangingDiffer | | 84.4495ms |
  229. NAL5Test | nars.nal.nal5 | conditional_deduction_neg_simple | | 83.6549ms |
  230. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deduction_eternal_belief | | 83.0965ms |
  231. NAL6Test | nars.nal.nal6 | variable_elimination5 | | 83.0784ms |
  232. NAL5Test | nars.nal.nal5 | testConversionNeg3 | | 82.3031ms |
  233. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplSubj1Disj_neg_pos | | 81.8674ms |
  234. NAL1Test | nars.nal.nal1 | abduction | | 80.3822ms |
  235. NAL5Test | nars.nal.nal5 | compound_composition_SubjNeg_simple | | 80.0554ms |
  236. QuestionTest | nars.nal.nal1 | testDepVarInIndepImpl | | 79.8713ms |
  237. NAL5Test | nars.nal.nal5 | testPosPosImplicationConc | | 78.7222ms |
  238. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple_NegPredicate | | 78.0794ms |
  239. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | disjunction_decompose_two_premises3 | | 77.9225ms |
  240. NAL6Test | nars.nal.nal6 | testImplPredQuestionUnification | | 77.5177ms |
  241. NAL6Test | nars.nal.nal6 | GoalMatchSubjOfImplWithVariable | | 77.0088ms |
  242. NAL6Test | nars.nal.nal6 | variable_elimination5_neg | | 76.0998ms |
  243. NAL5Test | nars.nal.nal5 | conditional_deduction_unification | | 75.4997ms |
  244. NAL6Test | nars.nal.nal6 | testImplSubjQuestionUnificationConst | | 74.1185ms |
  245. NAL5Test | nars.nal.nal5 | conjPreconditionDecompositionToImpl_BackChaining_Question_neg | | 73.463ms |
  246. NAL6Test | nars.nal.nal6 | testImplSubjNegQuestionUnificationConst | | 73.0791ms |
  247. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityImpl | | 72.8815ms |
  248. NAL5Test | nars.nal.nal5 | compound_composition_Subj_simple | | 72.6273ms |
  249. QuestionTest | nars.nal.nal1 | whQuestionUnifyQueryVar | | 72.2829ms |
  250. NAL6DecomposeTest$SinglePremiseConjPred | nars.nal.nal6 | testDecomposeImplPred2 | | 72.211ms |
  251. NAL8Test | nars.nal.nal8 | subgoal_2_inner_dt | | 72.1437ms |
  252. NAL6DecomposeTest$SinglePremiseConjPred | nars.nal.nal6 | testDecomposeImplPred1b | | 71.4641ms |
  253. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplSubj1Disj | | 71.055ms |
  254. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplPredDisjBelief_pos_pos | | 70.8109ms |
  255. NAL6Test | nars.nal.nal6 | variable_elimination6 | | 69.7737ms |
  256. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterNeg | | 69.5429ms |
  257. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjConditionalDecompose | | 69.4248ms |
  258. NAL5Test | nars.nal.nal5 | compound_composition_SubjNeg | | 69.1311ms |
  259. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterPosNeg | | 68.5096ms |
  260. NAL7Test | nars.nal.nal7 | temporalAnalogyNonIntersecting | | 67.5453ms |
  261. NAL6Test | nars.nal.nal6 | strong_elimination | | 66.4257ms |
  262. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterNegNeg | | 66.0526ms |
  263. NAL7Test | nars.nal.nal7 | testConjDecomposeAGAIN | | 65.856ms |
  264. NAL3DecomposeGoalTest | nars.nal.nal3 | testNegIntersectionGoalSinglePremiseDecompose | | 65.7051ms |
  265. NAL5Test | nars.nal.nal5 | detachment2 | | 65.0477ms |
  266. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_2 | | 64.3677ms |
  267. QuestionTest | nars.nal.nal1 | testDepVarInIndepImpl2 | | 63.7652ms |
  268. NAL3DecomposeGoalTest | nars.nal.nal3 | testPredUnionConditionalDecomposeGoalPosNeg | | 63.2427ms |
  269. NAL2Test | nars.nal.nal2 | testUnion | | 62.9413ms |
  270. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfter_tmp_tmp | | 62.4314ms |
  271. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2 | composition_on_both_sides_of_a_statement_2(String) | 61.7584ms |
  272. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2 | [2] <-> | 61.6514ms |
  273. TemporalInductionTest | nars.nal.nal7 | inductionSameEventsNeg | | 61.0458ms |
  274. NAL5Test | nars.nal.nal5 | testConversion | | 60.9336ms |
  275. NAL8Test | nars.nal.nal8 | testRepeatConjDropWTF | | 60.5554ms |
  276. NAL8EternalMixTest | nars.nal.nal8 | testDesiredConjDelayed | | 60.0058ms |
  277. NAL4MultistepTest | nars.nal.nal4 | nal4_everyday_reasoning_easiest | | 59.6044ms |
  278. NAL8Test | nars.nal.nal8 | testSubIfWTF | | 59.2284ms |
  279. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_IntersectExt | | 58.1365ms |
  280. NAL7Test | nars.nal.nal7 | testPostConditionCombine | | 57.9332ms |
  281. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjointWithVarPos | | 57.6163ms |
  282. NAL5Test | nars.nal.nal5 | conditional_induction_described | | 56.1998ms |
  283. NAL2Test | nars.nal.nal2 | backwardInference | | 55.9708ms |
  284. NAL7Test | nars.nal.nal7 | testInductionIntervalMerge1 | | 55.8422ms |
  285. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | testDecomposeImplSubjDisjQuestion | | 54.8708ms |
  286. NAL8Test | nars.nal.nal8 | implDecomposeGoalBeforeTemporalSameTerm | | 54.6304ms |
  287. NAL8Test | nars.nal.nal8 | testConditionalGoalConjunctionDecomposePositivePostconditionGoal | | 54.4191ms |
  288. NAL6Test | nars.nal.nal6 | testImplPredQuest | | 54.2157ms |
  289. NAL7Test | nars.nal.nal7 | occtestShiftWorkingRight | | 53.4363ms |
  290. NAL8Test | nars.nal.nal8 | subbelief_2medium | | 52.8509ms |
  291. NAL8Test | nars.nal.nal8 | testInhibition1 | | 52.3104ms |
  292. NAL2Test | nars.nal.nal2 | structureTransformation | | 51.2707ms |
  293. NAL6Test | nars.nal.nal6 | testImplSubjQuestionUnificationQuery | | 51.1528ms |
  294. NAL8Test | nars.nal.nal8 | testInhibition0 | | 50.1885ms |
  295. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | disjunction_impl_decompose_two_premises3 | | 49.9847ms |
  296. NAL8Test | nars.nal.nal8 | testConditionalGoalConjunctionDecomposePositiveGoalNegativeBeliefSubterm | | 49.5787ms |
  297. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testPropositionalDecompositionConjNeg | | 49.5362ms |
  298. NAL1Test | nars.nal.nal1 | comparison2 | | 49.4565ms |
  299. NAL6Test | nars.nal.nal6 | testHypothesizeSubconditionIdentityPost | | 49.039ms |
  300. NAL7Test | nars.nal.nal7 | testDecomposeImplPredNoVar | | 49.0296ms |
  301. NAL5Test | nars.nal.nal5 | conditional_induction0SimpleDepVar2 | | 48.6699ms |
  302. NAL8Test | nars.nal.nal8 | testRepeatConjDropWTF_invert | | 47.8083ms |
  303. NAL8Test | nars.nal.nal8 | testInhibitionReverse | | 47.7324ms |
  304. NAL2Test | nars.nal.nal2 | testSetDecomposeNegativeInt | | 47.3689ms |
  305. NAL1Test | nars.nal.nal1 | comparison | | 47.2538ms |
  306. NAL5Test | nars.nal.nal5 | contrapositionNeg | | 46.9468ms |
  307. NAL7Test | nars.nal.nal7 | testDecomposeImplPredSimpler | | 46.7449ms |
  308. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deductionEternal | | 46.2402ms |
  309. NAL8Test | nars.nal.nal8 | subbelief_2 | | 46.227ms |
  310. NAL5Test | nars.nal.nal5 | contraposition | | 46.1809ms |
  311. NAL7Test | nars.nal.nal7 | testTemporalImplicationDecompositionIsntEternal | | 46.077ms |
  312. QuestionTest | nars.nal.nal1 | yesNoQuestion | | 46.0182ms |
  313. NAL7Test | nars.nal.nal7 | variable_elimination_on_temporal_statements | | 45.6906ms |
  314. NAL8Test | nars.nal.nal8 | testPredictiveImplicationTemporalTemporal | | 44.9835ms |
  315. NAL5Test | nars.nal.nal5 | contrapositionPos | | 44.8452ms |
  316. NAL7Test | nars.nal.nal7 | testInduct3Events | | 44.5655ms |
  317. NAL8Test | nars.nal.nal8 | subsent_1_even_simpler_simplerBeliefTemporal | | 43.4608ms |
  318. NAL1MultistepTest | nars.nal.nal1 | multistepInh2 | | 43.1684ms |
  319. NAL8Test | nars.nal.nal8 | testConditionalGoalConjunctionDecomposeNegativeGoal | | 42.3248ms |
  320. NAL8EternalMixTest | nars.nal.nal8 | subsent_1_even_simpler_simplerGoalEternal | | 42.1779ms |
  321. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deduction2 | | 41.78ms |
  322. NAL7Test | nars.nal.nal7 | testEternalImplicationDecompositionWithConj | | 41.3754ms |
  323. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesTemporally | | 41.2123ms |
  324. NAL6Test | nars.nal.nal6 | testDecomposeImplPredDisjQuestion | | 40.4618ms |
  325. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionPosIntersectionSubGoalSinglePremiseDecompose | | 40.0662ms |
  326. DecomposeTest$DisjBelief | nars.nal.nal8 | testDisjBeliefPos2 | | 39.8128ms |
  327. NAL8EternalMixTest | nars.nal.nal8 | temporal_goal_detachment_3_valid_negate | | 39.7788ms |
  328. NAL8Test | nars.nal.nal8 | subbelief_2easy | | 39.7497ms |
  329. NAL7Test | nars.nal.nal7 | testInductionIntervalMerge2 | | 38.7986ms |
  330. NAL8Test | nars.nal.nal8 | subsent_1_even_simpler_simplerGoalTemporal | | 38.6153ms |
  331. NAL4Test | nars.nal.nal4 | structural_transformation_DepVar1 | | 38.4089ms |
  332. NAL2Test | nars.nal.nal2 | testSetDecomposeNegativeExt | | 38.176ms |
  333. QuestTest | nars.nal.nal8 | testQuestAfterGoal3 | | 37.3182ms |
  334. NAL7Test | nars.nal.nal7 | testIntersectionTemporalFar | | 36.9046ms |
  335. NAL3DecomposeBeliefTest | nars.nal.nal3 | questionDecomposition0 | [1] || | 36.8651ms |
  336. NAL3GoalTest | nars.nal.nal3 | intersectionGoalDecomposition | | 36.8582ms |
  337. NAL7Test | nars.nal.nal7 | testImplicationDecompositionContradictionFairness | | 36.8523ms |
  338. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplsubjNeg | | 36.7331ms |
  339. TemporalInductionTest | nars.nal.nal7 | inductionSameEventsInvertPosNeg | | 36.7297ms |
  340. NAL8Test | nars.nal.nal8 | firstGoalConjunctionEvent | | 35.9385ms |
  341. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deduction_3simplerReverse | | 35.7448ms |
  342. NAL6Test | nars.nal.nal6 | GoalMatchPredOfImplWithVariable | | 35.7321ms |
  343. TemporalInductionTest | nars.nal.nal7 | inductionSameEventsInvertNegPos | | 35.5948ms |
  344. NAL3DecomposeBeliefTest | nars.nal.nal3 | diff_compound_decomposition_single3_union | | 35.5765ms |
  345. NAL4Test | nars.nal.nal4 | testNormalize2 | | 35.3096ms |
  346. NAL7Test | nars.nal.nal7 | testConjDecomposeWrongDirection | | 34.9615ms |
  347. NAL4Test | nars.nal.nal4 | structural_transformation_one_arg | | 34.943ms |
  348. QuestTest | nars.nal.nal8 | testQuestAfterGoal2 | | 34.9333ms |
  349. TemporalInductionTest | nars.nal.nal7 | inductionSameEvents | | 34.7794ms |
  350. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternalSubjNeg | testGoalImplComponentEternalSubjNeg(String) | 34.711ms |
  351. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternalSubjNeg | [2] &| | 34.6301ms |
  352. NAL5Test | nars.nal.nal5 | conditional_abduction3_semigeneric2 | | 34.1646ms |
  353. NAL6Test | nars.nal.nal6 | variable_unification6 | | 34.016ms |
  354. NAL5Test | nars.nal.nal5 | anonymous_analogy1_depvar_neg | | 33.9704ms |
  355. NAL3DecomposeBeliefTest | nars.nal.nal3 | sect_compound_decomposition_single2 | | 33.8934ms |
  356. NAL7Test | nars.nal.nal7 | preconImplyConjPost | | 33.2117ms |
  357. NAL7Test | nars.nal.nal7 | conjuction_on_events_with_variable_introduction | | 33.0278ms |
  358. NAL3DecomposeGoalTest | nars.nal.nal3 | testDiffGoal1SemiPos1st | | 32.7489ms |
  359. NAL7Test | nars.nal.nal7 | testInductionIntervalMerge3Neg | | 31.9499ms |
  360. NAL5Test | nars.nal.nal5 | testAnonymousDeduction | | 31.86ms |
  361. SecondLevelUnificationTest | nars.nal.nal6 | test2 | | 31.7794ms |
  362. NAL7Test | nars.nal.nal7 | testDTTaskEnd | | 31.6792ms |
  363. NAL1MultistepTest | nars.nal.nal1 | multistepInh3 | | 30.7829ms |
  364. NAL5Test | nars.nal.nal5 | conditional_abduction3_generic | | 29.2425ms |
  365. NAL5Test | nars.nal.nal5 | testAnonymousDeductionNeg | | 28.9508ms |
  366. NAL7Test | nars.nal.nal7 | induction_on_events_neg2 | | 28.8862ms |
  367. NAL7Test | nars.nal.nal7 | testWTFDontDecomposeConjunction | | 28.0361ms |
  368. NAL7Test | nars.nal.nal7 | testTminB | | 27.8163ms |
  369. NAL3DecomposeBeliefTest | nars.nal.nal3 | diff_compound_decomposition_single | | 27.5458ms |
  370. NAL5Test | nars.nal.nal5 | deduction | | 27.1779ms |
  371. NAL7Test | nars.nal.nal7 | inference_on_tense_reverse_novar | | 27.0749ms |
  372. QueryVariableTest | nars.nal.nal6 | testNoVariableAnswer | | 27.0205ms |
  373. NAL7Test | nars.nal.nal7 | testDecomposeImplPred_ParallelConj_with_DepVar | | 26.9691ms |
  374. NAL7Test | nars.nal.nal7 | temporal_analogy | | 26.9624ms |
  375. NAL6Test | nars.nal.nal6 | testHypothesizeSubconditionIdentityPre | | 26.9593ms |
  376. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternalSubjNeg | [1] && | 26.9362ms |
  377. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternal | [1] &| | 24.8857ms |
  378. NAL3DecomposeGoalTest | nars.nal.nal3 | testDiffGoal1Pos1st | | 24.6841ms |
  379. NAL7Test | nars.nal.nal7 | induction_on_events_composition2 | | 24.5891ms |
  380. NAL8EternalMixTest | nars.nal.nal8 | testPredictiveImplicationTemporalEternal | | 24.559ms |
  381. NAL8EternalMixTest | nars.nal.nal8 | temporal_goal_detachment_3_valid | | 24.3766ms |
  382. NAL8EternalMixTest | nars.nal.nal8 | testPredictiveImplicationEternalTemporal | | 23.8635ms |
  383. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testDecomposeDisj | | 23.8434ms |
  384. NAL7Test | nars.nal.nal7 | induction_on_events_composition3 | | 23.5775ms |
  385. NAL2Test | nars.nal.nal2 | structureTransformation3 | | 23.442ms |
  386. NAL7Test | nars.nal.nal7 | induction_on_events_composition_pre | | 23.1274ms |
  387. NAL7Test | nars.nal.nal7 | testDropAnyEventSimple2a | | 23.0085ms |
  388. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternal | testGoalImplComponentEternal(String) | 22.9063ms |
  389. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternal | [2] && | 22.8237ms |
  390. NAL7Test | nars.nal.nal7 | testBminT | | 22.7664ms |
  391. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPost | [1] | 22.1303ms |
  392. QuestTest | nars.nal.nal8 | testQuestBeforeGoal | | 21.3867ms |
  393. NAL7Test | nars.nal.nal7 | testPreconditionCombineVaryingNeg | | 21.314ms |
  394. TemporalInductionTest | nars.nal.nal7 | testTemporalRevision | | 21.1877ms |
  395. NAL6Test | nars.nal.nal6 | recursionSmall1 | | 21.0928ms |
  396. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_MidSequence_Conj | | 20.9844ms |
  397. DecomposeTest$DisjBelief | nars.nal.nal8 | testDisjBeliefPosMix | | 20.8035ms |
  398. NAL6Test | nars.nal.nal6 | strong_unification_pos | | 20.7184ms |
  399. NAL6Test | nars.nal.nal6 | variable_unification2 | | 20.6326ms |
  400. NAL6Test | nars.nal.nal6 | multiple_variable_elimination2 | | 20.5552ms |
  401. NAL7Test | nars.nal.nal7 | testPreConditionCombine | | 19.8634ms |
  402. NAL7Test | nars.nal.nal7 | testShiftPlusDontEraseDT | | 19.8513ms |
  403. DecomposeTest$ConjBelief | nars.nal.nal8 | testConjBeliefWeakNeg | | 19.7449ms |
  404. NAL3DecomposeBeliefTest | nars.nal.nal3 | diff_compound_decomposition_single3_intersect | | 19.6884ms |
  405. NAL7Test | nars.nal.nal7 | testInductionInterval | | 19.1615ms |
  406. NAL7Test | nars.nal.nal7 | testInductionIntervalMerge3 | | 19.1095ms |
  407. NAL7Test | nars.nal.nal7 | testShiftPlus | | 18.7608ms |
  408. NAL7Test | nars.nal.nal7 | temporal_induction_comparison | | 18.6237ms |
  409. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesDepVar | | 18.4502ms |
  410. NAL7Test | nars.nal.nal7 | testDurationOfInductedImplicationLimited | | 17.9767ms |
  411. NAL6DecomposeTest$SinglePremiseConjPred | nars.nal.nal6 | testDecomposeImplPred1 | | 17.6797ms |
  412. NAL3DecomposeGoalTest | nars.nal.nal3 | pred_intersectionConditionalDecomposeGoalNeg_Weaker | | 17.4641ms |
  413. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionPosIntersectionPredGoalSinglePremiseDecompose | | 16.9671ms |
  414. NAL7Test | nars.nal.nal7 | variable_elimination_on_temporal_statements_simpler | | 16.9567ms |
  415. NAL6Test | nars.nal.nal6 | strong_unification_simple2 | | 16.6645ms |
  416. NAL6Test | nars.nal.nal6 | variable_unification3 | | 16.4854ms |
  417. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPre | | 16.3703ms |
  418. NAL7Test | nars.nal.nal7 | induction_on_events_composition1 | | 16.3075ms |
  419. NAL4Test | nars.nal.nal4 | testNormalize1 | | 16.3013ms |
  420. NAL6Test | nars.nal.nal6 | strong_unification_neg | | 16.0027ms |
  421. NAL8Test | nars.nal.nal8 | testGoalSimilaritySpreadingParameter | | 15.9256ms |
  422. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | [3] 2 | 15.8478ms |
  423. NAL6Test | nars.nal.nal6 | second_variable_introduction_induction | | 15.7744ms |
  424. NAL6Test | nars.nal.nal6 | variable_elimination_impl_fwd_neg_pos | | 15.7119ms |
  425. NAL1MultistepTest | nars.nal.nal1 | multistepSim3 | | 15.6396ms |
  426. NAL7Test | nars.nal.nal7 | testConjSubsetDecomposition | | 15.6334ms |
  427. NAL8SequenceTest | nars.nal.nal8 | testBeliefDeduction_MidSequenceDTernalComponentWithUnification | | 15.5728ms |
  428. NAL7Test | nars.nal.nal7 | temporal_deduction | | 15.4831ms |
  429. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testDecomposeDisjNeg2 | | 15.3664ms |
  430. NAL7Test | nars.nal.nal7 | induction_on_events_conj_pos_neg | | 15.3327ms |
  431. NAL7Test | nars.nal.nal7 | testPreconditionCombineNeg | | 15.325ms |
  432. NAL4Test | nars.nal.nal4 | structural_transformationInt_reverse | | 15.3034ms |
  433. NAL6Test | nars.nal.nal6 | variable_introduction2 | | 15.2193ms |
  434. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjointWithVarNeg | | 15.1252ms |
  435. NAL7Test | nars.nal.nal7 | preconImplyConjPre | | 14.9476ms |
  436. NAL4Test | nars.nal.nal4 | structural_transformationExt_forward_repeats3 | | 14.7993ms |
  437. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPost | multiConditionSyllogismPost(String) | 14.6927ms |
  438. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPost | [2] | | 14.6051ms |
  439. NAL7Test | nars.nal.nal7 | testDecomposeConjunctionEmbeddedInnerCommute | | 14.5351ms |
  440. NAL7RealtimeTest | nars.nal.nal7 | test2 | | 14.4488ms |
  441. NAL2Test | nars.nal.nal2 | structureTransformation2 | | 14.0173ms |
  442. NAL8EternalMixTest | nars.nal.nal8 | conditional_abduction_temporal_vs_eternal | | 13.8457ms |
  443. NAL1Test | nars.nal.nal1 | exemplification | | 13.6377ms |
  444. NAL7Test | nars.nal.nal7 | testBeliefShiftTiming | | 13.5943ms |
  445. NAL7Test | nars.nal.nal7 | testDecomposeTaskSubset | | 13.5641ms |
  446. NAL7Test | nars.nal.nal7 | testComparison2 | | 13.3932ms |
  447. TemporalInductionTest | nars.nal.nal7 | inductionDiffEventsNegPos | | 13.3675ms |
  448. NAL5Test | nars.nal.nal5 | conditional_abduction3_semigeneric3 | | 13.232ms |
  449. NAL7Test | nars.nal.nal7 | testPreconditionCombineVarying | | 13.2317ms |
  450. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | [1] 0 | 13.1979ms |
  451. NAL7Test | nars.nal.nal7 | testDecomposeImplPred_ParallelConj_with_InDepVar | | 13.1294ms |
  452. NAL7Test | nars.nal.nal7 | testDTTMinB | | 12.9274ms |
  453. NAL7Test | nars.nal.nal7 | induction_on_events_neg_neg | | 12.9251ms |
  454. NAL5Test | nars.nal.nal5 | conditional_abduction3 | | 12.871ms |
  455. NAL7Test | nars.nal.nal7 | testTemporalConjunctionWithDepVarIntroduction | | 12.8475ms |
  456. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testPropositionalDecompositionDisjPos | | 12.6882ms |
  457. NAL7Test | nars.nal.nal7 | testInductionInterval2 | | 12.6477ms |
  458. NAL6Test | nars.nal.nal6 | variable_elimination_impl_rev | | 12.5161ms |
  459. NAL7Test | nars.nal.nal7 | variable_introduction_on_events | | 12.5158ms |
  460. NAL6Test | nars.nal.nal6 | variable_unification5 | | 12.1079ms |
  461. NAL7Test | nars.nal.nal7 | testProjectedQuestion | | 11.9481ms |
  462. TemporalInductionTest | nars.nal.nal7 | inductionDiffEventsCompound | | 11.6407ms |
  463. NAL6MultistepTest | nars.nal.nal6 | testBurglarEarthquake2 | | 11.6091ms |
  464. NAL2Test | nars.nal.nal2 | testSetDecomposePositive | | 11.4505ms |
  465. TemporalInductionTest | nars.nal.nal7 | inductionDiffEventsCompoundNear | | 11.3716ms |
  466. NAL7Test | nars.nal.nal7 | nal5_conditional_induction0Simple | | 11.1408ms |
  467. NAL6Test | nars.nal.nal6 | testDecomposeImplPredConjQuestion | | 10.9629ms |
  468. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testPropositionalDecompositionDisjNeg | | 10.8385ms |
  469. TemporalInductionTest | nars.nal.nal7 | inductionDiffEventsAtom | | 10.7335ms |
  470. NAL5Test | nars.nal.nal5 | conjPreconditionDecompositionToImpl_BackChaining_Question | | 10.5791ms |
  471. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesIndepVar | | 10.5204ms |
  472. NAL7Test | nars.nal.nal7 | testForwardImplChainDTUnion | | 10.4143ms |
  473. NAL6Test | nars.nal.nal6 | testImplPredQuestion | | 10.1021ms |
  474. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesTemporally2 | | 10.0497ms |
  475. NAL3DecomposeGoalTest | nars.nal.nal3 | testNegIntersectionBeliefSinglePremiseDecompose | | 9.7627ms |
  476. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [1] -4 | 9.5822ms |
  477. TemporalInductionTest | nars.nal.nal7 | testTemporalRevisionOfTemporalRelation | | 9.298ms |
  478. NAL2Test | nars.nal.nal2 | set_operations5Half | | 9.2313ms |
  479. NAL6Test | nars.nal.nal6 | deductionBeliefWithVariable | | 9.2227ms |
  480. NAL1MultistepTest | nars.nal.nal1 | multistepSim2 | | 9.0031ms |
  481. NAL1Test | nars.nal.nal1 | variable_elimination_analogy_substIfUnify_Neg | | 8.9682ms |
  482. NAL6Test | nars.nal.nal6 | recursionSmall | | 8.9448ms |
  483. NAL5Test | nars.nal.nal5 | anonymous_analogy1_depvar | | 8.926ms |
  484. NAL5Test | nars.nal.nal5 | negation1 | | 8.905ms |
  485. NAL7Test | nars.nal.nal7 | testSameDamnConjunction | | 8.8968ms |
  486. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_pred_neg_neg | | 8.7939ms |
  487. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_predneg_decompose_conditional | | 8.6609ms |
  488. NAL6Test | nars.nal.nal6 | variables_introduction | | 8.6421ms |
  489. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_union | | 8.5593ms |
  490. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionConditionalDecomposeGoalPos | | 8.4368ms |
  491. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionConditionalDecomposeGoalPosNeg | | 8.3053ms |
  492. NAL4Test | nars.nal.nal4 | testTransformQuestionSubj | [1] 63 | 8.3043ms |
  493. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testDecomposeConjNeg2 | | 8.0108ms |
  494. NAL3DecomposeGoalTest | nars.nal.nal3 | subj_intersectionConditionalDecomposeGoalNeg | | 7.9075ms |
  495. NAL2Test | nars.nal.nal2 | set_operations3_difference | | 7.8005ms |
  496. NAL3DecomposeGoalTest | nars.nal.nal3 | testNegUnionBeliefSinglePremiseDecompose | | 7.759ms |
  497. NAL2Test | nars.nal.nal2 | setDefinition4 | | 7.746ms |
  498. NAL4Test | nars.nal.nal4 | structural_transformation6 | | 7.7137ms |
  499. NAL6Test | nars.nal.nal6 | strong_unification_simple | | 7.6785ms |
  500. NAL2Test | nars.nal.nal2 | set_operationsSetInt_union1_1_2_3 | | 7.6366ms |
  501. NAL1Test | nars.nal.nal1 | variable_elimination_analogy_substIfUnifyOther | | 7.5401ms |
  502. NAL7Test | nars.nal.nal7 | testPropositionalDecompositionPositive | | 7.3218ms |
  503. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPrePre | | 7.297ms |
  504. NAL6DecomposeTest$SinglePremiseConjPred | nars.nal.nal6 | testDecomposeImplPredNeg | | 7.1778ms |
  505. NAL5Test | nars.nal.nal5 | induction | | 7.1238ms |
  506. NAL5Test | nars.nal.nal5 | conditional_induction0SimpleDepVar | | 7.1117ms |
  507. QueryVariableTest | nars.nal.nal6 | testQueryVariableAnswerUnified2 | | 7.0775ms |
  508. NAL2Test | nars.nal.nal2 | set_operationsSetExt_union | | 7.0641ms |
  509. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | compound_decomposition_two_premises1 | | 6.9369ms |
  510. QueryVariableTest | nars.nal.nal6 | testQueryVariableAnswerUnified | | 6.8901ms |
  511. NAL2Test | nars.nal.nal2 | testIntersectDiffUnionOfCommonSubtermsPre | | 6.7732ms |
  512. NAL3DecomposeGoalTest | nars.nal.nal3 | subj_intersectionConditionalDecomposeGoalNeg_Weaker | | 6.7117ms |
  513. NAL3DecomposeBeliefTest | nars.nal.nal3 | questionDecomposition0 | questionDecomposition0(String) | 6.6998ms |
  514. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_tensed_conseq | | 6.6893ms |
  515. NAL1Test | nars.nal.nal1 | variable_elimination_sim_subj | | 6.6388ms |
  516. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testPropositionalDecompositionConjPos | | 6.516ms |
  517. NAL5Test | nars.nal.nal5 | testImplConjSubjQuestioned | | 6.4703ms |
  518. NAL2Test | nars.nal.nal2 | set_operationsSetExt_unionNeg | | 6.4626ms |
  519. NAL7Test | nars.nal.nal7 | inference_on_tense | | 6.3529ms |
  520. NAL6Test | nars.nal.nal6 | multiple_variables_introduction2 | | 6.2987ms |
  521. QuestTest | nars.nal.nal8 | testQuestBeforeGoal0 | | 6.2965ms |
  522. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | [2] 1 | 6.1743ms |
  523. NAL8Test | nars.nal.nal8 | condition_goal_deduction_2_neg_event | | 6.1047ms |
  524. NAL3DecomposeBeliefTest | nars.nal.nal3 | questionDecomposition0 | [2] && | 6.1042ms |
  525. NAL4Test | nars.nal.nal4 | structural_transformationInt | | 6.0026ms |
  526. NAL5Test | nars.nal.nal5 | conditional_induction0SimpleDepVar3 | | 5.9501ms |
  527. NAL2Test | nars.nal.nal2 | set_operationsSetInt_union_2_3_4 | | 5.8787ms |
  528. NAL7Test | nars.nal.nal7 | induction_on_events_0_neg | | 5.857ms |
  529. NAL7Test | nars.nal.nal7 | testDropAnyEventSimple2ba | | 5.7979ms |
  530. NAL7Test | nars.nal.nal7 | testEternalImplicationDecompositionIsntEternal | | 5.7578ms |
  531. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesIndepVarXternal | | 5.7139ms |
  532. NAL1GoalTest | nars.nal.nal1 | deductionNegativeGoalPositiveBelief | | 5.677ms |
  533. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_pred_neg_pos | | 5.6514ms |
  534. NAL7Test | nars.nal.nal7 | testDropAnyEventSimple2bb | | 5.6474ms |
  535. NAL2Test | nars.nal.nal2 | set_operations5 | | 5.6418ms |
  536. NAL2Test | nars.nal.nal2 | set_operations2_difference | | 5.6153ms |
  537. NAL4Test | nars.nal.nal4 | structural_transformationExt_reverse | | 5.5949ms |
  538. NAL3DecomposeGoalTest | nars.nal.nal3 | pred_intersectionConditionalDecomposeGoalNeg | | 5.5334ms |
  539. NAL5Test | nars.nal.nal5 | conditional_abduction3_generic_simpler | | 5.5215ms |
  540. NAL7Test | nars.nal.nal7 | testDecomposeConjunctionEmbedded2 | | 5.5215ms |
  541. NAL5Test | nars.nal.nal5 | conditional_induction0Simple | | 5.5188ms |
  542. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | induction_on_events_composition_post(int) | 5.5162ms |
  543. NAL6Test | nars.nal.nal6 | testImplPredQuestionUnify | | 5.5029ms |
  544. NAL4Test | nars.nal.nal4 | structural_transformation_DepVar2 | | 5.4568ms |
  545. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | compound_decomposition_two_premises1_simpler | | 5.4518ms |
  546. NAL2Test | nars.nal.nal2 | set_operations4 | | 5.4454ms |
  547. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | [4] 3 | 5.3702ms |
  548. NAL5Test | nars.nal.nal5 | compound_composition_Pred | | 5.3607ms |
  549. NAL7Test | nars.nal.nal7 | temporal_explification | | 5.3488ms |
  550. NAL8EternalMixTest | nars.nal.nal8 | ded_with_var_temporal2 | | 5.3148ms |
  551. NAL2Test | nars.nal.nal2 | setDefinition3 | | 5.1731ms |
  552. NAL8SequenceTest | nars.nal.nal8 | testBeliefDeduction_MidSequenceDTernalComponent | | 5.0893ms |
  553. NAL6Test | nars.nal.nal6 | testSimpleIndepUnification | | 5.0823ms |
  554. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [1] -4 | 5.0034ms |
  555. NAL3DecomposeGoalTest | nars.nal.nal3 | testMutexDiffGoal1Neg | | 4.9824ms |
  556. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_pred_decompose_conditional | | 4.914ms |
  557. NAL6Test | nars.nal.nal6 | multiple_variable_elimination3 | | 4.8735ms |
  558. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | disjunction_impl_decompose_two_premises_neg | | 4.8475ms |
  559. NAL5Test | nars.nal.nal5 | conditional_induction_3ary | | 4.8473ms |
  560. NAL6Test | nars.nal.nal6 | variable_elimination_impl_fwd_pos_neg | | 4.8346ms |
  561. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | testDecomposeImplSubjConjQuestion | | 4.7157ms |
  562. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [2] 0.25 | 4.7018ms |
  563. NAL5Test | nars.nal.nal5 | conditional_induction_3ary_some_inner_Neg_the | | 4.6934ms |
  564. NAL4Test | nars.nal.nal4 | testNormalize1a | | 4.6676ms |
  565. NAL5Test | nars.nal.nal5 | conditional_induction_3ary_some_inner_Neg_other | | 4.6505ms |
  566. NAL5Test | nars.nal.nal5 | conditional_induction0NegBoth | | 4.647ms |
  567. NAL5Test | nars.nal.nal5 | conjPostconditionDecompositionToImpl_BackChaining_Question | | 4.6252ms |
  568. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_disjunction_pred_decompose_conditional2 | | 4.6092ms |
  569. NAL7Test | nars.nal.nal7 | induction_on_events2 | | 4.5741ms |
  570. NAL6Test | nars.nal.nal6 | variable_unification7 | | 4.5648ms |
  571. NAL6Test | nars.nal.nal6 | variable_unification5_neg | | 4.5253ms |
  572. NAL7Test | nars.nal.nal7 | abduction_on_events_with_variable_introduction | | 4.5241ms |
  573. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_disjunction_pred_decompose_conditional | | 4.5079ms |
  574. NAL5Test | nars.nal.nal5 | conditional_induction0NegBothSimple | | 4.472ms |
  575. NAL7Test | nars.nal.nal7 | testDecomposeConjunctionEmbedded | | 4.3708ms |
  576. NAL7Test | nars.nal.nal7 | intervalPreserve_and_shift_occurence | | 4.3651ms |
  577. NAL6Test | nars.nal.nal6 | testConjunctionContradictionInduction | | 4.2773ms |
  578. NAL3ComposeTest | nars.nal.nal3 | compound_composition_two_premises | | 4.2676ms |
  579. NAL7Test | nars.nal.nal7 | occtestShiftWorkingRight2 | | 4.2385ms |
  580. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_subj_decompose_conditional2b | | 4.2203ms |
  581. NAL7Test | nars.nal.nal7 | conjuction_on_events_with_variable_introduction_pos_neg | | 4.1657ms |
  582. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjoint3 | | 4.1262ms |
  583. NAL4Test | nars.nal.nal4 | structural_transformation_dont | | 4.1206ms |
  584. DecomposeTest$DisjBelief | nars.nal.nal8 | testDisjBeliefNeg | | 4.0934ms |
  585. NAL7Test | nars.nal.nal7 | induction_on_events3 | | 4.0738ms |
  586. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [1] 0.0 | 4.072ms |
  587. NAL6Test | nars.nal.nal6 | strong_unification_dep_indep_pre | | 4.0634ms |
  588. NAL4Test | nars.nal.nal4 | testTransformQuestionPred | [1] 63 | 4.0564ms |
  589. NAL7Test | nars.nal.nal7 | testDecomposeTaskDontDecomposeNonEventNeg | | 4.0338ms |
  590. NAL6Test | nars.nal.nal6 | deductionBeliefWithVariableNeg | | 4.0264ms |
  591. NAL8Test | nars.nal.nal8 | condition_goal_deductionWithVariableEliminationOpposite | | 4.0143ms |
  592. NAL7Test | nars.nal.nal7 | testConjDecomposeShift | | 3.9976ms |
  593. NAL7Test | nars.nal.nal7 | testDecomposeTaskDontDecomposeNonEvent | | 3.9828ms |
  594. NAL6Test | nars.nal.nal6 | variable_unification7_neg | | 3.9603ms |
  595. NAL8SequenceTest | nars.nal.nal8 | testMidSequenceDTernalComponentWithUnification | | 3.9111ms |
  596. NAL8EternalMixTest | nars.nal.nal8 | subgoal_1_abd | | 3.9025ms |
  597. NAL7Test | nars.nal.nal7 | variable_introduction_on_events_with_negation | | 3.886ms |
  598. NAL7Test | nars.nal.nal7 | inference_on_tense_4 | | 3.8285ms |
  599. NAL2Test | nars.nal.nal2 | testInstToNonSet | | 3.7281ms |
  600. NAL6Test | nars.nal.nal6 | variable_introduction | | 3.7215ms |
  601. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_ParallelWithDepVar_and_Arithmetic | | 3.7136ms |
  602. NAL2Test | nars.nal.nal2 | testPropToNonSet | | 3.6626ms |
  603. NAL5Test | nars.nal.nal5 | conditional_induction0SimpleIndepVar | | 3.6439ms |
  604. NAL6Test | nars.nal.nal6 | variable_introduction_with_existing_vars2 | | 3.6379ms |
  605. NAL1MultistepTest | nars.nal.nal1 | multistepImpl2 | | 3.6378ms |
  606. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_union | | 3.5889ms |
  607. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Intersect_3_2 | | 3.5821ms |
  608. MathTest | nars.nal.nal8 | testImplVarAdd1 | | 3.5529ms |
  609. NAL7Test | nars.nal.nal7 | inference_on_tense_3 | | 3.5133ms |
  610. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple2 | | 3.506ms |
  611. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Union_3_2 | | 3.4967ms |
  612. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [4] 3 | 3.4962ms |
  613. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_ParallelWithDepVar | | 3.4884ms |
  614. NAL4Test | nars.nal.nal4 | testTransformQuestionSubj | testTransformQuestionSubj(byte) | 3.487ms |
  615. NAL1Test | nars.nal.nal1 | analogyPos | | 3.4368ms |
  616. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | implDecomposeGoalPredicate1(int) | 3.4338ms |
  617. NAL6Test | nars.nal.nal6 | multiple_variable_elimination4 | | 3.4221ms |
  618. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [3] 0 | 3.4204ms |
  619. NAL8Test | nars.nal.nal8 | eternal_deduction_1_maybe_belief_maybe_conc | | 3.3981ms |
  620. NAL4Test | nars.nal.nal4 | testTransformQuestionSubj | [2] 64 | 3.3926ms |
  621. NAL1Test | nars.nal.nal1 | backwardInference2 | | 3.3814ms |
  622. NAL1Test | nars.nal.nal1 | analogy2 | | 3.3737ms |
  623. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [5] 4 | 3.3607ms |
  624. NAL6Test | nars.nal.nal6 | testMutexConjBeliefInduction2 | | 3.3526ms |
  625. DecomposeTest$ConjBelief | nars.nal.nal8 | testConjBeliefWeak | | 3.3342ms |
  626. NAL6Test | nars.nal.nal6 | variable_introduction_with_existing_vars | | 3.3077ms |
  627. NAL8SequenceTest | nars.nal.nal8 | testUnifyConclusionSequenceOutcome | | 3.2674ms |
  628. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [1] -4 | 3.2434ms |
  629. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_MidSequenceDTernalComponentWithUnification | | 3.2318ms |
  630. NAL5Test | nars.nal.nal5 | conditional_induction | | 3.2211ms |
  631. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_tensed_conseq_noVar | | 3.2163ms |
  632. NAL3DecomposeGoalTest | nars.nal.nal3 | testSubjUnionConditionalDecomposeGoalPosNeg | | 3.2004ms |
  633. NAL1Test | nars.nal.nal1 | variable_elimination_analogy_substIfUnify | | 3.1539ms |
  634. NAL6Test | nars.nal.nal6 | variable_elimination_impl_fwd_pos_pos | | 3.1323ms |
  635. NAL7Test | nars.nal.nal7 | induction_on_events_0 | | 3.1303ms |
  636. NAL6Test | nars.nal.nal6 | multiple_variables_introduction | | 3.1135ms |
  637. NAL1Test | nars.nal.nal1 | deductionReverseAndAbduction | | 3.1014ms |
  638. NAL7Test | nars.nal.nal7 | induction_on_events_with_variable_introduction | | 3.0813ms |
  639. NAL7Test | nars.nal.nal7 | testConjDecomposeGoalPar | | 3.0811ms |
  640. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2swap | [1] -3 | 3.0684ms |
  641. NAL1Test | nars.nal.nal1 | analogyNeg | | 3.0604ms |
  642. NAL8Test | nars.nal.nal8 | testUnifyGoalSeqConclusionPos | | 3.0278ms |
  643. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [3] 0 | 2.9967ms |
  644. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterNegSeq | | 2.9812ms |
  645. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [2] -3 | 2.9538ms |
  646. NAL5Test | nars.nal.nal5 | conditional_deduction3 | | 2.9414ms |
  647. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDifferenceQuest | | 2.9074ms |
  648. NAL8Test | nars.nal.nal8 | testImplGoalDuration | | 2.9042ms |
  649. NAL8EternalMixTest | nars.nal.nal8 | further_detachment | | 2.8924ms |
  650. NAL7Test | nars.nal.nal7 | decomposeConjunctionDTERNAL | | 2.882ms |
  651. NAL1Test | nars.nal.nal1 | analogy | | 2.858ms |
  652. NAL4Test | nars.nal.nal4 | structural_transformationExt_forward_repeats2 | | 2.8531ms |
  653. NAL1Test | nars.nal.nal1 | similarityToInheritance4 | | 2.8296ms |
  654. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [2] -3 | 2.8119ms |
  655. NAL8EternalMixTest | nars.nal.nal8 | ded_with_indep_var_temporal | | 2.8092ms |
  656. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | implDecomposeGoalPredicate3(int) | 2.7817ms |
  657. NAL5Test | nars.nal.nal5 | implConjNeutralize | | 2.7611ms |
  658. NAL7Test | nars.nal.nal7 | preconImplyConjPost2 | | 2.7567ms |
  659. NAL8EternalMixTest | nars.nal.nal8 | belief_deduction_by_condition | | 2.7361ms |
  660. NAL5Test | nars.nal.nal5 | conditional_abduction | | 2.7229ms |
  661. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [5] 4 | 2.7156ms |
  662. NAL5Test | nars.nal.nal5 | conditional_induction0Simple_NegInner | | 2.7139ms |
  663. NAL7Test | nars.nal.nal7 | testSumNeg | | 2.7011ms |
  664. NAL7Test | nars.nal.nal7 | testDurationOfInductedImplication | | 2.6907ms |
  665. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [1] -4 | 2.6839ms |
  666. NAL6Test | nars.nal.nal6 | strong_unification_dep_indep_post | | 2.6593ms |
  667. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [2] -3 | 2.6511ms |
  668. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [3] 0 | 2.6476ms |
  669. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [4] 3 | 2.6382ms |
  670. NAL1Test | nars.nal.nal1 | backwardInference | | 2.6295ms |
  671. NAL7Test | nars.nal.nal7 | inference_on_tense_reverse | | 2.6041ms |
  672. NAL8Test | nars.nal.nal8 | testUnifyGoalSeqConclusionNeg | | 2.6015ms |
  673. NAL8Test | nars.nal.nal8 | condition_goal_deduction_2_temporal_belief | | 2.5737ms |
  674. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfter_ete_tmp | | 2.5458ms |
  675. NAL8Test | nars.nal.nal8 | conditionalDisjDecomposePos | | 2.5439ms |
  676. NAL6Test | nars.nal.nal6 | variable_unification_revision | | 2.5419ms |
  677. NAL8Test | nars.nal.nal8 | implDecomposeGoalBeforeTemporalSameTermNegated | | 2.5418ms |
  678. NAL8Test | nars.nal.nal8 | deriveNegInhGoal | | 2.5355ms |
  679. NAL7Test | nars.nal.nal7 | testConjInductionEternalTemporal | | 2.5274ms |
  680. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterParallel | | 2.523ms |
  681. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [3] 0 | 2.5177ms |
  682. NAL8Test | nars.nal.nal8 | eternal_deduction_1_pos_belief_neg_conc | | 2.4803ms |
  683. NAL7Test | nars.nal.nal7 | induction_on_events3_simple | | 2.4757ms |
  684. DecomposeTest$DisjBelief | nars.nal.nal8 | testDisjBeliefPos | | 2.4746ms |
  685. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | implDecomposeGoalPredicate2(int) | 2.4702ms |
  686. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2swap | implDecomposeGoalPredicate2swap(int) | 2.4685ms |
  687. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_delayed_impl | | 2.4646ms |
  688. NAL7Test | nars.nal.nal7 | preconImplyConjPostB | | 2.4501ms |
  689. NAL8Test | nars.nal.nal8 | decomposeConjuncitonGoalBeliefRelative | | 2.4256ms |
  690. NAL8Test | nars.nal.nal8 | eternal_deduction_1_neg_belief_pos_conc | | 2.4229ms |
  691. NAL6Test | nars.nal.nal6 | implVariableSubst | | 2.4228ms |
  692. NAL1Test | nars.nal.nal1 | structureTransformation_InhQuestion_SimBelief | | 2.4114ms |
  693. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [4] 3 | 2.405ms |
  694. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [5] 4 | 2.3981ms |
  695. NAL1Test | nars.nal.nal1 | inheritanceToSimilarity2 | | 2.398ms |
  696. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [2] -3 | 2.3938ms |
  697. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2swap | [3] 3 | 2.3928ms |
  698. NAL7Test | nars.nal.nal7 | induction_on_events_pos_neg | | 2.3909ms |
  699. NAL8Test | nars.nal.nal8 | eternal_deduction_1_pos_belief_maybe_conc | | 2.3831ms |
  700. NAL1Test | nars.nal.nal1 | resemblance | | 2.3802ms |
  701. NAL5Test | nars.nal.nal5 | abductionSimple | | 2.3683ms |
  702. NAL8Test | nars.nal.nal8 | testPredictiveImplicationTemporalTemporalNeg | | 2.3667ms |
  703. NAL6Test | nars.nal.nal6 | impliesUnbelievedYet | | 2.3559ms |
  704. NAL8EternalMixTest | nars.nal.nal8 | testStrongUnificationAbductionPN | | 2.3464ms |
  705. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | implDecomposeGoalPredicate4(int) | 2.3274ms |
  706. NAL5Test | nars.nal.nal5 | compound_composition_PredPosNeg | | 2.327ms |
  707. NAL5Test | nars.nal.nal5 | abduction | | 2.3089ms |
  708. NAL4Test | nars.nal.nal4 | testTransformQuestionPred | testTransformQuestionPred(byte) | 2.3017ms |
  709. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjoint2_int | | 2.3007ms |
  710. NAL8EternalMixTest | nars.nal.nal8 | testStrongUnificationAbductionPP | | 2.2673ms |
  711. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [5] 4 | 2.265ms |
  712. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [4] 3 | 2.2587ms |
  713. NAL7Test | nars.nal.nal7 | testConjDecomposeParallelBelief | | 2.2563ms |
  714. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2swap | [2] 0 | 2.2452ms |
  715. NAL4Test | nars.nal.nal4 | testTransformQuestionPred | [2] 64 | 2.2137ms |
  716. NAL5Test | nars.nal.nal5 | deductionNegCommon | | 2.2035ms |
  717. NAL7Test | nars.nal.nal7 | testSum | | 2.1987ms |
  718. NAL5Test | nars.nal.nal5 | conjunction_decomposition_one_premises | | 2.1823ms |
  719. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjoint2_ext | | 2.1753ms |
  720. NAL7Test | nars.nal.nal7 | updating_and_revision | | 2.1651ms |
  721. NAL1Test | nars.nal.nal1 | similarityBelief | | 2.164ms |
  722. NAL7Test | nars.nal.nal7 | testComparison1_Eternal | | 2.1588ms |
  723. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDifferenceQuestion | | 2.1535ms |
  724. NAL8Test | nars.nal.nal8 | testPredictiveImplicationTemporalTemporalOpposite | | 2.1395ms |
  725. NAL1Test | nars.nal.nal1 | inheritanceToSimilarity | | 2.0971ms |
  726. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_impl_after | | 2.0899ms |
  727. NAL8SequenceTest | nars.nal.nal8 | testSubParallelOutcome | testSubParallelOutcome(String) | 2.0822ms |
  728. NAL7Test | nars.nal.nal7 | testDecomposeConjunctionTemporal | | 2.0746ms |
  729. NAL1Test | nars.nal.nal1 | revision | | 2.0346ms |
  730. NAL1Test | nars.nal.nal1 | revisionSim | | 2.034ms |
  731. NAL5Test | nars.nal.nal5 | deductionPosCommon | | 2.0333ms |
  732. NAL5Test | nars.nal.nal5 | testImplNegSubjQuestioned | | 2.0282ms |
  733. NAL8Test | nars.nal.nal8 | implDecomposeGoalAfterPosNeg | | 2.0131ms |
  734. NAL7Test | nars.nal.nal7 | updating_and_revision2 | | 2.0069ms |
  735. DecomposeTest$ConjBelief | nars.nal.nal8 | testConjBeliefNeg | | 1.9954ms |
  736. NAL6Test | nars.nal.nal6 | testImplSubjNegQuestion | | 1.9895ms |
  737. NAL8SequenceTest | nars.nal.nal8 | testSubParallelOutcome | [1] && | 1.9732ms |
  738. NAL7Test | nars.nal.nal7 | induction_on_events_neg_pos | | 1.9609ms |
  739. NAL5Test | nars.nal.nal5 | questionComponentShortCircuit2 | | 1.9567ms |
  740. NAL8SequenceTest | nars.nal.nal8 | testMidSequenceDTernalComponentOutcome_Alternate_Sort | | 1.955ms |
  741. DecomposeTest$ConjGoal | nars.nal.nal8 | testConjPos1 | | 1.9269ms |
  742. NAL8SequenceTest | nars.nal.nal8 | testEqualConclusionSequenceOutcome | | 1.9246ms |
  743. NAL1Test | nars.nal.nal1 | deduction | | 1.9204ms |
  744. NAL8Test | nars.nal.nal8 | eternal_deduction_1_neg_belief_neg_conc | | 1.9018ms |
  745. NAL8SequenceTest | nars.nal.nal8 | testNegMidSequenceOutcome | | 1.8925ms |
  746. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_Goal_neg_decompose_neg | | 1.8815ms |
  747. NAL8EternalMixTest | nars.nal.nal8 | goal_ded_2 | | 1.8758ms |
  748. NAL8EternalMixTest | nars.nal.nal8 | deriveNegInhGoalTemporal | | 1.8596ms |
  749. NAL5Test | nars.nal.nal5 | testImplBeliefPosNeg | | 1.8312ms |
  750. NAL8EternalMixTest | nars.nal.nal8 | testNegatedImplicationTerm3 | | 1.8283ms |
  751. NAL8Test | nars.nal.nal8 | eternal_deduction_1_pos_belief_pos_conc | | 1.8126ms |
  752. NAL8SequenceTest | nars.nal.nal8 | testSubSequence2_end | | 1.7903ms |
  753. NAL5Test | nars.nal.nal5 | compound_decomposition_one_premise_pos | | 1.7768ms |
  754. NAL8Test | nars.nal.nal8 | implDecomposeGoalBeforeTemporalImpl | | 1.7737ms |
  755. NAL5Test | nars.nal.nal5 | detachment | | 1.7581ms |
  756. NAL8Test | nars.nal.nal8 | temporal_deduction_1 | | 1.731ms |
  757. NAL8Test | nars.nal.nal8 | condition_goal_deduction_2_ete_belief | | 1.7219ms |
  758. NAL8Test | nars.nal.nal8 | conditionalDisjDecomposeNeg | | 1.7181ms |
  759. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deduction_interval | | 1.7163ms |
  760. NAL8Test | nars.nal.nal8 | testStrongNegativePositiveInheritance | | 1.6838ms |
  761. NAL8EternalMixTest | nars.nal.nal8 | temporal_goal_detachment_1 | | 1.6775ms |
  762. NAL5Test | nars.nal.nal5 | abductionSimpleNeg | | 1.6665ms |
  763. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_Goal_pos_decompose_neg | | 1.6027ms |
  764. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_Neg_ParallelWithDepVar | | 1.5984ms |
  765. NAL5Test | nars.nal.nal5 | conjunction_decomposition_one_premises_simple | | 1.5884ms |
  766. NAL5Test | nars.nal.nal5 | testImplSubj_Questioned | | 1.5738ms |
  767. NAL8Test | nars.nal.nal8 | testConjDecomposeWithDepVar | | 1.5607ms |
  768. NAL5Test | nars.nal.nal5 | testAnonymousAbductionNeg | | 1.5496ms |
  769. NAL8SequenceTest | nars.nal.nal8 | testSubSequence2_mid | | 1.5415ms |
  770. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_impl | | 1.5352ms |
  771. NAL8SequenceTest | nars.nal.nal8 | testMidSequenceDTernalComponentOutcome | | 1.5137ms |
  772. NAL5Test | nars.nal.nal5 | revision | | 1.5094ms |
  773. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_Goal_pos_decompose_pos | | 1.4693ms |
  774. NAL8EternalMixTest | nars.nal.nal8 | testNegatedImplicationS | | 1.4617ms |
  775. NAL8Test | nars.nal.nal8 | implDecomposeGoalBeforeTemporalEte | | 1.4355ms |
  776. NAL5Test | nars.nal.nal5 | exemplification | | 1.4279ms |
  777. NAL8Test | nars.nal.nal8 | testSimilarityGoalNegBelief | | 1.4246ms |
  778. NAL5Test | nars.nal.nal5 | testImplBeliefPosPos | | 1.4038ms |
  779. NAL8Test | nars.nal.nal8 | testStrongNegativeNegativeInheritance | | 1.3961ms |
  780. NAL8Test | nars.nal.nal8 | testGoalSimilaritySpreadingNegInside | | 1.3929ms |
  781. NAL8Test | nars.nal.nal8 | testSimilarityGoalPosBelief | | 1.3879ms |
  782. NAL4Test | nars.nal.nal4 | testNormalize1b | | 1.3845ms |
  783. NAL8SequenceTest | nars.nal.nal8 | testMidSequenceOutcome | | 1.3763ms |
  784. NAL8Test | nars.nal.nal8 | testDesiredConjNeg | | 1.3584ms |
  785. NAL5Test | nars.nal.nal5 | testImplNegNeg | | 1.3513ms |
  786. NAL5Test | nars.nal.nal5 | questionComponentShortCircuit | | 1.3471ms |
  787. NAL8Test | nars.nal.nal8 | testGoalConjunctionPos1Eternal | | 1.3455ms |
  788. NAL6Test | nars.nal.nal6 | testImplSubjQuestion | | 1.3387ms |
  789. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjNeg2 | | 1.3354ms |
  790. NAL8EternalMixTest | nars.nal.nal8 | testBelievedImplOfDesireDelayed | | 1.3144ms |
  791. NAL8EternalMixTest | nars.nal.nal8 | testImplicationTerm2 | | 1.2522ms |
  792. NAL5Test | nars.nal.nal5 | testImplSubj_and_ConditionsQuestioned_fwd | | 1.2225ms |
  793. NAL5Test | nars.nal.nal5 | negation0 | | 1.2101ms |
  794. NAL8Test | nars.nal.nal8 | testDesiredConjPos | | 1.2059ms |
  795. NAL8Test | nars.nal.nal8 | testGoalConjunctionNegative2 | | 1.1892ms |
  796. NAL8Test | nars.nal.nal8 | testGoalConjunctionPos1Parallel | | 1.1779ms |
  797. NAL5Test | nars.nal.nal5 | testAnonymousAbduction | | 1.165ms |
  798. NAL5Test | nars.nal.nal5 | testImplNegPos | | 1.1559ms |
  799. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_Goal_neg_decompose_pos | | 1.1341ms |
  800. NAL5Test | nars.nal.nal5 | testImplSubj_and_ConditionsQuestioned_rev | | 1.098ms |
  801. NAL8SequenceTest | nars.nal.nal8 | testStartSequenceDTernalComponentOutcome | | 1.0941ms |
  802. NAL8Test | nars.nal.nal8 | testGoalConjunctionNegative1N | | 1.0916ms |
  803. NAL8Test | nars.nal.nal8 | testGoalSimilaritySpreading | | 1.0887ms |
  804. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjNeg3 | | 1.0489ms |
  805. NAL8Test | nars.nal.nal8 | testBelievedImplOfDesire | | 935.466us |
  806. NAL4Test | nars.nal.nal4 | structural_transformationExt_only_first_layer | | 710.773us |
  807. summary
  808. package | class | method | param | Number True [success] |
  809. --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
  810. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_tensed_conseq_noVar | | 1.0 |
  811. NAL8EternalMixTest | nars.nal.nal8 | implSubstitutionViaSimilarity | | 1.0 |
  812. NAL8EternalMixTest | nars.nal.nal8 | implSubstitutionViaSimilarityReverse | | 1.0 |
  813. NAL8EternalMixTest | nars.nal.nal8 | subgoal_1_abd | | 1.0 |
  814. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2 | composition_on_both_sides_of_a_statement_2(String) | 1.0 |
  815. NAL8EternalMixTest | nars.nal.nal8 | subsent_1_even_simpler_simplerGoalEternal | | 1.0 |
  816. MathTest | nars.nal.nal8 | testImplVarAdd1 | | 1.0 |
  817. NAL8EternalMixTest | nars.nal.nal8 | temporal_goal_detachment_1 | | 1.0 |
  818. NAL8EternalMixTest | nars.nal.nal8 | temporal_goal_detachment_3_valid | | 1.0 |
  819. NAL8EternalMixTest | nars.nal.nal8 | temporal_goal_detachment_3_valid_negate | | 1.0 |
  820. NAL8EternalMixTest | nars.nal.nal8 | testBelievedImplOfDesireDelayed | | 1.0 |
  821. NAL8EternalMixTest | nars.nal.nal8 | testDesiredConjDelayed | | 1.0 |
  822. NAL8EternalMixTest | nars.nal.nal8 | testDesiredConjDelayedNeg | | 1.0 |
  823. NAL8EternalMixTest | nars.nal.nal8 | testGoalConjunctionDecomposeSuffix | | 1.0 |
  824. NAL1GoalTest | nars.nal.nal1 | deductionNegativeGoalPositiveBelief | | 1.0 |
  825. NAL8EternalMixTest | nars.nal.nal8 | testImplicationTerm2 | | 1.0 |
  826. NAL8EternalMixTest | nars.nal.nal8 | testNegatedImplicationS | | 1.0 |
  827. NAL8EternalMixTest | nars.nal.nal8 | testNegatedImplicationTerm3 | | 1.0 |
  828. BooleanTest | nars.nal.nal5 | testSAT2Individual10 | | 1.0 |
  829. NAL8EternalMixTest | nars.nal.nal8 | testPredictiveImplicationTemporalEternal | | 1.0 |
  830. NAL8EternalMixTest | nars.nal.nal8 | testStrongUnificationAbductionPN | | 1.0 |
  831. NAL8EternalMixTest | nars.nal.nal8 | testStrongUnificationAbductionPP | | 1.0 |
  832. NAL8EternalMixTest | nars.nal.nal8 | testStrongUnificationDeductionPN | | 1.0 |
  833. NAL8EternalMixTest | nars.nal.nal8 | testStrongUnificationDeductionPP | | 1.0 |
  834. NAL8SequenceTest | nars.nal.nal8 | testBeliefDeduction_MidSequenceDTernalComponent | | 1.0 |
  835. NAL8SequenceTest | nars.nal.nal8 | testBeliefDeduction_MidSequenceDTernalComponentWithUnification | | 1.0 |
  836. NAL8SequenceTest | nars.nal.nal8 | testEqualConclusionSequenceOutcome | | 1.0 |
  837. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_MidSequenceDTernalComponentWithUnification | | 1.0 |
  838. BooleanTest | nars.nal.nal5 | testSAT2Individual11 | | 1.0 |
  839. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_MidSequence_Conj | | 1.0 |
  840. NAL1MultistepTest | nars.nal.nal1 | multistepImpl2 | | 1.0 |
  841. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_Neg_ParallelWithDepVar | | 1.0 |
  842. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_ParallelWithDepVar | | 1.0 |
  843. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_ParallelWithDepVar_and_Arithmetic | | 1.0 |
  844. NAL1MultistepTest | nars.nal.nal1 | multistepImpl4 | | 1.0 |
  845. NAL8SequenceTest | nars.nal.nal8 | testMidSequenceDTernalComponentOutcome | | 1.0 |
  846. NAL8SequenceTest | nars.nal.nal8 | testMidSequenceDTernalComponentOutcome_Alternate_Sort | | 1.0 |
  847. NAL8SequenceTest | nars.nal.nal8 | testMidSequenceDTernalComponentWithUnification | | 1.0 |
  848. NAL8SequenceTest | nars.nal.nal8 | testMidSequenceOutcome | | 1.0 |
  849. NAL8SequenceTest | nars.nal.nal8 | testNegMidSequenceOutcome | | 1.0 |
  850. NAL8SequenceTest | nars.nal.nal8 | testStartSequenceDTernalComponentOutcome | | 1.0 |
  851. NAL8SequenceTest | nars.nal.nal8 | testSubParallelOutcome | [1] && | 1.0 |
  852. NAL8SequenceTest | nars.nal.nal8 | testSubParallelOutcome | testSubParallelOutcome(String) | 1.0 |
  853. NAL8SequenceTest | nars.nal.nal8 | testSubSequence2_end | | 1.0 |
  854. NAL8SequenceTest | nars.nal.nal8 | testSubSequence2_mid | | 1.0 |
  855. NAL8SequenceTest | nars.nal.nal8 | testUnifyConclusionSequenceOutcome | | 1.0 |
  856. NAL1MultistepTest | nars.nal.nal1 | multistepInh2 | | 1.0 |
  857. NAL8Test | nars.nal.nal8 | condition_goal_conjunction_2_neg_conj_var_simple_neg | | 1.0 |
  858. NAL8Test | nars.nal.nal8 | condition_goal_conjunction_2_neg_conj_var_simple_pos | | 1.0 |
  859. NAL8Test | nars.nal.nal8 | condition_goal_deductionWithVariableEliminationOpposite | | 1.0 |
  860. NAL8Test | nars.nal.nal8 | condition_goal_deduction_2_ete_belief | | 1.0 |
  861. NAL4Test | nars.nal.nal4 | structural_transformationExt | | 1.0 |
  862. NAL8Test | nars.nal.nal8 | condition_goal_deduction_2_neg_event | | 1.0 |
  863. NAL8Test | nars.nal.nal8 | condition_goal_deduction_2_temporal_belief | | 1.0 |
  864. NAL8Test | nars.nal.nal8 | condition_goal_disjunction_2_neg_conj_no_var_simple | | 1.0 |
  865. NAL8Test | nars.nal.nal8 | condition_goal_disjunction_2_neg_conj_var_simple | | 1.0 |
  866. NAL8Test | nars.nal.nal8 | condition_goal_disjunction_2_neg_conj_var_simple_neg | | 1.0 |
  867. NAL8Test | nars.nal.nal8 | conditionalDisjDecomposeNeg | | 1.0 |
  868. NAL8Test | nars.nal.nal8 | conditionalDisjDecomposePos | | 1.0 |
  869. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterNeg | | 1.0 |
  870. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterNegNeg | | 1.0 |
  871. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterNegSeq | | 1.0 |
  872. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterParallel | | 1.0 |
  873. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfterPosNeg | | 1.0 |
  874. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfter_ete_tmp | | 1.0 |
  875. NAL8Test | nars.nal.nal8 | conjDecomposeGoalAfter_tmp_tmp | | 1.0 |
  876. NAL8Test | nars.nal.nal8 | decomposeConjuncitonGoalBeliefRelative | | 1.0 |
  877. NAL8Test | nars.nal.nal8 | deriveNegInhGoal | | 1.0 |
  878. NAL8Test | nars.nal.nal8 | eternal_deduction_1_maybe_belief_maybe_conc | | 1.0 |
  879. NAL8Test | nars.nal.nal8 | eternal_deduction_1_neg_belief_neg_conc | | 1.0 |
  880. NAL8Test | nars.nal.nal8 | eternal_deduction_1_neg_belief_pos_conc | | 1.0 |
  881. NAL8Test | nars.nal.nal8 | eternal_deduction_1_pos_belief_maybe_conc | | 1.0 |
  882. NAL8Test | nars.nal.nal8 | eternal_deduction_1_pos_belief_neg_conc | | 1.0 |
  883. NAL8Test | nars.nal.nal8 | eternal_deduction_1_pos_belief_pos_conc | | 1.0 |
  884. NAL4Test | nars.nal.nal4 | structural_transformationExt_forward_repeats2 | | 1.0 |
  885. NAL8Test | nars.nal.nal8 | implDecomposeGoalAfterPosNeg | | 1.0 |
  886. NAL8Test | nars.nal.nal8 | implDecomposeGoalBeforeTemporalEte | | 1.0 |
  887. NAL8Test | nars.nal.nal8 | implDecomposeGoalBeforeTemporalImpl | | 1.0 |
  888. NAL4Test | nars.nal.nal4 | structural_transformationExt_forward_repeats2numeric | | 1.0 |
  889. NAL8Test | nars.nal.nal8 | implDecomposeGoalBeforeTemporalSameTermNegated | | 1.0 |
  890. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [1] -4 | 1.0 |
  891. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [2] -3 | 1.0 |
  892. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [3] 0 | 1.0 |
  893. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [4] 3 | 1.0 |
  894. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | [5] 4 | 1.0 |
  895. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate1 | implDecomposeGoalPredicate1(int) | 1.0 |
  896. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [1] -4 | 1.0 |
  897. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [2] -3 | 1.0 |
  898. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [3] 0 | 1.0 |
  899. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [4] 3 | 1.0 |
  900. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | [5] 4 | 1.0 |
  901. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2 | implDecomposeGoalPredicate2(int) | 1.0 |
  902. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2swap | [1] -3 | 1.0 |
  903. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2swap | [2] 0 | 1.0 |
  904. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2swap | [3] 3 | 1.0 |
  905. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate2swap | implDecomposeGoalPredicate2swap(int) | 1.0 |
  906. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [1] -4 | 1.0 |
  907. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [2] -3 | 1.0 |
  908. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [3] 0 | 1.0 |
  909. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [4] 3 | 1.0 |
  910. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | [5] 4 | 1.0 |
  911. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate3 | implDecomposeGoalPredicate3(int) | 1.0 |
  912. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [1] -4 | 1.0 |
  913. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [2] -3 | 1.0 |
  914. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [3] 0 | 1.0 |
  915. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [4] 3 | 1.0 |
  916. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | [5] 4 | 1.0 |
  917. NAL8Test | nars.nal.nal8 | implDecomposeGoalPredicate4 | implDecomposeGoalPredicate4(int) | 1.0 |
  918. NAL4Test | nars.nal.nal4 | structural_transformationExt_forward_repeats3 | | 1.0 |
  919. NAL4Test | nars.nal.nal4 | structural_transformationExt_only_first_layer | | 1.0 |
  920. NAL1MultistepTest | nars.nal.nal1 | multistepInh3 | | 1.0 |
  921. NAL4Test | nars.nal.nal4 | structural_transformationInt | | 1.0 |
  922. NAL4Test | nars.nal.nal4 | structural_transformationInt_0 | | 1.0 |
  923. BooleanTest | nars.nal.nal5 | testXOREternal | | 1.0 |
  924. NAL8Test | nars.nal.nal8 | temporal_deduction_1 | | 1.0 |
  925. NAL8Test | nars.nal.nal8 | testBelievedImplOfDesire | | 1.0 |
  926. NAL1MultistepTest | nars.nal.nal1 | multistepSim2 | | 1.0 |
  927. NAL4Test | nars.nal.nal4 | structural_transformation_DepVar1 | | 1.0 |
  928. NAL4Test | nars.nal.nal4 | structural_transformation_DepVar2 | | 1.0 |
  929. NAL8Test | nars.nal.nal8 | testConjDecomposeWithDepVar | | 1.0 |
  930. NAL8Test | nars.nal.nal8 | testConjParGoalDecomposeForward | | 1.0 |
  931. NAL4Test | nars.nal.nal4 | structural_transformation_dont | | 1.0 |
  932. NAL8Test | nars.nal.nal8 | testConjSeqGoalDecomposeForward | | 1.0 |
  933. NAL8Test | nars.nal.nal8 | testConjSeqGoalNegDecomposeForward | | 1.0 |
  934. NAL4Test | nars.nal.nal4 | structural_transformation_one_arg | | 1.0 |
  935. NAL8Test | nars.nal.nal8 | testDesiredConjNeg | | 1.0 |
  936. NAL8Test | nars.nal.nal8 | testDesiredConjPos | | 1.0 |
  937. NAL4Test | nars.nal.nal4 | testNeqComRecursiveConstraint | | 1.0 |
  938. NAL8Test | nars.nal.nal8 | testGoalConjunctionNegative1N | | 1.0 |
  939. NAL8Test | nars.nal.nal8 | testGoalConjunctionNegative2 | | 1.0 |
  940. NAL8Test | nars.nal.nal8 | testGoalConjunctionPos1Eternal | | 1.0 |
  941. NAL8Test | nars.nal.nal8 | testGoalConjunctionPos1Parallel | | 1.0 |
  942. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternal | [1] &| | 1.0 |
  943. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternal | [2] && | 1.0 |
  944. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternal | testGoalImplComponentEternal(String) | 1.0 |
  945. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternalSubjNeg | [1] && | 1.0 |
  946. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternalSubjNeg | [2] &| | 1.0 |
  947. NAL8Test | nars.nal.nal8 | testGoalImplComponentEternalSubjNeg | testGoalImplComponentEternalSubjNeg(String) | 1.0 |
  948. NAL8Test | nars.nal.nal8 | testGoalSimilaritySpreading | | 1.0 |
  949. NAL8Test | nars.nal.nal8 | testGoalSimilaritySpreadingNegInside | | 1.0 |
  950. NAL8Test | nars.nal.nal8 | testGoalSimilaritySpreadingParameter | | 1.0 |
  951. NAL8Test | nars.nal.nal8 | testImplGoalDuration | | 1.0 |
  952. NAL8Test | nars.nal.nal8 | testInheritanceDecompositionTemporalBelief | | 1.0 |
  953. NAL8Test | nars.nal.nal8 | testInhibition | | 1.0 |
  954. NAL8Test | nars.nal.nal8 | testInhibition0 | | 1.0 |
  955. NAL8Test | nars.nal.nal8 | testInhibition1 | | 1.0 |
  956. NAL8Test | nars.nal.nal8 | testInhibitionInverse | | 1.0 |
  957. NAL8Test | nars.nal.nal8 | testInhibitionReverse | | 1.0 |
  958. NAL8Test | nars.nal.nal8 | testNotEventOfNeg | | 1.0 |
  959. NAL8Test | nars.nal.nal8 | testPredictiveEquivalenceTemporalTemporalNeg | | 1.0 |
  960. NAL4Test | nars.nal.nal4 | testNormalize0 | | 1.0 |
  961. NAL8Test | nars.nal.nal8 | testPredictiveImplicationTemporalTemporalNeg | | 1.0 |
  962. NAL8Test | nars.nal.nal8 | testPredictiveImplicationTemporalTemporalOpposite | | 1.0 |
  963. NAL8Test | nars.nal.nal8 | testRepeatConjDropWTF | | 1.0 |
  964. NAL8Test | nars.nal.nal8 | testRepeatConjDropWTF_invert | | 1.0 |
  965. NAL8Test | nars.nal.nal8 | testSimilarityGoalNegBelief | | 1.0 |
  966. NAL8Test | nars.nal.nal8 | testSimilarityGoalPosBelief | | 1.0 |
  967. NAL8Test | nars.nal.nal8 | testStrongNegativeNegativeInheritance | | 1.0 |
  968. NAL8Test | nars.nal.nal8 | testStrongNegativePositiveInheritance | | 1.0 |
  969. NAL8Test | nars.nal.nal8 | testSubIfWTF | | 1.0 |
  970. NAL8Test | nars.nal.nal8 | testUnifyGoalSeqConclusionNeg | | 1.0 |
  971. NAL8Test | nars.nal.nal8 | testUnifyGoalSeqConclusionPos | | 1.0 |
  972. QueryVariableTest | nars.nal.nal6 | testNoVariableAnswer | | 1.0 |
  973. QueryVariableTest | nars.nal.nal6 | testQuery1 | | 1.0 |
  974. QueryVariableTest | nars.nal.nal6 | testQueryVariableAnswerUnified | | 1.0 |
  975. QueryVariableTest | nars.nal.nal6 | testQueryVariableAnswerUnified2 | | 1.0 |
  976. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesDepVar | | 1.0 |
  977. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesIndepVar | | 1.0 |
  978. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesIndepVarXternal | | 1.0 |
  979. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesTemporally | | 1.0 |
  980. QueryVariableTest | nars.nal.nal6 | testQueryVariableMatchesTemporally2 | | 1.0 |
  981. QuestTest | nars.nal.nal8 | testQuestAfterGoal1 | | 1.0 |
  982. QuestTest | nars.nal.nal8 | testQuestAfterGoal2 | | 1.0 |
  983. QuestTest | nars.nal.nal8 | testQuestAfterGoal3 | | 1.0 |
  984. QuestTest | nars.nal.nal8 | testQuestBeforeGoal | | 1.0 |
  985. QuestTest | nars.nal.nal8 | testQuestBeforeGoal0 | | 1.0 |
  986. NAL1MultistepTest | nars.nal.nal1 | multistepSim3 | | 1.0 |
  987. QuestionTest | nars.nal.nal1 | testDepVarInIndepImpl | | 1.0 |
  988. QuestionTest | nars.nal.nal1 | testDepVarInIndepImpl2 | | 1.0 |
  989. NAL4Test | nars.nal.nal4 | testNormalize1a | | 1.0 |
  990. NAL4Test | nars.nal.nal4 | testNormalize1b | | 1.0 |
  991. QuestionTest | nars.nal.nal1 | whQuestionUnifyQueryVar | | 1.0 |
  992. QuestionTest | nars.nal.nal1 | yesNoQuestion | | 1.0 |
  993. RuleInductionTest | nars.nal.nal7 | test1 | | 1.0 |
  994. SecondLevelUnificationTest | nars.nal.nal6 | test1 | | 1.0 |
  995. SecondLevelUnificationTest | nars.nal.nal6 | test2 | | 1.0 |
  996. TemporalInductionTest | nars.nal.nal7 | inductionDiffEventsAtom | | 1.0 |
  997. TemporalInductionTest | nars.nal.nal7 | inductionDiffEventsCompound | | 1.0 |
  998. TemporalInductionTest | nars.nal.nal7 | inductionDiffEventsCompoundNear | | 1.0 |
  999. TemporalInductionTest | nars.nal.nal7 | inductionDiffEventsNegPos | | 1.0 |
  1000. NAL1MultistepTest | nars.nal.nal1 | multistepSim4 | | 1.0 |
  1001. NAL4Test | nars.nal.nal4 | testTransformQuestionPred | [1] 63 | 1.0 |
  1002. NAL4Test | nars.nal.nal4 | testTransformQuestionPred | [2] 64 | 1.0 |
  1003. NAL4Test | nars.nal.nal4 | testTransformQuestionPred | testTransformQuestionPred(byte) | 1.0 |
  1004. TemporalInductionTest | nars.nal.nal7 | testInductionStability | | 1.0 |
  1005. TemporalInductionTest | nars.nal.nal7 | testTemporalRevision | | 1.0 |
  1006. TemporalInductionTest | nars.nal.nal7 | testTemporalRevisionOfTemporalRelation | | 1.0 |
  1007. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityAtoms | | 1.0 |
  1008. NAL4Test | nars.nal.nal4 | testTransformQuestionSubj | [1] 63 | 1.0 |
  1009. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityImpl | | 1.0 |
  1010. NAL4Test | nars.nal.nal4 | testTransformQuestionSubj | [2] 64 | 1.0 |
  1011. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedImpl | | 1.0 |
  1012. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedImplExt | | 1.0 |
  1013. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedImplExt2 | | 1.0 |
  1014. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedInh | | 1.0 |
  1015. NAL4Test | nars.nal.nal4 | testTransformQuestionSubj | testTransformQuestionSubj(byte) | 1.0 |
  1016. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedProd_easy | | 1.0 |
  1017. NAL5Test | nars.nal.nal5 | abduction | | 1.0 |
  1018. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedTemporalConjSmall | | 1.0 |
  1019. NAL5Test | nars.nal.nal5 | abductionSimple | | 1.0 |
  1020. TemporallyUnstableTests | nars.nal.nal7 | testTemporalStabilityConjInvertor | | 1.0 |
  1021. TemporallyUnstableTests | nars.nal.nal7 | testTemporalStabilityLinkedTemporalConjOverlapping | | 1.0 |
  1022. NAL5Test | nars.nal.nal5 | abductionSimpleNeg | | 1.0 |
  1023. NAL5Test | nars.nal.nal5 | anonymous_analogy1_depvar | | 1.0 |
  1024. NAL5Test | nars.nal.nal5 | anonymous_analogy1_depvar_neg | | 1.0 |
  1025. NAL5Test | nars.nal.nal5 | compound_composition_Pred | | 1.0 |
  1026. NAL5Test | nars.nal.nal5 | compound_composition_PredPosNeg | | 1.0 |
  1027. DecomposeTest$ConjBelief | nars.nal.nal8 | testConjBeliefNeg | | 1.0 |
  1028. NAL1Test | nars.nal.nal1 | analogy | | 1.0 |
  1029. NAL1Test | nars.nal.nal1 | analogy2 | | 1.0 |
  1030. NAL1Test | nars.nal.nal1 | analogyNeg | | 1.0 |
  1031. NAL5Test | nars.nal.nal5 | compound_decomposition_one_premise_pos | | 1.0 |
  1032. NAL5Test | nars.nal.nal5 | conditional_abduction | | 1.0 |
  1033. NAL1Test | nars.nal.nal1 | analogyPos | | 1.0 |
  1034. NAL1Test | nars.nal.nal1 | backwardInference | | 1.0 |
  1035. NAL1Test | nars.nal.nal1 | backwardInference2 | | 1.0 |
  1036. NAL5Test | nars.nal.nal5 | conditional_abduction2_viaMultiConditionalSyllogism | | 1.0 |
  1037. NAL5Test | nars.nal.nal5 | conditional_abduction2_viaMultiConditionalSyllogism_simpler | | 1.0 |
  1038. NAL5Test | nars.nal.nal5 | conditional_abduction3 | | 1.0 |
  1039. NAL5Test | nars.nal.nal5 | conditional_abduction3_generic | | 1.0 |
  1040. NAL5Test | nars.nal.nal5 | conditional_abduction3_generic_simpler | | 1.0 |
  1041. NAL5Test | nars.nal.nal5 | conditional_abduction3_semigeneric2 | | 1.0 |
  1042. NAL5Test | nars.nal.nal5 | conditional_abduction3_semigeneric3 | | 1.0 |
  1043. DecomposeTest$ConjBelief | nars.nal.nal8 | testConjBeliefWeak | | 1.0 |
  1044. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple2 | | 1.0 |
  1045. DecomposeTest$ConjBelief | nars.nal.nal8 | testConjBeliefWeakNeg | | 1.0 |
  1046. NAL1Test | nars.nal.nal1 | deduction | | 1.0 |
  1047. NAL1Test | nars.nal.nal1 | deductionReverseAndAbduction | | 1.0 |
  1048. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple_Predicate_Polarity_Mismatch | | 1.0 |
  1049. NAL1Test | nars.nal.nal1 | exemplification | | 1.0 |
  1050. NAL1Test | nars.nal.nal1 | inheritanceToSimilarity | | 1.0 |
  1051. NAL1Test | nars.nal.nal1 | inheritanceToSimilarity2 | | 1.0 |
  1052. NAL1Test | nars.nal.nal1 | resemblance | | 1.0 |
  1053. NAL1Test | nars.nal.nal1 | revision | | 1.0 |
  1054. NAL5Test | nars.nal.nal5 | conditional_deduction3 | | 1.0 |
  1055. NAL1Test | nars.nal.nal1 | revisionSim | | 1.0 |
  1056. NAL1Test | nars.nal.nal1 | similarityBelief | | 1.0 |
  1057. NAL1Test | nars.nal.nal1 | similarityToInheritance4 | | 1.0 |
  1058. NAL1Test | nars.nal.nal1 | structureTransformation_InhQuestion_SimBelief | | 1.0 |
  1059. NAL5Test | nars.nal.nal5 | conditional_induction | | 1.0 |
  1060. NAL5Test | nars.nal.nal5 | conditional_induction0NegBoth | | 1.0 |
  1061. NAL5Test | nars.nal.nal5 | conditional_induction0NegBothSimple | | 1.0 |
  1062. NAL5Test | nars.nal.nal5 | conditional_induction0Simple | | 1.0 |
  1063. NAL5Test | nars.nal.nal5 | conditional_induction0SimpleDepVar | | 1.0 |
  1064. NAL5Test | nars.nal.nal5 | conditional_induction0SimpleDepVar2 | | 1.0 |
  1065. NAL5Test | nars.nal.nal5 | conditional_induction0SimpleDepVar3 | | 1.0 |
  1066. NAL5Test | nars.nal.nal5 | conditional_induction0SimpleIndepVar | | 1.0 |
  1067. NAL5Test | nars.nal.nal5 | conditional_induction0Simple_NegInner | | 1.0 |
  1068. NAL5Test | nars.nal.nal5 | conditional_induction_3ary | | 1.0 |
  1069. NAL5Test | nars.nal.nal5 | conditional_induction_3ary_some_inner_Neg_other | | 1.0 |
  1070. NAL5Test | nars.nal.nal5 | conditional_induction_3ary_some_inner_Neg_the | | 1.0 |
  1071. NAL5Test | nars.nal.nal5 | conditional_induction_described | | 1.0 |
  1072. NAL5Test | nars.nal.nal5 | conjPostconditionDecompositionToImpl_BackChaining_Question | | 1.0 |
  1073. NAL5Test | nars.nal.nal5 | conjPreconditionDecompositionToImpl_BackChaining_Question | | 1.0 |
  1074. NAL1Test | nars.nal.nal1 | variable_elimination_analogy_substIfUnify | | 1.0 |
  1075. NAL5Test | nars.nal.nal5 | conjunction_decomposition_one_premises | | 1.0 |
  1076. NAL5Test | nars.nal.nal5 | conjunction_decomposition_one_premises_simple | | 1.0 |
  1077. NAL1Test | nars.nal.nal1 | variable_elimination_analogy_substIfUnifyOther | | 1.0 |
  1078. NAL1Test | nars.nal.nal1 | variable_elimination_analogy_substIfUnify_Neg | | 1.0 |
  1079. NAL1Test | nars.nal.nal1 | variable_elimination_sim_subj | | 1.0 |
  1080. NAL5Test | nars.nal.nal5 | deduction | | 1.0 |
  1081. NAL5Test | nars.nal.nal5 | deductionNegCommon | | 1.0 |
  1082. NAL5Test | nars.nal.nal5 | deductionPosCommon | | 1.0 |
  1083. NAL2Test | nars.nal.nal2 | backwardInference | | 1.0 |
  1084. NAL5Test | nars.nal.nal5 | detachment | | 1.0 |
  1085. NAL2Test | nars.nal.nal2 | setDefinition3 | | 1.0 |
  1086. NAL5Test | nars.nal.nal5 | exemplification | | 1.0 |
  1087. NAL5Test | nars.nal.nal5 | implConjNeutralize | | 1.0 |
  1088. NAL5Test | nars.nal.nal5 | induction | | 1.0 |
  1089. NAL5Test | nars.nal.nal5 | negation0 | | 1.0 |
  1090. NAL5Test | nars.nal.nal5 | negation1 | | 1.0 |
  1091. NAL5Test | nars.nal.nal5 | questionComponentShortCircuit | | 1.0 |
  1092. NAL5Test | nars.nal.nal5 | questionComponentShortCircuit2 | | 1.0 |
  1093. NAL5Test | nars.nal.nal5 | revision | | 1.0 |
  1094. NAL5Test | nars.nal.nal5 | testAbductionNegPosImplicationPred | | 1.0 |
  1095. NAL5Test | nars.nal.nal5 | testAnonymousAbduction | | 1.0 |
  1096. NAL5Test | nars.nal.nal5 | testAnonymousAbductionNeg | | 1.0 |
  1097. NAL2Test | nars.nal.nal2 | setDefinition4 | | 1.0 |
  1098. DecomposeTest$ConjGoal | nars.nal.nal8 | testConjPos1 | | 1.0 |
  1099. NAL2Test | nars.nal.nal2 | set_operations2_difference | | 1.0 |
  1100. NAL2Test | nars.nal.nal2 | set_operations3_difference | | 1.0 |
  1101. NAL2Test | nars.nal.nal2 | set_operations4 | | 1.0 |
  1102. NAL5Test | nars.nal.nal5 | testDeductionPosNegImplicationPred | | 1.0 |
  1103. NAL5Test | nars.nal.nal5 | testImplBeliefPosNeg | | 1.0 |
  1104. NAL5Test | nars.nal.nal5 | testImplBeliefPosPos | | 1.0 |
  1105. NAL5Test | nars.nal.nal5 | testImplConjSubjQuestioned | | 1.0 |
  1106. NAL5Test | nars.nal.nal5 | testImplNegNeg | | 1.0 |
  1107. NAL5Test | nars.nal.nal5 | testImplNegPos | | 1.0 |
  1108. NAL5Test | nars.nal.nal5 | testImplNegSubjQuestioned | | 1.0 |
  1109. NAL5Test | nars.nal.nal5 | testImplSubj_Questioned | | 1.0 |
  1110. NAL5Test | nars.nal.nal5 | testImplSubj_and_ConditionsQuestioned_fwd | | 1.0 |
  1111. NAL5Test | nars.nal.nal5 | testImplSubj_and_ConditionsQuestioned_rev | | 1.0 |
  1112. NAL5Test | nars.nal.nal5 | testPosPosImplicationConc | | 1.0 |
  1113. NAL2Test | nars.nal.nal2 | set_operations5 | | 1.0 |
  1114. NAL2Test | nars.nal.nal2 | set_operations5Half | | 1.0 |
  1115. NAL2Test | nars.nal.nal2 | set_operationsSetExt_union | | 1.0 |
  1116. NAL2Test | nars.nal.nal2 | set_operationsSetExt_unionNeg | | 1.0 |
  1117. NAL2Test | nars.nal.nal2 | set_operationsSetInt_union1_1_2_3 | | 1.0 |
  1118. NAL6DecomposeTest$SinglePremiseConjPred | nars.nal.nal6 | testDecomposeImplPred1 | | 1.0 |
  1119. NAL2Test | nars.nal.nal2 | set_operationsSetInt_union_2_3_4 | | 1.0 |
  1120. NAL2Test | nars.nal.nal2 | structureTransformation | | 1.0 |
  1121. NAL6DecomposeTest$SinglePremiseConjPred | nars.nal.nal6 | testDecomposeImplPredNeg | | 1.0 |
  1122. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | disjunction_decompose_two_premises3 | | 1.0 |
  1123. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testDecomposeConjNeg2 | | 1.0 |
  1124. NAL2Test | nars.nal.nal2 | structureTransformation2 | | 1.0 |
  1125. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testDecomposeDisj | | 1.0 |
  1126. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testDecomposeDisjNeg2 | | 1.0 |
  1127. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testPropositionalDecompositionConjNeg | | 1.0 |
  1128. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testPropositionalDecompositionConjPos | | 1.0 |
  1129. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testPropositionalDecompositionDisjNeg | | 1.0 |
  1130. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testPropositionalDecompositionDisjPos | | 1.0 |
  1131. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | compound_decomposition_two_premises1 | | 1.0 |
  1132. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | compound_decomposition_two_premises1_simpler | | 1.0 |
  1133. NAL2Test | nars.nal.nal2 | structureTransformation3 | | 1.0 |
  1134. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | disjunction_impl_decompose_two_premises_neg | | 1.0 |
  1135. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_pred_decompose_conditional | | 1.0 |
  1136. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_predneg_decompose_conditional | | 1.0 |
  1137. NAL2Test | nars.nal.nal2 | testInstToNonSet | | 1.0 |
  1138. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_subj_decompose_conditional2b | | 1.0 |
  1139. NAL2Test | nars.nal.nal2 | testIntersectDiffUnionOfCommonSubterms | | 1.0 |
  1140. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_disjunction_pred_decompose_conditional | | 1.0 |
  1141. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_disjunction_pred_decompose_conditional2 | | 1.0 |
  1142. NAL2Test | nars.nal.nal2 | testIntersectDiffUnionOfCommonSubtermsPre | | 1.0 |
  1143. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | testDecomposeImplSubjConjQuestion | | 1.0 |
  1144. NAL2Test | nars.nal.nal2 | testPropToNonSet | | 1.0 |
  1145. NAL6MultistepTest | nars.nal.nal6 | testBurglarEarthquake1 | | 1.0 |
  1146. NAL6MultistepTest | nars.nal.nal6 | testBurglarEarthquake2 | | 1.0 |
  1147. NAL2Test | nars.nal.nal2 | testSetDecomposeNegativeExt | | 1.0 |
  1148. NAL2Test | nars.nal.nal2 | testSetDecomposeNegativeInt | | 1.0 |
  1149. NAL2Test | nars.nal.nal2 | testSetDecomposePositive | | 1.0 |
  1150. NAL2Test | nars.nal.nal2 | testUnion | | 1.0 |
  1151. NAL3ComposeTest | nars.nal.nal3 | compound_composition_two_premises | | 1.0 |
  1152. DecomposeTest$DisjBelief | nars.nal.nal8 | testDisjBeliefNeg | | 1.0 |
  1153. DecomposeTest$DisjBelief | nars.nal.nal8 | testDisjBeliefPos | | 1.0 |
  1154. DecomposeTest$DisjBelief | nars.nal.nal8 | testDisjBeliefPos2 | | 1.0 |
  1155. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [1] 0.0 | 1.0 |
  1156. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [2] 0.25 | 1.0 |
  1157. DecomposeTest$DisjBelief | nars.nal.nal8 | testDisjBeliefPosMix | | 1.0 |
  1158. NAL6Test | nars.nal.nal6 | deductionBeliefWithVariable | | 1.0 |
  1159. NAL6Test | nars.nal.nal6 | deductionBeliefWithVariableNeg | | 1.0 |
  1160. NAL6Test | nars.nal.nal6 | implVariableSubst | | 1.0 |
  1161. NAL6Test | nars.nal.nal6 | impliesUnbelievedYet | | 1.0 |
  1162. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjConditionalDecompose | | 1.0 |
  1163. NAL6Test | nars.nal.nal6 | multiple_variable_elimination2 | | 1.0 |
  1164. NAL6Test | nars.nal.nal6 | multiple_variable_elimination3 | | 1.0 |
  1165. NAL6Test | nars.nal.nal6 | multiple_variable_elimination4 | | 1.0 |
  1166. NAL6Test | nars.nal.nal6 | multiple_variables_introduction | | 1.0 |
  1167. NAL6Test | nars.nal.nal6 | multiple_variables_introduction2 | | 1.0 |
  1168. NAL6Test | nars.nal.nal6 | recursionSmall | | 1.0 |
  1169. NAL6Test | nars.nal.nal6 | recursionSmall1 | | 1.0 |
  1170. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjNeg | | 1.0 |
  1171. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | compound_decomposition_two_premises_Negative_DiffExtensional(float) | 1.0 |
  1172. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [1] 0.0 | 1.0 |
  1173. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [2] 0.25 | 1.0 |
  1174. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjNeg2 | | 1.0 |
  1175. NAL6Test | nars.nal.nal6 | second_variable_introduction_induction | | 1.0 |
  1176. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjNeg3 | | 1.0 |
  1177. NAL6Test | nars.nal.nal6 | strong_unification_dep_indep_post | | 1.0 |
  1178. NAL6Test | nars.nal.nal6 | strong_unification_dep_indep_pre | | 1.0 |
  1179. NAL6Test | nars.nal.nal6 | strong_unification_neg | | 1.0 |
  1180. NAL6Test | nars.nal.nal6 | strong_unification_pos | | 1.0 |
  1181. NAL6Test | nars.nal.nal6 | strong_unification_simple | | 1.0 |
  1182. NAL6Test | nars.nal.nal6 | strong_unification_simple2 | | 1.0 |
  1183. NAL6Test | nars.nal.nal6 | testConjunctionContradictionInduction | | 1.0 |
  1184. NAL6Test | nars.nal.nal6 | testDecomposeImplPredConjQuestion | | 1.0 |
  1185. NAL6Test | nars.nal.nal6 | testDecomposeImplPredDisjQuestion | | 1.0 |
  1186. AIMATests | nars.nal.nal5 | testAIMAExample | [4] 0.25 | 1.0 |
  1187. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | compound_decomposition_two_premises_Negative_DiffIntensional(float) | 1.0 |
  1188. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_union | | 1.0 |
  1189. NAL3DecomposeBeliefTest | nars.nal.nal3 | diff_compound_decomposition_single | | 1.0 |
  1190. NAL3DecomposeBeliefTest | nars.nal.nal3 | diff_compound_decomposition_single3_intersect | | 1.0 |
  1191. NAL6Test | nars.nal.nal6 | testImplPredQuestion | | 1.0 |
  1192. NAL3DecomposeBeliefTest | nars.nal.nal3 | diff_compound_decomposition_single3_union | | 1.0 |
  1193. NAL6Test | nars.nal.nal6 | testImplPredQuestionUnify | | 1.0 |
  1194. NAL6Test | nars.nal.nal6 | testImplSubjNegQuestion | | 1.0 |
  1195. BooleanTest | nars.nal.nal5 | testConditionalImplication | | 1.0 |
  1196. NAL6Test | nars.nal.nal6 | testImplSubjQuestion | | 1.0 |
  1197. NAL3DecomposeBeliefTest | nars.nal.nal3 | questionDecomposition0 | [1] || | 1.0 |
  1198. NAL3DecomposeBeliefTest | nars.nal.nal3 | questionDecomposition0 | [2] && | 1.0 |
  1199. NAL6Test | nars.nal.nal6 | testMutexBelief | | 1.0 |
  1200. NAL3DecomposeBeliefTest | nars.nal.nal3 | questionDecomposition0 | questionDecomposition0(String) | 1.0 |
  1201. NAL6Test | nars.nal.nal6 | testMutexConjBeliefInduction2 | | 1.0 |
  1202. NAL3DecomposeBeliefTest | nars.nal.nal3 | sect_compound_decomposition_single2 | | 1.0 |
  1203. NAL6Test | nars.nal.nal6 | testSimpleIndepUnification | | 1.0 |
  1204. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_IntersectExt | | 1.0 |
  1205. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Intersect_3_2 | | 1.0 |
  1206. AIMATests | nars.nal.nal5 | testAIMAExample | [2] 0.05 | 1.0 |
  1207. AIMATests | nars.nal.nal5 | testAIMAExample | testAIMAExample(double) | 1.0 |
  1208. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_Goal_neg_decompose_neg | | 1.0 |
  1209. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Union_3_2 | | 1.0 |
  1210. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDecomposeWTF | | 1.0 |
  1211. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDifferenceQuest | | 1.0 |
  1212. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDifferenceQuestion | | 1.0 |
  1213. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_Goal_neg_decompose_pos | | 1.0 |
  1214. NAL6Test | nars.nal.nal6 | variable_elimination_impl_fwd_neg_pos | | 1.0 |
  1215. NAL6Test | nars.nal.nal6 | variable_elimination_impl_fwd_pos_neg | | 1.0 |
  1216. NAL6Test | nars.nal.nal6 | variable_elimination_impl_fwd_pos_pos | | 1.0 |
  1217. NAL6Test | nars.nal.nal6 | variable_elimination_impl_rev | | 1.0 |
  1218. NAL6Test | nars.nal.nal6 | variable_introduction | | 1.0 |
  1219. NAL6Test | nars.nal.nal6 | variable_introduction2 | | 1.0 |
  1220. NAL6Test | nars.nal.nal6 | variable_introduction_with_existing_vars | | 1.0 |
  1221. NAL6Test | nars.nal.nal6 | variable_introduction_with_existing_vars2 | | 1.0 |
  1222. NAL6Test | nars.nal.nal6 | variable_unification2 | | 1.0 |
  1223. NAL6Test | nars.nal.nal6 | variable_unification3 | | 1.0 |
  1224. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjoint2_ext | | 1.0 |
  1225. NAL6Test | nars.nal.nal6 | variable_unification5 | | 1.0 |
  1226. NAL6Test | nars.nal.nal6 | variable_unification5_neg | | 1.0 |
  1227. NAL6Test | nars.nal.nal6 | variable_unification6 | | 1.0 |
  1228. NAL6Test | nars.nal.nal6 | variable_unification7 | | 1.0 |
  1229. NAL6Test | nars.nal.nal6 | variable_unification7_neg | | 1.0 |
  1230. NAL6Test | nars.nal.nal6 | variable_unification_revision | | 1.0 |
  1231. NAL6Test | nars.nal.nal6 | variables_introduction | | 1.0 |
  1232. NAL7ImplTruthProjectionTest | nars.nal.nal7 | test1 | | 1.0 |
  1233. NAL7RealtimeTest | nars.nal.nal7 | test1 | | 1.0 |
  1234. NAL7RealtimeTest | nars.nal.nal7 | test2 | | 1.0 |
  1235. NAL7Test | nars.nal.nal7 | abduction_on_events_with_variable_introduction | | 1.0 |
  1236. NAL7Test | nars.nal.nal7 | conjuction_on_events_with_variable_introduction | | 1.0 |
  1237. NAL7Test | nars.nal.nal7 | conjuction_on_events_with_variable_introduction_pos_neg | | 1.0 |
  1238. NAL7Test | nars.nal.nal7 | decomposeConjunctionDTERNAL | | 1.0 |
  1239. NAL7Test | nars.nal.nal7 | induction_on_events2 | | 1.0 |
  1240. NAL7Test | nars.nal.nal7 | induction_on_events3 | | 1.0 |
  1241. NAL7Test | nars.nal.nal7 | induction_on_events3_simple | | 1.0 |
  1242. NAL7Test | nars.nal.nal7 | induction_on_events_0 | | 1.0 |
  1243. NAL7Test | nars.nal.nal7 | induction_on_events_0_neg | | 1.0 |
  1244. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjoint2_int | | 1.0 |
  1245. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjoint3 | | 1.0 |
  1246. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjointWithVarNeg | | 1.0 |
  1247. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | [1] 0 | 1.0 |
  1248. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | [2] 1 | 1.0 |
  1249. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | [3] 2 | 1.0 |
  1250. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | [4] 3 | 1.0 |
  1251. NAL7Test | nars.nal.nal7 | induction_on_events_composition_post | induction_on_events_composition_post(int) | 1.0 |
  1252. NAL7Test | nars.nal.nal7 | induction_on_events_composition_pre | | 1.0 |
  1253. NAL7Test | nars.nal.nal7 | induction_on_events_conj_pos_neg | | 1.0 |
  1254. NAL7Test | nars.nal.nal7 | induction_on_events_neg2 | | 1.0 |
  1255. NAL7Test | nars.nal.nal7 | induction_on_events_neg_neg | | 1.0 |
  1256. NAL7Test | nars.nal.nal7 | induction_on_events_neg_pos | | 1.0 |
  1257. NAL7Test | nars.nal.nal7 | induction_on_events_pos_neg | | 1.0 |
  1258. NAL7Test | nars.nal.nal7 | induction_on_events_with_variable_introduction | | 1.0 |
  1259. NAL7Test | nars.nal.nal7 | inference_on_tense | | 1.0 |
  1260. NAL7Test | nars.nal.nal7 | inference_on_tense_3 | | 1.0 |
  1261. NAL7Test | nars.nal.nal7 | inference_on_tense_4 | | 1.0 |
  1262. NAL7Test | nars.nal.nal7 | inference_on_tense_reverse | | 1.0 |
  1263. NAL7Test | nars.nal.nal7 | inference_on_tense_reverse_novar | | 1.0 |
  1264. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjointWithVarPos | | 1.0 |
  1265. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_pred_neg_neg | | 1.0 |
  1266. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_pred_neg_pos | | 1.0 |
  1267. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPost | multiConditionSyllogismPost(String) | 1.0 |
  1268. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_Goal_pos_decompose_neg | | 1.0 |
  1269. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_Goal_pos_decompose_pos | | 1.0 |
  1270. NAL7Test | nars.nal.nal7 | nal5_conditional_induction0Simple | | 1.0 |
  1271. NAL7Test | nars.nal.nal7 | occtestShiftWorkingRight | | 1.0 |
  1272. NAL7Test | nars.nal.nal7 | occtestShiftWorkingRight2 | | 1.0 |
  1273. NAL7Test | nars.nal.nal7 | preconImplyConjPost | | 1.0 |
  1274. NAL7Test | nars.nal.nal7 | preconImplyConjPost2 | | 1.0 |
  1275. NAL7Test | nars.nal.nal7 | preconImplyConjPostB | | 1.0 |
  1276. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_NegBelief_NegToBC | | 1.0 |
  1277. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_union | | 1.0 |
  1278. NAL3DecomposeGoalTest | nars.nal.nal3 | pred_intersectionConditionalDecomposeGoalNeg | | 1.0 |
  1279. NAL7Test | nars.nal.nal7 | temporal_deduction | | 1.0 |
  1280. NAL7Test | nars.nal.nal7 | temporal_explification | | 1.0 |
  1281. NAL7Test | nars.nal.nal7 | temporal_induction_comparison | | 1.0 |
  1282. NAL7Test | nars.nal.nal7 | testBeliefShiftTiming | | 1.0 |
  1283. NAL7Test | nars.nal.nal7 | testBminT | | 1.0 |
  1284. NAL7Test | nars.nal.nal7 | testComparison1_Eternal | | 1.0 |
  1285. NAL7Test | nars.nal.nal7 | testComparison2 | | 1.0 |
  1286. NAL7Test | nars.nal.nal7 | testConjDecomposeAGAIN | | 1.0 |
  1287. NAL7Test | nars.nal.nal7 | testConjDecomposeGoalPar | | 1.0 |
  1288. NAL7Test | nars.nal.nal7 | testConjDecomposeParallelBelief | | 1.0 |
  1289. NAL3DecomposeGoalTest | nars.nal.nal3 | pred_intersectionConditionalDecomposeGoalNeg_Weaker | | 1.0 |
  1290. NAL3DecomposeGoalTest | nars.nal.nal3 | subj_intersectionConditionalDecomposeGoalNeg | | 1.0 |
  1291. NAL7Test | nars.nal.nal7 | testConjInductionEternalTemporal | | 1.0 |
  1292. NAL7Test | nars.nal.nal7 | testConjSubsetDecomposition | | 1.0 |
  1293. NAL7Test | nars.nal.nal7 | testDTTMinB | | 1.0 |
  1294. NAL7Test | nars.nal.nal7 | testDTTaskEnd | | 1.0 |
  1295. NAL3DecomposeGoalTest | nars.nal.nal3 | subj_intersectionConditionalDecomposeGoalNeg_Weaker | | 1.0 |
  1296. NAL3DecomposeGoalTest | nars.nal.nal3 | testDiffGoal1Pos1st | | 1.0 |
  1297. NAL3DecomposeGoalTest | nars.nal.nal3 | testDiffGoal1SemiPos1st | | 1.0 |
  1298. NAL7Test | nars.nal.nal7 | testDecomposeConjunctionTemporal | | 1.0 |
  1299. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionConditionalDecomposeGoalPos | | 1.0 |
  1300. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionConditionalDecomposeGoalPosNeg | | 1.0 |
  1301. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionPosIntersectionPredGoalSinglePremiseDecompose | | 1.0 |
  1302. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionPosIntersectionSubGoalSinglePremiseDecompose | | 1.0 |
  1303. NAL7Test | nars.nal.nal7 | testDecomposeTaskDontDecomposeNonEvent | | 1.0 |
  1304. NAL7Test | nars.nal.nal7 | testDecomposeTaskDontDecomposeNonEventNeg | | 1.0 |
  1305. NAL7Test | nars.nal.nal7 | testDecomposeTaskSubset | | 1.0 |
  1306. NAL3DecomposeGoalTest | nars.nal.nal3 | testIntersectionSinglePremiseDecomposeGoal1Pos | | 1.0 |
  1307. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_NegBelief_NegToBC_AB_only | | 1.0 |
  1308. NAL3DecomposeGoalTest | nars.nal.nal3 | testMutexDiffGoal1Neg | | 1.0 |
  1309. NAL7Test | nars.nal.nal7 | testDurationOfInductedImplication | | 1.0 |
  1310. NAL7Test | nars.nal.nal7 | testDurationOfInductedImplicationLimited | | 1.0 |
  1311. NAL7Test | nars.nal.nal7 | testEternalImplicationDecompositionIsntEternal | | 1.0 |
  1312. NAL7Test | nars.nal.nal7 | testEternalImplicationDecompositionWithConj | | 1.0 |
  1313. NAL3DecomposeGoalTest | nars.nal.nal3 | testNegIntersectionBeliefSinglePremiseDecompose | | 1.0 |
  1314. NAL3DecomposeGoalTest | nars.nal.nal3 | testNegIntersectionGoalSinglePremiseDecompose | | 1.0 |
  1315. NAL7Test | nars.nal.nal7 | testImplicationDecompositionContradictionFairness | | 1.0 |
  1316. NAL3DecomposeGoalTest | nars.nal.nal3 | testNegUnionBeliefSinglePremiseDecompose | | 1.0 |
  1317. NAL7Test | nars.nal.nal7 | testInductionInterval | | 1.0 |
  1318. NAL7Test | nars.nal.nal7 | testInductionInterval2 | | 1.0 |
  1319. NAL3DecomposeGoalTest | nars.nal.nal3 | testNegUnionGoalSinglePremiseDecompose | | 1.0 |
  1320. NAL3DecomposeGoalTest | nars.nal.nal3 | testPredUnionConditionalDecomposeGoalPosNeg | | 1.0 |
  1321. NAL7Test | nars.nal.nal7 | testInductionIntervalMerge3 | | 1.0 |
  1322. NAL7Test | nars.nal.nal7 | testInductionIntervalMerge3Neg | | 1.0 |
  1323. NAL7Test | nars.nal.nal7 | testIntersectionTemporalFar | | 1.0 |
  1324. NAL7Test | nars.nal.nal7 | testPostConditionCombine | | 1.0 |
  1325. NAL3DecomposeGoalTest | nars.nal.nal3 | testSubjUnionConditionalDecomposeGoalPosNeg | | 1.0 |
  1326. NAL3DecomposeGoalTest | nars.nal.nal3 | testUnionSinglePremiseDecomposeGoal1Pos | | 1.0 |
  1327. NAL3GoalTest | nars.nal.nal3 | intersectionGoalDecomposition | | 1.0 |
  1328. NAL3GoalTest | nars.nal.nal3 | intersectionGoalDecomposition2 | | 1.0 |
  1329. NAL3GoalTest | nars.nal.nal3 | testDifference | | 1.0 |
  1330. NAL7Test | nars.nal.nal7 | testPropositionalDecompositionPositive | | 1.0 |
  1331. NAL7Test | nars.nal.nal7 | testSameDamnConjunction | | 1.0 |
  1332. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_NegBelief_NegToB_NegToC | | 1.0 |
  1333. NAL7Test | nars.nal.nal7 | testShiftPlusDontEraseDT | | 1.0 |
  1334. NAL7Test | nars.nal.nal7 | testSum | | 1.0 |
  1335. NAL7Test | nars.nal.nal7 | testSumNeg | | 1.0 |
  1336. NAL7Test | nars.nal.nal7 | testTemporalConjunctionWithDepVarIntroduction | | 1.0 |
  1337. NAL7Test | nars.nal.nal7 | testTemporalImplicationDecompositionIsntEternal | | 1.0 |
  1338. NAL7Test | nars.nal.nal7 | testTminB | | 1.0 |
  1339. NAL7Test | nars.nal.nal7 | testWTFDontDecomposeConjunction | | 1.0 |
  1340. NAL7Test | nars.nal.nal7 | updating_and_revision | | 1.0 |
  1341. NAL7Test | nars.nal.nal7 | updating_and_revision2 | | 1.0 |
  1342. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_NegBelief_ToBC | | 1.0 |
  1343. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_PosBelief_ToBC | | 1.0 |
  1344. NAL7Test | nars.nal.nal7 | variable_introduction_on_events | | 1.0 |
  1345. NAL7Test | nars.nal.nal7 | variable_introduction_on_events_with_negation | | 1.0 |
  1346. NAL8EternalMixTest | nars.nal.nal8 | belief_deduction_by_condition | | 1.0 |
  1347. NAL8EternalMixTest | nars.nal.nal8 | condition_belief_deduction_2 | | 1.0 |
  1348. NAL8EternalMixTest | nars.nal.nal8 | condition_belief_deduction_2_easier | | 1.0 |
  1349. NAL8EternalMixTest | nars.nal.nal8 | condition_belief_deduction_2_neg | | 1.0 |
  1350. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deduction2 | | 1.0 |
  1351. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deductionEternal | | 1.0 |
  1352. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deduction_3simplerReverse | | 1.0 |
  1353. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deduction_eternal_belief | | 1.0 |
  1354. NAL8EternalMixTest | nars.nal.nal8 | condition_goal_deduction_interval | | 1.0 |
  1355. NAL8EternalMixTest | nars.nal.nal8 | conditional_abduction_temporal_vs_eternal | | 1.0 |
  1356. NAL8EternalMixTest | nars.nal.nal8 | ded_with_indep_var_temporal | | 1.0 |
  1357. NAL8EternalMixTest | nars.nal.nal8 | ded_with_var_temporal2 | | 1.0 |
  1358. NAL8EternalMixTest | nars.nal.nal8 | deriveNegInhGoalTemporal | | 1.0 |
  1359. ImplicationNetworkTest | nars.nal.nal8 | testEternal_A_PosGoal_ToBC | | 1.0 |
  1360. ImplicationTest | nars.nal.nal8 | testBelief | | 1.0 |
  1361. NAL8EternalMixTest | nars.nal.nal8 | further_detachment | | 1.0 |
  1362. ImplicationTest | nars.nal.nal8 | testGoal | | 1.0 |
  1363. NAL8EternalMixTest | nars.nal.nal8 | goal_ded_2 | | 1.0 |
  1364. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_2 | | 1.0 |
  1365. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_delayed_impl | | 1.0 |
  1366. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_impl | | 1.0 |
  1367. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_impl_after | | 1.0 |
  1368. NAL8EternalMixTest | nars.nal.nal8 | goal_deduction_tensed_conseq | | 1.0 |
  1369. AIMATests | nars.nal.nal5 | testAIMAExample | [1] 0.01 | 0.0 |
  1370. AIMATests | nars.nal.nal5 | testAIMAExample | [3] 0.1 | 0.0 |
  1371. AIMATests | nars.nal.nal5 | testAIMAExample | [5] 0.5 | 0.0 |
  1372. AIMATests | nars.nal.nal5 | testWeaponsDomain | | 0.0 |
  1373. BooleanTest | nars.nal.nal5 | testSAT2Individual00 | | 0.0 |
  1374. BooleanTest | nars.nal.nal5 | testSAT2Individual01 | | 0.0 |
  1375. DecomposeTest$DisjGoal | nars.nal.nal8 | testDisjOpposite | | 0.0 |
  1376. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_BeliefNegPos | | 0.0 |
  1377. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_BeliefPosNeg | | 0.0 |
  1378. DecomposeTest$DoublePremiseDecompose | nars.nal.nal8 | decompose_Conj_BeliefPosPos | | 0.0 |
  1379. NAL1GoalTest | nars.nal.nal1 | deductionPositiveGoalNegativeBelief | | 0.0 |
  1380. NAL1GoalTest | nars.nal.nal1 | questFromExtensionalSiblingGoal | | 0.0 |
  1381. NAL1MultistepTest | nars.nal.nal1 | multistepInh4 | | 0.0 |
  1382. NAL1Test | nars.nal.nal1 | abduction | | 0.0 |
  1383. NAL1Test | nars.nal.nal1 | comparison | | 0.0 |
  1384. NAL1Test | nars.nal.nal1 | comparison2 | | 0.0 |
  1385. NAL2Test | nars.nal.nal2 | set_operations | | 0.0 |
  1386. NAL3ComposeTest | nars.nal.nal3 | compound_composition_two_premises2 | | 0.0 |
  1387. NAL3ComposeTest | nars.nal.nal3 | intersectionComposition | | 0.0 |
  1388. NAL3ComposeTest | nars.nal.nal3 | intersectionCompositionWrappedInProd | | 0.0 |
  1389. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [3] 0.5 | 0.0 |
  1390. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [4] 0.75 | 0.0 |
  1391. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffExtensional | [5] 0.9 | 0.0 |
  1392. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [3] 0.5 | 0.0 |
  1393. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [4] 0.75 | 0.0 |
  1394. NAL3DecomposeBeliefTest | nars.nal.nal3 | compound_decomposition_two_premises_Negative_DiffIntensional | [5] 0.9 | 0.0 |
  1395. NAL3DecomposeBeliefTest | nars.nal.nal3 | questPropagation | | 0.0 |
  1396. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Intersect_3_2_neg | | 0.0 |
  1397. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Union | | 0.0 |
  1398. NAL3DecomposeBeliefTest | nars.nal.nal3 | testArity1_Decomposition_Union2 | | 0.0 |
  1399. NAL3DecomposeBeliefTest | nars.nal.nal3 | testDisjoint2Learned | | 0.0 |
  1400. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_pred_pos_neg | | 0.0 |
  1401. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_pred_pos_pos | | 0.0 |
  1402. NAL3DecomposeGoalTest | nars.nal.nal3 | goal_decomposition_1_intersection_subj | | 0.0 |
  1403. NAL3DecomposeGoalTest | nars.nal.nal3 | testMutexAbduction | | 0.0 |
  1404. NAL3GoalTest | nars.nal.nal3 | testNoDifference | | 0.0 |
  1405. NAL4MultistepTest | nars.nal.nal4 | nal4_everyday_reasoning | | 0.0 |
  1406. NAL4MultistepTest | nars.nal.nal4 | nal4_everyday_reasoning_easier | | 0.0 |
  1407. NAL4MultistepTest | nars.nal.nal4 | nal4_everyday_reasoning_easiest | | 0.0 |
  1408. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2 | [1] --> | 0.0 |
  1409. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2 | [2] <-> | 0.0 |
  1410. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2_alternating_position | | 0.0 |
  1411. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_2_neg | | 0.0 |
  1412. NAL4Test | nars.nal.nal4 | composition_on_both_sides_of_a_statement_3 | | 0.0 |
  1413. NAL4Test | nars.nal.nal4 | concludeImageIntInheritImageExt | | 0.0 |
  1414. NAL4Test | nars.nal.nal4 | one_element_unwrap | | 0.0 |
  1415. NAL4Test | nars.nal.nal4 | one_element_wrap | | 0.0 |
  1416. NAL4Test | nars.nal.nal4 | structural_transformation6 | | 0.0 |
  1417. NAL4Test | nars.nal.nal4 | structural_transformationExt_reverse | | 0.0 |
  1418. NAL4Test | nars.nal.nal4 | structural_transformationInt_neg_focus | | 0.0 |
  1419. NAL4Test | nars.nal.nal4 | structural_transformationInt_reverse | | 0.0 |
  1420. NAL4Test | nars.nal.nal4 | testNormalize1 | | 0.0 |
  1421. NAL4Test | nars.nal.nal4 | testNormalize2 | | 0.0 |
  1422. NAL5Test | nars.nal.nal5 | compound_composition_Subj | | 0.0 |
  1423. NAL5Test | nars.nal.nal5 | compound_composition_SubjNeg | | 0.0 |
  1424. NAL5Test | nars.nal.nal5 | compound_composition_SubjNeg_simple | | 0.0 |
  1425. NAL5Test | nars.nal.nal5 | compound_composition_Subj_simple | | 0.0 |
  1426. NAL5Test | nars.nal.nal5 | conditional_abduction2 | | 0.0 |
  1427. NAL5Test | nars.nal.nal5 | conditional_abduction2_depvar | | 0.0 |
  1428. NAL5Test | nars.nal.nal5 | conditional_abduction2_depvar_2 | | 0.0 |
  1429. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogism | | 0.0 |
  1430. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple_NegPredicate | | 0.0 |
  1431. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple_NegSubCondition_Other | | 0.0 |
  1432. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogismSimple_NegSubCondition_The | | 0.0 |
  1433. NAL5Test | nars.nal.nal5 | conditional_abduction_viaMultiConditionalSyllogism_simple | | 0.0 |
  1434. NAL5Test | nars.nal.nal5 | conditional_antiAbduction_viaMultiConditionalSyllogism_simple_a | | 0.0 |
  1435. NAL5Test | nars.nal.nal5 | conditional_antiAbduction_viaMultiConditionalSyllogism_simple_b | | 0.0 |
  1436. NAL5Test | nars.nal.nal5 | conditional_deduction | | 0.0 |
  1437. NAL5Test | nars.nal.nal5 | conditional_deduction2 | | 0.0 |
  1438. NAL5Test | nars.nal.nal5 | conditional_deduction_neg | | 0.0 |
  1439. NAL5Test | nars.nal.nal5 | conditional_deduction_neg_simple | | 0.0 |
  1440. NAL5Test | nars.nal.nal5 | conditional_deduction_simple | | 0.0 |
  1441. NAL5Test | nars.nal.nal5 | conditional_deduction_unification | | 0.0 |
  1442. NAL5Test | nars.nal.nal5 | conjPreconditionDecompositionToImpl_BackChaining_Question_neg | | 0.0 |
  1443. NAL5Test | nars.nal.nal5 | contraposition | | 0.0 |
  1444. NAL5Test | nars.nal.nal5 | contrapositionNeg | | 0.0 |
  1445. NAL5Test | nars.nal.nal5 | contrapositionPos | | 0.0 |
  1446. NAL5Test | nars.nal.nal5 | depVarUniqueness | | 0.0 |
  1447. NAL5Test | nars.nal.nal5 | detachment2 | | 0.0 |
  1448. NAL5Test | nars.nal.nal5 | testAnonymousDeduction | | 0.0 |
  1449. NAL5Test | nars.nal.nal5 | testAnonymousDeductionNeg | | 0.0 |
  1450. NAL5Test | nars.nal.nal5 | testConversion | | 0.0 |
  1451. NAL5Test | nars.nal.nal5 | testConversionNeg | | 0.0 |
  1452. NAL5Test | nars.nal.nal5 | testConversionNeg3 | | 0.0 |
  1453. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplPredDisjBelief_pos_pos | | 0.0 |
  1454. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplSubj1Conj | | 0.0 |
  1455. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplSubj1Disj | | 0.0 |
  1456. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplSubj1Disj_neg_pos | | 0.0 |
  1457. NAL6DecomposeTest$Impl_SinglePremise | nars.nal.nal6 | testDecomposeImplsubjNeg | | 0.0 |
  1458. NAL6DecomposeTest$SinglePremiseConjPred | nars.nal.nal6 | testDecomposeImplPred1b | | 0.0 |
  1459. NAL6DecomposeTest$SinglePremiseConjPred | nars.nal.nal6 | testDecomposeImplPred2 | | 0.0 |
  1460. NAL6DecomposeTest$Unsorted | nars.nal.nal6 | testDecomposeConjNeg3 | | 0.0 |
  1461. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | disjunction_impl_decompose_two_premises3 | | 0.0 |
  1462. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_subj_conj_decompose_conditional_neg | | 0.0 |
  1463. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_conjunction_subj_intersection_decompose_conditional_neg | | 0.0 |
  1464. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | impl_disjunction_subj_decompose_conditional | | 0.0 |
  1465. NAL6DecomposeTest$Unsorted_ImplSubjPred | nars.nal.nal6 | testDecomposeImplSubjDisjQuestion | | 0.0 |
  1466. NAL6Test | nars.nal.nal6 | GoalMatchPredOfImplWithVariable | | 0.0 |
  1467. NAL6Test | nars.nal.nal6 | GoalMatchSubjOfImplWithVariable | | 0.0 |
  1468. NAL6Test | nars.nal.nal6 | GoalMatchSubjOfImplWithVariableNeg | | 0.0 |
  1469. NAL6Test | nars.nal.nal6 | abductionBeliefOffCenteredPositiveNegativeButNotTotalFail | | 0.0 |
  1470. NAL6Test | nars.nal.nal6 | abductionBeliefWeakNegativesButNotNegative | | 0.0 |
  1471. NAL6Test | nars.nal.nal6 | abductionBeliefWeakPositivesButNotNegative | | 0.0 |
  1472. NAL6Test | nars.nal.nal6 | abduction_neg_without_variable_elimination | | 0.0 |
  1473. NAL6Test | nars.nal.nal6 | abduction_positive_negative_mix_depolarized | | 0.0 |
  1474. NAL6Test | nars.nal.nal6 | abduction_with_variable_elimination | | 0.0 |
  1475. NAL6Test | nars.nal.nal6 | abduction_with_variable_elimination_negated | | 0.0 |
  1476. NAL6Test | nars.nal.nal6 | abduction_without_variable_elimination | | 0.0 |
  1477. NAL6Test | nars.nal.nal6 | multiple_variable_elimination | | 0.0 |
  1478. NAL6Test | nars.nal.nal6 | second_level_variable_unification | | 0.0 |
  1479. NAL6Test | nars.nal.nal6 | second_level_variable_unification2 | | 0.0 |
  1480. NAL6Test | nars.nal.nal6 | second_level_variable_unificationNoImgAndAsPrecondition | | 0.0 |
  1481. NAL6Test | nars.nal.nal6 | second_level_variable_unificationNoImgAndAsPreconditionAllIndep | | 0.0 |
  1482. NAL6Test | nars.nal.nal6 | second_level_variable_unification_neg | | 0.0 |
  1483. NAL6Test | nars.nal.nal6 | strong_elimination | | 0.0 |
  1484. NAL6Test | nars.nal.nal6 | testHypothesizeSubconditionIdentityConj | | 0.0 |
  1485. NAL6Test | nars.nal.nal6 | testHypothesizeSubconditionIdentityPost | | 0.0 |
  1486. NAL6Test | nars.nal.nal6 | testHypothesizeSubconditionIdentityPre | | 0.0 |
  1487. NAL6Test | nars.nal.nal6 | testHypothesizeSubconditionNeg_Conj_ShortCircuit | | 0.0 |
  1488. NAL6Test | nars.nal.nal6 | testImplPredQuest | | 0.0 |
  1489. NAL6Test | nars.nal.nal6 | testImplPredQuestionUnification | | 0.0 |
  1490. NAL6Test | nars.nal.nal6 | testImplSubjNegQuestionUnificationConst | | 0.0 |
  1491. NAL6Test | nars.nal.nal6 | testImplSubjQuestionUnificationConst | | 0.0 |
  1492. NAL6Test | nars.nal.nal6 | testImplSubjQuestionUnificationQuery | | 0.0 |
  1493. NAL6Test | nars.nal.nal6 | testMutexConjBeliefInduction | | 0.0 |
  1494. NAL6Test | nars.nal.nal6 | testMutexDissociation | | 0.0 |
  1495. NAL6Test | nars.nal.nal6 | variable_elimination5 | | 0.0 |
  1496. NAL6Test | nars.nal.nal6 | variable_elimination5_neg | | 0.0 |
  1497. NAL6Test | nars.nal.nal6 | variable_elimination6 | | 0.0 |
  1498. NAL6Test | nars.nal.nal6 | variable_elimination6_easier | | 0.0 |
  1499. NAL6Test | nars.nal.nal6 | variable_elimination6simpler | | 0.0 |
  1500. NAL6Test | nars.nal.nal6 | variable_elimination6simplerReverse | | 0.0 |
  1501. NAL6Test | nars.nal.nal6 | variable_elimination_conj | | 0.0 |
  1502. NAL6Test | nars.nal.nal6 | variable_elimination_deduction | | 0.0 |
  1503. NAL6Test | nars.nal.nal6 | variable_elimination_deduction_neg_conc | | 0.0 |
  1504. NAL6Test | nars.nal.nal6 | variable_elimination_deduction_neg_condition | | 0.0 |
  1505. NAL6Test | nars.nal.nal6 | variable_unification4 | | 0.0 |
  1506. NAL7Test | nars.nal.nal7 | induction_on_events_composition1 | | 0.0 |
  1507. NAL7Test | nars.nal.nal7 | induction_on_events_composition2 | | 0.0 |
  1508. NAL7Test | nars.nal.nal7 | induction_on_events_composition3 | | 0.0 |
  1509. NAL7Test | nars.nal.nal7 | intervalPreserve_and_shift_occurence | | 0.0 |
  1510. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPost | [1] | 0.0 |
  1511. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPost | [2] | | 0.0 |
  1512. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPre | | 0.0 |
  1513. NAL7Test | nars.nal.nal7 | multiConditionSyllogismPrePre | | 0.0 |
  1514. NAL7Test | nars.nal.nal7 | preconImplyConjPre | | 0.0 |
  1515. NAL7Test | nars.nal.nal7 | temporalAnalogyNonIntersecting | | 0.0 |
  1516. NAL7Test | nars.nal.nal7 | temporal_analogy | | 0.0 |
  1517. NAL7Test | nars.nal.nal7 | testConjDecomposeShift | | 0.0 |
  1518. NAL7Test | nars.nal.nal7 | testConjDecomposeWrongDirection | | 0.0 |
  1519. NAL7Test | nars.nal.nal7 | testDecomposeConjunctionEmbedded | | 0.0 |
  1520. NAL7Test | nars.nal.nal7 | testDecomposeConjunctionEmbedded2 | | 0.0 |
  1521. NAL7Test | nars.nal.nal7 | testDecomposeConjunctionEmbeddedInnerCommute | | 0.0 |
  1522. NAL7Test | nars.nal.nal7 | testDecomposeImplPredNoVar | | 0.0 |
  1523. NAL7Test | nars.nal.nal7 | testDecomposeImplPredSimpler | | 0.0 |
  1524. NAL7Test | nars.nal.nal7 | testDecomposeImplPred_ParallelConj_with_DepVar | | 0.0 |
  1525. NAL7Test | nars.nal.nal7 | testDecomposeImplPred_ParallelConj_with_InDepVar | | 0.0 |
  1526. NAL7Test | nars.nal.nal7 | testDropAnyEventSimple2a | | 0.0 |
  1527. NAL7Test | nars.nal.nal7 | testDropAnyEventSimple2ba | | 0.0 |
  1528. NAL7Test | nars.nal.nal7 | testDropAnyEventSimple2bb | | 0.0 |
  1529. NAL7Test | nars.nal.nal7 | testForwardImplChainDTUnion | | 0.0 |
  1530. NAL7Test | nars.nal.nal7 | testImplInductionEternalTemporal | | 0.0 |
  1531. NAL7Test | nars.nal.nal7 | testInduct3Events | | 0.0 |
  1532. NAL7Test | nars.nal.nal7 | testInductionIntervalMerge1 | | 0.0 |
  1533. NAL7Test | nars.nal.nal7 | testInductionIntervalMerge2 | | 0.0 |
  1534. NAL7Test | nars.nal.nal7 | testPreConditionCombine | | 0.0 |
  1535. NAL7Test | nars.nal.nal7 | testPreconditionCombineNeg | | 0.0 |
  1536. NAL7Test | nars.nal.nal7 | testPreconditionCombineVarying | | 0.0 |
  1537. NAL7Test | nars.nal.nal7 | testPreconditionCombineVaryingNeg | | 0.0 |
  1538. NAL7Test | nars.nal.nal7 | testProjectedQuestion | | 0.0 |
  1539. NAL7Test | nars.nal.nal7 | testShiftPlus | | 0.0 |
  1540. NAL7Test | nars.nal.nal7 | variable_elimination_on_temporal_statements | | 0.0 |
  1541. NAL7Test | nars.nal.nal7 | variable_elimination_on_temporal_statements_simpler | | 0.0 |
  1542. NAL8EternalMixTest | nars.nal.nal8 | detaching_condition | | 0.0 |
  1543. NAL8EternalMixTest | nars.nal.nal8 | detaching_condition0 | | 0.0 |
  1544. NAL8EternalMixTest | nars.nal.nal8 | further_detachment_2 | | 0.0 |
  1545. NAL8EternalMixTest | nars.nal.nal8 | subsent_1 | | 0.0 |
  1546. NAL8EternalMixTest | nars.nal.nal8 | temporal_deduction_2 | | 0.0 |
  1547. NAL8EternalMixTest | nars.nal.nal8 | testGoalImplComponentTemporal | | 0.0 |
  1548. NAL8EternalMixTest | nars.nal.nal8 | testPredictiveImplicationEternalTemporal | | 0.0 |
  1549. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_MidSequenceDTernalComponentWithUnification2 | | 0.0 |
  1550. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_MidSequence_Disj | | 0.0 |
  1551. NAL8SequenceTest | nars.nal.nal8 | testGoalDeduction_ParallelWithDepVar_and_Specific_Arithmetic | | 0.0 |
  1552. NAL8Test | nars.nal.nal8 | condition_belief_deduction_2_entire_variable | | 0.0 |
  1553. NAL8Test | nars.nal.nal8 | condition_goal_deduction_2_neg_conj | | 0.0 |
  1554. NAL8Test | nars.nal.nal8 | firstGoalConjunctionEvent | | 0.0 |
  1555. NAL8Test | nars.nal.nal8 | implDecomposeGoalBeforeTemporalSameTerm | | 0.0 |
  1556. NAL8Test | nars.nal.nal8 | subbelief_2 | | 0.0 |
  1557. NAL8Test | nars.nal.nal8 | subbelief_2easy | | 0.0 |
  1558. NAL8Test | nars.nal.nal8 | subbelief_2medium | | 0.0 |
  1559. NAL8Test | nars.nal.nal8 | subgoal_2_inner_dt | | 0.0 |
  1560. NAL8Test | nars.nal.nal8 | subsent_1_even_simpler_simplerBeliefTemporal | | 0.0 |
  1561. NAL8Test | nars.nal.nal8 | subsent_1_even_simpler_simplerGoalTemporal | | 0.0 |
  1562. NAL8Test | nars.nal.nal8 | testConditionalGoalConjunctionDecomposeNegativeGoal | | 0.0 |
  1563. NAL8Test | nars.nal.nal8 | testConditionalGoalConjunctionDecomposePositiveGoalNegativeBeliefSubterm | | 0.0 |
  1564. NAL8Test | nars.nal.nal8 | testConditionalGoalConjunctionDecomposePositivePostconditionGoal | | 0.0 |
  1565. NAL8Test | nars.nal.nal8 | testConjResultGoal | | 0.0 |
  1566. NAL8Test | nars.nal.nal8 | testCorrectGoalOccAndDuration | | 0.0 |
  1567. NAL8Test | nars.nal.nal8 | testGoalBeliefDecomposeTimeRangingDiffer | | 0.0 |
  1568. NAL8Test | nars.nal.nal8 | testPredictiveImplicationTemporalTemporal | | 0.0 |
  1569. QuestionTest | nars.nal.nal1 | questionDrivesInference | | 0.0 |
  1570. QuestionTest | nars.nal.nal1 | testDepVarInIndepImpl3 | | 0.0 |
  1571. QuestionTest | nars.nal.nal1 | testTemporalExact | | 0.0 |
  1572. TemporalInductionTest | nars.nal.nal7 | inductionSameEvents | | 0.0 |
  1573. TemporalInductionTest | nars.nal.nal7 | inductionSameEventsInvertNegPos | | 0.0 |
  1574. TemporalInductionTest | nars.nal.nal7 | inductionSameEventsInvertPosNeg | | 0.0 |
  1575. TemporalInductionTest | nars.nal.nal7 | inductionSameEventsNeg | | 0.0 |
  1576. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityBiProd | | 0.0 |
  1577. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityInh3 | | 0.0 |
  1578. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedProd | | 0.0 |
  1579. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityLinkedTemporalConj | | 0.0 |
  1580. TemporalStabilityTests | nars.nal.nal7 | testTemporalStabilityProd | | 0.0 |
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!