Herbie Reports

Reports: 31

Mainline: 14

Branches: 12

Crash-free: ∞

main
api-analyze-endpoint
egraph-extract-original
compact-report-plots
oflatt-proof-flatten-limit
oflatt-egglog-ctx
update-gh-actions
refactor-sandbox
explain-error
oflatt-taylor-sound
no-rules-in-reduce
render-proofs

Date	Speed	Branch	Collection	Tests	Bits
Jan 12, 01:35	1.8hr	main	bench	316/361	5629/6722	»
Jan 11, 01:35	1.8hr	main	bench	318/361	5722/6673	»
Jan 10, 18:14	1.8hr	main	bench	318/360	5684/6661	»
Jan 06, 02:35	1.8hr	main	bench	326/361	5731/6717	»
Jan 03, 01:36	1.8hr	main	bench	319/361	5701/6666	»
Jan 02, 01:35	1.8hr	main	bench	328/361	5713/6734	»
Dec 31, 02:11	1.8hr	main	bench	320/361	5607/6665	»
Dec 30, 02:47	1.8hr	main	bench	320/360	5682/6717	»
Dec 22, 02:12	1.8hr	main	bench	320/360	5716/6655	»
Dec 21, 02:37	1.9hr	main	bench	314/361	5662/6604	»
Dec 20, 02:36	1.8hr	main	bench	317/361	5687/6718	»
Dec 15, 15:03	1.8hr	main	bench	314/360	5717/6718	»
Dec 15, 13:50	1.8hr	main	bench	314/360	5717/6718	»
Dec 15, 11:17	1.8hr	main	bench	314/360	5717/6718	»
Date	Speed	Branch	Collection	Tests	Bits
Jan 12, 02:10	1.8hr	api-analyze-endpoint	bench	316/361	5629/6722	»
Jan 11, 02:11	1.8hr	api-analyze-endpoint	bench	318/361	5722/6673	»
Date	Speed	Branch	Collection	Tests	Bits
Jan 11, 03:23	1.9hr	egraph-extract-original	bench	319/361	5737/6737	»
Jan 10, 15:28	1.9hr	egraph-extract-original	bench	319/360	5632/6661	»
Date	Speed	Branch	Collection	Tests	Bits
Jan 11, 02:46	1.8hr	compact-report-plots	bench	319/361	5749/6728	»
Dec 30, 01:36	1.8hr	compact-report-plots	bench	320/360	5682/6717	»
Date	Speed	Branch	Collection	Tests	Bits
Jan 10, 17:39	1.8hr	oflatt-proof-flatten-limit	bench	318/360	5684/6661	»
Date	Speed	Branch	Collection	Tests	Bits
Jan 10, 17:02	3.2hr	oflatt-egglog-ctx	bench	307/368	5138/6342	»
Jan 06, 02:03	3.4hr	oflatt-egglog-ctx	bench	302/368	5054/6303	»
Dec 17, 01:46	24.1min	oflatt-egglog-ctx	bench	0/540	0/0	»
Dec 15, 09:41	23.7min	oflatt-egglog-ctx	bench	0/540	0/0	»
Date	Speed	Branch	Collection	Tests	Bits
Dec 31, 01:35	1.8hr	update-gh-actions	bench	320/361	5607/6665	»
Date	Speed	Branch	Collection	Tests	Bits
Dec 30, 02:12	1.8hr	refactor-sandbox	bench	319/360	5659/6653	»
Date	Speed	Branch	Collection	Tests	Bits
Dec 22, 01:36	1.8hr	explain-error	bench	321/360	5743/6719	»
Date	Speed	Branch	Collection	Tests	Bits
Dec 17, 02:22	1.9hr	oflatt-taylor-sound	bench	329/361	5643/6733	»
Date	Speed	Branch	Collection	Tests	Bits
Dec 15, 14:28	1.8hr	no-rules-in-reduce	bench	314/360	5717/6718	»
Date	Speed	Branch	Collection	Tests	Bits
Dec 15, 10:42	1.8hr	render-proofs	bench	314/360	5717/6718	»