FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive04FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive04 |
136939750153024 May 12:11:41 |
1
PASS
|
0.0230.023 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive01FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive01 |
136939750134824 May 12:11:41 |
1
PASS
|
0.1190.119 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive02FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive02 |
136939750147824 May 12:11:41 |
1
PASS
|
0.0160.016 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive03FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive03 |
136939750149824 May 12:11:41 |
1
PASS
|
0.0220.022 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive05FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive05 |
136939750155524 May 12:11:41 |
1
PASS
|
0.0170.017 |
|