SAT 2009 Competition: multithread track: General informations on benchmark

General informations on benchmarks in category "all categories"

This page displays general informations on each benchmark in category "all categories"

Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
aloul-chnl11-13.cnf		APPLICATION		286	1742	2	11	0	1716	0	0	0	26	3718	c7162bc1ddb6d2592f237fef1b04b5ce
APPLICATIONS/aprove09/ AProVE09-01.cnf		APPLICATION		81870	318353	1	26783	1	257666	20739	23212	7983	8752	809527	44070bcd7c5b486869e0efc62686a485
APPLICATIONS/aprove09/ AProVE09-03.cnf		APPLICATION		59231	206299	1	12707	1	160864	22386	16076	3106	3866	512421	d9da53bac6f8ccfc4700d7feca025fc7
APPLICATIONS/aprove09/ AProVE09-05.cnf		APPLICATION		14685	49510	1	38	1	22578	25464	1414	15	38	127630	af775a2959a121dbdf88d251c7971506
APPLICATIONS/aprove09/ AProVE09-06.cnf		APPLICATION		77262	263137	1	74	1	120283	133670	8992	54	137	679549	d6f6073d38b29a9cff1f80910bc0501b
APPLICATIONS/aprove09/ AProVE09-07.cnf		APPLICATION		8567	28936	1	14	1	13207	14832	883	0	13	74592	c5fb730ce517a6a48db8bb4f0db1d85a
APPLICATIONS/aprove09/ AProVE09-08.cnf		APPLICATION		8564	28927	1	14	1	13201	14829	883	0	13	74571	fc002583fd176f7c17c597cf2b9ef469
APPLICATIONS/aprove09/ AProVE09-10.cnf		APPLICATION		67186	245335	1	1250	1	123646	107493	8907	1467	3821	639643	8906ffdee2616e35f08782ac5b24588e
APPLICATIONS/aprove09/ AProVE09-11.cnf		APPLICATION		20192	78082	1	224	1	38969	34065	2452	405	2190	207558	0f6b435a3aa045f7fe1d5c154e2f0953
APPLICATIONS/aprove09/ AProVE09-12.cnf		APPLICATION		27495	102011	1	403	1	50313	44457	3835	1939	1466	269291	6a32ad8e8547dd5cd5ba6e2c50db1534
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/aprove09/ AProVE09-13.cnf		APPLICATION		7606	26317	1	73	1	12967	11641	1237	367	104	68415	c24db6fd9a75d53a7bd695605d4863e5
APPLICATIONS/aprove09/ AProVE09-15.cnf		APPLICATION		94663	305105	1	3	1	142994	162110	0	0	0	772319	1f63372992bc329c286ff481059b0ff7
APPLICATIONS/aprove09/ AProVE09-17.cnf		APPLICATION		33894	108759	1	3	1	51306	57452	0	0	0	274969	7c312337e643719c8d3ae6a851030951
APPLICATIONS/aprove09/ AProVE09-19.cnf		APPLICATION		30537	112780	1	148	1	53006	53087	4597	631	1458	297318	89e737bdc24531e3f2b7e5a36de9e44f
APPLICATIONS/aprove09/ AProVE09-20.cnf		APPLICATION		33054	108377	1	61	2	51324	55013	1546	256	236	276669	d682d44f13c64e9669f2eded046ee8c4
APPLICATIONS/aprove09/ AProVE09-21.cnf		APPLICATION		29964	91044	1	61	1	61962	26475	2242	320	44	214442	a3cc0103b4df5b44a302c893b16b5971
APPLICATIONS/aprove09/ AProVE09-22.cnf		APPLICATION		11557	38505	1	289	1	16316	21332	788	17	51	100479	f83b70dc0ecb0b7df1f39f8d066a5804
APPLICATIONS/aprove09/ AProVE09-24.cnf		APPLICATION		61164	209228	1	415	1	83362	120430	5204	68	163	550828	add72395f3e7c6e9e29d4b056a962859
APPLICATIONS/aprove09/ AProVE09-25.cnf		APPLICATION		37821	124485	1	1123	1	54582	67195	2484	147	76	323039	8422d798c38ec5bb1334193aaefd87be
APPLICATIONS/ bioinfo/ q_query_2_L324_coli.cnf		APPLICATION		617854	2745225	1	11	63819	860549	1288709	426025	105475	648	7889647	501f46d9a7ec80065d0e56530d26e648
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf		APPLICATION		315617	1522583	1	11	32077	403677	835608	197035	53887	299	4407119	370a08d01be1cc652e9a09ab1aafdced
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf		APPLICATION		486992	2456708	1	11	45577	599727	1431108	295435	84412	449	7147094	ba6884aaa746378e56c38fd8b3d0255e
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf		APPLICATION		670867	3513333	1	11	59077	795777	2146608	393835	117437	599	10259569	853982f8646333d217e35d938b7eb00b
APPLICATIONS/ bioinfo/ q_query_3_l37_lambda.cnf		APPLICATION		26241	128361	1	9	3566	33367	73230	12521	5566	111	368903	6c0fa36b77ee8403468509d27984ddf2
APPLICATIONS/ bioinfo/ q_query_3_l38_lambda.cnf		APPLICATION		26986	132388	1	9	3644	34225	75813	12876	5716	114	380643	208fab3c6bb011254beb601f462aad3b
APPLICATIONS/ bioinfo/ q_query_3_l39_lambda.cnf		APPLICATION		27735	136449	1	9	3722	35083	78429	13232	5866	117	392486	cc949593da8c10735a1b7ac8b30d4e4d
APPLICATIONS/ bioinfo/ q_query_3_l40_lambda.cnf		APPLICATION		28488	140544	1	9	3800	35941	81078	13589	6016	120	404432	660e95de0ccce382abc30cb1546100bc
APPLICATIONS/ bioinfo/ q_query_3_l41_lambda.cnf		APPLICATION		29245	144673	1	9	3878	36799	83760	13947	6166	123	416481	50760ceab82aaa514e253121456f71f6
APPLICATIONS/ bioinfo/ q_query_3_l42_lambda.cnf		APPLICATION		30006	148836	1	9	3956	37657	86475	14306	6316	126	428633	f7e4b8eacc29c0297225e4db3860ba3b
APPLICATIONS/ bioinfo/ q_query_3_l43_lambda.cnf		APPLICATION		30771	153033	1	9	4034	38515	89223	14666	6466	129	440888	040db958f11a89b7e62063379f36b96a
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ bioinfo/ q_query_3_l44_lambda.cnf		APPLICATION		31540	157264	1	9	4112	39373	92004	15027	6616	132	453246	a7bc41b32260e4459b2bee7c18cacba1
APPLICATIONS/ bioinfo/ q_query_3_l45_lambda.cnf		APPLICATION		32313	161529	1	9	4190	40231	94818	15389	6766	135	465707	94aa7bdbcbe99c5b3082c395dc2384e9
APPLICATIONS/ bioinfo/ q_query_3_l46_lambda.cnf		APPLICATION		33090	165828	1	9	4268	41089	97665	15752	6916	138	478271	eb4d0d02a25a8a84182ddd3b6d1fa8b5
APPLICATIONS/ bioinfo/ q_query_3_l47_lambda.cnf		APPLICATION		33871	170161	1	9	4346	41947	100545	16116	7066	141	490938	ed7689c65135a913d97feca3ab3874eb
APPLICATIONS/ bioinfo/ q_query_3_l48_lambda.cnf		APPLICATION		34656	174528	1	9	4424	42805	103458	16481	7216	144	503708	e7c28f6a200a1c1912fbaacfb3572515
APPLICATIONS/ bioinfo/ q_query_3_L60_coli.sat.cnf		APPLICATION		187517	863483	1	11	21277	246837	445608	118315	31267	179	2483339	38736d508aa4b137792e18ad6998c963
APPLICATIONS/ bioinfo/ q_query_3_L70_coli.sat.cnf		APPLICATION		218792	1020908	1	11	23977	286047	535908	137995	36772	209	2941934	7fc9b20f0efe1e9457bd61eba8178674
APPLICATIONS/ bioinfo/ q_query_3_L80_coli.sat.cnf		APPLICATION		250567	1183233	1	11	26677	325257	631008	157675	42377	239	3415429	eb71c8cb3482ee70f1c98af8944179ca
APPLICATIONS/ bioinfo/ q_query_3_L90_coli.sat.cnf		APPLICATION		282842	1350458	1	11	29377	364467	730908	177355	48082	269	3903824	a9e7651569c1b43a1021c78982fb4e6b
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray02_32.cnf		APPLICATION		4252	12563	1	3	2	8374	4187	0	0	0	29311	da0c445b72f13d929ab0690c3bfa81ed
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray08_32.cnf		APPLICATION		17818	52685	1	3	2	35122	17561	0	0	0	122929	fd3f8184ebdeefe767f2b0366176385e
APPLICATIONS/bitverif/ countbitsarray/ countbitsarray32_32.cnf		APPLICATION		72202	213533	1	3	2	142354	71177	0	0	0	498241	b7a07371a2da4a8c8bef63c213dd1e15
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate016.cnf		APPLICATION		2087	6212	1	3	2	4140	2070	0	0	0	14492	cb3e934c498918abbc8bcf7f964c0d21
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate032.cnf		APPLICATION		8527	25484	1	3	2	16988	8494	0	0	0	59460	8d76aa747359ea8ccf15726792949452
APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate128.cnf		APPLICATION		138559	415292	1	3	2	276860	138430	0	0	0	969012	f21954c654ab1cfd9e2c1aa6fdf49c58
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl016.cnf		APPLICATION		4567	13652	1	3	2	9100	4550	0	0	0	31852	505fee3283f518ccb9d234f549b3c214
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl032.cnf		APPLICATION		18607	55724	1	3	2	37148	18574	0	0	0	130020	5bb6e70c95bda454f634cd586084908b
APPLICATIONS/bitverif/ countbitssrl/ countbitssrl128.cnf		APPLICATION		301759	904892	1	3	2	603260	301630	0	0	0	2111412	d464f22dd212ad9afa317dae82dd7350
APPLICATIONS/bitverif/ countbitswegner/ countbitswegner064.cnf		APPLICATION		24448	73151	1	3	2	48766	24383	0	0	0	170683	1a0b22841159d2c84fdcb857229ffa08
APPLICATIONS/ bitverif/ icbrt/icbrt1_32.cnf		APPLICATION		11309	33833	1	3	2	22554	11277	0	0	0	78941	157e258753171ede0eac48b41cfa7b1d
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ bitverif/maxand/ maxand064.cnf		APPLICATION		14578	42581	1	3	2	28386	14193	0	0	0	99353	b2d2617ddc348aef0d35df3c8f228dcb
APPLICATIONS/ bitverif/maxor/ maxor128.cnf		APPLICATION		200308	598619	1	3	2	399078	199539	0	0	0	1396775	e050fe11c7c50ba82ac7126f49db3c10
APPLICATIONS/ bitverif/maxxor/ maxxor064.cnf		APPLICATION		51064	152039	1	3	2	101358	50679	0	0	0	354755	902b28046d424b16042ca612ddad48e0
APPLICATIONS/ bitverif/maxxor/ maxxor128.cnf		APPLICATION		200440	599015	1	3	2	399342	199671	0	0	0	1397699	065c126f0d55807310a398728b44423f
APPLICATIONS/bitverif/ maxxororand/ maxxororand032.cnf		APPLICATION		23696	70703	1	3	2	47134	23567	0	0	0	164971	fc00df719c8630009723cd295f7c0c3b
APPLICATIONS/bitverif/ maxxororand/ maxxororand128.cnf		APPLICATION		365168	1093967	1	3	2	729310	364655	0	0	0	2552587	3022ff2a7ae31b29e9b784d8e848042f
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor032.cnf		APPLICATION		16239	48332	1	3	2	32220	16110	0	0	0	112772	25c7914ccc82f6f574febbd03924feed
APPLICATIONS/bitverif/ minandmaxor/ minandmaxor128.cnf		APPLICATION		249327	746444	1	3	2	497628	248814	0	0	0	1741700	5b2e2178738883a628728bb1ec39f4a9
APPLICATIONS/ bitverif/minand/ minand128.cnf		APPLICATION		53999	159692	1	3	2	106460	53230	0	0	0	372612	34e3afebec3eaf03cbcceb51b352993a
APPLICATIONS/ bitverif/minor/ minor032.cnf		APPLICATION		4210	12053	1	3	2	8034	4017	0	0	0	28121	93c9f18c75548b864ec69c2789cae658
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ bitverif/minor/ minor064.cnf		APPLICATION		14578	42581	1	3	2	28386	14193	0	0	0	99353	1a151a1e93387c74239b48070e3eed97
APPLICATIONS/bitverif/ minxorminand/ minxorminand032.cnf		APPLICATION		10794	31997	1	3	2	21330	10665	0	0	0	74657	49dda3faa6676166ee2ccb89f6cd8ca0
APPLICATIONS/bitverif/ minxorminand/ minxorminand064.cnf		APPLICATION		40042	119357	1	3	2	79570	39785	0	0	0	278497	1394bf507e3ed448c81b5502d6550d78
APPLICATIONS/bitverif/ minxorminand/ minxorminand128.cnf		APPLICATION		153834	459965	1	3	2	306642	153321	0	0	0	1073249	a551844fb6a7f35cf6025d0a525ca14e
APPLICATIONS/ bitverif/minxor/ minxor128.cnf		APPLICATION		54258	160469	1	3	2	106978	53489	0	0	0	374425	10b48467ea3d951975cb9264f0b654fe
APPLICATIONS/ bitverif/mulhs/ mulhs016.cnf		APPLICATION		4656	13871	1	3	2	9246	4623	0	0	0	32363	e4ef55733955e0a45519e9f7dec923e5
APPLICATIONS/ bitverif/mulhs/ mulhs032.cnf		APPLICATION		18792	56183	1	3	2	37454	18727	0	0	0	131091	431823fbe355abc605baf058be5925a0
APPLICATIONS/ bitverif/smulo/ smulo016.cnf		APPLICATION		2945	8738	1	3	2	5824	2912	0	0	0	20386	576249eded8a3c95c0b3aa8dcd51992e
APPLICATIONS/ bitverif/smulo/ smulo128.cnf		APPLICATION		188473	564650	1	3	2	376432	188216	0	0	0	1317514	c5685247c8f21e8da88f42049fffdb13
APPLICATIONS/ c32sat/ post-c32s-col400-16.cnf		APPLICATION		286329	839692	1	3	1	559794	279897	0	0	0	1959280	a8766c9a72f73eaac2d0ddc5a182692e
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ c32sat/ post-c32s-gcdm16-22.cnf		APPLICATION		129652	386749	1	3	1	257832	128916	0	0	0	902413	8d2a42a37522a445646cc07d2396ea2a
APPLICATIONS/ c32sat/ post-c32s-gcdm16-23.cnf		APPLICATION		135543	404326	1	3	1	269550	134775	0	0	0	943426	a61ef2b7b3d16661e8162c430ffb1a51
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf		APPLICATION		53752	148393	1	3	1	98928	49464	0	0	0	346249	9d3d3bb9b296880c7463693ae665aafd
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf		APPLICATION		276895	1607567	1	184	40271	1154041	332345	10685	0	70225	4321960	17bffac3a21734cf7ff7fa9ecba23d9d
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf		APPLICATION		266199	1575975	1	33	39783	1138497	317809	9949	0	69937	4240496	4c8b9603e0c90cfb3c82064eae956799
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf		APPLICATION		498723	2928183	1	33	70035	2107033	609981	19805	0	121329	7885040	91d125ee3007575f40ddeef126d7f80f
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf		APPLICATION		270963	1601376	1	257	39870	1147330	334113	9978	0	70085	4314698	f135b1d0c8abb3603a01568e46f7396a
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf		APPLICATION		10950109	32697150	1	65	2415	21783823	10907882	1592	131	1307	76320846	c4aa2ddc60eee766fbdf95a32eed5b43
APPLICATIONS/ crypto/desgen/ gss-13-s100.cnf		APPLICATION		30867	92735	1	3	64	59830	32841	0	0	0	218247	18e29c95dcbfcbcf33a0a6c65b568b2d
APPLICATIONS/ crypto/desgen/ gss-14-s100.cnf		APPLICATION		31229	93855	1	3	64	60488	33303	0	0	0	220949	0395bced0950ab7e0c6e0bf7b855fed1
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ crypto/desgen/ gss-15-s100.cnf		APPLICATION		31238	93878	1	3	64	60504	33310	0	0	0	221002	b185751224700d221426aae46b36e25c
APPLICATIONS/ crypto/desgen/ gss-16-s100.cnf		APPLICATION		31248	93904	1	3	64	60522	33318	0	0	0	221062	0b8996f2f5c4b978a2df4466203c2361
APPLICATIONS/ crypto/desgen/ gss-17-s100.cnf		APPLICATION		31318	94116	1	3	64	60636	33416	0	0	0	221584	d37c12b8284d10d47c2000db061ff0e1
APPLICATIONS/ crypto/desgen/ gss-19-s100.cnf		APPLICATION		31435	94548	1	3	64	60710	33774	0	0	0	222806	e2d18d9d1a45d63e75556fb963e4ae47
APPLICATIONS/ crypto/desgen/ gss-20-s100.cnf		APPLICATION		31503	94748	1	3	64	60816	33868	0	0	0	223300	5d7745a7593199a47cd1accba5810ed0
APPLICATIONS/ crypto/desgen/ gss-21-s100.cnf		APPLICATION		31613	95104	1	3	64	60978	34062	0	0	0	224206	d34c45eae853ce60c342643824196dbf
APPLICATIONS/ crypto/desgen/ gss-22-s100.cnf		APPLICATION		31616	95110	1	3	64	60982	34064	0	0	0	224220	96596d59af0c6949ab68ac8c5abcf28b
APPLICATIONS/ crypto/desgen/ gss-23-s100.cnf		APPLICATION		31711	95400	1	3	64	61146	34190	0	0	0	224926	aa3fff3e05d3f50a3d088c22afa455ea
APPLICATIONS/ crypto/desgen/ gss-24-s100.cnf		APPLICATION		31821	95735	1	3	64	61338	34333	0	0	0	225739	107f2922072d64498e09af3270c7b9c3
APPLICATIONS/ crypto/desgen/ gss-25-s100.cnf		APPLICATION		31931	96111	1	3	64	61482	34565	0	0	0	226723	c4b5df05f50ec97b624a18161f6d43b5
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ crypto/desgen/ gss-26-s100.cnf		APPLICATION		31942	96138	1	3	64	61502	34572	0	0	0	226784	a2be03cdc152990d030fb3c2aea1f730
APPLICATIONS/ crypto/desgen/ gss-27-s100.cnf		APPLICATION		31951	96161	1	3	64	61518	34579	0	0	0	226837	f47c33d2a9a327da4633207adfef7b77
APPLICATIONS/ crypto/desgen/ gss-28-s100.cnf		APPLICATION		32151	96786	1	3	64	61858	34864	0	0	0	228372	06e51f5d7b210924fc518c0569affee4
APPLICATIONS/ crypto/desgen/ gss-31-s100.cnf		APPLICATION		32310	97279	1	3	64	62102	35113	0	0	0	229607	5dbb80f29538e26a3285bf497c57f592
APPLICATIONS/ crypto/desgen/ gss-32-s100.cnf		APPLICATION		32312	97285	1	3	64	62100	35121	0	0	0	229627	7785f51f4f3cb780b4d123215711f948
APPLICATIONS/ crypto/desgen/ gss-33-s100.cnf		APPLICATION		32402	97556	1	3	64	62250	35242	0	0	0	230290	abeb2c5a0bb0ad39fbdbdbc07efbecf7
APPLICATIONS/ crypto/desgen/ gss-34-s100.cnf		APPLICATION		32465	97748	1	3	64	62350	35334	0	0	0	230766	d33264afbb7fa6f88a24b97cfc468c5a
APPLICATIONS/ crypto/md5gen/ gus-md5-04.cnf		APPLICATION		68679	223994	1	3	129	91178	132687	0	0	0	580546	019984f9d84c315e8eec645fb9d169da
APPLICATIONS/ crypto/md5gen/ gus-md5-05.cnf		APPLICATION		68827	224473	1	3	129	91368	132976	0	0	0	581793	2802e980ef7a0af021d80df126a2e28c
APPLICATIONS/ crypto/md5gen/ gus-md5-06.cnf		APPLICATION		68953	224868	1	3	129	91550	133189	0	0	0	582796	54bbde63bf0c9b14dd4e32426eab0a42
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ crypto/md5gen/ gus-md5-07.cnf		APPLICATION		69097	225325	1	3	129	91744	133452	0	0	0	583973	d5384c4b81fff59c87944d03e9ed7d02
APPLICATIONS/ crypto/md5gen/ gus-md5-09.cnf		APPLICATION		69487	226581	1	3	129	92264	134188	0	0	0	587221	5c56557463274332c6704b6432dfc42b
APPLICATIONS/ crypto/md5gen/ gus-md5-10.cnf		APPLICATION		69503	226618	1	3	129	92294	134195	0	0	0	587302	0260f441a1d07270edb6a85b2fc90d1d
APPLICATIONS/ crypto/md5gen/ gus-md5-11.cnf		APPLICATION		69561	226787	1	3	129	92376	134282	0	0	0	587727	49867705b76fc90285dd6fc48de2613c
APPLICATIONS/ crypto/md5gen/ gus-md5-14.cnf		APPLICATION		69641	227010	1	3	129	92498	134383	0	0	0	588274	5822cc7fe01f06c27406011d612b5e7d
APPLICATIONS/ crypto/md5gen/ gus-md5-15.cnf		APPLICATION		69695	227171	1	3	129	92572	134470	0	0	0	588683	c8a05d1e76535706c430a6b42d191d4b
APPLICATIONS/ crypto/md5gen/ gus-md5-16.cnf		APPLICATION		70139	228634	1	3	129	93186	135319	0	0	0	592458	3cb14750de2495357cf28b8ab826b9e3
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf		APPLICATION		123925	539763	1	10	5498	437089	69976	3020	12080	12100	1252804	b0f091d476e617a8697e9f8acfd1538f
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf		APPLICATION		262253	1131732	1	10	10249	882815	187708	5660	22640	22660	2644763	d8dd0726277891eae9a2807dfd8946db
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf		APPLICATION		268258	1155731	1	10	10249	895523	198999	5660	22640	22660	2704052	4f02dda0c6b1f76f43bce732093e4f1f
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf		APPLICATION		374228	1603007	1	10	13149	1211215	313283	7260	29040	29060	3767588	28e85fc2a4586943a0ffdffa15206b58
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf		APPLICATION		381708	1632906	1	10	13149	1226633	327764	7260	29040	29060	3841867	31a85166c16c74a5f2dcee32f2093a67
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf		APPLICATION		331196	1416850	1	10	11403	1064373	284354	6300	25200	25220	3333531	8eb175d312e8be3bb4695a79b8f45bdc
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf		APPLICATION		104481	500875	1	10	5498	398201	69976	3020	12080	12100	1175028	9d45c35f4df88b155135c4914792c59e
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf		APPLICATION		199304	1005834	1	10	10249	756917	187708	5660	22640	22660	2392967	bcbcc9a4e4a7e3ebed9eeaa393ebdc32
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf		APPLICATION		200003	1019221	1	10	10249	759013	198999	5660	22640	22660	2431032	484dad50fb275faff8eff92c4d5447cb
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf		APPLICATION		162696	821000	1	10	8386	617825	153189	4620	18480	18500	1953203	4385f03fe3bdaf0f127ae989ddd7908d
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf		APPLICATION		259258	1388006	1	10	13149	981733	327764	7260	29040	29060	3352067	4454a006891d750fc88d47a8b0848855
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf		APPLICATION		224986	1204430	1	10	11403	851953	284354	6300	25200	25220	2908691	93858500e23e9a4bf0619d7bf7dc00f3
APPLICATIONS/diagnosis/ UR-10-5p0.cnf		APPLICATION		104479	500869	1	10	5498	398195	69976	3020	12080	12100	1175016	e024fd9d9cdae82453a8cdaa74d08481
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/diagnosis/ UR-10-5p1.cnf		APPLICATION		104856	508020	1	10	5498	399325	75997	3020	12080	12100	1195339	71709b0ed450234f1e59c71288c2c81a
APPLICATIONS/diagnosis/ UR-15-10p0.cnf		APPLICATION		199290	1005792	1	10	10249	756875	187708	5660	22640	22660	2392883	a860cf613d4e0cb34c00f8b79611121d
APPLICATIONS/diagnosis/ UR-15-10p1.cnf		APPLICATION		199996	1019200	1	10	10249	758992	198999	5660	22640	22660	2430990	558e9ecf39a7773e94f4b47eef706f44
APPLICATIONS/diagnosis/ UR-15-5p0.cnf		APPLICATION		162682	820958	1	10	8386	617783	153189	4620	18480	18500	1953119	46c031b3f08c6158a2e68fd75d34fa31
APPLICATIONS/diagnosis/ UR-20-10p1.cnf		APPLICATION		259234	1387934	1	10	13149	981661	327764	7260	29040	29060	3351923	6ace5cfbe110f1a43049037cb7432998
APPLICATIONS/diagnosis/ UR-20-5p0.cnf		APPLICATION		224569	1190619	1	10	11403	850703	271793	6300	25200	25220	2868508	782c70d5631cbc24bc659543ee69ca8b
APPLICATIONS/diagnosis/ UR-20-5p1.cnf		APPLICATION		224962	1204358	1	10	11403	851881	284354	6300	25200	25220	2908547	c530016627d60451f148c386bba0e9bf
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf		APPLICATION		130859	627223	1	10	6856	498729	87598	3780	15120	15140	1471348	76f64a29755badc2dae8f70e8e96bc3e
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf		APPLICATION		199586	1006679	1	10	10249	757762	187708	5660	22640	22660	2394657	abc6c44b372f4addd18c6a7b2eac59f5
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf		APPLICATION		200152	1019667	1	10	10249	759459	198999	5660	22640	22660	2431924	95ee3bccf00be0d94959b7512fd434b4
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf		APPLICATION		162926	821689	1	10	8386	618514	153189	4620	18480	18500	1954581	b21b299f860c56270b509900cff82599
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf		APPLICATION		163388	832285	1	10	8386	619899	162400	4620	18480	18500	1984984	3860cadf04571c4600e5fd531189ff9f
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf		APPLICATION		259616	1374599	1	10	13149	982807	313283	7260	29040	29060	3310772	209f7789e3588d11f275f2003f2c6a67
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf		APPLICATION		260342	1391257	1	10	13149	984984	327764	7260	29040	29060	3358569	9573f6b4001373bab93d1a02f96820d1
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf		APPLICATION		225296	1192799	1	10	11403	852883	271793	6300	25200	25220	2872868	5588dd996576f939b8ae497437078705
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf		APPLICATION		225926	1207249	1	10	11403	854772	284354	6300	25200	25220	2914329	10eca282b9263f77903cd90a479b46ee
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf		APPLICATION		1910	167931	2	10	0	3312	164588	0	0	31	500698	3cd74d1813a4408b4123afc23df07d7d
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf		APPLICATION		2112	191788	2	11	0	3595	188162	0	0	31	572017	54c22a62e5d0a640d4ea8d185b9b1fc7
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf		APPLICATION		2316	216962	2	12	0	3879	213052	0	0	31	647286	238f1788225c41f1f5779700e39b5833
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf		APPLICATION		2522	243459	2	13	0	4164	239264	0	0	31	726523	ecc4810d82e30597ea8451526243ec09
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf		APPLICATION		2730	271285	2	14	0	4450	266804	0	0	31	809746	d4e16a803f6cd0903a2bd3e7157287b3
APPLICATIONS/ satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf		APPLICATION		2940	300446	2	15	0	4737	295678	0	0	31	896973	6d69d175921d14f1c2600aaedc59f514
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf		APPLICATION		3152	330948	2	16	0	5025	325892	0	0	31	988222	8e41b9860982308be5a85106d5324611
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf		APPLICATION		3366	362797	2	17	0	5314	357452	0	0	31	1083511	85279cb74dedd2e1c7356e22d8e98939
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf		APPLICATION		3582	395999	2	18	0	5604	390364	0	0	31	1182858	d554330e1400d4f25a793413df9abc4e
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_20_SAT.cnf		APPLICATION		4242	503783	2	21	0	6480	497272	0	0	31	1505427	8aa38136187abb1238dedfc85e88a72c
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_21_SAT.cnf		APPLICATION		4466	542457	2	22	0	6774	535652	0	0	31	1621186	03a36a0e1b9af8e7c30a29a92e02302e
APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_22_SAT.cnf		APPLICATION		4692	582514	2	23	0	7069	575414	0	0	31	1741093	0370c302d744cf5297e07b7d8a6a8190
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf		APPLICATION		980	47620	2	7	0	1731	45866	0	0	23	141221	540450986cd3d9879ae19d42219d1fab
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf		APPLICATION		1128	57446	2	8	0	1939	55484	0	0	23	170514	6419e2e5b92274df2e7e43e6c6a98566
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf		APPLICATION		1278	68055	2	9	0	2148	65884	0	0	23	202155	66aa2e18c32a02f55a810347a9702c7f
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf		APPLICATION		1430	79453	2	10	0	2358	77072	0	0	23	236162	18ad1dee1e9d863458e75a20545ae68a
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf		APPLICATION		1584	91646	2	11	0	2569	89054	0	0	23	272553	e868383f091c36fa9594c670095c9824
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf		APPLICATION		1740	104640	2	12	0	2781	101836	0	0	23	311346	b02fa517730e45c506203f9bd7ebb62c
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf		APPLICATION		1898	118441	2	13	0	2994	115424	0	0	23	352559	d18a114d646a89f18fb3efba2be009e6
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf		APPLICATION		2058	133055	2	14	0	3208	129824	0	0	23	396210	604e1311b2fcb3c933399ca7195c63f1
APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_14_SAT.cnf		APPLICATION		2220	148488	2	15	0	3423	145042	0	0	23	442317	0678a0ef5b4345961915559db9bf689b
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf		APPLICATION		1128	63345	2	8	0	1950	61372	0	0	23	188200	a30111c778b4a83ebe950f77b63a1b33
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf		APPLICATION		1278	74789	2	9	0	2159	72607	0	0	23	222346	0b7170d33b896e8b879b19b65ac5c517
APPLICATIONS/ satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf		APPLICATION		1430	87044	2	10	0	2369	84652	0	0	23	258924	feb620c17f2a4d7899a2e7883baa7391
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf		APPLICATION		1584	100116	2	11	0	2580	97513	0	0	23	297952	8ece32bbd9e6c3f5c8cdf0e94e0569cd
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf		APPLICATION		1740	114011	2	12	0	2792	111196	0	0	23	339448	e0639bbed56c8b8c34616f8cb99c381c
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf		APPLICATION		1898	128735	2	13	0	3005	125707	0	0	23	383430	fbf37caab2e9eafe910c795f49053484
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf		APPLICATION		2058	144294	2	14	0	3219	141052	0	0	23	429916	57b85ec7870f670f13b00667a6315c05
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf		APPLICATION		2220	160694	2	15	0	3434	157237	0	0	23	478924	74b3bf25aa16f613ee15d6b4b9bc9486
APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_17_SAT.cnf		APPLICATION		2718	215000	2	18	0	4085	210892	0	0	23	641260	4607e45ceb8682e35172b7d697608fbf
cmu-bmc-barrel6.cnf		APPLICATION		2306	8931	2	217	0	2629	6048	252	0	2	24664	cc87f90bf08e13838e59f0f2639db121
cmu-bmc-longmult15.cnf		APPLICATION		7807	24351	1	18	53	16386	6700	908	16	288	58557	21b49b73035bb6e7a1dd17830907ac9d
een-tip-sat-texas-tp-5e.cnf		APPLICATION		17985	52128	1	15	15	32912	19200	0	0	1	123454	5bf390b945bda57e276dac6d13ea27f6
een-tip-uns-nusmv-t5.B.cnf		APPLICATION		59265	170983	1	23	23	99418	71541	0	0	1	413505	5a0032960b52c5fb367771f030675e6c
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
goldb-heqc-alu4mul.cnf		APPLICATION		4736	30465	2	16	0	7024	14112	0	9328	1	103040	2d68b23bdbf6e7e2868e82c4f24dffc3
goldb-heqc-dalumul.cnf		APPLICATION		9426	59991	2	32	0	13834	27796	0	18360	1	202888	f03acb1e2f3063539a5fb2ac1bbf6244
goldb-heqc-frg1mul.cnf		APPLICATION		3230	20575	2	6	0	4746	9516	0	6312	1	69606	4984fea7abc49dd7f6973cd779e805d7
goldb-heqc-i10mul.cnf		APPLICATION		12998	77941	2	448	0	17756	37304	0	22880	1	262272	80e15f28c8e2d72627ec75fe75757317
goldb-heqc-term1mul.cnf		APPLICATION		3504	22229	2	20	0	5116	10312	0	6800	1	75188	c356d60706abf7ddd80826e417c8de67
goldb-heqc-x1mul.cnf		APPLICATION		8756	55571	1	70	28	12786	25852	0	16904	1	187746	b44e541aede789d4830fa0a3a047fcda
hoons-vbmc-lucky7.cnf		APPLICATION		8503	25116	1	3	21	16730	8365	0	0	0	58576	e05028f569e580a3335aeab2d092cf1f
industrial/anbulagan/ hard-sat/ partial-10-13-s.cnf		APPLICATION		234673	1071339	1	10	17679	856659	153061	4880	19520	19540	2453820	d90571b4b69632567da9d3ebfd25979e
industrial/anbulagan/ hard-sat/ partial-10-15-s.cnf		APPLICATION		261020	1211106	1	10	19537	952032	190917	5400	21600	21620	2788072	a6b04ec2cace5c4e6bef212c7f2df796
industrial/anbulagan/ hard-sat/ partial-5-17-s.cnf		APPLICATION		252328	1189896	1	10	18837	919648	204591	5200	20800	20820	2752826	cd6cb5ea01688ce5beec6e625055ac90
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
industrial/anbulagan/ hard-unsat/ dated-10-19-u.cnf		APPLICATION		246502	1169243	1	10	20518	893029	209596	5120	20480	20500	2711964	1f049803198bb32ab05476465773cc39
industrial/anbulagan/ hard-unsat/ dated-5-13-u.cnf		APPLICATION		138808	626501	1	10	11712	503953	84536	2920	11680	11700	1431026	45ee13b66821e6c36f3e38be418fa121
industrial/anbulagan/ hard-unsat/ dated-5-15-u.cnf		APPLICATION		151952	697321	1	10	12754	551183	104744	3180	12720	12740	1601192	c716daea92d5e29b94f85a19b52859ac
industrial/anbulagan/ hard-unsat/ dated-5-17-u.cnf		APPLICATION		183464	855717	1	10	15316	664917	141084	3820	15280	15300	1974802	83ece6745238c422c7e68e5a07fc7f73
industrial/anbulagan/ hard-unsat/ dated-5-19-u.cnf		APPLICATION		208002	986543	1	10	17318	753529	176796	4320	17280	17300	2288164	3be331331884289c55e55acdeed55dc7
industrial/anbulagan/ hard-unsat/ partial-10-13-u.cnf		APPLICATION		234064	1059777	1	10	17678	854833	143326	4880	19520	19540	2420962	ec1a03bc95c5b06907199f7ae65ad092
industrial/anbulagan/ hard-unsat/ partial-10-19-u.cnf		APPLICATION		330372	1570953	1	10	24592	1203951	281190	6800	27200	27220	3643384	ec6ae8f44e827ed5bcc8aed459990775
industrial/anbulagan/ hard-unsat/ partial-5-11-u.cnf		APPLICATION		164158	730719	1	10	12474	600009	87256	3440	13760	13780	1660140	8e22d84b1ae625d44fbf300a32374a2d
industrial/anbulagan/ hard-unsat/ partial-5-13-u.cnf		APPLICATION		184196	833889	1	10	13964	672565	112780	3840	15360	15380	1904914	4bb23e70b97827425fcf5759bf0a79a2
industrial/anbulagan/ hard-unsat/ partial-5-15-u.cnf		APPLICATION		217930	1002997	1	10	16378	795155	150764	4520	18080	18100	2303180	c2f768afbb9db3d5f5133c3f48734894
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
industrial/anbulagan/ hard-unsat/ partial-5-17-u.cnf		APPLICATION		252004	1178557	1	10	18836	918677	194224	5200	20800	20820	2719782	b9de1594525a25a6c43932e2e172e913
industrial/anbulagan/ hard-unsat/ total-10-17-u.cnf		APPLICATION		293864	1370917	1	10	24516	1065117	226184	6120	24480	24500	3163902	9ce7c48a28ddd5790e38607bb893dd38
industrial/anbulagan/ hard-unsat/ total-10-19-u.cnf		APPLICATION		331202	1571183	1	10	27558	1199929	281756	6880	27520	27540	3644324	a2687a8a1b0deeabfd7eddcfa56549a2
industrial/anbulagan/ hard-unsat/ total-5-15-u.cnf		APPLICATION		219756	1008653	1	10	18434	797195	151604	4600	18400	18420	2316156	c438ce1eb243ac0a49869eda1166f28f
industrial/anbulagan/ hard-unsat/ total-5-17-u.cnf		APPLICATION		265064	1236517	1	10	22116	960717	203984	5520	22080	22100	2853702	9f79c3f75a90db314ed315006ba97d6f
industrial/anbulagan/ medium-sat/ partial-5-13-s.cnf		APPLICATION		184675	842981	1	10	13965	674001	120435	3840	15360	15380	1930752	8440e7259e120363fc65b24385da09e8
industrial/anbulagan/ medium-sat/ partial-5-15-s.cnf		APPLICATION		218494	1013700	1	10	16379	796846	159775	4520	18080	18100	2333596	aeddf6934ba21adf4a25a76bc314ef43
industrial/anbulagan/ medium-unsat/ total-10-13-u.cnf		APPLICATION		226208	1021181	1	10	19072	821353	137896	4760	19040	19060	2332626	a443b9e3a7093c1d9a47b42016a65c52
industrial/anbulagan/ medium-unsat/ total-5-11-u.cnf		APPLICATION		156980	696581	1	10	13310	570471	82900	3320	13280	13300	1582352	770fa9cd880a43d98e936f33f4e86d7a
industrial/anbulagan/ medium-unsat/ total-5-13-u.cnf		APPLICATION		178708	806681	1	10	15072	648853	108896	3760	15040	15060	1842626	127968d7d14f3ab7655995f561e62ed8
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
industrial/babic/ hsatv17/ hsat_vc11803.cnf		APPLICATION		276402	798348	1	3	31560	251728	515060	0	0	0	2080196	6c6fd606fd41d7205b07602118ad74a0
industrial/babic/ hsatv17/ hsat_vc11813.cnf		APPLICATION		312579	905106	1	3	35218	283723	586165	0	0	0	2361159	1d84e062d693fe840d2f54155b9ad4a4
industrial/babic/ xinetd/ xinetd_vc56703.cnf		APPLICATION		110923	286428	1	3	13085	138156	135187	0	0	0	694958	09053ffc48c8fbc3352a0ce4d89c2bbb
industrial/ fuhs/hard/ AProVE07-01.cnf		APPLICATION		7502	28770	1	847	1	15814	11119	733	172	931	76290	d2f77e32530988f77dca5112174eee00
industrial/ fuhs/hard/ AProVE07-08.cnf		APPLICATION		4614	16637	1	97	1	7532	8048	732	246	78	44007	81ed5ec4a2e7c208a4184383f9e53838
industrial/ fuhs/hard/ AProVE07-25.cnf		APPLICATION		8920	31884	1	229	1	15331	14327	1469	588	168	83706	0acd143a4e60b38309663b5993b5ded9
industrial/ fuhs/hard/ AProVE07-26.cnf		APPLICATION		21734	79766	1	225	1	36916	38055	3077	748	969	211276	0cf155110f71a43081221b427d368ee8
industrial/ fuhs/hard/ AProVE07-27.cnf		APPLICATION		7729	29194	1	201	1	14904	11692	1614	463	520	77124	a948576641dd03cc33abaca38a6e7e4c
industrial/ fuhs/medium/ AProVE07-09.cnf		APPLICATION		33582	160817	1	4200	1	136464	6536	6374	2328	9114	423605	50ed98553825ac1825482c1496260592
industrial/ fuhs/medium/ AProVE07-16.cnf		APPLICATION		52382	182485	1	131	1	85834	87884	7609	700	457	472601	65057bcebbeecf6a7f3bc3fcfb2de009
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
industrial/grieu/ vmpc_24.cnf		APPLICATION		576	67872	2	24	0	26568	41256	0	0	48	178056	a69847fa52646cc8016cf4fd8e9d428a
industrial/grieu/ vmpc_25.cnf		APPLICATION		625	76775	2	25	0	30075	46650	0	0	50	201350	c5b44b10975f50cd32d40650a6a22d18
industrial/grieu/ vmpc_26.cnf		APPLICATION		676	86424	2	26	0	33878	52494	0	0	52	226590	7e9eba7a609bdbcf7c3a7e0f5c07ab04
industrial/grieu/ vmpc_28.cnf		APPLICATION		784	108080	2	28	0	42420	65604	0	0	56	283220	2679ca6fb11bcf9f950de09652ce7147
industrial/grieu/ vmpc_29.cnf		APPLICATION		841	120147	2	29	0	47183	72906	0	0	58	314766	1e81246225c81a67548d334d1dfcc24b
industrial/grieu/ vmpc_30.cnf		APPLICATION		900	133080	2	30	0	52290	80730	0	0	60	348570	8df6cfaff4435ad2a04367a34fb047c1
industrial/grieu/ vmpc_33.cnf		APPLICATION		1089	177375	2	33	0	69795	107514	0	0	66	464310	4c4d694bb911a7a13a7cb66a99dd484c
industrial/grieu/ vmpc_34.cnf		APPLICATION		1156	194072	2	34	0	76398	117606	0	0	68	507926	a27d41b3e10d867544cd2bff7d005be2
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf		APPLICATION		1111	3756	1	19	3	1603	2090	30	18	12	9786	b1a6497b6934405ef70bfcc51fa85893
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf		APPLICATION		1400	4732	1	21	3	2052	2605	27	31	14	12300	90581094793af5fc10d4e4b9a10259ac
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf		APPLICATION		1694	5726	1	23	3	2490	3143	39	38	13	14874	8d6acb9f6b752ad76c024133f5175c69
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf		APPLICATION		2010	6802	1	25	3	2961	3733	43	46	16	17668	8ca1246723b65c8e0ae1eddb535ce13f
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf		APPLICATION		684	2300	1	15	3	978	1284	16	12	7	5992	35a8bbabf9cb954216ad71150cb47290
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf		APPLICATION		892	3006	1	17	3	1283	1676	18	16	10	7828	738c5d916b76338511b77dbd47cdbc16
industrial/narain/ clauses-8.cnf		APPLICATION		1461771	5687554	1	601	1	4325673	961281	11051	354960	34588	14147618	74bd745b1c68e4deddfa063e58b6b54d
industrial/palacios/ hard/ safe-30-h29-unsat.cnf		APPLICATION		129128	437794	1	61	30	310376	124560	189	83	2556	1056806	7cb48ce6f0320bc88623afd3c5af4aae
industrial/palacios/ hard/ safe-50-h49-unsat.cnf		APPLICATION		615037	2098249	1	101	50	1488062	602029	238	148	7722	5069473	afc9746f162b3434bc79ea21bd1704d5
industrial/palacios/ hard/ sortnet-7-ipc5-h15-unsat.cnf		APPLICATION		105623	374254	1	43	128	269133	99944	407	309	4333	911890	0683489092a5eb0c881dd17c2c45d08e
industrial/palacios/ hard/ sortnet-8-ipc5-h18-unsat.cnf		APPLICATION		338487	1187589	1	57	256	849854	326098	798	544	10039	2886289	b3381a58cbbd64d5d90a3b4fcd44bf6d
industrial/palacios/ hard/ sortnet-8-ipc5-h19-sat.cnf		APPLICATION		359341	1254773	1	57	256	896240	346435	830	571	10441	3046189	409f4401e9e8b60ee665ac5567a13e41
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
industrial/palacios/ medium/ blocks-4-ipc5-h22-unknown.cnf		APPLICATION		146874	937242	1	417	125	791651	139269	1522	83	4592	2519136	8c6ad18be635cee0d986377c4d06ab11
industrial/palacios/ medium/ cube-11-h13-unsat.cnf		APPLICATION		454385	1367522	1	19	1331	911962	451911	2126	18	174	3191290	3a68d904935650d9da7e64e1ee7bae82
industrial/palacios/ medium/ cube-11-h14-sat.cnf		APPLICATION		508177	1529045	1	19	1331	1019705	505422	2413	19	155	3568287	7cc30e40be8c690e76c3fb158623be61
industrial/palacios/ medium/ emptyroom-4-h21-unsat.cnf		APPLICATION		69148	208728	1	28	256	139492	68730	102	13	135	487544	175ec3119584300988ad366c4a04cccc
industrial/palacios/ uts/ uts-l05-ipc5-h26-unsat.cnf		APPLICATION		85694	414657	1	403	190	330211	80574	910	103	2669	1073659	4b97e69214a2eddbe060a9ecc3dfbbd8
industrial/palacios/ uts/ uts-l05-ipc5-h27-unknown.cnf		APPLICATION		93573	439508	1	403	190	347239	88215	1000	107	2757	1132510	7634252332633927f116161c1beb6151
industrial/palacios/ uts/ uts-l06-ipc5-h28-unknown.cnf		APPLICATION		113583	649270	1	591	276	537293	107101	980	101	3519	1721996	ccc94758bbd09de3056ff3a062ddfd45
industrial/palacios/ uts/ uts-l06-ipc5-h31-unknown.cnf		APPLICATION		149210	761906	1	591	276	614506	141844	1307	115	3858	1988854	4211c3af8594e6cbb06d7f7e8978c614
industrial/palacios/ uts/ uts-l06-ipc5-h33-unknown.cnf		APPLICATION		172950	837466	1	591	276	666462	164950	1526	129	4123	2168190	6197e38464facb30636a5a3ad5b2f0b5
industrial/palacios/ uts/ uts-l06-ipc5-h35-unknown.cnf		APPLICATION		196689	912286	1	591	276	717679	188110	1747	138	4336	2345308	5e044c9f89a347ff1731180a403693c1
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf		APPLICATION		520770	13380350	1	6689	1	8710587	4215482	25225	15593	413462	39210884	c77a56af24208a6401c763e11a38de01
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf		APPLICATION		521179	13378617	1	6689	1	8714562	4209393	25257	15681	413723	39204907	5fe5b52b05e512edbe82e7d139ac7362
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf		APPLICATION		24604	261473	1	73	1	238933	6442	1972	2972	11153	744579	9158de01004aff62af67cbb9db5bcbbb
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf		APPLICATION		44095	542253	1	93	1	500227	10265	3051	5229	23480	1554259	f0f4556999ccb446384994a4148fca28
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf		APPLICATION		69789	968295	1	110	1	899512	16116	3707	6480	42479	2788367	ba6236c6cc840bb0208f73665843c375
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf		APPLICATION		106013	1598301	1	131	1	1491607	24060	5002	9194	68437	4617403	6fcbaf8c6c7ed0c41d8ac12258cafaee
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf		APPLICATION		151669	2465731	1	150	1	2309834	35167	5995	11790	102944	7141423	79c983ee7a6671238604da3040f85341
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf		APPLICATION		209724	3634677	1	169	1	3415202	49840	6998	14973	147663	10547961	580dc3969c4e46e50013253fd4ac9139
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf		APPLICATION		306095	6069108	1	163	1	5745111	66910	4878	18476	233732	17675754	0fbc00fde383cec371bb97d621c5e7e5
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf		APPLICATION		371419	7170909	1	205	1	6770451	92326	8862	23554	275715	20872419	776da55785376fd8eac6989ca812b102
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf		APPLICATION		482093	9676386	1	226	1	9152157	120945	10067	28986	364230	28195028	9a43349587a435e7109b46b3aceb156e
manol-pipe-c10nid_i.cnf		APPLICATION		252516	750877	1	3	1	500584	250292	0	0	0	1752045	5845608382cee59cce4973c50f16416c
manol-pipe-c10nidw.cnf		APPLICATION		433601	1291714	1	3	1	861142	430571	0	0	0	3013998	943fd86d922b13236c21a74c4f82b6d0
manol-pipe-c10nidw_s.cnf		APPLICATION		404382	1204273	1	3	1	802848	401424	0	0	0	2809969	7989bb134c6f50cb418407e85e733980
manol-pipe-c6bidw_i.cnf		APPLICATION		96089	283993	1	3	1	189328	94664	0	0	0	662649	8aeb1eb6b7bf22d54183762fb5b6410c
manol-pipe-c6nidw_i.cnf		APPLICATION		95863	283363	1	3	1	188908	94454	0	0	0	661179	15c4413e436aecbd4fcb1d7037e18abf
manol-pipe-c7bidw_i.cnf		APPLICATION		131004	387841	1	3	1	258560	129280	0	0	0	904961	3eac71f4fca7132b74d6d27cfa83813f
manol-pipe-c7nidw.cnf		APPLICATION		169072	501421	1	3	1	334280	167140	0	0	0	1169981	cddc29f8f256e39e02d9b418f68e802c
manol-pipe-c9.cnf		APPLICATION		15214	45082	1	3	1	30054	15027	0	0	0	105190	7f47eb2c5986b40772da3e38cf0759b1
manol-pipe-f10ni.cnf		APPLICATION		368888	1100500	1	3	1	733666	366833	0	0	0	2567832	b99a5b8844b4e1d2656eb1422e6e888f
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
manol-pipe-f9b.cnf		APPLICATION		183371	547078	1	3	1	364718	182359	0	0	0	1276514	c3e7cb16bced9d54ce489b6e95d89943
manol-pipe-f9n.cnf		APPLICATION		185149	552412	1	3	1	368274	184137	0	0	0	1288960	61e4a04a828a2cd33ae3f3dde54ef320
manol-pipe-g10bidw.cnf		APPLICATION		237485	705220	1	3	1	470146	235073	0	0	0	1645512	6ade683f6bfd116f49e58395d70ae6c0
manol-pipe-g10id.cnf		APPLICATION		159638	473596	1	3	1	315730	157865	0	0	0	1105056	79b8866c5f4be7f699958174c5be63e9
manol-pipe-g10nid.cnf		APPLICATION		217725	646228	1	3	1	430818	215409	0	0	0	1507864	d46e452956bc993f202d3b06fd3e858e
manol-pipe-g6bi.cnf		APPLICATION		23891	69895	1	3	1	46596	23298	0	0	0	163087	276c05fafaa0b870834db9baaef6afca
manol-pipe-g7nidw.cnf		APPLICATION		75496	222379	1	3	1	148252	74126	0	0	0	518883	a0303c742e981cc0d4711ad3ac66f146
mizh-md5-47-3.cnf		APPLICATION		65604	273522	1	4	199	118260	42021	113042	0	0	814950	3bb585fcdaeb772457dbcffd3371aab9
mizh-md5-47-4.cnf		APPLICATION		65604	273506	1	4	199	118244	42021	113042	0	0	814918	b0a37265834986ac9165bda379d279fd
mizh-md5-48-5.cnf		APPLICATION		66892	279256	1	4	201	120496	42781	115778	0	0	832648	8ab50418497c0326ed1ff5d73a4e24a3
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
mizh-sha0-35-3.cnf		APPLICATION		48689	204067	1	4	187	84694	36898	82288	0	0	609421	41d0118c47af202f6c4d6c3e9e8bdfb7
mizh-sha0-36-2.cnf		APPLICATION		50073	210239	1	4	177	86996	38042	85024	0	0	628391	82bf685774b76ba263c886940c3aa94d
mizh-sha0-36-3.cnf		APPLICATION		50073	210235	1	4	177	86992	38042	85024	0	0	628383	7e900a3d5c709e5167c14f906d6ebd88
mizh-sha0-36-4.cnf		APPLICATION		50073	210235	1	4	177	86992	38042	85024	0	0	628383	f43e1bf70d9ce8021bafd328efc83ae7
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	bdbdcaa81df700a6beb0f62dde612ba9
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	a3bc6e5867287d61e63c82ab3d8a4844
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	03e92abd50719ffb3da2b41e986c9d5a
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	f6a466c72f4f8727dda0aabdbbe355f0
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	0a19f92dcb720285a20d980734b7d718
RANDOM/LARGE/3SAT/UNKNOWN/ 10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	feffab3a110531eb2fd2a1a79e11bcda
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	4cbc233e7a70cae22bbfdd2b4008f16f
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	c0db0b493ae63a00f0ab9cc60e186dad
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	183c921e18805bcc408ca715f9914368
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf		RANDOM		10000	42000	3	3	0	0	42000	0	0	0	126000	17df6005fb09e0a5c9a1d88e4e3ac572
RANDOM/LARGE/3SAT/UNKNOWN/ 12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	baab5bee77b4ec39821ca7eac508e100
RANDOM/LARGE/3SAT/UNKNOWN/ 12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	3576a3cf7cfc1985034b5d4b3a46f902
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	c210a2e606daadbb1d4386048a71e2b1
RANDOM/LARGE/3SAT/UNKNOWN/ 12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	8d7f64a35c0c8e6b970d380bfdb49f2a
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	b3388c169ab5d49a74d975bbdbf2ea31
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	4e7f5c25a1af5225c3ae5cd2b08760df
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	65bb593760651b10c127c4b3276e73fc
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	3489273d9d670dd6da5e410852c60205
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	2b1b5cba2ea775d4b0eb4b407240568e
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf		RANDOM		12000	50400	3	3	0	0	50400	0	0	0	151200	ac206d26fdd8779eb6f2b1fce5fa4c62
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	4a32998e8f57b42d66014efe21307642
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	01285fb91a1e47f6ebc0bc6eca4b49ed
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	eddf23a9129879ac5af61d87df97c9d0
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	0d3fcd560d811748824b45b279f18880
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	7770dfa1661e274add02933decd27ac4
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	96ac67354b2d4edc2a83b4892dd0ca62
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/3SAT/UNKNOWN/ 14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	09c56b8f22055d8047e518985ef77900
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	a9b0b659393e65a898228098b67aeeff
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	40253b5ef067295a954d5da373fbf256
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf		RANDOM		14000	58800	3	3	0	0	58800	0	0	0	176400	b4b21d0b7e1c85f1ed2d73fe388ea563
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	a714fa4bd1373c24435aaf22c9d8231c
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	b6948329f00787361710da473154a8ea
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	5a6b74e0cbac6cfafc017348bf701f4b
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	0ec786bf459e33d21d020cc6c867d755
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	b323780c0efe36d916bbe48c23a818f7
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	bc18b3dcb5640a3085870d083d959b05
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/3SAT/UNKNOWN/ 16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	3ed6e5f5358c1fd3f163dcbb9450e91a
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	738d561654cbc7d1587a637b71302edd
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	487133af0320f59d52bd31546508fd57
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf		RANDOM		16000	67200	3	3	0	0	67200	0	0	0	201600	774d62294125db90f73d8b18ec29f4dd
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	d14279a52e06a00270e4ece8a857fb4f
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	a31d778f02686a6129c52bf8a3bcbfa2
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	829e6759ca030227d67c86b92c3743be
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	eb6bf34a1ded0d6ac9d6c9b7ba628c09
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	ae02373c0ed448bf77bcd57171ccc944
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	a97095b6dcf1b1abdc82fc7e5a3a4050
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	1d9454adc76495811d3ba130d2b8d41e
RANDOM/LARGE/3SAT/UNKNOWN/ 18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	0b73ddee1057244eb6a8d3ac4fd7781f
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	727f10970711b4154a45c3b50e2e1fe7
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf		RANDOM		18000	75600	3	3	0	0	75600	0	0	0	226800	f485347639f83ec94bb8d93787135581
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	e6c4aa9150c7e5a44a3dd14ff53afc9f
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	05f00f0c3f7e171627ff97eb0175accd
RANDOM/LARGE/3SAT/UNKNOWN/ 2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	f6ddf1b0f08bcc31521c4b74db5ce22f
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	e16a301b3b11f2fcadc19b12fcb8ed0b
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	68d6a1970f04966f07e2b02a79996009
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	7696351997fcc9a0c11830645b719732
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	8919b1e0a8b22ddbf62ba887cc4a9b9a
RANDOM/LARGE/3SAT/UNKNOWN/ 2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	3606a223e44ca7ebc5d996a3ddbfb35d
RANDOM/LARGE/3SAT/UNKNOWN/ 2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	648c8d820b622b84f63b74fa018c43ab
RANDOM/LARGE/3SAT/UNKNOWN/ 2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf		RANDOM		2000	8400	3	3	0	0	8400	0	0	0	25200	f790d28bf27d167da954318ad1a18e9d
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	2cf097c2e3f08e952b8382a74656155a
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	a2535194d868b4e0014d35a0421df6ea
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	94f2ca8c39053ec6a521a994d8a70291
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	526915dc72c013b3ed33744e623b5ae9
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	9d94109a874948dbc629e7a030616546
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	b76c43c3a4ebb25b4fe350a62b537043
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	2fdf3400f00d8b99db65500ea60232b7
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	ac6625145d68efca76f59e4cfc6c820e
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	438060a1be2646cf8b7b6ce135e188f8
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf		RANDOM		4000	16800	3	3	0	0	16800	0	0	0	50400	49df6b763f2da2592b10d7fad09e2c78
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf		RANDOM		6000	25200	3	3	0	0	25200	0	0	0	75600	682adf22440a1975a5efec3ca28f38cb
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf		RANDOM		6000	25200	3	3	0	0	25200	0	0	0	75600	5d2224f3d8577481fb818d6a750d12f6
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf		RANDOM		6000	25200	3	3	0	0	25200	0	0	0	75600	9b604e81393e56d82864199888f120ce
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf		RANDOM		6000	25200	3	3	0	0	25200	0	0	0	75600	f395e669823c1b01b74bf47c7e820b61
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf		RANDOM		6000	25200	3	3	0	0	25200	0	0	0	75600	9495def54e734dca859c56c910204a6a
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf		RANDOM		6000	25200	3	3	0	0	25200	0	0	0	75600	094bbc8049ac48071777e2655eaf782a
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf		RANDOM		6000	25200	3	3	0	0	25200	0	0	0	75600	7cb8956402a507cc73d79fe8c2c7c68b
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf		RANDOM		6000	25200	3	3	0	0	25200	0	0	0	75600	4f302a0a96331733d31d4d68d88fd415
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf		RANDOM		6000	25200	3	3	0	0	25200	0	0	0	75600	ded0a20d749cf4becf9e25906c1822a6
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf		RANDOM		5999	25200	3	3	0	0	25200	0	0	0	75600	b4ec0c2df22218bd519db808f39dee11
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf		RANDOM		8000	33600	3	3	0	0	33600	0	0	0	100800	355ff7ae526b221bc4c8d8e4e0eadc31
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf		RANDOM		8000	33600	3	3	0	0	33600	0	0	0	100800	554406faac1ee9debf7de31577421ee6
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf		RANDOM		8000	33600	3	3	0	0	33600	0	0	0	100800	9441297e33213208348519454e6efb92
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf		RANDOM		8000	33600	3	3	0	0	33600	0	0	0	100800	e2770daa493ba034d910db34ba341508
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf		RANDOM		8000	33600	3	3	0	0	33600	0	0	0	100800	6ee4600065a8b5657c5266726ecbe863
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf		RANDOM		8000	33600	3	3	0	0	33600	0	0	0	100800	ee1ee4ce24708e1154601d98d318621f
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf		RANDOM		7999	33600	3	3	0	0	33600	0	0	0	100800	6bf66283a1f602e5557546993c52c1e8
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf		RANDOM		8000	33600	3	3	0	0	33600	0	0	0	100800	af63667f47d0171fb9e14e0a190b25c2
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf		RANDOM		8000	33600	3	3	0	0	33600	0	0	0	100800	c44bf8e86de68afd8b13539ed87fd1d0
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf		RANDOM		8000	33600	3	3	0	0	33600	0	0	0	100800	5a4a01076ef9554c4c4991324b6100b4
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	460680b15ea4b6f4cb4765d23626d1a5
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	2936351992cd53f891ea98e5e0e8663e
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	9b4324a23c82753183d597b4a4c7c7c2
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	ede25cb155c6cf4ca4d7600faec2bb41
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	3b614b06e2532ea8a6491816cc6dd7a8
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	60b6e2588c02cbe8eea228421d953cc1
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	cd8ff3390234df6242528d108d1584c9
RANDOM/LARGE/5SAT/UNKNOWN/ 1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	59fbd40d503488bcdf45b7724d53bd6d
RANDOM/LARGE/5SAT/UNKNOWN/ 1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	e113edb96dafae9a32f84235b77a2595
RANDOM/LARGE/5SAT/UNKNOWN/ 1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf		RANDOM		1000	20000	5	5	0	0	0	0	20000	0	100000	79363fa796cb5f9a1d9ad7ab58b2c2fb
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	a1edfaeac2621d913d1c4fa9fc78f271
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	487c5503612c9b61998004f60168456d
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	54609dfda8487443dabfcd35e8af453e
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	6b9a37a79419867538c8285ea50dff79
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	28359db36bffb53d70af426463d1fc34
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	3e2c453febe9a82dafec20260d8edecb
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	30068bb62ff2ae5a4888c347460a4a1d
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	b60450275781a4bce2d80b1541942582
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	a1fc4ba8186be6b254ba81203aa388ed
RANDOM/LARGE/5SAT/UNKNOWN/ 1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf		RANDOM		1100	22000	5	5	0	0	0	0	22000	0	110000	8c169219b64992954a6c6431ec472521
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	38e0bd101ebf8f53eafa7d9a988513ec
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	b3febcd5ef9d5b37314559489b51c141
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	028affe952ec460796dd6a41dfe58fcc
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	4d7c374b44e6dc0e3274f37b66abba8f
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	2b259c43c2d565526fa8f71172751b7f
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	66fb9b1d9d1970f097747a014bb15243
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	a92f5808dbdbecf675a4a3e4cbc41fbd
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S211141966-058.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	9e692d77c0b05a1b536adcf4dbb49d43
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S685953260-065.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	3c731c817594d5a699b72cfb7a1ff2af
RANDOM/LARGE/5SAT/UNKNOWN/ 700/ unif-k5-r20-v700-c14000-S962875623-008.cnf		RANDOM		700	14000	5	5	0	0	0	0	14000	0	70000	dc58d201aad12c2725ed362695aa3edc
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	eb88883744268c4015fbf88194e85a82
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	775d7caa3d486b151a5911ebb89973a9
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	0aeb33d4615b67c4ba3e205bec8691bf
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	30e7a593e751ee62bb5b03787006ccc0
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	88b3ae0f7e2752f0b445f361629fc38e
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	cb3df87f6ea203a41951f0aeb36ba2e4
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	592fd8247e28ca9686c73dd35ffde58f
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S249585100-059.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	143712ca4284eea58745e182764b5b47
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S251246256-047.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	8f73ab57f6037e66eefb750c3e8213fd
RANDOM/LARGE/5SAT/UNKNOWN/ 800/ unif-k5-r20-v800-c16000-S315403000-060.cnf		RANDOM		800	16000	5	5	0	0	0	0	16000	0	80000	5bdd8d21d4edc82016dc7031e101a675
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	a0e1aec07865a725709061f3f17cc524
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	17b09148dbc69a552ff183cd5c8f891a
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	445a4153e94b03b5b26d24042b03c5d7
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	6079b5c5aa5b129580ea074d44eca93f
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	fd29fc2170c47e49781a555a781e5652
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	753f19bcdc2785a101dbb1ac96d61ec5
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	591878ac77c59e57a1598f2a38d0dcd8
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S661850551-087.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	8cc13233e4c2c3c435dccf0012fdfdbd
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S678706275-057.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	c7f3c844f4c0d844518712db07e3e201
RANDOM/LARGE/5SAT/UNKNOWN/ 900/ unif-k5-r20-v900-c18000-S743448446-027.cnf		RANDOM		900	18000	5	5	0	0	0	0	18000	0	90000	56d3d27e3897f3ba7df449d72abf21ef
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	083530c917e5930f85d1f6585a40e1fa
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	948d32b8ee8265dc795865cb56b9a64b
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	7d306f2c24913eb95b4eca32110fa72f
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	ad3646e0a0cdbfbd5513a638946c9f2e
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	c4a0eb3415818159d561f36b2a8ffa74
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S541865505-057.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	e3b225dad76097977d4c5c88712eb95a
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S547165541-056.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	c7b32920fad710a8e62fee8bc80010c2
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S74035269-088.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	b57ad66e53e78b10a33d8e64aa605409
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S814638510-058.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	6fac88499c30c65b5d674700418285bf
RANDOM/LARGE/7SAT/UNKNOWN/ 140/ unif-k7-r85-v140-c11900-S870840347-014.cnf		RANDOM		140	11900	7	7	0	0	0	0	0	11900	83300	a5d5e4fa8cedb12d5680a53a31f09411
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	f5bbeff2cbd29506603dd9467e477360
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	f53260962d7c8afd7ae82ca459f22f43
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	33aa10492d14e1883d707891a0a1cdfc
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	db4e49ea1628a563e13565b21c6502ef
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S285713182-059.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	a43cbdef3a4536def8ea28a7d3ce3c97
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S327274323-044.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	828620c36787edb17d919cfe2c324682
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S432776913-077.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	7added98d83a731c0c62b4e7cbaf3442
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S566590366-099.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	af242f12cd81864273d9a43871d67b92
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S592525179-032.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	7460bd7d43551ea81285a6734d727c9e
RANDOM/LARGE/7SAT/UNKNOWN/ 160/ unif-k7-r85-v160-c13600-S91288590-071.cnf		RANDOM		160	13600	7	7	0	0	0	0	0	13600	95200	fa1c9f583a9135f82181313be8dfbb29
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	5f6d9d113e535105e77af29b0e165b23
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	926573baa883bfadaffafb33f2f57748
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	680f1c08894c7336e339abedaa2a15cb
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	ce4c4bfdd2071e51446dd0a693e805b0
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	e77e91a0bcfa213f4da3e00139d8dd15
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	298c47e7c897264ddc867921f7476e46
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	c7e600e65327a74ce4dc4cc40e37ba60
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	bd2ffd9bc7cc85da4d9e7498163745df
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S907861678-077.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	3d095d003b98913e818830d59841a8fe
RANDOM/LARGE/7SAT/UNKNOWN/ 180/ unif-k7-r85-v180-c15300-S956556686-037.cnf		RANDOM		180	15300	7	7	0	0	0	0	0	15300	107100	acdedd9b500b479d333013009842065d
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	95130954abd8400708fa3e3db5d60039
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	7df25975bd52e28f5eb180dab9fc29e0
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	382f60389aa2be490306466e5f9deebc
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	d3e388145b1dc90e0d73a294f0c3ce44
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S266028630-005.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	a707a7c29825dc72fa3ef0fca06c3f00
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S441484366-048.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	b6119f642cd28b8170b8f409c6616618
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S452919966-071.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	5584bb498091ab0373fd0be3ad8dc940
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S522321670-058.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	925bc133251a0b8070d62549c0360fc5
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S942507261-096.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	4f6bdfd00a34ed543884cc191900870c
RANDOM/LARGE/7SAT/UNKNOWN/ 200/ unif-k7-r85-v200-c17000-S948914005-013.cnf		RANDOM		200	17000	7	7	0	0	0	0	0	17000	119000	8e7038f460a2090de0c9ec52bd5a121d
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	79b21fea94540db2568097a6c80690f8
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	88d4611d108004ec1f24e3826a831460
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	5adac1d8579162dbe20ef9795f561831
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	bb1339ae162280016fc37fa2e91a7c5e
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S193214747-044.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	01b687d69c52888789968aa62c5caeb5
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	fd254436f3c419e09066b64a7ac072c2
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	517a75d68208490415f54c6427b40d77
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S318878687-017.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	08262d4364cee07369a2b1aec963343c
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S375588147-050.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	7f520cacbc1966b43139f7a53a60437c
RANDOM/LARGE/7SAT/UNKNOWN/ 220/ unif-k7-r85-v220-c18700-S886725553-011.cnf		RANDOM		220	18700	7	7	0	0	0	0	0	18700	130900	149f4a347f3f97737dc0646d2caf1180
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	3cbdb12135a22f8cc0405b84f56b2b22
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	7d1ad487c2fb43d49523e96ef25c43ea
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	ba4dd6705efff0f7954eeaa845a5bab8
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	c06f037558f89bd433f3640c2e148f97
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	7978035feeedb8c4f26fadad2c608014
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	827e988c6cf21e8a9c90f9f21d3beb6e
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	0b7c656709bcc63999a07f86368ab57c
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	53f64d3919c2bd6a89e2520e3c5780bd
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	e9f4b9a6985f9474c409accc4dab158a
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	e6110b5edd373bb12951d072e14f505c
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	aea037edf2192f628decdd3193ff0d42
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	5d7bd014f243a8ba433df6a7b547cbaa
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	e81ed5c11d3bffdd04a2753974045769
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	6324d57907fe9330330d9cdcd71a4730
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	6253dd31bd16eb30b646e4014a5ca88d
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	53069fa4d3b9f0f792df2e9bdae5662b
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	f099d7c4c7a591bc2b090785989ddd19
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	d341022d95ddbcad449a00c47578e9f1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	5041825f960f1b265cdeb6a449c6172e
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	f4b8d839b40ecfc6d6fa55a34f75fca9
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	2e40295bba29f3b31b5d5a615b1b160f
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	720983bca31f006417885890df90a951
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	ed6fcf5f29f5b190db98674f0404abc2
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	d645722ef726f8347e5e1cd19bda8fdf
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	a3570ddee79c19b1c54131a205337743
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	978a693c176682b07f74cd4acf1b2ac2
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	29a186a96c562943a29f8d865fcda20e
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	0d6d5d5399446131b06db17642f36592
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	dfd8633a4f173899180c2a33f1de5594
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	cf49ce63274aed23e9ae314dbfe30852
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	fa87bf22946652bd235c5205438c2d39
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	a0444a7552e36138b8c3b45356eecf6e
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	647005b2285214f4136823936a28bcc9
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	147f9c942ba89935aaa4b8c99ea683ac
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	f91fb9cf218ac3f77f20099d617a2bf9
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	a5462f4ed0be2c72f8dfc94f9311f583
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	69b9fd52ab448c99d778e33811fd6518
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	e8e7e26f525620bde52dee4b2a5f6f0e
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	bd1e8bac20c24526524d34ea2c494a05
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	b892d03833c64865c28a6c109f19fcb2
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	b397531a5b47895d047912125448cbcd
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	91e05b0ecb05a962d8527635e6de2e78
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	6b9d9c25eec439b73e50a5fc031019ea
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	04c00558435f25dfb5b6e5262d4684dc
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	f4b3f375641fd9718c333ac8bdda10dc
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	47eb0f54ab564eca9e634c7e5d4ea4f1
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	cb7c78e2db807d1456447efe0ef16fcf
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	f67f090e24644066ce5872fbc256498a
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	0370c3395f27638ffb4005ffcc836f58
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	195829daef01dc74526b389936ef96cc
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	0c6dae1feec9774fac72f3ea3b150662
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	ab528a6ad10c0959e2d17075599d3c26
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	19cceacad52a786b8f9d29887aa918f2
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	b466b358793a0dcf15cdf46533518f73
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	cc65c4677bcd52e268abf185559aaea4
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	074d3c53fc7fcb6f758396e5d450cb42
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	d816900b718754e89a88330965d80e86
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	23914e10b601e89075d5cbe23a039c20
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	b036614b8a0cd434fa1df7a69038371b
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	f77bf155457eaab086ae39f525f81379
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	c369517cece9ac5de13f6444259c5dd0
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	2315ae7c52f58a7ab05069e081d5c3af
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	8cb1176508e2efdfe13581d28c3b3032
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	54e149b7aa0d0382dd802169940f6ffe
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	69b797da312e506f0ab25c6b8dcfe4ab
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	6fb0ba561e085817334f61be44abbbd8
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	7ead389f296345f5890ecfc4b085f8df
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	a2cac78f4268ad770e0a9e5d4a9fdb69
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	fb88daaef532d2aea4a43cab65510e36
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	92eaf07e43795c59dd53e3c833d9e0f0
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	855b59e9a0f8a08a40646aec3f122ba2
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	e4beefd25957794efe8088679c7fff55
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	7495f98ae37985dd5ad2be6175c3d801
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	963b100dc4b220203d759e4d96e6c55d
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	14b591d0eb90ad9845c9a4137eb8ce97
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	807de0757f2dbadea1e7b17f93f9b484
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	737f90cc4667953389f21d8a50271567
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	f50ad9abb19635b49e2de66215f8fa56
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	33b307e970060c9ea54050d6d257eed0
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	dce3f3d28c96d2da08ad88599fffc85f
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	4cc7ee2f20081e6ebd36addd568f2c4e
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	890aea0df389e5329db583f37e858c1b
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	95e50be0ec36bd6dfa5233022c3ad7ac
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	bee6b22c61c85c79429fd4c1adab5451
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	e6458c1749be20cdbcded67df8cce1cf
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	0b959375755b7be8d72e0ee6a403232e
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	ae01fd57ec6a595afedf29818bd4a62c
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	480eadd67693b734091a7d5840645722
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	09a6dc57cba44ea6f55eca37108c958d
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	fa9334576b7ead7d32e2b64d3b23241f
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	6fb9b4534b8680fbd6cb5c0187532027
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	2b606655a01fc0a35cd7131dc9f54b92
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	11db2aaf72f0cb9c260a5127c4f6b388
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	2937149ca8da560a9415e9a967cfab27
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	1d9e0ed32c3bf3bc5fbb21926c01a19c
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	4a78ab70ae5c4ba56ac4f88e429d1c79
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	0527554bf26e85456bf4748c19812747
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	534584fc51d8f0ef0254b8dbc8353cc1
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	ee6ebc8afc6634471ab0e2f554ddcb49
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	a3ba32614e3b11804668b06c2afeb296
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	ea276ce6a9a917d7362e239e9cf3e2f4
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	a08fcca560a80877927507a2ea133f40
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	7a99883e1d20acc28491f28db1ea5f95
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	4bfed38592d845032443637a02e777c6
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	1cdf960645ef22947407473f1df63e0b
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	c8ce7aa8b898c6cd15227b0e8c297c77
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	a1a4d8d82b0d4daf47cfa00c0df86ca5
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	ed095e38b0a3e5af1f48e3823e5c45cb
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	589832b31b8f1cb4096063d76e2202cf
RANDOM/MEDIUM/3SAT/SATISFIABLE/ 560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	638869086f20650eb09f2e935bdc737c
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	a68afc9bf021c353745f280b16667e74
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	a64f61e36a26258a4e57b34bdb756185
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	9c1fb07d5218acc7d1bc3d4acef5e909
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	747eab6e16fc5e29dfb421f806361704
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	c80ac2513e7d4a317f260e6d71a9bb08
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	1510e2158cc54ae2963f5611496bde02
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	94fbc938c49a6d0bc295232a6f2b8a2c
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	fe0a666da3389b49d8bffa123f8cecff
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	0374a56a4be774bc099f027bd9c7fc30
RANDOM/MEDIUM/3SAT/UNKNOWN/ 360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf		RANDOM		360	1530	3	3	0	0	1530	0	0	0	4590	5093c545fdc7c5094d7e8f31c2f6e759
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	a8c5a2cea66d67c637fb35d0276c87d0
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	01d386c590bcd2ab7c9aeb6450815f98
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	29b15a76839bb4e367777518dfae2822
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	cb595cd6bad1f0c5699baaa892a03467
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	b11978b0ce5403208988a0dc3b9e35ce
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	8f761d7a83f8ed9f2fb1562cef6a194f
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	9a70ac660abd105bceac08fd27643051
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	19585c969548ec91e42795356f5c76b1
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	abbce28168cbe1770c6abedb21f913a2
RANDOM/MEDIUM/3SAT/UNKNOWN/ 380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf		RANDOM		380	1615	3	3	0	0	1615	0	0	0	4845	5929dd8b325f87d1ae10eb412c236ac3
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	d12485f50a62e2b98f775ccf4d7988c2
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	5ab9251cccb4c72968393b6f409a56b6
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	12036b968a11f05f0115f39f0b6ae97c
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	e0b283f050c44779317a891a591f5168
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	1b93ff755afc24c2ba01a5f3cf1dc449
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	ad000d059aa01091d195f8e0c8f346f6
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	346ed8e054c5e49a4baaa61df35615f1
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	b2823982c36e6ccfe58a4082350a85f9
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	befd6412bc726e8030b70acee890aba3
RANDOM/MEDIUM/3SAT/UNKNOWN/ 400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf		RANDOM		400	1700	3	3	0	0	1700	0	0	0	5100	81069fe0820ec926c4489d15e9670c03
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	09d6fe3a1e05d3fb5871651e475eb37c
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	096475bf0bd85d9e44aabbaddceca0e3
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	6a1b72e9c09abd09fd440dc53a7d41a8
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	33b4b8b17ca915888003039597e2272b
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	4b06db6948efef167aa1a27d1aa9c8a8
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	0dd96c632ca80e24c12df38646d2de2b
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	2d23364f7226a1447867652ed6067cac
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	cec2f389a8f4289974cef5cb69e9af70
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	3dd081bf1c5f1756e6172fad5da9506e
RANDOM/MEDIUM/3SAT/UNKNOWN/ 420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf		RANDOM		420	1785	3	3	0	0	1785	0	0	0	5355	2515572a613e65602da74910f5ce3b7f
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	c6ff311280a6d1a0e6f0a58edc326a81
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	c022e76aae9fa6802d112de6ed8b76d9
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	7e6bd83d547ab2ddd279310a87244a37
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	db2a5eb5a2e705c514d4161cd8870d93
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	690a5fe43a37275cc4c39d3d0d23f423
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	348784df95efc4633396948fc1376145
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	a8388760bc12fcaf54760067730a9d5b
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	7bb141e5170278fe5236c7e91edc07cf
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	19d216b508c325e77d8047e01d28266c
RANDOM/MEDIUM/3SAT/UNKNOWN/ 440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf		RANDOM		440	1870	3	3	0	0	1870	0	0	0	5610	cbe223815ecb4175f94b654d971303ac
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	ef8baf42456f710e70f6a8e764cf7030
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	64f6e5f7d0993d9696f70154b17a6c06
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	c274543915c4e3a4d5b9fc155f904448
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	243926b94d1dc7710cf6791cadd5350d
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	642edeb8ba30ebee256f5f53448e9be6
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	2a69d64bc0469e28656e3317eba96ba6
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	1c16225d4e571234b78d9dbdbb77e015
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	c31ae01e49038ee90ca261273074a0e1
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	8ca9dc2aaddc49b665e7ef3ce67ef4f5
RANDOM/MEDIUM/3SAT/UNKNOWN/ 460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf		RANDOM		460	1955	3	3	0	0	1955	0	0	0	5865	167b9c9b8ef7174228a6613d96e94620
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	f27b62ac5d581ce44726630650722106
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	7e1d47339fe7e93ea029abb348893d97
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	ce31bd93f3110b9fcfa2521eb95c9c79
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	508021853eb1f7d157653d1ea0c941a6
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	e64132f69b48603863762aba5004d683
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	f428950b8de23fd3ae8c7cb75dec2d44
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	8ebd6c8756a6249928946b3a588cd94f
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	ec21ee53dc668007eeef1fc2466b7011
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	fad8593fd5ac6353581d4728abbb4a34
RANDOM/MEDIUM/3SAT/UNKNOWN/ 480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf		RANDOM		480	2040	3	3	0	0	2040	0	0	0	6120	58a348483ec5f90a0278e7c47824496f
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	8db311cabf8fb8b12c84c250d98747d5
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	2cbf25bf3c1a8a645c8c658cff25ce06
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	c9e74b633df5135d26c194cfafd328d1
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	5b5eacd69579443fc2a1a78b000c06ae
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	d656d2954192ff0afc1fa92de39f8309
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	a61c5a47056b58e65936096833df1084
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	9d5d7164d3d5840805b65af8448e9499
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	009e989e2755ac440b0ff3df87428440
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	9571d20b2c85f2916982e3779a8bfa58
RANDOM/MEDIUM/3SAT/UNKNOWN/ 500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf		RANDOM		500	2125	3	3	0	0	2125	0	0	0	6375	089e945986e09301802f8b3ff2e688f1
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	43148ab7d47c376d341b3329c22899e7
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	d3e536fdc68bd7011b2698c42fdf490b
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	3c2c13464ac33c271a6f6b3146a6fa75
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	7d2d3634187334a9c4b4ef97daf4cc0a
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	49dc86fbfdf68b8af633e3ee1aa2a9e7
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	ce26e93a4185cf6cf29bdb9810800206
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	8ac945fd2d00d7595dd6a09603bfa3b0
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	b48cc51eec7acfdc5e1646bdd0ea863f
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	e73deb485f74364d96363116560553d5
RANDOM/MEDIUM/3SAT/UNKNOWN/ 520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf		RANDOM		520	2210	3	3	0	0	2210	0	0	0	6630	4bbf0687a75cc815423eb8afa8e9d43f
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	2974efe3ed57ce21d588fea959cd376f
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	385aa4c60934b13e455a567c42e0ab0c
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	16ac45f8099e9b8d91370787f14bd295
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	9b9652f9e46170eb2f25adac2572c7eb
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	12366f275d7d2c369dd8888e0db58ba8
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	871c21efb71b729632fed1e9ce79057d
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	a3de3746a6fb6968c798f1ba3ad0f77f
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	45c0b4fd7394c92818ddec03e6b5f3f2
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	f703653b42bdd3cc2ad2ea17949e8d3f
RANDOM/MEDIUM/3SAT/UNKNOWN/ 540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf		RANDOM		540	2295	3	3	0	0	2295	0	0	0	6885	02a783b8e731a7854fc4f9514bffb4d8
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	871cffda16697cd39cfc1811ad38c0e4
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	73e1213f2abc37c0c09958a5583a1b69
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	123ef46409ad575b494b818820298c6e
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	7a50a8aff0c6952edb5e8fbcf8bad297
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	b8930473062e759b42f76ae6552762ee
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	1c26be7e8f45c396fe1a5a9f4716cff4
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	7c267c9186cddd61ecbfa4c2ad3e3281
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	dcd5f1c3fe8ddccf921fc006721ef352
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	40cbc7855271d25e9f7a8a91ba5b6927
RANDOM/MEDIUM/3SAT/UNKNOWN/ 560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf		RANDOM		560	2380	3	3	0	0	2380	0	0	0	7140	eba6bb50fff28076a45b86724388a765
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	50fb19065f42fe4981158c7f4fb4e31f
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	f204ae5b9db3d0db644045bd9b064e28
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	be6412148c18a5066c4c7814d492498d
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	ce585ef8de51ea191ea179c0c20f7f7a
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	8824df59c7b60dfa0748d28bf56c7110
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	81856c3d33444497a06d91594d737387
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	778bc7bd516c886b7617280668f06051
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	2754b3d0d46124bc4b807ae18c388fa5
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	ee045fa3fe75a551172052e915c97e36
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	f970d757930d05086c1a20356ea57d99
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	2a9d7aa09089c785d286d069b028c319
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	c648d80ef4f9e62ead1eba3d863e448d
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	667156c9cba21970f1c7c0c7e22c36aa
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	e8bef21b1523a2570095f6899127c7e2
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	96f5a7b5e0d4bc00c89d90487d4d5b74
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	92fc8bc430de4460c33b884d5a42779d
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	d9f4caf675a8f6d697dc5efdb9aa8c41
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	bac537400dd7c59f04b551112719781b
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	08970150c744745078d9b8c7ec1a3e63
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	b8c930418a16f3a24b4fb0e57c45eda6
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	a3624ecf3a9b6c1696f882edd6a86cc4
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	9d5cdf2497a80c47fde0f7ee1276bd77
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	041948145db994bef4ef7befa5b1ff3c
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	0fb27214473ddc5f7ac63d69b0565022
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	eaf4e52b2ac22d87cb6a2c76b08ea88a
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	af61a6a11d784bb0b80c63b360b179f6
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	f7bf3a504486cf138c26426940975d5c
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	ad0fbcf6f5125cb9c05cf259388b367e
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	d524fa9dff1d70d9e0d930212049605a
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	f938cfdd4478a8554923c46697238b9e
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	c089a210f28b730c7ed75b9093204955
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	7e03cd843234dc424776ba0f93603598
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	58887e5330b5ce04c1b9dbb757401af0
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	ced561befb08624b32eaaf27530007d8
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	0cd2dfafac072edecb100e7e97a51fc1
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	41ed6a246c10a2f9a4d7ddf7edc0236a
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	43e1914e2baa4366249337eaf6ba76dd
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	ea01dcc63f842c424e5e6a53cd5384db
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	f2a7fee26e0cf07e97811f1061f30ce6
RANDOM/MEDIUM/5SAT/SATISFIABLE/ 90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	953ef05f5b840ab4ea419c3c099363cb
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	e85d34ddccfa23997bc15509ac656c11
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	8ef5d3e404e3cdd2967f89ed54f9c238
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	6fc5e3007085f071badf6b78cd2069ba
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	d4efa5a6235ae8f332b85eb028bc13f2
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	320f330386aa57359f97f15f784cbd07
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	e34d6d6a0a2cfdccfc6dbc62facdd555
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	24020efeef97a2534de77350f664299c
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	1b6dd4a4bffa25ef2a1202202724759f
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	63a7ffd07e7685b33dfd464b13ef6936
RANDOM/MEDIUM/5SAT/UNKNOWN/ 100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf		RANDOM		100	2130	5	5	0	0	0	0	2130	0	10650	df5d3532662b9ce2690eaf77166028f5
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	be53d6aab4327d2095ad021029e1f91d
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	1434f33cdfd0e0bf38ee5caed68ed069
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	d2ecc9d94f1ba393552dfdf11d60f816
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	80ddc27a2476c7a1f18f4f644f3f4389
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	57c4481d80dab225feb097c0bb7b33c7
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	834ef435737da3a9d77dd6f3e79becea
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	78177f2db9eebc5964f62181ca200222
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	18acde07d0986af307d23032d1000e7e
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	424ae5e08db4b5fb6ed3561627cff998
RANDOM/MEDIUM/5SAT/UNKNOWN/ 110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf		RANDOM		110	2343	5	5	0	0	0	0	2343	0	11715	ab0fa90b59935117df784f9568093dd2
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	82e9fd89190319a892b6aadaca00b0b8
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	210d16964e48e5c70641d6fd32357cb0
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	b5e7cd1135ca2561f4261d81ae9e01a8
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	b980518c5f881f8ca0028e115c3772e4
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	e13634ab61f0f03aa1f18900849e7462
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	f5b73d46fd6886685677ead6f3b9d50d
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	6ccf28464d128bfcb3d3d46c37a4ba0f
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	4003d88d5e738aebe7112be499f87bca
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	4df98fe109038d9163a11298f0c496d1
RANDOM/MEDIUM/5SAT/UNKNOWN/ 120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf		RANDOM		120	2556	5	5	0	0	0	0	2556	0	12780	01229a71bca95743148fcd5c63c4afaa
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	5d0778d9bbd17c145825bd8d03b4a06d
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	b3cf2670d50b8679bd962b141ac1ad44
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	36a082b6f84518db1d26c17edc1bcd0c
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	8a9e5a10d7167b9edb4334092b7b4912
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	d29c11770d6610975a34617c3f7e4dcb
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	f605382d61971a127354e33363a04ef5
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	3547ce771ce0dc5a0812b6017fd47b75
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	b463dbc968e6641b221ce623da961f00
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	13e9cb633f9b051a78e57cdfbe73ffb2
RANDOM/MEDIUM/5SAT/UNKNOWN/ 90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf		RANDOM		90	1917	5	5	0	0	0	0	1917	0	9585	5cc6f84f110f3d0af812ff76f6bf656e
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	5b03a3f3b068376a14f73a415b34dbf6
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	f01a357506e46fa7e7841ae96b5e63ce
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	f4161d2880fd7bbc6678916071117669
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	bb2737f1555379d7532a4714c236afae
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S178043354-076.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	1d34e3663c561a89d93a195f39097223
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	1799a7c7de2a9b5babcc69602c6767d5
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	769b1d78f1df1ca341c4fa4a9e3927fb
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	420131c044d6c3aad62b65241fc230d6
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S326668183-079.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	bdf81229b44197dff4efee16f75580b3
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 60/ unif-k7-r89-v60-c5340-S746386799-050.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	89411b5855708a1ff19d84ad79be00ff
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	4f3aa79447d830354123007662a4d040
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	ba952995d391e0bb1228846b7000ce02
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	24a651376c44fe64c4aa5e817f0a506b
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	6923dc5685633b9bbf405cf2133639d1
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	54a96505caa013e850b03b843814f5cb
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	88a7084af5dd17420de308796e7679c8
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S400088537-049.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	a5c2d5c8780a4ba3adaa2befd47c4ac7
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S432895007-058.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	b337f0a085d20c5033cb313ec673bed5
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S445910413-047.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	94792c8e1ea4b54b79fb0ca4e6f889a6
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 65/ unif-k7-r89-v65-c5785-S709270457-007.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	7d0170c2c90b6be41806d4509f495e21
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	66607d8f2eb60a58f4b25cefb4199529
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	51b5beb62ba2ddadbcd03c7139c7c934
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	35904e0c8ea78accb6323dc68b496f54
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	9e27250481876e41a2264caf2169cef4
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	f50dda60e1e45f85b822b6ad12182f2a
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S284173264-081.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	e8f7903d690618b3eb32880d64fd6acf
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S512486692-050.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	751cca0f1a9f3ec1e9287cb296cf29d5
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S603077945-019.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	ba7fab3ac0ce1b351c2d42cffabe6360
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S754967851-033.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	ca6438c2650e1f6095e022fd7ba3c2d0
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 70/ unif-k7-r89-v70-c6230-S834811574-084.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	f47b98142bda69eb96f4457b8b3ad814
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	3a21c2076cf8c7350d1388a742c488ff
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	983c11fe9a9bd4b15fdd321cb1aaf013
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	4c6698180e16258b697babf4cf0c76a1
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S342542912-045.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	080829f316d0d50a199c4a4a09021eac
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S51205200-028.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	28daa15bd31978d0b42959b6abf4709b
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S72273909-010.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	f18bbe79897d776ef5b8ed738a35d3cb
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S803029538-050.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	eaeb9d206baf9bf4b9f4d0bb3c9943b4
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S803323266-025.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	a11d406e9a87b0625224174ce3b9eaa2
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S819692891-023.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	f025101ee357b099f3b22dfcd8620ffb
RANDOM/MEDIUM/7SAT/SATISFIABLE/ 75/ unif-k7-r89-v75-c6675-S839983432-073.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	61fe438f75f15b75b4359f74a1691313
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S108799362-035.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	a1a7c44aaefb9d151590a11e58c71aae
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	7e88818ba4d3f0eeeb0b87f01ea89e01
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	a3f3fd0be9c576316fd52f2f017266f9
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	5a3058eca6d17c7e905cfeaf908c8bc0
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	35065935e71c2ceef94b54d497dccd31
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S197260469-019.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	c0553d7e475dba3d28dcd703430a5f12
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	9c2e94bcd290d34e0b2c0cbd91a44953
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	cb1f4edd1dcc152ccd33775552af7b56
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S528193823-041.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	c154bca4589ab170cd9a9501250bcf71
RANDOM/MEDIUM/7SAT/UNKNOWN/ 60/ unif-k7-r89-v60-c5340-S703461330-034.cnf		RANDOM		60	5340	7	7	0	0	0	0	0	5340	37380	5871895160b61e33d95658e3a61619c3
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	1a36742e374953fce9dd773ff1e5ac20
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	166fa796e9e4e8cad989cc4a86020c12
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	1971ae5cb46ad8bbc8e3b82792c4f819
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	559244527104bd6e88d823e1ca1028fc
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	42a0dcd09b57ad0eb87d8e8da7b56375
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	16e4b9d806035068b91886cd39d11cb8
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	0f4b7bee4959ec0290a8262b27584313
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S254828838-055.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	49dcfc34ef97670988a946b0575b679c
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S599916448-096.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	5f04fc92392bf2bf11053ad43646135d
RANDOM/MEDIUM/7SAT/UNKNOWN/ 65/ unif-k7-r89-v65-c5785-S857870897-089.cnf		RANDOM		65	5785	7	7	0	0	0	0	0	5785	40495	c58d3e32f1903c03b844745c17ddeb30
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	1640cae151285022c447edfa087f7ec9
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	d43ec7420ae06189526d8ca748662c3c
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S184801254-020.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	c42b25ec5d03f5e4d5a2a3426147c1d0
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	febdf1b8ba5bbd40107a806ae2296ad3
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	fe3309ffe1b711047a9fc636f2702995
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	beb8ec5deb81221137327aa09f80e330
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	706f9f438d5c8feea78ebbd738aac840
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S289069074-070.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	6d110538c6795cd651a202a3fd6fda7d
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S358640743-023.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	093008c1ff7003864425a0786735d960
RANDOM/MEDIUM/7SAT/UNKNOWN/ 70/ unif-k7-r89-v70-c6230-S884764237-004.cnf		RANDOM		70	6230	7	7	0	0	0	0	0	6230	43610	96ceaf7a09cf1a67341c76fb72be7203
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	bcd262fcf09db79337137ea25c65ab0c
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	699f3a80f674e8c0bc8bfc06cc4ce0c9
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	8d13747fa44bd7d02e1fc5ca9353af8b
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	8e5b8ce1a4edfef4a97a3ad9e571c97a
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	a49ed3ca5dd834a3f2dad0ab32e44184
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	89d430115ed57f7d5b6a0f9a2181e3b8
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	300c8ae729fc4cfef7dfe1b29765ac92
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	73f3f0cb39ec906200b237ac9eb2621d
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S400162545-095.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	310ed6d0d077472e2fa695d41b2a7009
RANDOM/MEDIUM/7SAT/UNKNOWN/ 75/ unif-k7-r89-v75-c6675-S905029262-097.cnf		RANDOM		75	6675	7	7	0	0	0	0	0	6675	46725	17cdccd311f05672fec0c4cfd8164ebd
schup-l2s-abp4-1-k31.cnf		APPLICATION		14809	48483	1	33	36	24983	22191	589	403	281	123522	2ec4066bd8381455b1990aa40b382ff0
schup-l2s-bc56s-1-k391.cnf		APPLICATION		561371	1778987	1	392	142	843213	908640	16428	6651	3913	4570195	1f1dd0782ec95ee5e6d7a06f92fc0f12
schup-l2s-guid-1-k56.cnf		APPLICATION		98746	307346	1	57	72	178795	120630	4935	2464	450	757661	8945850ff5a1fb30f0867a5172da0b2e
schup-l2s-motst-2-k315.cnf		APPLICATION		507145	1601920	1	316	158	769140	810244	14181	5044	3153	4100982	ae1df1f35073d9127e72d2baa74b497d
simon-s02b-dp11u10.cnf		APPLICATION		8513	25271	1	11	22	16216	9032	0	0	1	59561	bd35ccd857138682818061a3fbcb7546
simon-s02b-k2f-gr-rcs-w8.cnf		APPLICATION		10056	271393	2	8	0	270136	0	0	0	1257	550328	5da8899feefc5a4bb9db99e983e30f52
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
simon-s03-fifo8-300.cnf		APPLICATION		194762	530713	1	11	4539	407666	101726	13487	1199	2096	1200865	bc88ff447c824a634465ac9483a47d5c
simon-s03-w08-15.cnf		APPLICATION		132555	469519	1	15	37	379993	42167	18997	11195	17130	1146761	169fbc07424949a1f20859053fcfe192
vange-col-abb313GPIA-9-c.cnf		APPLICATION		6228	484871	1	8	15	4651	1	0	0	480204	3850952	0baefedb2aaa81442743e253487854d8
velev-engi-uns-1.0-4nd.cnf		APPLICATION		7000	67586	1	58	1	56649	5901	437	591	4007	190944	700f8e86139a93fca212e22efa0f7d2b
velev-live-uns-2.0-ebuf.cnf		APPLICATION		14628	161477	1	88	1	133719	16973	833	676	9275	460215	67de5cf23f11aa400b48f4451ee5f362
velev-pipe-o-uns-1.0-7.cnf		APPLICATION		24415	711050	1	161	1	605924	86384	614	475	17652	2091630	b7df25f653e1e7a9ffcd39b3231809e6
velev-pipe-o-uns-1.1-6.cnf		APPLICATION		17710	304026	1	131	1	268354	26401	173	120	8977	890580	d986f0b849e7c714ed5d3a26373567af
velev-pipe-sat-1.0-b10.cnf		APPLICATION		118040	8804672	1	340	1	8252265	456959	620	552	94275	26208080	a9abd96191efca8626c02160761beedd
velev-pipe-sat-1.0-b7.cnf		APPLICATION		118040	8804672	1	340	1	8252265	456959	620	552	94275	26208080	612845a855119304b698a4b55aed3089
velev-pipe-uns-1.0-8.cnf		APPLICATION		35065	1332773	1	178	1	1290115	14508	256	216	27677	3936683	0767e5dbf6844720495e9eb5423112e1
Bench name	Best results on this instance	Main category	Sub categories	#variables	#clauses	min. clause length	max. clause length	#clauses of size 1	#clauses of size 2	#clauses of size 3	#clauses of size 4	#clauses of size 5	#clauses of size >5	sum of clause length	md5sum
velev-vliw-uns-4.0-9C1.cnf		APPLICATION		96177	1814189	1	2216	1	1178665	560157	5491	4739	65136	5280501	0c9a15d0f561e9d1bb438b04ae3c31af
velev-vliw-uns-4.0-9-i1.cnf		APPLICATION		154309	3230738	1	3625	1	2024994	1081436	8866	8692	106749	9429252	590cca3a58efdeb1c95ef988a53daa1d