FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive01FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive01 |
139234261038014 Feb 01:50:10 |
1
PASS
|
0.0720.072 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive03FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive03 |
139234261047514 Feb 01:50:10 |
1
PASS
|
0.0110.011 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive02FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive02 |
139234261045814 Feb 01:50:10 |
1
PASS
|
0.00800.008 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive04FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive04 |
139234261049414 Feb 01:50:10 |
1
PASS
|
0.0120.012 |
|
FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive05FormulaUtilityReplaceSubjectVariableQuantifierTest.testClassTermPositive05 |
139234261050914 Feb 01:50:10 |
1
PASS
|
0.00700.007 |
|