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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	UNSAT	30.7553	30.758	3211610
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	UNSAT	30.7803	30.779	3211570
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	UNSAT	30.8213	30.8209	3211606
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	UNSAT	30.9203	30.9207	3211654
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	UNSAT	30.9363	30.9354	3211518
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	UNSAT	31.0113	31.0168	3210330
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	UNSAT	31.0683	31.0694	3211390
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	UNSAT	31.1093	31.1104	3210606
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	UNSAT	31.1103	31.1152	3210870
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	UNSAT	31.3212	31.3203	3211558
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	UNSAT	31.3472	31.3488	3211594
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	UNSAT	31.5892	31.5883	3210302
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	UNSAT	32.1071	32.1062	3210774
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	UNSAT	32.651	32.6504	3211474
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	UNSAT	32.793	32.7932	3210770
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	UNSAT	32.873	32.8737	3210498
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	UNSAT	33.4249	33.4265	3211426
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	UNSAT	33.5109	33.5124	3211454
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	UNSAT	33.8109	33.8098	3210738
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	UNSAT	36.5214	36.5226	3211222
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	UNSAT	36.7484	36.7521	3211350
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	UNSAT	38.8321	38.8412	3210474
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	UNSAT	40.6358	40.6358	3210890
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	UNSAT	42.0906	42.0916	3210286
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	UNSAT	48.9386	48.9724	3210394
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	UNSAT	51.0052	51.0034	3210998
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	UNSAT	53.4179	53.4161	3210730
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	UNSAT	55.2756	55.2812	3210582
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	UNSAT	69.3305	69.3366	3210502
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	UNSAT	72.256	72.2605	3211394
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	UNSAT	74.0957	74.1026	3210994
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	UNSAT	74.6846	74.6832	3211234
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	UNSAT	75.8405	75.8472	3211194
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	UNSAT	76.0134	76.0169	3211790
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	UNSAT	77.0023	77.0043	3211170
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	UNSAT	77.0183	77.0178	3211098
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	UNSAT	81.6706	81.6726	3211102
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	UNSAT	96.2544	96.2562	3210438
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	UNSAT	103.337	103.337	3211514
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	UNSAT	106.639	106.638	3211046
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	UNSAT	109.406	109.411	3210222
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	UNSAT	109.48	109.482	3210586
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	UNSAT	110.966	110.963	3210966
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	UNSAT	116.419	116.429	3210454
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	UNSAT	120.201	120.203	3211178
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	UNSAT	120.4	120.406	3211758
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	UNSAT	120.665	120.667	3211730
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	UNSAT	120.672	120.675	3210430
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	UNSAT	120.703	120.707	3210422
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	UNSAT	122.732	122.736	3211134
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	UNSAT	128.702	128.709	3211378
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	UNSAT	128.935	128.945	3210530
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	UNSAT	134.957	134.962	3211030
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	UNSAT	135.251	135.254	3210786
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	UNSAT	137.785	137.783	3211666
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	UNSAT	139.372	139.381	3211502
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	UNSAT	143.945	143.948	3210722
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	UNSAT	151.251	151.252	3210934
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	UNSAT	214.33	214.332	3211698
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	UNSAT	229.744	229.741	3211254
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	UNSAT	245.746	245.739	3210990
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	UNSAT	254.639	254.638	3210778
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	UNSAT	278.699	278.702	3211770
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	UNSAT	278.846	278.84	3211526
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	UNSAT	280.768	280.77	3211646
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	UNSAT	283.518	283.512	3211778
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	UNSAT	297.538	297.536	3210874
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	UNSAT	297.67	297.662	3211074
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	UNSAT	299.554	299.548	3210310
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	UNSAT	299.857	299.856	3210938
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	UNSAT	300.867	300.866	3210802
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	UNSAT	305.287	305.282	3211598
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	UNSAT	314.796	314.793	3210790
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	UNSAT	317.01	317.003	3211202
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	UNSAT	317.733	317.728	3211522
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	UNSAT	318.993	318.994	3210974
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	UNSAT	332.37	332.376	3210434
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	UNSAT	337.273	337.274	3210506
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	UNSAT	381.203	381.191	3210306
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	UNSAT	513.655	513.639	3211470
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	UNSAT	756.655	756.645	3211410
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	UNSAT	944.995	944.975	3210326
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	UNSAT	1059.34	1059.32	3211282
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	UNSAT	1339.77	1339.73	3210658
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	UNSAT	1374.55	1374.51	3211706
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	UNSAT	1403.85	1403.8	3210390
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	UNSAT	1704.38	1704.34	3211542
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	UNSAT	1770.54	1770.5	3211006
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	UNSAT	2549.49	2549.42	3210246
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	UNSAT	2777.62	2777.53	3210662
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	UNSAT	3021.92	3021.83	3210566
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	UNSAT	3139.78	3139.68	3211506
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	UNSAT	3219.97	3219.95	3211626
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	UNSAT	4581.92	4581.81	3210486
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	UNSAT	4680.92	4680.79	3211802
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	UNSAT	4697	4696.87	3210526
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	UNSAT	4896.51	4896.38	3210806

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.003999	0.00627006	3211054
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.005998	0.00654108	3211726
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	0.005998	0.00944611	3210314
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.005998	0.0072741	3211302
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.006998	0.0104139	3211510
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.007998	0.00853493	3211082
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.007998	0.00740403	3211418
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.007998	0.00827689	3210338
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.007998	0.00803205	3211238
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.008997	0.00943803	3210534
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.009997	0.00999501	3211682
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.010997	0.011239	3211574
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.011997	0.012361	3211206
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.011997	0.0117089	3211330
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.011998	0.0119981	3211258
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.011998	0.013923	3211446
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.012997	0.012912	3210842
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.013997	0.0145211	3211482
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.013997	0.0148491	3210686
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.014997	0.0169019	3210374
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.014997	0.0140149	3210398
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.014997	0.0146339	3211122
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.014997	0.0155961	3211406
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.015996	0.016113	3211386
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.015996	0.016042	3211298
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.016997	0.0171351	3211738
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.017996	0.0177799	3211174
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.017996	0.018501	3211746
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.018996	0.020022	3210590
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.019996	0.020022	3211018
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.019996	0.0200531	3210914
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.021995	0.022372	3211450
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.021995	0.023185	3211546
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.022995	0.0240611	3211342
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.023995	0.0242379	3211266
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.023995	0.0246151	3210714
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.023995	0.0245999	3211402
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.024995	0.025922	3210642
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	0.025995	0.026603	3211806
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.026995	0.0269041	3210494
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.026995	0.0286781	3211602
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.029994	0.0306371	3211014
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.033994	0.0341129	3211182
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.035993	0.0376811	3210426
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.035994	0.0369531	3210954
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.036993	0.03727	3210898
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.037993	0.0387289	3210610
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.037994	0.038327	3211634
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.038993	0.039543	3211150
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.038993	0.0388811	3210810
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.042992	0.043182	3211294
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.043992	0.046243	3211810
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.044992	0.045889	3210298
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.048991	0.0496411	3210882
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.048992	0.0497311	3210694
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.049991	0.049816	3210258
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.051991	0.053024	3211466
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.052991	0.0535249	3210638
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.05499	0.0558279	3211158
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.054991	0.055718	3210558
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.05899	0.0593279	3211286
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.06399	0.064049	3211550
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.064989	0.0644989	3210378
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.065989	0.066511	3211554
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.067988	0.0684951	3210538
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.070988	0.07137	3211110
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	0.071988	0.073165	3210942
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.076987	0.077149	3211086
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	0.078987	0.081476	3211274
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.078987	0.0794019	3210650
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	0.082987	0.083719	3210854
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.084987	0.0847811	3210250
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	0.084987	0.0856661	3211638
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.087985	0.087946	3210762
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.087986	0.0876859	3210926
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.096984	0.097244	3211138
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.096985	0.0984979	3211118
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	0.098984	0.0991119	3211346
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.103983	0.104748	3211586
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.105983	0.107791	3210442
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.107982	0.108575	3211670
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.109983	0.11036	3210458
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.110982	0.111165	3210838
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.114981	0.116264	3211438
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.117982	0.119189	3210978
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.118981	0.118773	3211734
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.12798	0.129336	3210490
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.139978	0.14095	3211146
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	0.141977	0.142011	3210514
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.141977	0.145704	3211774
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	0.143977	0.143966	3210734
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.153976	0.1546	3210562
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.163974	0.164164	3211278
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.164974	0.165616	3211070
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.169973	0.169774	3211310
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.172972	0.173072	3211686
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.179971	0.181212	3211722
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.18797	0.187636	3210410
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.18997	0.191825	3211290
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.213966	0.21569	3210922
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.226965	0.227539	3211714
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	0.241963	0.242581	3210690
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.250961	0.25185	3210550
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.25696	0.257158	3210930
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	0.261959	0.26296	3210634
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.273957	0.274178	3210614
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.280956	0.280963	3210350
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	0.287955	0.28853	3210450
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.290955	0.290657	3211374
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.304952	0.306125	3211718
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.306952	0.30726	3211742
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.312951	0.313591	3210626
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.31695	0.318942	3210462
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.32195	0.322054	3211262
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	0.327949	0.327793	3211530
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.335948	0.335775	3210342
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.357944	0.3583	3210910
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.380941	0.381504	3210382
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	0.414936	0.415895	3211002
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.416935	0.416541	3211430
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.418935	0.418843	3210710
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	0.424934	0.425216	3211090
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	0.433933	0.434885	3211578
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	0.437932	0.4388	3211358
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.445931	0.4461	3210670
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	0.488924	0.489023	3210234
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.503922	0.504325	3210414
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	0.540917	0.540854	3210254
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.545916	0.546694	3211478
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	0.570912	0.571957	3211702
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.595908	0.597303	3211490
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	0.634902	0.637449	3211354
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.6499	0.649754	3210666
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.675896	0.677151	3210818
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.686895	0.688138	3210822
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.690894	0.692481	3211414
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	0.725888	0.726014	3210242
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	0.740887	0.744699	3210318
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	0.796878	0.796411	3211674
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	0.797878	0.798367	3211210
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.805876	0.806002	3209970
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.897862	0.899818	3211130
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	0.930857	0.931819	3210798
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	1.01984	1.02102	3210706
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	1.04284	1.04312	3211318
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	1.05684	1.0579	3210682
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	1.10583	1.1073	3211186
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	1.15682	1.15688	3210230
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	1.16082	1.1614	3210446
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	1.18982	1.1905	3211566
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	1.19582	1.19546	3210226
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	1.20681	1.20738	3210406
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	1.2968	1.29731	3211218
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	1.3168	1.31665	3211214
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	1.3258	1.3267	3211162
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	1.60875	1.61172	3210866
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	1.61675	1.61789	3211306
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	1.61775	1.61908	3211662
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	1.81072	1.81231	3210826
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	1.82372	1.82435	3211362
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	1.88371	1.88441	3211058
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	1.9637	1.96328	3210958
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	2.01769	2.01735	3210290
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	2.07468	2.07494	3210830
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	2.14667	2.14783	3210946
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	2.15467	2.15522	3210554
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	2.49062	2.49047	3210986
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	2.58261	2.58292	3211582
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	2.58461	2.58452	3209562
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	2.6336	2.63368	3211142
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	2.68859	2.6899	3211754
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	2.75558	2.75922	3210522
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	2.76258	2.76324	3210278
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	2.78357	2.78591	3210266
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	2.84857	2.85288	3210622
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	3.68844	3.68939	3211678
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	3.9414	3.94088	3211642
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	4.51831	4.51852	3210894
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	4.90425	4.90612	3209814
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	5.60315	5.60298	3211042
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	5.81212	5.81232	3211690
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	6.536	6.53611	3209622
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	6.607	6.60751	3211382
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	6.95794	6.95884	3211114
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	7.15691	7.15708	3210746
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	7.62384	7.62451	3211782
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	7.65983	7.66016	3211334
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	7.97279	7.97232	3211434
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	8.03878	8.03869	3211322
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	9.09662	9.09945	3210646
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	9.38957	9.38989	3210090
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	11.9552	11.955	3210726
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	14.0259	14.026	3211366
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	14.9407	14.9422	3209806
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	16.6955	16.6975	3211398
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	17.5643	17.5641	3210858
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	17.6763	17.6752	3211658
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	18.6682	18.6684	3209994
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	20.6659	20.6658	3211094
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	22.6995	22.7007	3210754
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	69.3685	69.375	3210006
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	69.8474	69.8469	3209510
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	70.7892	70.8031	3210054
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	71.0082	71.0116	3209442
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	72.7459	72.7461	3209722
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	73.7118	73.7169	3209646
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	73.9718	73.9762	3209702
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	76.5634	76.5642	3211458
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	77.3762	77.3834	3210114
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	78.653	78.6664	3210022
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	79.6409	79.6463	3209902
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	85.1111	85.117	3210066
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	87.0338	87.0482	3209758
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	87.5407	87.5435	3210654
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	90.2563	90.2619	3209670
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	91.3471	91.3521	3209734
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	91.889	91.9048	3210574
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	92.066	92.0726	3209618
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	93.8277	93.8298	3210038
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	93.9037	93.9067	3210130
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	117.235	117.241	3209634
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	SAT	122.68	122.683	3209834
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	130.494	130.496	3209914
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	132.287	132.292	3209818
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	133.14	133.14	3210346
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	139.502	139.503	3209446
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	157.362	157.357	3209934
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	157.744	157.744	3210594
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	158.878	158.887	3209742
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	159.695	159.699	3210102
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	SAT	164.623	164.623	3210178
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	178.444	178.439	3210154
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	186.554	186.549	3209942
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	209.358	209.392	3209478
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	SAT	213.071	213.071	3209546
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	213.769	213.77	3211034
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	214.949	214.981	3209698
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	229.056	229.055	3209430
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	240.536	240.536	3210174
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	294.583	294.58	3209998
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	SAT	322	321.996	3209514
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	397.928	397.921	3209422
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	405.976	405.974	3209674
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	414.828	414.826	3209974
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	421.914	421.906	3210126
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	423.343	423.333	3209542
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	441.784	441.781	3209766
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	456.556	456.549	3209582
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	501.298	501.282	3210142
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	515.727	515.72	3209426
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	577.433	577.428	3209530
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	587.421	587.414	3209690
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	603.48	603.478	3209890
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	613.169	613.157	3209854
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	654.556	654.547	3209602
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	715.556	715.553	3209462
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	SAT	726.365	726.354	3209966
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	755.929	755.918	3209486
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	825.782	825.772	3209802
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	SAT	829.852	829.832	3210166
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	837.486	837.463	3210014
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	SAT	861.698	861.685	3210134
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	941.236	941.221	3209770
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	SAT	956.318	956.298	3210206
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	1028.53	1028.52	3209794
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	1145.73	1145.72	3209786
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	1184.11	1184.08	3210146
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	1390.66	1390.62	3210158
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	1427.02	1426.97	3209882
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	1437.88	1437.85	3209450
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	SAT	1528.92	1528.87	3209454
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	1612.52	1612.46	3209538
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	SAT	1655.12	1655.07	3210070
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	1715.33	1715.28	3209898
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	SAT	1979.96	1979.92	3209566
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	SAT	2068.75	2068.69	3210062
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	2270.63	2270.57	3209878
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	2546.78	2546.74	3210030
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	SAT	2638.94	2638.84	3209418
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	SAT	2964.14	2964.04	3209930
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	SAT	3119.85	3119.75	3209598
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	3367.6	3367.54	3209862
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	SAT	3623.4	3623.29	3209858
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	4723.07	4723.03	3209754
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	SAT	4813.79	4813.68	3209982
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	SAT	4838.87	4838.72	3209518
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	SAT	4903.05	4902.94	3209470

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

Result page for solver SAT09 reference solver: SATzilla2009_R 2009-03-22 (complete)

Category "random instances" (RANDOM)

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (216 runs) [Show/Hide]