SPB Git

spb/wp29_uqo

Public
447 B · 13 lines json
1{2  "task_id": "F6-dev-01",3  "family": "F6",4  "split": "dev",5  "data_type": "observed",6  "real_data": "yes",7  "source_documents": "no",8  "oracle_provenance": "independent_code",9  "bundle_sha256": "7ba9795771dfa09609161e7424d9f4ff50647dc6880df9e0db9e16ec52738cc2",10  "oracle_sha256": "f9ad2737d1a0325a515f2053b4904509146d5670cca59b75e3e741a9079236dc",11  "infeasible_or_null_truth": "no",12  "created_utc": "2026-10-30T03:42:41.723569+00:00"13}
Files · 449400ebf8aa08d286e9899c675eeb9b3997f6a3
Menu

Theme