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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.011997	0.00773894	3157919
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.012997	0.00803094	3158246
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.014996	0.00784505	3157966
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.015997	0.00862907	3157997
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.016996	0.010314	3158161
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.016997	0.00910396	3158089
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.016997	0.00936905	3158096
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.016997	0.00916596	3158016
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.017997	0.00978108	3158097
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.019996	0.00916605	3158150
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.019996	0.00956503	3158257
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.020995	0.00968689	3158196
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.020995	0.00900888	3158153
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.020996	0.0095569	3158180
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.020996	0.0104011	3158214
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.020996	0.00932396	3158219
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.021995	0.00999203	3158177
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.021995	0.010328	3158004
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.022995	0.0114741	3158036
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.022995	0.00904701	3158176
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.024995	0.0094799	3158262
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.024995	0.0106621	3157925
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.024995	0.0119839	3158057
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.025995	0.0127921	3158212
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.026995	0.010666	3158140
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.026995	0.0114211	3158050
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.027994	0.0115459	3158172
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.030994	0.0112091	3158135
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.032994	0.012567	3158105
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.033993	0.0135419	3158158
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.033994	0.012335	3158106
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.034993	0.0132809	3157910
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.035993	0.012918	3157982
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.035993	0.013293	3158149
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.035993	0.0155239	3158028
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.035993	0.0173879	3157965
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.035993	0.0131849	3157890
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.035993	0.013152	3158188
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.035994	0.014074	3157936
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.036993	0.016819	3157900
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.036993	0.013559	3157940
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.036994	0.013082	3158151
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.036994	0.013723	3157949
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.038993	0.014073	3158142
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.041993	0.0156269	3158054
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.042992	0.0162391	3158203
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.043992	0.015944	3157992
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.043992	0.0153951	3158260
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.046992	0.017186	3157959
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.046992	0.0163431	3157960
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.046992	0.0178321	3157985
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.047991	0.015297	3158247
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.050991	0.016405	3158192
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.051991	0.017924	3158080
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.05499	0.0204721	3158093
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.054991	0.0187761	3157986
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.054991	0.018086	3158259
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.05699	0.0178809	3157988
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.05699	0.019114	3158108
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	0.05799	0.0195829	3158116
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.058991	0.019341	3157963
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.061989	0.019915	3158056
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.062989	0.021928	3158110
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.063989	0.0209499	3157979
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.064989	0.0210069	3157920
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.06499	0.020641	3157928
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.067989	0.0219709	3158278
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.068988	0.021594	3158030
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.069989	0.0222831	3158234
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.070988	0.021837	3158121
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.071989	0.0234481	3158103
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.075987	0.0250509	3158064
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.078987	0.0253631	3158079
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.080986	0.024134	3158187
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.080987	0.024033	3158195
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.081986	0.024937	3158243
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.081987	0.0262661	3158183
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.083987	0.0257431	3157978
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.085986	0.026591	3158113
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.086985	0.025461	3158112
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	0.088985	0.026715	3158241
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.090986	0.027681	3158119
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.091986	0.0270859	3157911
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	0.095984	0.0277251	3158129
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.096985	0.0285409	3158035
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.098984	0.0301101	3157956
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	0.098984	0.029621	3158235
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.104983	0.029961	3157941
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.106983	0.031344	3158115
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.113981	0.046973	3158127
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.113982	0.0330601	3157913
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.114982	0.0341	3157929
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	0.120981	0.0356831	3158251
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.12198	0.035117	3158261
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.12198	0.0342051	3157921
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	0.127979	0.0365691	3158042
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.131979	0.037437	3158198
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.132979	0.037391	3158145
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.134978	0.037883	3157888
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.137979	0.0400629	3158046
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.140978	0.041063	3158213
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.149976	0.042413	3158226
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.152976	0.043974	3158058
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.153976	0.04466	3158269
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.166974	0.0465201	3158003
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.173972	0.049038	3158147
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.180971	0.0492271	3158256
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.18597	0.051728	3158031
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.208968	0.056373	3157932
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	0.216967	0.059233	3158220
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	0.220966	0.0603439	3158271
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.248962	0.0669329	3157937
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.268958	0.0710621	3158254
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.271957	0.110678	3157973
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	0.273957	0.0728949	3157882
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.280956	0.0754521	3157948
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	0.283955	0.0750131	3158122
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	0.288955	0.0772239	3157898
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.319951	0.0846809	3158070
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	0.32695	0.0865959	3158009
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.338947	0.0891361	3158185
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.344947	0.0912041	3158255
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.349946	0.0938501	3158179
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	0.360945	0.0958341	3158244
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.398938	0.103962	3158141
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.419936	0.110804	3157964
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	0.429934	0.111825	3158098
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	0.45193	0.117979	3158025
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	0.459929	0.120135	3157984
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	0.471927	0.122595	3157883
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	0.481926	0.124096	3157927
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.535917	0.139574	3157818
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	0.549916	0.141678	3157938
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.586909	0.151581	3158148
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	0.59191	0.153369	3157998
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	0.610906	0.15623	3157886
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	0.660898	0.169862	3158217
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.678895	0.174261	3158222
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.697893	0.179117	3157999
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.699892	0.179298	3158053
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	0.724888	0.185575	3157981
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	0.730888	0.187557	3158076
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	0.740887	0.190783	3158090
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.745885	0.191261	3158169
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	0.750885	0.192391	3158165
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	0.777881	0.199037	3158208
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.78088	0.263397	3157993
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	0.798878	0.204441	3158162
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	0.843871	0.215841	3158190
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	0.84587	0.217084	3158155
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	0.867868	0.222173	3158264
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	0.893864	0.22722	3158061
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	0.900863	0.230583	3158144
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	0.938856	0.241461	3157716
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	0.989848	0.252611	3157839
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	1.00984	0.278598	3158128
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	1.03284	0.264081	3158277
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	1.19682	0.30345	3157884
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	1.3378	0.338558	3157987
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	1.38779	0.351844	3158086
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	1.54976	0.390926	3158164
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	1.62975	0.411862	3158171
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	1.73673	0.439106	3157904
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	2.08468	0.526063	3158152
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	2.18967	0.552331	3158049
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	2.26166	0.569996	3157731
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	2.41263	0.608103	3158156
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	2.53461	0.63828	3158040
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	2.6056	0.656824	3157969
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	2.6376	0.663734	3157905
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	2.67559	0.675361	3158111
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	2.99754	0.754077	3157892
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	3.15852	0.794107	3157827
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	3.17352	0.799114	3158130
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	3.53246	0.889353	3158104
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	3.75143	0.941718	3157954
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	3.88241	0.974823	3158072
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	4.03239	1.01462	3158166
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	4.10738	1.03355	3158039
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	4.19336	1.05363	3158007
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	4.24035	1.06784	3157895
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	4.38633	1.10198	3158012
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	4.44832	1.11823	3158032
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	4.48832	1.12744	3158062
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	4.82926	1.21524	3158221
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	5.09723	1.28114	3158084
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	5.82211	1.4612	3158159
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	5.9021	1.4815	3158065
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	6.78097	1.70044	3157824
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	7.2659	1.82086	3158002
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	8.41872	2.11062	3157751
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	8.89165	2.26378	3157974
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	9.58354	2.4022	3158175
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	9.93149	2.48934	3158184
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	10.2234	2.56429	3158033
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	11.4903	2.88018	3157848
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	12.4021	3.10666	3158248
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	12.967	3.24876	3158240
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	15.5656	3.89947	3158245
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	16.0096	4.01075	3158136
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	16.8284	4.21644	3157996
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	17.1394	4.29374	3157756
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	17.7173	4.44159	3157858
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	17.9503	4.49756	3157801
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	18.1422	4.54628	3157854
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	18.7242	4.69054	3157737
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	19.2491	4.82222	3157889
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	26.597	6.66094	3158014
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	26.7099	6.68952	3157842
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	27.4858	6.88435	3157804
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	30.0874	7.53534	3158167
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	30.8793	7.73194	3157683
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	34.3988	8.61245	3157743
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	34.8667	8.73372	3157767
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	44.6642	11.1832	3157750
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	50.4233	12.6237	3157730
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	50.8233	12.7247	3157681
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	52.661	13.187	3157761
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	54.9526	13.7575	3157708
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	56.2215	14.0745	3157811
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	62.5975	15.6711	3157734
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	63.8523	15.9847	3157691
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	SAT	67.5667	16.9183	3157859
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	70.1963	17.5739	3157912
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	73.3059	18.3526	3157682
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	73.5828	18.4254	3157695
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	75.5595	18.9153	3157851
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	80.8647	20.2415	3158236
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	86.1369	21.5623	3158099
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	94.4986	23.7792	3157796
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	102.273	25.6023	3157703
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	122.018	30.542	3157759
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	127.456	31.909	3157780
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	129.771	32.4815	3158137
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	131.433	32.8993	3157819
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	137.779	34.4935	3157869
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	140.096	35.0756	3157776
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	149.043	37.3071	3157686
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	154.094	38.5804	3157744
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	157.418	39.4135	3157800
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	SAT	162.209	40.612	3157879
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	SAT	169.173	42.6556	3157873
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	SAT	196.717	49.2394	3157817
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	SAT	197.525	49.456	3157838
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	218.722	54.7452	3157835
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	221.375	55.4228	3157825
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	SAT	238.434	59.6974	3157781
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	SAT	241.213	60.3915	3157702
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	SAT	269.038	67.3555	3157747
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	270.406	67.6959	3157688
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	SAT	287.653	72.014	3157828
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	303.73	76.0209	3157809
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	SAT	310.712	77.7913	3157799
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	343.33	86.0544	3157721
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	SAT	345.769	86.6183	3157694
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	364.789	91.3206	3157857
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	375.658	94.0367	3157779
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	391.278	97.9916	3157791
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	394.733	98.7979	3157864
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	412.256	103.182	3157772
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	413.317	103.452	3157768
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	431.576	108.043	3157748
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	440.501	110.282	3157833
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	480.701	120.316	3157765
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	SAT	488.187	122.22	3157718
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	SAT	538.87	134.903	3157746
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	567.11	141.945	3157777
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	SAT	592.28	148.242	3157808
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	659.331	165.021	3157989
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	SAT	695.576	174.134	3157834
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	SAT	704.785	176.437	3157727
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	720.283	180.278	3157711
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	801.892	200.713	3157726
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	826.656	206.9	3157861
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	859.018	215.002	3157831
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	SAT	943.553	236.155	3157689
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	SAT	946.589	236.967	3157856
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	SAT	992.123	248.369	3157830
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	SAT	1002.18	250.882	3157717
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	1039.11	260.112	3157862
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	SAT	1253.91	313.83	3157738
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	1279.08	320.135	3157687
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	SAT	1318.71	330.137	3157794
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	SAT	1389.17	347.717	3157860
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	SAT	1532.73	383.808	3157843
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	1540.13	385.497	3157829
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	SAT	1602.12	401.007	3157709
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	1629.82	407.929	3157789
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	1727.7	432.549	3157798
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	1758.04	440.014	3157697
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	1959.23	490.358	3157865
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	2022.79	506.273	3157710
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	SAT	2027.46	507.719	3157815
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	2152.92	538.976	3157774
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	SAT	2281.48	570.995	3157725
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	2302.8	576.448	3157764
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	SAT	2904.31	727.168	3157877
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	SAT	3799.68	951.639	3157713
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	SAT	4190.18	1048.92	3157792
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	SAT	4249.43	1063.79	3157762
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	SAT	4269.93	1068.84	3157701
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	4329.86	1083.95	3157795
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	SAT	4467.71	1118.44	3157878

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

Result page for solver csls prob-4cores (incomplete)

Category "random instances" (RANDOM)

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

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