SPB Git

spb/wp29_uqo

Public
449 B · 13 lines json
1{2  "task_id": "F2-conf-03",3  "family": "F2",4  "split": "conf",5  "data_type": "synthetic",6  "real_data": "no",7  "source_documents": "no",8  "oracle_provenance": "independent_code",9  "bundle_sha256": "1a8772c6d026ea816c2c9460a9bd61af2625f01427245672c86df5099cb78f9c",10  "oracle_sha256": "0d666b81610441d8b771d554984e8e665d3a308abb89683967ed394d98e0c9e1",11  "infeasible_or_null_truth": "no",12  "created_utc": "2026-10-30T03:35:40.234640+00:00"13}
Files · 152a55b8fa2830f50fa35e5aed99c0037f713345
Menu

Theme