SAT 2009 Competition: preprocessors 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
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf		CRAFTED		3073	19785	1	4	65	0	4344	15376	0	0	74601	4bdea1a05617ff95eaeaf981037754e7
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf		CRAFTED		744	2464	2	3	0	960	1504	0	0	0	6432	3d4fadc8af17bc65dbe7fef013825ed5
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
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf		CRAFTED		900	69990	2	30	0	69960	0	0	0	30	140820	be0552b4894b69c578ebcc0b17dda689
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf		CRAFTED		900	71378	2	30	0	71348	0	0	0	30	143596	4a0cf034172f796c42342e79509e3449
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf		CRAFTED		580	7153	3	4	0	0	7008	145	0	0	21604	d2283e85579af5f5de3cfcfaac7f25fa
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf		CRAFTED		796	10039	3	4	0	0	9840	199	0	0	30316	d8fa78c834564753f42ad3a5aaefa23a
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf		CRAFTED		987	6860	4	4	0	0	0	6860	0	0	27440	27360692d166ffe055bd444eea177edf
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf		CRAFTED		1075	7545	4	4	0	0	0	7545	0	0	30180	3c6e2bf4052a26ce5bdb6cfc9e1f735c
crafted/Difficult/contest05/ jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf		CRAFTED		140	560	4	4	0	0	0	560	0	0	2240	d65aa32f539d7b147c82042f18f65687
crafted/Difficult/contest05/ jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf		CRAFTED		298	2176	4	6	0	0	0	1312	608	256	9824	3eaa6f3feb0ec3466c3c6ca585bd4a02
crafted/Difficult/contest05/ jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf		CRAFTED		160	640	4	4	0	0	0	640	0	0	2560	b8ad54973e17f84e99bf9d2e7bc768ce
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf		CRAFTED		270	1080	3	3	0	0	1080	0	0	0	3240	6829b07d42c434b96cd2417ca27ed3f2
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
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf		CRAFTED		270	1080	3	3	0	0	1080	0	0	0	3240	82718e0ff54407c78c5fcacb97224b1c
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf		CRAFTED		280	1120	3	3	0	0	1120	0	0	0	3360	5c670fd8fd3fa9f00ac6df3f4ca9c99c
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf		CRAFTED		280	1120	3	3	0	0	1120	0	0	0	3360	0a790b16b30661bee32dad474c146a58
crafted/Difficult/contest05/ jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf		CRAFTED		280	1120	3	3	0	0	1120	0	0	0	3360	d84d2f51f14938d23f8344f062b55708
crafted/Difficult/contest05/ others/ linvrinv5.sat05-564.reshuffled-07.cnf		CRAFTED		450	1426	2	25	0	500	925	0	0	1	3800	7b1cebbdf060989ddb5c4faf02370afb
crafted/Difficult/contest05/ others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf		CRAFTED		190	632	2	3	0	2	630	0	0	0	1894	cb7fcc0a671d4e8fcabb476bdf51a2fc
crafted/Difficult/contest05/ others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf		CRAFTED		409	1362	2	3	0	2	1360	0	0	0	4084	9ce7a6a007310fa075cda4060c50d29c
crafted/Difficult/contest05/ others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf		CRAFTED		577	1922	2	3	0	2	1920	0	0	0	5764	5d5a2534629561aec3a6f7f6c6034d03
crafted/Difficult/contest05/ others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf		CRAFTED		18450	200640	1	30	60	148485	50895	0	0	1200	464115	531549e214a293ad3adf6ddff17eb882
crafted/Difficult/contest05/ others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf		CRAFTED		131400	1827900	1	60	120	1403970	419490	0	0	4320	4134930	080b0eee741469a320509f7827afc538
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
crafted/Difficult/contest05/ QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf		CRAFTED		1339	7095	1	16	33	289	1520	130	168	4955	60253	3ea6a8df7aa4f426ea9b73a3dcbe6d01
crafted/Difficult/contest05/ QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf		CRAFTED		1477	7809	1	16	33	289	1172	124	894	5297	65959	749c079607e9e37c206eeb8bd5b8bfaf
crafted/Difficult/contest05/ QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf		CRAFTED		1587	8013	1	16	33	283	1146	108	888	5555	68223	178c0646166b92c20ce876c724294ca1
crafted/Difficult/contest05/ QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf		CRAFTED		1605	8025	1	16	27	247	1142	106	888	5615	68677	dd374701f9b3db5a8ac095414c025d77
crafted/Difficult/contest05/ QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf		CRAFTED		1610	8277	1	16	33	283	1178	142	924	5717	69859	f1b3061e7694aa99406ed9e867c9dfa5
crafted/Difficult/contest05/ QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf		CRAFTED		1477	7989	1	16	33	284	1202	154	924	5392	66949	2fe12e7483e7a74328d483192a8a2746
crafted/Difficult/contest05/ QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf		CRAFTED		1691	9177	1	16	33	289	1389	171	960	6335	77698	92c8b4fc23a7c22313979a2d9b3b5a58
crafted/Difficult/contest05/ QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf		CRAFTED		728	17199	1	13	49	1177	8740	232	250	6751	75582	56dc474305bf6e6817771129f995c737
crafted/Difficult/contest05/ sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf		CRAFTED		252	2160	2	14	0	2142	0	0	0	18	4536	bc769deecd9ed9694b8be132b5bd15cd
crafted/Difficult/contest05/ sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf		CRAFTED		182	1197	2	13	0	1183	0	0	0	14	2548	e9a4b8de00c9a73b6f8447e11f01f363
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
crafted/Difficult/contest05/ sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf		CRAFTED		306	2619	2	17	0	2601	0	0	0	18	5508	51a1a3a012cf07e3662164064eca4702
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf		CRAFTED		90300	179701	1	4	2	300	0	179399	0	0	718198	e899c85929b7de69ebfb14f0dad93191
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf		CRAFTED		90300	179702	1	4	2	300	0	179400	0	0	718202	4c3b2816cb16b0fd4134bf2c85ce45d0
crafted/Difficult/contest05/ sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf		CRAFTED		1560	60099	2	39	0	780	59279	0	0	40	180957	a12e117c336ca4cea22ec458f6b2361c
crafted/Difficult/contest05/ sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf		CRAFTED		1980	86175	2	44	0	990	85140	0	0	45	259380	ae4e3f3661a3c7ad7c7ec30d56d611a1
crafted/Difficult/contest05/ sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf		CRAFTED		3540	207150	2	59	0	1770	205320	0	0	60	623040	dff294238660aead84de7aec33e643fc
CRAFTED/edgematching/ all/ em_11_3_4_all.cnf		CRAFTED		8713	414651	2	81	0	325818	67270	10556	10773	234	965249	b5f22052db8fb297f6b37016642b1821
CRAFTED/edgematching/ all/ em_12_2_4_all.cnf		CRAFTED		12584	729136	2	100	0	590828	103200	17828	17000	280	1670768	1f3d58bff37113168b2896e46d348bef
CRAFTED/edgematching/ all/ em_14_7_3_all.cnf		CRAFTED		24356	1884008	2	144	0	1655732	177720	24200	25920	436	4117468	690ec6e6ad357e580cb6fa1e2f7f32cc
CRAFTED/ edgematching/ all/em_7_3_6_all.cnf		CRAFTED		1473	30387	2	25	0	21205	7024	708	1300	150	75224	3264a66e18d5550049c950d1156ee464
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
CRAFTED/ edgematching/ all/em_7_4_8_all.cnf		CRAFTED		1617	37237	2	25	0	25780	8550	932	1825	150	92593	49323100760aa1d9fcd1b2d7081994d1
CRAFTED/ edgematching/ all/em_7_4_9_all.cnf		CRAFTED		1677	40187	2	25	0	28680	8650	832	1875	150	98603	d78c1359306a87fe47f1b830ca255359
CRAFTED/ edgematching/ all/em_8_4_5_all.cnf		CRAFTED		2420	62900	2	36	0	43724	13968	2628	2460	120	155908	bcbe82a00b39f246e1dc1a85b2c8371e
CRAFTED/edgematching/ compact/ em_11_3_4_cmp.cnf		CRAFTED		8713	99699	2	81	0	10866	67270	10556	10773	234	335345	3b5e80540ef2fcb09cfe50ac7e3686c1
CRAFTED/edgematching/ compact/ em_12_2_4_cmp.cnf		CRAFTED		12584	155712	2	100	0	17404	103200	17828	17000	280	523920	7ea97a36d5ab6c8a5aa99830d5253591
CRAFTED/edgematching/ compact/ em_14_7_3_cmp.cnf		CRAFTED		24356	305744	2	144	0	77468	177720	24200	25920	436	960940	04d46ce8651fab3a17ac1e6e72eb3503
CRAFTED/edgematching/ compact/ em_7_3_6_cmp.cnf		CRAFTED		1473	11563	2	25	0	2381	7024	708	1300	150	37576	c848a5766cfcc1d1c3f26c7818e48eb2
CRAFTED/edgematching/ compact/ em_7_4_8_cmp.cnf		CRAFTED		1617	14513	2	25	0	3056	8550	932	1825	150	47145	d839e5ec929f609c698ac596e6e9f69b
CRAFTED/edgematching/ compact/ em_7_4_9_cmp.cnf		CRAFTED		1677	15063	2	25	0	3556	8650	832	1875	150	48355	cc3488b2f0eb99d818c5779787a8ab84
CRAFTED/edgematching/ compact/ em_8_4_5_cmp.cnf		CRAFTED		2420	22340	2	36	0	3164	13968	2628	2460	120	74788	0b9eae71c375cb5515f5dd7953424584
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
CRAFTED/edgematching/ compact/ em_9_3_5_cmp.cnf		CRAFTED		3857	39932	2	49	0	4591	26002	4516	4669	154	134967	b2b9255b6dd854658cbd4bd594382e55
CRAFTED/edgematching/ explicit/ em_11_3_4_exp.cnf		CRAFTED		8713	384843	2	81	0	296010	67270	10556	10773	234	905633	b7e51ccd3f2fabc77c07fa1f8f28f931
CRAFTED/edgematching/ explicit/ em_12_2_4_exp.cnf		CRAFTED		12584	681936	2	100	0	543628	103200	17828	17000	280	1576368	e72d819fa5b57b6476ac56a442ceab9b
CRAFTED/edgematching/ explicit/ em_7_3_6_exp.cnf		CRAFTED		1473	22887	2	25	0	13705	7024	708	1300	150	60224	5b8699f429b7fdd3e23d69c762326321
CRAFTED/edgematching/ explicit/ em_7_4_8_exp.cnf		CRAFTED		1617	25837	2	25	0	14380	8550	932	1825	150	69793	e0caa78f33b332fe4d9add2bb1044111
CRAFTED/edgematching/ explicit/ em_7_4_9_exp.cnf		CRAFTED		1677	26387	2	25	0	14880	8650	832	1875	150	71003	4b407f7d85e83c60fceae64b7f0e6e1f
CRAFTED/edgematching/ explicit/ em_8_4_5_exp.cnf		CRAFTED		2420	51668	2	36	0	32492	13968	2628	2460	120	133444	8074a7bc3c1695dbe8e033b31e3d3feb
CRAFTED/edgematching/ explicit/ em_9_3_5_exp.cnf		CRAFTED		3857	108164	2	49	0	72823	26002	4516	4669	154	271431	8c48bd8cd24e7f61acdde18197762986
CRAFTED/edgematching/ fbcolors/ em_11_3_4_fbc.cnf		CRAFTED		8713	129507	2	81	0	40674	67270	10556	10773	234	394961	3f38c028c252f031e9505f68e48a880b
CRAFTED/edgematching/ fbcolors/ em_12_2_4_fbc.cnf		CRAFTED		12584	202912	2	100	0	64604	103200	17828	17000	280	618320	9fee570f53de23cb47dfa378d421371e
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
CRAFTED/edgematching/ fbcolors/ em_14_7_3_fbc.cnf		CRAFTED		24356	347216	2	144	0	118940	177720	24200	25920	436	1043884	4fe2719d54370e06a454523e5441fbad
CRAFTED/edgematching/ fbcolors/ em_7_3_6_fbc.cnf		CRAFTED		1473	19063	2	25	0	9881	7024	708	1300	150	52576	0d842dabe9c6c8be4b2c1160578a7c22
CRAFTED/edgematching/ fbcolors/ em_7_4_8_fbc.cnf		CRAFTED		1617	25913	2	25	0	14456	8550	932	1825	150	69945	c8ff95be17c69641ce8ae01fa573e84b
CRAFTED/edgematching/ fbcolors/ em_7_4_9_fbc.cnf		CRAFTED		1677	28863	2	25	0	17356	8650	832	1875	150	75955	4259362ee72589b1a94d1f5c9f846a0b
CRAFTED/edgematching/ fbcolors/ em_8_4_5_fbc.cnf		CRAFTED		2420	33572	2	36	0	14396	13968	2628	2460	120	97252	6fdce6b69c397ad71b0f25957edff1fa
CRAFTED/edgematching/ fbcolors/ em_9_3_5_fbc.cnf		CRAFTED		3857	59728	2	49	0	24387	26002	4516	4669	154	174559	31a3aedc721d03e1d956a240f176ac5e
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf		CRAFTED		49153	324873	1	4	257	0	66552	258064	0	0	1232169	69151394f3e0e8838dc6693844061945
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf		CRAFTED		3073	19785	1	4	65	0	4344	15376	0	0	74601	a4a7c528ede134442a2d3ba0a444cdbb
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf		CRAFTED		500	1750	3	3	0	0	1750	0	0	0	5250	b414a0b8680818eb94ce47e101b0ad77
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf		CRAFTED		400	1400	3	3	0	0	1400	0	0	0	4200	ad341047b56d6b96e36142808d331e4f
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
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf		CRAFTED		400	1400	3	3	0	0	1400	0	0	0	4200	67e3f1c82b3561160730d7e2b008579e
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf		CRAFTED		500	1750	3	3	0	0	1750	0	0	0	5250	a197a9dc75e55922067ed3cf039613f4
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf		CRAFTED		9638	31795	1	3	83	12874	18838	0	0	0	82345	ad877d677446ba8c798f8e71c4c035c2
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf		CRAFTED		650	2756	3	3	0	0	2756	0	0	0	8268	e6cd66a115f70af2c02b5cac2d51607a
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf		CRAFTED		390	1722	3	3	0	0	1722	0	0	0	5166	95e4195bdde82ec65467d8f29f037cf2
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf		CRAFTED		260	486	2	4	0	421	0	65	0	0	1102	8fce8bf20db46a2557b7a1cf79e53b51
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf		CRAFTED		260	492	2	4	0	427	0	65	0	0	1114	6a0d1029e840b2624bac287c335e4e2c
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf		CRAFTED		700	3500	3	3	0	0	3500	0	0	0	10500	68e48f3a77d59cc85ebd5fd30cfcba3c
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf		CRAFTED		700	3500	3	3	0	0	3500	0	0	0	10500	d27bb4ae488674c0e5d303cf0ee23c59
crafted/Hard/contest03/ others/ 999999000001nw.sat05-447.reshuffled-07.cnf		CRAFTED		4667	18492	1	3	60	0	18432	0	0	0	55356	8bbab1b2b788407ca952856a1e2edded
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
crafted/Hard/contest03/ others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf		CRAFTED		2211	14710	2	9	0	13351	282	374	349	354	33107	cf535bf919bca60e7bcea01358de0b4c
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf		CRAFTED		363	9559	2	4	0	363	121	9075	0	0	37389	207febf52bd846c013e185fa637fdf3c
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf		CRAFTED		1296	95904	2	4	0	1944	0	93960	0	0	379728	ef7f419fe4e145465fe8ec684a206f9b
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf		CRAFTED		184	896	2	4	0	14	514	368	0	0	3042	8f639a3496db30a888324b756894fb43
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf		CRAFTED		226	1078	2	4	0	26	636	416	0	0	3624	c528b705716be41ea2448c50a45c52a8
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf		CRAFTED		1132	14011	3	4	0	0	13728	283	0	0	42316	00198881c2cf000cfee916c18d69d474
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf		CRAFTED		1192	14506	3	4	0	0	14208	298	0	0	43816	378c3c007a4c6e49e4da1e6f32094183
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf		CRAFTED		1184	14216	3	4	0	0	13920	296	0	0	42944	e8bf7f81ddac4f189ec204bc856c8406
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf		CRAFTED		1188	13833	3	4	0	0	13536	297	0	0	41796	84c61ea490109e11c1f7afe1d2e5d438
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf		CRAFTED		1148	14303	3	4	0	0	14016	287	0	0	43196	b113aab739ba5e45a581d24e1a53a65a
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
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf		CRAFTED		772	9601	3	4	0	0	9408	193	0	0	28996	71878da25e778158aa56312337016eac
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf		CRAFTED		700	8767	3	4	0	0	8592	175	0	0	26476	c2cb7643bd8a1926480278b8bba0ef3d
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf		CRAFTED		4703	45358	1	5	146	4604	4512	0	36096	0	203370	5a3ae9766db0de00fa37fabacaa34827
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf		CRAFTED		4703	45358	1	5	146	4604	4512	0	36096	0	203370	3ec02d98577965dc40d4f2f9fa0499c0
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf		CRAFTED		8319	80958	1	5	194	8188	8064	0	64512	0	363322	bccff1bed1e8ac721090562d562b05f0
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf		CRAFTED		18623	182878	1	5	290	18428	18240	0	145920	0	821466	8b466b7ef3217bdc844a579ae744d427
crafted/Hard/contest04/ others/ CompositeRSA576.sat05-509.reshuffled-07.cnf		CRAFTED		166463	1654558	1	5	866	165884	165312	0	1322496	0	7441050	19fdeefb726e073f5c825136ceaf9e1b
crafted/Hard/contest04/ others/ equilarge_l2.sat05-519.reshuffled-07.cnf		CRAFTED		4487	18555	2	3	0	1355	17200	0	0	0	54310	5344c68d1511d70cde59fef7dc46c3a5
crafted/Hard/contest04/ others/ equilarge_l3.sat05-520.reshuffled-07.cnf		CRAFTED		4496	18591	2	3	0	1355	17236	0	0	0	54418	8fc368e9f6ea136e0b6522b198a7a916
crafted/Hard/contest04/ others/ equilarge_l4.sat05-521.reshuffled-07.cnf		CRAFTED		4499	18603	2	3	0	1355	17248	0	0	0	54454	ff36f96f6b8096039d33a91da209fed4
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
crafted/Hard/contest04/ others/ ramsey.sat05-511.reshuffled-07.cnf		CRAFTED		153	6120	6	6	0	0	0	0	0	6120	36720	f938eb83302d03b3e1c7efeabdee60a6
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf		CRAFTED		456	15307	2	16	0	880	14400	0	0	27	45296	b75724237432e4d0e86c18e7a0ef5859
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf		CRAFTED		520	24646	2	16	0	1456	23160	0	0	30	72792	cd57d37a316c4dccaae3ab131e3f8090
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf		CRAFTED		205	4549	2	10	0	975	3555	0	0	19	12775	9f209556efd81ba93e992e22316c3ed8
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf		CRAFTED		1325	174298	2	25	0	17050	157200	0	0	48	506725	caece48666f4e716f61ea74e680d7de5
crafted/Hard/contest05/ counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf		CRAFTED		1015	31500	2	29	0	31465	0	0	0	35	63945	4176ac9a36a2f88072132072fe2be571
crafted/Hard/contest05/ others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf		CRAFTED		161	802	2	4	0	2	0	800	0	0	3204	cc16a72221b8e1efdfd6127b2f238bcd
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf		CRAFTED		1920	6337	2	64	0	2048	4288	0	0	1	17024	af4e94e2262dd17f2c350e06d0de5672
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf		CRAFTED		2754	9154	2	81	0	2916	6237	0	0	1	24624	0457634d4b446c9bbce48df93abd0143
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf		CRAFTED		311	2216	4	6	0	0	0	1384	656	176	9872	0d50014415a697c0ee7e2c67c987b500
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
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf		CRAFTED		311	2200	4	6	0	0	0	1352	784	64	9712	42a2d57c47222c3ed0e0546d3518a54d
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf		CRAFTED		58560	778800	1	48	96	599208	177096	0	0	2400	1766280	4064da8380443613a08af89e2e77b8a2
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf		CRAFTED		186624	3086912	1	64	128	2506464	574560	0	0	5760	6851936	f935103d71f7bb9e8d8051793d20ec02
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf		CRAFTED		11318	316793	1	38	61	314245	173	2250	0	64	640466	15ed95b3a35c74d0cc5dd4986376305c
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf		CRAFTED		61649	3157120	2	10	0	3150117	1	13	8	6981	6361883	73bcef7c584867538ae0bed90374a7ab
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf		CRAFTED		16866	2507999	2	10	0	2505923	1	7	9	2059	5028712	181c4935b6e4cd791aedd030930111fa
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf		CRAFTED		9528	1018562	2	10	0	1017395	1	7	5	1154	2044318	ff7bc04717f7472a7de76a6b5c02e3a4
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf		CRAFTED		49509	3649657	2	10	0	3644023	1	7	8	5618	7337555	41f1c0479c607ce4a810d6cbab59e2f9
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf		CRAFTED		29249	861366	2	10	0	858070	0	6	28	3262	1745389	c7db94a671d9411eb90a6ffa8f8c530f
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf		CRAFTED		25493	1139180	2	10	0	1136319	1	1	7	2852	2298131	bf3618cdbef11db03f2026bf209783fc
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
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf		CRAFTED		12558	1112504	2	10	0	1111019	1	0	0	1484	2234596	4c4e7e1211c6b5f2d2564e77e64df6f5
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf		CRAFTED		36304	1711065	2	10	0	1706958	0	5	7	4095	3450220	45589f445aa56f109f82baade7facf9a
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf		CRAFTED		2401	15960	1	13	42	427	2205	294	441	12551	111993	d9bf8689fd094f6ad4f37a57f4f0a5ae
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf		CRAFTED		2935	18753	1	13	56	526	2382	501	678	14610	133299	cd51741c2df34af4fdb8becaf8b3fc51
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf		CRAFTED		2969	18718	1	13	42	435	2341	498	677	14725	134151	42a7abc6638576e7c05fba1c9e36829b
crafted/Hard/contest05/ QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf		CRAFTED		1040	13020	1	13	35	1086	8679	261	297	2662	54606	26eb408aec254c812108c852e426e72f
crafted/Hard/contest05/ QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf		CRAFTED		502	11816	1	13	35	1080	8731	281	285	1404	41772	7f866db903b373b6b7f75057c2353f02
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf		CRAFTED		1130	18089	1	13	28	1085	8672	224	266	7814	86030	63ebbe5da415dad3af97436d64747f33
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf		CRAFTED		942	16562	1	13	35	1078	8565	71	103	6710	74896	c664e54e8911dc74e630e966a3a9b6ae
crafted/Medium/contest05/ jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf		CRAFTED		87	232	3	3	0	0	232	0	0	0	696	bfae796723167f552bcb2fa958f97ae8
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
crafted/Medium/contest05/ jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf		CRAFTED		87	232	3	3	0	0	232	0	0	0	696	4e736dbc376aed9798860699ef195d83
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf		CRAFTED		271	1972	4	6	0	0	0	1120	752	100	8840	ba385c05848b5f8fd49dff62bba43c15
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf		CRAFTED		210	840	3	3	0	0	840	0	0	0	2520	f34a97e9100b15a8025a13df7cb62499
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf		CRAFTED		220	880	3	3	0	0	880	0	0	0	2640	ce96de70272a2ecfcbbf1c8e965c8e57
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf		CRAFTED		230	920	3	3	0	0	920	0	0	0	2760	87d9c7ce297970bb210f40783f709fcc
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf		CRAFTED		250	1000	3	3	0	0	1000	0	0	0	3000	b79b003513b2a70c9b89188422a831e2
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf		CRAFTED		169	562	2	3	0	2	560	0	0	0	1684	ab810788a5ff5edde690e75706c8dd18
crafted/Medium/contest05/ others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf		CRAFTED		2435	16016	1	13	35	385	2207	298	447	12644	112873	51245c7b8edb32c4dbd94daf982c00d7
crafted/Medium/contest05/ others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf		CRAFTED		2737	18375	1	13	49	491	2419	526	691	14199	129048	74af041eb51b172e799baf4bb7eaa52f
crafted/Medium/contest05/ others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf		CRAFTED		2765	18046	1	13	35	400	2372	481	648	14110	127926	50ea7ab54b71dd15b01cd5fd293d58eb
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
crafted/Medium/contest05/ others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf		CRAFTED		432	14889	1	13	35	1078	8535	11	13	5217	59645	98a64f12169bd41f7a54fe2b2f678456
crafted/Medium/contest05/ others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf		CRAFTED		1133	56210	1	22	36	2544	10764	27	45	42794	352304	db9d2b7fba78f1cbe73aba9a1aa51042
crafted/Medium/contest05/ others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf		CRAFTED		1467	7521	1	16	27	247	1130	82	852	5183	64621	f9cdae8890dde718d40830262adc8433
crafted/Medium/contest05/ others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf		CRAFTED		1472	7737	1	16	27	253	1166	118	888	5285	65737	ddc67b9b869c1d77b5458996a2e27751
crafted/Medium/contest05/ pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf		CRAFTED		6480	12722	1	4	2	80	0	12640	0	0	50722	35f2aba974a0579245ba9b669f0484ae
crafted/Medium/contest05/ pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf		CRAFTED		288	11604	1	11	2	14	73	72	457	10986	89223	270191e44d7630b87c6baceebf140e40
crafted/Medium/contest05/ pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf		CRAFTED		322	9322	1	11	1	11	79	136	421	8674	72335	fc73c241ff6e8e1a49a6ff2500eb7905
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf		CRAFTED		132	1527	2	8	0	168	1344	0	0	15	4472	f1a3e3797897d8c4a2bfe10d09ad0bda
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf		CRAFTED		120	672	2	10	0	660	0	0	0	12	1440	9b15e90c034f4532d9c5a9491fda1777
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf		CRAFTED		4940	93221	1	26	43	92101	113	924	0	40	189296	34870d8ecf83d8ac2173b4630f0f7214
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
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf		CRAFTED		289	33900	1	19	65	730	1	893	2499	29712	195928	afeeef613d4caffff91375d49585d115
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf		CRAFTED		475	117796	1	13	64	1987	4	1021	6342	108378	690176	b22738b664eaf1324f561a555f3cf0f3
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf		CRAFTED		526	146535	1	14	64	2476	4	1387	7328	135276	858954	36c3169a5cad0483dd15befcefc4323e
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf		CRAFTED		426	92955	1	12	64	1566	4	733	5420	85168	544296	f36884385029d184241b6634aaaa22ac
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf		CRAFTED		784	209392	1	28	169	2410	11424	3741	10370	181278	1193937	60e334561da9fdbaa733cc223a2437e5
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf		CRAFTED		1448	720410	1	34	384	4709	0	8462	30976	675879	4254134	c145d81f1457b6e33e1aa58009001b0a
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf		CRAFTED		1570	746634	1	34	398	4712	26183	8465	30979	675897	4332883	a05652854911cfd1b4cd45a296cdc798
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf		CRAFTED		1553	867173	1	36	384	5535	0	10780	35328	815146	5122474	0518a02320d5198cbf8d4b8ec920a5ba
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf		CRAFTED		1698	903653	1	36	399	5538	36435	10783	35331	815167	5232016	c953b18fb3b2b56306fb207070351ca9
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf		CRAFTED		479	123509	1	13	64	1999	0	1026	6642	113778	724108	a4aa05bad2a3138b013cb1793208898f
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
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf		CRAFTED		530	153478	1	14	64	2488	0	1392	7658	141876	900236	586caddfac4d1887f3667169b6c35a75
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf		CRAFTED		383	75352	1	11	64	1220	0	516	4802	68750	441112	68299073e5e5e9c13c18eb7bcc640f07
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf		CRAFTED		387	62656	1	24	64	1453	0	1977	3842	55320	362132	a5bb71bc1d85a401ce9f42ed1404d63e
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf		CRAFTED		430	97558	1	12	64	1578	0	738	5690	89488	571598	8e1d63506cdb99d6b859945ef44fe71f
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf		CRAFTED		434	81513	1	26	64	1843	0	2777	4610	72219	471380	ef7ae52d071607b182dca67dbff359aa
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf		CRAFTED		574	118394	1	24	160	1597	0	1923	7170	107544	692282	cc925e6de728ca79f6f89379842f14b0
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf		CRAFTED		353	46967	1	23	64	1176	1	1349	3139	41238	271042	7bf73d9c0408bae76b2e1355fb2178d8
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf		CRAFTED		926	372485	1	35	160	4586	1	8527	16131	343080	2182931	97b074a6a073bb165e8c5c9ac040a066
CRAFTED/modcircuits/ owp_4vars_5gates.cnf		CRAFTED		267	23747	1	19	64	700	1	563	1926	20493	136362	fe245e5f46bcc987fd412946151b9c92
CRAFTED/parity-games/ instance_n2_i2_pp.cnf		CRAFTED		27	53	2	3	0	45	8	0	0	0	114	969b7dec8b8c4f862d2feed9796787c8
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
CRAFTED/parity-games/ instance_n2_i3_pp.cnf		CRAFTED		39	80	2	3	0	68	12	0	0	0	172	17f5319d63e68bab90dbaf3bff8c0cbd
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf		CRAFTED		525	2336	2	6	0	816	852	486	180	2	7044	d8895a2e31237b2e0474d8f36f520fdb
CRAFTED/parity-games/ instance_n3_i3_pp.cnf		CRAFTED		525	2276	2	6	0	756	852	486	180	2	6924	2a7169a83594b75cda64cac41124a58d
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf		CRAFTED		696	3122	2	6	0	1091	1138	650	240	3	9414	a3abb10f5ab4ed4f5093550970c0200d
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf		CRAFTED		1572	9175	2	12	0	2524	3596	2300	752	3	28832	91bf0f1cf73f97e8e8862cc30d68727a
CRAFTED/parity-games/ instance_n4_i4_pp.cnf		CRAFTED		1572	9007	2	12	0	2356	3596	2300	752	3	28496	d35b54498d8d9672e60bf7e3ce33352b
CRAFTED/parity-games/ instance_n4_i5_pp.cnf		CRAFTED		1960	11270	2	12	0	2945	4500	2881	940	4	35662	c15885aa7570af76db584f0c4936c8d8
CRAFTED/parity-games/ instance_n5_i5_pp.cnf		CRAFTED		3655	26264	2	20	0	5890	11155	6635	2505	79	84840	4cb9a7a38406e1e274285b953fde9d8b
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf		CRAFTED		4380	31980	2	20	0	7508	13398	7973	3006	95	102772	2cb95a73fc66a1c6328b2127a33b0a14
CRAFTED/parity-games/ instance_n5_i6_pp.cnf		CRAFTED		4380	31540	2	20	0	7068	13398	7973	3006	95	101892	4c036642111ac5ec4e537964b0c357b7
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
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf		CRAFTED		7278	63935	2	30	0	13218	28524	16236	4722	1235	208236	ce8e9b2f3a3495ec91849ba73aa40d42
CRAFTED/parity-games/ instance_n6_i6_pp.cnf		CRAFTED		7278	63275	2	30	0	12558	28524	16236	4722	1235	206916	89b30b9df71296e4c629a809ada9bdd7
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf		CRAFTED		8484	74640	2	30	0	15431	33298	18962	5508	1441	243102	2ba7146c43b8082afe1c2f5c23a97bd0
CRAFTED/parity-games/ instance_n6_i7_pp.cnf		CRAFTED		8484	73860	2	30	0	14651	33298	18962	5508	1441	241542	cf086e2a9e34f65e113b083fb29cd927
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf		CRAFTED		13041	134672	2	42	0	25102	63007	35077	8820	2666	442400	5e0c3f55984f25e5ae39d5acbf3dab6b
CRAFTED/parity-games/ instance_n7_i7_pp.cnf		CRAFTED		13041	133580	2	42	0	24010	63007	35077	8820	2666	440216	a46a7114b1e82f32d55f375939366e5f
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf		CRAFTED		14896	153982	2	42	0	28700	72038	40118	10080	3046	505834	545e53eb1c10ff91f4e2e16d7a8c9f9f
CRAFTED/parity-games/ instance_n7_i8_pp.cnf		CRAFTED		14896	152722	2	42	0	27440	72038	40118	10080	3046	503314	abf8d0463043ed2f39efb68926cd304b
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf		CRAFTED		21640	257551	2	56	0	44056	125040	68272	15680	4503	850944	68c51e190d82ac762156471d1f7373da
CRAFTED/parity-games/ instance_n8_i8_pp.cnf		CRAFTED		21640	255871	2	56	0	42376	125040	68272	15680	4503	847584	0d370d04a9d4b23f62a82c23b7beb9be
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
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf		CRAFTED		24336	289842	2	56	0	49577	140712	76848	17640	5065	957634	30af8150f499f8e8270ccf7f0e5a1a0a
CRAFTED/parity-games/ instance_n8_i9_pp.cnf		CRAFTED		24336	287938	2	56	0	47673	140712	76848	17640	5065	953826	1676a91b04f7e8bdd3b48714436b51f2
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf		CRAFTED		33867	457280	2	72	0	72774	228663	122769	25920	7154	1516932	17405d60322fbbfc84267e396be14b66
CRAFTED/parity-games/ instance_n9_i9_pp.cnf		CRAFTED		33867	454832	2	72	0	70326	228663	122769	25920	7154	1512036	3e04f934e4f74a8e89587f6c1327f77e
CRAFTED/ ramseycube/ Q32inK09.cnf		CRAFTED		36	7938	4	12	0	0	0	378	0	7560	92232	58cbf73dc7f1fd4bb325152069db03fb
CRAFTED/ ramseycube/ Q32inK10.cnf		CRAFTED		45	38430	4	12	0	0	0	630	0	37800	456120	6acad6aa08a1137d820dbdd152ca2acc
CRAFTED/ ramseycube/ Q32inK11.cnf		CRAFTED		55	139590	4	12	0	0	0	990	0	138600	1667160	594c254e77c66d387919761f50e63b6d
CRAFTED/ ramseycube/ Q3inK08.cnf		CRAFTED		28	1680	12	12	0	0	0	0	0	1680	20160	492aabee9d1147cbc26baa44607c206b
CRAFTED/ ramseycube/ Q3inK09.cnf		CRAFTED		36	15120	12	12	0	0	0	0	0	15120	181440	167bdfed21466d25646b3f9481920143
CRAFTED/ ramseycube/ Q3inK10.cnf		CRAFTED		45	75600	12	12	0	0	0	0	0	75600	907200	0d32a4893e12fa46a8943c5daeb46b88
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
CRAFTED/ ramseycube/ Q3inK11.cnf		CRAFTED		55	277200	12	12	0	0	0	0	0	277200	3326400	1fdca9b41a2ccb9f1b1754fb775769f0
CRAFTED/ ramseycube/ Q3inK12.cnf		CRAFTED		66	831600	12	12	0	0	0	0	0	831600	9979200	bcbdfe82209aa971e7a6ff7bba833b95
CRAFTED/ ramseycube/ Q3inK13.cnf		CRAFTED		78	2162160	12	12	0	0	0	0	0	2162160	25945920	ee4a2d6030f643cfa5b109579b0e5c45
CRAFTED/rbsat/crafted/ forced/ rbsat-v1150c84314gyes1.cnf		CRAFTED		1150	84314	2	23	0	84264	0	0	0	50	169678	d217d44a5e3291823bfd6ded60a7812f
CRAFTED/rbsat/crafted/ forced/ rbsat-v1150c84314gyes2.cnf		CRAFTED		1150	84314	2	23	0	84264	0	0	0	50	169678	52e359b1b3f50700797d7fba5a906213
CRAFTED/rbsat/crafted/ forced/ rbsat-v1560c133795gyes9.cnf		CRAFTED		1560	133795	2	26	0	133735	0	0	0	60	269030	fe117ca26ab85d9c8449a6f94eb0c5ef
CRAFTED/rbsat/crafted/ forced/ rbsat-v1820c171155gyes6.cnf		CRAFTED		1820	171155	2	28	0	171090	0	0	0	65	344000	6a5fbd61e49d3642ce9fdb6efadb5a97
CRAFTED/rbsat/crafted/ forced/ rbsat-v2640c305320gyes8.cnf		CRAFTED		2640	305320	2	33	0	305240	0	0	0	80	613120	930a5df7b1f1625c5486319e8b2ac554
CRAFTED/rbsat/crafted/ forced/ rbsat-v760c43649gyes1.cnf		CRAFTED		760	43649	2	19	0	43609	0	0	0	40	87978	424de5d4f0392bf458f49384a643429b
CRAFTED/rbsat/crafted/ forced/ rbsat-v945c61409gyes2.cnf		CRAFTED		945	61409	2	21	0	61364	0	0	0	45	123673	940c3065d47a27ab24578a138a8ab3c0
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
CRAFTED/rbsat/crafted/ forced/ rbsat-v945c61409gyes8.cnf		CRAFTED		945	61409	2	21	0	61364	0	0	0	45	123673	0b0881d9187e7912564ae88556ada128
CRAFTED/rbsat/crafted/ unforced/ rbsat-v1375c111739g2.cnf		CRAFTED		1375	111739	2	25	0	111684	0	0	0	55	224743	4a0161ad7ac9d31215b2f5b6bcc0673a
CRAFTED/rbsat/crafted/ unforced/ rbsat-v1375c111739g6.cnf		CRAFTED		1375	111739	2	25	0	111684	0	0	0	55	224743	e4c376965bc8cbd4cdf5b3958d29ec62
CRAFTED/rbsat/crafted/ unforced/ rbsat-v1820c171155g4.cnf		CRAFTED		1820	171155	2	28	0	171090	0	0	0	65	344000	58e1c9baf379890f8f9e3891acb41fa1
CRAFTED/rbsat/crafted/ unforced/ rbsat-v2400c266431g5.cnf		CRAFTED		2400	266431	2	32	0	266356	0	0	0	75	535112	5c381a23100991dd5561d3dc572b8883
CRAFTED/rbsat/crafted/ unforced/ rbsat-v2640c305320g4.cnf		CRAFTED		2640	305320	2	33	0	305240	0	0	0	80	613120	902bd5d693f19206156f2706c5c6e377
CRAFTED/rbsat/random/ forced/ rbsat-v1150c84314gyes3.cnf		CRAFTED		1150	84314	2	23	0	84264	0	0	0	50	169678	3e5b6d8ea2e7f58efa9d9a4dc4048be5
CRAFTED/rbsat/random/ forced/ rbsat-v2100c215164gyes2.cnf		CRAFTED		2100	215164	2	30	0	215094	0	0	0	70	432288	5301921bbf5d6337937a0fa8d34aaf48
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes10.cnf		CRAFTED		760	43649	2	19	0	43609	0	0	0	40	87978	81c9aa5c768c12f86139286d1d6bc62c
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes1.cnf		CRAFTED		760	43649	2	19	0	43609	0	0	0	40	87978	8541c8ec619084537b62d7926e092ff9
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
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes4.cnf		CRAFTED		760	43649	2	19	0	43609	0	0	0	40	87978	5ca98921e111a723938eee2419329779
CRAFTED/rbsat/random/ forced/ rbsat-v760c43649gyes6.cnf		CRAFTED		760	43649	2	19	0	43609	0	0	0	40	87978	678295c947877f01251ebfe072d64bf5
CRAFTED/rbsat/random/ forced/ rbsat-v945c61409gyes4.cnf		CRAFTED		945	61409	2	21	0	61364	0	0	0	45	123673	df9c42090e37db3e7c6222a93cb90a4d
CRAFTED/rbsat/random/ forced/ rbsat-v945c61409gyes9.cnf		CRAFTED		945	61409	2	21	0	61364	0	0	0	45	123673	5b3cb365e0da247dad8c75295d40c6a5
CRAFTED/rbsat/random/ unforced/ rbsat-v1150c84314g2.cnf		CRAFTED		1150	84314	2	23	0	84264	0	0	0	50	169678	63d94048c368060530aaae24bc900bb9
CRAFTED/rbsat/random/ unforced/ rbsat-v1820c171155g3.cnf		CRAFTED		1820	171155	2	28	0	171090	0	0	0	65	344000	90cca356988434eb537dfe19d4b4da93
CRAFTED/rbsat/random/ unforced/ rbsat-v2640c305320g2.cnf		CRAFTED		2640	305320	2	33	0	305240	0	0	0	80	613120	a751c1722336404421531c8b945f61ee
CRAFTED/rbsat/random/ unforced/ rbsat-v2640c305320g6.cnf		CRAFTED		2640	305320	2	33	0	305240	0	0	0	80	613120	b8aeb5269daff3f4e23b9dd675aa8076
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g10.cnf		CRAFTED		760	43649	2	19	0	43609	0	0	0	40	87978	ef10306f3342b2993f40a14989476298
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g1.cnf		CRAFTED		760	43649	2	19	0	43609	0	0	0	40	87978	09e521ede3d398d4595568c082f00e6d
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
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g4.cnf		CRAFTED		760	43649	2	19	0	43609	0	0	0	40	87978	3ea4eea040ac494148336825302eb384
CRAFTED/rbsat/random/ unforced/ rbsat-v760c43649g8.cnf		CRAFTED		760	43649	2	19	0	43609	0	0	0	40	87978	26faf32fde08600c4dd1614dd861e544
CRAFTED/rbsat/random/ unforced/ rbsat-v945c61409g10.cnf		CRAFTED		945	61409	2	21	0	61364	0	0	0	45	123673	4b3c9ace68adf36eacbbfebb5083efc4
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf		CRAFTED		140	336	2	5	0	280	0	0	56	0	840	07b17839a612470dd109e37b3b09aec5
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf		CRAFTED		160	384	2	5	0	320	0	0	64	0	960	f74d6f760fed9ca1e1d4158014482021
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf		CRAFTED		180	432	2	5	0	360	0	0	72	0	1080	7303360aac56e0d882ae2452d62f8544
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf		CRAFTED		200	480	2	5	0	400	0	0	80	0	1200	3eff3d0cb86e42a8fbb844259e0c7beb
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf		CRAFTED		220	528	2	5	0	440	0	0	88	0	1320	9acdfc35e72435abc5da6ab9203455c3
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf		CRAFTED		230	552	2	5	0	460	0	0	92	0	1380	d2dd2899777fd93a70e706988970ef5e
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf		CRAFTED		240	576	2	5	0	480	0	0	96	0	1440	227ae3ed738eb1cf18ca67ef64582b2c
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
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf		CRAFTED		250	600	2	5	0	500	0	0	100	0	1500	327600404ca46d59d12ad4e7ba1e4999
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf		CRAFTED		260	624	2	5	0	520	0	0	104	0	1560	37a9ba5ea74ccd08102ca2000f5e8920
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf		CRAFTED		270	648	2	5	0	540	0	0	108	0	1620	e197a9710494056838206e38a7541851
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf		CRAFTED		280	672	2	5	0	560	0	0	112	0	1680	c909afe1ffd8842fe3c52ac70d36fc85
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf		CRAFTED		290	696	2	5	0	580	0	0	116	0	1740	46069fd95a12b364b1f1ad67bf25128f
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf		CRAFTED		300	720	2	5	0	600	0	0	120	0	1800	cda4bb923e6fa0cab57f8920411a2abd
CRAFTED/sgen/ unsat/ sgen1-unsat-103-100.cnf		CRAFTED		105	220	3	3	0	0	220	0	0	0	660	5110e109b45a76c6118af02389913ef8
CRAFTED/sgen/ unsat/ sgen1-unsat-109-100.cnf		CRAFTED		109	228	3	3	0	0	228	0	0	0	684	3e5f7eb325866565204de5c9ce2ffaee
CRAFTED/sgen/ unsat/ sgen1-unsat-115-100.cnf		CRAFTED		117	244	3	3	0	0	244	0	0	0	732	fd3986b9c0990131ef596f6d92a0612d
CRAFTED/sgen/ unsat/ sgen1-unsat-121-100.cnf		CRAFTED		121	252	3	3	0	0	252	0	0	0	756	24865fea2f97ba63d115c240cb3cb69f
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
CRAFTED/sgen/ unsat/ sgen1-unsat-127-100.cnf		CRAFTED		129	268	3	3	0	0	268	0	0	0	804	dec8fe955e0593e4d06e90539beb035d
CRAFTED/sgen/ unsat/ sgen1-unsat-133-100.cnf		CRAFTED		133	276	3	3	0	0	276	0	0	0	828	3efe57b20c55b2dfc482f2ebb30d6794
CRAFTED/sgen/ unsat/ sgen1-unsat-139-100.cnf		CRAFTED		141	292	3	3	0	0	292	0	0	0	876	80608540c01a8d414386c5ef53d181de
CRAFTED/sgen/ unsat/ sgen1-unsat-145-100.cnf		CRAFTED		145	300	3	3	0	0	300	0	0	0	900	8691e3b6431437da05017ed8abe8cba2
CRAFTED/sgen/ unsat/ sgen1-unsat-151-100.cnf		CRAFTED		153	316	3	3	0	0	316	0	0	0	948	81c9e6cf99fbe74a8c2bb297a2f27040
CRAFTED/sgen/ unsat/ sgen1-unsat-61-100.cnf		CRAFTED		61	132	3	3	0	0	132	0	0	0	396	43b8e7efe061e21db6b4c047915ae87c
CRAFTED/sgen/ unsat/ sgen1-unsat-73-100.cnf		CRAFTED		73	156	3	3	0	0	156	0	0	0	468	21a63ce6f14424dbad7bd9e8fb6cd037
CRAFTED/sgen/ unsat/ sgen1-unsat-85-100.cnf		CRAFTED		85	180	3	3	0	0	180	0	0	0	540	5edff193beb565edf484fbb5f8f23427
CRAFTED/sgen/ unsat/ sgen1-unsat-97-100.cnf		CRAFTED		97	204	3	3	0	0	204	0	0	0	612	5f0ec9f87ae77ca0eb8468a4ddde217c
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf		CRAFTED		360	15466	2	20	0	15448	0	0	0	18	31256	c56a1400f0bd9306a380dfa6653baa1d
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
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf		CRAFTED		399	18184	2	21	0	18165	0	0	0	19	36729	3286758d58a4fc3caa90b96d61beac86
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf		CRAFTED		440	22276	2	22	0	22256	0	0	0	20	44952	fcc3fcd52c921ace90c257c57bbc4b6d
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf		CRAFTED		483	25396	2	23	0	25375	0	0	0	21	51233	46a186d5aa9ba41a176adf24fb365342
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf		CRAFTED		528	30728	2	24	0	30706	0	0	0	22	61940	0a7df8011edd7a5f3da371261f9b3f8b
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf		CRAFTED		624	38944	2	26	0	38920	0	0	0	24	78464	bf3875bd851fbd5f3e19defeb88389d1
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf		CRAFTED		728	48442	2	28	0	48416	0	0	0	26	97560	c8a761b6d0b0b208363324b0ab04d363
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf		CRAFTED		340	5967	2	20	0	5950	0	0	0	17	12240	a888f7c11818f92eb0f40bc8ce26728a
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf		CRAFTED		378	7011	2	21	0	6993	0	0	0	18	14364	ca65dc6f2d2e9d0010a49b31db10b79e
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf		CRAFTED		418	8170	2	22	0	8151	0	0	0	19	16720	dbe5f8e172b94635975a076b30fdb515
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf		CRAFTED		528	11638	2	24	0	11616	0	0	0	22	23760	819d325f2cd8bd4828e82817a7e2248d
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
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf		CRAFTED		550	12397	2	25	0	12375	0	0	0	22	25300	bb26f94676d52c6c304fdd966a5030f6
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf		CRAFTED		575	13248	2	25	0	13225	0	0	0	23	27025	50ecb1d62ff1369a0562e46f14a19031
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf		CRAFTED		598	14076	2	26	0	14053	0	0	0	23	28704	289acac85257a9b2194bbfd3d1b0ff54
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf		CRAFTED		621	14927	2	27	0	14904	0	0	0	23	30429	f29b814bccf91d668c4cad39543bc72b
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf		CRAFTED		675	16900	2	27	0	16875	0	0	0	25	34425	741e1de0c22ee8d0ee067ccd7623ed63
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf		CRAFTED		725	18875	2	29	0	18850	0	0	0	25	38425	bfbc056027da766e2c6d0a572c928d4b
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf		CRAFTED		840	23548	2	30	0	23520	0	0	0	28	47880	b2faaeee76c00fde04e0b0ad23906b5b
CRAFTED/sgi/ sgi-difficult4.cnf		CRAFTED		483	15156	2	23	0	15135	0	0	0	21	30753	7c37bfaa2d3bc1d2ca8c28e73d9bfb79
CRAFTED/sgi/ sgi-difficult7.cnf		CRAFTED		728	28986	2	28	0	28960	0	0	0	26	58648	99db6397e91b77ca5e6f5d44dc60b594
een-tip-sat-texas-tp-5e.cnf		APPLICATION		17985	52128	1	15	15	32912	19200	0	0	1	123454	5bf390b945bda57e276dac6d13ea27f6
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
een-tip-uns-nusmv-t5.B.cnf		APPLICATION		59265	170983	1	23	23	99418	71541	0	0	1	413505	5a0032960b52c5fb367771f030675e6c
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
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-sat/ partial-5-17-s.cnf		APPLICATION		252328	1189896	1	10	18837	919648	204591	5200	20800	20820	2752826	cd6cb5ea01688ce5beec6e625055ac90
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
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-15-u.cnf		APPLICATION		217930	1002997	1	10	16378	795155	150764	4520	18080	18100	2303180	c2f768afbb9db3d5f5133c3f48734894
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
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/ medium-unsat/ total-5-13-u.cnf		APPLICATION		178708	806681	1	10	15072	648853	108896	3760	15040	15060	1842626	127968d7d14f3ab7655995f561e62ed8
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
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/ fuhs/medium/ AProVE07-16.cnf		APPLICATION		52382	182485	1	131	1	85834	87884	7609	700	457	472601	65057bcebbeecf6a7f3bc3fcfb2de009
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
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.11.unsat.cnf		APPLICATION		1400	4732	1	21	3	2052	2605	27	31	14	12300	90581094793af5fc10d4e4b9a10259ac
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
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/ hard/ sortnet-8-ipc5-h19-sat.cnf		APPLICATION		359341	1254773	1	57	256	896240	346435	830	571	10441	3046189	409f4401e9e8b60ee665ac5567a13e41
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
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/ uts/ uts-l06-ipc5-h35-unknown.cnf		APPLICATION		196689	912286	1	591	276	717679	188110	1747	138	4336	2345308	5e044c9f89a347ff1731180a403693c1
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
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_iq8.cnf		APPLICATION		371419	7170909	1	205	1	6770451	92326	8862	23554	275715	20872419	776da55785376fd8eac6989ca812b102
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
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-f10ni.cnf		APPLICATION		368888	1100500	1	3	1	733666	366833	0	0	0	2567832	b99a5b8844b4e1d2656eb1422e6e888f
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
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-md5-48-5.cnf		APPLICATION		66892	279256	1	4	201	120496	42781	115778	0	0	832648	8ab50418497c0326ed1ff5d73a4e24a3
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
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
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-s02b-k2f-gr-rcs-w8.cnf		APPLICATION		10056	271393	2	8	0	270136	0	0	0	1257	550328	5da8899feefc5a4bb9db99e983e30f52
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
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-pipe-uns-1.0-8.cnf		APPLICATION		35065	1332773	1	178	1	1290115	14508	256	216	27677	3936683	0767e5dbf6844720495e9eb5423112e1
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