SPB Git

spb/wp29_uqo

Public
450 B · 13 lines json
1{2  "task_id": "F1-conf-04",3  "family": "F1",4  "split": "conf",5  "data_type": "synthetic",6  "real_data": "no",7  "source_documents": "no",8  "oracle_provenance": "independent_code",9  "bundle_sha256": "0b9030ef4081e6e71f37c13b0009d15acdebb7df22f40be9eb4d8e68b396e17d",10  "oracle_sha256": "c7280d2182d000f0220efae1c9559d91b63d7c1462579422e0ec20c605c67ea2",11  "infeasible_or_null_truth": "yes",12  "created_utc": "2026-10-30T03:41:11.680198+00:00"13}
Files · 449400ebf8aa08d286e9899c675eeb9b3997f6a3
Menu

Theme