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-v300-c1278-S566093033-041.UNKNOWN.cnf	UNSAT	98.857	98.5635	3386921
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	UNSAT	99.2049	99.0463	3386655
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	UNSAT	99.5219	99.1998	3386931
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	UNSAT	99.5269	99.2448	3386947
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	UNSAT	100.208	100.063	3386806
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	UNSAT	100.316	100.241	3386666
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	UNSAT	100.369	100.266	3386986
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	UNSAT	100.382	100.333	3386997
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	UNSAT	100.651	100.648	3386776
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	UNSAT	100.665	100.407	3386768
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	UNSAT	100.707	100.439	3386889
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	UNSAT	100.873	100.785	3386702
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	UNSAT	100.916	101.075	3386735
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	UNSAT	101.244	101.076	3386976
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	UNSAT	101.255	101.102	3386973
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	UNSAT	101.265	101.043	3386766
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	UNSAT	101.362	101.139	3386801
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	UNSAT	101.365	101.134	3386985
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	UNSAT	101.377	101.251	3386963
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	UNSAT	101.387	101.124	3386659
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	UNSAT	101.448	101.179	3386708
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	UNSAT	101.453	101.365	3386982
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	UNSAT	101.536	101.436	3386777
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	UNSAT	101.568	101.45	3386952
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	UNSAT	101.668	101.473	3386940
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	UNSAT	102.14	106.517	3386682
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	UNSAT	102.574	102.519	3386709
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	UNSAT	102.736	102.487	3386729
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	UNSAT	102.798	102.714	3386693
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	UNSAT	102.832	102.697	3386833
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	UNSAT	106.298	106.162	3386832
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	UNSAT	106.381	106.096	3386697
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	UNSAT	106.817	106.659	3386932
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	UNSAT	107.025	106.723	3387008
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	UNSAT	107.173	106.859	3386892
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	UNSAT	107.196	107.004	3387000
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	UNSAT	107.595	107.58	3387016
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	UNSAT	107.665	107.563	3386841
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	UNSAT	107.733	107.638	3386689
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	UNSAT	108.092	108.149	3387031
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	UNSAT	108.152	107.911	3387023
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	UNSAT	108.224	107.944	3386716
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	UNSAT	108.24	111.784	3386876
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	UNSAT	108.286	108.158	3386764
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	UNSAT	108.631	108.483	3386882
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	UNSAT	109.672	109.495	3386710
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	UNSAT	109.752	109.347	3386858
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	UNSAT	109.822	109.588	3386817
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	UNSAT	110.38	110.323	3386780
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	UNSAT	112.421	112.188	3386859
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	UNSAT	124.049	123.917	3386639
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	UNSAT	125.306	125.104	3386962
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	UNSAT	126.262	126.097	3386730
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	UNSAT	127.76	127.587	3386845
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	UNSAT	130.65	130.448	3386825
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	UNSAT	133.388	132.911	3386878
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	UNSAT	138.375	137.934	3386928
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	UNSAT	141.096	140.76	3386691
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	UNSAT	143.149	142.694	3386867
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	UNSAT	145.358	145.001	3386959
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	UNSAT	227.189	226.372	3386831
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	UNSAT	236.43	235.791	3386897
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	UNSAT	236.576	237.265	3386778
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	UNSAT	254.082	253.357	3386692
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	UNSAT	256.039	255.393	3386818
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	UNSAT	257.28	256.333	3386965
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	UNSAT	259.266	258.613	3387026
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	UNSAT	259.673	258.652	3386995
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	UNSAT	330.844	329.644	3386660
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	UNSAT	404.316	402.834	3386787
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	UNSAT	414.585	413.043	3386951
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	UNSAT	419.344	417.849	3387007
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	UNSAT	430.669	434.487	3386728
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	UNSAT	433.175	431.785	3386795
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	UNSAT	452.644	451.148	3386704
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	UNSAT	454.178	458.047	3386769
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	UNSAT	460.516	458.567	3386836
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	UNSAT	468.805	467.456	3386785
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	UNSAT	488.633	486.7	3386991
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	UNSAT	534.99	533.084	3386849
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	UNSAT	545.263	543.211	3386964
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	UNSAT	628.062	625.961	3386983
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	UNSAT	632.62	630.098	3387028
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	UNSAT	633.256	630.682	3386827
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	UNSAT	633.692	637.412	3386781
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	UNSAT	634.577	632.471	3386884
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	UNSAT	636.312	633.685	3386784
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	UNSAT	636.7	634.451	3386802
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	UNSAT	636.756	634.357	3386852
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	UNSAT	636.953	635.22	3386661
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	UNSAT	654.375	651.791	3386936
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	UNSAT	792.303	790.188	3386665
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	UNSAT	867.994	864.214	3386987
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	UNSAT	869.862	867.057	3386824
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	UNSAT	1080.16	1076.03	3386773
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	UNSAT	1157.94	1153.77	3387025
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	UNSAT	1170.1	1165.84	3386775
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	UNSAT	1171.2	1166.43	3386853
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	UNSAT	1172.71	1168.66	3386968
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	UNSAT	1173.75	1169.03	3386826
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	UNSAT	1180.53	1176.52	3387024
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	UNSAT	1211.47	1206.96	3386782
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	UNSAT	3542.45	3559.29	3386904
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	UNSAT	3687.42	3675.45	3386748
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	UNSAT	3783.23	3784.74	3386681
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	UNSAT	3820.85	3807.93	3387010
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	UNSAT	4045.48	4028.89	3386969
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	UNSAT	4082.58	4065.01	3386835
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	UNSAT	4584.03	4569.39	3386749
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	UNSAT	4637.41	4620.67	3386645
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	UNSAT	4757.86	4737.2	3386725

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.494924	0.752879	3386847
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.500923	0.59557	3386808
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.501923	0.585747	3386762
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.502923	0.606846	3386755
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.504922	0.580202	3386794
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.508922	0.584219	3386863
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.513921	0.607209	3386909
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.516921	0.606671	3387015
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.51792	0.765178	3386786
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.52092	0.992103	3386977
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.521919	0.615557	3386907
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.524919	0.773399	3386658
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.525919	0.603668	3386938
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.526919	0.815592	3386905
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.528919	0.833592	3387001
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.528919	0.646026	3386972
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.529919	0.805343	3386970
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.529919	0.632425	3386930
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.532918	0.769962	3386893
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.535917	0.790741	3386885
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.535917	0.620436	3386954
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.535918	0.779541	3387004
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.536917	0.639267	3387018
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.537918	0.789878	3386961
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.540917	0.796931	3386668
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.541916	0.631036	3386911
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.542917	0.638353	3386669
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.544917	0.63534	3386934
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.546916	0.664209	3386815
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.550915	0.791102	3386854
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.550915	0.62311	3386946
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.551915	0.807383	3386908
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.553915	0.635036	3386871
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.560914	0.781446	3386919
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.561914	0.641551	3386864
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.562913	0.811103	3386717
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.563913	0.639783	3386855
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.568913	0.815922	3386898
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.571912	0.670805	3387036
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.572912	0.663574	3386945
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.574911	0.658579	3386900
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.575911	0.664692	3386678
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.576911	0.652295	3386935
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.577911	0.701022	3386903
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.580911	0.848728	3386992
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.582911	0.658529	3386838
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.582911	0.838401	3386861
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	0.58391	0.888692	3386999
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.58491	0.664455	3386648
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.58691	0.865119	3386731
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.590909	0.686102	3386718
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.592909	0.849015	3386814
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.592909	0.703264	3387020
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.594909	0.869049	3386877
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.595908	0.840886	3386851
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.597908	0.671199	3386714
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.601907	0.877512	3387005
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.604907	0.835181	3386721
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.605907	0.702286	3386812
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.612906	0.716502	3386671
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.613905	0.700626	3386744
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.613905	0.884793	3386953
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	0.617905	0.692863	3386923
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.620905	0.72433	3387017
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.624904	0.69463	3386707
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.625904	0.746255	3386899
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.626904	0.810258	3386677
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.627904	0.69854	3386984
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.634902	0.915529	3386774
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.639901	0.720257	3386751
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	0.639902	0.718203	3386696
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.641901	5.16019	3386683
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.6459	0.723325	3386916
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.6519	0.737132	3386722
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.658899	0.854905	3386694
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.659898	0.918035	3386822
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.662898	0.742634	3386695
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.668897	0.898701	3386811
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	0.669897	0.752555	3386993
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.671896	0.757047	3386870
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.673896	0.951449	3386927
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.678896	0.904942	3386698
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.687894	0.778807	3386906
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.688895	0.773333	3386679
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.691893	1.68972	3386879
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.696893	1.32948	3386737
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	0.697893	0.779526	3387002
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.701893	0.93806	3386706
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.71689	0.794974	3386723
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.725888	0.97493	3386950
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.725889	0.978806	3386804
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.727888	0.97429	3387027
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.729888	0.84597	3386971
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.732888	0.963939	3386690
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.734888	0.979384	3386868
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.736887	0.815532	3386687
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.737887	0.822632	3386757
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.740887	0.912784	3386793
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.741886	1.54472	3386736
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	0.749885	1.01955	3387029
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	0.751885	1.02314	3386656
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.752885	0.999099	3386873
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.764883	1.01685	3386941
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.766882	1.05206	3386943
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	0.774881	1.08269	3387009
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.775882	0.99841	3386866
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.776881	1.01705	3386750
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.78088	1.05975	3387012
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.78288	0.870203	3386724
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.78488	0.869047	3386699
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.806876	1.04829	3386837
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.836871	1.07617	3386937
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	0.864867	0.948923	3386856
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.871867	0.945599	3386743
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.874866	0.986762	3386828
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.916859	1.15322	3386646
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	0.932857	1.00892	3386742
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	0.951855	1.02891	3386644
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.964853	1.06814	3387019
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.983849	1.17375	3386788
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	0.993848	1.18981	3386745
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	1.00085	1.10582	3387013
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	1.00485	1.60211	3386789
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	1.02184	1.25508	3387022
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	1.03784	1.14448	3386816
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	1.04084	1.31083	3387035
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	1.05984	1.13493	3386740
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	1.09483	1.17724	3386980
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	1.09683	1.17265	3386686
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	1.11283	1.29044	3386489
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	1.13083	1.22878	3387014
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	1.17482	1.44441	3386653
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	1.23081	1.41802	3386576
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	1.25081	1.54211	3386739
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	1.26081	1.36517	3386756
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	1.26481	1.3383	3386746
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	1.2888	1.58046	3386956
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	1.37879	1.46555	3386920
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	1.49277	1.71047	3386474
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	1.49377	1.5781	3386924
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	1.54377	1.62241	3386886
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	1.54377	2.54922	3386880
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	1.60076	1.85386	3386650
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	1.62175	1.8641	3386834
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	1.76973	1.87259	3386761
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	1.80172	2.02935	3386662
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	1.86372	2.1399	3386902
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	1.88871	2.12496	3386585
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	1.9587	2.2322	3386767
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	1.9647	2.045	3386869
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	2.16467	2.39857	3386966
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	2.19067	2.28634	3386790
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	2.20666	2.44038	3386641
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	2.20766	2.29689	3386819
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	2.39264	2.59909	3386978
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	2.50962	2.59328	3386663
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	2.52461	2.61655	3386820
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	2.54261	2.79359	3386582
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	2.6016	4.2682	3386501
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	2.6206	2.69912	3386800
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	2.66059	3.07757	3386461
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	2.68459	2.76854	3386887
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	2.74558	2.85051	3386791
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	2.76458	3.02883	3386712
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	2.83757	2.91316	3386848
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	3.05153	3.1125	3386514
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	3.23951	3.34367	3386929
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	3.53746	3.62228	3386642
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	3.77143	4.00208	3386797
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	4.06138	5.38521	3386823
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	4.10637	4.19089	3386910
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	4.11037	4.37474	3386640
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	4.18936	4.44247	3386685
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	4.33134	4.53255	3386979
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	4.48632	4.73228	3386597
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	4.53031	4.60749	3386888
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	4.69629	4.93452	3386922
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	4.76028	4.81827	3386647
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	4.89425	5.13009	3386975
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	5.00024	5.08668	3386559
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	5.44317	5.72293	3386760
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	5.53716	5.75535	3386612
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	5.69513	5.77431	3386616
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	5.72813	5.78263	3386874
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	5.98009	6.1981	3386765
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	6.64099	6.82991	3386538
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	6.66299	6.91104	3386830
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	6.70698	6.74804	3386862
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	7.01893	7.10164	3386772
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	8.09777	8.31139	3386600
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	8.14876	8.37637	3386770
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	8.81666	9.1523	3386444
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	8.92864	9.00229	3386670
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	8.94764	9.01739	3386948
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	9.2036	9.41384	3386783
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	9.39257	9.4728	3386942
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	9.41157	9.51136	3387006
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	10.4734	10.6866	3386627
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	10.5194	10.7557	3386933
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	12.0992	12.3626	3386807
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	12.996	13.2504	3386727
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	13.373	13.41	3386914
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	14.0139	14.058	3386798
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	14.2908	14.5395	3386525
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	14.6288	14.8268	3386754
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	15.1577	15.7357	3386455
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	17.5203	17.7092	3386593
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	18.2252	18.2431	3386917
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	19.2001	19.3881	3386606
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	21.9627	22.2403	3386495
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	23.8134	23.8007	3386994
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	23.9074	23.9024	3386517
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	23.9284	24.1141	3386583
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	28.9576	28.9157	3386857
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	29.2396	29.2251	3386587
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	30.2394	30.2832	3386446
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	32.4461	32.6358	3386558
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	33.9228	34.0484	3386535
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	34.3358	34.3198	3386925
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	35.0157	34.9726	3386913
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	35.2066	35.3713	3386615
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	38.9271	38.9966	3386453
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	40.2829	40.4174	3386622
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	40.7318	40.7117	3386519
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	42.3606	42.4342	3386562
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	43.5294	43.5525	3386502
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	46.5519	46.764	3386440
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	46.9159	46.8257	3386620
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	49.1075	49.0423	3386506
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	50.2064	50.3274	3386844
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	51.0982	51.2193	3386569
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	53.9488	54.0221	3386530
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	55.4186	55.4343	3386732
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	SAT	58.8121	58.8228	3386452
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	SAT	60.9967	61.0623	3386631
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	SAT	61.5016	61.4263	3386617
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	62.8964	62.9278	3386534
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	68.9905	68.9843	3386609
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	SAT	69.6634	70.1974	3386494
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	70.5463	70.5909	3386439
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	SAT	71.8471	71.8704	3386637
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	73.1159	72.9067	3386747
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	77.1603	77.6336	3386466
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	80.5048	80.3148	3386894
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	SAT	83.8642	83.7701	3386586
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	87.4347	87.3227	3386895
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	91.944	92.5291	3386492
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	96.0364	95.9946	3386623
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	103.129	102.855	3386509
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	SAT	103.526	103.507	3386550
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	120.854	120.618	3386577
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	123.166	123.008	3386526
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	131.422	131.26	3386567
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	145.513	145.035	3386523
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	155.18	155.411	3386479
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	182.073	182.114	3386488
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	SAT	182.964	182.668	3386592
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	SAT	184.748	184.27	3386601
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	191.517	191.069	3386556
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	191.703	191.66	3386469
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	SAT	197.702	197.602	3386459
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	199.133	198.527	3386998
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	205.075	204.678	3386445
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	210.08	209.942	3386508
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	210.16	209.968	3386441
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	SAT	229.121	229.323	3386462
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	SAT	231.694	231.264	3386566
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	234.677	234.169	3386554
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	240.333	239.771	3386537
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	SAT	247.988	247.448	3386596
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	256.339	255.993	3386484
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	280.9	280.121	3386591
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	SAT	293.781	293.027	3386635
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	295.333	294.665	3386549
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	295.966	295.126	3386522
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	SAT	323.528	322.665	3386539
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	SAT	330.101	329.589	3386480
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	SAT	334.5	333.636	3386533
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	SAT	337.078	336.265	3386603
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	SAT	368.499	367.557	3386505
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	SAT	381.972	380.959	3386475
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	SAT	391.801	390.876	3386552
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	412.039	413.113	3386449
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	431.632	430.454	3386532
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	SAT	452.824	451.542	3386447
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	SAT	464.996	463.842	3386476
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	SAT	471.205	469.843	3386611
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	698.28	695.578	3387003
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	937.109	934.694	3386589
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	1004.63	1001.4	3386553
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	SAT	1072.72	1069.76	3386542
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	1258.61	1256.18	3386468
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	SAT	1262.63	1259.39	3386504
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	SAT	1426.32	1423.22	3386460
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	SAT	1456.09	1450.3	3386575
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	SAT	1640.17	1635.95	3386543
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	SAT	1882.06	1877.71	3386467
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	SAT	2378.5	2369.4	3386529
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	SAT	2712.22	2704.66	3386490
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	SAT	2740.93	2730.58	3386608
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	3231.53	3222.75	3386619
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	SAT	3351.86	3340.43	3386563
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	SAT	3523.89	3510.02	3386590
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	SAT	4901.43	4881.47	3386511

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	4749.41	5100.12	3386507
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	4816.26	5100.06	3386738
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	? (TO)	5000	4980.17	3386957
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	? (TO)	5000.01	4983.27	3386705
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	? (TO)	5000.01	4982.57	3386726
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	5000.01	4980.37	3386883
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	? (TO)	5000.01	4979.89	3386821
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	5000.02	4981.87	3386891
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	? (TO)	5000.02	4983.48	3386715
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	5000.02	4979.97	3386872
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	5000.02	4985.63	3386471
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	? (TO)	5000.02	4982.2	3386752
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	5000.02	4981.29	3386805
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	5000.02	4992.92	3386513
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	? (TO)	5000.02	4981.29	3386643
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	5000.02	4981.47	3386711
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	5000.03	4981.27	3386733
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	5000.03	4981.17	3386803
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	? (TO)	5000.03	4996.61	3386482
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	5000.03	4996.61	3386500
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	5000.03	4978.08	3386865
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	5000.04	4981.07	3386713
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	5000.04	4997.76	3386684
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	5000.04	4995.46	3386881
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	5000.04	4980.37	3386875
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	5000.04	4987.72	3386491
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	5000.04	4980.23	3386518
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	5000.04	4980.89	3386813
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	5000.04	4981.77	3386939
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	5000.04	4985.77	3386771
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	? (TO)	5000.05	4978.69	3386758
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	5000.05	4982.37	3386664
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	5000.05	4983.27	3386680
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	? (TO)	5000.05	4981.4	3386672
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (TO)	5000.05	4980.92	3387021
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	? (TO)	5000.05	4983.87	3386734
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	? (TO)	5000.05	4981.88	3386700
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	5000.05	4982.57	3386843
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	5000.05	4981.12	3386605
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	? (TO)	5000.06	4978.57	3386990
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (TO)	5000.06	4983.32	3386638
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	? (TO)	5000.06	4979.4	3386531
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (TO)	5000.06	4983.9	3386810
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	5000.06	4980.89	3386779
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	5000.06	4981.07	3387030
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	? (TO)	5000.06	4983.97	3386949
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	5000.06	4982.67	3386839
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	5000.06	4981.81	3386454
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	? (TO)	5000.06	4984.2	3387037
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	5000.06	4982.87	3386901
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (TO)	5000.06	4984.31	3386967
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	5000.07	4980.53	3386456
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (TO)	5000.07	4983.22	3386896
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	5000.07	4981.27	3386840
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	5000.07	4981.07	3386688
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	5000.07	4981.57	3386676
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	5000.07	4984.27	3386674
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	5000.07	4984.67	3386673
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	5000.07	4980.99	3386654
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	? (TO)	5000.07	4978.07	3386926
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	5000.07	4980.23	3386607
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	5000.07	4981.33	3386520
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	5000.07	4982.11	3386493
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	5000.07	4985.52	3386443
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (TO)	5000.07	4993.02	3386759
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	5000.08	4978.5	3386753
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (TO)	5000.08	4989.72	3386763
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	5000.08	4983.77	3386974
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (TO)	5000.08	4984.7	3386792
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	? (TO)	5000.08	4979.17	3386652
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	5000.08	4982.22	3386621
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	? (TO)	5000.08	4983.97	3387033
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	5000.08	4980.43	3386633
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	5000.08	4985.23	3386544
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	5000.08	4980.17	3386703
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	5000.09	4981.17	3386796
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	? (TO)	5000.09	4980.38	3386588
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	5000.09	4984.02	3386485
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (TO)	5000.09	4983.91	3386989
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (TO)	5000.09	4983.01	3386850
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (TO)	5000.09	4984.8	3386701
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	? (TO)	5000.09	4984.27	3386649
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (TO)	5000.09	4984.22	3386996
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	5000.09	4981.27	3386944
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (TO)	5000.09	4982.02	3386667
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	5000.09	4994.46	3386981
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	5000.1	4979.69	3386846
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	5000.1	5012.62	3386636
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	? (TO)	5000.1	4980.79	3386960
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	5000.1	4981.47	3386958
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	5000.1	4980.22	3386545
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	5000.1	4979.07	3386918
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	5000.1	4980.37	3387011
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	? (TO)	5000.1	5000.48	3386581
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	5000.1	4980.37	3386912
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	? (TO)	5000.1	4980.47	3387034
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	5000.11	4980.67	3386890
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	5000.11	4982.83	3386614
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (TO)	5000.11	4979.73	3386651
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	5000.11	4981.02	3386988
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	? (TO)	5000.11	4981.3	3386829
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	5000.11	4999.48	3386809
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	? (TO)	5000.11	4980.5	3386657
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	? (TO)	5000.11	4978.4	3386675
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	? (TO)	5000.11	4984.1	3386720
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	5000.12	4984.18	3386915
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	? (TO)	5000.12	4983.08	3386860

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (MO)	1989.63	1983.43	3386486
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (MO)	1989.68	1984.54	3386478
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (MO)	1994.16	1992.13	3386481
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	? (MO)	2869.05	2860.04	3386557
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	? (MO)	2967.71	2957.95	3386524
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (MO)	2970.07	2962.35	3386540
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (MO)	2972.04	2964.54	3386512
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (MO)	3351.18	3339.63	3386568
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	? (MO)	3366.14	3353.93	3386618
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	? (MO)	3368.73	3357.34	3386442
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	? (MO)	3444.78	3433.73	3386634
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (MO)	3449.72	3437.54	3386574
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (MO)	3449.79	3438.64	3386628
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (MO)	3450.98	3440.84	3386499
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (MO)	3451.09	3439.74	3386450
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (MO)	3451.63	3440.93	3386521
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	? (MO)	3451.67	3441.93	3386470
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (MO)	3452.81	3443.04	3386472
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (MO)	3452.93	3440.84	3386527
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (MO)	3453.57	3441.94	3386561
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	? (MO)	3453.92	3441.94	3386599
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (MO)	3454.55	3443.04	3386451
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (MO)	3454.81	3445.24	3386458
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	? (MO)	3454.83	3445.33	3386579
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (MO)	3455.23	3445.24	3386573
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (MO)	3455.32	3444.14	3386630
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (MO)	3455.36	3441.94	3386503
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (MO)	3456.3	3446.34	3386602
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (MO)	3456.67	3445.24	3386465
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (MO)	3457.24	3445.24	3386548
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (MO)	3458.03	3446.34	3386516
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (MO)	3458.06	3444.14	3386546
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (MO)	3458.74	3446.34	3386528
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (MO)	3459.48	3446.34	3386624
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (MO)	3459.8	3447.44	3386515
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (MO)	3461.82	3447.55	3386594
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (MO)	3464.29	3450.74	3386629
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (MO)	3545.83	3532.14	3386613
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (MO)	3546	3532.25	3386510
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (MO)	3546.23	3535.44	3386565
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (MO)	3547.91	3537.64	3386555
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (MO)	3548.2	3534.34	3386536
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (MO)	3548.28	3533.25	3386632
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (MO)	3548.33	3537.63	3386560
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (MO)	3548.43	3536.54	3386571
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (MO)	3548.84	3537.64	3386584
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (MO)	3550.04	3539.83	3386598
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (MO)	3550.33	3539.83	3386457
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (MO)	3550.97	3539.84	3386570
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (MO)	3551.19	3542.03	3386572
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (MO)	3551.22	3540.94	3386498
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (MO)	3552.61	3542.03	3386595
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (MO)	3552.74	3538.75	3386464
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (MO)	3553.61	3576.14	3386551
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (MO)	3554	3543.14	3386578
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (MO)	3554.65	3599.34	3386448
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (MO)	3554.92	3542.04	3386604
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (MO)	3556.4	3542.04	3386626
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (MO)	3557.63	3547.53	3386580
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (MO)	3558.21	3547.54	3386610
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (MO)	3561.58	3551.94	3386487
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (MO)	3561.93	3550.34	3386477
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (MO)	3567.88	3555.34	3386564
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (MO)	3569.16	3555.24	3386541
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	? (MO)	3641.13	3627.84	3386625
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	? (MO)	3644.75	3632.84	3386496
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	? (MO)	3648.22	3638.14	3386463
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	? (MO)	3649.92	3636.64	3386438
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (MO)	4541.38	4524.35	3386741
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (MO)	4546.61	4528.05	3386955
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (MO)	4705.81	4688.35	3386799
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (MO)	4811.93	4794.94	3386719

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	Wrong Cert.	801.365	799.696	3386473
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	Wrong Cert.	1124.25	1119.75	3386547
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	Wrong Cert.	1555.07	1551.21	3386483
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	Wrong Cert.	2696.26	2686.38	3386497
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	Wrong Cert.	3431	3416.01	3386842

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

Result page for solver borg-sat 11.03.02-seq-random (fixed) (complete)

Category "random instances" (RANDOM)

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

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

Solver didn't decide (UNKNOWN) (1 run) [Show/Hide]

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

Solver exceeded the memory limit (no solution given) (72 runs) [Show/Hide]

Solver gave a wrong solution (5 runs) [Show/Hide]