{
  "dataset_path": "datasets_verifier_2024-06-23_15-24-11/problem_description_to_verification_skeleton_37",
  "input_template_path": "src/verifier_generator_training/prompts/problem_description_to_verification_skeleton_input.template.txt",
  "output_template_path": "src/verifier_generator_training/prompts/problem_description_to_verification_skeleton_output.template.txt",
  "resample_factor": 1,
  "dataset_length": 37,
  "dataset_problem_paths": [
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1031_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1032_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1040_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1132_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1165_C.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1173_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1286_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1321_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_133_E.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1360_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1380_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1385_C.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_148_E.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1509_C.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_1591_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_160_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_181_C.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_186_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_22_D.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_269_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_289_C.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_294_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_33_C.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_34_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_358_D.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_388_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_436_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_44_H.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_497_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_545_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_652_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_711_C.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_719_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_79_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_810_B.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_933_A.py",
    "src/veripy/examples/code_forces/dynamic_programming/code_forces_94_D.py"
  ],
  "commit_hash": null
}