{
  "check_exit_status": "yes",
  "comment": "CAREFUL - requires more the 1GB of free space",
  "customize": {
    "extra_dir": "",
    "force_ask_path": "yes",
    "install_env": {
      "DATASET_FILE_NAME": "equiv-chekcing.tar.gz",
      "DATASET_NAME": "equivalent-checking",
      "NUM_OF_GRAPHS": "45",
      "SRC_PATH": ""
    },
    "no_os_in_suggested_path": "yes",
    "no_ver_in_suggested_path": "yes",
    "version": "1.0"
  },
  "end_full_path": {
    "linux": "ABP_Onebit__datasize2_capacity1_windowsize1_eqbranching-bisim.mpg.gz"
  },
  "package_extra_name": " (EGSolver Graphs Equivalent Checking)",
  "process_script": "install",
  "soft_uoa": "04a7a93a5b1436a6",
  "suggested_path": "dataset-egsolver-equiv-checking",
  "tags": [
    "dataset",
    "graph",
    "egsolver",
    "large",
    "realworld",
    "equivalent"
  ]
}