{
    "4.pml": {
        "task_id": "jealous_couples_2024",
        "startup_cmd": "spin -run -i 4.pml",
        "comment": "Возможно для этой задачи есть и более элегантное решение, но это работает более чем прекрасно",
        "accepted": false
    },
    "7.pml": {
        "task_id": "fear_of_the_dark_2024",
        "startup_cmd": "spin -run -i 7.pml",
        "comment": "",
        "accepted": false
    },
    "8.pml": {
        "task_id": "tower_of_hanoi_2024",
        "startup_cmd": "spin -run -i 8.pml",
        "comment": "Для N = 8 (меняется с помощью #define в начале кода) spin находит решение примерно за 68.8 секунд на Core i7 11gen + 16Gb RAM. Для больших N время и затраты оперативки значительно возрастают, не удалось проверить, но должно работать правильно",
        "accepted": false
    },
    "9.pml": {
        "task_id": "knights_walk_around_the_chessboard_2024",
        "startup_cmd": "spin -run -i 9.pml",
        "comment": "Похоже, что решение верное, но проверить не удалось - не хватило ресурсов для обсчета, spin уехал в swap",
        "accepted": false
    },
    "13.pml": {
        "task_id": "jugs_of_water_2024",
        "startup_cmd": "spin -run -i -a 13.pml",
        "comment": "В этой задаче необходим ключ -a при запуске, иначе spin найдет не самое короткое решение, а абы какое (Самое короткое за 4 шага, спин находит шагов за 15, хоть и правильное)",
        "accepted": false
    },
    "16.pml": {
        "task_id": "six_checkers_2024",
        "startup_cmd": "spin -run -i 16.pml",
        "comment": "Альтернатива для перебора всех возможных перестановок в do-od - использование rand() или select() (читайте в манах на spin). Однако использование этих операторов значительно повышает расходы ресурсов и время обсчета задачи. Если у вас мощный ПК, можете использовать альтернативное решение с использованием select(). Данное решение было принято в 2024 году.",
        "accepted": true
    },
    "16_select.pml": {
        "task_id": "six_checkers_2024",
        "startup_cmd": "spin -run -i -a 16_select.pml",
        "comment": "Вариант с использованием оператора select, вроде работает, но лучше конечно перепроверить.",
        "accepted": false
    },

    "3_1.pml": {
        "task_id": "boys_and_soldiers_2024",
        "startup_cmd": "spin -run -i 3_1.pml",
        "comment": "",
        "accepted": true
    },
    "10_1.pml": {
        "task_id": "eight_queens_2024",
        "startup_cmd": "spin -run -i 10_1.pml",
        "comment": "",
        "accepted": true
    },
    "6.pml": {
        "task_id": "father_and_sons_2024",
        "startup_cmd": "spin -run -i 6.pml",
        "comment": "",
        "accepted": true
    },
    "22.pml": {
        "task_id": "magic_square_2024",
        "startup_cmd": "spin -run -i 22.pml",
        "comment": "",
        "accepted": true
    }
}