Herbie Reports

Reports: 284

Mainline: 184

Branches: 7

Crash-free: ∞

master
read-decimal-exact
fix-nightlies
no-repr-names
egg-generate-proof
cleanup
separate-patch-table

Date	Speed	Branch	Collection	Tests	Bits
Oct 07, 05:47	4.7s	master	tutorial	2/2	68/68	»
Oct 07, 05:47	4.5min	master	regression	10/12	230/344	»
Oct 07, 05:44	7.8min	master	physics	19/19	337/471	»
Oct 07, 05:41	7.2min	master	pbrt	8/9	94/103	»
Oct 07, 05:38	4.4min	master	numerics	24/31	647/704	»
Oct 07, 05:36	22.1min	master	mathematics	33/41	844/1123	»
Oct 07, 05:28	9.1min	master	libraries	33/35	597/665	»
Oct 07, 05:23	38.3min	master	haskell	155/164	1190/1520	»
Oct 07, 05:04	4.5min	master	hamming	28/28	978/1028	»
Oct 07, 05:02	48.6s	master	demo	4/4	60/74	»
Oct 02, 07:17	4.9s	master	tutorial	2/2	68/68	»
Oct 02, 07:16	2.5min	master	regression	10/11	228/345	»
Oct 02, 07:15	7.1min	master	physics	18/20	335/472	»
Oct 02, 07:12	8.5min	master	pbrt	8/10	94/103	»
Oct 02, 07:09	5.2min	master	numerics	24/31	647/705	»
Oct 02, 07:07	24.4min	master	mathematics	32/41	836/1073	»
Oct 02, 06:58	10.0min	master	libraries	33/35	594/664	»
Oct 02, 06:54	36.5min	master	haskell	157/163	1199/1512	»
Oct 02, 06:36	4.5min	master	hamming	28/28	970/1024	»
Oct 02, 06:34	36.9s	master	demo	4/4	61/74	»
Oct 02, 06:33	4.7s	master	tutorial	2/2	68/68	»
Oct 02, 06:33	2.3min	master	regression	10/11	228/345	»
Oct 02, 06:32	7.0min	master	physics	18/20	335/472	»
Oct 02, 06:29	8.6min	master	pbrt	8/10	94/103	»
Oct 02, 06:25	5.1min	master	numerics	24/31	647/705	»
Oct 02, 06:23	23.5min	master	mathematics	32/41	836/1073	»
Oct 02, 06:15	9.7min	master	libraries	33/35	595/677	»
Oct 02, 06:10	37.7min	master	haskell	157/163	1194/1503	»
Oct 02, 05:52	4.5min	master	hamming	28/28	971/1024	»
Oct 02, 05:50	32.5s	master	demo	4/4	61/74	»
Oct 01, 05:08	4.2s	master	tutorial	2/2	68/68	»
Oct 01, 05:08	2.3min	master	regression	11/11	234/347	»
Oct 01, 05:07	7.6min	master	physics	19/19	341/470	»
Oct 01, 05:04	8.3min	master	pbrt	8/10	94/102	»
Oct 01, 05:01	3.7min	master	numerics	24/31	645/706	»
Oct 01, 04:59	22.8min	master	mathematics	33/41	850/1132	»
Oct 01, 04:50	11.1min	master	libraries	32/35	590/661	»
Oct 01, 04:46	28.5min	master	haskell	156/163	1178/1492	»
Oct 01, 04:30	4.2min	master	hamming	28/28	973/1023	»
Oct 01, 04:28	34.7s	master	demo	4/4	58/73	»
Sept 30, 06:42	4.8s	master	tutorial	2/2	69/69	»
Sept 30, 06:42	2.3min	master	regression	10/11	231/345	»
Sept 30, 06:41	7.2min	master	physics	19/19	321/470	»
Sept 30, 06:38	8.5min	master	pbrt	8/9	95/103	»
Sept 30, 06:35	4.1min	master	numerics	24/31	649/707	»
Sept 30, 06:33	22.5min	master	mathematics	33/41	863/1131	»
Sept 30, 06:24	7.8min	master	libraries	33/35	594/681	»
Sept 30, 06:20	28.6min	master	haskell	153/163	1190/1519	»
Sept 30, 06:04	3.9min	master	hamming	28/28	972/1021	»
Sept 30, 06:02	41.5s	master	demo	4/4	61/75	»
Sept 30, 06:01	4.8s	master	tutorial	2/2	69/69	»
Sept 30, 06:01	2.2min	master	regression	10/11	231/345	»
Sept 30, 06:00	7.4min	master	physics	19/19	321/470	»
Sept 30, 05:57	8.4min	master	pbrt	8/9	95/103	»
Sept 30, 05:54	4.4min	master	numerics	24/31	649/707	»
Sept 30, 05:52	23.1min	master	mathematics	33/41	863/1131	»
Sept 30, 05:43	7.8min	master	libraries	33/35	594/681	»
Sept 30, 05:40	29.1min	master	haskell	152/163	1181/1493	»
Sept 30, 05:24	3.7min	master	hamming	28/28	972/1021	»
Sept 30, 05:22	37.4s	master	demo	4/4	61/75	»
Sept 28, 09:50	4.5s	master	tutorial	2/2	68/68	»
Sept 28, 09:50	2.5min	master	regression	11/11	276/347	»
Sept 28, 09:49	6.5min	master	physics	19/19	338/470	»
Sept 28, 09:46	7.1min	master	pbrt	8/9	95/103	»
Sept 28, 09:43	3.4min	master	numerics	24/31	645/704	»
Sept 28, 09:41	23.0min	master	mathematics	33/41	847/1130	»
Sept 28, 09:32	7.7min	master	libraries	34/35	602/682	»
Sept 28, 09:29	32.2min	master	haskell	157/163	1204/1523	»
Sept 28, 09:12	4.0min	master	hamming	28/28	974/1027	»
Sept 28, 09:10	38.9s	master	demo	4/4	60/74	»
Sept 28, 09:09	4.6s	master	tutorial	2/2	68/68	»
Sept 28, 09:09	2.6min	master	regression	11/11	270/347	»
Sept 28, 09:08	6.9min	master	physics	19/19	338/470	»
Sept 28, 09:05	6.9min	master	pbrt	8/9	95/103	»
Sept 28, 09:02	3.5min	master	numerics	24/31	645/704	»
Sept 28, 09:01	23.3min	master	mathematics	32/41	837/1089	»
Sept 28, 08:52	7.9min	master	libraries	34/35	602/682	»
Sept 28, 08:48	31.7min	master	haskell	156/163	1199/1514	»
Sept 28, 08:32	3.9min	master	hamming	28/28	974/1027	»
Sept 28, 08:30	33.4s	master	demo	4/4	60/74	»
Sept 27, 17:25	3.5min	master	⭐	28/28	970/1028	»
Sept 27, 17:25	3.5min	master	⭐	28/28	970/1028	»
Sept 27, 17:25	3.5min	master	⭐	28/28	970/1028	»
Sept 27, 17:25	3.5min	master	⭐	28/28	970/1028	»
Sept 27, 05:39	4.5s	master	tutorial	2/2	68/68	»
Sept 27, 05:39	2.6min	master	regression	10/11	233/348	»
Sept 27, 05:38	6.7min	master	physics	18/20	339/469	»
Sept 27, 05:35	8.7min	master	pbrt	8/9	94/103	»
Sept 27, 05:32	3.5min	master	numerics	24/31	647/703	»
Sept 27, 05:30	23.1min	master	mathematics	33/41	856/1133	»
Sept 27, 05:21	7.3min	master	libraries	34/35	606/680	»
Sept 27, 05:18	35.1min	master	haskell	155/163	1190/1520	»
Sept 27, 04:59	4.2min	master	hamming	27/28	955/1029	»
Sept 27, 04:57	33.4s	master	demo	3/4	60/75	»
Sept 25, 06:55	4.5s	master	tutorial	2/2	68/68	»
Sept 25, 06:55	2.5min	master	regression	11/11	267/347	»
Sept 25, 06:54	8.0min	master	physics	19/19	342/471	»
Sept 25, 06:51	7.7min	master	pbrt	8/9	95/103	»
Sept 25, 06:48	3.7min	master	numerics	24/31	651/708	»
Sept 25, 06:46	22.7min	master	mathematics	33/41	855/1134	»
Sept 25, 06:37	12.2min	master	libraries	33/35	592/677	»
Sept 25, 06:33	34.7min	master	haskell	153/163	1181/1501	»
Sept 25, 06:15	3.8min	master	hamming	28/28	978/1030	»
Sept 25, 06:13	44.3s	master	demo	4/4	59/75	»
Sept 24, 06:55	4.5s	master	tutorial	2/2	69/69	»
Sept 24, 06:55	2.5min	master	regression	11/11	254/347	»
Sept 24, 06:53	6.9min	master	physics	19/19	340/470	»
Sept 24, 06:51	6.5min	master	pbrt	8/9	94/103	»
Sept 24, 06:48	3.8min	master	numerics	24/31	645/705	»
Sept 24, 06:46	22.0min	master	mathematics	33/41	843/1135	»
Sept 24, 06:38	12.0min	master	libraries	32/35	548/610	»
Sept 24, 06:33	35.6min	master	haskell	155/163	1174/1491	»
Sept 24, 06:15	3.8min	master	hamming	28/28	963/1029	»
Sept 24, 06:13	38.7s	master	demo	3/4	58/74	»
Sept 24, 06:12	4.5s	master	tutorial	2/2	69/69	»
Sept 24, 06:12	2.5min	master	regression	11/11	254/347	»
Sept 24, 06:11	6.9min	master	physics	19/19	340/470	»
Sept 24, 06:08	6.4min	master	pbrt	8/9	94/103	»
Sept 24, 06:06	3.8min	master	numerics	24/31	645/705	»
Sept 24, 06:04	21.6min	master	mathematics	33/41	843/1135	»
Sept 24, 05:56	12.4min	master	libraries	32/35	548/610	»
Sept 24, 05:51	35.6min	master	haskell	154/163	1172/1491	»
Sept 24, 05:32	3.9min	master	hamming	28/28	963/1029	»
Sept 24, 05:31	38.3s	master	demo	3/4	58/74	»
Sept 23, 06:36	4.7s	master	tutorial	2/2	69/69	»
Sept 23, 06:36	2.6min	master	regression	10/11	229/344	»
Sept 23, 06:35	7.5min	master	physics	19/20	339/470	»
Sept 23, 06:32	7.4min	master	pbrt	8/9	95/103	»
Sept 23, 06:29	3.5min	master	numerics	24/31	646/705	»
Sept 23, 06:27	21.8min	master	mathematics	33/41	838/1133	»
Sept 23, 06:18	9.9min	master	libraries	33/35	596/667	»
Sept 23, 06:14	32.0min	master	haskell	153/163	1161/1489	»
Sept 23, 05:57	4.0min	master	hamming	28/28	972/1026	»
Sept 23, 05:55	32.0s	master	demo	4/4	58/74	»
Sept 22, 06:58	4.8s	master	tutorial	2/2	69/69	»
Sept 22, 06:58	2.4min	master	regression	11/11	244/346	»
Sept 22, 06:56	7.1min	master	physics	19/19	333/472	»
Sept 22, 06:54	8.1min	master	pbrt	8/9	94/103	»
Sept 22, 06:51	5.3min	master	numerics	24/31	644/703	»
Sept 22, 06:48	19.6min	master	mathematics	33/41	845/1131	»
Sept 22, 06:42	9.8min	master	libraries	32/35	588/676	»
Sept 22, 06:37	30.4min	master	haskell	157/163	1184/1519	»
Sept 22, 06:21	4.0min	master	hamming	28/28	973/1027	»
Sept 22, 06:19	44.0s	master	demo	4/4	60/74	»
Sept 20, 17:47	4.8s	master	tutorial	2/2	69/69	»
Sept 20, 17:47	2.5min	master	regression	10/11	232/347	»
Sept 20, 17:46	6.7min	master	physics	19/20	334/470	»
Sept 20, 17:43	6.9min	master	pbrt	8/9	94/103	»
Sept 20, 17:41	3.4min	master	numerics	24/31	654/705	»
Sept 20, 17:39	24.8min	master	mathematics	32/41	819/1105	»
Sept 20, 17:30	7.6min	master	libraries	32/35	596/680	»
Sept 20, 17:27	33.2min	master	haskell	152/163	1185/1479	»
Sept 20, 17:10	4.0min	master	hamming	28/28	980/1030	»
Sept 20, 17:08	48.2s	master	demo	3/4	60/74	»
Sept 11, 07:38	4.8s	master	tutorial	2/2	69/69	»
Sept 11, 07:37	2.6min	master	regression	10/11	233/347	»
Sept 11, 07:36	7.5min	master	physics	19/20	339/469	»
Sept 11, 07:33	7.9min	master	pbrt	8/9	94/103	»
Sept 11, 07:30	3.8min	master	numerics	24/31	648/706	»
Sept 11, 07:28	23.0min	master	mathematics	34/41	854/1132	»
Sept 11, 07:20	7.7min	master	libraries	33/35	599/682	»
Sept 11, 07:16	30.6min	master	haskell	156/163	1210/1518	»
Sept 11, 06:59	4.2min	master	hamming	28/28	975/1028	»
Sept 11, 06:57	47.3s	master	demo	4/4	60/75	»
Sept 10, 06:20	4.9s	master	tutorial	2/2	69/69	»
Sept 10, 06:20	2.7min	master	regression	10/11	286/349	»
Sept 10, 06:19	7.6min	master	physics	19/19	321/469	»
Sept 10, 06:16	6.9min	master	pbrt	8/9	94/102	»
Sept 10, 06:13	3.3min	master	numerics	24/31	644/704	»
Sept 10, 06:11	22.7min	master	mathematics	33/41	846/1130	»
Sept 10, 06:03	9.6min	master	libraries	33/35	592/678	»
Sept 10, 05:58	33.8min	master	haskell	154/164	1174/1494	»
Sept 10, 05:41	3.9min	master	hamming	28/28	972/1028	»
Sept 10, 05:39	59.0s	master	demo	4/4	59/75	»
Sept 09, 05:22	4.9s	master	tutorial	2/2	68/68	»
Sept 09, 05:22	2.4min	master	regression	10/11	232/346	»
Sept 09, 05:20	6.9min	master	physics	19/19	323/473	»
Sept 09, 05:18	6.5min	master	pbrt	8/9	94/103	»
Sept 09, 05:15	4.2min	master	numerics	24/31	641/704	»
Sept 09, 05:13	22.9min	master	mathematics	33/41	847/1130	»
Sept 09, 05:05	7.7min	master	libraries	34/35	605/680	»
Sept 09, 05:02	35.5min	master	haskell	153/164	1166/1500	»
Sept 09, 04:43	3.9min	master	hamming	27/28	942/1026	»
Sept 09, 04:41	35.6s	master	demo	4/4	59/73	»
Date	Speed	Branch	Collection	Tests	Bits
Oct 01, 04:27	4.2s	read-decimal-exact	tutorial	2/2	68/68	»
Oct 01, 04:27	2.5min	read-decimal-exact	regression	11/11	234/347	»
Oct 01, 04:26	7.7min	read-decimal-exact	physics	19/19	340/470	»
Oct 01, 04:23	8.2min	read-decimal-exact	pbrt	8/10	94/102	»
Oct 01, 04:20	4.1min	read-decimal-exact	numerics	24/31	644/706	»
Oct 01, 04:18	22.4min	read-decimal-exact	mathematics	33/41	845/1123	»
Oct 01, 04:09	10.4min	read-decimal-exact	libraries	33/35	592/674	»
Oct 01, 04:05	28.4min	read-decimal-exact	haskell	156/163	1179/1492	»
Oct 01, 03:49	4.1min	read-decimal-exact	hamming	28/28	973/1023	»
Oct 01, 03:47	35.8s	read-decimal-exact	demo	4/4	59/73	»
Sept 30, 05:21	4.9s	read-decimal-exact	tutorial	2/2	69/69	»
Sept 30, 05:21	2.2min	read-decimal-exact	regression	10/11	231/345	»
Sept 30, 05:20	7.3min	read-decimal-exact	physics	19/19	321/470	»
Sept 30, 05:17	8.7min	read-decimal-exact	pbrt	8/9	95/103	»
Sept 30, 05:14	4.2min	read-decimal-exact	numerics	24/31	649/707	»
Sept 30, 05:12	21.6min	read-decimal-exact	mathematics	33/41	858/1123	»
Sept 30, 05:03	9.8min	read-decimal-exact	libraries	33/35	593/667	»
Sept 30, 04:59	30.0min	read-decimal-exact	haskell	153/163	1170/1490	»
Sept 30, 04:42	3.8min	read-decimal-exact	hamming	28/28	972/1021	»
Sept 30, 04:40	34.4s	read-decimal-exact	demo	4/4	61/75	»
Date	Speed	Branch	Collection	Tests	Bits
Sept 28, 08:29	4.5s	fix-nightlies	tutorial	2/2	68/68	»
Sept 28, 08:28	2.5min	fix-nightlies	regression	11/11	269/347	»
Sept 28, 08:27	7.1min	fix-nightlies	physics	19/19	338/470	»
Sept 28, 08:25	7.2min	fix-nightlies	pbrt	8/9	95/103	»
Sept 28, 08:22	3.7min	fix-nightlies	numerics	24/31	645/704	»
Sept 28, 08:20	22.9min	fix-nightlies	mathematics	33/41	847/1130	»
Sept 28, 08:11	7.4min	fix-nightlies	libraries	34/35	602/682	»
Sept 28, 08:08	31.6min	fix-nightlies	haskell	156/163	1198/1514	»
Sept 28, 07:51	4.0min	fix-nightlies	hamming	28/28	974/1027	»
Sept 28, 07:49	38.9s	fix-nightlies	demo	4/4	60/74	»
Date	Speed	Branch	Collection	Tests	Bits
Sept 27, 04:56	4.8s	no-repr-names	tutorial	2/2	68/68	»
Sept 27, 04:56	2.4min	no-repr-names	regression	10/11	233/348	»
Sept 27, 04:55	6.9min	no-repr-names	physics	18/20	339/469	»
Sept 27, 04:52	9.0min	no-repr-names	pbrt	8/10	94/103	»
Sept 27, 04:49	3.7min	no-repr-names	numerics	24/31	647/703	»
Sept 27, 04:47	22.5min	no-repr-names	mathematics	33/41	856/1133	»
Sept 27, 04:38	7.5min	no-repr-names	libraries	34/35	606/680	»
Sept 27, 04:35	35.3min	no-repr-names	haskell	155/164	1191/1520	»
Sept 27, 04:16	4.2min	no-repr-names	hamming	27/28	955/1029	»
Sept 27, 04:15	37.3s	no-repr-names	demo	3/4	60/75	»
Sept 24, 05:29	4.6s	no-repr-names	tutorial	2/2	69/69	»
Sept 24, 05:29	2.7min	no-repr-names	regression	11/11	254/347	»
Sept 24, 05:28	7.3min	no-repr-names	physics	19/19	339/470	»
Sept 24, 05:25	6.5min	no-repr-names	pbrt	8/9	94/103	»
Sept 24, 05:23	4.0min	no-repr-names	numerics	24/31	645/705	»
Sept 24, 05:21	22.6min	no-repr-names	mathematics	33/41	843/1135	»
Sept 24, 05:12	12.7min	no-repr-names	libraries	32/35	548/610	»
Sept 24, 05:07	35.6min	no-repr-names	haskell	155/163	1174/1491	»
Sept 24, 04:49	3.7min	no-repr-names	hamming	28/28	963/1029	»
Sept 24, 04:47	36.9s	no-repr-names	demo	3/4	58/74	»
Date	Speed	Branch	Collection	Tests	Bits
Sept 25, 06:11	4.0s	egg-generate-proof	tutorial	2/2	68/68	»
Sept 25, 06:11	12.0min	egg-generate-proof	regression	11/12	267/346	»
Sept 25, 06:00	7.4min	egg-generate-proof	physics	19/19	334/471	»
Sept 25, 05:57	6.5min	egg-generate-proof	pbrt	8/9	95/103	»
Sept 25, 05:55	6.1min	egg-generate-proof	numerics	24/31	653/708	»
Sept 25, 05:51	42.7min	egg-generate-proof	mathematics	35/41	900/1190	»
Sept 25, 05:37	7.5min	egg-generate-proof	libraries	34/35	606/681	»
Sept 25, 05:34	40.2min	egg-generate-proof	haskell	157/163	1211/1500	»
Sept 25, 05:15	3.6min	egg-generate-proof	hamming	28/28	970/1030	»
Sept 25, 05:13	39.1s	egg-generate-proof	demo	4/4	59/75	»
Date	Speed	Branch	Collection	Tests	Bits
Sept 23, 05:53	4.7s	cleanup	tutorial	2/2	69/69	»
Sept 23, 05:53	2.6min	cleanup	regression	10/11	229/344	»
Sept 23, 05:52	7.7min	cleanup	physics	19/20	339/470	»
Sept 23, 05:49	7.3min	cleanup	pbrt	8/9	95/103	»
Sept 23, 05:46	3.7min	cleanup	numerics	24/31	646/705	»
Sept 23, 05:44	22.0min	cleanup	mathematics	33/41	838/1133	»
Sept 23, 05:35	10.0min	cleanup	libraries	33/35	596/667	»
Sept 23, 05:31	32.2min	cleanup	haskell	153/163	1161/1489	»
Sept 23, 05:14	4.0min	cleanup	hamming	28/28	972/1026	»
Sept 23, 05:12	32.4s	cleanup	demo	4/4	58/74	»
Sept 22, 06:18	4.7s	cleanup	tutorial	2/2	69/69	»
Sept 22, 06:18	2.2min	cleanup	regression	11/11	268/346	»
Sept 22, 06:17	6.7min	cleanup	physics	19/19	332/472	»
Sept 22, 06:14	5.9min	cleanup	pbrt	8/9	94/103	»
Sept 22, 06:12	3.8min	cleanup	numerics	24/31	644/703	»
Sept 22, 06:10	19.7min	cleanup	mathematics	33/41	841/1131	»
Sept 22, 06:03	8.3min	cleanup	libraries	32/35	587/678	»
Sept 22, 06:00	25.7min	cleanup	haskell	157/163	1187/1519	»
Sept 22, 05:44	3.9min	cleanup	hamming	28/28	973/1027	»
Sept 22, 05:42	39.7s	cleanup	demo	4/4	60/74	»
Sept 20, 17:07	4.9s	cleanup	tutorial	2/2	69/69	»
Sept 20, 17:07	2.5min	cleanup	regression	10/11	281/347	»
Sept 20, 17:06	6.3min	cleanup	physics	18/20	319/470	»
Sept 20, 17:03	5.8min	cleanup	pbrt	8/9	94/103	»
Sept 20, 17:01	3.3min	cleanup	numerics	24/31	654/705	»
Sept 20, 16:59	22.7min	cleanup	mathematics	32/41	824/1161	»
Sept 20, 16:51	6.9min	cleanup	libraries	32/35	594/680	»
Sept 20, 16:48	26.5min	cleanup	haskell	153/163	1203/1502	»
Sept 20, 16:32	3.9min	cleanup	hamming	28/28	980/1030	»
Sept 20, 16:30	35.8s	cleanup	demo	3/4	60/74	»
Date	Speed	Branch	Collection	Tests	Bits
Sept 10, 05:38	4.7s	separate-patch-table	tutorial	2/2	69/69	»
Sept 10, 05:38	2.6min	separate-patch-table	regression	10/11	237/349	»
Sept 10, 05:37	7.4min	separate-patch-table	physics	19/19	321/469	»
Sept 10, 05:34	7.0min	separate-patch-table	pbrt	8/9	94/102	»
Sept 10, 05:31	3.3min	separate-patch-table	numerics	24/31	644/704	»
Sept 10, 05:29	22.0min	separate-patch-table	mathematics	33/41	846/1130	»
Sept 10, 05:21	9.5min	separate-patch-table	libraries	33/35	592/678	»
Sept 10, 05:16	30.9min	separate-patch-table	haskell	154/163	1174/1494	»
Sept 10, 05:00	4.1min	separate-patch-table	hamming	28/28	972/1028	»
Sept 10, 04:58	58.5s	separate-patch-table	demo	4/4	59/75	»