{"family_id":"synthetic_boolean_v1","count":51,"items":[{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-26aa248f","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"091d202313bf08965f0eaa1f43b650f198d880ca3562c2d1927f57bdad667956","cnf_bytes":458719,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-26aa248f","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-3476aa32","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"f3301795d3a67a9613cf0e9764cc793a4a9a4acda469af72bb240bcff7f23c54","cnf_bytes":458720,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-3476aa32","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-3e6ecf61","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"30146520a2246c251a08ba53fb7eb0a87accb806561649c98c4bd6921d404a0d","cnf_bytes":458981,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-3e6ecf61","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-4826dc1e","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"75dbf7378ad985fd2b5c87f351d3e81c74dace64d02c4abf46eb289afab3fe31","cnf_bytes":458599,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-4826dc1e","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-4d200e8e","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"5886e347be1465dd488e160701a97ef107f51e85caa3eb606a2ffe5d22066eb1","cnf_bytes":458530,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-4d200e8e","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-4dad7e6b","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"6ed908e5ce61f240348c7960bc4991da8af573d2914bece4304174224115301e","cnf_bytes":458498,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-4dad7e6b","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-4f007bd0","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"42485490723c8ef0ff6737a22542efbc15c73ccfc5392219ee55afad8403f2cc","cnf_bytes":458415,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-4f007bd0","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-54a0c987","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"571fbb2de5517dca883c3d25346e9ea3673e7fddd6eb5dd02aceb021ec5e803a","cnf_bytes":459116,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-54a0c987","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-5674ef29","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"38199fa56c79ae83d77d303b5f051c240a265a114181ae823d7c664e9324fa3f","cnf_bytes":458969,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-5674ef29","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-62a1d432","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"b390c7ad175a7beca6e47e025b1ff3ba8d23aecba2f13740c0773f67805efe81","cnf_bytes":458592,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-62a1d432","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-717990e6","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"51923793c68fc2f4018ef3f32f6e7a7f2c944a08e794ebc71223869e8320230b","cnf_bytes":458491,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-717990e6","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-73a71679","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"3a8f5dbf30d5b3182e4a200043c9990243e40397d7be69c1cb8e9dcb186da2e5","cnf_bytes":458713,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-73a71679","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-78b2fd29","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"058c74d0f4a08f08f20ee00f3b4509f634f57a717c7e3f05c468825a38bad181","cnf_bytes":458851,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-78b2fd29","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-7a07665a","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"c819ba06c70d8e411be713b957a85190841b18e62c4df6e47f96875f3870b831","cnf_bytes":458914,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-7a07665a","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-8b51039f","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"4719cf14009e32f17446af370e23934c00bf12ac749669be15f232a7e3ee8900","cnf_bytes":458602,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-8b51039f","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-926edb4d","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"b302d0cc345170f7e0d3d20dc117f5c1504218f37918921c9db263bc7f5942c3","cnf_bytes":459101,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-926edb4d","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-97ba8c0a","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"aa414c4de544a9745da0c2cb7c0c651837ce1df9ce139ab03179b9b30ddf73a8","cnf_bytes":458690,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-97ba8c0a","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-980a1aeb","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"34e16371a7daf9494ebd487f481356638c986a484958503de62d2f4dc27c7235","cnf_bytes":458865,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-980a1aeb","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-9b55c36e","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"aba14f079f117bccbce5b7fae5664e5d7f0ec178d35d461519be4202ed8bb43e","cnf_bytes":458828,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-9b55c36e","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-9e4faab0","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"3cb15aac9a8ff73386385e9128cb3ac5cfb472c91560e5c01e1065cd83bd2097","cnf_bytes":458763,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-9e4faab0","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-a62cb082","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"35bf26bc62d28317131b3f5d4df18ae1a1bc6ff9bdfbcc0d28091ec29fa76943","cnf_bytes":458602,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-a62cb082","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-a935ae75","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"a0f88b3be73d39a9334da0ef64177c4ac5e4656dd46f371572b323a2984d3375","cnf_bytes":458527,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-a935ae75","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-b20776e6","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"40ce5a7311a49b6e7eb4f14850012848d7d7882de135932bbe28342d7a77f914","cnf_bytes":458888,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-b20776e6","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-cf88fe75","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"5325f240fca87a6797fe67d5da5664b4353234fff80666d7e4b2f750d0c609ff","cnf_bytes":458617,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-cf88fe75","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t1-random-3sat-20260604-fe01ed72","status":"active","tier":1,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"279ebac8d39a4f50918ff0634c82d27730954406a78a91268dc5228f346edfd8","cnf_bytes":458657,"num_vars":6000,"num_clauses":25560,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t1-random-3sat-20260604-fe01ed72","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-0867e1df","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"5c36c61f8b510d15366e7d5b5ca40fcb76bc1b040e0b50ff6abd985d74277a14","cnf_bytes":2055889,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-0867e1df","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-172cbf15","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"138b11c1bd46eadf9c4fedf90706fdf0215e2ac0ed7ab5ea59f4ec761a75f4dd","cnf_bytes":2056490,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-172cbf15","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-18f4c838","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"3dfcd4fa907443cd152f5459eb9c9fd4820a47c832a75a82efc7e567040316eb","cnf_bytes":2056468,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-18f4c838","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-2b787f72","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"14d691d0353ae02991c321c31a3d61abc8c080c494f44b4599abcd82e49c0308","cnf_bytes":2056204,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-2b787f72","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-3966920f","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"b43675b7cf2a60044578d8964d97558ba71e8b4ba4d96469929072fb3167c607","cnf_bytes":2056939,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-3966920f","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-3ad13ab3","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"14acc4334e4f13941510980c9a277abfa2089793e05c0efc1bacf7ee1e6f2d12","cnf_bytes":2056109,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-3ad13ab3","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-4c61df2c","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"aea51311506355f0bf23061e59bef9e0ceaa65e33f9b8a213107211d592496c4","cnf_bytes":2056242,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-4c61df2c","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-6e3ddcef","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"4f48390b12ce61e9f11b794b260b6cf54e7d2c67ffac233b7b428ef6ede94c59","cnf_bytes":2056553,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-6e3ddcef","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-777f1e76","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"40a4817b740930fba3a1b2b512d537e8fc7048b890c3b6a3a0ace668419f2b96","cnf_bytes":2055756,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-777f1e76","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-7dd631eb","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"41fb17dbb43c952f76da1b51a9c3fa4e8b2b54c39772f5c461883756a48e7d66","cnf_bytes":2055934,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-7dd631eb","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-7f5db009","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"8852a62ba69a0a2419c202b8cae630e6d79e4e73ee16433b7f699ecff72fe45a","cnf_bytes":2056594,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-7f5db009","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-91c946d8","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"a75a4f4a3f157b5d64476a4e9582c61cd228d247188f1cbdb4bfe8f3f8f0ec6c","cnf_bytes":2056191,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-91c946d8","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-a1e5757f","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"22641b844f4b126dbbde765dee6741be37f08a64b6193cf6c82fba7acf5da07e","cnf_bytes":2056616,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-a1e5757f","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-ae884ab6","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"6fd089823a62b575fdb1f52d90f55302b16cf06de5a2cc61557c9f821334bf11","cnf_bytes":2056882,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-ae884ab6","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-bba4b68a","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"48c89d96ea7550c89e977f8f9385a694f7d001f93abe7204803d67f8350a9005","cnf_bytes":2055869,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-bba4b68a","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-bcc90cbc","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"a99ad05ad983356ef43ae5d9596b1f98ad97efa6fc9d7aa185471d935cd75322","cnf_bytes":2055530,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-bcc90cbc","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-c40d7919","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"1a503faaf6db9052ddb1a68be3ab4716196a0800d4eef8a1cc9bc54216a89c3c","cnf_bytes":2056408,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-c40d7919","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-c6d8b1e6","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"cb883029c56e4567ca9311bba8aa9641b40bd89279c97ef3a65f937a6569bedf","cnf_bytes":2056284,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-c6d8b1e6","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-c8de5993","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"563f95e11507053c5301d0243e9c7563f2035eaee46f7f86bf213e36ef179a6a","cnf_bytes":2056586,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-c8de5993","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-e0452217","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"f826feb0302682f6734f0b4ce9f0fa8903ccf7999aeb0c8a143f00c9021928c5","cnf_bytes":2056603,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-e0452217","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-e39e1d8f","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"df49b7deb52da0f5882c07f4dce2e8b2025b736e1116658869da9f1c5eb06805","cnf_bytes":2056941,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-e39e1d8f","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-eb180718","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"d49eb9e776e92a99665690a0c6ce249fc5ba4f1c40c785c83ede662d3ef4abe2","cnf_bytes":2057033,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-eb180718","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-ef70e227","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"4b1076f8be1bc1f44c7404592a356c0f29460f058043975ee305df1d66b42dac","cnf_bytes":2056026,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-ef70e227","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-f261da21","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"4fa073b27eea79547ef86e81953ae7c12b2a6fcf9478e0109045ae2cd86aa4c6","cnf_bytes":2055705,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-f261da21","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sat-t2-random-3sat-20260604-fc7ddd65","status":"active","tier":2,"difficulty_label":null,"score_multiplier":1.0,"kind":"random_3sat","storage":"sqlite_text","cnf_sha256":"3a642946ce50467347e6c26f39440bba9c05bce0c00d4f8a94bc94c88852bde8","cnf_bytes":2055948,"num_vars":24000,"num_clauses":102240,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sat-t2-random-3sat-20260604-fc7ddd65","submit_path":"/api/cathedral/v1/agents/submit"},{"family_id":"synthetic_boolean_v1","challenge_id":"sha256-32b-20260524","status":"active","tier":3,"difficulty_label":null,"score_multiplier":1.0,"kind":"sha256_preimage","storage":"file","cnf_sha256":"f5fe82191d369f87ea29e3fd8e09c7f695d8e60635f6478e5a10b19e298e7125","cnf_bytes":9072484,"num_vars":127298,"num_clauses":373225,"announced_time_limit_secs":604800,"solve_on_submit_enabled":true,"win_rule":"First submitted valid SAT receipt wins.","active_cnf_path":"/api/cathedral/v1/synthetic-boolean/active-cnf?challenge_id=sha256-32b-20260524","submit_path":"/api/cathedral/v1/agents/submit"}]}