{
  "name": "SequentProverExamples",
  "description": "",
  "machines": [
    {
      "name": "find_ctx",
      "description": "",
      "location": "find_ctx/find_ctx.pl",
      "lastUsedPreferenceName": "default",
      "validationTasks": [
        {
          "taskType": "REPLAY_TRACE",
          "location": "find_ctx/find_ctx_THM_WD.prob2trace",
          "selected": true
        },
        {
          "taskType": "REPLAY_TRACE",
          "location": "find_ctx/find_ctx_THM_WD_alternative.prob2trace",
          "selected": true
        },
        {
          "taskType": "REPLAY_TRACE",
          "location": "find_ctx/find_ctx_THM_WD_rodin.prob2trace",
          "selected": true
        },
        {
          "taskType": "REPLAY_TRACE",
          "location": "find_ctx/find_ctx_THM_WD_alternative_rodin.prob2trace",
          "selected": true
        }
      ],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": []
    },
    {
      "name": "GetPositiveElements",
      "description": "",
      "location": "GetPositiveElements/GetPositiveElements.pl",
      "lastUsedPreferenceName": "default",
      "validationTasks": [
        {
          "taskType": "REPLAY_TRACE",
          "location": "GetPositiveElements/GetPositiveElements_step_neg_inv3.prob2trace",
          "selected": true
        },
        {
          "taskType": "REPLAY_TRACE",
          "location": "GetPositiveElements/GetPositiveElements_step_neg_inv3_rodin.prob2trace",
          "selected": true
        }
      ],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": []
    },
    {
      "name": "Rover3",
      "description": "",
      "location": "marsRover/Rover3.pl",
      "lastUsedPreferenceName": "default",
      "validationTasks": [
        {
          "taskType": "REPLAY_TRACE",
          "location": "marsRover/rover3_inv14_wd_with_tfct_def.prob2trace",
          "selected": true
        },
        {
          "taskType": "REPLAY_TRACE",
          "location": "marsRover/rover3_inv14_wd_with_fungoal.prob2trace",
          "selected": true
        }
      ],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": []
    }
  ],
  "requirements": [],
  "preferences": [],
  "metadata": {
    "fileType": "Project",
    "formatVersion": 57,
    "savedAt": "2026-01-26T06:43:11.380643Z",
    "creator": "User",
    "proB2KernelVersion": "4.15.2-SNAPSHOT",
    "proBCliVersion": null,
    "modelName": null
  }
}