SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.009997	0.010447	1629994
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.009997	0.01075	1629778
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.010997	0.0110041	1629997
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.010997	0.01117	1630042
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.010998	0.0114751	1630018
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.011998	0.0126079	1629982
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.012998	0.0138261	1629937
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.012998	0.0138839	1629892
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.013997	0.014594	1629961
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.013997	0.0129829	1630030
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.014996	0.0140749	1629766
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.014996	0.015893	1629910
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.014997	0.0150871	1629895
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.014997	0.0153529	1630012
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.015997	0.0165089	1630024
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.015997	0.0147719	1629844
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.015997	0.0168349	1629952
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.016996	0.0170831	1630036
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.016996	0.017693	1629763
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.016996	0.017745	1629733
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.016996	0.0172271	1629850
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.017996	0.0183841	1629814
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.017997	0.018494	1629826
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.018996	0.0194229	1629787
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.018996	0.019163	1629781
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.018997	0.0192341	1629946
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.019996	0.018725	1629829
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.019996	0.0208979	1630003
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.019996	0.0193761	1629721
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.020996	0.021428	1629874
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.020996	0.0210419	1629790
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.021995	0.0211539	1629757
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.021995	0.0225321	1629988
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.022995	0.0219481	1629868
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.022995	0.023546	1629802
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.023995	0.0237871	1629865
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.024995	0.0238499	1630006
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.024995	0.0240631	1629823
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.025995	0.024515	1629889
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.026995	0.027178	1629907
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.027995	0.028258	1629931
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.027995	0.027881	1630009
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.027995	0.0265821	1629964
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.029994	0.0305229	1630045
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.029994	0.030126	1629991
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.033993	0.0348139	1629853
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.034993	0.0336521	1629883
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.035993	0.036655	1629943
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.036993	0.037431	1629949
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.036994	0.03737	1630033
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.039993	0.038693	1629913
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.039993	0.0413379	1629841
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.040993	0.039695	1629727
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.041992	0.0429269	1629859
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.043992	0.043842	1629916
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.043993	0.0440471	1629904
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.045992	0.0448561	1629838
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.046992	0.0470681	1629985
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.047991	0.0479961	1629730
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.051992	0.0526721	1629751
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.052991	0.0528651	1629979
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.057991	0.0584069	1629958
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.062989	0.063529	1629772
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.062989	0.0625021	1629760
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.069988	0.070449	1629817
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.070988	0.0743979	1629073
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.070989	0.071535	1629796
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.072988	0.0735399	1629082
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.073987	0.0738511	1629115
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.073987	0.073064	1629067
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.076987	0.0772379	1629061
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.077987	0.078529	1629793
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.078987	0.07779	1629058
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.078987	0.079477	1629901
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.084986	0.0853221	1629097
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.085986	0.0859179	1629871
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.085986	0.0865461	1629076
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.085986	0.0868089	1629070
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.088985	0.0895291	1629880
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.089986	0.0904031	1629109
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.090985	0.091929	1629028
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.090985	0.0908351	1629100
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.090985	0.08994	1629034
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.093985	0.0943871	1629040
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.095984	0.0960779	1629748
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.097984	0.098602	1629811
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.099984	0.099945	1629049
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.100984	0.101608	1629079
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.104983	0.105402	1629799
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.105983	0.106784	1629919
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.105983	0.106608	1629973
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.107983	0.107518	1628650
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.110982	0.110585	1629925
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.113981	0.113791	1629064
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.11998	0.120342	1630021
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.12698	0.127447	1629976
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.139978	0.140417	1629094
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	0.149977	0.150436	1629955
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.155975	0.154634	1629091
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.159975	0.160636	1629928
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.169973	0.170354	1629775
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.173973	0.174693	1629046
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.18697	0.187028	1629055
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.18897	0.188844	1629112
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.203968	0.205042	1629877
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.251961	0.25123	1629142
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.251961	0.252674	1629718
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.265958	0.266248	1629856
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.281957	0.281644	1629037
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.284955	0.285193	1629043
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.292955	0.293772	1629784
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.298953	0.299585	1629085
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.299953	0.299939	1629736
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.306952	0.307218	1629145
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.32795	0.328277	1629088
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.343946	0.344789	1629862
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.343946	0.343422	1629970
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.375942	0.375911	1629106
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.38394	0.383071	1629769
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	0.396939	0.397492	1628638
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	0.404937	0.406213	1628800
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	0.421935	0.422648	1628644
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.428934	0.430006	1628659
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.440932	0.441875	1629739
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.460929	0.460188	1629922
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.466929	0.468066	1629133
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.472927	0.471755	1629127
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	0.481926	0.482509	1629121
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.482926	0.483765	1629967
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	0.501923	0.502487	1628647
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.550915	0.549689	1629820
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.558914	0.559569	1630027
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	0.590909	0.593009	1628806
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.673896	0.679661	1630000
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	0.727888	0.728556	1628809
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	0.733887	0.734477	1628653
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.758883	0.758137	1629124
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.77988	0.780223	1629745
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	0.831873	0.832496	1629805
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	0.880865	0.879955	1629898
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.921859	0.923328	1629031
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	0.955854	0.95626	1628656
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.08683	1.08741	1629130
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	1.12483	1.12513	1629835
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	1.12783	1.12701	1628797
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	1.21181	1.21083	1629742
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	1.2888	1.28951	1629940
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	1.3028	1.30347	1629832
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	1.49977	1.50006	1628641
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	1.57276	1.5769	1630039
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	1.68274	1.6817	1629934
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	1.72474	1.72627	1629136
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	1.92071	1.92178	1629313
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	1.92571	1.9261	1628665
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	1.9837	1.98468	1628662
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	2.02669	2.02676	1629307
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	2.10168	2.10254	1629370
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	2.11668	2.11733	1629277
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	2.12568	2.12781	1629301
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	2.28265	2.28259	1629268
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	2.30965	2.31025	1629286
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	2.40963	2.409	1629052
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	2.44363	2.44486	1628749
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	2.5886	2.58972	1629280
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	2.72258	2.7227	1629289
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	2.75558	2.7566	1629808
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	2.80057	2.80113	1629886
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	2.85656	2.85614	1629118
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	2.86456	2.86575	1629331
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	2.87956	2.88169	1629340
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	3.01654	3.01754	1629379
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	3.10853	3.11065	1629361
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	3.14752	3.14883	1630015
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	3.15452	3.15656	1629376
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	3.19951	3.20013	1629139
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	3.3175	3.31902	1629271
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	3.34849	3.34805	1629283
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	3.37149	3.37276	1628461
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	3.69344	3.70989	1629295
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	3.70444	3.70586	1629274
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	3.87341	3.87465	1629349
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	3.9234	3.92515	1629352
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	3.9404	3.94128	1629241
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	4.42233	4.4267	1629328
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	4.89625	4.89952	1629346
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	4.89825	4.89983	1629385
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	4.91825	4.91926	1628695
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	4.99524	4.9975	1628755
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	4.99824	5.00085	1629337
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	5.14022	5.142	1628710
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	5.98609	5.98815	1629310
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	6.38403	6.38738	1629292
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	6.39403	6.39659	1629373
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	6.63199	6.63493	1629247
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	6.85296	6.85507	1629754
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	6.87895	6.8907	1629298
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	6.98694	6.98906	1628731
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	7.47986	7.48184	1629847
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	7.57985	7.58309	1629724
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	7.70983	7.71456	1629304
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	7.73082	7.73337	1629316
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	8.49771	8.50214	1629367
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	8.72267	8.73322	1629343
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	8.90165	8.90476	1628794
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	9.32658	9.32931	1629382
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	10.0175	10.0224	1629358
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	10.4784	10.4812	1629319
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	11.5482	11.5519	1629322
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	11.8412	11.8458	1629196
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	11.8832	11.8873	1629103
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	12.3931	12.3964	1628479
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	12.8041	12.8084	1628482
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	13.448	13.4515	1629364
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	14.6308	14.6366	1628815
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	19.743	19.749	1628734
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	25.6571	25.6657	1629355
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	27.0959	27.1019	1628596
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	27.7688	27.7761	1628389
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	28.3327	28.3403	1628791
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	31.0123	31.0239	1629205
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	33.169	33.1798	1628803
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	34.1898	34.1981	1628728
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	39.285	39.3082	1628866
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	42.0626	42.0815	1629334
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	43.1704	43.1822	1628698
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	43.5964	43.6099	1628386
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	50.7113	50.7274	1628746
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	51.3182	51.3336	1629223
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	52.408	52.4276	1628611
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	54.2288	54.2512	1629325
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	55.2576	55.2748	1628407
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	57.5672	57.586	1628458
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	61.5176	61.5462	1628674
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	62.7645	62.7798	1628812
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	67.5797	67.6017	1628473
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	71.0912	71.1236	1628707
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	72.7159	72.738	1628467
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	77.4732	77.4958	1628371
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	84.9401	84.9665	1628398
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	89.8004	89.8301	1628671
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	93.5148	93.5589	1628713
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	100.55	100.585	1628476
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	102.87	102.91	1628470
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	103.855	103.885	1628623
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	SAT	107.141	107.171	1628431
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	111.422	111.447	1628686
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	130.405	130.454	1628368
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	134.367	134.405	1628692
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	151.728	151.783	1628737
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	155.366	155.406	1628743
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	SAT	157.091	157.135	1628395
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	159.098	159.147	1628752
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	163.928	163.972	1628602
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	170.449	170.5	1628425
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	172.743	172.794	1628464
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	179.201	179.268	1628443
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	207.382	207.457	1628782
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	213.289	213.369	1628677
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	216.694	216.763	1628449
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	SAT	228.655	228.711	1628788
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	260.593	260.665	1628401
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	270.367	270.435	1628704
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	SAT	288.166	288.254	1628542
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	291.845	291.947	1628440
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	317.177	317.265	1628668
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	351.938	352.033	1628593
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	360.475	360.574	1628725
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	361.166	361.275	1628446
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	369.894	370.006	1628617
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	SAT	370.632	370.739	1628605
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	371.572	371.671	1628374
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	429.085	429.213	1628614
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	SAT	436.622	436.78	1628356
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	443.237	443.357	1628632
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	460.016	460.152	1628347
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	SAT	504.324	504.477	1628719
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	511.366	511.312	1628701
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	527.079	527.288	1628716
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	536.455	536.608	1628578
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	573.265	573.48	1628722
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1344049097-080.cnf	SAT	617.301	617.502	1630099
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	625.128	625.349	1628629
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	628.929	629.081	1628890
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	676.512	676.703	1628392
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	693.856	694.052	1628485
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	715.468	715.658	1628830
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	750.525	750.752	1628620
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	SAT	750.979	751.211	1628860
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	752.952	753.243	1628893
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT	769.122	769.329	1628869
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	783.917	784.148	1628608
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	788.993	789.283	1628437
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	832.388	832.594	1628338
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	SAT	855.041	855.265	1628770
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	SAT	1055.09	1055.34	1628587
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	SAT	1056.63	1056.93	1628428
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	1078.79	1079.36	1628824
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	SAT	1130.51	1130.81	1628839
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	1161.73	1162.05	1628413
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	1192.76	1193.08	1628878
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	SAT	1200.08	1200.44	1628341
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	1207.46	1207.8	1628455
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	SAT	1219.81	1220.22	1628551
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	1288.44	1288.78	1628680
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	1289	1289.36	1628377
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	SAT	1437.34	1437.7	1628584
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	SAT	1543.62	1544.04	1628764
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	1591.39	1591.82	1628635
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	SAT	1693.31	1693.74	1628569
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	SAT	1741.85	1742.27	1628740
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	SAT	1871.04	1871.72	1628380
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	SAT	1973.42	1973.96	1628779
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	SAT	1986.95	1987.51	1628404
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	SAT	2089.43	2090.25	1628344
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	2103.47	2104.09	1628626
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	SAT	2113.49	2114.06	1628416
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT	2315.95	2316.61	1628818
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	SAT	2454.43	2455.16	1628350
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	2586.52	2587.29	1628905
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	SAT	2673.6	2674.65	1628539
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	SAT	2807.83	2808.89	1628365
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	2964.1	2964.75	1628785
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	SAT	3008.16	3009.14	1628422
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	SAT	3121.54	3122.68	1628536
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	SAT	3173.48	3174.24	1628599
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	SAT	3364.39	3365.3	1628419
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	SAT	3450.91	3451.68	1628683
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	SAT	3546.51	3547.3	1628566
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	SAT	3702.45	3703.44	1628560
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	SAT	3944.17	3945.44	1628896
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	SAT	4084.38	4085.55	1628581
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	SAT	4108.43	4109.93	1628902
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	SAT	4113.45	4115.13	1628554
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT	4182.57	4183.79	1628689
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	SAT	4303.27	4304.88	1628545
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	SAT	4497.15	4498.26	1628434
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	SAT	4498.5	4500.3	1628359
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	SAT	4692.59	4694.31	1628590

SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Result page for solver adaptg2wsat2009++ 2009-03-23 (incomplete)

Category "random instances" (RANDOM)

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

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