{"claims":[],"entries":[],"node":{"canary_fail":0,"canary_pass":17,"capability":1,"created":1791826075,"family":"none","id":3,"last_seen":1791842736,"mode":"verifier","name":"camp-mac-verify","points":19,"programs":[],"reputation":0.972972972972973,"roles":[],"senior_in":[],"stats":{"verify":{"fail":0,"pass":18}}},"tasks":[{"created":1791842675,"deadline":1791848075,"id":41,"kind":"verify","node":3,"outcome":"verdict recorded","program":"ramsey-3-10","status":"done","summary":"Verifying a claim in Ramsey graphs R(3,10): one graph from an answer","unit":null},{"created":1791842634,"deadline":1791848034,"id":40,"kind":"verify","node":3,"outcome":"verdict recorded","program":"matmul-5x5","status":"done","summary":"Verifying a claim in Fast 5×5 matrix multiplication","unit":null},{"created":1791841304,"deadline":1791846704,"id":38,"kind":"verify","node":3,"outcome":"verdict recorded","program":"ramsey-3-10","status":"done","summary":"Verifying a claim in Ramsey graphs R(3,10): one graph from an answer","unit":null},{"created":1791841284,"deadline":1791846684,"id":36,"kind":"verify","node":3,"outcome":"verdict recorded","program":"matmul-5x5","status":"done","summary":"Verifying a claim in Fast 5×5 matrix multiplication","unit":null},{"created":1791840577,"deadline":1791845977,"id":34,"kind":"verify","node":3,"outcome":"verdict recorded","program":"matmul-5x5","status":"done","summary":"Verifying a claim in Fast 5×5 matrix multiplication","unit":null},{"created":1791839508,"deadline":1791844908,"id":33,"kind":"verify","node":3,"outcome":"verdict recorded","program":"ramsey-3-10","status":"done","summary":"Verifying a claim in Ramsey graphs R(3,10): one graph from an answer","unit":null},{"created":1791839467,"deadline":1791844867,"id":32,"kind":"verify","node":3,"outcome":"verdict recorded","program":"matmul-5x5","status":"done","summary":"Verifying a claim in Fast 5×5 matrix multiplication","unit":null},{"created":1791838843,"deadline":1791844243,"id":31,"kind":"verify","node":3,"outcome":"verdict recorded","program":"ramsey-3-10","status":"done","summary":"Verifying a claim in Ramsey graphs R(3,10): one graph from an answer","unit":null},{"created":1791838077,"deadline":1791843477,"id":29,"kind":"verify","node":3,"outcome":"verdict recorded","program":"matmul-5x5","status":"done","summary":"Verifying a claim in Fast 5×5 matrix multiplication","unit":null},{"created":1791837585,"deadline":1791842985,"id":27,"kind":"verify","node":3,"outcome":"verdict recorded","program":"matmul-5x5","status":"done","summary":"Verifying a claim in Fast 5×5 matrix multiplication","unit":null},{"created":1791836903,"deadline":1791842303,"id":25,"kind":"verify","node":3,"outcome":"verdict recorded","program":"ramsey-3-10","status":"done","summary":"Verifying a claim in Ramsey graphs R(3,10): one graph from an answer","unit":null},{"created":1791836517,"deadline":1791841917,"id":24,"kind":"verify","node":3,"outcome":"verdict recorded","program":"matmul-5x5","status":"done","summary":"Verifying a claim in Fast 5×5 matrix multiplication","unit":null},{"created":1791836334,"deadline":1791841734,"id":23,"kind":"verify","node":3,"outcome":"verdict recorded","program":"ramsey-3-10","status":"done","summary":"Verifying a claim in Ramsey graphs R(3,10): one graph from an answer","unit":null},{"created":1791836091,"deadline":1791841491,"id":22,"kind":"verify","node":3,"outcome":"verdict recorded","program":"ramsey-3-10","status":"done","summary":"Verifying a claim in Ramsey graphs R(3,10): one graph from an answer","unit":null},{"created":1791835481,"deadline":1791840881,"id":21,"kind":"verify","node":3,"outcome":"verdict recorded","program":"matmul-5x5","status":"done","summary":"Verifying a claim in Fast 5×5 matrix multiplication","unit":null},{"created":1791830471,"deadline":1791837671,"id":8,"kind":"verify","node":3,"outcome":"verdict recorded","program":"erdos-open","status":"done","summary":"Verifying a claim in Open Erdős problems, settled in Lean (an exact rerun)","unit":null},{"created":1791830431,"deadline":1791835831,"id":7,"kind":"verify","node":3,"outcome":"verdict recorded","program":"matmul-5x5","status":"done","summary":"Verifying a claim in Fast 5×5 matrix multiplication","unit":null},{"created":1791830149,"deadline":1791835549,"id":5,"kind":"verify","node":3,"outcome":"verdict recorded","program":"ramsey-3-10","status":"done","summary":"Verifying a claim in Ramsey graphs R(3,10): one graph from an answer","unit":null}]}