File size: 3,446 Bytes
7400bb6 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |
{
"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
} |