igneum/tools/attack/f1-shadow/results/f1-top50-corrected.csv

1	idx	seed	attempt	naive_instrs	cost_instrs	save_instrs_pct	naive_chip	cost_chip	save_chip_pct	naive_counted_ops	nodes	needed	unneeded_derived	option_a	consts	rw_identity	rw_xor_cancel	rw_sum_cancel	rw_or_idem	rw_rotl_merge	rw_rotr_merge	rw_mul_shared	difftest	verify
2	8556	attack-f1/8556	1	6912	6588	4.6875	6372	6102	4.2373	11556	9758	8044	244	5346	30	135	135	81	0	54	0	27	ok	ok
3	4259	attack-f1/4259	0	6912	6588	4.6875	6021	5778	4.0359	11529	9299	8073	189	5913	30	162	216	27	0	135	0	0	ok	ok
4	1206	attack-f1/1206	0	6912	6615	4.2969	6318	6102	3.4188	12690	9014	7773	190	4834	42	108	108	240	0	81	0	0	ok	ok
5	3491	attack-f1/3491	0	6912	6616	4.2824	6075	5833	3.9835	12339	9391	6651	0	0	41	323	54	108	27	0	0	27	ok	ok
6	6812	attack-f1/6812	0	6912	6641	3.9207	6102	5966	2.2288	11988	9660	8261	135	5642	40	160	54	243	27	135	0	26	ok	ok
7	8087	attack-f1/8087	0	6912	6642	3.9062	6210	5940	4.3478	12447	9553	7909	110	4832	41	215	135	189	27	27	0	0	ok	ok
8	7292	attack-f1/7292	0	6912	6643	3.8918	6291	6075	3.4335	13797	9215	8024	139	5088	54	189	189	189	0	81	0	27	ok	ok
9	9667	attack-f1/9667	0	6912	6669	3.5156	6399	6183	3.3755	12852	9662	8100	136	5081	42	108	108	80	0	27	0	0	ok	ok
10	6136	attack-f1/6136	0	6912	6669	3.5156	6345	6156	2.9787	12312	9658	6677	108	0	38	135	135	54	27	54	27	54	ok	ok
11	5764	attack-f1/5764	0	6912	6669	3.5156	6102	5994	1.7699	12015	9087	7910	246	4893	34	54	54	54	0	243	0	0	ok	ok
12	1125	attack-f1/1125	0	6912	6669	3.5156	6291	6102	3.0043	13122	9801	7969	189	5136	46	54	54	189	0	81	0	0	ok	ok
13	9809	attack-f1/9809	0	6912	6670	3.5012	6021	5913	1.7937	12771	8877	7914	190	5190	40	108	54	27	27	135	0	27	ok	ok
14	1870	attack-f1/1870	0	6912	6671	3.4867	6264	6050	3.4163	12069	8900	7833	135	5001	36	135	188	108	0	54	0	0	ok	ok
15	990	attack-f1/990	0	6912	6696	3.1250	6237	6075	2.5974	12366	9793	8179	135	5047	38	81	81	108	0	81	0	0	ok	ok
16	9688	attack-f1/9688	0	6912	6696	3.1250	6210	5994	3.4783	12096	9628	8266	190	5463	35	135	81	135	0	54	0	54	ok	ok
17	9661	attack-f1/9661	0	6912	6696	3.1250	6345	6156	2.9787	12663	9661	8045	136	5051	41	81	81	81	0	80	0	27	ok	ok
18	9604	attack-f1/9604	1	6912	6696	3.1250	6291	6129	2.5751	12501	9552	7932	138	4857	40	81	108	189	0	54	0	54	ok	ok
19	9432	attack-f1/9432	0	6912	6696	3.1250	6345	6129	3.4043	12231	9415	6704	81	0	38	135	108	108	27	54	0	0	ok	ok
20	8962	attack-f1/8962	0	6912	6696	3.1250	6237	6102	2.1645	13770	9293	7888	190	4896	51	27	27	162	0	108	27	0	ok	ok
21	8309	attack-f1/8309	0	6912	6696	3.1250	6318	6102	3.4188	12393	9035	6704	54	0	36	162	135	54	27	27	0	0	ok	ok
22	7054	attack-f1/7054	0	6912	6696	3.1250	6372	6210	2.5424	12906	9607	6704	81	0	41	135	108	54	0	54	0	0	ok	ok
23	6586	attack-f1/6586	0	6912	6696	3.1250	6021	5832	3.1390	12663	9419	8025	135	5650	42	81	108	54	0	54	0	0	ok	ok
24	5679	attack-f1/5679	0	6912	6696	3.1250	6399	6264	2.1097	11988	9927	8236	162	5591	37	108	108	162	0	54	0	27	ok	ok
25	5241	attack-f1/5241	0	6912	6696	3.1250	6291	6129	2.5751	13905	8996	6758	108	0	51	162	135	216	0	0	27	54	ok	ok
26	4895	attack-f1/4895	0	6912	6696	3.1250	6345	6183	2.5532	13311	9503	7862	162	4623	45	54	81	108	0	54	0	0	ok	ok
27	4814	attack-f1/4814	0	6912	6696	3.1250	6318	6102	3.4188	12258	9605	7990	190	4914	39	81	81	189	0	0	0	27	ok	ok
28	4650	attack-f1/4650	0	6912	6696	3.1250	6129	5994	2.2026	13014	9154	7934	163	4858	47	108	108	135	27	108	0	54	ok	ok
29	3402	attack-f1/3402	0	6912	6696	3.1250	6318	6210	1.7094	12879	9364	7962	189	4885	41	27	54	108	0	108	0	27	ok	ok
30	332	attack-f1/332	0	6912	6696	3.1250	6264	6102	2.5862	12690	9716	7883	135	4942	42	81	81	27	27	107	27	27	ok	ok
31	3070	attack-f1/3070	0	6912	6696	3.1250	6453	6237	3.3473	11664	9649	6704	108	0	29	108	108	54	0	27	0	54	ok	ok
32	3063	attack-f1/3063	0	6912	6696	3.1250	6156	6048	1.7544	11772	9681	8200	162	5312	34	81	81	108	0	134	27	54	ok	ok
33	2657	attack-f1/2657	0	6912	6696	3.1250	5994	5886	1.8018	12069	9009	7691	163	4483	37	108	54	135	0	108	0	54	ok	ok
34	252	attack-f1/252	0	6912	6696	3.1250	6264	6156	1.7241	12447	9470	8023	135	5297	39	108	81	54	0	135	0	27	ok	ok
35	1721	attack-f1/1721	0	6912	6696	3.1250	6183	6021	2.6201	12474	9471	8157	162	5782	40	108	81	135	0	54	0	54	ok	ok
36	5538	attack-f1/5538	0	6912	6697	3.1105	6156	5967	3.0702	13446	9024	8019	164	5162	52	135	81	270	0	81	0	27	ok	ok
37	3757	attack-f1/3757	0	6912	6697	3.1105	6237	6130	1.7156	13176	9344	8005	188	5469	48	81	54	269	0	162	0	27	ok	ok
38	1769	attack-f1/1769	0	6912	6697	3.1105	6156	5941	3.4925	13095	9748	8207	161	5240	47	108	108	107	0	0	0	27	ok	ok
39	112	attack-f1/112	0	6912	6697	3.1105	6291	6184	1.7008	12933	9556	8286	164	5534	43	107	27	53	0	108	27	108	ok	ok
40	4815	attack-f1/4815	0	6912	6699	3.0816	6048	5967	1.3393	11772	9273	8128	217	5809	31	108	54	81	27	162	0	27	ok	ok
41	8010	attack-f1/8010	0	6912	6700	3.0671	6102	5942	2.6221	12231	9227	7915	162	4973	38	134	80	135	0	54	0	81	ok	ok
42	2943	attack-f1/2943	0	6912	6721	2.7633	6345	6156	2.9787	12798	9177	7906	163	5072	43	108	108	108	0	28	27	0	ok	ok
43	7832	attack-f1/7832	0	6912	6722	2.7488	6237	6155	1.3147	13203	8936	7827	108	4751	45	108	81	162	0	81	0	0	ok	ok
44	7597	attack-f1/7597	0	6912	6722	2.7488	6264	6128	2.1711	13581	8532	7750	218	4677	46	81	81	108	27	81	0	27	ok	ok
45	6301	attack-f1/6301	0	6912	6722	2.7488	6183	5993	3.0729	12501	9554	7962	111	4914	42	108	135	162	0	27	0	27	ok	ok
46	2120	attack-f1/2120	0	6912	6722	2.7488	6237	6182	0.8818	13419	9345	8180	216	5372	49	54	0	270	0	81	27	27	ok	ok
47	1938	attack-f1/1938	0	6912	6722	2.7488	6426	6317	1.6962	12852	10123	8149	164	5018	44	81	54	108	0	54	0	27	ok	ok
48	1852	attack-f1/1852	0	6912	6722	2.7488	6480	6290	2.9321	13176	9775	8209	136	5431	47	108	81	162	27	0	0	0	ok	ok
49	9869	attack-f1/9869	0	6912	6723	2.7344	6129	5940	3.0837	12366	9443	8157	81	5379	39	135	54	54	54	54	27	54	ok	ok
50	9755	attack-f1/9755	0	6912	6723	2.7344	6561	6372	2.8807	12636	10012	8126	135	5184	41	108	135	162	0	0	0	0	ok	ok
51	9707	attack-f1/9707	0	6912	6723	2.7344	6210	6048	2.6087	12123	10006	7962	137	4887	35	162	108	54	0	81	0	81	ok	ok