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
2013113162201nc.shuffled-as.sat03-1667.cnf	814,31	1628,47	TO	0,14	814,31	1628,47	TO	0,07	814,31	1628,47	TO	0,14	814,31	1628,47	TO	0,07	814,31	1628,47	TO	0,02	814,31	1628,47	TO	0,01	814,31	1628,47	TO	0,02	814,31	1628,47	TO	0,01	814,31	1628,47	TO
544707209399fw.shuffled-as.sat03-1669.cnf	713,84	288,21	1236,51	0,14	764,48	275,7	1156,81	0,06	761,25	288,22	1181,93	0,14	738,95	286,77	1177,97	0,08	726,57	275,49	1159,16	0,02	713,84	288,21	1236,51	0,01	713,84	288,21	1236,51	0,02	713,84	288,21	1236,51	0,01	713,84	288,21	1236,51
544707209399nw.shuffled-as.sat03-1671.cnf	210,32	2247,86	1391,66	0,13	210,32	2247,86	1391,66	0,06	210,32	2247,86	1391,66	0,13	210,32	2247,86	1391,66	0,07	210,32	2247,86	1391,66	0,02	210,32	2247,86	1391,66	0,01	210,32	2247,86	1391,66	0,02	210,32	2247,86	1391,66	0,01	210,32	2247,86	1391,66
7999999957nc.shuffled-as.sat03-1673.cnf	3361,5	195,22	641,59	0,08	3361,5	195,22	641,59	0,04	3361,5	195,22	641,59	0,08	3361,5	195,22	641,59	0,04	3361,5	195,22	641,59	0,01	3361,5	195,22	641,59	0,01	3361,5	195,22	641,59	0,01	3361,5	195,22	641,59	0,01	3361,5	195,22	641,59
7999999957nw.shuffled-as.sat03-1674.cnf	5759,99	137,28	414,68	0,08	5759,99	137,28	414,68	0,04	5759,99	137,28	414,68	0,08	5759,99	137,28	414,68	0,04	5759,99	137,28	414,68	0,01	5759,99	137,28	414,68	0,01	5759,99	137,28	414,68	0,01	5759,99	137,28	414,68	0,01	5759,99	137,28	414,68
999999000001nc.shuffled-as.sat03-1675.cnf	TO	3585,6	9846	0,13	TO	3585,6	9846	0,06	TO	3585,6	9846	0,13	TO	3585,6	9846	0,07	TO	3585,6	9846	0,02	TO	3585,6	9846	0,02	TO	3585,6	9846	0,02	TO	3585,6	9846	0,01	TO	3585,6	9846
5cnf_3500_3500_30f1.shuffled.cnf	0,02	0,01	0,04	0,01	0,02	0,01	0,04	0,01	0,02	0,01	0,04	0,01	0,02	0,01	0,03	0,01	0,02	0,01	0,04	0	0,02	0,01	0,04	0	0,02	0,01	0,04	0	0,02	0,01	0,04	0	0,02	0,01	0,04
5cnf_3800_3800_50f1.shuffled.cnf	0,08	0,09	0,27	0,02	0,08	0,09	0,27	0,01	0,08	0,09	0,27	0,02	0,08	0,09	0,27	0,01	0,08	0,09	0,27	0	0,08	0,09	0,27	0	0,08	0,09	0,27	0	0,08	0,09	0,27	0	0,08	0,09	0,27
5cnf_3900_3900_160.shuffled.cnf	TO	8407,86	TO	0,06	TO	8407,86	TO	0,04	TO	8407,86	TO	0,06	TO	8407,86	TO	0,04	TO	8407,86	TO	0	TO	8407,86	TO	0	TO	8407,86	TO	0	TO	8407,86	TO	0	TO	8407,86	TO
5cnf_4000_4000_50t2.shuffled.cnf	0	0,09	0,55	0,02	0	0,09	0,55	0,02	0	0,09	0,55	0,02	0	0,09	0,55	0,02	0	0,09	0,55	0	0	0,09	0,55	0	0	0,09	0,55	0	0	0,09	0,55	0	0	0,09	0,55
5cnf_4300_4300_090.shuffled.cnf	TO	2055,47	TO	0,04	TO	2055,47	TO	0,03	TO	2055,47	TO	0,04	TO	2055,47	TO	0,03	TO	2055,47	TO	0	TO	2055,47	TO	0	TO	2055,47	TO	0	TO	2055,47	TO	0	TO	2055,47	TO
5cnf_4300_4300_210.shuffled.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
5cnf_4300_4300_290.shuffled.cnf	TO	TO	TO	0,12	TO	TO	TO	0,1	TO	TO	TO	0,12	TO	TO	TO	0,1	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO
6cnf20_28000_28000_3.shuffled.cnf	0,01	0,01	0,02	0,06	0,01	0,01	0,02	0,05	0,01	0,01	0,02	0,06	0,01	0,01	0,02	0,05	0,01	0,01	0,02	0	0,01	0,01	0,02	0	0,01	0,01	0,02	0	0,01	0,01	0,02	0	0,01	0,01	0,02
7cnf20_90000_90000_6.shuffled.cnf	0,01	0,03	0,13	0,32	0,01	0,03	0,13	0,3	0,01	0,03	0,13	0,32	0,01	0,03	0,13	0,3	0,01	0,03	0,13	0	0,01	0,03	0,13	0	0,01	0,03	0,13	0	0,01	0,03	0,13	0	0,01	0,03	0,13
7cnf30_80000_80000_1.shuffled.cnf	2,83	1,08	5,83	0,93	2,83	1,08	5,83	0,88	2,83	1,08	5,83	0,86	2,83	1,08	5,83	0,87	2,83	1,08	5,83	0	2,83	1,08	5,83	0	2,83	1,08	5,83	0	2,83	1,08	5,83	0	2,83	1,08	5,83
7cnf30_80000_80000_2.shuffled.cnf	2,36	0,93	7,27	0,92	2,36	0,93	7,27	0,87	2,36	0,93	7,27	0,92	2,36	0,93	7,27	0,86	2,36	0,93	7,27	0	2,36	0,93	7,27	0	2,36	0,93	7,27	0	2,36	0,93	7,27	0	2,36	0,93	7,27
3col120_5_1.shuffled.cnf	0,14	0,38	6,53	0,01	0,14	0,38	6,53	0	0,14	0,38	6,53	0,01	0,14	0,38	6,53	0	0,14	0,38	6,53	0,01	0,14	0,38	6,53	0,01	0,14	0,38	6,53	0,01	0,14	0,38	6,53	0	0,14	0,38	6,53
3col140_5_2.shuffled.cnf	0,42	0,47	2,89	0,01	0,42	0,47	2,89	0	0,42	0,47	2,89	0,01	0,42	0,47	2,89	0	0,42	0,47	2,89	0,01	0,42	0,47	2,89	0,01	0,42	0,47	2,89	0,01	0,42	0,47	2,89	0	0,42	0,47	2,89
3col140_5_7.shuffled.cnf	0,62	0,1	0,8	0,01	0,62	0,1	0,8	0	0,62	0,1	0,8	0,01	0,62	0,1	0,8	0	0,62	0,1	0,8	0,01	0,62	0,1	0,8	0	0,62	0,1	0,8	0	0,62	0,1	0,8	0	0,62	0,1	0,8
3col160_5_1.shuffled.cnf	1,29	1,07	1,29	0,01	1,29	1,07	1,29	0	1,29	1,07	1,29	0,01	1,29	1,07	1,29	0	1,29	1,07	1,29	0,01	1,29	1,07	1,29	0	1,29	1,07	1,29	0,01	1,29	1,07	1,29	0	1,29	1,07	1,29
3col160_5_3.shuffled.cnf	0,42	0,23	0,91	0,01	0,42	0,23	0,91	0,01	0,42	0,23	0,91	0,01	0,42	0,23	0,91	0	0,42	0,23	0,91	0,01	0,42	0,23	0,91	0	0,42	0,23	0,91	0,01	0,42	0,23	0,91	0	0,42	0,23	0,91
3col160_5_6.shuffled.cnf	0,78	0,04	2,14	0,01	0,78	0,04	2,14	0	0,78	0,04	2,14	0,01	0,78	0,04	2,14	0	0,78	0,04	2,14	0,01	0,78	0,04	2,14	0	0,78	0,04	2,14	0,01	0,78	0,04	2,14	0,01	0,78	0,04	2,14
3col160_5_8.shuffled.cnf	1,14	1,07	9,34	0,01	2,3	1,08	9,35	0	2,31	1,09	9,32	0,01	2,28	1,17	9,38	0,01	2,31	1,08	9,33	0,01	2,31	1,09	9,39	0	2,29	1,08	9,43	0,01	2,31	1,08	9,38	0	2,31	1,09	9,39
3col180_5_8.shuffled.cnf	1,54	1,62	0,82	0,01	1,54	1,62	0,82	0,01	1,54	1,62	0,82	0,01	1,54	1,62	0,82	0,01	1,54	1,62	0,82	0,01	1,54	1,62	0,82	0,01	1,54	1,62	0,82	0,01	1,54	1,62	0,82	0	1,54	1,62	0,82
3col20_5_3.shuffled.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
3col20_5_5.shuffled.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,01	0	0	0	0
3col20_5_6.shuffled.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
3col200_5_3.shuffled.cnf	34,54	0,82	8,28	0,01	34,54	0,82	8,28	0,01	34,54	0,82	8,28	0,01	34,54	0,82	8,28	0,01	34,54	0,82	8,28	0,01	34,54	0,82	8,28	0,01	34,54	0,82	8,28	0,01	34,54	0,82	8,28	0,01	34,54	0,82	8,28
3col220_5_4.shuffled.cnf	3,52	0,58	2,93	0,01	3,52	0,58	2,93	0,01	3,52	0,58	2,93	0,01	3,52	0,58	2,93	0,01	3,52	0,58	2,93	0,01	3,52	0,58	2,93	0,01	3,52	0,58	2,93	0,01	3,52	0,58	2,93	0,01	3,52	0,58	2,93
3col240_5_7.shuffled.cnf	96,47	0,51	4,54	0,01	96,47	0,51	4,54	0,01	96,47	0,51	4,54	0,01	96,47	0,51	4,54	0,01	96,47	0,51	4,54	0,01	96,47	0,51	4,54	0,01	96,47	0,51	4,54	0,01	96,47	0,51	4,54	0,01	96,47	0,51	4,54
3col240_5_9.shuffled.cnf	80,46	4,28	29,1	0,01	80,46	4,28	29,1	0,01	80,46	4,28	29,1	0,01	80,46	4,28	29,1	0,01	80,46	4,28	29,1	0,01	80,46	4,28	29,1	0,01	80,46	4,28	29,1	0,01	80,46	4,28	29,1	0,01	80,46	4,28	29,1
3col260_5_3.shuffled.cnf	36,29	6,96	96,66	0,01	36,29	6,96	96,66	0,01	36,29	6,96	96,66	0,01	36,29	6,96	96,66	0,01	36,29	6,96	96,66	0,01	36,29	6,96	96,66	0,01	36,29	6,96	96,66	0,01	36,29	6,96	96,66	0,01	36,29	6,96	96,66
3col280_5_10.shuffled.cnf	720,63	9,07	51,26	0,01	720,63	9,07	51,26	0,01	720,63	9,07	51,26	0,01	720,63	9,07	51,26	0,01	720,63	9,07	51,26	0,01	720,63	9,07	51,26	0,01	720,63	9,07	51,26	0,01	720,63	9,07	51,26	0,01	720,63	9,07	51,26
3col300_5_2.shuffled.cnf	5721,98	43,22	6,56	0,01	5721,98	43,22	6,56	0,01	5721,98	43,22	6,56	0,01	5721,98	43,22	6,56	0,01	5721,98	43,22	6,56	0,01	5721,98	43,22	6,56	0,01	5721,98	43,22	6,56	0,01	5721,98	43,22	6,56	0,01	5721,98	43,22	6,56
3col40_5_1.shuffled.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
3col60_5_10.shuffled.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
3col60_5_6.shuffled.cnf	0,01	0,01	0,04	0	0,02	0,01	0,07	0	0,02	0,01	0,04	0	0,02	0,01	0,04	0	0,02	0,01	0,04	0	0,02	0,01	0,04	0	0,02	0,01	0,04	0	0,02	0,01	0,04	0	0,02	0,01	0,04
4col100_9_2.shuffled.cnf	316,99	13,03	57,05	0,02	161,91	12,88	54,38	0,01	157,45	12,85	54,93	0,02	157,55	13,76	54,5	0,01	160,79	12,84	54,88	0	316,99	13,03	57,05	0	316,99	13,03	57,05	0	316,99	13,03	57,05	0	316,99	13,03	57,05
4col120_9_5.shuffled.cnf	TO	161,72	654,92	0,02	TO	161,72	654,92	0,02	TO	161,72	654,92	0,02	TO	161,72	654,92	0,01	TO	161,72	654,92	0	TO	161,72	654,92	0	TO	161,72	654,92	0	TO	161,72	654,92	0	TO	161,72	654,92
4col120_9_6.shuffled.cnf	TO	116,31	874,14	0,02	TO	116,99	835,99	0,01	TO	116,31	874,14	0,02	TO	117,17	841,01	0,02	TO	116,31	874,14	0	TO	116,31	874,14	0	TO	116,31	874,14	0	TO	116,31	874,14	0	TO	116,31	874,14
4col120_9_8.shuffled.cnf	9309,74	154,19	635,1	0,02	9309,74	154,19	635,1	0,01	9309,74	154,19	635,1	0,02	9309,74	154,19	635,1	0,02	9309,74	154,19	635,1	0	9309,74	154,19	635,1	0	9309,74	154,19	635,1	0	9309,74	154,19	635,1	0	9309,74	154,19	635,1
4col140_9_2.shuffled.cnf	TO	2129,23	10262,7	0,03	TO	2129,23	10262,7	0,02	TO	2129,23	10262,7	0,02	TO	2129,23	10262,7	0,02	TO	2129,23	10262,7	0	TO	2129,23	10262,7	0	TO	2129,23	10262,7	0	TO	2129,23	10262,7	0	TO	2129,23	10262,7
4col140_9_3.shuffled.cnf	TO	1914,2	7597,27	0,03	TO	1914,2	7597,27	0,02	TO	1914,2	7597,27	0,03	TO	1914,2	7597,27	0,02	TO	1914,2	7597,27	0	TO	1914,2	7597,27	0	TO	1914,2	7597,27	0	TO	1914,2	7597,27	0	TO	1914,2	7597,27
4col160_9_2.shuffled.cnf	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
4col180_9_5.shuffled.cnf	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
4col200_9_10.shuffled.cnf	TO	TO	TO	0,03	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,02	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
4col260_9_2.shuffled.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
5col120_15_1.shuffled.cnf	TO	1692,45	2959,81	0,15	TO	1692,45	2959,81	0,13	TO	1692,45	2959,81	0,15	TO	1692,45	2959,81	0,13	TO	1692,45	2959,81	0,01	TO	1692,45	2959,81	0	TO	1692,45	2959,81	0,01	TO	1692,45	2959,81	0,01	TO	1692,45	2959,81
5col120_15_2.shuffled.cnf	TO	969,43	4375,99	0,15	TO	969,43	4375,99	0,13	TO	969,43	4375,99	0,14	TO	969,43	4375,99	0,12	TO	969,43	4375,99	0	TO	969,43	4375,99	0	TO	969,43	4375,99	0,01	TO	969,43	4375,99	0	TO	969,43	4375,99
5col120_15_9.shuffled.cnf	TO	691,09	5311,65	0,15	TO	703,71	5717,75	0,13	TO	736,59	5632,58	0,15	TO	705,06	5334,23	0,13	TO	693,45	5510,77	0	TO	691,09	5311,65	0	TO	691,09	5311,65	0	TO	691,09	5311,65	0	TO	691,09	5311,65
5col160_15_1.shuffled.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,01	TO	TO	TO
3pipe.shuffled.cnf	0,8	26,53	86,67	11,68	1,15	20,43	225,31	3,22	1,07	32,85	98,49	0,72	0,89	17,4	285,32	0,7	0,93	12,76	535,25	1,03	1	9,16	51,07	0,76	1,13	9,47	180,22	0,65	0,88	26,09	206,77	0,61	0,91	12,78	525,59
4pipe_2_ooo.shuffled.cnf	14,41	86,06	367,61	78,11	14,73	45,64	435,89	20,93	11,13	67,47	2600,3	4,26	12,58	108,07	1599	3,93	12,4	112,81	5318,17	6,77	11,19	299,91	669,06	4,24	12,72	93,33	1052,74	3,73	12,3	183,36	1190,05	3,58	12,24	182,83	1199,86
4pipe_4_ooo.shuffled.cnf	13,35	175,05	702,5	103,89	24,25	160,49	1094,55	29,23	17,32	486,84	TO	5,34	13,49	606,65	2776,09	4,6	13,79	902,59	TO	7,19	17,05	1635,56	4338,38	5,04	13,63	1102,27	1184,29	4,74	13,62	225,18	4931,04	4,22	14,18	451,24	4605,28
4pipe.shuffled.cnf	7,7	459,67	TO	113,84	10,77	1711,46	TO	32,27	8,58	981,17	TO	5,06	6,37	1826,41	TO	5,02	6,29	1785,99	TO	6,75	7,63	793,73	TO	5,35	7,36	144,5	9565,62	4,47	9,59	1184,24	TO	4,73	9,19	1132,19	TO
5pipe_1_ooo.shuffled.cnf	44,21	569,82	691,83	742,55	41,07	192,41	366,44	170,24	40,4	616,94	647,52	26,77	45,35	949,82	1060,16	22,48	46,85	903,51	1362,3	61,63	40,89	356,07	2195,63	29,53	41,32	1288,82	1698,54	23,62	42,02	950,55	696,09	21,05	42,97	917,46	692,32
5pipe_3_ooo.shuffled.cnf	43,54	193,98	647,65	793	39,73	725,87	1359,05	217,44	46,11	598,71	929,41	28,82	42,01	573,6	683,75	25,65	46,34	1264,99	995,02	48,55	42,08	160	448,6	27,68	47,55	148,56	795,96	25,96	46,51	534,84	874,17	23,9	51,89	358,16	850,55
6pipe_6_ooo.shuffled-as.sat03-413.cnf	343,61	2121,48	2517,39	6503,29	280,63	1833,89	4827,06	2071,86	328,66	3868,31	4581,11	148,72	360,29	2421,91	2764,55	137,07	354,99	2681,51	5240,12	217,66	307,81	1382,05	2512,57	148,4	366,26	1185,02	4301,13	140,62	345,88	1586,36	2283,88	127,72	342,31	2309,46	2329,04
6pipe.shuffled.cnf	170,76	TO	TO	3906,83	166,67	TO	TO	1154,89	212,75	TO	TO	109,63	104,32	TO	TO	110,74	152,76	TO	TO	127,1	150,89	TO	TO	109,43	160,9	TO	TO	96,18	151,04	TO	TO	103,05	148,75	TO	TO
bevhcube4.shuffled-as.sat03-1426.cnf	1,05	0,45	29,52	0	1,05	0,45	29,52	0	1,05	0,45	29,52	0	1,05	0,45	29,52	0	1,05	0,45	29,52	0	1,05	0,45	29,52	0	1,05	0,45	29,52	0	1,05	0,45	29,52	0	1,05	0,45	29,52
bf1355-075.cnf	0	0	0,16	0,64	0	0,01	0,13	0,22	0	0,01	0,15	0,41	0	0,01	0,13	0,18	0	0,01	0,16	0,62	0	0	0,13	0,22	0	0,01	0,15	0,42	0	0,01	0,13	0,19	0	0,01	0,15
bf2670-001.cnf	0	0	0,07	0,05	0	0,01	0,07	0,02	0	0	0,08	0,02	0	0	0,07	0,01	0	0	0,08	0,05	0	0	0,07	0,02	0	0	0,07	0,02	0	0	0,08	0,01	0	0	0,08
c1908.cnf	0,69	0,39	2,64	0,1	0,47	0,39	2,69	0,03	0,69	0,39	2,64	0,02	0,69	0,39	2,64	0,02	0,69	0,39	2,64	0,1	0,47	0,39	2,59	0,03	0,69	0,39	2,64	0,02	0,69	0,39	2,64	0,02	0,69	0,39	2,64
c3540-s.cnf	15,91	8,52	27,93	0,68	17,58	5,43	35,37	0,16	15,74	12,07	28,1	0,17	15,82	10,77	30,31	0,01	15,91	8,52	27,93	0,6	19,92	10,98	35,84	0,15	15,73	11,89	27,57	0,17	15,84	10,73	30,23	0,01	15,91	8,52	27,93
c499-s.cnf	0,3	0,3	0,71	0,02	0,3	0,3	0,71	0,01	0,3	0,3	0,71	0,01	0,3	0,3	0,71	0,01	0,3	0,3	0,71	0,02	0,3	0,3	0,71	0,01	0,3	0,3	0,71	0,01	0,3	0,3	0,71	0,01	0,3	0,3	0,71
clqcolor-08-05-06.shuffled-as.sat05-1249.cnf	8,11	122,1	1546,97	0,02	8,11	122,1	1546,97	0,01	8,11	122,1	1546,97	0,02	8,11	122,1	1546,97	0,01	8,11	122,1	1546,97	0	8,11	122,1	1546,97	0	8,11	122,1	1546,97	0	8,11	122,1	1546,97	0	8,11	122,1	1546,97
cnt07.shuffled.cnf	0,6	0,18	1,07	0,1	0,6	0,18	1,07	0,04	0,6	0,18	1,07	0,08	0,6	0,18	1,07	0,04	0,6	0,18	1,07	0,08	0,6	0,18	1,07	0,04	0,6	0,18	1,07	0,06	0,6	0,18	1,07	0,03	0,6	0,18	1,07
cnt09.shuffled.cnf	55,86	19,18	64,54	1,01	55,86	19,18	64,54	0,47	55,86	19,18	64,54	0,8	55,86	19,18	64,54	0,42	55,86	19,18	64,54	0,88	55,86	19,18	64,54	0,41	55,86	19,18	64,54	0,77	55,86	19,18	64,54	0,36	55,86	19,18	64,54
cnt10.shuffled.cnf	1755,26	156,11	976,22	3,87	1755,26	156,11	976,22	1,78	1755,26	156,11	976,22	3,16	1755,26	156,11	976,22	1,63	1755,26	156,11	976,22	3,52	1755,26	156,11	976,22	1,61	1755,26	156,11	976,22	2,79	1755,26	156,11	976,22	1,44	1755,26	156,11	976,22
Composite-024BitPrimes-0.used-as.sat04-860.cnf	TO	250,82	249,13	0,45	TO	44,53	371,93	0,29	TO	238,07	254,63	0,42	TO	247,35	246,92	0,29	TO	237,94	245,13	0,38	TO	246,68	254,49	0,26	TO	245,78	243,99	0,38	TO	242,27	244,71	0,26	TO	254,69	247,99
Composite-024BitPrimes-1.used-as.sat04-861.cnf	TO	1776,98	514,56	0,44	TO	259,33	758,77	0,3	TO	1740,73	502,9	0,42	TO	1719,22	539,12	0,3	TO	1792,74	509,09	0,39	TO	1728,34	499,86	0,27	TO	1740,44	502,54	0,38	TO	1782,33	505,66	0,27	TO	1824,39	508,61
Composite-032BitPrimes-0.used-as.sat04-862.cnf	TO	TO	TO	0,94	TO	TO	TO	0,67	TO	TO	TO	0,88	TO	TO	TO	0,67	TO	TO	TO	0,8	TO	TO	TO	0,6	TO	TO	TO	0,82	TO	TO	TO	0,6	TO	TO	TO
Composite-048BitPrimes-0.used-as.sat04-864.cnf	TO	TO	TO	3,23	TO	TO	TO	2,07	TO	TO	TO	3,11	TO	TO	TO	2,24	TO	TO	TO	2,89	TO	TO	TO	1,98	TO	TO	TO	2,64	TO	TO	TO	2	TO	TO	TO
Composite-064BitPrimes-0.used-as.sat04-866.cnf	TO	TO	TO	7,32	TO	TO	TO	5,31	TO	TO	TO	7,29	TO	TO	TO	5,33	TO	TO	TO	6,72	TO	TO	TO	4,68	TO	TO	TO	6,73	TO	TO	TO	4,7	TO	TO	TO
Composite-064BitPrimes-1.used-as.sat04-867.cnf	TO	TO	TO	7,77	TO	TO	TO	5,28	TO	TO	TO	7,22	TO	TO	TO	5,27	TO	TO	TO	6,7	TO	TO	TO	4,69	TO	TO	TO	6,67	TO	TO	TO	4,71	TO	TO	TO
Composite-096BitPrimes-0.used-as.sat04-868.cnf	TO	TO	TO	25,79	TO	TO	TO	17,49	TO	TO	TO	24,02	TO	TO	TO	17,54	TO	TO	TO	20,72	TO	TO	TO	15,57	TO	TO	TO	22,14	TO	TO	TO	14,43	TO	TO	TO
dead-dnd009.shuffled-as.sat05-3115.cnf	2071,17	293,51	1817,35	1,14	1914,79	365,31	1531	0,9	2228,65	259,75	1410,29	0,97	1820,04	198,57	1262,65	0,84	2371,96	302,24	1191,96	0,96	2625,72	222,62	1342,15	0,84	2443,25	261,03	1152,67	0,96	2705,8	224,05	1347,87	0,83	2561,07	259,89	1180,87
fphp-018-014.shuffled-as.sat05-1217.cnf	TO	TO	TO	0,06	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
fphp-025-020.shuffled-as.sat05-1219.cnf	TO	TO	TO	0,26	TO	TO	TO	0,06	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
fphp-030-025.shuffled-as.sat05-1220.cnf	TO	TO	TO	0,6	TO	TO	TO	0,15	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO	0,01	TO	TO	TO
fphp-035-029.shuffled-as.sat05-1221.cnf	TO	TO	TO	1,13	TO	TO	TO	0,28	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO
fphp-040-039.shuffled-as.sat05-1236.cnf	TO	TO	TO	3,29	TO	TO	TO	0,8	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,04	TO	TO	TO	0,02	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO
fphp-045-035.shuffled-as.sat05-1223.cnf	TO	TO	TO	3,42	TO	TO	TO	0,82	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO
fphp-060-048.shuffled-as.sat05-1225.cnf	8517,67	TO	TO	17,14	8517,67	TO	TO	4,03	8517,67	TO	TO	0,08	8517,67	TO	TO	0,05	8517,67	TO	TO	0,1	8517,67	TO	TO	0,06	8517,67	TO	TO	0,08	8517,67	TO	TO	0,05	8517,67	TO	TO
gensys-brn001.shuffled-as.sat05-3420.cnf	0,01	0,06	1,84	81,41	0,01	0,05	0,59	68,1	0,01	0,04	1,17	76,86	0,01	0,05	0,63	69,35	0,01	0,05	1,2	78,83	0,01	0,05	0,61	68,15	0,01	0,05	1,18	77,88	0,01	0,04	0,61	64,7	0,01	0,05	1,2
gensys-brn005.shuffled-as.sat05-3670.cnf	177,99	121,56	358,1	1,18	231,62	61,52	193,27	1,1	227,33	165,92	98,69	1,16	214,44	63,21	108,04	1,09	195,98	167,71	104,81	0,65	209,99	62,05	111,34	0,64	191,24	167	97,92	0,64	209,39	65,03	110,29	0,63	193,23	170,42	98,29
gensys-brn008.shuffled-as.sat05-3427.cnf	1,97	0,12	1,9	101,45	2,33	0,18	1,29	95,8	1,17	0,18	1,54	102,53	0,06	0,16	0,97	96,48	0,55	0,17	1,64	93,51	0,3	0,15	0,79	85,69	0,6	0,25	1,38	96,41	0,03	0,15	0,81	87,28	3,33	0,23	1,38
gensys-brn100.shuffled-as.sat05-3765.cnf	320,44	71,52	166,92	1,43	526,18	17,6	98,8	1,37	364,9	126,46	169,77	1,4	282,9	85,2	95,78	1,35	445,9	123,26	170,21	0,85	267,2	85,22	98,82	0,84	438,85	122,6	172,04	0,84	267,59	84,16	96,74	0,85	419,05	126,94	170,41
gensys-icl002.shuffled-as.sat05-3128.cnf	30,73	8,9	35,85	1,13	36,1	8,67	34,32	0,8	31,03	7,44	35,79	1	32,21	7,58	35,72	0,77	34,08	7,47	33,61	0,37	33,97	7,58	35,79	0,21	35	7,27	33,92	0,39	33,83	7,82	35,35	0,19	33,99	7,36	35,33
gensys-icl002.shuffled-as.sat05-3823.cnf	1603,29	4962,62	6766,92	1,18	1400,43	6142,91	3873,98	1,1	1998,87	7079,5	6041,46	1,17	1760,69	7811,81	5188,1	1,08	1549,92	7012,33	6071,52	0,63	1782,87	7847,22	5074,2	0,62	1590,12	7016,25	6497,67	0,64	1745,92	7821,45	5212,96	0,64	1622,43	7021,28	6176,58
gensys-icl004.shuffled-as.sat05-3825.cnf	3418,17	7543,42	5181,22	1,27	2847,1	4357,66	4672,43	1,19	3353,69	7078,84	7879,9	1,22	1988,37	4722,35	5146,42	1,14	3683,58	7370,48	7964,11	0,65	1986,98	4742,55	5052,73	0,64	3896,93	7434,11	8046,2	0,64	1967,22	4615,46	5163,37	0,65	3873,89	7610,16	8231,05
gensys-icl005.shuffled-as.sat05-3826.cnf	TO	TO	TO	1,53	TO	TO	TO	1,46	TO	TO	TO	1,55	TO	TO	TO	1,45	TO	TO	TO	0,91	TO	TO	TO	0,88	TO	TO	TO	0,87	TO	TO	TO	0,89	TO	TO	TO
gensys-ukn002.shuffled-as.sat05-3345.cnf	2,87	0,19	0,69	1,55	1,51	0,11	0,64	1,18	1	0,08	0,6	1,41	1,64	0,07	0,55	1,12	1,11	0,08	0,58	0,61	0,68	0,07	0,56	0,4	1,81	0,08	0,61	0,61	0,67	0,07	0,53	0,4	1,86	0,07	0,61
gensys-ukn004.shuffled-as.sat05-3844.cnf	TO	TO	TO	1,49	TO	TO	TO	1,5	TO	TO	TO	1,41	TO	TO	TO	1,43	TO	TO	TO	0,76	TO	TO	TO	0,8	TO	TO	TO	0,76	TO	TO	TO	0,83	TO	TO	TO
gensys-ukn005.shuffled-as.sat05-3348.cnf	TO	TO	TO	1,77	TO	4801,34	9226,15	1,27	TO	8735,69	9070,42	1,56	TO	2179,08	8626,09	1,26	TO	9101,34	8873,42	0,64	TO	2273,63	TO	0,46	TO	3521,42	7306,25	0,63	TO	2340,73	TO	0,46	TO	3471,65	7061,98
gensys-ukn008.shuffled-as.sat05-3587.cnf	5,32	2,07	10,24	94,83	5,99	1	4,78	84,08	6,33	1,15	5,68	96,84	4,22	1,08	5,67	89,32	5,77	1,08	6,15	105,41	5,19	0,99	5,13	82,47	6,17	1,15	5,84	94,09	4,07	1,07	5,66	83,92	5,84	1,09	6,14
gensys-ukn009.shuffled-as.sat05-3588.cnf	TO	4923,14	TO	83,16	TO	3551,45	TO	74,1	TO	4675,16	TO	81,8	TO	3471,6	TO	75,4	TO	4476,82	TO	84,84	TO	4673,49	TO	76,15	TO	8997,33	TO	83,11	TO	4751,3	TO	76,51	TO	9004,35	TO
gensys-ukn009.shuffled-as.sat05-3849.cnf	TO	TO	TO	1,51	TO	TO	TO	1,43	TO	TO	TO	1,46	TO	TO	TO	1,4	TO	TO	TO	0,88	TO	TO	TO	0,87	TO	TO	TO	0,89	TO	TO	TO	0,89	TO	TO	TO
grid-pbl-0060.shuffled-as.sat05-1333.shuffled-as.sat05-1333.cnf	14,91	5,74	0,58	0,04	14,91	5,74	0,58	0,02	14,91	5,74	0,58	0,04	14,91	5,74	0,58	0,02	14,91	5,74	0,58	0,01	14,91	5,74	0,58	0,01	14,91	5,74	0,58	0,01	14,91	5,74	0,58	0,01	14,91	5,74	0,58
grid-pbl-0070.shuffled-as.sat05-1334.shuffled-as.sat05-1334.cnf	33,93	22,89	0,3	0,05	33,93	22,89	0,3	0,03	33,93	22,89	0,3	0,05	33,93	22,89	0,3	0,03	33,93	22,89	0,3	0,01	33,93	22,89	0,3	0,01	33,93	22,89	0,3	0,01	33,93	22,89	0,3	0,01	33,93	22,89	0,3
grid-pbl-0090.shuffled-as.sat05-1336.shuffled-as.sat05-1336.cnf	65,93	30,19	0,51	0,1	65,93	30,19	0,51	0,07	65,93	30,19	0,51	0,1	65,93	30,19	0,51	0,07	65,93	30,19	0,51	0,02	65,93	30,19	0,51	0,02	65,93	30,19	0,51	0,02	65,93	30,19	0,51	0,02	65,93	30,19	0,51
grid-pbl-0100.shuffled-as.sat05-1337.shuffled-as.sat05-1337.cnf	269,5	331,06	1,08	0,13	269,5	331,06	1,08	0,09	269,5	331,06	1,08	0,13	269,5	331,06	1,08	0,09	269,5	331,06	1,08	0,03	269,5	331,06	1,08	0,02	269,5	331,06	1,08	0,03	269,5	331,06	1,08	0,02	269,5	331,06	1,08
grid-pbl-0150.shuffled-as.sat05-1338.shuffled-as.sat05-1338.cnf	4390,65	318,4	2,32	0,38	4390,65	318,4	2,32	0,27	4390,65	318,4	2,32	0,4	4390,65	318,4	2,32	0,28	4390,65	318,4	2,32	0,07	4390,65	318,4	2,32	0,06	4390,65	318,4	2,32	0,06	4390,65	318,4	2,32	0,05	4390,65	318,4	2,32
grid-pbl-0250.shuffled-as.sat05-1340.shuffled-as.sat05-1340.cnf	TO	TO	7,11	1,44	TO	TO	7,11	1	TO	TO	7,11	1,43	TO	TO	7,11	1,01	TO	TO	7,11	0,22	TO	TO	7,11	0,18	TO	TO	7,11	0,22	TO	TO	7,11	0,19	TO	TO	7,11
grid-pbl-0300.shuffled-as.sat05-1341.shuffled-as.sat05-1341.cnf	TO	TO	8,3	2,23	TO	TO	8,3	1,65	TO	TO	8,3	2,24	TO	TO	8,3	1,64	TO	TO	8,3	0,34	TO	TO	8,3	0,3	TO	TO	8,3	0,35	TO	TO	8,3	0,3	TO	TO	8,3
hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	TO	2167,11	TO	0,01	TO	2167,11	TO	0	TO	2167,11	TO	0,01	TO	2167,11	TO	0	TO	2167,11	TO	0	TO	2167,11	TO	0	TO	2167,11	TO	0	TO	2167,11	TO	0	TO	2167,11	TO
hypercube6.shuffled-as.sat03-1436.cnf	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
hypercube7.shuffled-as.sat03-1437.cnf	TO	TO	TO	0,48	TO	TO	TO	0,45	TO	TO	TO	0,47	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
ii16a2.cnf	0,01	0,02	0,23	1,35	0	0,02	0,23	0,01	0,01	0,02	0,23	0,03	0,01	0,02	0,23	0,01	0,01	0,02	0,23	0,03	0,01	0,02	0,23	0,01	0,01	0,02	0,23	0,03	0,01	0,02	0,23	0,01	0,01	0,02	0,23
ii16b1.cnf	0,05	0,01	0,19	1,91	0,02	0,01	0,18	0,02	0,05	0,01	0,19	0,08	0,02	0,01	0,19	0,01	0,05	0,01	0,19	0,08	0,01	0,01	0,19	0,01	0,05	0,01	0,19	0,08	0,01	0,01	0,19	0,01	0,05	0,01	0,19
ii16c2.cnf	0,01	0,03	0,22	1,48	0,01	0,03	0,24	0,01	0,01	0,03	0,22	0,1	0,01	0,03	0,22	0	0,01	0,03	0,22	0,1	0,01	0,03	0,22	0,01	0,01	0,03	0,22	0,09	0,01	0,03	0,23	0	0,01	0,03	0,22
ii32a1.cnf	0	0,01	0,41	1,41	0	0,01	0,41	0,01	0	0,01	0,41	0,08	0	0,01	0,41	0	0	0,01	0,41	0,08	0	0,01	0,41	0	0	0,01	0,41	0,08	0	0,01	0,41	0	0	0,01	0,41
ii32c1.cnf	0	0	0,03	0,05	0	0	0,03	0	0	0	0,03	0,01	0	0	0,03	0	0	0	0,03	0,01	0	0	0,03	0	0	0	0,03	0,01	0	0	0,03	0	0	0	0,03
ii32e5.cnf	0	0,02	0,19	3,23	0	0,02	0,19	0,01	0	0,02	0,19	0,27	0	0,02	0,19	0,01	0	0,02	0,19	0,27	0	0,02	0,19	0	0	0,02	0,19	0,27	0	0,02	0,19	0,01	0	0,02	0,19
ii8a4.cnf	0	0	0,02	0,05	0	0	0,04	0	0	0	0,02	0,01	0	0	0,02	0	0	0	0,02	0,01	0	0	0,02	0	0	0	0,02	0,01	0	0	0,02	0	0	0	0,02
ip25.shuffled.cnf	25,95	6,5	8,2	26,19	36,28	4,47	8,58	8,41	39,48	6,73	11,92	5,04	28,48	5,97	6,79	3,4	26,71	6,84	9,94	21,78	49,16	4,51	8,45	7,28	39,72	6,73	11,23	5,51	29,01	5,78	6,94	3,37	26,75	6,57	10,07
ip36.shuffled.cnf	197,01	23,46	46,42	42,91	256,04	34,84	33,25	14,24	162,33	46,63	45,92	8,8	257,61	22,57	80,26	5,94	378,05	22,16	71,21	35,42	129,92	34,63	32,72	12,36	169,5	44,16	44,94	8,54	268,72	23	80,2	5,67	360,47	22,34	75,23
ip38.shuffled-as.sat03-433.cnf	670,21	37,5	38,55	47,03	346,39	88,92	26,97	14,78	250,07	25,81	33,58	9,86	181,35	41,19	31,56	6,08	200,67	61,01	48,05	38,33	137,05	80,64	26,81	12,33	154,83	25,82	33,55	9,38	193,4	39,4	31,4	6,53	178,4	61,72	49,1
ip50.shuffled-as.sat03-434.cnf	2571,18	88,44	79,45	65,06	675,12	61,96	110,37	22,03	474,65	138,91	143,31	14,11	1023,82	64,48	150,34	9,1	1945,87	60,14	58,32	53,95	708,82	54,29	113,39	19,44	465,14	138,28	136,52	14,24	1091,54	67,18	146,69	9,21	1958	52,71	60,46
ip50.shuffled.cnf	869,56	82,51	131,95	63,64	607,7	143,86	110,08	21,15	259,76	66,52	104,94	13,47	1047,8	85,08	57,82	8,71	780,58	73,53	97,54	52,59	601,24	154,37	104,51	18,53	290,01	60,71	104,76	13,67	1084,04	79,17	56,18	8,73	773,63	68,74	96
iso-brn005.shuffled-as.sat05-3505.cnf	0,03	0,16	1,86	6,54	0,13	0,05	1,79	6,53	0,1	0,05	1,79	6,56	0,02	0,06	1,69	6,47	0,05	0,05	1,95	1,81	0,04	0,06	1,74	1,62	0,09	0,04	1,77	1,72	0,1	0,06	1,71	1,59	0,04	0,05	1,83
iso-brn006.shuffled-as.sat05-3506.cnf	0,1	0,06	1,5	6,23	0,07	0,05	1,32	6,06	0,07	0,05	1,39	6,65	0,06	0,04	1,33	6,66	0,06	0,06	1,39	1,79	0,08	0,04	1,35	1,67	0,07	0,08	1,37	1,78	0,07	0,04	1,31	1,52	0,05	0,08	1,38
iso-brn009.shuffled-as.sat05-2934.cnf	0,02	0,01	0,13	0,37	0	0,01	0,08	0,21	0,01	0,01	0,1	0,29	0,01	0,01	0,08	0,19	0,01	0,01	0,1	0,3	0,01	0,01	0,08	0,18	0,01	0,01	0,11	0,3	0,01	0,01	0,08	0,18	0,01	0,01	0,1
iso-icl009.shuffled-as.sat05-3243.cnf	0,04	0,02	0,26	0,56	0,02	0,01	0,2	0,34	0,03	0,02	0,24	0,44	0,03	0,01	0,2	0,31	0,03	0,01	0,23	0,42	0,03	0,02	0,2	0,3	0,03	0,01	0,23	0,43	0,03	0,02	0,21	0,3	0,04	0,01	0,24
iso-ukn005.shuffled-as.sat05-3628.cnf	0,01	0,02	0,29	1,4	0,01	0,01	0,24	1,22	0,01	0,01	0,25	1,34	0	0,01	0,24	1,19	0,01	0,02	0,24	1,21	0	0,01	0,22	1,02	0,01	0,01	0,24	1,14	0	0,01	0,23	0,99	0	0,02	0,24
iso-ukn006.shuffled-as.sat05-3387.cnf	0,01	0,02	0,23	0,43	0,01	0,01	0,18	0,25	0,01	0,01	0,2	0,33	0,02	0,01	0,18	0,22	0,01	0,01	0,2	0,32	0,02	0,01	0,19	0,22	0,01	0,01	0,2	0,32	0,02	0,01	0,19	0,21	0,01	0,01	0,2
lksat-n1000-m3730-k3-l5-s1682954997.used-as.sat04-930.cnf	8943,4	217,7	758,25	0,01	9097,6	137,35	1067,37	0,01	9128,6	229,46	952,69	0,01	9296,01	138,78	1053,03	0,01	8821,99	218,83	952,15	0	8943,4	217,7	758,25	0	8943,4	217,7	758,25	0	8943,4	217,7	758,25	0	8943,4	217,7	758,25
lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	228,87	34,44	269,05	0,01	11,67	33,22	19,23	0,01	286,4	30,9	50,18	0,02	11,45	33,3	19,79	0,01	297,4	31,3	49,73	0	228,87	34,44	269,05	0	228,87	34,44	269,05	0,01	228,87	34,44	269,05	0	228,87	34,44	269,05
lksat-n1100-m4103-k3-l5-s55972467.used-as.sat04-935.cnf	33,78	5,74	18,2	0,01	33,94	4,58	20,67	0,01	33,29	4,81	28,33	0,02	35,23	4,6	20,89	0,01	32,91	4,49	31,03	0	33,78	5,74	18,2	0	33,78	5,74	18,2	0	33,78	5,74	18,2	0	33,78	5,74	18,2
lksat-n900-m3357-k3-l5-s241765501.used-as.sat04-936.cnf	0,45	0,37	32,57	0,01	0,12	1,9	5	0,01	1,65	1,12	11,57	0,01	0,11	1,9	5,02	0,01	1,64	1,12	11,56	0	0,45	0,37	32,57	0	0,45	0,37	32,57	0	0,45	0,37	32,57	0	0,45	0,37	32,57
lksat-n900-m3357-k3-l5-s684672393.used-as.sat04-937.cnf	230,55	18,52	161,08	0,01	256,22	20,24	79,98	0,01	210,97	22,63	119,08	0,01	237,72	20,39	80,06	0,01	215,95	22,92	117,2	0	230,55	18,52	161,08	0	230,55	18,52	161,08	0	230,55	18,52	161,08	0	230,55	18,52	161,08
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	2,46	5,94	9,6	0,01	8,27	2,78	2,92	0,01	2,51	23,32	30,68	0,01	8,78	2,99	2,92	0,01	2,5	23,35	30,71	0	2,46	5,94	9,6	0	2,46	5,94	9,6	0	2,46	5,94	9,6	0	2,46	5,94	9,6
lksat-n900-m6174-k4-l4-s144092672.used-as.sat04-928.cnf	174,5	25,91	247,18	0,04	44,1	6,08	25,96	0,03	406,85	2,91	12,19	0,04	43,95	5,66	25,87	0,03	393,68	2,67	12,21	0,01	174,5	25,91	247,18	0	174,5	25,91	247,18	0,01	174,5	25,91	247,18	0,01	174,5	25,91	247,18
manol-pipe-c8_i.cnf	10,05	19,16	119,2	2,06	9,79	9,13	59,85	0,35	9,5	25,02	251,51	0,68	10,54	12,32	42,81	0,35	8,93	12,72	267,92	1,67	10,2	13,72	34,96	0,35	9,62	25,1	271,19	0,66	10,61	12,28	40,74	0,36	9,37	12,36	271,52
manol-pipe-c8n.cnf	471,41	166,6	164,1	10,1	532,53	217,26	203,8	1,45	551,35	163,33	371,36	3,09	517,36	173,81	215,83	1,42	547,67	173,95	381,37	8,14	482,15	206,14	176,27	1,46	518,69	167,91	372,06	2,85	504,99	180,68	218,17	1,39	557,8	164,11	378,45
marg2x5.shuffled-as.sat03-1443.cnf	0,1	0,17	1,11	0	0,1	0,17	1,11	0	0,1	0,17	1,11	0	0,1	0,17	1,11	0	0,1	0,17	1,11	0	0,1	0,17	1,11	0	0,1	0,17	1,11	0	0,1	0,17	1,11	0	0,1	0,17	1,11
marg3x3add8.shuffled-as.sat03-1449.cnf	1,13	1,59	16,77	0	1,13	1,59	16,77	0	1,13	1,59	16,77	0	1,13	1,59	16,77	0	1,13	1,59	16,77	0	1,13	1,59	16,77	0	1,13	1,59	16,77	0	1,13	1,59	16,77	0	1,13	1,59	16,77
marg3x5.shuffled-as.sat03-1452.cnf	955	87,47	699,21	0	955	87,47	699,21	0	955	87,47	699,21	0	955	87,47	699,21	0	955	87,47	699,21	0	955	87,47	699,21	0	955	87,47	699,21	0	955	87,47	699,21	0	955	87,47	699,21
Mat26.shuffled.cnf	TO	613,88	1604,85	0,02	TO	613,88	1604,85	0,01	TO	613,88	1604,85	0,01	TO	613,88	1604,85	0,01	TO	613,88	1604,85	0,01	TO	613,88	1604,85	0,01	TO	613,88	1604,85	0,01	TO	613,88	1604,85	0	TO	613,88	1604,85
Mat27.shuffled.cnf	1,89	7,43	0,52	0,02	1,89	7,43	0,52	0,01	1,89	7,43	0,52	0,01	1,89	7,43	0,52	0	1,89	7,43	0,52	0,01	1,89	7,43	0,52	0,01	1,89	7,43	0,52	0,01	1,89	7,43	0,52	0	1,89	7,43	0,52
Mat317.shuffled.cnf	TO	TO	TO	3,48	TO	TO	TO	1,26	TO	TO	TO	1,16	TO	TO	TO	0,58	TO	TO	TO	1,33	TO	TO	TO	0,54	TO	TO	TO	0,62	TO	TO	TO	0,32	TO	TO	TO
Mat323.shuffled.cnf	TO	TO	TO	5,77	TO	TO	TO	2,08	TO	TO	TO	2,06	TO	TO	TO	1,03	TO	TO	TO	2,3	TO	TO	TO	0,82	TO	TO	TO	1,01	TO	TO	TO	0,51	TO	TO	TO
misg.boehm.cnf	0	0	0	0	0	0	0,01	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0,01	0	0	0	0	0	0	0	0,01	0	0	0	0
mod2-3g14-sat.shuffled-as.sat05-2141.cnf	TO	957,94	5872,38	0	TO	957,94	5872,38	0	TO	957,94	5872,38	0	TO	957,94	5872,38	0	TO	957,94	5872,38	0	TO	957,94	5872,38	0	TO	957,94	5872,38	0	TO	957,94	5872,38	0	TO	957,94	5872,38
mod2c-3cage-unsat-10-2.shuffled-as.sat05-2567.cnf	TO	3627,4	TO	0	TO	3627,4	TO	0	TO	3627,4	TO	0	TO	3627,4	TO	0	TO	3627,4	TO	0	TO	3627,4	TO	0	TO	3627,4	TO	0	TO	3627,4	TO	0	TO	3627,4	TO
mod2c-3cage-unsat-10-3.shuffled-as.sat05-2568.cnf	TO	3567,28	TO	0	TO	3567,28	TO	0	TO	3567,28	TO	0	TO	3567,28	TO	0	TO	3567,28	TO	0	TO	3567,28	TO	0	TO	3567,28	TO	0	TO	3567,28	TO	0	TO	3567,28	TO
mod2c-3cage-unsat-9-2.shuffled-as.sat05-2549.cnf	10445,2	147,72	961,18	0	10445,2	147,72	961,18	0	10445,2	147,72	961,18	0,01	10445,2	147,72	961,18	0	10445,2	147,72	961,18	0	10445,2	147,72	961,18	0	10445,2	147,72	961,18	0	10445,2	147,72	961,18	0	10445,2	147,72	961,18
mod2c-3cage-unsat-9-3.shuffled-as.sat05-2550.cnf	1346,61	161,77	1259,83	0	1346,61	161,77	1259,83	0	1346,61	161,77	1259,83	0	1346,61	161,77	1259,83	0	1346,61	161,77	1259,83	0	1346,61	161,77	1259,83	0	1346,61	161,77	1259,83	0	1346,61	161,77	1259,83	0	1346,61	161,77	1259,83
mod2c-rand3bip-sat-150-1.shuffled-as.sat05-2383.cnf	50,79	6,64	29,37	0,02	50,79	6,64	29,37	0,01	50,79	6,64	29,37	0,02	50,79	6,64	29,37	0,01	50,79	6,64	29,37	0	50,79	6,64	29,37	0	50,79	6,64	29,37	0	50,79	6,64	29,37	0	50,79	6,64	29,37
mod2c-rand3bip-sat-150-2.shuffled-as.sat05-2384.cnf	18,95	8,71	9,38	0,02	18,95	8,71	9,38	0,01	18,95	8,71	9,38	0,02	18,95	8,71	9,38	0,01	18,95	8,71	9,38	0	18,95	8,71	9,38	0	18,95	8,71	9,38	0	18,95	8,71	9,38	0	18,95	8,71	9,38
mod2c-rand3bip-sat-170-3.shuffled-as.sat05-2415.cnf	186,28	296,48	895,12	0,02	186,28	296,48	895,12	0,01	186,28	296,48	895,12	0,02	186,28	296,48	895,12	0,02	186,28	296,48	895,12	0	186,28	296,48	895,12	0	186,28	296,48	895,12	0	186,28	296,48	895,12	0	186,28	296,48	895,12
mod2c-rand3bip-sat-180-1.shuffled-as.sat05-2428.cnf	257,16	402,47	1896,67	0,02	257,16	402,47	1896,67	0,01	257,16	402,47	1896,67	0,02	257,16	402,47	1896,67	0,01	257,16	402,47	1896,67	0	257,16	402,47	1896,67	0	257,16	402,47	1896,67	0	257,16	402,47	1896,67	0	257,16	402,47	1896,67
mod2c-rand3bip-sat-200-3.shuffled-as.sat05-2460.cnf	1274,52	3987,3	1483,89	0,02	1274,52	3987,3	1483,89	0,02	1274,52	3987,3	1483,89	0,02	1274,52	3987,3	1483,89	0,02	1274,52	3987,3	1483,89	0	1274,52	3987,3	1483,89	0	1274,52	3987,3	1483,89	0	1274,52	3987,3	1483,89	0	1274,52	3987,3	1483,89
mod2c-rand3bip-sat-220-2.shuffled-as.sat05-2489.cnf	1519,61	5263,89	TO	0,02	1519,61	5263,89	TO	0,02	1519,61	5263,89	TO	0,02	1519,61	5263,89	TO	0,02	1519,61	5263,89	TO	0	1519,61	5263,89	TO	0	1519,61	5263,89	TO	0	1519,61	5263,89	TO	0	1519,61	5263,89	TO
mod2c-rand3bip-sat-240-1.shuffled-as.sat05-2518.cnf	TO	TO	TO	0,02	TO	TO	TO	0,02	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
mul04.boehm.cnf	0	0	0,02	0	0	0	0,01	0	0	0	0,01	0	0	0	0,02	0	0	0	0,02	0	0	0	0,01	0	0	0	0,02	0	0	0	0,02	0	0	0	0,02
mul05.boehm.cnf	0,01	0	0,03	0,01	0,01	0	0,03	0	0,01	0	0,03	0	0,01	0	0,03	0	0,01	0,01	0,03	0,01	0,01	0,01	0,03	0	0	0,01	0,03	0	0,01	0,01	0,03	0	0,01	0,01	0,03
par32-4.shuffled-as.sat03-1538.cnf	TO	TO	TO	0,14	TO	TO	TO	0,07	TO	TO	TO	0,11	TO	TO	TO	0,06	TO	TO	TO	0,11	TO	TO	TO	0,05	TO	TO	TO	0,1	TO	TO	TO	0,05	TO	TO	TO
phnf-size10-exclusive-all.used-as.sat04-986.shuffled-as.sat05-4198.cnf	TO	TO	TO	950,25	TO	TO	TO	310,59	TO	TO	TO	2,66	TO	TO	TO	1,89	TO	TO	TO	3,42	TO	TO	TO	2,35	TO	TO	TO	3,2	TO	TO	TO	2,32	TO	TO	TO
phnf-size10-exclusive-dekker.used-as.sat04-989.shuffled-as.sat05-4193.cnf	TO	TO	TO	2058,86	TO	TO	TO	664,8	TO	TO	TO	3,12	TO	TO	TO	2,25	TO	TO	TO	3,83	TO	TO	TO	2,68	TO	TO	TO	3,48	TO	TO	TO	2,63	TO	TO	TO
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.shuffled-as.sat05-4189.cnf	TO	TO	TO	1044,83	TO	TO	TO	318,51	TO	TO	TO	1,47	TO	TO	TO	0,99	TO	TO	TO	1,74	TO	TO	TO	1,11	TO	TO	TO	1,62	TO	TO	TO	1,11	TO	TO	TO
phnf-size10-exclusive-equilarge_m1.used-as.sat04-898.shuffled-as.sat05-4191.cnf	TO	TO	TO	367,84	TO	TO	TO	127,74	TO	TO	TO	0,68	TO	TO	TO	0,41	TO	TO	TO	0,77	TO	TO	TO	0,46	TO	TO	TO	0,71	TO	TO	TO	0,47	TO	TO	TO
phnf-size10-exclusive-FIFO.used-as.sat04-991.shuffled-as.sat05-4192.cnf	TO	TO	TO	1370,7	TO	TO	TO	415,43	TO	TO	TO	2,93	TO	TO	TO	2,19	TO	TO	TO	3,65	TO	TO	TO	2,6	TO	TO	TO	3,47	TO	TO	TO	2,66	TO	TO	TO
phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	TO	TO	TO	465,23	TO	TO	TO	143,22	TO	TO	TO	1,31	TO	TO	TO	0,96	TO	TO	TO	1,61	TO	TO	TO	1,12	TO	TO	TO	1,54	TO	TO	TO	1,21	TO	TO	TO
phnf-size10-exclusive-twoall.used-as.sat04-985.shuffled-as.sat05-4197.cnf	TO	TO	TO	84,95	TO	TO	TO	25,07	TO	TO	TO	0,35	TO	TO	TO	0,24	TO	TO	TO	0,4	TO	TO	TO	0,27	TO	TO	TO	0,39	TO	TO	TO	0,28	TO	TO	TO
php-012-012.shuffled-as.sat05-1158.cnf	0	2,55	0,12	0	0	2,55	0,12	0	0	2,55	0,12	0	0	2,55	0,12	0	0	2,55	0,12	0	0	2,55	0,12	0	0	2,55	0,12	0	0	2,55	0,12	0	0	2,55	0,12
php-025-025.shuffled-as.sat05-1163.cnf	0	TO	TO	0,07	0	TO	TO	0,02	0	TO	TO	0	0	TO	TO	0	0	TO	TO	0,01	0	TO	TO	0	0	TO	TO	0,01	0	TO	TO	0	0	TO	TO
php-035-035.shuffled-as.sat05-1165.cnf	0,01	TO	TO	0,32	0,01	TO	TO	0,08	0,01	TO	TO	0,01	0,01	TO	TO	0,01	0,01	TO	TO	0,01	0,01	TO	TO	0,01	0,01	TO	TO	0,01	0,01	TO	TO	0,01	0,01	TO	TO
php-040-040.shuffled-as.sat05-1166.cnf	0,02	TO	TO	0,58	0,02	TO	TO	0,14	0,02	TO	TO	0,02	0,02	TO	TO	0,01	0,02	TO	TO	0,02	0,02	TO	TO	0,01	0,02	TO	TO	0,02	0,02	TO	TO	0,01	0,02	TO	TO
php-050-050.shuffled-as.sat05-1168.cnf	0,02	TO	TO	1,82	0,02	TO	TO	0,47	0,02	TO	TO	0,03	0,02	TO	TO	0,02	0,02	TO	TO	0,04	0,02	TO	TO	0,02	0,02	TO	TO	0,03	0,02	TO	TO	0,03	0,02	TO	TO
php-070-070.shuffled-as.sat05-1170.cnf	0,12	TO	TO	11,64	0,12	TO	TO	2,9	0,12	TO	TO	0,1	0,12	TO	TO	0,07	0,12	TO	TO	0,12	0,12	TO	TO	0,07	0,12	TO	TO	0,1	0,12	TO	TO	0,08	0,12	TO	TO
pmg-11-UNSAT.shuffled-as.sat05-3939.cnf	TO	1010	4883,42	0	TO	1010	4883,42	0	TO	1010	4883,42	0	TO	1010	4883,42	0	TO	1010	4883,42	0	TO	1010	4883,42	0	TO	1010	4883,42	0	TO	1010	4883,42	0	TO	1010	4883,42
pmg-14-UNSAT.shuffled-as.sat05-3942.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
pyhala-braun-sat-30-4-02.shuffled.cnf	56,84	3,56	17,07	0,28	56,84	3,56	17,07	0,1	56,84	3,56	17,07	0,13	56,84	3,56	17,07	0,07	56,84	3,56	17,07	0,23	56,84	3,56	17,07	0,09	56,84	3,56	17,07	0,13	56,84	3,56	17,07	0,07	56,84	3,56	17,07
pyhala-braun-sat-30-4-04.shuffled.cnf	23,49	17,24	24,48	0,28	23,49	17,24	24,48	0,1	23,49	17,24	24,48	0,13	23,49	17,24	24,48	0,06	23,49	17,24	24,48	0,23	23,49	17,24	24,48	0,09	23,49	17,24	24,48	0,13	23,49	17,24	24,48	0,06	23,49	17,24	24,48
pyhala-braun-sat-40-4-02.shuffled.cnf	TO	1279,62	3784,46	0,66	TO	1279,62	3784,46	0,23	TO	1279,62	3784,46	0,28	TO	1279,62	3784,46	0,15	TO	1279,62	3784,46	0,52	TO	1279,62	3784,46	0,2	TO	1279,62	3784,46	0,3	TO	1279,62	3784,46	0,16	TO	1279,62	3784,46
pyhala-braun-unsat-35-4-04.shuffled-as.sat03-1544.cnf	TO	258,56	1033,97	0,48	TO	258,56	1033,97	0,18	TO	258,56	1033,97	0,21	TO	258,56	1033,97	0,1	TO	258,56	1033,97	0,39	TO	258,56	1033,97	0,15	TO	258,56	1033,97	0,21	TO	258,56	1033,97	0,11	TO	258,56	1033,97
pyhala-braun-unsat-40-4-02.shuffled-as.sat03-1546.cnf	TO	2856,15	9140,95	0,7	TO	2856,15	9140,95	0,24	TO	2856,15	9140,95	0,29	TO	2856,15	9140,95	0,14	TO	2856,15	9140,95	0,56	TO	2856,15	9140,95	0,23	TO	2856,15	9140,95	0,29	TO	2856,15	9140,95	0,15	TO	2856,15	9140,95
qg0-7.shuffled.cnf	0,01	0,01	0,06	0,18	0,01	0,01	0,06	0,06	0,01	0,01	0,06	0,09	0,01	0,01	0,06	0,04	0,01	0,01	0,06	0,08	0,01	0,01	0,06	0,04	0,01	0,01	0,06	0,08	0,01	0,01	0,06	0,04	0,01	0,01	0,06
qg0-8.shuffled.cnf	2,97	0,15	1,03	0,37	3,82	0,15	1,05	0,13	3,85	0,14	1,05	0,18	3,54	0,16	1,05	0,08	3,89	0,14	1,06	0,18	3,59	0,14	1,05	0,09	3,84	0,14	1,03	0,17	3,6	0,15	1,04	0,09	3,84	0,14	1,03
qg4-08.cnf	0,12	0,03	0,33	0,3	0,1	0,03	0,22	0,01	0,12	0,03	0,32	0,15	0,11	0,03	0,19	0	0,12	0,03	0,32	0,19	0,12	0,03	0,18	0	0,12	0,03	0,32	0,15	0,11	0,03	0,19	0,01	0,13	0,03	0,32
qg4-8.shuffled.cnf	0,21	0,07	0,26	1,91	0,14	0,05	0,22	1,12	0,2	0,05	0,28	1,55	0,13	0,05	0,21	0,96	0,14	0,08	0,24	1,65	0,14	0,05	0,21	0,93	0,13	0,05	0,28	1,5	0,12	0,06	0,21	0,97	0,14	0,08	0,24
qg5-10.shuffled.cnf	0,02	0,04	0,26	9,49	0,04	0,03	0,16	5,78	0,03	0,04	0,21	7,98	0,06	0,03	0,17	4,82	0,03	0,03	0,21	8,41	0,07	0,03	0,17	5,82	0,03	0,04	0,21	7,67	0,06	0,03	0,16	4,7	0,03	0,03	0,21
qg6-10.shuffled.cnf	0,03	0,04	0,27	6,12	0,05	0,03	0,25	3,88	0,06	0,03	0,21	5,54	0,05	0,03	0,19	3,22	0,05	0,04	0,24	5,34	0,05	0,03	0,18	3,36	0,05	0,04	0,24	5,1	0,05	0,03	0,18	3,29	0,05	0,03	0,24
qg7-10.shuffled.cnf	0,03	0,04	0,25	6,84	0,04	0,03	0,21	4,31	0,04	0,03	0,2	5,98	0,05	0,02	0,15	3,66	0,04	0,03	0,2	5,94	0,05	0,03	0,15	3,96	0,04	0,03	0,21	5,99	0,05	0,03	0,15	3,83	0,04	0,03	0,2
qg7-11.shuffled.cnf	0,35	0,1	0,55	15,8	0,52	0,13	0,8	10,04	0,45	0,12	0,54	13,16	0,41	0,15	0,68	8,36	0,35	0,12	0,51	12,98	0,41	0,15	0,68	9	0,47	0,13	0,54	13,42	0,41	0,15	0,68	8,61	0,35	0,12	0,55
qwh.40.528.shuffled-as.sat03-1652.cnf	TO	3839,78	5808	0,47	TO	4595,23	5510,16	0,12	3317,95	697,23	2069,78	0,02	TO	6051,47	9608,25	0,01	TO	4611,11	332,45	0,05	TO	1601,97	7232,95	0,02	TO	239,74	1589,67	0,02	TO	6145,97	9937,68	0,01	TO	4630,88	324,02
qwh.40.544.shuffled-as.sat03-1653.cnf	TO	607,08	603,61	0,53	TO	237,1	TO	0,14	TO	161,14	8390,57	0,03	TO	442,17	120,16	0,01	TO	2259,14	3487,14	0,04	TO	989,16	2250,38	0,02	TO	180,88	573,04	0,02	TO	431,06	127,95	0,02	TO	2439,45	3549,35
qwh.40.560.shuffled-as.sat03-1654.cnf	TO	179,13	1039,52	0,66	TO	286,94	122,57	0,16	TO	1460,65	322,47	0,02	TO	179,13	1039,52	0,01	TO	179,13	1039,52	0,05	TO	196,53	227,83	0,02	TO	217,09	452,93	0,03	TO	179,13	1039,52	0,02	TO	179,13	1039,52
qwh.50.1250.shuffled-as.sat03-1655.cnf	TO	191,81	201,61	30,46	TO	191,81	201,61	7,88	TO	191,81	201,61	0,24	TO	191,81	201,61	0,19	TO	191,81	201,61	0,28	TO	191,81	201,61	0,21	TO	191,81	201,61	0,26	TO	191,81	201,61	0,21	TO	191,81	201,61
qwh.60.1440.shuffled-as.sat03-1656.cnf	TO	TO	TO	18,54	TO	TO	TO	4,57	TO	TO	TO	0,19	TO	TO	TO	0,14	TO	TO	TO	0,22	TO	TO	TO	0,16	TO	TO	TO	0,21	TO	TO	TO	0,16	TO	TO	TO
qwh.60.1800.shuffled-as.sat03-1660.cnf	TO	TO	7573,77	83,02	TO	TO	7573,77	22,52	TO	TO	7573,77	0,57	TO	TO	7573,77	0,43	TO	TO	7573,77	0,64	TO	TO	7573,77	0,5	TO	TO	7573,77	0,6	TO	TO	7573,77	0,45	TO	TO	7573,77
rand_net60-30-1.miter.shuffled.cnf	0,61	0,28	1,22	3,27	0,75	0,29	1,19	1,11	0,62	0,4	1,06	1,26	0,61	0,28	1,22	0,62	0,61	0,28	1,22	3,04	0,72	0,32	1,11	1,06	0,59	0,37	1,14	1,2	0,61	0,28	1,22	0,57	0,61	0,28	1,22
rand_net60-30-5.miter.shuffled.cnf	1334,19	41,16	131,01	1,8	942,15	11,01	173,98	0,62	1067,01	35,12	110,03	0,63	1334,19	41,16	131,01	0,3	1334,19	41,16	131,01	1,67	555,13	27,01	63	0,59	614,76	25,6	130,23	0,63	1334,19	41,16	131,01	0,3	1334,19	41,16	131,01
rand_net60-40-10.miter.shuffled.cnf	TO	TO	TO	1,32	TO	7714,39	TO	0,42	TO	7607,98	TO	0,43	TO	TO	TO	0,21	TO	TO	TO	1,2	TO	6543,89	TO	0,41	TO	8909,32	TO	0,41	TO	TO	TO	0,21	TO	TO	TO
rand_net60-40-5.miter.shuffled.cnf	TO	599,73	4496,92	1,83	TO	560	3494,41	0,67	TO	696,81	2802,76	0,69	TO	599,73	4496,92	0,34	TO	599,73	4496,92	1,74	TO	405,82	3546,21	0,59	TO	696,62	1877,12	0,63	TO	599,73	4496,92	0,34	TO	599,73	4496,92
rand_net70-30-5.miter.shuffled.cnf	TO	599,18	9820,97	1,22	TO	640,86	TO	0,41	TO	747,16	TO	0,41	TO	599,18	9820,97	0,22	TO	599,18	9820,97	1,1	TO	194,71	TO	0,39	TO	566,71	TO	0,4	TO	599,18	9820,97	0,2	TO	599,18	9820,97
rand_net70-40-5.miter.shuffled.cnf	TO	2171,37	TO	2,46	TO	4585,21	TO	0,81	TO	2394,05	TO	0,85	TO	2171,37	TO	0,41	TO	2171,37	TO	2,29	TO	4652,35	TO	0,75	TO	2531,93	TO	0,82	TO	2171,37	TO	0,39	TO	2171,37	TO
rand_net70-60-5.miter.shuffled.cnf	TO	1043,41	8537,57	10,27	TO	562,43	3331,4	3,69	TO	348,69	4353,05	4,29	TO	1043,41	8537,57	1,91	TO	1043,41	8537,57	10,03	TO	654,74	5383,58	3,4	TO	535,87	6751,57	3,94	TO	1043,41	8537,57	1,88	TO	1043,41	8537,57
rip08.boehm.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
rope_0001.shuffled.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
rope_0010.shuffled.cnf	0,11	0,1	0,36	0	0,11	0,1	0,36	0	0,11	0,1	0,36	0	0,11	0,1	0,36	0	0,11	0,1	0,36	0	0,11	0,1	0,36	0	0,11	0,1	0,36	0	0,11	0,1	0,36	0	0,11	0,1	0,36
rope_0012.shuffled.cnf	0,17	0,05	0,48	0	0,17	0,05	0,48	0	0,17	0,05	0,48	0	0,17	0,05	0,48	0	0,17	0,05	0,48	0	0,17	0,05	0,48	0	0,17	0,05	0,48	0	0,17	0,05	0,48	0	0,17	0,05	0,48
rope_0030.shuffled.cnf	0,71	0,69	0,95	0,01	0,71	0,69	0,95	0	0,71	0,69	0,95	0	0,71	0,69	0,95	0	0,71	0,69	0,95	0	0,71	0,69	0,95	0	0,71	0,69	0,95	0	0,71	0,69	0,95	0	0,71	0,69	0,95
rope_0200.shuffled.cnf	18,33	5,8	61,95	0,07	18,33	5,8	61,95	0,03	18,33	5,8	61,95	0,01	18,33	5,8	61,95	0,01	18,33	5,8	61,95	0,01	18,33	5,8	61,95	0,01	18,33	5,8	61,95	0,01	18,33	5,8	61,95	0,01	18,33	5,8	61,95
rope_0500.shuffled.cnf	102,93	96,4	481,28	0,23	102,93	96,4	481,28	0,07	102,93	96,4	481,28	0,04	102,93	96,4	481,28	0,03	102,93	96,4	481,28	0,04	102,93	96,4	481,28	0,04	102,93	96,4	481,28	0,04	102,93	96,4	481,28	0,04	102,93	96,4	481,28
SGI_30_60_23_50_8-log.shuffled-as.sat03-117.cnf	TO	TO	TO	150,59	TO	TO	TO	150,74	TO	TO	TO	146,81	TO	TO	TO	152,15	TO	TO	TO	0,07	TO	TO	TO	0,06	TO	TO	TO	0,07	TO	TO	TO	0,05	TO	TO	TO
SGI_30_60_24_40_2-dir.shuffled-as.sat03-118.cnf	TO	TO	TO	6,12	TO	TO	TO	1,43	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO
SGI_30_60_30_40_6-log.shuffled-as.sat03-135.cnf	TO	TO	TO	305,74	TO	TO	TO	296,92	TO	TO	TO	316,85	TO	TO	TO	297,79	TO	TO	TO	0,1	TO	TO	TO	0,09	TO	TO	TO	0,1	TO	TO	TO	0,08	TO	TO	TO
SGI_30_70_20_60_10-log.shuffled-as.sat03-145.cnf	TO	TO	TO	99,76	TO	TO	TO	93,17	TO	TO	TO	99,51	TO	TO	TO	102,7	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO	0,05	TO	TO	TO	0,04	TO	TO	TO
SGI_30_70_22_70_7-log.shuffled-as.sat03-155.cnf	TO	TO	TO	185,55	TO	TO	TO	178,1	TO	TO	TO	175,2	TO	TO	TO	168,45	TO	TO	TO	0,07	TO	TO	TO	0,05	TO	TO	TO	0,06	TO	TO	TO	0,06	TO	TO	TO
SGI_30_70_23_50_1-dir.shuffled-as.sat03-156.cnf	TO	TO	TO	5,41	TO	TO	TO	1,33	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO
SGI_30_70_28_60_1-dir.shuffled-as.sat03-175.cnf	TO	TO	TO	11,34	TO	TO	TO	2,43	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,05	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO
SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	TO	TO	TO	8,41	TO	TO	TO	1,85	TO	TO	TO	0,04	TO	TO	TO	0,02	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO
SGI_30_80_16_90_1-dir.shuffled-as.sat03-187.cnf	TO	TO	TO	2	TO	TO	TO	0,48	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO
SGI_30_80_18_80_2-log.shuffled-as.sat03-192.cnf	TO	TO	TO	64,38	TO	TO	TO	61,65	TO	TO	TO	61,66	TO	TO	TO	62,19	TO	TO	TO	0,04	TO	TO	TO	0,04	TO	TO	TO	0,04	TO	TO	TO	0,03	TO	TO	TO
SGI_30_80_20_90_10-dir.shuffled-as.sat03-195.cnf	TO	TO	TO	3,66	TO	TO	TO	0,86	TO	TO	TO	0,02	TO	TO	TO	0,01	TO	TO	TO	0,03	TO	TO	TO	0,01	TO	TO	TO	0,02	TO	TO	TO	0,02	TO	TO	TO
SGI_30_80_25_80_5-dir.shuffled-as.sat03-205.cnf	TO	TO	TO	6,24	TO	TO	TO	1,49	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO	0,03	TO	TO	TO	0,02	TO	TO	TO
SGI_30_80_25_80_5-log.shuffled-as.sat03-206.cnf	TO	TO	TO	191,4	TO	TO	TO	177,08	TO	TO	TO	183,67	TO	TO	TO	165,75	TO	TO	TO	0,07	TO	TO	TO	0,06	TO	TO	TO	0,07	TO	TO	TO	0,07	TO	TO	TO
SGI_30_80_29_60_7-log.shuffled-as.sat03-218.cnf	TO	TO	TO	233,86	TO	TO	TO	231,54	TO	TO	TO	227,07	TO	TO	TO	227,92	TO	TO	TO	0,09	TO	TO	TO	0,07	TO	TO	TO	0,09	TO	TO	TO	0,07	TO	TO	TO
simon-mixed-s02bis-01.cnf	766,33	502,9	2670,04	1,63	766,33	502,9	2670,04	0,55	766,33	502,9	2670,04	0,27	766,33	502,9	2670,04	0,21	766,33	502,9	2670,04	1,45	766,33	502,9	2670,04	0,52	766,33	502,9	2670,04	0,27	766,33	502,9	2670,04	0,21	766,33	502,9	2670,04
stric-bmc-ibm-10.cnf	11,46	2,45	7,71	134,16	16,91	2,14	7,73	29,16	13,74	1,54	8,07	11,39	7,54	1,85	7,77	9,35	10,79	1,82	7,72	125,93	15,44	2,36	7,63	28,94	14,75	1,52	7,43	11,5	7,63	1,8	7,67	9,35	10,9	1,76	7,65
urqh2x6.shuffled-as.sat03-1474.cnf	TO	976,2	8084,48	0,01	TO	976,2	8084,48	0,01	TO	976,2	8084,48	0,01	TO	976,2	8084,48	0,01	TO	976,2	8084,48	0	TO	976,2	8084,48	0	TO	976,2	8084,48	0	TO	976,2	8084,48	0	TO	976,2	8084,48
Urquhart-s3-b6.shuffled-as.sat03-1558.cnf	TO	4968,97	TO	0,02	TO	4968,97	TO	0,02	TO	4968,97	TO	0,02	TO	4968,97	TO	0,02	TO	4968,97	TO	0	TO	4968,97	TO	0	TO	4968,97	TO	0	TO	4968,97	TO	0	TO	4968,97	TO
Urquhart-s3-b6.shuffled.cnf	TO	4240,24	TO	0,02	TO	4240,24	TO	0,02	TO	4240,24	TO	0,02	TO	4240,24	TO	0,02	TO	4240,24	TO	0	TO	4240,24	TO	0	TO	4240,24	TO	0	TO	4240,24	TO	0	TO	4240,24	TO
Urquhart-s4-b2.shuffled-as.sat03-1561.cnf	TO	1871,12	TO	0,01	TO	1871,12	TO	0,02	TO	1871,12	TO	0,01	TO	1871,12	TO	0,01	TO	1871,12	TO	0	TO	1871,12	TO	0	TO	1871,12	TO	0	TO	1871,12	TO	0	TO	1871,12	TO
Urquhart-s4-b2.shuffled.cnf	TO	2316,48	TO	0,01	TO	2316,48	TO	0,01	TO	2316,48	TO	0,02	TO	2316,48	TO	0,01	TO	2316,48	TO	0	TO	2316,48	TO	0	TO	2316,48	TO	0	TO	2316,48	TO	0	TO	2316,48	TO
Urquhart-s4-b5.shuffled.cnf	TO	TO	TO	0,02	TO	TO	TO	0,02	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
Urquhart-s4-b7.shuffled.cnf	TO	5059,93	TO	0,01	TO	5059,93	TO	0,01	TO	5059,93	TO	0,01	TO	5059,93	TO	0,01	TO	5059,93	TO	0	TO	5059,93	TO	0	TO	5059,93	TO	0	TO	5059,93	TO	0	TO	5059,93	TO
Urquhart-s5-b1.shuffled.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
Urquhart-s5-b10.shuffled.cnf	TO	TO	TO	0,02	TO	TO	TO	0,02	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
Urquhart-s5-b8.shuffled.cnf	TO	TO	TO	0,03	TO	TO	TO	0,03	TO	TO	TO	0,03	TO	TO	TO	0,03	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO	0	TO	TO	TO
vange-color-inc-54.cnf	3192,01	35,45	45,23	23,98	5334,2	44,53	44,75	7,25	4701,37	46,31	44,84	23,86	5334,11	46,28	44,39	7,44	5029,73	46,14	47,73	2,85	4534,28	46,08	44,65	0,27	3192,01	35,45	45,23	2,67	4420,83	44,4	45,48	0,26	3192,01	35,45	45,23
x1.1_40.shuffled-as.sat03-1581.cnf	948,19	119,76	1178,96	0	948,19	119,76	1178,96	0	948,19	119,76	1178,96	0	948,19	119,76	1178,96	0	948,19	119,76	1178,96	0	948,19	119,76	1178,96	0	948,19	119,76	1178,96	0	948,19	119,76	1178,96	0	948,19	119,76	1178,96
x1.1_56.shuffled-as.sat03-1584.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