Herbie Reports

Reports: 165

Mainline: 43

Branches: 50

Crash-free: 0d

main
faster-sampling
fpcore-fixes
split-compilers
platforms-julia
no-simplify
jackson-platforms-merge-main
fix-proofs
report-cost-multi-alts
alt-support-code
varun10p-platforms
fix-sort-timeline
explanations-eval-top3
explanations-eval-aggregate
artem-safe-sampling
artem-no-max-formulas
artem-sharing-exponents
faster-atab-add-altns
artem-exponents-per-argument-5bits-ampl
artem-exponents-per-argument
faster-localize-cost
spec-rewriting
ffi-optimizations
zane-regimes-touch-up
add-all-targets-to-graph
zane-regimes-bug-fix
jackson-platforms-report
fix-register-compiler
simplify-patch
cost-tuning
zane-regimes-8-iters
zane-fix-failing-unit-tests
add-id-expand-rule
zane-regimes-lt-or-eq
egg-serialize
minimal-crash-pages
artem-no-repeats-tuning
xor-bug-fixed
platforms
new-benchmark
artem-tuning-cleanup-128start-5ampl
platforms-nightlies
no-tuning-exit-points-check
artem-tuning-cleanup
explanations-eval-freq
zane-regimes-loops
zane-regimes-flatten
explanations-eval
try-fix-regimes-stopping-condition
static-argnum-eval

