Herbie Reports

Reports: 80

Mainline: 23

Branches: 22

Crash-free: 2d

Date	Speed	Branch	Collection	Tests	Bits
Apr 02, 03:24	45.2min	main	316/387	5679/6986	»
Apr 01, 15:45	48.7min	main	325/387	5690/6988	»
Apr 01, 14:27	15.2min	main	107/490	3009/3357	»
Apr 01, 03:26	48.5min	main	325/387	5690/6928	»
Mar 30, 03:25	47.1min	main	321/387	5684/6931	»
Mar 29, 03:25	47.9min	main	323/388	5753/6925	»
Mar 28, 03:25	48.2min	main	317/388	5701/6937	»
Mar 27, 03:25	48.9min	main	318/388	5666/6927	»
Mar 26, 03:21	49.5min	main	317/387	5656/6912	»
Mar 25, 03:23	49.7min	main	316/387	5651/6940	»
Mar 23, 03:22	49.2min	main	319/388	5664/6940	»
Mar 20, 03:23	54.2min	main	316/387	5695/6994	»
Mar 19, 03:23	53.9min	main	314/387	5653/6998	»
Mar 18, 03:24	54.6min	main	323/387	5675/6988	»
Mar 17, 12:54	54.7min	main	315/387	5682/6986	»
Mar 16, 03:24	54.2min	main	316/387	5659/6985	»
Mar 15, 03:24	54.6min	main	320/388	5628/6989	»
Mar 14, 03:24	54.9min	main	328/387	5688/6990	»
Mar 13, 03:24	54.3min	main	322/388	5648/6995	»
Mar 12, 03:22	53.5min	main	323/386	5697/6975	»
Mar 07, 03:23	54.6min	main	317/387	5647/6984	»
Mar 06, 03:24	55.3min	main	318/387	5678/6988	»
Mar 05, 03:23	54.3min	main	323/388	5688/6979	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 03, 15:06	46.8min	more-types	315/387	5664/6973	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 03, 04:21	46.7min	hardware-accelerators	316/388	5677/6986	»
Apr 03, 03:57	47.4min	hardware-accelerators	295/326	5743/7024	»
Apr 02, 04:11	15.9min	hardware-accelerators	161/178	2515/3108	»
Apr 02, 04:01	15.6min	hardware-accelerators	161/178	2515/3108	»
Mar 26, 18:01	51.0min	hardware-accelerators	295/326	5684/6951	»
Mar 26, 04:06	50.8min	hardware-accelerators	295/326	5684/6951	»
Mar 26, 03:44	49.2min	hardware-accelerators	317/387	5656/6912	»
Mar 25, 04:09	51.3min	hardware-accelerators	294/327	5679/6977	»
Mar 25, 03:46	49.5min	hardware-accelerators	316/387	5651/6940	»
Mar 06, 04:46	1.1hr	hardware-accelerators	295/325	5457/6966	»
Mar 06, 04:17	52.4min	hardware-accelerators	296/326	5453/6965	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 02, 07:03	45.4min	unused-alt-events	317/387	5668/6986	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 02, 03:50	45.2min	egglog-merge	315/387	5679/6986	»
Apr 01, 03:53	48.0min	egglog-merge	325/387	5690/6928	»
Mar 30, 04:15	46.6min	egglog-merge	320/387	5684/6931	»
Mar 29, 04:18	47.3min	egglog-merge	320/388	5753/6925	»
Mar 28, 03:51	47.8min	egglog-merge	314/388	5701/6937	»
Mar 12, 03:57	24.7min	egglog-merge	0/556	0/0	»
Mar 07, 03:52	24.4min	egglog-merge	0/556	0/0	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 01, 17:24	47.0min	no-initial-simplify	325/387	5690/6988	»
Apr 01, 16:47	56.8min	no-initial-simplify	325/387	5690/6988	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 01, 16:13	47.0min	faster-pruning	324/386	5735/6989	»
Apr 01, 15:07	46.2min	faster-pruning	313/401	5536/6864	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 30, 03:50	47.2min	autofix-22-1	321/387	5684/6931	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 29, 03:52	47.9min	always-constant-fold	323/388	5753/6925	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 28, 04:17	48.5min	fix-1041	317/388	5701/6937	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 27, 03:53	49.1min	merge-improve-alternatives	318/388	5666/6927	»
Mar 19, 04:16	53.2min	merge-improve-alternatives	314/387	5653/6998	»
Mar 18, 04:18	53.0min	merge-improve-alternatives	323/387	5675/6988	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 25, 04:33	49.2min	remove_exactness_test	316/387	5651/6940	»
Mar 20, 04:40	53.5min	remove_exactness_test	316/387	5695/6994	»
Mar 06, 05:10	54.6min	remove_exactness_test	318/387	5678/6988	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 24, 11:30	36.1min	rival-kernel	330/387	5780/6961	»
Mar 21, 16:33	37.1min	rival-kernel	326/388	5683/6953	»
Mar 20, 05:30	38.7min	rival-kernel	317/387	5724/7032	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 24, 10:44	40.5min	baseline-kernel	329/387	5776/6955	»
Mar 21, 17:53	43.3min	baseline-kernel	327/388	5680/6947	»
Mar 21, 16:56	29.3s	baseline-kernel	15/555	369/376	»
Mar 20, 04:16	42.1min	baseline-kernel	317/387	5726/7029	»
Mar 18, 03:50	57.9min	baseline-kernel	324/387	5674/6982	»
Mar 16, 18:29	57.5min	baseline-kernel	315/387	5653/6979	»
Mar 16, 17:54	1.1hr	baseline-kernel	293/364	5292/6498	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 23, 03:46	49.4min	autofix-21-1	319/388	5664/6940	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 20, 05:55	54.4min	z3solver_main	316/387	5695/6994	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 19, 03:48	54.2min	explanations-paper	314/387	5653/6998	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 17, 13:44	54.8min	cleanup-various	315/387	5682/6986	»
Mar 17, 11:45	54.9min	cleanup-various	310/390	5462/6985	»
Mar 14, 03:49	55.0min	cleanup-various	307/388	5096/6987	»
Mar 13, 03:51	54.0min	cleanup-various	303/389	5012/6993	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 14, 04:14	55.1min	warn-mpfr-threads	328/387	5688/6990	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 12, 03:47	53.3min	autofix-19-1	323/386	5697/6975	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 07, 12:26	1.0hr	chassis-platforms-cleanup	291/328	5728/7009	»
Mar 06, 03:53	1.2hr	chassis-platforms-cleanup	295/326	5763/7007	»
Mar 05, 15:29	1.1hr	chassis-platforms-cleanup	291/327	5734/6999	»
Mar 05, 03:47	57.0min	chassis-platforms-cleanup	287/343	5575/6890	»
Date	Speed	Branch	Collection	Tests	Bits
Mar 07, 03:34	24.4min	aditya-egglog-develop-2	0/556	0/0	»