{
  "auto_detect": "no",
  "customize": {
    "check_that_exists": "yes",
    "ck_version": 10,
    "env_prefix": "CK_A_AIG_UPF_PI_IW",
    "skip_file_check": "yes",
    "skip_version": "yes",
    "soft_file_universal": ""
  },
  "soft_name": "Artifact from https://github.com/aig-upf/pi-IW",
  "tags": [
    "imported-artifact",
    "raw-artifact",
    "black-box",
    "github",
    "aig-upf-pi-iw",
    "atari games"
  ]
}