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-v50-c1065-S1449708927-022.UNKNOWN.cnf	UNSAT	0.12998	0.13478	3206331
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	UNSAT	0.138978	0.139454	3206371
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	UNSAT	0.140977	0.140425	3206367
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	UNSAT	0.148976	0.154652	3206279
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	UNSAT	0.148977	0.150221	3206151
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	UNSAT	0.150976	0.150643	3206415
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	UNSAT	0.150977	0.151746	3206319
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	UNSAT	0.153976	0.153994	3205091
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	UNSAT	0.156975	0.156449	3205367
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	UNSAT	0.173973	0.174417	3206355
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	UNSAT	0.187971	0.189659	3205631
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	UNSAT	0.222965	0.222112	3205063
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	UNSAT	0.265958	0.268375	3206215
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	UNSAT	0.267959	0.267844	3206235
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	UNSAT	0.276957	0.278635	3205531
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	UNSAT	0.278956	0.280807	3205535
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	UNSAT	0.279957	0.283637	3205259
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	UNSAT	0.288956	0.289376	3206187
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	UNSAT	0.467928	0.468255	3205499
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	UNSAT	0.541916	0.542444	3205983
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	UNSAT	0.616905	0.622142	3206111
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	UNSAT	0.746886	0.746998	3205235
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	UNSAT	0.896862	0.897265	3205651
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	UNSAT	0.91186	0.912117	3205047
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	UNSAT	1.3238	1.32371	3205155
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	UNSAT	1.35579	1.35585	3205491
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	UNSAT	1.41378	1.4136	3205343
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	UNSAT	1.72274	1.7232	3205759
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	UNSAT	1.74773	1.74923	3205199
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	UNSAT	2.6336	2.63638	3205263
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	UNSAT	4.78027	4.78178	3206155
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	UNSAT	5.75712	5.75691	3206459
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	UNSAT	6.03908	6.04188	3205755
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	UNSAT	6.45002	6.45211	3205995
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	UNSAT	6.67898	6.68049	3205215
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	UNSAT	6.74097	6.74195	3205291
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	UNSAT	6.78397	6.78438	3205183
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	UNSAT	7.2069	7.21348	3206491
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	UNSAT	7.26989	7.26952	3206427
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	UNSAT	7.31889	7.31901	3206519
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	UNSAT	7.71183	7.71606	3205791
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	UNSAT	8.05877	8.05808	3206551
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	UNSAT	8.23775	8.2388	3205547
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	UNSAT	8.27374	8.27786	3205483
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	UNSAT	8.72167	8.72181	3205931
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	UNSAT	8.86465	8.86483	3205695
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	UNSAT	9.07362	9.07752	3205955
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	UNSAT	10.1855	10.188	3205859
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	UNSAT	11.2383	11.2442	3205267
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	UNSAT	12.0242	12.0237	3205863
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	UNSAT	24.7362	24.736	3204983
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	UNSAT	26.359	26.362	3206275
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	UNSAT	28.2257	28.2264	3205347
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	UNSAT	32.3141	32.3199	3206283
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	UNSAT	32.3761	32.3812	3205635
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	UNSAT	32.63	32.6341	3205807
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	UNSAT	32.939	32.9387	3205735
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	UNSAT	32.967	32.9699	3206539
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	UNSAT	33.021	33.0224	3205835
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	UNSAT	33.2759	33.2791	3205963
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	UNSAT	33.5169	33.5194	3205071
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	UNSAT	33.6079	33.6106	3205939
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	UNSAT	33.7579	33.7631	3206359
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	UNSAT	35.1886	35.1928	3205563
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	UNSAT	37.0754	37.0755	3205727
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	UNSAT	37.4823	37.4865	3205551
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	UNSAT	40.2849	40.2848	3206139
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	UNSAT	43.1644	43.1659	3205191
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	UNSAT	44.4952	44.5016	3205895
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	UNSAT	50.8163	50.8183	3206263
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	UNSAT	122.865	122.863	3205751
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	UNSAT	134.045	134.045	3206015
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	UNSAT	142.707	142.705	3205539
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	UNSAT	156.797	156.801	3206531
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	UNSAT	158.609	158.604	3206407
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	UNSAT	170.38	170.378	3206287
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	UNSAT	170.443	170.441	3205699
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	UNSAT	170.75	170.745	3205195
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	UNSAT	227.304	227.297	3205067
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	UNSAT	309.236	309.227	3205575
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	UNSAT	329.358	329.35	3206231
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	UNSAT	331.015	331.019	3205339
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	UNSAT	332.178	332.168	3205567
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	UNSAT	339.698	339.691	3205607
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	UNSAT	349.16	349.164	3206527
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	UNSAT	352.965	352.957	3206455
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	UNSAT	355.794	355.791	3205503
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	UNSAT	359.269	359.26	3205243
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	UNSAT	363.335	363.326	3205723
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	UNSAT	363.699	363.698	3206375
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	UNSAT	365.853	365.845	3206391
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	UNSAT	366.523	366.515	3205527
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	UNSAT	368.429	368.432	3205839
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	UNSAT	370.78	370.78	3206299
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	UNSAT	371.116	371.115	3205731
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	UNSAT	374.693	374.696	3206523
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	UNSAT	378.243	378.248	3205519
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	UNSAT	398.758	398.754	3205555
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	UNSAT	402.549	402.541	3205771
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	UNSAT	441.959	441.951	3205823
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	UNSAT	489.983	489.972	3206171
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	UNSAT	628.149	628.138	3205087
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	UNSAT	756.134	756.153	3206043
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	UNSAT	987.345	987.319	3205419
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	UNSAT	1002.48	1002.46	3206467
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	UNSAT	1029.44	1029.42	3205151

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.014997	0.015566	3206335
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.016996	0.0175171	3205815
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.030994	0.031299	3206179
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.043992	0.048344	3206059
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.090985	0.0909459	3205603
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.114981	0.114462	3206163
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.115982	0.117781	3205135
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.124981	0.125811	3206063
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.147977	0.149607	3205295
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.184971	0.185068	3205475
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.208968	0.209912	3206443
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.264959	0.26528	3206487
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.267958	0.268302	3205879
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.273957	0.275081	3205935
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.374943	0.37547	3205659
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.51992	0.520954	3205099
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.523919	0.524999	3206483
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.819874	0.825016	3206211
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.855869	0.856575	3205843
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.962853	0.96315	3206243
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	1.03384	1.03372	3205523
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	1.19382	1.19586	3206311
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	1.68174	1.68157	3205427
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	2.28965	2.29	3206147
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	2.37764	2.37763	3205999
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	2.44963	2.45135	3206103
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	2.45863	2.46049	3205967
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	2.6186	2.61896	3205059
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	2.70859	2.71086	3206167
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	2.77758	2.77892	3205871
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	2.82057	2.81987	3205571
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	3.50247	3.50461	3205715
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	3.56546	3.56651	3205691
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	4.36733	4.36863	3205351
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	5.31819	5.32314	3206307
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	5.50516	5.50628	3205891
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	6.596	6.60137	3205447
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	7.07992	7.0817	3205255
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	7.28289	7.28308	3206475
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	7.33788	7.33997	3205187
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	7.84281	7.84282	3205299
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	9.42257	9.42426	3205455
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	9.78351	9.78315	3205019
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	9.91949	9.92292	3205471
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	10.2154	10.2153	3206019
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	10.8773	10.8805	3206227
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	11.7622	11.7643	3205371
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	12.5941	12.5937	3205075
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	12.967	12.967	3205319
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	14.0269	14.0284	3205947
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	15.8516	15.8519	3206431
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	16.1006	16.1039	3205775
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	17.5123	17.5123	3205899
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	18.3382	18.3389	3205103
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	20.3539	20.3567	3206507
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	22.7565	22.7566	3206363
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	23.3435	23.3479	3206055
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	31.2502	31.2512	3206447
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	33.4549	33.4581	3205399
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	34.4558	34.4558	3206503
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	39.8839	39.8838	3206271
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	40.2119	40.2114	3206175
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	41.6597	41.6601	3206499
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	44.1313	44.1294	3206315
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	47.8947	47.8936	3205323
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	52.361	52.3636	3205675
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	65.776	65.7796	3206039
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	66.7559	66.7557	3205619
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	68.6836	68.6818	3205687
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	79.7009	79.6996	3206071
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	81.2436	81.2486	3205923
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	85.196	85.1985	3206395
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	95.0565	95.0533	3206207
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	101.8	101.799	3205159
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	106.975	106.972	3205223
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	113.289	113.285	3205883
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	115.978	115.98	3206327
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	116.714	116.715	3206107
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	141.409	141.405	3205683
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	141.501	141.505	3205975
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	166.327	166.325	3205079
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	172.207	172.205	3206115
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	178.867	178.866	3205851
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	201.043	201.039	3205831
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	201.373	201.369	3205203
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	206.046	206.063	3205907
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	232.744	232.738	3206091
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	287.12	287.114	3206239
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	296.926	296.918	3205387
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	315.986	315.981	3205219
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	372.391	372.397	3206535
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	377.681	377.673	3205763
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	410.756	410.746	3206027
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	439.629	439.622	3206023
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	467.479	467.498	3204987
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	522.976	522.96	3205311
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	562.008	562	3205403
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	634.198	634.187	3205779
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	681.468	681.509	3205375
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	703.32	703.301	3205919
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	830.223	830.202	3205719
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	946.762	946.764	3205739
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	971.908	971.89	3205943
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	1035.99	1035.96	3206571
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	1040.92	1040.89	3205911
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	1234.94	1234.92	3205167

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	? (TO)	1299.5	1300.01	3204623
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	? (TO)	1299.51	1300.01	3204431
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	? (TO)	1299.62	1300.01	3204235
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	? (TO)	1299.73	1300.02	3204279
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	? (TO)	1299.76	1300.01	3204859
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	? (TO)	1299.82	1300.01	3204291
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	? (TO)	1299.82	1300.01	3204815
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	? (TO)	1299.84	1300.01	3205051
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	? (TO)	1299.84	1300.01	3204239
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	? (TO)	1299.85	1300.01	3205507
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	? (TO)	1299.85	1300.02	3206079
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	? (TO)	1299.85	1300.01	3206123
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (TO)	1299.87	1300.01	3204571
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (TO)	1299.88	1300.02	3205391
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (TO)	1299.89	1300.01	3204763
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	? (TO)	1299.89	1300.02	3204203
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (TO)	1299.9	1300.01	3204955
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	? (TO)	1299.9	1300.01	3204383
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (TO)	1299.94	1300.01	3204475
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	? (TO)	1299.95	1300.01	3205007
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204759
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204455
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	? (TO)	1299.97	1300.01	3204563
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3204951
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	1299.98	1300.02	3205647
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	? (TO)	1299.98	1300.02	3204823
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	? (TO)	1299.98	1300.05	3204839
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3204647
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	1299.98	1300.01	3204243
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	? (TO)	1299.99	1300.02	3204799
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3204223
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3204251
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	? (TO)	1299.99	1300.02	3205363
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	? (TO)	1299.99	1300.02	3204179
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3204607
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	? (TO)	1299.99	1300.01	3205559
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	? (TO)	1299.99	1300.01	3206439
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (TO)	1299.99	1300.01	3204371
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	? (TO)	1300	1300.02	3205035
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	? (TO)	1300	1300.01	3204515
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	? (TO)	1300	1300.01	3204811
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	1300	1300.01	3204427
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	? (TO)	1300	1300.01	3205767
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	? (TO)	1300	1300.01	3204435
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	1300	1300.01	3206075
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	? (TO)	1300	1300.02	3205247
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	? (TO)	1300	1300.01	3204319
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	? (TO)	1300	1300.01	3204627
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	? (TO)	1300	1300.02	3204415
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	? (TO)	1300.01	1300.02	3205015
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	? (TO)	1300.01	1300.01	3205431
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	? (TO)	1300.01	1300.01	3205107
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204355
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (TO)	1300.01	1300.01	3204711
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (TO)	1300.01	1300.01	3205231
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	? (TO)	1300.01	1300.01	3206199
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205115
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	? (TO)	1300.02	1300.01	3205407
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204667
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204271
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	? (TO)	1300.02	1300.01	3206003
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	? (TO)	1300.02	1300.01	3205459
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	? (TO)	1300.02	1300.01	3204903
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	? (TO)	1300.02	1300.02	3205587
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	? (TO)	1300.03	1300.01	3205443
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204267
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204935
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	? (TO)	1300.03	1300.02	3206435
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	? (TO)	1300.03	1300.02	3205451
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204847
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	? (TO)	1300.03	1300.02	3206399
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204295
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204739
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	? (TO)	1300.03	1300.01	3205855
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204463
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	? (TO)	1300.03	1300.01	3205355
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	1300.03	1300.01	3205439
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	? (TO)	1300.03	1300.01	3204655
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3206463
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	1300.04	1300.02	3205279
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	1300.04	1300.02	3205271
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3206119
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3205207
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204375
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206575
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3205171
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	1300.04	1300.02	3206351
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206011
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205127
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204183
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3205495
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3205003
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204999
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204407
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3206347
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3206343
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204975
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3205971
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3206083
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	? (TO)	1300.04	1300.02	3204275
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204939
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204931
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	? (TO)	1300.04	1300.02	3204459
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	? (TO)	1300.04	1300.02	3204919
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206267
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204899
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204887
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3206035
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204615
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204619
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206247
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3205803
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205799
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3205039
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205031
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3205795
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204807
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204795
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205743
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204771
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3206543
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3205467
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204747
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204743
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204735
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3205875
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205867
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	? (TO)	1300.04	1300.02	3204651
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3205627
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204707
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204659
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204603
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204467
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204879
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	? (TO)	1300.04	1300.04	3204875
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3205615
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204867
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	1300.04	1300.02	3205611
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204851
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204843
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	? (TO)	1300.04	1300.02	3204675
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205595
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (TO)	1300.04	1300.02	3206511
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204583
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204187
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	? (TO)	1300.04	1300.02	3204195
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204555
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204551
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	? (TO)	1300.04	1300.02	3204547
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204543
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3206495
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204307
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204311
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	? (TO)	1300.04	1300.02	3205703
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204683
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204687
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204503
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204695
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204327
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204491
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204483
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3206195
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3206191
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205435
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204343
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204347
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3206159
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205379
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	1300.04	1300.02	3205359
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204359
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	? (TO)	1300.04	1300.01	3206143
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3206471
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	1300.04	1300.01	3204367
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205307
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205303
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	? (TO)	1300.04	1300.01	3205287
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204231
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3206007
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3205847
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205827
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3206567
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206563
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206555
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3206515
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206379
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3206339
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206303
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206295
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3206291
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3206255
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3206419
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206411
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206387
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206383
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3206183
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3206135
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206131
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3206127
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206099
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3206095
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206087
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205991
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205987
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3205979
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205951
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205927
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205915
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3206067
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3206051
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3206047
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3206031
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3205819
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205811
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205787
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205783
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3205747
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3205655
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3205643
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205639
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3205599
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3205591
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205543
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3205707
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205667
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205663
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205423
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3205383
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	? (TO)	1300.05	1300.22	3205331
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	? (TO)	1300.05	1300.22	3205327
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3205283
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3205275
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3205251
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205239
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205227
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3205175
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205163
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205147
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3205143
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3205139
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205131
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205023
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	1300.05	1300.02	3205511
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	? (TO)	1300.05	1300.01	3204991
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204979
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204971
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204967
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204963
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204959
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204947
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204943
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204927
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204923
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204915
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204911
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204907
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204891
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204835
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205119
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	? (TO)	1300.05	1300.02	3205111
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205095
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205055
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	1300.05	1300.01	3205043
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204819
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204791
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204787
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204783
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204779
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204775
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204767
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204755
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204751
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204731
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204727
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204719
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204715
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204599
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204871
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204863
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204855
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204591
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204587
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204579
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204575
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204567
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204559
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204539
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204535
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204531
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204527
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204523
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204519
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204495
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204479
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204447
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204443
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204439
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204679
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204671
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204663
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204643
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204639
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204635
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204631
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204423
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204411
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204403
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204399
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204395
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204391
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204387
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204379
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204363
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204351
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204339
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204335
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204331
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204315
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204199
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204191
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204471
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204451
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204227
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204215
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204211
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204207
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204299
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204287
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204283
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204263
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204259
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (TO)	1300.05	1300.01	3204255
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	? (TO)	1300.05	1300.02	3204247
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	? (TO)	1300.06	1300.02	3205583
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	? (TO)	1300.06	1300.02	3206403
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	? (TO)	1300.06	1300.01	3205671
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204699
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	? (TO)	1300.06	1300.01	3206451
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204723
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	? (TO)	1300.06	1300.02	3205315
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3205623
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	? (TO)	1300.06	1300.02	3205411
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	? (TO)	1300.06	1300.02	3205211
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	? (TO)	1300.06	1300.02	3205711
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	? (TO)	1300.06	1300.02	3205027
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	? (TO)	1300.06	1300.02	3205335
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	1300.06	1300.02	3205123
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204827
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	? (TO)	1300.06	1300.02	3204831
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3206547
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	1300.06	1300.01	3206323
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	? (TO)	1300.06	1300.02	3205579
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (TO)	1300.06	1300.02	3204487
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	? (TO)	1300.06	1300.01	3206219
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	? (TO)	1300.06	1300.01	3206479
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	? (TO)	1300.06	1300.02	3205011
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204507
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	1300.06	1300.02	3206203
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (TO)	1300.06	1300.01	3204219
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	? (TO)	1300.06	1300.02	3204595
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3204499
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	? (TO)	1300.07	1300.02	3206559
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3205463
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3205415
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	? (TO)	1300.07	1300.02	3206423
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3205479
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3204323
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3205679
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	? (TO)	1300.07	1300.02	3206251
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	? (TO)	1300.07	1300.01	3205515
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3205179
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3204511
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	1300.07	1300.02	3206259
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3204803
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	1300.07	1300.02	3205887
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	? (TO)	1300.07	1300.01	3205903
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3205959
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	1300.07	1300.01	3205083
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3204883
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3204419
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	? (TO)	1300.07	1300.01	3204895
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	? (TO)	1300.07	1300.01	3204995
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	? (TO)	1300.07	1300.02	3206223
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	? (TO)	1300.08	1300.02	3204303
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	? (TO)	1300.08	1300.02	3204703
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (TO)	1300.08	1300.02	3204611
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	? (TO)	1300.08	1300.02	3205487
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	? (TO)	1300.08	1300.02	3204691
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	? (TO)	1300.08	1300.02	3205395

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

Result page for solver SAT09 reference solver: march_hi hi (complete)

Category "random instances" (RANDOM)

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

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

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