| Name | Last Modified | Size | Description |
|---|---|---|---|
| Parent Directory | |||
| META-INF/ | Thu Jan 13 04:37:36 UTC 2022 | ||
| org/ | Thu Jan 13 04:37:36 UTC 2022 | ||
| solverBenchmarkConfig.xml | Thu Jan 13 04:37:36 UTC 2022 | 475 | |
| solverBenchmarkConfigSpentLimitPerBenchmark.xml | Thu Jan 13 04:37:36 UTC 2022 | 759 | |
| solverBenchmarkConfigSpentLimitPerBenchmarkNoTermination.xml | Thu Jan 13 04:37:36 UTC 2022 | 1030 | |
| solverConfig.xml | Thu Jan 13 04:37:36 UTC 2022 | 755 |