base			total redundancy				not Horn				not Binary				not Horn & not Binary				Weigthed				Weigthed & not Horn				Weigthed & not Binary				Weigthed & not Horn & not Binary
instances	Zchaff	Minisat	SatELite	simp	Z	M	S	simp	Z	M	S	simp	Z	M	S	simp	Z	M	S	simp	Z	M	S	simp	Z	M	S	simp	Z	M	S	simp	Z	M	S
aim-100-2_0-yes1-4.cnf	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
aim-100-3_4-yes1-4.cnf	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01
aim-200-2_0-yes1-4.cnf	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01
aim-200-3_4-yes1-2.cnf	0	0	0,01	0	0	0	0,01	0	0,01	0	0,01	0	0	0	0,01	0	0,01	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01	0	0	0	0,01
aim-50-1_6-no-4.cnf	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
aim-50-2_0-yes1-2.cnf	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
aim-50-3_4-yes1-4.cnf	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
aleat_200_850_1.cnf	4,67	0,63	2,27	0	4,67	0,63	2,27	0	4,67	0,63	2,27	0	4,67	0,63	2,27	0	4,67	0,63	2,27	0	4,67	0,63	2,27	0	4,67	0,63	2,27	0	4,67	0,63	2,27	0	4,67	0,63	2,27
aleat_200_850_15.cnf	0,05	0,36	1,72	0	0,05	0,36	1,72	0	0,05	0,36	1,72	0	0,05	0,36	1,72	0	0,05	0,36	1,72	0	0,05	0,36	1,72	0	0,05	0,36	1,72	0	0,05	0,36	1,72	0	0,05	0,36	1,72
aleat_200_850_18.cnf	2,04	0,08	1,02	0	2,04	0,08	1,02	0	2,04	0,08	1,02	0	2,04	0,08	1,02	0	2,04	0,08	1,02	0	2,04	0,08	1,02	0	2,04	0,08	1,02	0	2,04	0,08	1,02	0	2,04	0,08	1,02
aleat_200_850_25.cnf	1,87	0,47	2,58	0	1,87	0,47	2,58	0	1,87	0,47	2,58	0	1,87	0,47	2,58	0	1,87	0,47	2,58	0	1,87	0,47	2,58	0	1,87	0,47	2,58	0	1,87	0,47	2,58	0	1,87	0,47	2,58
aleat_200_850_32.cnf	0,68	0,35	2,99	0	0,68	0,35	2,99	0	0,68	0,35	2,99	0	0,68	0,35	2,99	0	0,68	0,35	2,99	0	0,68	0,35	2,99	0	0,68	0,35	2,99	0	0,68	0,35	2,99	0	0,68	0,35	2,99
aleat_200_850_45.cnf	1,38	0,36	1,64	0	1,38	0,36	1,64	0	1,38	0,36	1,64	0	1,38	0,36	1,64	0	1,38	0,36	1,64	0	1,38	0,36	1,64	0	1,38	0,36	1,64	0	1,38	0,36	1,64	0	1,38	0,36	1,64
aleat_200_850_46.cnf	0,1	0,06	0,28	0	0,1	0,06	0,28	0	0,1	0,06	0,28	0	0,1	0,06	0,28	0	0,1	0,06	0,28	0	0,1	0,06	0,28	0	0,1	0,06	0,28	0	0,1	0,06	0,28	0	0,1	0,06	0,28
aleat_200_850_47.cnf	0	0,29	1,86	0	0	0,29	1,86	0	0	0,29	1,86	0	0	0,29	1,86	0	0	0,29	1,86	0	0	0,29	1,86	0	0	0,29	1,86	0	0	0,29	1,86	0	0	0,29	1,86
aleat_200_850_58.cnf	0	0,01	0,06	0	0	0,01	0,06	0	0	0,01	0,06	0	0	0,01	0,06	0	0	0,01	0,06	0	0	0,01	0,06	0	0	0,01	0,06	0	0	0,01	0,06	0	0	0,01	0,06
aleat_200_850_61.cnf	0,03	0,17	0,14	0	0,03	0,17	0,14	0	0,03	0,17	0,14	0	0,03	0,17	0,14	0	0,03	0,17	0,14	0	0,03	0,17	0,14	0	0,03	0,17	0,14	0	0,03	0,17	0,14	0	0,03	0,17	0,14
aleat_200_850_66.cnf	0	0,1	0,27	0	0	0,1	0,27	0	0	0,1	0,27	0	0	0,1	0,27	0	0	0,1	0,27	0	0	0,1	0,27	0	0	0,1	0,27	0	0	0,1	0,27	0	0	0,1	0,27
aleat_200_850_83.cnf	0,03	0,62	0,67	0	0,03	0,62	0,67	0	0,03	0,62	0,67	0,01	0,03	0,62	0,67	0	0,03	0,62	0,67	0	0,03	0,62	0,67	0	0,03	0,62	0,67	0	0,03	0,62	0,67	0	0,03	0,62	0,67
aleat_200_850_84.cnf	0,76	0,19	0,95	0	0,76	0,19	0,95	0	0,76	0,19	0,95	0	0,76	0,19	0,95	0	0,76	0,19	0,95	0	0,76	0,19	0,95	0	0,76	0,19	0,95	0	0,76	0,19	0,95	0	0,76	0,19	0,95
aleat_200_850_98.cnf	0,09	0,09	0,23	0	0,09	0,09	0,23	0	0,09	0,09	0,23	0	0,09	0,09	0,23	0	0,09	0,09	0,23	0	0,09	0,09	0,23	0	0,09	0,09	0,23	0	0,09	0,09	0,23	0	0,09	0,09	0,23
aleat_300_1275_11.cnf	291,77	16,69	119,45	0,01	291,77	16,69	119,45	0	291,77	16,69	119,45	0,01	291,77	16,69	119,45	0	291,77	16,69	119,45	0	291,77	16,69	119,45	0	291,77	16,69	119,45	0	291,77	16,69	119,45	0	291,77	16,69	119,45
aleat_300_1275_24.cnf	886,18	10,07	10,59	0,01	886,18	10,07	10,59	0	886,18	10,07	10,59	0	886,18	10,07	10,59	0	886,18	10,07	10,59	0	886,18	10,07	10,59	0	886,18	10,07	10,59	0	886,18	10,07	10,59	0	886,18	10,07	10,59
aleat_300_1275_28.cnf	6462,81	76,88	365,32	0,01	6462,81	76,88	365,32	0	6462,81	76,88	365,32	0,01	6462,81	76,88	365,32	0	6462,81	76,88	365,32	0	6462,81	76,88	365,32	0	6462,81	76,88	365,32	0	6462,81	76,88	365,32	0	6462,81	76,88	365,32
aleat_300_1275_35.cnf	2360,43	55,32	388,33	0	2360,43	55,32	388,33	0	2360,43	55,32	388,33	0,01	2360,43	55,32	388,33	0	2360,43	55,32	388,33	0	2360,43	55,32	388,33	0	2360,43	55,32	388,33	0	2360,43	55,32	388,33	0	2360,43	55,32	388,33
aleat_300_1275_68.cnf	2169,62	72,45	340,37	0,01	2169,62	72,45	340,37	0	2169,62	72,45	340,37	0	2169,62	72,45	340,37	0	2169,62	72,45	340,37	0	2169,62	72,45	340,37	0	2169,62	72,45	340,37	0	2169,62	72,45	340,37	0	2169,62	72,45	340,37
aleat_300_1275_69.cnf	7,56	6,22	75,09	0	7,56	6,22	75,09	0	7,56	6,22	75,09	0,01	7,56	6,22	75,09	0	7,56	6,22	75,09	0	7,56	6,22	75,09	0	7,56	6,22	75,09	0	7,56	6,22	75,09	0	7,56	6,22	75,09
aleat_300_1275_74.cnf	1184,49	4,12	10,48	0	1184,49	4,12	10,48	0	1184,49	4,12	10,48	0,01	1184,49	4,12	10,48	0	1184,49	4,12	10,48	0	1184,49	4,12	10,48	0	1184,49	4,12	10,48	0	1184,49	4,12	10,48	0	1184,49	4,12	10,48
aleat_350_1488_11.cnf	TO	447,5	3017,48	0,01	TO	447,5	3017,48	0	TO	447,5	3017,48	0,01	TO	447,5	3017,48	0,01	TO	447,5	3017,48	0	TO	447,5	3017,48	0	TO	447,5	3017,48	0	TO	447,5	3017,48	0	TO	447,5	3017,48
aleat_350_1488_15.cnf	TO	232,8	10,09	0,01	TO	232,8	10,09	0	TO	232,8	10,09	0,01	TO	232,8	10,09	0	TO	232,8	10,09	0	TO	232,8	10,09	0	TO	232,8	10,09	0	TO	232,8	10,09	0	TO	232,8	10,09
aleat_350_1488_30.cnf	TO	392,71	2066,83	0,01	TO	392,71	2066,83	0	TO	392,71	2066,83	0,01	TO	392,71	2066,83	0	TO	392,71	2066,83	0	TO	392,71	2066,83	0	TO	392,71	2066,83	0	TO	392,71	2066,83	0	TO	392,71	2066,83
aleat_350_1488_33.cnf	0,01	64,04	95,59	0	0,01	64,04	95,59	0	0,01	64,04	95,59	0,01	0,01	64,04	95,59	0	0,01	64,04	95,59	0	0,01	64,04	95,59	0	0,01	64,04	95,59	0	0,01	64,04	95,59	0	0,01	64,04	95,59
aleat_350_1488_34.cnf	5630,6	157,93	1119,64	0,01	5630,6	157,93	1119,64	0	5630,6	157,93	1119,64	0,01	5630,6	157,93	1119,64	0	5630,6	157,93	1119,64	0	5630,6	157,93	1119,64	0	5630,6	157,93	1119,64	0	5630,6	157,93	1119,64	0	5630,6	157,93	1119,64
aleat_350_1488_4.cnf	TO	276,98	1322,06	0,01	TO	276,98	1322,06	0	TO	276,98	1322,06	0,01	TO	276,98	1322,06	0	TO	276,98	1322,06	0	TO	276,98	1322,06	0	TO	276,98	1322,06	0	TO	276,98	1322,06	0	TO	276,98	1322,06
aleat_350_1488_40.cnf	TO	414,22	3073,19	0,01	TO	414,22	3073,19	0	TO	414,22	3073,19	0,01	TO	414,22	3073,19	0	TO	414,22	3073,19	0	TO	414,22	3073,19	0	TO	414,22	3073,19	0	TO	414,22	3073,19	0	TO	414,22	3073,19
enddr2-10-by-5-8.cnf	0,06	0,08	1,15	26,2	0,06	0,08	1,15	0,05	0,06	0,08	1,15	26,03	0,06	0,08	1,15	0,05	0,06	0,08	1,15	28,12	0,06	0,08	1,15	0,05	0,06	0,08	1,15	26,21	0,06	0,08	1,15	0,05	0,06	0,08	1,15
facts8h.12.cnf	0,01	0,03	0,81	2,26	0,02	0,02	0,2	0,02	0,01	0,03	0,81	0,03	0,01	0,03	0,81	0,02	0,01	0,03	0,81	0,42	0,01	0,03	0,66	0,02	0,01	0,03	0,81	0,04	0,01	0,03	0,81	0,02	0,01	0,03	0,81
gencnf-k4-r9.88-v155-c1531-01-S1003715042.shuffled-as.sat03-1733.cnf	TO	2530,81	7885,55	0,02	TO	2530,81	7885,55	0,01	TO	2530,81	7885,55	0,02	TO	2530,81	7885,55	0,01	TO	2530,81	7885,55	0	TO	2530,81	7885,55	0	TO	2530,81	7885,55	0	TO	2530,81	7885,55	0	TO	2530,81	7885,55
gencnf-k4-r9.88-v155-c1531-03-S1619817942.shuffled-as.sat03-1735.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k4-r9.88-v177-c1748-01-S1025696632.used-as.sat04-161.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k4-r9.88-v177-c1748-02-S199811603.used-as.sat04-162.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k4-r9.88-v177-c1748-05-S2016925665.used-as.sat04-165.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k4-r9.88-v177-c1748-06-S93104385.used-as.sat04-166.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k4-r9.88-v177-c1748-08-S2147317734.used-as.sat04-168.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k4-r9.88-v177-c1748-09-S1408626952.used-as.sat04-169.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k4-r9.88-v200-c1976-02-S1817630997.shuffled-as.sat03-1744.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k5-r21.5-v131-c2816-03-S1862712556.shuffled-as.sat03-1750.cnf	TO	TO	TO	0,09	TO	TO	TO	0,07	TO	TO	TO	0,09	TO	TO	TO	0,07	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k5-r21.5-v131-c2816-04-S255072642.used-as.sat04-184.cnf	TO	TO	TO	0,08	TO	TO	TO	0,07	TO	TO	TO	0,08	TO	TO	TO	0,07	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k6-r44.3-v123-c5448-01-S1510587762.shuffled-as.sat03-1768.cnf	TO	TO	TO	0,48	TO	TO	TO	0,43	TO	TO	TO	0,49	TO	TO	TO	0,44	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k6-r44.3-v123-c5448-02-S470102603.shuffled-as.sat03-1769.cnf	TO	TO	TO	0,48	TO	TO	TO	0,43	TO	TO	TO	0,48	TO	TO	TO	0,44	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO
gencnf-k6-r44.3-v123-c5448-03-S1941959598.used-as.sat04-223.cnf	TO	TO	TO	0,45	TO	TO	TO	0,43	TO	TO	TO	0,45	TO	TO	TO	0,42	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
gencnf-k7-r88.7-v110-c9757-01-S100354324.used-as.sat04-241.cnf	TO	TO	TO	2,32	TO	TO	TO	2,14	TO	TO	TO	2,33	TO	TO	TO	2,16	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k7-r88.7-v110-c9757-05-S1440151744.used-as.sat04-245.cnf	TO	TO	TO	2,32	TO	TO	TO	2,16	TO	TO	TO	2,3	TO	TO	TO	2,15	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k7-r88.7-v110-c9757-06-S1405916474.used-as.sat04-246.cnf	TO	TO	TO	2,31	TO	TO	TO	2,15	TO	TO	TO	2,31	TO	TO	TO	2,14	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k7-r88.7-v110-c9757-07-S52808061.used-as.sat04-247.cnf	TO	TO	TO	2,31	TO	TO	TO	2,13	TO	TO	TO	2,34	TO	TO	TO	2,13	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k7-r88.7-v110-c9757-09-S945131151.used-as.sat04-249.cnf	TO	TO	TO	2,31	TO	TO	TO	2,16	TO	TO	TO	2,3	TO	TO	TO	2,16	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k7-r88.7-v110-c9757-10-S1990889202.used-as.sat04-250.cnf	TO	TO	TO	2,14	TO	TO	TO	2,13	TO	TO	TO	2,25	TO	TO	TO	2,15	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k8-r180-v61-c10980-02-S591740877.used-as.sat04-272.cnf	TO	TO	TO	6,63	TO	TO	TO	6,34	TO	TO	TO	6,72	TO	TO	TO	6,3	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k8-r180-v61-c10980-02-S893013537.shuffled-as.sat03-1794.cnf	TO	TO	TO	6,62	TO	TO	TO	6,38	TO	TO	TO	6,63	TO	TO	TO	6,39	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k8-r180-v61-c10980-05-S1572197508.used-as.sat04-275.cnf	TO	TO	TO	6,61	TO	TO	TO	6,34	TO	TO	TO	6,51	TO	TO	TO	6,27	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k8-r180-v61-c10980-07-S1801342694.used-as.sat04-277.cnf	TO	TO	TO	6,6	TO	TO	TO	6,42	TO	TO	TO	6,8	TO	TO	TO	6,35	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k8-r180-v61-c10980-08-S37388648.used-as.sat04-278.cnf	TO	TO	TO	6,56	TO	TO	TO	5,87	TO	TO	TO	6,57	TO	TO	TO	6,32	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k8-r180-v61-c10980-09-S1406608468.used-as.sat04-279.cnf	TO	TO	TO	6,52	TO	TO	TO	5,81	TO	TO	TO	6,55	TO	TO	TO	6,29	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k8-r180-v61-c10980-10-S1222411024.used-as.sat04-280.cnf	TO	TO	TO	6,61	TO	TO	TO	6,33	TO	TO	TO	6,59	TO	TO	TO	6,35	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
gencnf-k8-r180-v69-c12420-06-S806130889.used-as.sat04-286.cnf	TO	TO	TO	7,46	TO	TO	TO	7,17	TO	TO	TO	7,46	TO	TO	TO	7,19	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO
gencnf-k8-r180-v80-c14400-05-S2006217164.used-as.sat04-295.cnf	TO	TO	TO	8,74	TO	TO	TO	8,31	TO	TO	TO	8,71	TO	TO	TO	8,38	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO
glassy-v249-s1901098205.cnf	81,77	24,6	31,88	0	81,77	24,6	31,88	0	81,77	24,6	31,88	0,01	81,77	24,6	31,88	0	81,77	24,6	31,88	0	81,77	24,6	31,88	0	81,77	24,6	31,88	0	81,77	24,6	31,88	0	81,77	24,6	31,88
glassy-v300-s1444391777.cnf	5012,69	233,68	104,06	0,01	5012,69	233,68	104,06	0	5012,69	233,68	104,06	0,01	5012,69	233,68	104,06	0	5012,69	233,68	104,06	0	5012,69	233,68	104,06	0	5012,69	233,68	104,06	0	5012,69	233,68	104,06	0	5012,69	233,68	104,06
glassy-v348-s1675859252.cnf	TO	2237,25	7472,99	0	TO	2237,25	7472,99	0,01	TO	2237,25	7472,99	0,01	TO	2237,25	7472,99	0	TO	2237,25	7472,99	0	TO	2237,25	7472,99	0	TO	2237,25	7472,99	0	TO	2237,25	7472,99	0	TO	2237,25	7472,99
glassy-v348-s972757027.cnf	TO	3111,54	TO	0,01	TO	3111,54	TO	0	TO	3111,54	TO	0,01	TO	3111,54	TO	0	TO	3111,54	TO	0	TO	3111,54	TO	0	TO	3111,54	TO	0	TO	3111,54	TO	0	TO	3111,54	TO
glassy-v549-s650815916.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
glassy-v600-s1669978609.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
glassy-v699-s1335295745.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
glassybp-v348-s1004280679.cnf	TO	2909,81	5448,38	0,01	TO	2909,81	5448,38	0	TO	2909,81	5448,38	0,01	TO	2909,81	5448,38	0	TO	2909,81	5448,38	0	TO	2909,81	5448,38	0	TO	2909,81	5448,38	0	TO	2909,81	5448,38	0	TO	2909,81	5448,38
glassybp-v348-s1714253311.cnf	5929,43	2048,66	55,69	0,01	5929,43	2048,66	55,69	0	5929,43	2048,66	55,69	0,01	5929,43	2048,66	55,69	0	5929,43	2048,66	55,69	0	5929,43	2048,66	55,69	0	5929,43	2048,66	55,69	0	5929,43	2048,66	55,69	0	5929,43	2048,66	55,69
glassybp-v348-s1797726924.cnf	296,38	3801,22	6135,28	0,01	296,38	3801,22	6135,28	0	296,38	3801,22	6135,28	0,01	296,38	3801,22	6135,28	0	296,38	3801,22	6135,28	0	296,38	3801,22	6135,28	0	296,38	3801,22	6135,28	0	296,38	3801,22	6135,28	0	296,38	3801,22	6135,28
glassybp-v348-s500311863.cnf	TO	4969,72	TO	0,01	TO	4969,72	TO	0	TO	4969,72	TO	0	TO	4969,72	TO	0	TO	4969,72	TO	0	TO	4969,72	TO	0	TO	4969,72	TO	0	TO	4969,72	TO	0	TO	4969,72	TO
glassybp-v399-s382874052.shuffled-as.sat03-1677.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
glassybp-v450-s1976869020.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
glassybp-v549-s492805768.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
glassybp-v648-s1887441618.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen1-v300-s944825601.cnf	TO	7152,53	TO	0	TO	7152,53	TO	0	TO	7152,53	TO	0	TO	7152,53	TO	0	TO	7152,53	TO	0	TO	7152,53	TO	0	TO	7152,53	TO	0	TO	7152,53	TO	0	TO	7152,53	TO
hgen1-v400-s1812862329.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen1-v500-s732077054.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen1-v600-s16911744.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen1-v650-s1215369385.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v250-s1229508151.cnf	705,6	146,01	608,06	0	705,6	146,01	608,06	0	705,6	146,01	608,06	0	705,6	146,01	608,06	0	705,6	146,01	608,06	0	705,6	146,01	608,06	0	705,6	146,01	608,06	0	705,6	146,01	608,06	0	705,6	146,01	608,06
hgen2-v300-s1188589724.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v400-s161064952.shuffled-as.sat03-1681.used-as.sat04-828.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v400-s1776015327.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v450-s41511877.shuffled-as.sat03-1682.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v450-s41511877.shuffled-as.sat03-1682.used-as.sat04-816.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v500-s1216665065.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v500-s1216665065.shuffled-as.sat03-1683.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v500-s1216665065.shuffled-as.sat03-1683.used-as.sat04-817.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v600-s464988459.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v650-s2139597266.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen2-v700-s1992985354.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen3-v250-s147935678.cnf	TO	702,61	7854,09	0	TO	702,61	7854,09	0	TO	702,61	7854,09	0	TO	702,61	7854,09	0	TO	702,61	7854,09	0	TO	702,61	7854,09	0	TO	702,61	7854,09	0	TO	702,61	7854,09	0	TO	702,61	7854,09
hgen3-v300-s1817652174.shuffled-as.sat03-1685.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen3-v350-s524562458.shuffled-as.sat03-1688.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen3-v350-s524562458.shuffled-as.sat03-1688.used-as.sat04-819.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen3-v400-s344840348.shuffled-as.sat03-1689.used-as.sat04-820.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen3-v450-s1400022686.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen3-v500-s1349121860.shuffled-as.sat03-1692.used-as.sat04-823.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen3-v500-s1803930514.shuffled-as.sat03-1693.used-as.sat04-824.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen5-v100-s2029002754.cnf	17,94	0,07	0,16	0,01	17,94	0,07	0,16	0,01	17,94	0,07	0,16	0,01	17,94	0,07	0,16	0	17,94	0,07	0,16	0	17,94	0,07	0,16	0	17,94	0,07	0,16	0	17,94	0,07	0,16	0	17,94	0,07	0,16
hgen5-v125-s1840040075.cnf	629,76	12,29	3,36	0,01	629,76	12,29	3,36	0,01	629,76	12,29	3,36	0,01	629,76	12,29	3,36	0	629,76	12,29	3,36	0	629,76	12,29	3,36	0	629,76	12,29	3,36	0	629,76	12,29	3,36	0	629,76	12,29	3,36
hgen5-v175-s704839520.cnf	TO	1933,04	2590,89	0,01	TO	1933,04	2590,89	0,01	TO	1933,04	2590,89	0,01	TO	1933,04	2590,89	0,01	TO	1933,04	2590,89	0	TO	1933,04	2590,89	0	TO	1933,04	2590,89	0	TO	1933,04	2590,89	0	TO	1933,04	2590,89
hgen5-v200-s606790024.cnf	TO	1571,03	5071,33	0,01	TO	1571,03	5071,33	0,01	TO	1571,03	5071,33	0,01	TO	1571,03	5071,33	0,01	TO	1571,03	5071,33	0	TO	1571,03	5071,33	0	TO	1571,03	5071,33	0	TO	1571,03	5071,33	0	TO	1571,03	5071,33
hgen5-v250-s1185865237.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen5-v300-s1184228327.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen5-v300-s2080776926.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen6-4-20-n250-02-S179009392.shuffled-as.sat03-801.cnf	TO	768,54	7252	0	TO	768,54	7252	0	TO	768,54	7252	0	TO	768,54	7252	0	TO	768,54	7252	0	TO	768,54	7252	0	TO	768,54	7252	0	TO	768,54	7252	0	TO	768,54	7252
hgen6-4-20-n300-01-S752959685.shuffled-as.sat03-805.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen6-4-20-n300-02-S1166371520.shuffled-as.sat03-806.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen6-4-20-n390-03-S730718204.shuffled-as.sat03-812.cnf	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen6-4-20-n520-01-S1615528121.shuffled-as.sat03-815.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen6-4-20-n520-02-S1368935453.shuffled-as.sat03-816.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hgen6-4-20-n520-03-S1475523948.shuffled-as.sat03-817.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hidden-k3-s0-r4-n500-02-S1786701149.shuffled-as.sat03-946.cnf	TO	323,75	7417,49	0,01	TO	323,75	7417,49	0	TO	323,75	7417,49	0,01	TO	323,75	7417,49	0	TO	323,75	7417,49	0	TO	323,75	7417,49	0	TO	323,75	7417,49	0	TO	323,75	7417,49	0	TO	323,75	7417,49
hidden-k3-s0-r4-n500-03-S1575402861.shuffled-as.sat03-947.cnf	TO	1375,19	5841,08	0,01	TO	1375,19	5841,08	0,01	TO	1375,19	5841,08	0,01	TO	1375,19	5841,08	0	TO	1375,19	5841,08	0	TO	1375,19	5841,08	0	TO	1375,19	5841,08	0	TO	1375,19	5841,08	0	TO	1375,19	5841,08
hidden-k3-s0-r4-n550-02-S1318073760.shuffled-as.sat03-951.cnf	392,74	119,02	214,46	0,01	392,74	119,02	214,46	0,01	392,74	119,02	214,46	0,01	392,74	119,02	214,46	0	392,74	119,02	214,46	0	392,74	119,02	214,46	0	392,74	119,02	214,46	0	392,74	119,02	214,46	0	392,74	119,02	214,46
hidden-k3-s0-r5-n700-01-S2069048075.shuffled-as.sat03-970.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hidden-k3-s0-r6-n500-01-S1892135206.shuffled-as.sat03-975.cnf	6574,55	115,72	663,58	0,01	6574,55	115,72	663,58	0,01	6574,55	115,72	663,58	0,02	6574,55	115,72	663,58	0,01	6574,55	115,72	663,58	0	6574,55	115,72	663,58	0	6574,55	115,72	663,58	0	6574,55	115,72	663,58	0	6574,55	115,72	663,58
hidden-k3-s0-r6-n500-02-S1278226505.shuffled-as.sat03-976.cnf	TO	212,77	1353,52	0,02	TO	212,77	1353,52	0,01	TO	212,77	1353,52	0,02	TO	212,77	1353,52	0,01	TO	212,77	1353,52	0	TO	212,77	1353,52	0	TO	212,77	1353,52	0	TO	212,77	1353,52	0	TO	212,77	1353,52
hidden-k3-s1-r5-n500-03-S96620575.shuffled-as.sat03-1007.cnf	1116,19	1172,05	5382	0,01	1116,19	1172,05	5382	0,01	1116,19	1172,05	5382	0,01	1116,19	1172,05	5382	0,01	1116,19	1172,05	5382	0	1116,19	1172,05	5382	0	1116,19	1172,05	5382	0	1116,19	1172,05	5382	0	1116,19	1172,05	5382
hidden-k3-s1-r6-n500-01-S744233835.shuffled-as.sat03-1020.cnf	5903,31	109,03	280,93	0,02	5903,31	109,03	280,93	0,01	5903,31	109,03	280,93	0,01	5903,31	109,03	280,93	0,01	5903,31	109,03	280,93	0	5903,31	109,03	280,93	0	5903,31	109,03	280,93	0	5903,31	109,03	280,93	0	5903,31	109,03	280,93
hidden-k3-s1-r6-n550-03-S1345648489.shuffled-as.sat03-1027.cnf	3270,91	542,39	5249,89	0,02	3270,91	542,39	5249,89	0,01	3270,91	542,39	5249,89	0,02	3270,91	542,39	5249,89	0,01	3270,91	542,39	5249,89	0	3270,91	542,39	5249,89	0	3270,91	542,39	5249,89	0	3270,91	542,39	5249,89	0	3270,91	542,39	5249,89
hidden-k3-s1-r6-n700-02-S1357379167.shuffled-as.sat03-1031.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hidden-k3-s2-r4-n500-01-S1373238829.shuffled-as.sat03-1035.cnf	137,78	130,61	25,56	0,01	137,78	130,61	25,56	0	137,78	130,61	25,56	0,01	137,78	130,61	25,56	0,01	137,78	130,61	25,56	0	137,78	130,61	25,56	0	137,78	130,61	25,56	0	137,78	130,61	25,56	0	137,78	130,61	25,56
hidden-k3-s2-r4-n500-02-S6526004.shuffled-as.sat03-1036.cnf	16,14	88,05	1256,04	0,01	16,14	88,05	1256,04	0	16,14	88,05	1256,04	0,01	16,14	88,05	1256,04	0	16,14	88,05	1256,04	0	16,14	88,05	1256,04	0	16,14	88,05	1256,04	0	16,14	88,05	1256,04	0	16,14	88,05	1256,04
hidden-k3-s2-r5-n500-02-S634492103.shuffled-as.sat03-1051.cnf	TO	725,33	183,51	0,01	TO	725,33	183,51	0,01	TO	725,33	183,51	0,01	TO	725,33	183,51	0,01	TO	725,33	183,51	0	TO	725,33	183,51	0	TO	725,33	183,51	0	TO	725,33	183,51	0	TO	725,33	183,51
hidden-k3-s2-r6-n500-01-S612043696.shuffled-as.sat03-1065.cnf	3612,62	54,36	420,44	0,01	3612,62	54,36	420,44	0,01	3612,62	54,36	420,44	0,01	3612,62	54,36	420,44	0,01	3612,62	54,36	420,44	0	3612,62	54,36	420,44	0	3612,62	54,36	420,44	0	3612,62	54,36	420,44	0	3612,62	54,36	420,44
jnh16.cnf	0,03	0,01	0,05	0,03	0,02	0,01	0,05	0,02	0,02	0,01	0,06	0,02	0,02	0,01	0,06	0,02	0,02	0,01	0,06	0,02	0,02	0,01	0,05	0,02	0,02	0,01	0,06	0,02	0,02	0,01	0,06	0,02	0,02	0,01	0,06
jnh17.cnf	0	0	0,01	0,03	0	0	0,02	0,02	0	0	0,01	0,03	0	0	0,01	0,02	0	0	0,01	0,03	0	0	0,01	0,02	0	0	0,01	0,03	0	0	0,01	0,02	0	0	0,01
jnh19.cnf	0	0	0,01	0,03	0	0	0,01	0,02	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01	0,02	0	0	0,01	0,03	0	0	0,01	0,02	0	0	0,01
jnh201.cnf	0	0	0	0,03	0	0	0,01	0,02	0	0	0	0,03	0	0	0	0,02	0	0	0,01	0,03	0	0	0	0,02	0	0	0	0,02	0	0	0	0,02	0	0	0
jnh210.cnf	0	0	0	0,03	0	0	0,01	0,02	0	0	0,01	0,03	0	0	0,01	0,02	0	0	0,01	0,03	0	0	0,01	0,02	0	0	0,01	0,03	0	0	0,01	0,02	0	0	0,01
jnh304.cnf	0	0	0,01	0,03	0	0	0,03	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,03	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01
jnh305.cnf	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01	0,03	0	0	0,01
okgen-c1200-v600-s936683563-936683563.cnf	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0,01	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0	0	0	0,07
okgen-c1260-v300-s913778056-913778056.cnf	21,6	2,88	21,67	0	21,6	2,88	21,67	0	21,6	2,88	21,67	0,01	21,6	2,88	21,67	0	21,6	2,88	21,67	0	21,6	2,88	21,67	0	21,6	2,88	21,67	0	21,6	2,88	21,67	0	21,6	2,88	21,67
okgen-c1275-v300-s1527689033-1527689033.cnf	0,48	28,1	193,11	0	0,48	28,1	193,11	0	0,48	28,1	193,11	0,01	0,48	28,1	193,11	0	0,48	28,1	193,11	0	0,48	28,1	193,11	0	0,48	28,1	193,11	0	0,48	28,1	193,11	0	0,48	28,1	193,11
okgen-c1300-v650-s1509540531-1509540531.cnf	0	0	0,08	0	0	0	0,08	0	0	0	0,08	0	0	0	0,08	0	0	0	0,08	0	0	0	0,08	0	0	0	0,08	0	0	0	0,08	0	0	0	0,08
okgen-c1400-v350-s839026196-839026196.cnf	0,02	1,81	1,15	0,01	0,02	1,81	1,15	0	0,02	1,81	1,15	0	0,02	1,81	1,15	0	0,02	1,81	1,15	0	0,02	1,81	1,15	0	0,02	1,81	1,15	0	0,02	1,81	1,15	0	0,02	1,81	1,15
okgen-c1400-v700-s875595256-875595256.cnf	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0	0	0	0,07	0	0	0	0,07
okgen-c1470-v350-s1596816185-1596816185.cnf	TO	426,11	2634,49	0,01	TO	426,11	2634,49	0	TO	426,11	2634,49	0	TO	426,11	2634,49	0	TO	426,11	2634,49	0	TO	426,11	2634,49	0	TO	426,11	2634,49	0	TO	426,11	2634,49	0	TO	426,11	2634,49
okgen-c1600-v400-s2100804521-2100804521.cnf	0,09	9,85	131,2	0,01	0,09	9,85	131,2	0	0,09	9,85	131,2	0,01	0,09	9,85	131,2	0	0,09	9,85	131,2	0	0,09	9,85	131,2	0	0,09	9,85	131,2	0	0,09	9,85	131,2	0	0,09	9,85	131,2
okgen-c1600-v400-s230225976-230225976.cnf	0,3	22,78	1020,43	0,01	0,3	22,78	1020,43	0	0,3	22,78	1020,43	0,01	0,3	22,78	1020,43	0	0,3	22,78	1020,43	0	0,3	22,78	1020,43	0	0,3	22,78	1020,43	0	0,3	22,78	1020,43	0	0,3	22,78	1020,43
okgen-c1625-v250-s1788998670-1788998670.cnf	0,14	0,06	0,28	0,01	0,14	0,06	0,28	0	0,14	0,06	0,28	0,01	0,14	0,06	0,28	0	0,14	0,06	0,28	0	0,14	0,06	0,28	0	0,14	0,06	0,28	0	0,14	0,06	0,28	0	0,14	0,06	0,28
okgen-c1680-v400-s917767557-917767557.cnf	TO	3746,73	TO	0,01	TO	3746,73	TO	0	TO	3746,73	TO	0,01	TO	3746,73	TO	0	TO	3746,73	TO	0	TO	3746,73	TO	0	TO	3746,73	TO	0	TO	3746,73	TO	0	TO	3746,73	TO
okgen-c1750-v350-s135580461-135580461.cnf	664,1	26,24	141,27	0,01	664,1	26,24	141,27	0,01	664,1	26,24	141,27	0,01	664,1	26,24	141,27	0,01	664,1	26,24	141,27	0	664,1	26,24	141,27	0	664,1	26,24	141,27	0	664,1	26,24	141,27	0	664,1	26,24	141,27
okgen-c1800-v450-s994764892-994764892.cnf	0	7,92	3,12	0	0	7,92	3,12	0	0	7,92	3,12	0,01	0	7,92	3,12	0	0	7,92	3,12	0	0	7,92	3,12	0	0	7,92	3,12	0	0	7,92	3,12	0	0	7,92	3,12
okgen-c1912-v450-s243113776-243113776.shuffled-as.sat03-1701.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c1950-v300-s1986177779-1986177779.cnf	0,56	0,22	0,82	0,01	0,56	0,22	0,82	0	0,56	0,22	0,82	0,01	0,56	0,22	0,82	0,01	0,56	0,22	0,82	0	0,56	0,22	0,82	0	0,56	0,22	0,82	0	0,56	0,22	0,82	0	0,56	0,22	0,82
okgen-c2000-v400-s2046210760-2046210760.cnf	6875,64	118,23	719,87	0,01	6875,64	118,23	719,87	0	6875,64	118,23	719,87	0,01	6875,64	118,23	719,87	0,01	6875,64	118,23	719,87	0	6875,64	118,23	719,87	0	6875,64	118,23	719,87	0	6875,64	118,23	719,87	0	6875,64	118,23	719,87
okgen-c2000-v400-s553070738-553070738.cnf	1309,66	46,44	323,06	0,01	1309,66	46,44	323,06	0,01	1309,66	46,44	323,06	0,01	1309,66	46,44	323,06	0	1309,66	46,44	323,06	0	1309,66	46,44	323,06	0	1309,66	46,44	323,06	0	1309,66	46,44	323,06	0	1309,66	46,44	323,06
okgen-c2100-v500-s566878928-566878928.cnf	TO	7624,91	TO	0,01	TO	7624,91	TO	0	TO	7624,91	TO	0,01	TO	7624,91	TO	0	TO	7624,91	TO	0	TO	7624,91	TO	0	TO	7624,91	TO	0	TO	7624,91	TO	0	TO	7624,91	TO
okgen-c2125-v500-s1011756875-1011756875.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c2125-v500-s1290565445-1290565445.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c2125-v500-s1935589492-1935589492.cnf	TO	8935,27	TO	0,01	TO	8935,27	TO	0	TO	8935,27	TO	0,01	TO	8935,27	TO	0,01	TO	8935,27	TO	0	TO	8935,27	TO	0	TO	8935,27	TO	0	TO	8935,27	TO	0	TO	8935,27	TO
okgen-c2250-v450-s1549407965-1549407965.cnf	TO	671,44	4232,54	0,01	TO	671,44	4232,54	0	TO	671,44	4232,54	0,01	TO	671,44	4232,54	0,01	TO	671,44	4232,54	0	TO	671,44	4232,54	0	TO	671,44	4232,54	0	TO	671,44	4232,54	0	TO	671,44	4232,54
okgen-c2400-v600-s1322681258-1322681258.cnf	4920	1081,6	572,99	0,01	4920	1081,6	572,99	0,01	4920	1081,6	572,99	0,01	4920	1081,6	572,99	0,01	4920	1081,6	572,99	0	4920	1081,6	572,99	0	4920	1081,6	572,99	0	4920	1081,6	572,99	0	4920	1081,6	572,99
okgen-c2500-v500-s811024080-811024080.cnf	TO	7770,85	TO	0,01	TO	7770,85	TO	0	TO	7770,85	TO	0,01	TO	7770,85	TO	0,01	TO	7770,85	TO	0	TO	7770,85	TO	0	TO	7770,85	TO	0	TO	7770,85	TO	0	TO	7770,85	TO
okgen-c2520-v600-s1321480857-1321480857.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c2550-v600-s378359983-378359983.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c2600-v400-s1733468115-1733468115.cnf	20,82	2,74	16,14	0,01	20,82	2,74	16,14	0,01	20,82	2,74	16,14	0,01	20,82	2,74	16,14	0,01	20,82	2,74	16,14	0	20,82	2,74	16,14	0	20,82	2,74	16,14	0	20,82	2,74	16,14	0	20,82	2,74	16,14
okgen-c2600-v400-s643618432-643618432.cnf	8,16	1,67	7,82	0,01	8,16	1,67	7,82	0,01	8,16	1,67	7,82	0,01	8,16	1,67	7,82	0,01	8,16	1,67	7,82	0	8,16	1,67	7,82	0	8,16	1,67	7,82	0	8,16	1,67	7,82	0	8,16	1,67	7,82
okgen-c2730-v650-s703929829-703929829.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c2795-v650-s1059972539-1059972539.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c2795-v650-s36864258-36864258.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c2925-v450-s1477011758-1477011758.cnf	160,13	11,59	51,11	0,02	160,13	11,59	51,11	0,01	160,13	11,59	51,11	0,02	160,13	11,59	51,11	0,01	160,13	11,59	51,11	0	160,13	11,59	51,11	0	160,13	11,59	51,11	0	160,13	11,59	51,11	0	160,13	11,59	51,11
okgen-c2940-v700-s1503316932-1503316932.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c2975-v700-s2031065592-2031065592.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c2975-v700-s973296229-973296229.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c3250-v500-s803531070-803531070.cnf	1057,4	23,15	260,91	0,02	1057,4	23,15	260,91	0,01	1057,4	23,15	260,91	0,02	1057,4	23,15	260,91	0,01	1057,4	23,15	260,91	0	1057,4	23,15	260,91	0	1057,4	23,15	260,91	0	1057,4	23,15	260,91	0	1057,4	23,15	260,91
okgen-c3250-v650-s809212589-809212589.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c3500-v700-s10925427-10925427.cnf	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
okgen-c4550-v700-s1379398375-1379398375.cnf	TO	8151,56	TO	0,03	TO	8151,56	TO	0,01	TO	8151,56	TO	0,02	TO	8151,56	TO	0,01	TO	8151,56	TO	0	TO	8151,56	TO	0	TO	8151,56	TO	0	TO	8151,56	TO	0	TO	8151,56	TO
okgen-c500-v250-s1610621872-1610621872.cnf	0	0	0,03	0	0	0	0,03	0	0	0	0,03	0	0	0	0,03	0	0	0	0,03	0	0	0	0,03	0	0	0	0,03	0	0	0	0,03	0	0	0	0,03
okgen-c700-v350-s623694321-623694321.cnf	0	0	0,04	0	0	0	0,04	0	0	0	0,04	0	0	0	0,04	0	0	0	0,04	0	0	0	0,04	0	0	0	0,04	0	0	0	0,04	0	0	0	0,04
okgen-c700-v350-s670061878-670061878.cnf	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05
okgen-c800-v400-s1066155704-1066155704.cnf	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05	0	0	0	0,05
OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=0-o.shuffled-as.sat05-1656.cnf	TO	TO	TO	0,3	TO	TO	TO	0,16	TO	TO	TO	0,31	TO	TO	TO	0,19	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO
OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=1-o.shuffled-as.sat05-1658.cnf	TO	TO	TO	0,33	TO	TO	TO	0,16	TO	TO	TO	0,33	TO	TO	TO	0,17	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO
OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=2-o.shuffled-as.sat05-1660.cnf	TO	TO	TO	0,32	TO	TO	TO	0,17	TO	TO	TO	0,32	TO	TO	TO	0,16	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO
OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=3-o.shuffled-as.sat05-1652.cnf	TO	TO	TO	0,33	TO	TO	TO	0,18	TO	TO	TO	0,33	TO	TO	TO	0,17	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO
OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=6-o.shuffled-as.sat05-1655.cnf	TO	TO	TO	0,32	TO	TO	TO	0,16	TO	TO	TO	0,32	TO	TO	TO	0,17	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO
OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=8-o.shuffled-as.sat05-1659.cnf	TO	TO	TO	0,33	TO	TO	TO	0,17	TO	TO	TO	0,32	TO	TO	TO	0,17	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO
OKgenerator_s0=32s1=18n=12000l=3cp=50400-Dnr0=0nr1=9-o.shuffled-as.sat05-1661.cnf	TO	TO	TO	0,32	TO	TO	TO	0,17	TO	TO	TO	0,32	TO	TO	TO	0,17	TO	TO	TO	0,04	TO	TO	TO	0,04	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO
OKgenerator_s0=32s1=20n=220l=7cp=18700-Dnr0=0nr1=0-o.shuffled-as.sat05-1640.cnf	TO	TO	TO	4,73	TO	TO	TO	4,21	TO	TO	TO	4,46	TO	TO	TO	4,24	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO
OKgenerator_s0=32s1=20n=220l=7cp=18700-Dnr0=0nr1=1-o.shuffled-as.sat05-1632.cnf	TO	TO	TO	4,12	TO	TO	TO	3,86	TO	TO	TO	4,19	TO	TO	TO	4,11	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO
OKgenerator_s0=32s1=20n=220l=7cp=18700-Dnr0=0nr1=6-o.shuffled-as.sat05-1639.cnf	TO	TO	TO	4,52	TO	TO	TO	4,29	TO	TO	TO	4,49	TO	TO	TO	4,24	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO
OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=1-o.shuffled-as.sat05-1532.cnf	TO	TO	TO	0,33	TO	TO	TO	0,27	TO	TO	TO	0,33	TO	TO	TO	0,27	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=2-o.shuffled-as.sat05-1534.cnf	TO	TO	TO	0,34	TO	TO	TO	0,27	TO	TO	TO	0,34	TO	TO	TO	0,27	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=4-o.shuffled-as.sat05-1537.cnf	TO	TO	TO	0,33	TO	TO	TO	0,25	TO	TO	TO	0,33	TO	TO	TO	0,27	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=5-o.shuffled-as.sat05-1538.cnf	TO	TO	TO	0,33	TO	TO	TO	0,27	TO	TO	TO	0,33	TO	TO	TO	0,27	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=6-o.shuffled-as.sat05-1539.cnf	TO	TO	TO	0,33	TO	TO	TO	0,27	TO	TO	TO	0,33	TO	TO	TO	0,27	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=7-o.shuffled-as.sat05-1541.cnf	TO	TO	TO	0,31	TO	TO	TO	0,29	TO	TO	TO	0,31	TO	TO	TO	0,25	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=8-o.shuffled-as.sat05-1533.cnf	TO	TO	TO	0,34	TO	TO	TO	0,27	TO	TO	TO	0,33	TO	TO	TO	0,27	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=43n=700l=5cp=14000-Dnr0=0nr1=3-o.shuffled-as.sat05-1556.cnf	TO	TO	TO	0,44	TO	TO	TO	0,39	TO	TO	TO	0,49	TO	TO	TO	0,36	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=43n=700l=5cp=14000-Dnr0=0nr1=4-o.shuffled-as.sat05-1557.cnf	TO	TO	TO	0,49	TO	TO	TO	0,39	TO	TO	TO	0,49	TO	TO	TO	0,39	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=43n=700l=5cp=14000-Dnr0=0nr1=5-o.shuffled-as.sat05-1558.cnf	TO	TO	TO	0,49	TO	TO	TO	0,39	TO	TO	TO	0,48	TO	TO	TO	0,38	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
OKgenerator_s0=32s1=43n=700l=5cp=14000-Dnr0=0nr1=7-o.shuffled-as.sat05-1561.cnf	TO	TO	TO	0,48	TO	TO	TO	0,39	TO	TO	TO	0,48	TO	TO	TO	0,39	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
unif-c1062-v250-s1116921526.cnf	15,88	2,11	5,36	0	15,88	2,11	5,36	0	15,88	2,11	5,36	0	15,88	2,11	5,36	0	15,88	2,11	5,36	0	15,88	2,11	5,36	0	15,88	2,11	5,36	0	15,88	2,11	5,36	0	15,88	2,11	5,36
unif-c1125-v250-s1040402333.cnf	30,86	2,07	19,7	0,01	30,86	2,07	19,7	0	30,86	2,07	19,7	0	30,86	2,07	19,7	0	30,86	2,07	19,7	0	30,86	2,07	19,7	0	30,86	2,07	19,7	0	30,86	2,07	19,7	0	30,86	2,07	19,7
unif-c1125-v250-s1670494464.cnf	13,3	1,79	5,57	0	13,3	1,79	5,57	0	13,3	1,79	5,57	0,01	13,3	1,79	5,57	0	13,3	1,79	5,57	0	13,3	1,79	5,57	0	13,3	1,79	5,57	0	13,3	1,79	5,57	0	13,3	1,79	5,57
unif-c1250-v250-s1781662145.cnf	3,98	0,74	3,48	0	3,98	0,74	3,48	0	3,98	0,74	3,48	0	3,98	0,74	3,48	0	3,98	0,74	3,48	0	3,98	0,74	3,48	0	3,98	0,74	3,48	0	3,98	0,74	3,48	0	3,98	0,74	3,48
unif-c1275-v300-s1068300458.cnf	1485,09	50,31	343,38	0	1485,09	50,31	343,38	0	1485,09	50,31	343,38	0	1485,09	50,31	343,38	0	1485,09	50,31	343,38	0	1485,09	50,31	343,38	0	1485,09	50,31	343,38	0	1485,09	50,31	343,38	0	1485,09	50,31	343,38
unif-c1400-v350-s517333778.cnf	0,03	0,62	0,77	0,01	0,03	0,62	0,77	0	0,03	0,62	0,77	0,01	0,03	0,62	0,77	0	0,03	0,62	0,77	0	0,03	0,62	0,77	0	0,03	0,62	0,77	0	0,03	0,62	0,77	0	0,03	0,62	0,77
unif-c1487-v350-s107861659.cnf	TO	556,54	1250,61	0,01	TO	556,54	1250,61	0	TO	556,54	1250,61	0,01	TO	556,54	1250,61	0	TO	556,54	1250,61	0	TO	556,54	1250,61	0	TO	556,54	1250,61	0	TO	556,54	1250,61	0	TO	556,54	1250,61
unif-c1500-v300-s1478618005.cnf	78,97	3,32	19,78	0,01	78,97	3,32	19,78	0	78,97	3,32	19,78	0,01	78,97	3,32	19,78	0	78,97	3,32	19,78	0	78,97	3,32	19,78	0	78,97	3,32	19,78	0	78,97	3,32	19,78	0	78,97	3,32	19,78
unif-c1505-v350-s1682296121.cnf	TO	206,59	1005,44	0,01	TO	206,59	1005,44	0	TO	206,59	1005,44	0,01	TO	206,59	1005,44	0	TO	206,59	1005,44	0	TO	206,59	1005,44	0	TO	206,59	1005,44	0	TO	206,59	1005,44	0	TO	206,59	1005,44
unif-c1575-v350-s958690929.cnf	9066,82	155,22	1103,14	0,01	9066,82	155,22	1103,14	0	9066,82	155,22	1103,14	0,01	9066,82	155,22	1103,14	0	9066,82	155,22	1103,14	0	9066,82	155,22	1103,14	0	9066,82	155,22	1103,14	0	9066,82	155,22	1103,14	0	9066,82	155,22	1103,14
unif-c1600-v400-s121140145.cnf	96,4	28,12	38,29	0,01	96,4	28,12	38,29	0	96,4	28,12	38,29	0,01	96,4	28,12	38,29	0	96,4	28,12	38,29	0	96,4	28,12	38,29	0	96,4	28,12	38,29	0	96,4	28,12	38,29	0	96,4	28,12	38,29
unif-c1600-v400-s1563583651.cnf	167,47	151,99	216,02	0,01	167,47	151,99	216,02	0	167,47	151,99	216,02	0,01	167,47	151,99	216,02	0	167,47	151,99	216,02	0	167,47	151,99	216,02	0	167,47	151,99	216,02	0	167,47	151,99	216,02	0	167,47	151,99	216,02
unif-c1625-v250-s873326728.cnf	0,19	0,07	0,23	0,01	0,19	0,07	0,23	0	0,19	0,07	0,23	0,01	0,19	0,07	0,23	0	0,19	0,07	0,23	0	0,19	0,07	0,23	0	0,19	0,07	0,23	0	0,19	0,07	0,23	0	0,19	0,07	0,23
unif-c1750-v350-s1060627842.cnf	1123,78	22,96	247,03	0,01	1123,78	22,96	247,03	0	1123,78	22,96	247,03	0,01	1123,78	22,96	247,03	0	1123,78	22,96	247,03	0	1123,78	22,96	247,03	0	1123,78	22,96	247,03	0	1123,78	22,96	247,03	0	1123,78	22,96	247,03
unif-c1750-v350-s1816133668.cnf	876,23	35,56	190,33	0,01	876,23	35,56	190,33	0	876,23	35,56	190,33	0,01	876,23	35,56	190,33	0	876,23	35,56	190,33	0	876,23	35,56	190,33	0	876,23	35,56	190,33	0	876,23	35,56	190,33	0	876,23	35,56	190,33
unif-c1912-v450-s669590537.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c1912-v450-s669590537.shuffled-as.sat03-1711.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c1935-v450-s1210424006.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c1950-v300-s115699898.cnf	0,85	0,36	0,94	0,01	0,85	0,36	0,94	0	0,85	0,36	0,94	0,01	0,85	0,36	0,94	0,01	0,85	0,36	0,94	0	0,85	0,36	0,94	0	0,85	0,36	0,94	0	0,85	0,36	0,94	0	0,85	0,36	0,94
unif-c2025-v450-s1561158813.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2150-v500-s1362357383.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2150-v500-s643626409.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2150-v500-s820303072.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2250-v450-s185680348.cnf	TO	900,31	7827,67	0,01	TO	900,31	7827,67	0	TO	900,31	7827,67	0,01	TO	900,31	7827,67	0,01	TO	900,31	7827,67	0	TO	900,31	7827,67	0	TO	900,31	7827,67	0	TO	900,31	7827,67	0	TO	900,31	7827,67
unif-c2250-v500-s2123576608.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2580-v600-s1688367469.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2600-v400-s49792842.cnf	34,76	5,09	17,73	0,01	34,76	5,09	17,73	0,01	34,76	5,09	17,73	0,01	34,76	5,09	17,73	0,01	34,76	5,09	17,73	0	34,76	5,09	17,73	0	34,76	5,09	17,73	0	34,76	5,09	17,73	0	34,76	5,09	17,73
unif-c2600-v650-s1859206638.cnf	TO	629,35	TO	0,01	TO	629,35	TO	0,01	TO	629,35	TO	0,01	TO	629,35	TO	0	TO	629,35	TO	0	TO	629,35	TO	0	TO	629,35	TO	0	TO	629,35	TO	0	TO	629,35	TO
unif-c2600-v650-s2035184328.cnf	3587,1	4293,15	260,18	0,01	3587,1	4293,15	260,18	0,01	3587,1	4293,15	260,18	0,01	3587,1	4293,15	260,18	0,01	3587,1	4293,15	260,18	0	3587,1	4293,15	260,18	0	3587,1	4293,15	260,18	0	3587,1	4293,15	260,18	0	3587,1	4293,15	260,18
unif-c2700-v600-s1815379752.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2762-v650-s632463136.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2795-v650-s1961802509.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2800-v700-s1040018618.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2800-v700-s1462454127.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2925-v450-s1948799962.cnf	339,86	14,99	87,92	0,01	339,86	14,99	87,92	0,01	339,86	14,99	87,92	0,02	339,86	14,99	87,92	0,01	339,86	14,99	87,92	0	339,86	14,99	87,92	0	339,86	14,99	87,92	0	339,86	14,99	87,92	0	339,86	14,99	87,92
unif-c2925-v450-s221381158.cnf	108,04	12,39	91,06	0,02	108,04	12,39	91,06	0,01	108,04	12,39	91,06	0,02	108,04	12,39	91,06	0,01	108,04	12,39	91,06	0	108,04	12,39	91,06	0	108,04	12,39	91,06	0	108,04	12,39	91,06	0	108,04	12,39	91,06
unif-c2925-v650-s1182013325.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c2975-v700-s1345867104.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c3000-v600-s1865943729.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c3000-v600-s2139839013.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-c3900-v600-s546282007.cnf	TO	405,08	3728,38	0,02	TO	405,08	3728,38	0,01	TO	405,08	3728,38	0,02	TO	405,08	3728,38	0,01	TO	405,08	3728,38	0	TO	405,08	3728,38	0	TO	405,08	3728,38	0	TO	405,08	3728,38	0	TO	405,08	3728,38
unif-c4225-v650-s1258077898.cnf	TO	2183,76	6094,29	0,02	TO	2183,76	6094,29	0,01	TO	2183,76	6094,29	0,02	TO	2183,76	6094,29	0,01	TO	2183,76	6094,29	0	TO	2183,76	6094,29	0	TO	2183,76	6094,29	0	TO	2183,76	6094,29	0	TO	2183,76	6094,29
unif-r4.25-v450-c1912-06-S1512478539.used-as.sat04-46.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.25-v750-c3187-02-S1849691178.used-as.sat04-102.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.25-v750-c3187-03-S1223336789.used-as.sat04-103.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.25-v750-c3187-04-S1930243341.used-as.sat04-104.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.25-v750-c3187-05-S987263398.used-as.sat04-105.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.25-v750-c3187-08-S1094676118.used-as.sat04-108.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.25-v750-c3187-09-S1788355167.used-as.sat04-109.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.5-v500-c2250-02-S981689172.used-as.sat04-122.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.5-v500-c2250-03-S2112840584.used-as.sat04-123.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.5-v500-c2250-06-S790660317.used-as.sat04-126.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.5-v500-c2250-07-S480688001.used-as.sat04-127.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.5-v500-c2250-08-S1102651802.used-as.sat04-128.cnf	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
unif-r4.5-v500-c2250-09-S1063543205.used-as.sat04-129.cnf	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO