{
  "artifact_prefix": "logs/gh-33708763939-1/5937452c001927f2b98b77b5ae74daeb",
  "aws_region": "us-east-1",
  "benchmark_type": "property",
  "bootstrap_installer_sha256": "474a7a646a04b6a262df60e03259568866f3ae6190b8268e66734ed0c0fe6d9f",
  "bootstrap_manifest_sha256": "9b8b7cbc45a13893cd2ddd7ece491128d04007813c4806e5ad58fd8732e667fe",
  "echidna_ci_artifact": "echidna-Linux",
  "echidna_ci_commit": "55842ac2da34f40992cf48f211a0df1ede8e2fb9",
  "echidna_ci_repo": "https://github.com/crytic/echidna",
  "echidna_ci_run_id": "33555209798",
  "echidna_ci_sha256": "14b556c0f503d216e01b3676f85c97b381d919ac7931a3c6d8fe789d06d90e7f",
  "echidna_ci_token_kms_key_arn": "",
  "echidna_version": "",
  "foundry_git_ref": "02c05d970d2801da0aef8b82486ce84b01ede36d",
  "foundry_git_repo": "https://github.com/foundry-rs/foundry",
  "foundry_source_patch": "scfuzzbench-throughput-progress-v1@sha256:2ee9e69b77c8007c78c816eb9ca791684aa5ecede0651b63f86cdd2e055eb17e",
  "foundry_version": "1.7.2-dev",
  "fuzzer_keys": [
    "echidna"
  ],
  "instance_type": "c6a.4xlarge",
  "instances_per_fuzzer": 4,
  "medusa_git_commit": "",
  "medusa_git_ref": "",
  "medusa_git_repo": "",
  "medusa_go_sha256": "",
  "medusa_go_version": "",
  "medusa_version": "1.5.1",
  "preliminary_interval_seconds": 3600,
  "properties_path": "test/recon/Properties.sol",
  "recon_version": "0.4.18-fix",
  "run_id": "gh-33708763939-1",
  "run_started_at_epoch": 1788403486,
  "run_state_metadata_key": "run-state/runs/gh-33708763939-1/metadata.json",
  "scfuzzbench_commit": "af0281945bfd4945f2fa1e2d6594319ba6707048",
  "scfuzzbench_repository": "https://github.com/scfuzzbench/scfuzzbench",
  "target_commit": "c50d160ead6bf82b1d1071e853dc74da0b23f595",
  "target_repo_url": "https://github.com/scfuzzbench/drips-fuzzing-scfuzzbench",
  "terraform_backend_key": "runs/gh-33708763939-1/terraform.tfstate",
  "timeout_hours": 1,
  "ubuntu_ami_id": "ami-0d7f022123f8ff19d",
  "user_data_template_sha256": "def88ed0ef010886d26f29b6bb65c6d61c1404643fffb674ebf29a6cc471b8ed"
}
