FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive01FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive01 |
139233204088713 Feb 22:54:00 |
1
PASS
|
0.110.11 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive02FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive02 |
139233204100213 Feb 22:54:01 |
1
PASS
|
0.0210.021 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive04FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive04 |
139233204106013 Feb 22:54:01 |
1
PASS
|
0.010.01 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive03FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive03 |
139233204102613 Feb 22:54:01 |
1
PASS
|
0.010.01 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive05FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive05 |
139233204107113 Feb 22:54:01 |
1
PASS
|
0.0180.018 |
|