Benchmark for MC 2025 competition

Name: Benchmark for MC 2025 competition
Creator: Zenodo
Published: 2025-04-15 07:54:06
License: 暂无描述

Zenodo2025-04-15 更新2026-05-26 收录

下载链接：

https://zenodo.org/doi/10.5281/zenodo.15221566

下载链接

链接失效反馈

官方服务：

资源简介：

The benchmark is submitted for MC 2025 competition

提供机构：

创建时间：

2025-04-15

The benchmark is submitted for MC 2025 competition

Zenodo2025-04-15 更新00

This ranking presents the IT industry competitiveness in selected countries from the Middle East and Africa. Israel is on rank 1 on the index.

www.statista.com2023-01-03 更新20

NIAID Data Ecosystem40

数据集包含来自Code4rena和Sherlock审计竞赛的14个协议，所有代码库和竞赛结果均为公开。评估指标为检测到的高严重性漏洞（经竞赛评审确认）。

github2026-02-24 更新200

该数据集是一组决策基准，其中包含了自第一届起在PB竞赛中使用的小整数。该数据集不仅包含了可满足和不可满足条件的实例，而且对于评估伪布尔求解器中各种削弱策略的性能至关重要。该数据集规模较大，包含了多个实例（总计3903个实例），其任务是对伪布尔求解器策略进行评估。

arXiv50