SPB Git

spb/wp29_uqo

Public
449 B · 13 lines json
1{2  "task_id": "F1-conf-01",3  "family": "F1",4  "split": "conf",5  "data_type": "observed",6  "real_data": "yes",7  "source_documents": "no",8  "oracle_provenance": "independent_code",9  "bundle_sha256": "a61750dcacf0ee144e2f1612a757cf3b77d74ff0c8a4d05f2ef37fa2dbd94105",10  "oracle_sha256": "58419a6c63b3fe5ec0632cfa1c81fb208c253231abd06d1b55b0568c1f168d2e",11  "infeasible_or_null_truth": "no",12  "created_utc": "2026-10-30T03:41:11.620523+00:00"13}
Files · 6df43c338e49477c769c36e7f7d249af2563db7f
Menu

Theme