SAT 2011 Competition: main competition (phase 2): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	UNSAT	8.24575	8.2966	3220946
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	UNSAT	15.1787	15.1802	3222068
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	UNSAT	18.7681	18.7689	3222206
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	UNSAT	18.7911	18.7909	3222200
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	UNSAT	18.8371	18.8382	3220286
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	UNSAT	18.8501	18.8544	3222272
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	UNSAT	19.432	19.4332	3222146
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	UNSAT	24.1413	24.1402	3221876
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	UNSAT	24.1743	24.1747	3220700
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	UNSAT	24.3633	24.3636	3222128
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	UNSAT	25.6561	25.6572	3221624
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	UNSAT	26.091	26.0926	3220244
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	UNSAT	26.307	26.3069	3220898
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	UNSAT	26.425	26.4263	3221972
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	UNSAT	26.579	26.5808	3222002
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	UNSAT	27.0549	27.0587	3221930
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	UNSAT	27.2589	27.2585	3220952
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	UNSAT	27.6308	27.6317	3220502
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	UNSAT	28.1167	28.1174	3220382
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	UNSAT	28.1687	28.1697	3220220
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	UNSAT	28.4027	28.4032	3221126
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	UNSAT	28.6726	28.6737	3220664
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	UNSAT	28.7146	28.7145	3220886
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	UNSAT	29.7255	29.7265	3221288
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	UNSAT	31.3012	31.3013	3220544
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	UNSAT	31.7262	31.7303	3220448
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	UNSAT	40.5938	40.5941	3221282
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	UNSAT	41.2247	41.2257	3221642
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	UNSAT	42.0296	42.0336	3221096
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	UNSAT	43.7334	43.7323	3222338
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	UNSAT	47.3118	47.3113	3222476
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	UNSAT	49.2495	49.2487	3220472
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	UNSAT	49.4975	49.497	3222182
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	UNSAT	49.7014	49.6997	3221582
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	UNSAT	49.7304	49.7309	3221546
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	UNSAT	49.7514	49.7509	3220586
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	UNSAT	49.9704	49.9695	3221438
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	UNSAT	50.1254	50.1254	3220424
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	UNSAT	50.1764	50.1762	3222290
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	UNSAT	50.3094	50.3087	3222386
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	UNSAT	50.4263	50.4273	3222428
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	UNSAT	51.1702	51.1711	3220874
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	UNSAT	51.6072	51.6067	3221192
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	UNSAT	51.6901	51.6891	3220970
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	UNSAT	51.8701	51.8724	3221816
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	UNSAT	52.462	52.4641	3220550
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	UNSAT	52.887	52.8876	3221444
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	UNSAT	53.2179	53.2179	3220538
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	UNSAT	54.2108	54.217	3221336
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	UNSAT	64.6652	64.665	3221882
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	UNSAT	91.1391	91.1403	3222062
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	UNSAT	111.675	111.675	3221360
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	UNSAT	121.946	121.944	3220670
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	UNSAT	140.045	140.043	3220436
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	UNSAT	140.06	140.059	3221240
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	UNSAT	149.481	149.478	3220124
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	UNSAT	156.412	156.408	3222074
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	UNSAT	157.617	157.649	3220256
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	UNSAT	157.633	157.63	3220994
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	UNSAT	157.993	157.989	3221402
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	UNSAT	158.052	158.05	3221252
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	UNSAT	158.288	158.286	3222188
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	UNSAT	159.658	159.655	3220976
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	UNSAT	165.832	165.833	3221594
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	UNSAT	165.9	165.895	3221858
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	UNSAT	169.628	169.633	3221102
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	UNSAT	171.592	171.593	3222458
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	UNSAT	176.528	176.525	3221492
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	UNSAT	176.667	176.667	3221558
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	UNSAT	284.629	284.625	3222044
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	UNSAT	332.349	332.345	3221000
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	UNSAT	344.091	344.089	3222332
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	UNSAT	350.417	350.409	3221012
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	UNSAT	369.957	369.957	3220904
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	UNSAT	372.137	372.132	3220658
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	UNSAT	374.922	374.913	3221060
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	UNSAT	385.619	385.608	3221672
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	UNSAT	399.015	399.002	3221276
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	UNSAT	403.519	403.507	3220514
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	UNSAT	411.178	411.167	3221306
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	UNSAT	432.959	432.953	3222236
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	UNSAT	441.368	441.36	3222440
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	UNSAT	441.905	441.895	3220958
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	UNSAT	446.463	446.452	3221384
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	UNSAT	452.807	452.79	3222212
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	UNSAT	452.999	452.987	3221234
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	UNSAT	453.336	453.323	3220940
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	UNSAT	455.061	455.052	3221408
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	UNSAT	455.77	455.757	3220982
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	UNSAT	456.024	456.014	3222098
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	UNSAT	458.816	458.805	3221246
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	UNSAT	460.576	460.567	3222434
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	UNSAT	483.779	483.769	3222260
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	UNSAT	494.403	494.397	3220928
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	UNSAT	500.372	500.357	3222080
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	UNSAT	542.41	542.411	3220442
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	UNSAT	597.245	597.229	3222446
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	UNSAT	664.741	664.727	3221198
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	UNSAT	1051.01	1051.01	3220250
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	UNSAT	1259.61	1259.58	3221996
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	UNSAT	2176.21	2176.16	3221906
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	UNSAT	2485.64	2485.58	3221714
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	UNSAT	3358.64	3358.54	3220280
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	UNSAT	4457.83	4457.72	3222350

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.623904	0.624734	3221456
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.623904	0.62488	3221804
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.628904	0.631317	3221894
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.633902	0.638731	3220352
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.633902	0.63545	3220934
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.643901	0.647124	3222110
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.643901	0.644491	3221744
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.6499	0.65078	3220592
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.674897	0.677278	3221900
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.698893	0.701242	3221312
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.707891	0.7085	3220628
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.71389	0.716917	3221552
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.739886	0.743107	3222122
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.741886	0.743433	3221138
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.743886	0.745551	3222410
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.750885	0.752507	3221468
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.752884	0.754439	3221372
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.754884	0.756464	3220298
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.756884	0.757409	3221414
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.761884	0.761407	3221738
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.762883	0.762166	3222314
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.772881	0.773628	3220634
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.78088	0.78256	3221006
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.781881	0.783589	3220598
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.787879	0.789376	3222380
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.78788	0.78945	3222152
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.790879	0.791015	3221498
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.796878	0.802162	3221054
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.798877	0.798815	3220706
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.801877	0.802846	3221912
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.802877	0.803374	3220862
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.809876	0.81157	3221222
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.810876	0.812877	3220238
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.814876	0.815852	3221162
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.822874	0.825055	3222014
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.823874	0.82532	3220532
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.824873	0.826146	3220454
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.829873	0.831034	3221918
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.835872	0.837265	3222320
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.836871	0.839022	3220430
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.837871	0.839005	3221648
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.840872	0.8454	3221786
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.842871	0.846319	3221186
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.843871	0.84615	3221690
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.84587	0.850189	3221678
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.846871	0.847727	3220748
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.84887	0.850293	3220388
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.85387	0.855598	3221732
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.855869	0.858125	3220478
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.857869	0.85926	3221114
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.871866	0.872203	3221474
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.872866	0.875201	3220484
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.872867	0.87455	3220790
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.881865	0.88354	3220676
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.883865	0.885893	3220178
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.891863	0.893878	3222296
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.909861	0.910912	3222056
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.91286	0.914862	3222398
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.925858	0.926159	3220622
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.925859	0.927631	3221156
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.926859	0.928096	3221180
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.928858	0.929679	3221684
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.932857	0.933981	3221420
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	0.935857	0.937123	3221342
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.936857	0.936896	3221756
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.940856	0.941495	3220832
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.941856	0.943962	3221990
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.951854	0.952741	3221708
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.963853	0.965672	3220856
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.966852	0.967063	3220616
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.97585	0.976984	3222116
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.97685	0.977697	3221870
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.987849	0.989646	3221528
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.994847	0.997941	3221018
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.998847	1.0008	3221720
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	0.998847	1.00052	3220892
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.999847	0.999609	3221486
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	1.00085	1.00672	3220406
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	1.00685	1.00844	3221510
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	1.00785	1.00941	3221396
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	1.00984	1.01101	3220412
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	1.01184	1.01472	3220754
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	1.01684	1.01951	3220268
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	1.01684	1.01713	3221810
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	1.01884	1.0208	3220304
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	1.02084	1.02052	3221516
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	1.02284	1.02783	3222194
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	1.04084	1.04083	3221318
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	1.04284	1.04269	3222362
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	1.05784	1.05896	3222368
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	1.05884	1.0599	3221936
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	1.05984	1.06089	3221618
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	1.06584	1.06627	3221294
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	1.07384	1.07498	3220364
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	1.07983	1.0811	3221024
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	1.08183	1.08359	3222158
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	1.08283	1.08566	3220574
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	1.09683	1.09712	3220730
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	1.09783	1.09803	3221960
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	1.11183	1.11308	3222506
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	1.12483	1.12491	3220460
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	1.12583	1.12711	3221048
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	1.12783	1.12897	3222404
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	1.13083	1.1314	3221564
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	1.13783	1.1377	3222284
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	1.14083	1.14171	3221174
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	1.14482	1.14572	3222170
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	1.14682	1.14811	3222008
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	1.16982	1.17176	3221822
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	1.17082	1.17332	3220742
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	1.17082	1.17186	3220166
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	1.17082	1.17103	3221258
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	1.18082	1.18207	3222392
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	1.18382	1.18488	3221534
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	1.18982	1.1911	3220358
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	1.18982	1.18998	3220190
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	1.20781	1.20992	3221606
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	1.22381	1.22499	3221852
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	1.23181	1.23361	3220154
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	1.23181	1.23394	3220262
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	1.23981	1.24198	3220766
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	1.24581	1.24593	3222452
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	1.24981	1.25168	3220826
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	1.25581	1.257	3222308
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	1.3168	1.31711	3221828
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	1.3238	1.32318	3221570
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	1.3358	1.33734	3221948
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	1.34779	1.34803	3220466
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	1.35079	1.3522	3220136
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	1.35879	1.36017	3220316
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	1.36079	1.36132	3221090
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	1.36379	1.36649	3222500
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	1.39279	1.39405	3221204
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	1.41478	1.41425	3220526
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	1.42278	1.42359	3220226
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	1.44078	1.44096	3221426
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	1.45978	1.46155	3221864
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	1.47577	1.47487	3221378
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	1.49277	1.4937	3222140
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	1.53077	1.53123	3222374
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	1.54676	1.54715	3221726
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	1.68774	1.68961	3222326
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	1.74273	1.7436	3221612
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	1.76573	1.76731	3221036
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	1.76673	1.76853	3222248
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	1.88471	1.88526	3221462
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	1.90471	1.90551	3222344
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	1.91971	1.92042	3220814
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	1.92371	1.92336	3221504
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	1.9567	1.95799	3220988
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	1.9847	1.98471	3220796
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	1.9917	1.99367	3220910
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	1.99969	2.00048	3220172
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	2.01369	2.01344	3220760
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	2.01869	2.01894	3222422
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	2.6206	2.62232	3221030
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	2.67459	2.67564	3221768
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	2.77658	2.77797	3221210
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	3.51846	3.52028	3220652
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	3.53546	3.53935	3221774
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	3.56046	3.56231	3221270
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	3.65444	3.65792	3221132
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	3.75743	3.75727	3220130
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	3.90041	3.90235	3221702
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	4.07438	4.07569	3222086
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	4.39833	4.39945	3221354
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	4.43133	4.4335	3220724
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	5.13722	5.13927	3222302
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	5.49816	5.49926	3221942
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	5.99209	5.99256	3220850
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	6.66898	6.67052	3220880
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	6.78097	6.78293	3220208
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	7.2169	7.2185	3222164
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	7.43787	7.43958	3221834
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	7.60184	7.60598	3221750
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	7.92979	7.93327	3221840
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	9.2036	9.20464	3220142
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	9.34158	9.34254	3222464
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	9.35758	9.35816	3220682
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	9.89749	9.89821	3221660
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	10.6354	10.6357	3220772
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	10.6764	10.6764	3221792
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	10.7294	10.734	3221654
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	10.8903	10.8913	3220922
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	11.4603	11.4598	3220562
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	14.2068	14.2094	3221072
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	15.0267	15.0268	3220310
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	15.1707	15.1722	3220400
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	17.2434	17.243	3219746
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	17.3454	17.3454	3219224
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	17.8833	17.8831	3222278
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	18.3352	18.342	3219056
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	18.9361	18.9377	3219782
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	19.2451	19.2456	3219872
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	19.741	19.7428	3219926
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	22.7865	22.7881	3219962
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	23.1455	23.1504	3219218
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	24.1603	24.1676	3219644
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	24.7492	24.7498	3219242
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	25.6241	25.6247	3219344
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	29.4015	29.4028	3219440
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	29.4575	29.4579	3221078
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	30.8623	30.8633	3219944
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	31.9051	31.9071	3219374
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	35.6646	35.6636	3221228
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	41.3677	41.3665	3221978
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	41.6957	41.6953	3221888
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	46.7459	46.7454	3219752
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	58.3231	58.4519	3219296
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	67.1558	67.1559	3221432
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	80.7837	80.7835	3222254
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	84.8401	84.8493	3218930
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	84.8821	84.8817	3220712
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	86.3389	86.3389	3218984
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	105.054	105.052	3219260
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	110.657	110.654	3221600
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	118.676	118.853	3219572
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	122.01	122.009	3221966
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	148.562	148.561	3220052
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	163.831	163.878	3219404
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	165.434	165.43	3220820
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	219.62	219.634	3218954
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	234.547	234.541	3220010
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	SAT	240.774	240.766	3219266
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	286.772	286.766	3219086
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	346.083	346.082	3219638
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	351.007	351	3219704
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	446.067	446.051	3219500
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	505.292	505.279	3219494
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	532.654	532.639	3219326
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	538.18	538.166	3219446
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	601.647	601.63	3219338
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	616.564	616.572	3219692
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	649.151	649.137	3219848
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	693.943	693.925	3219890
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	771.714	771.734	3219584
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	860.968	860.951	3219836
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	878.882	878.862	3219824
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	1042.69	1042.67	3219008
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	1069.57	1069.55	3219812
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	1128.55	1128.57	3218936
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	1178.2	1178.27	3220004
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	SAT	1226.58	1226.55	3219524
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	1545.64	1545.67	3219164
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	SAT	1694.49	1694.43	3219698
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	1722.55	1722.51	3219482
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	SAT	1913.15	1913.25	3218942
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	1939.77	1939.69	3219392
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	SAT	2020.87	2020.83	3219728
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	SAT	2342.89	2342.83	3219938
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	2461.22	2461.16	3219422
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	2534.51	2534.42	3219098
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	3141.04	3140.95	3219512
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	3569.47	3569.39	3220028
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	4112.01	4111.9	3220022

SAT 2011 Competition: main competition (phase 2): benchmarks results per solver

Result page for solver MPhaseSAT_M 2011-02-16 (complete)

Category "random instances" (RANDOM)

Solver proved unsatisfiability (UNSATISFIABLE) (104 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (255 runs) [Show/Hide]

Solver timed out (no solution given) (241 runs) [Show/Hide]