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
alupla21.boehm.cnf	0	0	0,02	0	0	0	0,02	0	0	0	0,02	0	0	0	0,02	0	0	0	0,02	0	0	0	0,02	0	0	0	0,02	0	0	0	0,02	0	0	0	0,02
cnf-r1-b1-k1.2.cnf	0,09	0,05	0,59	0,11	0	0	0,05	0,07	0	0	0,11	0,07	0	0	0,07	0,07	0	0	0,12	0,11	0	0	0,05	0,06	0	0,01	0,12	0,08	0	0	0,07	0,07	0	0	0,12
cnf-r2-b3-k1.1.cnf	0,21	0,09	1,46	0,68	0,01	0,01	0,44	0,35	0	0,01	0,43	0,35	0	0,01	0,39	0,37	0	0,01	0,44	0,63	0,01	0,01	0,47	0,36	0,01	0,01	0,44	0,38	0	0,01	0,4	0,37	0	0,01	0,43
cnf-r2-b4-k1.1.cnf	0,31	0,13	2,11	1,08	0,01	0,01	0,58	0,57	0,01	0,01	0,63	0,59	0,01	0,01	0,6	0,57	0,01	0,01	0,69	1,1	0,01	0,01	0,52	0,58	0,01	0,01	0,7	0,61	0,01	0,01	0,56	0,58	0,01	0,01	0,63
cnf-r3-b1-k1.1.cnf	4,05	0,08	1,2	0,7	2,47	0,15	1,53	0,11	2,31	0,08	1,39	0,13	2,93	0,26	0,97	0,11	2,17	0,08	1,39	0,63	3,88	0,28	0,99	0,11	2,31	0,08	1,37	0,14	2,92	0,24	0,96	0,11	2,16	0,08	1,4
cnf-r3-b4-k1.1.cnf	0,7	0,18	5	11,05	0,13	0,05	3,47	1,73	0,07	0,05	3,63	1,87	0,06	0,05	3,4	1,73	0,07	0,05	3,53	10,08	0,07	0,04	3,52	1,71	0,07	0,06	3,54	2,01	0,07	0,05	3,41	1,74	0,07	0,06	3,49
depots1_ks99i.renamed-as.sat05-3943.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
depots3_ks99i.renamed-as.sat05-3945.cnf	0,05	0,02	0,42	0,99	0,05	0,01	0,4	0,01	0,05	0,02	0,42	0,02	0,05	0,02	0,42	0,01	0,05	0,02	0,42	0,03	0,04	0,02	0,41	0,01	0,05	0,02	0,42	0,01	0,05	0,02	0,42	0,01	0,05	0,02	0,42
dlx2_ca.cnf	0,21	0,16	3,31	1,19	0,19	0,14	0,95	0,07	0,2	0,16	2,08	0,12	0,21	0,16	2,18	0,07	0,2	0,16	2,08	0,38	0,26	0,17	1,92	0,07	0,2	0,16	2,1	0,1	0,19	0,16	2,03	0,07	0,19	0,16	2,15
dp11u10.shuffled-as.sat03-422.cnf	5287,31	158,41	914,59	6,17	TO	182,99	1498,16	1,31	TO	165,61	1144,09	1,44	5483,5	150,07	1821,37	0,71	8974,75	241,96	1165,97	5,59	TO	185,56	2690,19	1,23	TO	210,73	1262,62	1,47	5466,05	138,75	1845,59	0,71	8815,97	246,39	1166
driverlog1_v01i.renamed-as.sat05-3960.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
driverlog2_v01i.shuffled-as.sat05-4029.cnf	0,01	0,01	0,18	1,64	0,01	0,01	0,23	0,57	0,01	0,02	0,24	0,12	0,01	0,02	0,23	0,09	0	0,01	0,25	0,16	0,01	0,01	0,22	0,1	0,01	0,01	0,24	0,12	0,01	0,02	0,23	0,08	0	0,02	0,24
driverlog4_ks99i.shuffled-as.sat05-4021.cnf	0,01	0,02	0,31	1,08	0,01	0,01	0,29	0,27	0	0,02	0,29	0,01	0,01	0,02	0,31	0,01	0,01	0,02	0,31	0,06	0,01	0,02	0,29	0,02	0	0,02	0,29	0,01	0,01	0,02	0,31	0	0,01	0,02	0,31
driverlog4_v01i.renamed-as.sat05-3966.cnf	0	0,01	0,21	0,79	0,01	0,01	0,2	0,05	0,01	0,01	0,28	0,05	0,01	0,01	0,24	0,05	0,01	0,01	0,28	0,11	0,02	0,01	0,24	0,05	0,01	0,01	0,27	0,05	0,01	0,01	0,23	0,05	0,01	0,01	0,27
driverlog4_v01i.shuffled-as.sat05-4033.cnf	0,01	0,02	0,26	1,36	0,01	0,01	0,34	0,49	0,01	0,01	0,31	0,08	0	0,01	0,44	0,07	0,01	0,02	0,36	0,17	0,01	0,02	0,43	0,09	0,01	0,01	0,39	0,08	0,01	0,02	0,43	0,07	0,01	0,02	0,36
driverlog6_ks99i.shuffled-as.sat05-4023.cnf	0	0	0,24	0,27	0	0	0,15	0,07	0	0	0,2	0	0	0	0,24	0	0	0	0,24	0,03	0	0,01	0,22	0,01	0	0,01	0,23	0	0	0	0,24	0	0	0	0,24
f1-b10-s10-10.cnf	0	TO	TO	0,01	0	TO	TO	0	0	TO	TO	0,01	0	TO	TO	0	0	TO	TO	0	0	TO	TO	0	0	TO	TO	0	0	TO	TO	0	0	TO	TO
f1-b11-s11-10.cnf	0,16	TO	TO	0,01	0,16	TO	TO	0	0,16	TO	TO	0	0,16	TO	TO	0	0,16	TO	TO	0	0,16	TO	TO	0	0,16	TO	TO	0	0,16	TO	TO	0	0,16	TO	TO
f1-b14-s14-10.cnf	0,94	TO	TO	0,01	0,94	TO	TO	0,01	0,94	TO	TO	0	0,94	TO	TO	0,01	0,94	TO	TO	0,01	0,94	TO	TO	0	0,94	TO	TO	0	0,94	TO	TO	0	0,94	TO	TO
f1-b21-s21-10.cnf	0,17	TO	TO	0,03	0,17	TO	TO	0,02	0,17	TO	TO	0,01	0,17	TO	TO	0,01	0,17	TO	TO	0,01	0,17	TO	TO	0,01	0,17	TO	TO	0,01	0,17	TO	TO	0,01	0,17	TO	TO
f1-b4-s4-10.cnf	0,1	3,56	7,1	0	0,1	3,56	7,1	0	0,1	3,56	7,1	0	0,1	3,56	7,1	0	0,1	3,56	7,1	0	0,1	3,56	7,1	0	0,1	3,56	7,1	0	0,1	3,56	7,1	0	0,1	3,56	7,1
f1-b5-s5-10.cnf	0,8	2195,5	0,88	0	0,8	2195,5	0,88	0	0,8	2195,5	0,88	0	0,8	2195,5	0,88	0	0,8	2195,5	0,88	0	0,8	2195,5	0,88	0	0,8	2195,5	0,88	0	0,8	2195,5	0,88	0	0,8	2195,5	0,88
f1-b8-s8-10.cnf	0,03	345,8	442,73	0,01	0,03	345,8	442,73	0	0,03	345,8	442,73	0	0,03	345,8	442,73	0	0,03	345,8	442,73	0	0,03	345,8	442,73	0	0,03	345,8	442,73	0	0,03	345,8	442,73	0	0,03	345,8	442,73
f15-b1-s1-0.cnf	160,33	23,2	40,73	182,69	94,59	15,35	31,52	62,72	121,18	19,17	34,24	29,74	142,66	20,95	44,49	20,16	134,2	23,94	38,35	123,53	118,63	24,37	32,82	45,54	130,92	19,21	35,12	30,04	150,77	19,83	45,35	21,08	141,11	22,62	37,09
f15-b2-s2-0.cnf	TO	516,37	794,85	306,06	2287,73	334,07	261,7	100,14	8891,1	257,94	575,3	47,75	TO	452,95	556,98	34,01	3969,27	369,7	441,52	209,56	4456,24	378,89	316,32	77,22	2880,15	155,71	293,83	51,05	TO	483,39	549,23	33,33	4028,04	371,52	469,28
f15-b3-s3-0.cnf	7627,95	875,38	833,18	359,53	5620,25	531,31	244,23	116,74	2926,38	561,41	976,24	55,39	10157,9	759,43	281,31	37,63	2419,52	555,47	760,59	229,84	TO	543,86	675,89	83,47	TO	687,06	1276,87	55,69	10024	751,8	271,54	37,73	2448,27	498,81	733,52
f17-b11-s0-10.cnf	68,31	7,68	212,2	225,82	31,68	9,58	200,51	77,74	23,06	9,63	199,6	80,5	83,47	8,13	199,04	39,64	65,98	8,41	199,72	214,2	65,32	9,48	197,77	74,22	48,06	8,43	204,49	77,81	83,52	8,13	199,03	39,73	66,06	8,47	199,69
f17-b24-s0-20.cnf	21,15	6,04	11,22	66,88	24,52	5,42	9,81	25,79	25,27	7,03	9,26	22,14	25,42	5,82	10,32	12,92	24,02	8,54	9,32	52,88	22,86	5,71	10,36	22,03	25,97	5,08	9,88	22,19	25,45	6,11	9,78	12,78	23,33	9,43	9,51
f17-b32-s0-20.cnf	4302,94	84,1	526,21	245,16	4016,09	83,64	457,53	83,52	4295,27	74,49	549,26	83,94	4347,19	76,46	497,37	43,93	4093,3	78,48	503,89	221,03	4943,23	78,21	602,45	75,33	4053,67	77,89	624,97	80,56	4219,07	77,35	497,29	41,59	4172,45	86,61	504,25
f17-b51-s0-10.cnf	35,97	8,66	5,76	22,45	55,48	10,45	9,15	8,81	45,24	10,37	11,5	7,42	48,17	8,73	7,81	4,25	31,73	6,95	9,77	20,23	52,02	7,72	9,34	7,71	40,62	8,38	10,57	7,26	47,97	8,74	7,81	4,12	32,26	6,65	9,59
f17-b70-s0-20.cnf	118,75	31,49	44,57	36,86	117,68	31,58	37,64	12,51	109,71	37,96	60,87	13,01	135,59	34,6	35,35	7,03	102,22	31,33	52,54	29,21	119,17	39,9	42,3	11,15	109,63	33,76	40,84	12,35	123,93	33,08	39,13	7,33	113,26	31,07	44,19
f17-b76-s0-20.cnf	0,77	0,39	1,81	7,06	0,28	0,58	1,74	2,67	0,47	0,39	1,84	2,22	0,24	0,62	1,78	1,31	0,51	0,36	1,96	6	0,54	0,47	1,65	2,37	0,4	0,43	1,83	2,19	0,42	0,6	1,81	1,33	0,44	0,35	1,95
f17-b9-s0-10.cnf	2,78	1,33	2,42	8,41	4,3	1,52	2,69	2,9	3,72	1,28	2,51	2,57	3,41	0,83	2,76	1,46	3,4	1,1	2,65	6,56	4,24	1,61	2,78	2,53	3,5	0,96	2,66	2,62	3,4	0,86	2,71	1,49	3,49	1,16	2,83
f25-b1-s0-20.cnf	46,24	4	25,99	1,2	17,77	5,23	19,44	0,41	19,44	9,44	26,54	0,45	46,24	4	25,99	0,22	46,24	4	25,99	1,12	21,26	4,26	24,54	0,39	24,94	10,05	26,35	0,43	46,24	4	25,99	0,22	46,24	4	25,99
f25-b11-s0-20.cnf	TO	TO	TO	8,26	TO	TO	TO	2,82	TO	TO	TO	2,94	TO	TO	TO	1,49	TO	TO	TO	7,75	TO	TO	TO	2,59	TO	TO	TO	2,89	TO	TO	TO	1,48	TO	TO	TO
f25-b12-s0-20.cnf	TO	1013,44	8791,53	11,68	TO	576,6	3351,21	3,75	TO	345,27	4531,38	3,97	TO	1013,44	8791,53	1,97	TO	1013,44	8791,53	9,94	TO	628,14	5234,9	3,47	TO	517,27	6407,18	3,75	TO	1013,44	8791,53	2,12	TO	1013,44	8791,53
f25-b7-s0-20.cnf	10,02	2,2	7,54	4,52	10,83	1,65	6,59	1,58	9,85	1,91	9,19	1,81	10,02	2,2	7,54	0,91	10,02	2,2	7,54	4,16	17,2	2,9	5,88	1,46	10,47	1,96	9,61	1,77	10,02	2,2	7,54	0,86	10,02	2,2	7,54
f25-b8-s0-20.cnf	TO	3221,57	TO	2,56	TO	9721,3	TO	0,87	TO	1586,86	TO	0,9	TO	3221,57	TO	0,46	TO	3221,57	TO	2,34	TO	5261,79	TO	0,82	TO	4178,06	TO	0,89	TO	3221,57	TO	0,45	TO	3221,57	TO
f25-b9-s0-20.cnf	TO	2167,93	TO	2,47	TO	4758,98	TO	0,81	TO	2390,34	TO	0,84	TO	2167,93	TO	0,41	TO	2167,93	TO	2,26	TO	4493,15	TO	0,76	TO	2655,49	TO	0,85	TO	2167,93	TO	0,41	TO	2167,93	TO
f28-b1-s0-0.cnf	0,11	0,02	0,06	0,04	0,11	0,02	0,06	0,03	0,11	0,02	0,06	0,04	0,11	0,02	0,06	0,03	0,11	0,02	0,06	0	0,11	0,02	0,06	0	0,11	0,02	0,06	0,01	0,11	0,02	0,06	0	0,11	0,02	0,06
f28-b2-s0-0.cnf	0,36	0,38	0,2	0,05	0,36	0,38	0,2	0,03	0,36	0,38	0,2	0,04	0,36	0,38	0,2	0,03	0,36	0,38	0,2	0,01	0,36	0,38	0,2	0	0,36	0,38	0,2	0,01	0,36	0,38	0,2	0	0,36	0,38	0,2
f28-b4-s0-0.cnf	0,03	3,13	0,06	0,04	0,03	3,13	0,06	0,03	0,03	3,13	0,06	0,04	0,03	3,13	0,06	0,03	0,03	3,13	0,06	0,01	0,03	3,13	0,06	0	0,03	3,13	0,06	0	0,03	3,13	0,06	0	0,03	3,13	0,06
f28-b6-s0-0.cnf	0,05	1,52	0,1	0,04	0,05	1,52	0,1	0,03	0,05	1,52	0,1	0,04	0,05	1,52	0,1	0,03	0,05	1,52	0,1	0,01	0,05	1,52	0,1	0	0,05	1,52	0,1	0,01	0,05	1,52	0,1	0	0,05	1,52	0,1
f28-b7-s0-0.cnf	0,14	0,03	0,14	0,04	0,14	0,03	0,14	0,03	0,14	0,03	0,14	0,04	0,14	0,03	0,14	0,03	0,14	0,03	0,14	0	0,14	0,03	0,14	0	0,14	0,03	0,14	0	0,14	0,03	0,14	0	0,14	0,03	0,14
f28-b8-s0-0.cnf	0,07	0,55	0,05	0,04	0,07	0,55	0,05	0,03	0,07	0,55	0,05	0,04	0,07	0,55	0,05	0,03	0,07	0,55	0,05	0	0,07	0,55	0,05	0	0,07	0,55	0,05	0	0,07	0,55	0,05	0	0,07	0,55	0,05
f28-b9-s0-0.cnf	0,1	0,22	0,07	0,04	0,11	0,24	0,07	0,03	0,1	0,22	0,07	0,04	0,1	0,24	0,08	0,03	0,1	0,22	0,07	0	0,1	0,22	0,07	0	0,1	0,22	0,07	0	0,1	0,22	0,07	0	0,1	0,22	0,07
f2clk_40.shuffled-as.sat03-424.cnf	6447,19	280,88	323,15	6,39	4542,32	290,41	270,61	2,09	9457,25	188,53	291,93	1,3	3978,14	325,88	453,04	0,75	3848,02	274,77	518,13	6,06	5196,02	224,83	313,56	1,97	5766,78	221,21	238,39	1,31	4042,8	299,23	466,84	0,8	3965,68	289,94	503,76
f3-b1-s0-10.cnf	655,27	12,04	21,92	0,08	95,49	56,97	23,99	0,05	97,78	57,5	22,34	0,07	97,76	60,35	24,16	0,04	98,11	56,91	22,74	0,03	96,2	62,41	24,1	0,02	93,79	60,05	23,58	0,03	96,07	57,24	22,38	0,02	93,19	61,43	22,86
f3-b11-s0-10.cnf	1814,3	58,01	260,51	1,12	1420,43	146,19	119,34	0,74	95,67	62,27	119,26	1,15	1486,86	137,42	111,47	0,71	96,12	58,58	119,48	0,15	1888,75	58,88	266,68	0,11	1884,8	59,64	262,04	0,14	1865,27	59,49	262,71	0,1	1869,16	58,93	267,16
f3-b20-s0-10.cnf	5205,43	99,97	1007,37	0,11	TO	266,44	441,79	0,06	TO	275,5	446,69	0,08	TO	279,38	455,46	0,05	TO	270,23	445,98	0,04	TO	279,55	441,06	0,02	TO	274,71	446,77	0,04	TO	269,47	457,97	0,02	TO	284,75	443,75
f3-b23-s0-10.cnf	TO	72,02	3797,09	1,67	TO	681,14	8722,17	1,09	TO	115,1	6433,99	1,64	TO	676,32	8248,82	1,09	TO	114,06	6468,89	0,2	TO	72,17	4125,99	0,15	TO	71,77	3969,34	0,22	TO	71,92	4115,3	0,15	TO	72,67	3998,45
f3-b25-s0-10.cnf	790,97	755,9	1664,94	1,66	137,26	225,45	2935,61	1,05	155,32	246,98	1926,54	1,64	134,91	233,74	2934,61	1,04	157,44	243,39	1924,24	0,22	839,55	745,8	1701,57	0,15	811,38	738,83	1698,4	0,22	791,98	773,19	1745,22	0,15	813,06	779,38	1723,25
f3-b29-s0-10.cnf	TO	75	2097,26	1,71	TO	173,19	1378,45	1,11	TO	864,29	83,31	1,68	TO	176,44	1445,78	1,1	TO	835,69	82,56	0,21	TO	74,28	2143,89	0,14	TO	71,79	2192,52	0,22	TO	72,29	2148,04	0,14	TO	74,1	2165,02
f3-b3-s0-10.cnf	2912,65	27,77	522,29	0,08	2912,65	27,77	522,29	0,05	2912,65	27,77	522,29	0,07	2912,65	27,77	522,29	0,04	2912,65	27,77	522,29	0,03	2912,65	27,77	522,29	0,02	2912,65	27,77	522,29	0,03	2912,65	27,77	522,29	0,02	2912,65	27,77	522,29
f34-b1-s0-0.cnf	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05
f34-b10-s0-0.cnf	0,01	0,01	0,04	0	0,01	0,01	0,04	0	0,01	0,01	0,04	0	0,01	0,01	0,04	0	0,01	0,01	0,04	0	0,01	0,01	0,04	0	0,01	0,01	0,04	0,01	0,01	0,01	0,04	0	0,01	0,01	0,04
f34-b2-s0-0.cnf	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05
f34-b3-s0-0.cnf	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05
f34-b4-s0-0.cnf	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05
f34-b6-s0-0.cnf	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05	0	0,02	0,01	0,05
f34-b9-s0-0.cnf	0,02	0,01	0,06	0	0,02	0,01	0,06	0	0,02	0,01	0,06	0	0,02	0,01	0,06	0	0,02	0,01	0,06	0	0,02	0,02	0,06	0	0,02	0,01	0,06	0	0,02	0,02	0,06	0	0,02	0,01	0,06
f35-b2-s0-0.cnf	0,01	0,02	0,07	0	0,01	0,02	0,07	0	0,01	0,02	0,07	0	0,01	0,02	0,07	0	0,01	0,02	0,07	0	0,01	0,02	0,07	0	0,01	0,02	0,07	0	0,01	0,02	0,07	0	0,01	0,02	0,07
f35-b4-s0-0.cnf	0,03	0,01	0,08	0	0,03	0,01	0,08	0	0,03	0,01	0,08	0	0,03	0,01	0,08	0	0,03	0,01	0,08	0	0,03	0,01	0,08	0	0,03	0,01	0,08	0	0,03	0,01	0,08	0	0,03	0,01	0,08
f35-b8-s0-0.cnf	0,03	0,02	0,04	0,01	0,03	0,02	0,04	0	0,03	0,02	0,04	0	0,03	0,02	0,04	0	0,03	0,02	0,04	0	0,03	0,02	0,04	0	0,03	0,02	0,04	0	0,03	0,02	0,04	0	0,03	0,02	0,04
f40-b1-s0-0.cnf	2,28	0,09	2,25	0,01	2,28	0,09	2,25	0,01	2,28	0,09	2,25	0,01	2,28	0,09	2,25	0,01	2,28	0,09	2,25	0,01	2,28	0,09	2,25	0	2,28	0,09	2,25	0,01	2,28	0,09	2,25	0,01	2,28	0,09	2,25
f40-b10-s0-0.cnf	0,84	0,11	1,41	0,01	0,84	0,11	1,41	0,01	0,84	0,11	1,41	0,01	0,84	0,11	1,41	0,01	0,84	0,11	1,41	0,01	0,84	0,11	1,41	0	0,84	0,11	1,41	0,01	0,84	0,11	1,41	0,01	0,84	0,11	1,41
f40-b3-s0-0.cnf	4,03	0,09	4,81	0,01	4,03	0,09	4,81	0,01	4,03	0,09	4,81	0,01	4,03	0,09	4,81	0	4,03	0,09	4,81	0,01	4,03	0,09	4,81	0	4,03	0,09	4,81	0,01	4,03	0,09	4,81	0,01	4,03	0,09	4,81
f40-b4-s0-0.cnf	4,71	1,44	1,46	0,01	4,71	1,44	1,46	0,01	4,71	1,44	1,46	0,01	4,71	1,44	1,46	0,01	4,71	1,44	1,46	0,01	4,71	1,44	1,46	0,01	4,71	1,44	1,46	0,01	4,71	1,44	1,46	0,01	4,71	1,44	1,46
f40-b8-s0-0.cnf	1,93	0,15	5,34	0,01	1,93	0,15	5,34	0,01	1,93	0,15	5,34	0,01	1,93	0,15	5,34	0,01	1,93	0,15	5,34	0,01	1,93	0,15	5,34	0,01	1,93	0,15	5,34	0,01	1,93	0,15	5,34	0,01	1,93	0,15	5,34
f40-b9-s0-0.cnf	1,57	1,62	0,85	0,01	1,57	1,62	0,85	0,01	1,57	1,62	0,85	0,01	1,57	1,62	0,85	0,01	1,57	1,62	0,85	0,01	1,57	1,62	0,85	0,01	1,57	1,62	0,85	0,01	1,57	1,62	0,85	0,01	1,57	1,62	0,85
f51-b1-s0-0.cnf	303,09	10,23	65,93	0,02	303,09	10,23	65,93	0,01	303,09	10,23	65,93	0,02	303,09	10,23	65,93	0,01	303,09	10,23	65,93	0	303,09	10,23	65,93	0	303,09	10,23	65,93	0	303,09	10,23	65,93	0	303,09	10,23	65,93
f51-b10-s0-0.cnf	803,15	11,02	52,74	0,02	803,15	11,02	52,74	0,01	803,15	11,02	52,74	0,02	803,15	11,02	52,74	0,01	803,15	11,02	52,74	0	803,15	11,02	52,74	0	803,15	11,02	52,74	0	803,15	11,02	52,74	0	803,15	11,02	52,74
f51-b3-s0-0.cnf	292,44	12,93	54,09	0,02	158,33	12,93	54,16	0,01	167,85	12,86	58,28	0,02	165,94	12,83	55,2	0,01	160,3	12,87	54,57	0	292,44	12,93	54,09	0	292,44	12,93	54,09	0	292,44	12,93	54,09	0	292,44	12,93	54,09
f51-b4-s0-0.cnf	387,87	10,85	48,46	0,02	387,87	10,85	48,46	0,01	387,87	10,85	48,46	0,02	387,87	10,85	48,46	0,01	387,87	10,85	48,46	0	387,87	10,85	48,46	0	387,87	10,85	48,46	0	387,87	10,85	48,46	0	387,87	10,85	48,46
f51-b6-s0-0.cnf	212,38	11,36	65,83	0,02	212,38	11,36	65,83	0,01	212,38	11,36	65,83	0,02	212,38	11,36	65,83	0,01	212,38	11,36	65,83	0	212,38	11,36	65,83	0	212,38	11,36	65,83	0	212,38	11,36	65,83	0	212,38	11,36	65,83
f51-b8-s0-0.cnf	189,89	11,83	69,94	0,02	189,89	11,83	69,94	0,01	189,89	11,83	69,94	0,02	189,89	11,83	69,94	0,01	189,89	11,83	69,94	0	189,89	11,83	69,94	0	189,89	11,83	69,94	0	189,89	11,83	69,94	0	189,89	11,83	69,94
f51-b9-s0-0.cnf	515,82	10,07	57,88	0,02	199,07	10,09	62,97	0,01	195,87	10,09	57,65	0,02	188,87	10,09	58,49	0,01	186,34	10,06	58,49	0	515,82	10,07	57,88	0	515,82	10,07	57,88	0	515,82	10,07	57,88	0	515,82	10,07	57,88
f58-b10-s0-0.cnf	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f58-b2-s0-0.cnf	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO
f58-b3-s0-0.cnf	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f58-b4-s0-0.cnf	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f58-b6-s0-0.cnf	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f58-b8-s0-0.cnf	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f58-b9-s0-0.cnf	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f60-b1-s0-0.cnf	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f60-b10-s0-0.cnf	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f60-b2-s0-0.cnf	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f60-b3-s0-0.cnf	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f60-b6-s0-0.cnf	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f60-b7-s0-0.cnf	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO
f60-b9-s0-0.cnf	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f64-b10-s0-0.cnf	TO	TO	TO	0,21	TO	TO	TO	0,18	TO	TO	TO	0,21	TO	TO	TO	0,18	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
f64-b2-s0-0.cnf	TO	TO	TO	0,21	TO	TO	TO	0,16	TO	TO	TO	0,19	TO	TO	TO	0,18	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO
f64-b3-s0-0.cnf	TO	TO	TO	0,21	TO	TO	TO	0,18	TO	TO	TO	0,21	TO	TO	TO	0,18	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
f64-b4-s0-0.cnf	TO	TO	TO	0,2	TO	TO	TO	0,18	TO	TO	TO	0,2	TO	TO	TO	0,18	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
f64-b7-s0-0.cnf	TO	TO	TO	0,21	TO	TO	TO	0,18	TO	TO	TO	0,2	TO	TO	TO	0,18	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
f64-b8-s0-0.cnf	TO	TO	TO	0,19	TO	TO	TO	0,18	TO	TO	TO	0,19	TO	TO	TO	0,18	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO
f64-b9-s0-0.cnf	TO	TO	TO	0,2	TO	TO	TO	0,18	TO	TO	TO	0,21	TO	TO	TO	0,18	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO
f68-b1-s0-0.cnf	2,65	0,4	3,7	0,02	2,65	0,4	3,7	0,01	2,65	0,4	3,7	0,02	2,65	0,4	3,7	0,01	2,65	0,4	3,7	0	2,65	0,4	3,7	0	2,65	0,4	3,7	0	2,65	0,4	3,7	0	2,65	0,4	3,7
f70-b1-s1-0.cnf	0,21	0,1	0,5	0,01	0,21	0,1	0,5	0,01	0,21	0,1	0,5	0,01	0,21	0,1	0,5	0,01	0,21	0,1	0,5	0	0,21	0,1	0,5	0	0,21	0,1	0,5	0	0,21	0,1	0,5	0	0,21	0,1	0,5
f71-b16-s16-0.cnf	TO	TO	TO	0,1	TO	TO	TO	0,08	TO	TO	TO	0,1	TO	TO	TO	0,08	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO
f71-b17-s17-0.cnf	TO	TO	TO	0,1	TO	TO	TO	0,08	TO	TO	TO	0,1	TO	TO	TO	0,08	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f71-b19-s19-0.cnf	TO	TO	TO	0,11	TO	TO	TO	0,09	TO	TO	TO	0,11	TO	TO	TO	0,09	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f71-b2-s2-0.cnf	TO	1965,98	TO	0,04	TO	1965,98	TO	0,03	TO	1965,98	TO	0,04	TO	1965,98	TO	0,03	TO	1965,98	TO	0	TO	1965,98	TO	0	TO	1965,98	TO	0	TO	1965,98	TO	0	TO	1965,98	TO
f71-b4-s4-0.cnf	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO	0,04	TO	TO	TO	0,04	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f71-b7-s7-0.cnf	TO	TO	TO	0,06	TO	TO	TO	0,05	TO	TO	TO	0,06	TO	TO	TO	0,05	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f71-b8-s8-0.cnf	TO	TO	TO	0,06	TO	TO	TO	0,05	TO	TO	TO	0,06	TO	TO	TO	0,05	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
f83-b1-s0-0.cnf	0,01	0,01	0,06	0,17	0,01	0,01	0,06	0,06	0,01	0,01	0,06	0,08	0,01	0,01	0,06	0,04	0,01	0,01	0,06	0,09	0,01	0,01	0,06	0,05	0,01	0,01	0,06	0,08	0,01	0,01	0,06	0,04	0,01	0,01	0,06
f83-b11-s0-0.cnf	0,02	0,04	0,27	10,18	0,04	0,03	0,16	5,68	0,03	0,03	0,27	8,2	0,05	0,03	0,16	5,4	0,03	0,03	0,21	8,8	0,07	0,03	0,27	5,39	0,03	0,03	0,23	9,05	0,06	0,03	0,16	5,6	0,03	0,03	0,21
f83-b12-s0-0.cnf	0,07	0,05	0,3	20,35	0,12	0,03	0,19	12,92	0,05	0,04	0,23	19,37	0,05	0,03	0,2	11,13	0,04	0,04	0,24	17,7	0,05	0,03	0,2	11,81	0,07	0,03	0,25	17,67	0,05	0,03	0,21	11,32	0,04	0,03	0,26
f83-b2-s0-0.cnf	3	0,14	1,03	0,36	3,53	0,14	1,02	0,12	3,78	0,14	1,02	0,17	3,54	0,15	1,03	0,08	3,82	0,14	1,02	0,17	3,56	0,14	1,02	0,09	3,78	0,14	1,03	0,16	3,51	0,14	1,02	0,08	3,77	0,14	1,03
f83-b3-s0-0.cnf	0,01	0	0,05	0,14	0,01	0,01	0,05	0,05	0,01	0,01	0,05	0,06	0,01	0,01	0,05	0,03	0,01	0,01	0,04	0,07	0,01	0,01	0,05	0,03	0,01	0	0,05	0,06	0,01	0,01	0,05	0,03	0,01	0,01	0,05
f83-b5-s0-0.cnf	0,01	0,01	0,07	0,15	0,01	0,01	0,07	0,06	0,01	0,01	0,07	0,07	0,01	0,01	0,07	0,04	0,01	0,01	0,07	0,07	0,01	0,01	0,06	0,04	0,01	0,01	0,07	0,07	0,01	0,01	0,07	0,04	0,01	0,01	0,06
f83-b6-s0-0.cnf	17,56	1,61	17,15	0,32	18,75	1,73	19,52	0,11	18,54	1,62	18,07	0,15	18,45	1,61	17,57	0,08	18,43	1,61	16,93	0,15	19,41	1,61	16,89	0,07	18,56	1,61	17,13	0,15	18,45	1,61	18,06	0,07	18,57	1,62	17,13
f87-b11-s11-20.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
f87-b12-s12-20.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
f87-b2-s2-20.cnf	2,12	0,58	4,38	0	2,12	0,58	4,38	0	2,12	0,58	4,38	0	2,12	0,58	4,38	0	2,12	0,58	4,38	0	2,12	0,58	4,38	0	2,12	0,58	4,38	0	2,12	0,58	4,38	0	2,12	0,58	4,38
f87-b3-s3-20.cnf	113,3	14,99	131,41	0	113,3	14,99	131,41	0	113,3	14,99	131,41	0	113,3	14,99	131,41	0	113,3	14,99	131,41	0	113,3	14,99	131,41	0	113,3	14,99	131,41	0	113,3	14,99	131,41	0	113,3	14,99	131,41
f87-b5-s5-20.cnf	148,1	133,39	2502,77	0	148,1	133,39	2502,77	0	148,1	133,39	2502,77	0	148,1	133,39	2502,77	0	148,1	133,39	2502,77	0	148,1	133,39	2502,77	0	148,1	133,39	2502,77	0	148,1	133,39	2502,77	0	148,1	133,39	2502,77
f87-b8-s8-20.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
f91-b1-s0-20.cnf	0,07	0,22	1,06	0,69	0,08	0,23	0,91	0,22	0,07	0,26	1,55	0,06	0,08	0,3	1,48	0,06	0,07	0,31	1,35	0,09	0,07	0,47	1,29	0,06	0,08	0,29	1,38	0,06	0,07	0,3	1,36	0,06	0,07	0,31	1,34
f96-b1-s0-20.cnf	456,42	TO	TO	442,69	TO	TO	6182,52	443,66	TO	TO	417,41	427,21	TO	TO	456,28	442,04	TO	TO	454,18	438,57	TO	TO	464,02	379,18	TO	TO	371,11	392,13	TO	TO	416,77	385,26	TO	TO
ferry6_ks99a.renamed-as.sat05-3996.cnf	0,02	0,01	0,1	0,19	0,01	0	0,09	0	0,02	0,01	0,1	0	0,02	0,01	0,1	0	0,02	0,01	0,1	0,01	0,02	0	0,1	0	0,02	0,01	0,1	0,01	0,02	0,01	0,1	0	0,02	0,01	0,1
ferry7_v01a.renamed-as.sat05-4002.cnf	0,01	0,01	0,1	0,68	0,39	0,02	0,56	0,07	0,16	0,01	0,13	0,08	0,15	0,01	0,13	0,07	0,15	0,01	0,12	0,1	0,15	0,01	0,13	0,07	0,15	0,01	0,13	0,08	0,15	0,01	0,12	0,08	0,14	0,01	0,12
fifo8_100.shuffled.cnf	70,92	13,67	9,28	26,37	48,17	14,63	9,13	7,77	37,76	14,08	9,24	4,66	72,21	13,2	9,26	2,54	68,83	13,25	9,25	24,9	48,57	13,22	9,3	7,41	38,45	13,81	9,1	4,59	69,54	13,22	9,13	2,67	70,03	14,08	8,99
fifo8_200.shuffled.cnf	115,65	42,11	60,84	66,63	125,29	42,49	57,75	18,99	156,7	41,69	59,18	11,77	113,23	42,4	59,15	6,42	115,21	40,34	57,38	66,79	122,69	44,71	59,43	18,88	144,94	42,32	59,07	11,59	115,96	44,09	60,41	6,54	119,46	39,9	59,29
fifo8_300.shuffled-as.sat03-426.cnf	330,19	273,62	146,18	106,09	586,29	283,55	147,69	30,73	330,19	273,62	146,18	17,5	330,19	273,62	146,18	9,97	330,19	273,62	146,18	97,73	534,8	270,09	141,34	29,54	330,19	273,62	146,18	18,88	330,19	273,62	146,18	10,19	330,19	273,62	146,18
fifo8_300.shuffled.cnf	748,61	305,6	208,6	102,07	478,72	349,37	232,97	31,26	748,61	305,6	208,6	18,77	748,61	305,6	208,6	10,27	748,61	305,6	208,6	93,55	461,18	324,93	210,63	31,59	748,61	305,6	208,6	19,05	748,61	305,6	208,6	10,71	748,61	305,6	208,6
fifo8_400.shuffled.cnf	1276,83	468,79	276,41	148,46	1347,67	503,97	282,7	45,58	1302,04	468,57	274,47	25,02	1272,72	455,56	269,89	14,53	1300,46	460,65	279,24	141,63	1231,4	453,02	269,68	44,07	1273,38	498,61	281,48	24,87	1367,33	490,12	275,95	14,45	1299,99	457,18	266,53
IBM_FV_2004_rule_batch_03_SAT_dat.k100.cnf	TO	196,96	558,92	80,29	TO	22,92	305,8	13,28	TO	177,28	757,79	13,43	TO	152,79	467,4	7,34	TO	275,95	387,61	44,93	TO	165,91	524,92	13,25	TO	177,43	751,78	13,21	TO	154,93	470,75	7,36	TO	279,42	392,3
IBM_FV_2004_rule_batch_03_SAT_dat.k80.cnf	8031,96	88,53	130,94	61,21	3278,8	110,17	158,15	9,9	9352,57	237,26	109,54	9,04	7254,2	159,51	127,89	5,39	6782,77	103,52	75,26	35	7829,29	27,89	39,23	9,88	9123,11	236,85	107,24	9,07	7203,18	166,2	127,68	5,38	6510,72	103,38	76,1
IBM_FV_2004_rule_batch_03_SAT_dat.k90.cnf	6656,28	194,54	212,28	68,34	TO	202	130,33	11,57	10028,4	134,68	155,49	10,64	TO	141,23	278,75	6,3	10139,8	235,39	213,25	38,92	TO	132,86	210,05	10,73	9632,77	135,44	155	10,59	TO	144,63	273,11	6,08	9792,27	227,34	201,39
IBM_FV_2004_rule_batch_1_11_SAT_dat.k20.cnf	12,52	2,31	11,22	34,16	14,66	5,11	8,39	4,9	10,62	3,84	8,42	3,49	14,6	3,22	8,53	2,89	12,46	3,23	8,43	16,26	15,6	3,88	8,79	4,84	11,24	3,78	8,79	3,53	16,03	3,2	8,45	2,92	12,46	3,22	8,6
IBM_FV_2004_rule_batch_1_11_SAT_dat.k25.cnf	48,13	8,19	17,58	43,16	40,87	7,13	18,84	6,64	37,2	9,02	18,32	4,71	45,32	9,48	16,95	3,89	54,36	9,74	17,08	22,22	60,65	12,97	17,69	6,55	36,28	9,58	18,47	4,74	45,37	9,46	16,86	4,03	54,24	9,46	16,88
IBM_FV_2004_rule_batch_1_11_SAT_dat.k45.cnf	1704,68	169,86	147,95	87,18	4009,57	182,27	151,69	13,34	4233,47	117,16	109,28	9,54	1785	119,67	189,5	7,99	2694,46	131,8	185,75	45,12	3027,24	105,48	160,52	13,5	3941,14	125,94	116,21	9,6	1853,74	136,53	199,33	7,85	2823,56	129,82	192,82
IBM_FV_2004_rule_batch_1_11_SAT_dat.k60.cnf	TO	782,68	615,07	127,73	TO	695,59	199,95	18,25	TO	735,25	567,51	13,96	TO	391,24	354,35	11,55	TO	370,8	360,07	66,47	TO	925,86	343,57	18,59	TO	747,92	571,89	14,07	TO	397,53	350,28	11,56	TO	397,68	350,86
IBM_FV_2004_rule_batch_1_11_SAT_dat.k65.cnf	TO	1463,72	335,41	139,84	TO	1114,31	549,39	20,66	TO	730,6	643,55	15,25	TO	1292,51	908,81	12,43	TO	1228,81	888	72,04	TO	899,41	715,02	21,02	TO	776,09	644,74	14,42	TO	1195,27	935,92	12,4	TO	1264,11	884,58
IBM_FV_2004_rule_batch_1_11_SAT_dat.k75.cnf	TO	1979,8	1428,37	162,64	TO	3476,11	718,11	24,47	TO	2935,96	882,59	17,76	TO	1499,76	1321,08	14,54	TO	1425,33	1313,94	84,25	TO	3297,01	735,38	24,25	TO	3001,64	882,85	17,84	TO	1500,46	1362,2	14,58	TO	1471,87	1344,49
IBM_FV_2004_rule_batch_1_11_SAT_dat.k80.cnf	TO	2893,74	2508,5	203,31	TO	3836,73	884,5	25,19	TO	3718,58	1623	18,15	TO	3621,39	3007,95	14,85	TO	3868,41	2943,16	86,61	TO	4708,67	2334,05	24,88	TO	3981,64	1728,74	18,56	TO	3846,54	3116,47	15,67	TO	3869,59	3012,18
IBM_FV_2004_rule_batch_15_SAT_dat.k10.cnf	0,17	0,14	1,62	3,88	0,22	0,12	1,85	0,7	0,05	0,16	1,65	0,53	0,04	0,13	1,58	0,38	0,04	0,13	1,69	2,39	0,11	0,13	1,53	0,74	0,04	0,16	1,67	0,55	0,04	0,14	1,58	0,39	0,04	0,14	1,81
IBM_FV_2004_rule_batch_15_SAT_dat.k20.cnf	0,06	0,14	4,59	10,56	14,37	0,97	5,83	2,06	6,61	0,33	5,86	1,41	4,47	1	6,37	1,04	6,95	0,71	6,18	6,5	5,05	1,57	4,38	2,06	6,7	0,32	5,51	1,44	4,47	0,97	6,34	1,06	6,92	0,71	5,71
IBM_FV_2004_rule_batch_15_SAT_dat.k60.cnf	0,13	0,42	14,68	43,88	TO	58,29	102,69	8,72	1554,57	17,9	167,46	6,39	5078,23	2,02	17,08	4,49	3347,35	2,03	17,24	29,85	4675,8	21,12	37,85	9,31	1513,16	16,47	183,84	6,53	5106,74	1,87	17,22	5	3327,56	1,85	17,81
IBM_FV_2004_rule_batch_15_SAT_dat.k65.cnf	0,14	0,41	16,18	49,61	10624,1	7,48	80,44	10,44	3807,49	8,37	276,72	7,36	7178,87	0,52	15,92	5,43	7264,97	0,53	16,19	34,2	7326,15	75,75	248,71	10,57	3611,79	8,46	275,84	7,41	6807,66	0,51	16,02	5,43	7054,02	0,53	16,18
IBM_FV_2004_rule_batch_15_SAT_dat.k85.cnf	1,39	0,6	23,66	69,85	TO	614,11	65,99	13,81	TO	49,16	182,69	10,48	TO	3,63	28,12	7,76	TO	3,66	28,31	48,56	TO	36,15	124,94	14,71	TO	47,7	180,7	10,66	TO	3,87	28,91	7,77	TO	3,89	28,41
IBM_FV_2004_rule_batch_16_1_SAT_dat.k10.cnf	0,04	0,02	0,35	1,1	0,04	0,03	0,32	0,22	0,04	0,02	0,32	0,16	0,04	0,02	0,32	0,12	0,04	0,02	0,32	0,92	0,04	0,02	0,33	0,21	0,04	0,02	0,32	0,15	0,04	0,02	0,32	0,13	0,04	0,02	0,32
IBM_FV_2004_rule_batch_16_1_SAT_dat.k100.cnf	24,92	1,82	47,91	22,1	25,93	1,53	10,7	4,5	24,47	1,79	12,13	3,28	26,22	1,83	53,3	2,58	17,71	2,55	14,77	19,67	42,26	9,5	29,66	4,31	24,41	1,76	12,13	3,27	26,1	1,88	53,36	2,45	18,71	2,53	14,78
IBM_FV_2004_rule_batch_16_1_SAT_dat.k50.cnf	1,73	0,96	4,54	9,87	2,81	0,8	5,05	1,9	2,24	0,57	3,96	1,39	2,14	0,83	3,4	1,09	2,54	0,8	3,25	8,4	3,17	0,58	3,35	1,84	2,23	0,6	3,97	1,41	2,24	0,83	3,43	1,11	2,54	0,79	3,28
IBM_FV_2004_rule_batch_16_1_SAT_dat.k55.cnf	3,98	0,66	5,87	11,35	5,67	0,73	6,85	2,13	2,34	0,84	4,05	1,51	1,47	0,93	4,15	1,24	2,1	1,6	7,81	9,64	3,67	1,11	7,16	2,05	2,35	0,84	4,05	1,57	1,46	0,93	4,19	1,15	2,09	1,59	7,89
IBM_FV_2004_rule_batch_16_1_SAT_dat.k60.cnf	5,37	1,43	4,95	12,54	6,73	1,19	5,25	2,41	3,22	0,71	7,74	1,69	3,62	0,87	6,24	1,39	3,76	0,66	6,89	10,5	3,55	0,78	6,28	2,4	3,36	0,69	7,82	1,78	3,53	0,87	6,23	1,42	3,78	0,66	6,86
IBM_FV_2004_rule_batch_16_1_SAT_dat.k65.cnf	6,37	1,47	5,65	14,03	9,06	0,94	5,9	2,64	6,97	1,81	7,47	1,94	4,49	1,12	4,91	1,51	3,07	1,77	12,72	11,81	7,22	0,93	6,66	2,57	6,96	1,78	7,42	1,95	4,5	1,12	4,89	1,55	3,23	1,74	13,61
IBM_FV_2004_rule_batch_16_1_SAT_dat.k80.cnf	9,72	1,36	10,42	18,03	12,5	6,69	21,49	3,51	8,18	6,64	26,02	2,58	10,43	2,64	7,53	2	14,37	11,1	16,59	15,36	10,26	2,14	28,9	3,4	8,1	6,71	25,93	2,52	10,53	2,62	7,57	2,01	14,36	11,12	16,58
IBM_FV_2004_rule_batch_21_SAT_dat.k30.cnf	18,4	3,64	8,9	28,96	23,64	3,47	8,25	4,42	25,55	4,01	8,01	3,33	32,21	4,47	9,84	2,64	24,43	3,06	8,4	14,3	23,94	2,9	9,26	4,4	25,72	3,99	7,97	3,31	32,19	4,49	10,35	2,66	24,35	3,22	8,34
IBM_FV_2004_rule_batch_21_SAT_dat.k65.cnf	1470,58	512,07	63,97	79,56	2539,6	326,21	49,71	13,18	2375	223,41	33,43	9,95	2627,18	230,74	43,08	8,07	2790,15	393,48	76,16	44,73	2399,93	398,72	40,88	13,7	2493,31	223,5	32,74	10,26	2747,15	220,69	42,37	8,78	2511,67	377,67	72,91
IBM_FV_2004_rule_batch_22_SAT_dat.k100.cnf	TO	TO	TO	263,14	TO	TO	6647	70,75	TO	TO	8788,44	42,14	TO	TO	TO	39,49	TO	TO	TO	199,36	TO	TO	TO	67,3	TO	TO	8935,33	45,18	TO	TO	TO	38,03	TO	TO	TO
IBM_FV_2004_rule_batch_22_SAT_dat.k20.cnf	0,44	0,17	4,57	22,29	0,33	0,26	4,67	4,15	0,21	0,18	4,89	2,78	0,57	0,21	4,74	2,22	0,27	0,22	5,05	13,77	1,55	0,46	4,78	4,14	0,21	0,19	4,85	2,76	0,57	0,2	4,71	2,22	0,26	0,23	5,09
IBM_FV_2004_rule_batch_22_SAT_dat.k25.cnf	1,75	0,5	7,03	30,98	1,59	1,26	6,43	5,99	1,3	0,31	8,42	3,9	0,52	0,48	8,8	3,15	1,09	0,44	7,74	19,74	2,08	0,75	6,54	6,04	1,33	0,3	8,41	3,94	0,54	0,48	8,24	3,14	1,1	0,44	7,82
IBM_FV_2004_rule_batch_22_SAT_dat.k45.cnf	147,64	92,72	227,34	77,55	204,52	106,09	198,01	15,29	251,12	89,34	215,72	10,4	173,9	124,77	191,06	9	379,93	94,59	178,09	52,06	547,46	106,74	161,36	16,56	253,55	82,05	223,36	10,66	189,15	114,47	190,51	8,65	371,62	89,11	181,36
IBM_FV_2004_rule_batch_22_SAT_dat.k60.cnf	6341,71	1374,08	1242,41	115,75	7559,26	1331,95	752,74	26,88	3520,77	2310,7	1274,97	16,4	4012,79	1769,62	1577,68	14,71	3385,89	2041,74	916,34	82,06	2501,06	2065,36	1737,39	27,17	3599,71	2214,8	1272,81	16,79	3880,87	1701,38	1499,28	14,41	3295,96	1977,7	927,52
IBM_FV_2004_rule_batch_22_SAT_dat.k70.cnf	TO	3078,73	5564,1	150,35	TO	4220,31	3452,09	34,44	TO	6138,45	2467,94	22,83	TO	1612,9	2609,88	19,86	10618,3	4381,43	2231,07	112,31	9803,61	1170,68	2307,76	36,13	TO	6374,86	2456,04	23,64	TO	1542,5	2652,19	19,68	10512,5	4447,28	2237,09
IBM_FV_2004_rule_batch_22_SAT_dat.k75.cnf	TO	4035,72	2877,51	172,48	TO	5096,73	3714,45	40,15	TO	6324,08	4099,39	24,64	TO	5782,49	5505,93	22,35	TO	5534,54	3796,42	125,26	TO	4202,16	3121,35	38,16	TO	5782,1	4017,92	26,03	TO	5927,94	5170,69	22,32	TO	5655,36	3738,34
IBM_FV_2004_rule_batch_23_SAT_dat.k100.cnf	TO	TO	4147,89	178,04	TO	TO	TO	39,16	TO	TO	6294,92	21,48	TO	TO	TO	18,1	TO	TO	TO	129,62	TO	TO	TO	40,17	TO	TO	6142,79	21,51	TO	TO	TO	17,79	TO	TO	TO
IBM_FV_2004_rule_batch_23_SAT_dat.k20.cnf	12,82	3,95	11,89	17,11	8,94	4,83	10,5	3,11	12,46	3,78	11,68	2,04	11,75	3,21	9,42	1,6	11,99	3,22	9,38	11,01	10,78	4,69	10,08	3,1	12,38	3,87	11,7	2,05	11,68	3,26	9,34	1,61	11,98	3,24	9,37
IBM_FV_2004_rule_batch_23_SAT_dat.k40.cnf	2918,59	1070,27	1403,13	45,34	4563,79	2216,11	4825,24	8,58	3462,26	1593,52	3107,5	5,27	2029,17	2526,22	1380,47	4,24	1761,18	2543,72	1342,67	29,7	6516,41	1792,65	2274,17	8,53	3333,06	1574,19	3194,13	5,29	1918,72	2532,47	1350,73	4,21	1777,64	2568,81	1355,16
IBM_FV_2004_rule_batch_23_SAT_dat.k45.cnf	5962,46	3940,82	7829,02	53,26	2833,1	3729,01	4111,24	10,33	3656,05	3568,43	4382,78	6,22	3244,61	3625,13	3457,46	5,04	4751,79	3541,57	3314,55	34,54	4447,15	1826,6	5836,14	10,36	3698,1	3324,82	4364,69	6,23	3283,2	3637,35	3341	4,99	4925,58	3714,29	3311,19
IBM_FV_2004_rule_batch_23_SAT_dat.k55.cnf	8829,6	1658,06	2349,53	73,43	TO	2042,56	7400,78	13,67	TO	7945,16	2420	8,49	TO	7120,87	4407,86	6,82	TO	6888,82	4249,94	49,61	10602	7007,98	4303,2	14,46	TO	7499,27	2533,59	8,49	TO	6913,24	4478,21	6,81	TO	7100,83	4476,69
IBM_FV_2004_rule_batch_23_SAT_dat.k65.cnf	TO	5061,77	1612,1	96,49	TO	TO	8818,9	19,21	TO	TO	1745,4	10,89	TO	TO	1374,73	8,95	TO	TO	1308,37	64,19	TO	8372,5	TO	19,07	TO	TO	1711,49	10,89	TO	TO	1273,44	9,06	TO	TO	1332,92
IBM_FV_2004_rule_batch_23_SAT_dat.k80.cnf	TO	TO	2293	123,97	TO	TO	8093,07	27,46	TO	TO	TO	15,19	TO	TO	5474,48	12,7	TO	TO	5840,25	90,46	TO	TO	10525,4	27,29	TO	TO	TO	14,72	TO	TO	5546,82	12,29	TO	TO	5937,58
IBM_FV_2004_rule_batch_29_SAT_dat.k30.cnf	635,56	986,9	84,04	9,66	1178,6	514,98	951,53	1,57	2262,27	794,79	3328,7	1,24	1048,64	273,68	9229,01	0,85	1326,4	313,31	7689,65	6,65	1400,09	1366,14	2695,22	1,47	741,95	2303,92	3595,67	1,23	3668,94	362,24	3455,8	0,86	2173,52	956,6	TO
IBM_FV_2004_rule_batch_29_SAT_dat.k50.cnf	TO	7,44	143,58	21,16	TO	803,8	1414,31	3,08	TO	35,64	566,19	2,44	TO	490,28	440,29	1,74	TO	488,2	256,69	14,83	10325,4	157,76	6875,39	3,04	TO	227,12	107,12	2,42	TO	7,63	505,07	1,73	TO	7,85	212,31
IBM_FV_2004_rule_batch_29_SAT_dat.k70.cnf	TO	831,38	TO	35,85	TO	176,02	351,78	4,88	TO	4480,29	4424,29	3,89	TO	377,64	2621,69	2,86	TO	400,67	2421,38	26,23	TO	1652,32	9620,91	4,87	TO	1903,52	3293,42	3,9	TO	913,09	6891,76	2,98	TO	1046,55	8156,49
IBM_FV_2004_rule_batch_29_SAT_dat.k75.cnf	TO	830,78	5445,14	40,73	TO	21,66	688,36	5,27	TO	76,38	347,57	4,36	TO	59,39	1366,46	3,2	TO	2864,46	2834,21	29,48	TO	1185,35	6096,01	5,26	TO	790,59	TO	4,36	TO	1111,89	5616,92	3,02	TO	3748,23	5079,25
IBM_FV_2004_rule_batch_29_SAT_dat.k80.cnf	TO	1244,81	306,94	43,35	TO	727,51	6500,65	5,81	TO	633	852,8	4,73	TO	76,63	6110,3	3,5	TO	368,18	3344,74	32,79	TO	165,53	4263	5,79	TO	188,75	TO	4,71	TO	95,5	4992,28	3,52	TO	239,26	8815,93
IBM_FV_2004_rule_batch_29_SAT_dat.k90.cnf	TO	338,2	3796,81	58,25	TO	632,92	2774,46	6,86	TO	2321,78	TO	5,81	TO	841,46	TO	4,25	TO	819,3	6178,43	41,39	TO	179,64	982,61	6,86	TO	1662,22	875,33	5,65	TO	3111,72	2400,53	4,27	TO	2574,4	2818,71
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	2972,9	561,31	1336,24	25,27	3671,62	620,78	1191,66	5,19	4363	698,87	946,69	4,54	2359,42	1002,22	1329,87	2,73	3111,99	1007,83	1349,67	16,35	4572,1	688,47	1686,19	5,16	2808,42	607,58	986,84	4,45	2952,6	832,91	1356,85	2,72	3277,75	1021,2	1333,51
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf	TO	TO	TO	52,52	TO	TO	TO	10,9	TO	TO	TO	9,42	TO	8550,13	TO	5,69	TO	TO	TO	33,9	TO	TO	TO	10,81	TO	TO	TO	9,46	TO	TO	TO	5,71	TO	TO	TO
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	TO	TO	TO	80,71	TO	TO	TO	15,53	TO	TO	TO	14,13	TO	TO	TO	8,09	TO	TO	TO	50,14	TO	TO	TO	15,37	TO	TO	TO	14,12	TO	TO	1657,66	8,6	TO	TO	TO
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf	TO	TO	TO	97,74	TO	TO	TO	18,22	TO	TO	TO	16,9	TO	TO	TO	9,54	TO	TO	TO	58,64	TO	TO	TO	19,81	TO	2420,23	TO	16,86	TO	TO	6021,4	12,51	TO	TO	TO
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	TO	4504,05	TO	134,77	TO	5313,74	TO	28,48	TO	8181,16	1597,49	25,25	TO	2443	TO	14,99	TO	TO	TO	89,79	TO	TO	TO	28,38	TO	TO	TO	24,88	TO	TO	1683,72	15,14	TO	TO	TO
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf	TO	TO	TO	165,28	TO	3535,92	TO	34,67	TO	TO	TO	30,08	TO	TO	1173,23	18,42	TO	TO	4125,77	111,53	TO	10803,2	TO	34,35	TO	TO	TO	29,88	TO	3485,45	1738,11	18,49	TO	8552,73	876,79
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	TO	TO	TO	193,36	TO	5666,77	8813,08	38,41	TO	9503,74	TO	36,42	TO	4382,1	TO	21,19	TO	800,23	2570,88	128,21	TO	TO	TO	39,7	TO	TO	TO	35,89	TO	TO	478,64	21,62	TO	TO	1303,3
IBM_FV_2004_rule_batch_7_02_3_SAT_dat.k75.cnf	6,97	3,82	8,03	15,18	112,42	6,28	9,83	2,42	34,6	3,94	12,5	2,69	23,93	4,13	16,62	1,98	34,7	3,94	15,31	9,19	120,15	2,99	10,4	2,43	35,72	4,19	12,56	2,69	25	4,34	16,72	1,97	35,71	4,11	15,48
k2fix_gr_rcs_w9.shuffled.cnf	TO	1068,71	1559,95	41,8	TO	1068,71	1559,95	10,27	TO	1068,71	1559,95	0,19	TO	1068,71	1559,95	0,12	TO	1068,71	1559,95	0,22	TO	1068,71	1559,95	0,14	TO	1068,71	1559,95	0,2	TO	1068,71	1559,95	0,14	TO	1068,71	1559,95
logistics.a.cnf	0,01	0	0,23	0,04	0,01	0	0,1	0	0	0,01	0,12	0,03	0,01	0,01	0,1	0,01	0,01	0,01	0,12	0,03	0,01	0	0,08	0,01	0,01	0,01	0,12	0,03	0,01	0,01	0,1	0,01	0,01	0	0,14
rovers1_v01a.renamed-as.sat05-3975.cnf	0	0	0,09	0,22	0	0	0,09	0,03	0	0	0,14	0,03	0	0	0,16	0,03	0	0	0,14	0,05	0	0	0,16	0,03	0	0	0,14	0,03	0	0,01	0,17	0,03	0	0	0,14
rovers4_v01a.shuffled-as.sat05-4046.cnf	0	0	0,11	0,08	0	0	0,05	0,04	0	0	0,08	0,01	0	0	0,08	0,01	0	0	0,07	0,02	0	0	0,07	0,02	0	0	0,07	0,02	0	0	0,08	0,01	0	0	0,07
rovers5_ks99i.renamed-as.sat05-3974.cnf	0,01	0,02	0,85	1,69	0,03	0,02	0,82	0,01	0,01	0,02	0,85	0,01	0,01	0,02	0,85	0,01	0,01	0,02	0,85	0,06	0,03	0,02	0,83	0,01	0,01	0,02	0,85	0,02	0,01	0,02	0,85	0,01	0,01	0,02	0,85
rovers5_ks99i.shuffled-as.sat05-4041.cnf	0,1	0,02	1,1	2,73	0,04	0,03	0,91	0,7	0,02	0,02	1,04	0,01	0,1	0,02	1,1	0,01	0,1	0,02	1,1	0,1	0,05	0,02	1,31	0,03	0,06	0,01	1,1	0,02	0,1	0,02	1,1	0,01	0,1	0,02	1,1
SAT_dat.k15.cnf	0,43	0,57	2,01	6,96	0,43	0,41	2,22	1,03	0,4	0,81	2,57	0,75	0,43	0,57	2,01	0,52	0,43	0,57	2,01	2,94	0,33	0,37	2,41	0,95	0,41	0,81	2,53	0,74	0,43	0,57	2,01	0,48	0,43	0,57	2,01
SAT_dat.k30.cnf	5,27	128,87	34,77	14,79	51,68	183,57	33,22	2,15	53,11	6,27	56,24	1,54	5,27	128,87	34,77	1,1	5,27	128,87	34,77	6,18	7,89	74,98	73,99	2,15	24,75	6,38	55,13	1,5	5,27	128,87	34,77	1,1	5,27	128,87	34,77
SAT_dat.k40.cnf	29,32	26,67	28,92	20,24	111,21	14,39	97,36	2,95	205,98	28,08	71,27	2,08	29,32	26,67	28,92	1,52	29,32	26,67	28,92	8,39	27,21	18,49	36,73	2,85	64,85	28,12	66,67	1,92	29,32	26,67	28,92	1,51	29,32	26,67	28,92
SAT_dat.k45.cnf	171,54	27,2	127,57	22,8	1181,38	30,86	37,08	3,34	58,1	27,99	206,59	2,36	171,54	27,2	127,57	1,71	171,54	27,2	127,57	9,47	52,07	54,46	31,38	3,32	75,75	27,9	208,88	2,42	171,54	27,2	127,57	1,71	171,54	27,2	127,57
SAT_dat.k55.cnf	419,88	209,92	101,02	26,42	215,58	86,08	582,79	3,81	594,22	38,78	48,69	2,88	419,88	209,92	101,02	2,14	419,88	209,92	101,02	11,68	920,34	86,33	68,4	4	1139,27	40,2	48,78	2,69	419,88	209,92	101,02	2,06	419,88	209,92	101,02
SAT_dat.k70.cnf	TO	643,67	712,11	36,68	514,83	76,17	225,23	5,37	5377,91	527,58	757,96	3,82	TO	643,67	712,11	2,78	TO	643,67	712,11	15,26	4131,58	31,52	406,32	5,36	5564,5	518,49	740,13	3,78	TO	643,67	712,11	2,77	TO	643,67	712,11
SAT_dat.k80.cnf	TO	589,2	406,15	39,54	2055,12	637,63	793,17	6,2	TO	850,15	1097,39	4,42	TO	589,2	406,15	3,28	TO	589,2	406,15	17,75	TO	455,73	1404,03	6,17	1517,93	886,3	1104,43	4,41	TO	589,2	406,15	3,27	TO	589,2	406,15
satellite1_v01i.shuffled-as.sat05-4053.cnf	0	0,01	0,18	0,6	0,01	0,01	0,2	0,16	0	0	0,24	0,03	0	0,01	0,26	0,02	0	0,01	0,26	0,05	0	0	0,24	0,03	0	0,01	0,29	0,03	0	0	0,26	0,02	0	0,01	0,26
satellite3_ks99i.shuffled-as.sat05-4051.cnf	0,01	0,01	0,34	0,86	0	0,01	0,32	0,21	0	0,01	0,33	0,01	0,01	0,01	0,34	0,01	0,01	0,01	0,34	0,03	0	0,01	0,33	0,01	0	0,01	0,34	0,01	0,01	0,01	0,34	0,01	0,01	0,01	0,34
satellite3_v01a.renamed-as.sat05-3989.cnf	0	0	0,13	0,28	0	0	0,09	0,01	0	0,01	0,14	0,01	0	0,01	0,14	0,01	0	0,01	0,14	0,02	0	0,01	0,14	0,01	0	0	0,14	0,01	0	0,01	0,14	0	0	0	0,14
vmpc_23.renamed-as.sat05-1927.cnf	7,92	44,71	306,65	39,12	334,02	106,02	989,27	0,03	7,92	44,71	306,65	32,18	160,65	191,17	245,58	0,03	7,92	44,71	306,65	33,54	2,93	21,3	98,96	0,03	7,92	44,71	306,65	32,41	159,55	187,56	253,67	0,02	7,92	44,71	306,65
vmpc_31.shuffled-as.sat05-1950.cnf	TO	TO	TO	537,53	TO	1214,75	TO	275,02	TO	TO	TO	429,55	TO	5394,27	5751,03	240,78	TO	TO	TO	449,64	TO	TO	TO	251,64	TO	TO	TO	429,56	TO	5658,27	5780,75	228,89	TO	TO	TO
vmpc_32.renamed-as.sat05-1919.cnf	TO	TO	TO	370,36	9721,38	TO	TO	0,09	TO	TO	TO	334,13	9118,83	TO	TO	0,09	TO	TO	TO	327,69	TO	TO	TO	0,09	TO	TO	TO	318,18	9301,33	TO	TO	0,09	TO	TO	TO
vmpc_34.renamed-as.sat05-1926.cnf	TO	TO	TO	523,83	TO	TO	TO	0,11	TO	TO	TO	466,86	TO	TO	TO	0,1	TO	TO	TO	461,15	TO	TO	TO	0,11	TO	TO	TO	468,07	TO	TO	TO	0,11	TO	TO	TO