feat(courselab): update PKU Pintos course details to include link and year

Author: tareknaser

benchmarks/courseexam_bench/data/raw/cs162_operating_systems_and_system_programming_summer_2022_final/exam.md

@@ -67,7 +67,7 @@ Your answer should be either "True" or "False", followed by a brief explanation
   "type": "Freeform",
   "tags": ["operating-systems", "virtual-memory", "page-faults"],
   "reference_materials": ["rust_reference.md"],
-  "answer": "False. FIFO and Belady's anomaly",
+  "answer": "False. FIFO and Belady's anomaly.",
   "llm_judge_instructions": "Award 1 point for correctly answering False. Award 1 point for a valid explanation. Longer explanations may get no credit."
 }
 ```
@@ -147,7 +147,7 @@ Your answer should be either "True" or "False", followed by a brief explanation
   "type": "Freeform",
   "tags": ["distributed-systems", "idempotency"],
   "reference_materials": ["rust_reference.md"],
-  "answer": "False. f(f(x)) != f(x)",
+  "answer": "False. f(f(x)) != f(x).",
   "llm_judge_instructions": "Award 1 point for correctly answering False. Award 1 point for a valid explanation. Longer explanations may get no credit."
 }
 ```
@@ -503,7 +503,7 @@ Please answer in THREE SENTENCES OR LESS. Longer explanations may get no credit
   "type": "Freeform",
   "tags": ["operating-systems", "virtual-memory", "caching", "tlb"],
   "reference_materials": ["rust_reference.md"],
-  "answer": "Cache lookups can be overlapped when the page offset in the virtual address contains the cache index. See lecture 15, slide 26.",
+  "answer": "Cache lookups can be overlapped when the page offset in the virtual address contains the cache index.",
   "llm_judge_instructions": "Award full points for a fully correct explanation. award partial credit for partially correct explanations"
 }
 ```
@@ -598,7 +598,10 @@ give partial credit if you show your work.
 
 Suppose we have resources A, B, C and threads T1, T2, T3, T4. The total number of each resource as well as the current/max allocations for each thread are as follows:
 
-Total Allocation: A=5, B=6, C=7
+Total Allocation:
+| A | B | C |
+|---|---|---|
+| 5 | 6 | 7 |
 
 Current Allocation:
 | Thread | A | B | C |
@@ -734,7 +737,7 @@ Fill in sections [A], [B], and [C]:
   "tags": ["operating-systems", "virtual-memory", "page-tables"],
   "reference_materials": ["rust_reference.md"],
   "answer": "[A]:\nvpn[0] = vaddr >> 22;\nvpn[1] = zero(vaddr >> 12, 10, 32);\n\n[B]:\nptentry = get_word(pt + 4*vpn[i]);\nif ((ptentry & 1) == 0) {\n    page_fault_handler(vaddr);\n    return 0;\n}\npt = zero(ptentry, 0, 12);\n\n[C]:\nreturn pt + zero(vaddr, 12, 32);",
-  "llm_judge_instructions": "Grade each section separately and sum the points"
+  "llm_judge_instructions": "A is worth 2 points, B is worth 6 points and C is worth 2 points. Grade each section separately and sum the points"
 }
 ```
 

benchmarks/courselab_bench/data/courses.json

@@ -36,8 +36,9 @@
       "num_tasks": 1
     },
     {
-      "course_id": "pku_pintos",
+      "course_id": "pku_pintos_2025",
       "name": "PKU Operating Systems: Pintos Labs",
+      "link": "https://pkuflyingpig.gitbook.io/pintos",
       "institution": "Peking University",
       "year": 2024,
       "num_tasks": 4

benchmarks/courselab_bench/data/pku_pintos/task_1_threads/config.json

@@ -1,6 +1,6 @@
 {
-  "instance_id": "pku_pintos__threads",
-  "course_id": "pku_pintos",
+  "instance_id": "pku_pintos_2025__threads",
+  "course_id": "pku_pintos_2025",
   "timeout_minutes": 60,
   "tags": ["operating-systems", "c", "threads", "synchronization", "scheduling", "pintos"],
   "artifacts": [

benchmarks/courselab_bench/data/pku_pintos/task_2_userprog/config.json

@@ -1,6 +1,6 @@
 {
-  "instance_id": "pku_pintos__userprog",
-  "course_id": "pku_pintos",
+  "instance_id": "pku_pintos_2025__userprog",
+  "course_id": "pku_pintos_2025",
   "timeout_minutes": 90,
   "tags": ["operating-systems", "c", "system-calls", "processes", "user-programs", "pintos"],
   "artifacts": [

benchmarks/courselab_bench/data/pku_pintos/task_3a_vm/config.json

@@ -1,6 +1,6 @@
 {
-  "instance_id": "pku_pintos__vm",
-  "course_id": "pku_pintos",
+  "instance_id": "pku_pintos_2025__vm",
+  "course_id": "pku_pintos_2025",
   "timeout_minutes": 120,
   "tags": ["operating-systems", "c", "virtual-memory", "demand-paging", "page-replacement", "pintos"],
   "artifacts": [

benchmarks/courselab_bench/data/pku_pintos/task_3b_mmap/config.json

@@ -1,6 +1,6 @@
 {
-  "instance_id": "pku_pintos__mmap",
-  "course_id": "pku_pintos",
+  "instance_id": "pku_pintos_2025__mmap",
+  "course_id": "pku_pintos_2025",
   "timeout_minutes": 120,
   "tags": ["operating-systems", "c", "virtual-memory", "memory-mapped-files", "stack-growth", "pintos"],
   "artifacts": [