SPB Git

spb/wp29_uqo

Public
449 B · 13 lines json
1{2  "task_id": "F1-conf-02",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": "c13a30fbc4fa5f8502813a0b7c26d62dad6f731f5dafba69c11fd09e8608f0a1",10  "oracle_sha256": "88041d60bfa1855cd036fae779e20faa54360c97a27f3bd8cce7e8f3e114e979",11  "infeasible_or_null_truth": "no",12  "created_utc": "2026-10-30T03:41:11.640136+00:00"13}
Files · 32c4ccff60dd76c81da4f5b63d24bd0b55824e43
Menu

Theme