SPB Git

spb/wp29_uqo

Public
449 B · 13 lines json
1{2  "task_id": "F6-conf-03",3  "family": "F6",4  "split": "conf",5  "data_type": "observed",6  "real_data": "yes",7  "source_documents": "no",8  "oracle_provenance": "independent_code",9  "bundle_sha256": "26ee50278611967d5a80428b531496d9c1fe94953c8b0eae4e0e15c57c96d0aa",10  "oracle_sha256": "e605f4646a87a44aa733c28992c93adb555b9c9bed004be061cc3bef0506accf",11  "infeasible_or_null_truth": "no",12  "created_utc": "2026-10-30T03:42:41.725294+00:00"13}
Files · 6df43c338e49477c769c36e7f7d249af2563db7f
Menu

Theme