| Test Name | Output | No. of Rounds | Result | Run Time | |
|---|---|---|---|---|---|
| /bat0/stac/Code/Java-benchmarks/java_package/single_example/ | |||||
| Assertions (True) = 0/0 | Assertions (False) = 0/0 | Time = 0.0 | |||
| /bat0/stac/Code/Java-benchmarks/java_package/quick_java_examples/ | |||||
| Degree1Monomial.java | output | 1 | 12.304 | ||
| Degree2Monomial.java | output | 1 | 12.4 | ||
| Degree3Monomial.java | output | 1 | 12.109 | ||
| Degree4Monomial.java | output | 1 | 12.527 | ||
| Degree5Monomial.java | output | 1 | 12.582 | ||
| Assertions (True) = 0/5 | Assertions (False) = 0/0 | Time = 61.922 | |||
| /bat0/stac/Code/Java-benchmarks/java_package/simple_java_examples/ | |||||
| SimpleDegree1Monomial.java | output | 1 | 10.891 | ||
| SimpleDegree2Monomial.java | output | 1 | TIMEOUT |
300.005 | |
| SimpleDegree3Monomial.java | output | 1 | TIMEOUT |
300.003 | |
| SimpleDegree4Monomial.java | output | 1 | TIMEOUT |
300.004 | |
| SimpleDegree5Monomial.java | output | 1 | TIMEOUT |
300.004 | |
| Assertions (True) = 0/5 | Assertions (False) = 0/0 | Time = 1210.907 | |||
| /bat0/stac/Code/Java-benchmarks/java_package/selected_canonical/ | |||||
| Category2.java | output | 1 | 12.857 | ||
| Category7.java | output | 1 | 12.804 | ||
| Category8.java | output | 4 | 16.037 | ||
| Assertions (True) = 0/3 | Assertions (False) = 0/0 | Time = 41.698 | |||
| /bat0/stac/Code/Java-benchmarks/java_package/new-canonical-examples/all_canonical_jars/ | |||||
| Category10_not_vulnerable.java | output | 1 | 14.187 | ||
| Category10_vulnerable.java | output | 1 | 13.551 | ||
| Category11_Case_A_vulnerable.java | output | 3 | 141.248 | ||
| Category11_Case_B_vulnerable.java | output | 3 | 81.927 | ||
| Category12_not_vulnerable_exception.java | output | 4 | 109.696 | ||
| Category12_vulnerable_conditional.java | output | 4 | 72.084 | ||
| Category12_vulnerable_exception.java | output | 4 | 102.952 | ||
| Category1_not_vulnerable.java | output | 1 | 12.359 | ||
| Category1_vulnerable.java | output | 1 | 12.929 | ||
| Category2_vulnerable.java | output | 1 | 12.864 | ||
| Category3_not_vulnerable.java | output | 1 | 13.041 | ||
| Category3_vulnerable.java | output | 1 | 12.753 | ||
| Category4_not_vulnerable.java | output | TIMEOUT | 300.004 | ||
| Category4_vulnerable.java | output | TIMEOUT | 300.005 | ||
| Category5_vulnerable.java | output | 1 | 14.577 | ||
| Category6_not_vulnerable.java | output | 4 | 72.775 | ||
| Category6_vulnerable.java | output | 4 | 65.406 | ||
| Category7_vulnerable.java | output | 1 | 12.724 | ||
| Category8_vulnerable.java | output | 4 | 16.0 | ||
| Category9_vulnerable.java | output | 1 | 12.93 | ||
| Assertions (True) = 0/20 | Assertions (False) = 0/0 | Time = 1394.012 | |||