Date	Speed	Branch	Collection	Tests	Bits
Apr 29, 03:35	1.6hr	main	bench	320/381	5579/6826	»
Apr 28, 05:15	1.6hr	main	bench	322/379	5661/6829	»
Apr 27, 08:49	1.6hr	main	bench	325/380	5629/6823	»
Apr 26, 10:45	1.6hr	main	bench	325/381	5664/6823	»
Apr 26, 04:43	5.1hr	main	bench	319/381	5557/6548	»
Apr 25, 19:04	1.6hr	main	bench	326/379	5658/6842	»
Apr 25, 04:46	5.2hr	main	bench	320/380	5549/6555	»
Apr 23, 03:35	1.6hr	main	bench	318/381	5629/6829	»
Apr 22, 10:39	1.9hr	main	bench	322/380	5622/6800	»
Apr 22, 05:29	1.9hr	main	bench	322/380	5622/6800	»
Apr 21, 08:05	1.8hr	main	bench	323/381	5560/6809	»
Apr 20, 18:18	1.9hr	main	bench	324/380	5613/6820	»
Apr 20, 14:17	1.9hr	main	bench	324/380	5613/6820	»
Apr 20, 03:40	1.9hr	main	bench	326/380	5648/6863	»
Apr 19, 19:59	2.2hr	main	bench	327/379	5627/6724	»
Apr 19, 03:45	2.2hr	main	bench	327/379	5627/6724	»
Apr 18, 07:14	1.6hr	main	bench	325/379	5579/6749	»
Apr 17, 16:05	1.6hr	main	bench	321/379	5603/6734	»
Apr 17, 09:43	1.6hr	main	bench	321/379	5603/6734	»
Apr 16, 12:35	1.9hr	main	bench	319/380	5572/6710	»
Apr 15, 19:51	1.6hr	main	bench	325/379	5627/6749	»
Apr 15, 04:08	1.6hr	main	bench	325/379	5627/6749	»
Apr 14, 04:06	1.6hr	main	bench	321/380	5552/6755	»
Apr 12, 18:49	1.6hr	main	bench	322/380	5567/6744	»
Apr 12, 11:18	1.6hr	main	bench	322/380	5567/6744	»
Apr 12, 05:24	1.6hr	main	bench	322/380	5567/6744	»
Apr 11, 11:55	1.6hr	main	bench	319/381	5602/6743	»
Apr 11, 03:35	1.6hr	main	bench	319/381	5602/6743	»
Apr 10, 18:58	1.7hr	main	bench	327/381	5578/6751	»
Apr 10, 03:39	1.8hr	main	bench	326/380	5558/6731	»
Apr 09, 03:36	1.7hr	main	bench	325/378	5563/6733	»
Apr 08, 08:11	1.7hr	main	bench	317/379	5468/6613	»
Apr 07, 04:21	1.7hr	main	bench	329/377	5541/6665	»
Apr 06, 12:25	1.7hr	main	bench	322/378	5494/6670	»
Apr 06, 05:24	1.7hr	main	bench	322/378	5494/6670	»
Apr 05, 18:39	1.7hr	main	bench	320/378	5496/6674	»
Apr 05, 09:13	1.7hr	main	bench	320/378	5496/6674	»
Apr 04, 15:51	1.7hr	main	bench	318/380	5525/6614	»
Apr 04, 06:47	1.7hr	main	bench	318/380	5525/6614	»
Apr 03, 07:16	1.7hr	main	bench	321/379	5504/6607	»
Apr 02, 07:33	1.8hr	main	bench	323/379	5428/6606	»
Apr 01, 17:10	1.8hr	main	bench	321/379	5512/6652	»
Mar 31, 03:38	1.8hr	main	bench	319/378	5412/6594	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 29, 05:16	1.6hr	faster-sampling	bench	320/381	5579/6826	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 28, 04:39	1.6hr	fpcore-fixes	bench	319/379	5624/6750	»
Apr 27, 03:33	1.6hr	fpcore-fixes	bench	327/380	5579/6744	»
Apr 17, 06:38	1.6hr	fpcore-fixes	bench	321/379	5603/6734	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 27, 08:15	1.7hr	split-compilers	bench	325/380	5632/6824	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 27, 07:11	2.1hr	platforms-julia	bench	324/380	5509/6642	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 26, 12:35	1.8hr	no-simplify	bench	322/380	5641/6819	»
Apr 26, 07:43	1.8hr	no-simplify	bench	322/380	5641/6819	»
Apr 25, 16:45	1.3hr	no-simplify	bench	323/380	5678/6841	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 26, 11:56	1.7hr	jackson-platforms-merge-main	bench	324/380	5553/6700	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 26, 11:20	1.6hr	fix-proofs	bench	325/381	5664/6823	»
Apr 17, 15:33	1.6hr	fix-proofs	bench	321/379	5603/6734	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 26, 08:18	1.6hr	report-cost-multi-alts	bench	0/548	5688/6848	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 26, 06:28	5.1hr	alt-support-code	bench	199/547	5557/6548	»
Apr 25, 06:41	5.9hr	alt-support-code	bench	200/546	5375/6307	»
Apr 24, 06:59	6.4hr	alt-support-code	bench	197/546	5299/6225	»
Apr 23, 04:16	2.0hr	alt-support-code	bench	196/546	5486/6624	»
Apr 19, 04:26	2.0hr	alt-support-code	bench	323/379	5468/6627	»
Apr 17, 04:17	2.0hr	alt-support-code	bench	318/379	5544/6636	»
Apr 16, 04:56	2.0hr	alt-support-code	bench	315/380	5514/6634	»
Apr 12, 03:41	2.0hr	alt-support-code	bench	321/381	5534/6694	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 25, 18:01	2.0hr	varun10p-platforms	bench	318/380	5463/6579	»
Apr 24, 14:47	2.6hr	varun10p-platforms	bench	315/381	5472/6549	»
Apr 21, 06:16	2.1hr	varun10p-platforms	bench	319/380	5444/6573	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 25, 16:17	1.6hr	fix-sort-timeline	bench	325/379	5656/6842	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 25, 15:41	2.0hr	explanations-eval-top3	bench	317/379	5432/6525	»
Apr 05, 06:23	2.0hr	explanations-eval-top3	bench	316/378	5503/6594	»
Apr 01, 16:33	1.9hr	explanations-eval-top3	bench	315/379	5482/6551	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 25, 14:59	2.0hr	explanations-eval-aggregate	bench	317/379	5432/6525	»
Apr 05, 16:32	2.0hr	explanations-eval-aggregate	bench	315/378	5493/6570	»
Apr 05, 13:00	2.0hr	explanations-eval-aggregate	bench	315/378	5493/6570	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 25, 14:17	1.6hr	artem-safe-sampling	bench	326/379	5658/6842	»
Apr 25, 10:12	5.2hr	artem-safe-sampling	bench	320/380	5549/6555	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 25, 13:42	1.6hr	artem-no-max-formulas	bench	326/379	5658/6842	»
Apr 25, 08:26	5.2hr	artem-no-max-formulas	bench	320/380	5549/6555	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 25, 12:20	6.5hr	artem-sharing-exponents	bench	313/382	5388/6360	»
Apr 23, 06:18	2.1hr	artem-sharing-exponents	bench	318/381	5605/6747	»
Apr 19, 05:53	2.1hr	artem-sharing-exponents	bench	328/379	5637/6748	»
Apr 17, 05:21	1.5hr	artem-sharing-exponents	bench	321/379	5603/6734	»
Apr 16, 06:02	1.6hr	artem-sharing-exponents	bench	320/380	5582/6734	»
Apr 11, 11:21	1.6hr	artem-sharing-exponents	bench	319/381	5602/6743	»
Apr 11, 04:23	1.6hr	artem-sharing-exponents	bench	319/381	5602/6743	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 23, 06:52	1.6hr	faster-atab-add-altns	bench	318/380	5629/6829	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 23, 05:34	1.8hr	artem-exponents-per-argument-5bits-ampl	bench	318/381	5622/6822	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 23, 04:55	1.8hr	artem-exponents-per-argument	bench	318/381	5623/6823	»
Apr 19, 16:26	2.2hr	artem-exponents-per-argument	bench	327/379	5602/6686	»
Apr 19, 05:10	2.2hr	artem-exponents-per-argument	bench	327/379	5601/6686	»
Apr 18, 03:33	1.6hr	artem-exponents-per-argument	bench	325/379	5578/6749	»
Apr 17, 04:49	1.6hr	artem-exponents-per-argument	bench	321/379	5603/6734	»
Apr 16, 05:29	1.6hr	artem-exponents-per-argument	bench	321/380	5591/6744	»
Apr 14, 03:33	1.6hr	artem-exponents-per-argument	bench	322/380	5555/6765	»
Apr 12, 04:14	1.6hr	artem-exponents-per-argument	bench	322/380	5569/6744	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 22, 10:00	1.7hr	faster-localize-cost	bench	323/380	5627/6804	»
Apr 22, 03:36	1.7hr	faster-localize-cost	bench	323/379	5607/6800	»
Apr 20, 14:47	1.4hr	faster-localize-cost	bench	322/379	5612/6820	»
Apr 20, 04:17	1.7hr	faster-localize-cost	bench	323/379	5597/6745	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 22, 04:50	1.8hr	spec-rewriting	bench	316/380	5622/6746	»
Apr 20, 17:39	1.7hr	spec-rewriting	bench	299/396	5232/6149	»
Apr 19, 19:15	2.4hr	spec-rewriting	bench	321/379	5577/6680	»
Apr 19, 06:39	2.4hr	spec-rewriting	bench	320/383	5576/6678	»
Apr 17, 07:18	2.1hr	spec-rewriting	bench	311/379	5402/6548	»
Apr 16, 11:06	2.1hr	spec-rewriting	bench	273/380	3795/6441	»
Apr 12, 04:52	2.0hr	spec-rewriting	bench	270/380	3747/6449	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 22, 04:16	1.9hr	ffi-optimizations	bench	322/380	5622/6800	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 21, 07:26	2.0hr	zane-regimes-touch-up	bench	325/381	5591/6852	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 21, 03:39	1.8hr	add-all-targets-to-graph	bench	323/381	5560/6809	»
Apr 16, 03:41	2.0hr	add-all-targets-to-graph	bench	315/380	5514/6634	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 20, 04:49	1.6hr	zane-regimes-bug-fix	bench	328/379	5598/6745	»
Apr 19, 07:11	1.6hr	zane-regimes-bug-fix	bench	327/378	5573/6750	»
Apr 17, 09:11	1.6hr	zane-regimes-bug-fix	bench	318/379	5574/6734	»
Apr 15, 20:23	1.6hr	zane-regimes-bug-fix	bench	325/379	5635/6749	»
Apr 12, 18:17	1.6hr	zane-regimes-bug-fix	bench	316/380	5522/6745	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 19, 18:22	2.1hr	jackson-platforms-report	bench	320/379	5452/6563	»
Apr 18, 05:34	2.0hr	jackson-platforms-report	bench	320/379	5481/6592	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 19, 17:07	1.9hr	fix-register-compiler	bench	330/379	5687/6867	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 18, 06:41	1.8hr	simplify-patch	bench	323/378	5548/6704	»
Apr 16, 10:27	1.9hr	simplify-patch	bench	318/379	5551/6689	»
Apr 11, 05:01	1.9hr	simplify-patch	bench	318/380	5582/6723	»
Apr 09, 08:00	2.1hr	simplify-patch	bench	322/379	5456/6590	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 18, 04:17	2.2hr	cost-tuning	bench	325/380	5610/6749	»
Apr 10, 05:03	2.5hr	cost-tuning	bench	315/380	5543/6565	»
Apr 05, 04:19	2.2hr	cost-tuning	bench	317/378	5474/6613	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 17, 08:38	2.3hr	zane-regimes-8-iters	bench	317/379	5537/6647	»
Apr 16, 11:53	2.3hr	zane-regimes-8-iters	bench	312/380	5554/6710	»
Apr 14, 10:12	2.3hr	zane-regimes-8-iters	bench	315/381	5511/6729	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 17, 07:52	1.7hr	zane-fix-failing-unit-tests	bench	321/379	5602/6734	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 17, 03:36	1.7hr	add-id-expand-rule	bench	322/379	5525/6735	»
Apr 16, 04:16	1.7hr	add-id-expand-rule	bench	323/380	5611/6735	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 16, 12:34	2.0hr	zane-regimes-lt-or-eq	bench	313/379	5431/6580	»
Apr 12, 10:46	1.7hr	zane-regimes-lt-or-eq	bench	319/379	5474/6662	»
Apr 08, 07:37	1.7hr	zane-regimes-lt-or-eq	bench	314/379	5453/6612	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 16, 07:15	2.2hr	egg-serialize	bench	319/379	5480/6580	»
Apr 09, 04:56	2.2hr	egg-serialize	bench	321/379	5564/6662	»
Apr 07, 03:45	2.1hr	egg-serialize	bench	321/377	5542/6631	»
Apr 06, 11:51	2.1hr	egg-serialize	bench	318/378	5569/6660	»
Apr 06, 04:13	1.9hr	egg-serialize	bench	304/394	5295/6179	»
Apr 05, 04:56	1.8hr	egg-serialize	bench	316/378	5524/6663	»
Apr 04, 04:13	1.8hr	egg-serialize	bench	309/385	5290/6423	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 15, 03:35	1.6hr	minimal-crash-pages	bench	325/379	5627/6749	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 10, 19:31	1.6hr	artem-no-repeats-tuning	bench	326/379	5558/6731	»
Apr 10, 04:13	1.6hr	artem-no-repeats-tuning	bench	326/379	5558/6731	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 10, 05:41	1.8hr	xor-bug-fixed	bench	326/379	5558/6731	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 09, 06:48	2.1hr	platforms	bench	322/380	5489/6590	»
Apr 04, 05:34	2.1hr	platforms	bench	316/381	5480/6552	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 09, 05:32	1.7hr	new-benchmark	bench	325/380	5524/6693	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 09, 04:11	1.7hr	artem-tuning-cleanup-128start-5ampl	bench	326/378	5564/6733	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 08, 07:02	2.0hr	platforms-nightlies	bench	314/380	5491/6595	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 06, 04:48	1.7hr	no-tuning-exit-points-check	bench	322/378	5549/6723	»
Apr 05, 06:59	1.7hr	no-tuning-exit-points-check	bench	320/378	5551/6728	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 06, 03:34	1.6hr	artem-tuning-cleanup	bench	322/378	5552/6729	»
Apr 05, 03:36	1.7hr	artem-tuning-cleanup	bench	321/378	5556/6734	»
Apr 04, 03:35	1.7hr	artem-tuning-cleanup	bench	319/380	5584/6722	»
Apr 03, 07:56	1.9hr	artem-tuning-cleanup	bench	320/379	5498/6679	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 05, 19:35	2.0hr	explanations-eval-freq	bench	316/378	5503/6594	»
Apr 05, 18:04	2.0hr	explanations-eval-freq	bench	316/378	5503/6594	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 05, 08:39	1.8hr	zane-regimes-loops	bench	271/378	4301/6624	»
Apr 04, 06:12	1.9hr	zane-regimes-loops	bench	317/380	5510/6591	»
Mar 31, 04:15	1.8hr	zane-regimes-loops	bench	319/378	5412/6594	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 05, 08:03	2.8hr	zane-regimes-flatten	bench	292/380	4909/6485	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 05, 05:39	2.0hr	explanations-eval	bench	315/378	5493/6570	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 04, 15:17	1.8hr	try-fix-regimes-stopping-condition	bench	318/380	5523/6614	»
Date	Speed	Branch	Collection	Tests	Bits
Apr 02, 06:55	1.7hr	static-argnum-eval	bench	323/379	5428/6606	»